Automorphism groups of hyperelliptic curves of $2$-rank zero

Probleemstelling

Het artikel onderzoekt de orde en de groepstructuur van de automorfismegroep van hyperelliptische krommen in karakteristiek 2, specifiek voor krommen met 2-rang 0 (of equivalent, supersinguliere krommen voor genus $g \le 2$, maar niet noodzakelijk voor hogere genus).

De motivatie voor dit onderzoek is een analogie van de Oort-conjectuur. De oorspronkelijke conjectuur van Oort voorspelde dat de automorfismegroep van een generieke supersinguliere, principal gepolariseerde abelse variëteit van dimensie $g \ge 2$ isomorf is met $\{ \pm 1 \} \simeq \mathbb{Z}_2$. De auteurs vragen zich af of een vergelijkbare stelling geldt voor hyperelliptische krommen van genus $g \ge 2$ met 2-rang 0 in karakteristiek 2. Hoewel de Oort-conjectuur recentelijk voor veel gevallen is opgelost, blijft het geval van hyperelliptische krommen in karakteristiek 2 een specifiek en complex onderwerp dat verdere analyse vereist.

Methodologie

De auteurs hanteren een combinatie van theoretische algebraïsche meetkunde en computationele algebra:

1. Theoretische Kaderstelling:

   • Krommen met 2-rang 0 in karakteristiek 2 worden voorgesteld als Artin-Schreier-krommen van de vorm:
     $$C: y^2 - y = f(x)$$
     waarbij $f(x) = x(x^{2n} + a_{n-1}x^{2(n-1)} + \dots + a_1x^2 + a_0)$ en $n$ gerelateerd is aan de genus ($g=n$).
   • Automorfismen van deze krommen worden geanalyseerd via coördinatenveranderingen van de vorm:
     $$x \mapsto \alpha x + \beta, \quad y \mapsto y + \gamma_n x^n + \dots + \gamma_0$$
   • De auteurs definiëren de gereduceerde automorfismegroep $RA(C) = \text{Aut}(C) / \langle \sigma \rangle$, waarbij $\sigma$ de hyperelliptische involutie is ($y \mapsto y+1$).
   • Er worden homomorfismen gedefinieerd ($\rho_n$ en $\tau_n$) om de structuur van de groep te ontleden in een semidirect product van een elementaire abelse 2-groep en een cyclische groep.

2. Computationele Aanpak:

   • Voor specifieke waarden van $n$ (genus $g = 1$ tot $6$) en voor Scholten-Zhu-krommen (genus tot 9), gebruiken de auteurs het computeralgebrasysteem Magma.
   • Ze berekenen een Gröbner-basis van het ideaal dat wordt gegenereerd door de voorwaarden waaronder de coördinatenverandering een automorfisme definieert.
   • Door de output van deze berekeningen te analyseren, kunnen ze de mogelijke waarden voor de parameters $\alpha$ en $\beta$ bepalen, wat leidt tot de orde en structuur van de groepen.

Belangrijkste Bijdragen en Resultaten

1. Structurele Stelling (Stelling 1):
De auteurs bewijzen dat de gereduceerde automorfismegroep $RA(C)$ altijd de structuur heeft van een semidirect product:
$$RA(C) \simeq \mathbb{Z}_2^\ell \rtimes \mathbb{Z}_{k}$$
waarbij $\mathbb{Z}_2^\ell$ een elementaire abelse 2-groep is (afgeleid van de translaties in $x$) en $\mathbb{Z}_k$ een cyclische groep is (afgeleid van de schaalfactor $\alpha$). Voor oneven $n \ge 3$ is de 2-groep triviaal ($\ell=0$), wat betekent dat de groep puur cyclisch is.

2. Gedetailleerde Classificatie voor Kleine Genus (Stelling 2):
Voor $n = 1, \dots, 6$ (genus $g = 1, \dots, 6$) hebben de auteurs een volledige tabel opgesteld die de structuur van $RA(C)$ en de orde van $\text{Aut}(C)$ specificeert, afhankelijk van de coëfficiënten $a_i$ van het polynoom $f(x)$.

• Generieke gevallen: Voor de meeste waarden van de coëfficiënten (de "generieke" gevallen) is de gereduceerde groep triviaal ($\mathbb{Z}_1$), wat betekent dat $\text{Aut}(C) \simeq \mathbb{Z}_2$ (alleen de hyperelliptische involutie).
• Specifieke gevallen: Alleen wanneer specifieke polynoomcondities worden vervuld (bijv. $a_i = 0$ voor bepaalde $i$), worden de groepen groter (bijvoorbeeld $\mathbb{Z}_4^2 \rtimes \mathbb{Z}_5$ voor genus 2).

3. Scholten-Zhu Krommen (Stelling 3):
De auteurs analyseren specifieke supersinguliere krommen (Scholten-Zhu type) voor genus $g \le 9$. Ook hier vinden ze dat de automorfismegroep in generieke gevallen klein is, maar aanzienlijk groter wordt voor specifieke parameterkeuzes (bijvoorbeeld bij genus 8 en 9).

4. Formulering van Nieuwe Conjectures:
Op basis van de experimentele resultaten formuleren de auteurs twee verfijnde conjectures:

• Conjecture 1: De automorfismegroep van een generieke hyperelliptische kromme van genus $g > 2$ met 2-rang 0 in karakteristiek 2 is $\{ \pm 1 \}$.
• Conjecture 2: De automorfismegroep van een generieke supersinguliere hyperelliptische kromme van genus $g$ in karakteristiek 2 is $\{ \pm 1 \}$ als en slechts als $g$ geen macht van 2 is.
  • Opmerking: De resultaten tonen aan dat voor $g = 2, 4, 8$ (machten van 2) de automorfismegroep in specifieke gevallen groot kan zijn, wat de oorspronkelijke "naïeve" analogie van de Oort-conjectuur weerlegt voor deze specifieke genuswaarden.

Significantie

• Verrijking van de Classificatie: Het artikel voegt een cruciaal hoofdstuk toe aan de classificatie van automorfismegroepen van krommen, specifiek in de complexe setting van karakteristiek 2 en 2-rang 0.
• Oort-conjectuur Context: Het biedt een nuanceerend perspectief op de Oort-conjectuur. Het laat zien dat de conjectuur voor hyperelliptische krommen in karakteristiek 2 niet universeel geldt voor alle genuswaarden, maar sterk afhankelijk is van of de genus een macht van 2 is.
• Methodologische Voorbeeld: Het artikel demonstreert de kracht van het combineren van diepe theoretische structuurstellingen met zware computationele algebra (Gröbner-basisberekeningen) om problemen op te lossen die analytisch te complex zijn voor handmatige afleiding.
• Toekomstgericht: Het identificeert open problemen voor hogere genuswaarden ($n > 6$) en voor de theoretische classificatie van de kern van de homomorfismen voor even $n$, wat een basis legt voor toekomstig onderzoek.

Kortom, dit werk levert een grondig inzicht in de symmetrieën van een specifieke klasse van algebraïsche krommen en stelt een gefundeerde hypothese op over het gedrag van deze symmetrieën in het generieke geval.