$p$-adic $L$-functions for elliptic curves over global function fields

Hier is een gedetailleerde technische samenvatting van het artikel "p-ADIC L-FUNCTIONS FOR ELLIPTIC CURVES OVER GLOBAL FUNCTION FIELDS" van Ki-Seng Tan, geschreven in het Nederlands.

Titel: p-adische L-functies voor elliptische krommen over globale functielichamen

1. Probleemstelling en Context

Het artikel richt zich op de ontwikkeling van de Iwasawa-theorie voor elliptische krommen $A$ gedefinieerd over een globaal functielichaam $K$ met karakteristiek $p$. Specifiek wordt er een $p$-adische L-functie geïntroduceerd die geassocieerd is met een gewone elliptische kromme en een $\mathbb{Z}_p^d$-uitbreiding $L/K$ (waarbij $d \geq 0$).

De centrale uitdaging in dit domein is het bewijzen van de Hoofdstelling van Iwasawa (Iwasawa Main Conjecture) in deze context. Deze stelling stelt een diepgaande relatie tussen:

1. De analytische kant: Een $p$-adische L-functie $L_{A/L}$ die speciale waarden van getwiste Hasse-Weil L-functies interpoleert.
2. De algebraïsche kant: Het karakteristieke ideaal van de duale $p^\infty$-Selmer-groep $X_L$ van de elliptische kromme over de uitbreiding $L$.

In het geval van getallenlichamen is deze theorie goed ontwikkeld, maar voor functielichamen (waar de grondveldkarakteristiek gelijk is aan de prime $p$) zijn de structuren en de gedragingen van L-functies fundamenteel anders. Het artikel vult een gat in de literatuur door een robuuste constructie te bieden die werkt voor uitbreidingen van hogere dimensie ($d \geq 2$) en voor zowel constante als niet-constante elliptische krommen.

2. Methodologie

De auteur hanteert een combinatie van algebraïsche meetkunde, getaltheorie en de theorie van Iwasawa-algebra's. De kernmethodologie omvat:

• Constructie van de $p$-adische L-functie ($L_{A/L}$):
  De functie wordt gedefinieerd als een element in de tensorproductruimte $\mathbb{Q}_p \otimes_{\mathbb{Z}_p} \Lambda$, waarbij $\Lambda = \mathbb{Z}_p[[\Gamma]]$ de Iwasawa-algebra is van de Galois-groep $\Gamma = \text{Gal}(L/K)$. De constructie bouwt voort op de "Theta-elementen" van Mazur en de interpolatieformules van Hasse-Weil L-functies.

  • De functie $L_{A/L}$ wordt geconstrueerd door de elementen $\tilde{L}_{A,T}$ (gebaseerd op Theta-elementen $\Theta_D$) te combineren met correctiefactoren die afhankelijk zijn van de reductie van de kromme (goed gewone, split multiplicatief, niet-split multiplicatief).
  • Belangrijke factoren in de definitie zijn $\nabla_{A/L}$ (gerelateerd aan constante krommen), $t_{A/L}$ (gerelateerd aan torsiepunten), en $\dagger_{A/L}$ (een factor die zorgt voor de juiste specialisatie bij split multiplicatieve plaatsen).

• Interpolatie en Specialisatie:
  De auteur bewijst dat $L_{A/L}$ voldoet aan een interpolatieformule voor continue karakters $\omega: \Gamma \to \mu_{p^\infty}$. Deze formule relateert de waarde van de $p$-adische L-functie aan de speciale waarde $L_A(\omega, 1)$ van de getwiste Hasse-Weil L-functie, vermenigvuldigd met Gauss-sommen en andere lokale factoren.
  Daarnaast wordt een specialisatieformule bewezen. Deze beschrijft hoe de $p$-adische L-functie en het karakteristieke ideaal van de Selmer-groep zich gedragen onder projectie naar een tussenliggende $\mathbb{Z}_p^e$-uitbreiding.

• Gebruik van de Monsky-topologie:
  Om eigenschappen van de L-functie en de Selmer-groep te analyseren, maakt de auteur gebruik van de Noetheriaanse topologie van Monsky op de ruimte van karakters $\hat{\Gamma}$. Dit stelt hem in staat om te redeneren over "dichte open verzamelingen" van karakters, wat cruciaal is voor het bewijzen van gelijkheden tussen idealen in de Iwasawa-algebra.

• Combinatoriek van Grassmannianen:
  Voor het geval $d \geq 3$, gebruikt de auteur de structuur van de Grassmann-variëteit $\text{Gr}(d-2, d)(\mathbb{Z}_p)$ om te relateren hoe de geldigheid van de Hoofdstelling voor de volledige uitbreiding $L$ afhangt van de geldigheid voor tussenliggende $\mathbb{Z}_p^2$-uitbreidingen.

3. Belangrijkste Bijdragen en Resultaten

A. Definitie en Eigenschappen van $L_{A/L}$
De auteur introduceert een nieuwe $p$-adische L-functie $L_{A/L}$ die voldoet aan:

1. Interpolatieformule: Voor een karakter $\omega$ met $\omega(\dagger_{A/L}) \neq 0$:
   $$\omega(L_{A/L}) = t_{A/L} \cdot \omega(\nabla_{A/L}) \cdot \omega(\dagger_{A/L})^{-1} \cdot \alpha_{D_\omega}^{-1} \cdot \tau_\omega \cdot q^{\frac{\deg(\Delta)}{12} + \kappa - 1} \cdot \Xi_{S,\omega} \cdot L_A(\omega, 1)$$
2. Functionele Vergelijking: De functie voldoet aan $(L_{A/L})^\sharp = L_{A/L}$ (waarbij $\sharp$ de involutie $\gamma \mapsto \gamma^{-1}$ is), wat overeenkomt met de algebraïsche symmetrie van de Selmer-groep.
3. Specialisatieformule: Voor een tussenliggende uitbreiding $L'/K$ geldt een relatie tussen $L_{A/L}$ en $L_{A/L'}$ die exact overeenkomt met de relatie tussen de karakteristieke idealen van de bijbehorende Selmer-groepen.

B. De Hoofdstelling van Iwasawa (Main Conjecture)
De conjectuur stelt dat $L_{A/L} \in \Lambda$ en dat het door $L_{A/L}$ gegenereerde ideaal gelijk is aan het karakteristieke ideaal van de duale Selmer-groep:
$$(L_{A/L}) = \text{CH}_\Lambda(X_L)$$
Het artikel bewijst deze conjectuur in de volgende gevallen:

1. Triviale uitbreiding ($L=K$): Direct gevolg van de Birch en Swinnerton-Dyer (BSD) conjectuur voor functielichamen.
2. Constante elliptische krommen: Bewezen voor elke $\mathbb{Z}_p^d$-uitbreiding.
3. Constante velduitbreiding: Bewezen wanneer $L$ de constante $\mathbb{Z}_p$-uitbreiding is en $A$ semi-stabele reductie heeft.
4. Semi-stabiele reductie en niet-torsie: Als de Selmer-groep $X_p$ niet-torsie is, geldt de conjectuur.

C. Reductie naar Lagere Dimensies (Het "Grassmannian"-resultaat)
Een van de meest significante theoretische resultaten is de behandeling van het geval $d \geq 3$. De auteur bewijst dat de Hoofdstelling van Iwasawa voor $A/L$ gelijkwaardig is aan het feit dat de conjectuur geldt voor alle tussenliggende $\mathbb{Z}_p^2$-uitbreidingen $L'$ die behoren tot een niet-leeg Zariski-open deel van de Grassmann-variëteit $\text{Gr}(d-2, d)(\mathbb{Z}_p)$.
Dit betekent dat de geldigheid van de conjectuur in hoge dimensies kan worden gereduceerd tot het controleren van een "algemene" verzameling van lagere-dimensie uitbreidingen.

D. $\mu$-invariant en Valuaties
Het artikel toont aan dat de $\mu$-invariant van de $p$-adische L-functie gelijk is aan de $\mu$-invariant van de Selmer-groep ($\mu(L_{A/L}) = \mu(X_L)$). Dit is een cruciale stap om te garanderen dat de L-functie inderdaad in de Iwasawa-algebra $\Lambda$ ligt (en niet alleen in de breukenlichaam $\mathbb{Q}_p \Lambda$).

4. Significatie

Dit werk is van fundamenteel belang voor de moderne getaltheorie en de Iwasawa-theorie in positieve karakteristiek:

• Unificatie: Het biedt een uniforme behandeling voor zowel constante als niet-constante elliptische krommen, en voor uitbreidingen van willekeurige $\mathbb{Z}_p$-rang.
• Technische doorbraak: De constructie van de $p$-adische L-functie voor $\mathbb{Z}_p^d$-uitbreidingen ($d > 1$) was een open probleem. De auteur lost dit op door een zorgvuldige analyse van lokale factoren en het gebruik van de specialisatieformules.
• Verbinding met BSD: De resultaten versterken de link tussen de analytische eigenschappen van L-functies en de algebraïsche structuur van Selmer-groepen in het functielichaam-geval, wat een analogie is met de klassieke BSD-conjectuur voor getallenlichamen.
• Methodologische impact: De techniek om de geldigheid van de Hoofdstelling te reduceren tot een open verzameling van lagere-dimensie uitbreidingen (via Grassmannianen) biedt een nieuw perspectief voor het bestuderen van Iwasawa-theorie in hogere dimensies, mogelijk toepasbaar op andere arithmetische objecten.

Kortom, Ki-Seng Tan levert een volledig kader voor de Iwasawa-theorie van elliptische krommen over functielichamen, waarbij hij de Hoofdstelling van Iwasawa bewijst in vele belangrijke gevallen en een krachtig reductieprincipe introduceert voor het geval van hoge dimensie.