Ekedahl-Oort types of $\mathbb{Z}/2\mathbb{Z}$-covers in characteristic $2$

Titel: Ekedahl-Oort-types van $\mathbb{Z}/2\mathbb{Z}$-overdekkingen in karakteristiek 2

1. Probleemstelling en Context

Het artikel onderzoekt hoe de "natuurlijke eigenschappen" van een gekromde $Y$ afhangen van een basiscurve $X$ en de vertakkingsinvarianten van een Galois-overdekking $\pi: Y \to X$ met groep $\mathbb{Z}/p\mathbb{Z}$, specifiek in karakteristiek $p=2$.

• Achtergrond: Klassieke resultaten zoals de Riemann-Hurwitz-formule (genus) en de stelling van Deuring-Shafarevich ($p$-rank) geven exacte formules voor deze invarianten. Echter, voor fijnere invarianten die gerelateerd zijn aan de $p$-torsie van de Jacobiaan (zoals het $a$-getal of de Newton-polygoon), bestaan er vaak geen exacte formules, maar slechts ongelijkheden.
• Doel: Het artikel richt zich op het Ekedahl-Oort-type van $Y$. Dit type is een combinatorische classificatie van de $p$-torsie van de Jacobiaan, $Jac(Y)[p]$, als een eindig plat groepsschema. Het doel is om het Ekedahl-Oort-type van $Y$ te beschrijven in termen van het type van $X$ en de vertakkingsinvarianten (ramification breaks) van $\pi$.
• Specifieke uitdaging: In tegenstelling tot de $p$-rank, is het Ekedahl-Oort-type in het algemeen niet lokaal-deterministisch (afhankelijk van alleen de vertakkingspunten). De auteurs onderzoeken onder welke omstandigheden dit wel het geval is en hoe men in het algemeen schattingen kan maken.

2. Methodologie

De kern van de methodologie is de ontwikkeling van een nieuwe theorie rondom geavanceerde differentiaalvormen van de tweede soort (enhanced differentials of the second kind).

• Geavanceerde differentiaalvormen:

  • In karakteristiek 0 worden differentiaalvormen van de tweede soort gedefinieerd als meromorfe vormen met nul residuen. In karakteristiek $p$ is dit concept problematisch omdat de afgeleide van een $p$-de macht nul is ($d(x^p)=0$), waardoor de relatie tussen differentiaalvormen en de algebraïsche de Rham-cohomologie ($H^1_{dR}$) verstoord raakt.
  • De auteurs introduceren een geavanceerde differentiaalvorm als een paar $(\omega, (f_Q)_Q)$, bestaande uit een differentiaalvorm van de tweede soort $\omega$ en een keuze van een primitieve (antiderivative) $f_Q$ voor het singuliere deel van $\omega$ bij elke pool $Q$.
  • Deze constructie stelt hen in staat om $H^1_{dR}(X)$ direct te representeren via differentiaalvormen, zonder afhankelijk te zijn van de standaard Čech-resolutie. Dit maakt het mogelijk om de operatoren Frobenius ($F$) en Verschiebung ($V$) expliciet te analyseren.

• Decompositie van de Dieudonné-module:

  • De auteurs ontleden de Dieudonné-module $H^1_{dR}(Y)$ in drie componenten: $U$ (waar $V$ bijectief is), $Z$ (waar $F$ bijectief is) en $L$ (waar zowel $F$ als $V$ nilpotent zijn).
  • Het Ekedahl-Oort-type wordt volledig bepaald door de interactie van $F$ en $V$ op de deelruimte $L$.
  • Ze construeren een specifieke basis voor een deelruimte $W \subset L$ met behulp van pullbacks van differentiaalvormen op de basiscurve $X$. De actie van $V$ op deze basis is relatief eenvoudig te berekenen.

• Symplectische pairing:

  • Een cruciaal aspect is het analyseren van de symplectische pairing $\langle \cdot, \cdot \rangle$ op $H^1_{dR}(Y)$. De auteurs tonen aan hoe deze pairing werkt op hun geconstrueerde differentiaalvormen en hoe de onzekerheid in de pairing (vooral bij niet-ordinale curven) leidt tot variatie in het Ekedahl-Oort-type.

3. Belangrijkste Resultaten

A. Het geval van een ordinale basiscurve (Theorema 1.2)

Wanneer de basiscurve $X$ ordinale is (d.w.z. de $p$-rank van $X$ is gelijk aan het genus van $X$), is het Ekedahl-Oort-type van $Y$ volledig bepaald door het genus van $X$ en de vertakkingsinvarianten $d_i$.

• Resultaat: De Dieudonné-module van $Jac(Y)[2]$ is isomorf met een directe som van een module voor een ordinale elliptische curve (herhaald $2g_X - 1 + m$ keer) en specifieke modules $M_{d_i}$ die afhankelijk zijn van de vertakkingsbreuk $d_i$.
• Conclusie: In dit geval geldt een lokaal-naar-globaal principe: het type van $Y$ is de som van de bijdragen van de basis en de individuele vertakkingspunten.

B. Het geval van een niet-ordinale basiscurve

Wanneer $X$ niet ordinale is (bijvoorbeeld een supersinguliere elliptische curve), is het Ekedahl-Oort-type van $Y$ niet uniek bepaald door de vertakkingsinvarianten.

• Voorbeelden: De auteurs tonen aan dat voor een supersinguliere basis en een vast vertakkingsgetal $d$, er meerdere verschillende Ekedahl-Oort-types mogelijk zijn, zelfs als de $k[V]$-structuur van de reguliere differentiaalvormen ($H^0(Y, \Omega^1_Y)$) identiek is. Dit betekent dat hogere $a$-getallen niet voldoende zijn om het type te bepalen.
• Schattingen (Theorema 1.7 en 6.19): Hoewel er geen exacte formule is, leveren de auteurs scherpe onder- en bovengrenzen op voor het Ekedahl-Oort-type.
  • De foutmarge in deze schattingen is logarithmisch in de vertakkingsinvariant $d$ (ongeveer $O(\log_2(d) \cdot l_X)$, waarbij $l_X$ de "lokale rang" van $X$ is).
  • Dit impliceert dat voor grote $d$ het type van $Y$ zeer nauwkeurig benaderd kan worden, ondanks de variabiliteit.

C. Constructie van families met constant type (Corollary 1.5)

Op basis van de resultaten construeren de auteurs positief-dimensionale families van curven met een constant Ekedahl-Oort-type.

• Voor een gegeven genus $g$, bestaat er een $(g-1)$-dimensionale familie van curven met een vast type.
• Dit wordt bereikt door overdekkingen van $\mathbb{P}^1$ of supersinguliere elliptische curven te variëren binnen specifieke vertakkingscondities.

4. Significatie en Impact

• Theoretische bijdrage: Het artikel lost een open probleem op voor de specifieke maar belangrijke situatie van $\mathbb{Z}/2\mathbb{Z}$-overdekkingen in karakteristiek 2. Het bevestigt een conjectuur van Groen en generaliseert eerdere resultaten van Elkin-Pries en Voloch.
• Technische innovatie: De introductie van "geavanceerde differentiaalvormen van de tweede soort" biedt een krachtig nieuw gereedschap voor het werken met algebraïsche de Rham-cohomologie in positieve karakteristiek. Deze methode omzeilt de complexiteit van Čech-cohomologie en maakt directe berekeningen met Frobenius en Verschiebung mogelijk.
• Lokaal-naar-globaal principe: Het werk illustreert een subtiel lokaal-naar-globaal principe. Hoewel dit principe niet strikt geldt voor Ekedahl-Oort-types (in tegenstelling tot de genus of $p$-rank), blijkt dat de afwijkingen beperkt blijven tot een logaritmische factor. Dit suggereert dat lokale vertakkingsinvarianten toch een zeer sterke invloed hebben op de globale structuur van de Jacobiaan.
• Onwaarschijnlijke doorsneden: De auteurs tonen aan dat curven met specifieke Ekedahl-Oort-types "onwaarschijnlijke doorsneden" (unlikely intersections) vormen in de moduli-ruimte van curven, aangezien de codimensie van de strata vaak groter is dan de dimensie van de moduli-ruimte zelf.

Samenvatting

Dit artikel levert een volledige classificatie van het Ekedahl-Oort-type van $\mathbb{Z}/2\mathbb{Z}$-overdekkingen wanneer de basiscurve ordinale is, en biedt nauwkeurige logaritmische schattingen voor het niet-ordinale geval. De kern van de oplossing ligt in de ontwikkeling van een nieuwe theorie van differentiaalvormen die de link tussen de algebraïsche de Rham-cohomologie en de Dieudonné-theorie in karakteristiek 2 herstelt.