Motivic height zeta function rationality and Kudla-Millson modularity for elliptic surfaces

Titel: Motivic Height Zeta Function Rationality and Kudla–Millson Modularity for Elliptic Surfaces

Auteur: Jun-Yong Park
Vakgebied: Algebraïsche Meetkunde, Motivic Integratie, Getaltheorie

---

1. Probleemstelling en Context

Het artikel onderzoekt de arithmetische en meetkundige eigenschappen van elliptische krommen $E$ gedefinieerd over een functieveld $K = k(t)$, waarbij $k$ een perfect veld is met karakteristiek $\neq 2, 3$. Een dergelijke kromme correspondeert uniek met een relatief minimale elliptisch oppervlak $S \to \mathbb{P}^1_k$ met een sectie.

De centrale structuur die de auteurs analyseren is de Shioda-Tate formule:
$$\rho(S) = T(S) + \text{rk}(E/K)$$
Hierbij is:

• $\rho(S)$: het geometrische Picard-getal.
• $T(S)$: de rang van de triviale rooster (gegenereerd door de nul-sectie, een vezelklasse en componenten van reduceerbare vezels die de nul-sectie niet raken).
• $\text{rk}(E/K)$: de Mordell-Weil rang (het aantal onafhankelijke rationale secties).

Het fundamentele probleem is om te begrijpen hoe de verdeling van deze twee componenten ($T(S)$ en $\text{rk}(E/K)$) zich gedraagt in de moduli-ruimte van elliptische krommen met een bepaalde Faltings-hoogte $n$. De auteurs introduceren een motivic height zeta functie $Z(u, v; t)$ die deze verdeling verfijnt door te wegen met $u^{T(S)}$ en $v^{\text{rk}(E/K)}$.

De kernvraag is of deze genererende reeksen rationaal zijn (of benaderbaar door rationale functies) en hoe de lokale aard van de vezelconfiguratie contrasteert met de globale aard van de Mordell-Weil secties.

---

2. Methodologie

De auteurs combineren technieken uit de motivische integratie, de theorie van moduli-stacks en de theorie van modulaire vormen.

A. Motivic Rationaliteit voor de Triviale Rooster Rang ($Z_{\text{Triv}}$)

Voor de specialisatie $Z_{\text{Triv}}(u; t) = Z(u, 1; t)$, waarbij alleen de rang van het triviale rooster wordt geteld, gebruiken de auteurs een lokaal-naar-globaal factorisatie strategie:

1. Stratificatie: De moduli-stack $W^{\text{min}}_n$ wordt gefinisht geconstrueerd gesplitst in Kodaira-strata op basis van de singuliere vezelconfiguratie. Op elk stratum is $T(S)$ constant.
2. Euler-producten:
   • Op isotrope loci ($j \equiv 0$ en $j \equiv 1728$) reduceert de discriminant tot een zuivere macht van één Weierstrass-coëfficiënt. Hier zijn de lokale voorwaarden lineair, wat leidt tot exacte Euler-producten die strikt rationaal zijn.
   • Op het complement ($j \not\equiv 0, 1728$) worden additieve vezeltypen behandeld via lineaire onafhankelijkheid van verdwijningsvoorwaarden op de Weierstrass-coëfficiënten.
3. Motivic Stabilisatie: De grootste uitdaging is het multiplicatieve sector (waar de discriminant $\Delta = 4a_4^3 + 27a_6^2$ niet-lineair is). De auteurs passen de methode van Vakil-Wood toe op de motivische discriminantstabilisatie. Ze gebruiken een afgeknipte inclusie-exclusie in de dimensie-gecomplementeerde Grothendieck-ring $\hat{\mathcal{M}}_L$. Dit toont aan dat de fouttermen dimensionaal verwaarloosbaar worden naarmate de hoogte $n$ toeneemt.
4. Resultaat: De functie is "benaderbaar rationeel" in de variabele $s = t^{1/12}$ binnen de dimensie-gecomplementeerde ring.

B. Kudla-Millson Modulariteit voor de Mordell-Weil Rang

Voor de verdeling van nieuwe algebraïsche klassen (die corresponderen met een stijging in de Mordell-Weil rang) gebruiken de auteurs een volledig andere aanpak gebaseerd op Hodge-theorie en theta-correspondentie:

1. Periodomeinen: Voor een vast Kodaira-stratum wordt het orthogonale complement $\Lambda_n = \langle F, O \rangle^\perp \subset H^2(S, \mathbb{Z})$ beschouwd. Dit is een even unimodulair rooster met signatuur $(2n-2, 10n-2)$.
2. Heegner Loci: De loci waar nieuwe algebraïsche klassen verschijnen (Noether-Lefschetz loci) corresponderen met Heegner-cycli in het periodomein $D_n$.
3. Garcia's Uitbreiding: De auteurs passen de theorema's van Garcia (die de Kudla-Millson theta-correspondentie uitbreidt naar Griffiths-domeinen) toe. Dit toont aan dat de genererende reeks van deze cycli een holomorfe modulaire vorm is van gewicht $6n-2$.
4. Transcendentie: Omdat de Fourier-coëfficiënten van deze modulaire vorm niet-triviaal zijn, volgt dat de verdeling van de Mordell-Weil rang over de canonieke hoogte transcendent is over $\mathbb{C}(q)$.

---

3. Belangrijkste Resultaten

Stelling 1.5 (Rationaliteit van de Triviale Rang)

Voor een perfect veld $k$ met $\text{char}(k) \neq 2, 3$ is de coëfficiënt van $u^m$ in de triviale zeta-functie $Z_{\text{Triv}}(u; t)$ benaderbaar tot willekeurige dimensionale precisie door rationale functies in $s = t^{1/12}$ binnen de ring $\hat{\mathcal{M}}_L$.

• Dit betekent dat de verdeling van $T(S)$ grotendeels wordt bepaald door lokale reductiegegevens (Kodaira-vezels).
• De benadering wordt exact op de isotrope loci en voor de totale som wanneer $u=1$ (teruggeven van het resultaat uit [BPS22]).

Corollarium 1.6 (Stabilisatie van Hodge-getallen)

Over $k = \mathbb{C}$ impliceert de bovenstaande rationaliteit dat de virtuele Hodge-getallen van de moduli-ruimten $W^{\text{min}}_n(m)$ (gewogen met $L^{-10n}$) stabiliseren voor grote $n$. De genererende functie voor deze getallen is rationeel in $s$.

Stelling 1.7 (Transcendentie van de Mordell-Weil Rang)

In scherp contrast met de triviale rang, wordt de verdeling van nieuwe Mordell-Weil secties (geïndexeerd door hun canonieke hoogte $d$) geregeerd door modulaire vormen.

• De genererende reeks van Noether-Lefschetz klassen is een modulaire vorm van gewicht $6n-2$ voor $SL_2(\mathbb{Z})$.
• Voor elke testklasse $\alpha$ die niet orthogonaal is op de Heegner-cycli, is de scalaire reeks $\phi_{n, \alpha}(q)$ transcendent over $\mathbb{C}(q)$.
• Dit bewijst dat de Mordell-Weil rang een genuïne globaal object is dat niet kan worden verklaard door lokale data of een eindige algebraïsche factorisatie.

---

4. Bijdragen en Innovatie

1. Motivic Rationaliteit met Gewichten: De eerste constructie van een trivariaat motivische zeta-functie die de rang van het triviale rooster en de Mordell-Weil rang apart weegt, en het bewijs van de benaderbare rationaliteit van de triviale component.
2. Toepassing van Vakil-Wood Stabilisatie: Een succesvolle adaptatie van de motivische stabilisatiemethode voor de niet-lineaire discriminant $\Delta = 4a_4^3 + 27a_6^2$ in de context van elliptische oppervlakken.
3. Verbinding tussen Shioda-Tate en Modulariteit: Het artikel maakt een scherp onderscheid tussen de twee termen in de Shioda-Tate formule:
   • $T(S)$ is lokaal bepaald $\rightarrow$ leidt tot Euler-producten en rationaliteit.
   • $\text{rk}(E/K)$ is globaal bepaald $\rightarrow$ leidt tot modulaire vormen en transcendentie.
4. Generalisatie van Kudla-Millson: Het toepassen van de theta-correspondentie op periodomeinen van elliptische oppervlakken met $n \geq 2$ (waar het domein een Griffiths-domein is, geen Hermitisch symmetrisch domein), gebruikmakend van de super-verbinding framework van Garcia.

---

5. Significatie

Dit werk biedt een diep inzicht in de fundamentele structuur van elliptische oppervlakken over functievelden:

• Het bevestigt dat de triviale lattice-rang (geassocieerd met de vezelconfiguratie) een "lokale" eigenschap is die zich gedraagt als een klassiek Euler-product, vergelijkbaar met het tellen van rationale punten op variëteiten.
• Het toont aan dat de Mordell-Weil rang (de "nieuwe" algebraïsche informatie) een "globale" eigenschap is die diep verbonden is met de theorie van modulaire vormen en Hodge-structuren. De transcendentie van de bijbehorende genererende reeks impliceert dat er geen eindige algebraïsche formule bestaat die de rangverdeling voorspelt; de patronen zijn te complex voor lokale factorisatie.
• De resultaten leggen een brug tussen de meetkunde van elliptische oppervlakken, de motivische integratie en de automorfe vormen, en bieden nieuwe perspectieven op het Mordell-Weil-rangprobleem over $\mathbb{C}(t)$.

Samenvattend demonstreert het artikel hoe de scheiding tussen lokale en globale fenomenen in de arithmetische meetkunde leidt tot fundamenteel verschillende analytische gedragingen (rationaliteit versus transcendentie) binnen dezelfde geometrische structuur.