{"title":"特性二的四属超弦曲线","authors":"Dušan Dragutinović","doi":"10.1090/proc/16792","DOIUrl":null,"url":null,"abstract":"<p>We describe the intersection of the Torelli locus <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"j left-parenthesis script upper M 4 Superscript c t Baseline right-parenthesis equals script upper J 4\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>j</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msubsup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">M</mml:mi>\n </mml:mrow>\n <mml:mn>4</mml:mn>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>c</mml:mi>\n <mml:mi>t</mml:mi>\n </mml:mrow>\n </mml:msubsup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>=</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">J</mml:mi>\n </mml:mrow>\n <mml:mn>4</mml:mn>\n </mml:msub>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">j(\\mathcal {M}_4^{ct}) = \\mathcal {J}_4</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> with Newton and Ekedahl-Oort strata related to the supersingular locus in characteristic 2. We show that the locus of supersingular Jacobians <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper S 4 intersection script upper J 4\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">S</mml:mi>\n </mml:mrow>\n <mml:mn>4</mml:mn>\n </mml:msub>\n <mml:mo>∩<!-- ∩ --></mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">J</mml:mi>\n </mml:mrow>\n <mml:mn>4</mml:mn>\n </mml:msub>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathcal {S}_4\\cap \\mathcal {J}_4</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> in characteristic 2 is pure of dimension three. One way to obtain that result uses an analysis of the data of smooth genus four curves and principally polarized abelian fourfolds defined over <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper F 2\">\n <mml:semantics>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">F</mml:mi>\n </mml:mrow>\n <mml:mn>2</mml:mn>\n </mml:msub>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {F}_2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, and another involves a more careful study of some relevant Ekedahl-Oort loci.</p>","PeriodicalId":0,"journal":{"name":"","volume":"9 12","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Supersingular curves of genus four in characteristic two\",\"authors\":\"Dušan Dragutinović\",\"doi\":\"10.1090/proc/16792\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We describe the intersection of the Torelli locus <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"j left-parenthesis script upper M 4 Superscript c t Baseline right-parenthesis equals script upper J 4\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>j</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msubsup>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi class=\\\"MJX-tex-caligraphic\\\" mathvariant=\\\"script\\\">M</mml:mi>\\n </mml:mrow>\\n <mml:mn>4</mml:mn>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>c</mml:mi>\\n <mml:mi>t</mml:mi>\\n </mml:mrow>\\n </mml:msubsup>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n <mml:mo>=</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi class=\\\"MJX-tex-caligraphic\\\" mathvariant=\\\"script\\\">J</mml:mi>\\n </mml:mrow>\\n <mml:mn>4</mml:mn>\\n </mml:msub>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">j(\\\\mathcal {M}_4^{ct}) = \\\\mathcal {J}_4</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> with Newton and Ekedahl-Oort strata related to the supersingular locus in characteristic 2. We show that the locus of supersingular Jacobians <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"script upper S 4 intersection script upper J 4\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi class=\\\"MJX-tex-caligraphic\\\" mathvariant=\\\"script\\\">S</mml:mi>\\n </mml:mrow>\\n <mml:mn>4</mml:mn>\\n </mml:msub>\\n <mml:mo>∩<!-- ∩ --></mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi class=\\\"MJX-tex-caligraphic\\\" mathvariant=\\\"script\\\">J</mml:mi>\\n </mml:mrow>\\n <mml:mn>4</mml:mn>\\n </mml:msub>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathcal {S}_4\\\\cap \\\\mathcal {J}_4</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> in characteristic 2 is pure of dimension three. One way to obtain that result uses an analysis of the data of smooth genus four curves and principally polarized abelian fourfolds defined over <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper F 2\\\">\\n <mml:semantics>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"double-struck\\\">F</mml:mi>\\n </mml:mrow>\\n <mml:mn>2</mml:mn>\\n </mml:msub>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {F}_2</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>, and another involves a more careful study of some relevant Ekedahl-Oort loci.</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":\"9 12\",\"pages\":\"\"},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-04-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1090/proc/16792\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/proc/16792","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
摘要
我们描述了与特征 2 中的超星点相关的牛顿和埃克达尔-奥尔特地层与托雷利点 j ( M 4 c t ) = J 4 j(\mathcal {M}_4^{ct}) = \mathcal {J}_4 的交集。我们证明了在特征 2 中超共轭雅各布数 S 4 ∩ J 4 \mathcal {S}_4\cap \mathcal {J}_4 的位置是纯三维的。要得到这个结果,一种方法是分析定义在 F 2 \mathbb {F}_2 上的光滑四属曲线和主要极化无边四褶的数据,另一种方法是对一些相关的埃克达尔-奥尔特(Ekedahl-Oort)位点进行更细致的研究。
Supersingular curves of genus four in characteristic two
We describe the intersection of the Torelli locus j(M4ct)=J4j(\mathcal {M}_4^{ct}) = \mathcal {J}_4 with Newton and Ekedahl-Oort strata related to the supersingular locus in characteristic 2. We show that the locus of supersingular Jacobians S4∩J4\mathcal {S}_4\cap \mathcal {J}_4 in characteristic 2 is pure of dimension three. One way to obtain that result uses an analysis of the data of smooth genus four curves and principally polarized abelian fourfolds defined over F2\mathbb {F}_2, and another involves a more careful study of some relevant Ekedahl-Oort loci.