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

Titolo e Contesto

Il lavoro esplora la struttura aritmetica e geometrica delle superfici ellittiche su campi di funzioni $K = k(t)$, dove $k$ è un campo perfetto di caratteristica diversa da 2 e 3. L'obiettivo principale è analizzare la funzione zeta dei moti (motivic height zeta function) che conta le curve ellittiche minimali, raffinata in base al rango del reticolo banale (trivial lattice) e al rango di Mordell-Weil. Il paper stabilisce un contrasto fondamentale tra la natura "locale" del primo e la natura "globale" e trascendente del secondo.

Il Problema

Data una curva ellittica $E/K$, essa determina una superficie ellittica $S \to \mathbb{P}^1_k$. La formula di Shioda-Tate lega il rango geometrico del reticolo di Picard $\rho(S)$ al rango del reticolo banale $T(S)$ e al rango di Mordell-Weil $rk(E/K)$:
$$\rho(S) = T(S) + rk(E/K)$$
Il problema centrale è comprendere la distribuzione statistica e la struttura algebrica di questi ranghi all'interno dello stack di moduli $W^{min}_n$ delle curve ellittiche minimali di altezza di Faltings $n$.
Nello specifico, il paper indaga se la serie generatrice motivica che pesa queste superfici con i loro ranghi sia una funzione razionale (o approssimabile da funzioni razionali) o se mostri comportamenti più complessi, come la trascendenza.

Metodologia

L'autore utilizza un approccio ibrido che combina:

1. Geometria Algebrica Motivic: Utilizzo dell'anello di Grothendieck degli stack ($K_0(\text{Stck}_k)$) e della sua completazione rispetto alla filtrazione dimensionale (anello di Kontsevich $\hat{\mathcal{M}}_L$).
2. Teoria degli Stack di Moduli: Sfruttamento della costruzione degli stack di altezza di Bejleri-Park-Satriano [BPS22] per $M_{1,1} \simeq \mathbb{P}(4,6)$.
3. Analisi Locale-Global: Scomposizione della serie zeta in prodotti di Eulero basati sulle fibre singolari (stratificazione di Kodaira).
4. Teoria delle Forme Modulari e Corrispondenza Theta: Applicazione della corrispondenza theta di Kudla-Millson e dei risultati di Garcia per studiare la distribuzione delle classi algebriche nuove (Noether-Lefschetz).
5. Stabilizzazione Motivic: Adattamento del metodo di Vakil-Wood per gestire la non-linearità del discriminante $\Delta = 4a_4^3 + 27a_6^2$.

Contributi Chiave e Risultati

1. Razionalità Approssimata del Rango del Reticolo Banale

Il paper definisce la funzione zeta trivariata:
$$Z(u, v; t) = \sum_{n \ge 0} \left( \sum_{[E] \in W^{min}_n} u^{T(S)} v^{rk(E/K)} \right) t^n$$
Il primo risultato principale riguarda la specializzazione $Z_{Triv}(u; t) = Z(u, 1; t)$, che pesa solo il rango del reticolo banale $T(S)$.

• Risultato (Teorema 1.5): La serie $Z_{Triv}(u; t)$ è approssimabile a funzioni razionali in $s = t^{1/12}$ nell'anello di Grothendieck completato dimensionalmente.
• Meccanismo: Il rango $T(S)$ è determinato esclusivamente dalla configurazione locale delle fibre singolari (dati di riduzione cattiva).
  • Sui loci isotriviali ($j=0$ e $j=1728$), la serie è esattamente razionale.
  • Sul complemento, la razionalità è ottenuta tramite un prodotto di Eulero che gestisce le fibre additive (condizioni lineari sui coefficienti di Weierstrass) e una stabilizzazione motivica per le fibre moltiplicative (radici del discriminante).
• Significato: Questo conferma che la parte "locale" della geometria della superficie (il reticolo banale) obbedisce a una struttura di prodotto di Eulero, simile a quella delle funzioni zeta classiche, anche se richiede una completazione dimensionale per gestire la non-linearità del discriminante.

2. Trascendenza e Modularità del Rango di Mordell-Weil

In netto contrasto con il caso del reticolo banale, il paper analizza la distribuzione delle nuove sezioni (rango di Mordell-Weil).

• Risultato (Teorema 1.7 e Teorema 3.5): La distribuzione delle classi di Noether-Lefschetz (che corrispondono a nuovi generatori del rango di Mordell-Weil) è governata da forme modulari.
  • Per ogni altezza $n \ge 2$, la serie generatrice delle classi di Noether-Lefschetz è una forma modulare olomorfa di peso $6n-2$ per $SL_2(\mathbb{Z})$.
  • Il coefficiente di Fourier $[H_d]$ rappresenta la classe del ciclo di Heegner che parametrizza le superfici dove un vettore del reticolo $\Lambda_n$ diventa algebrico.
• Trascendenza: La serie scalare ottenuta proiettando queste classi su un ciclo di coomologia non nullo è trascendente su $\mathbb{C}(q)$.
• Significato: A differenza del reticolo banale, il rango di Mordell-Weil è un oggetto genuinamente globale. La sua distribuzione non può essere catturata da un prodotto di Eulero finito o da dati locali; è governata dalla geometria complessa del dominio dei periodi e dalla corrispondenza theta.

3. Stabilizzazione dei Numeri di Hodge

Sul campo dei numeri complessi ($k=\mathbb{C}$), la razionalità approssimata di $Z_{Triv}$ implica una stabilizzazione dei numeri di Hodge virtuali (Corollario 1.6 e 2.13). Per ogni bidegno $(p,q)$, i numeri di Hodge dei loci con rango del reticolo banale fissato stabilizzano per $n$ sufficientemente grande.

Significato e Implicazioni

1. Distinzione Strutturale: Il lavoro fornisce una prova rigorosa della distinzione strutturale tra le due componenti della formula di Shioda-Tate. Il reticolo banale è "locale" (dipende dai dati di riduzione in punti finiti), mentre il rango di Mordell-Weil è "globale" (dipende dalla geometria del dominio dei periodi).
2. Limiti della Fattorizzazione Locale-Global: Dimostra che la fattorizzazione locale-global, che funziona per il reticolo banale, fallisce per il rango di Mordell-Weil. La trascendenza delle serie modulari implica che non esiste una descrizione algebrica finita (come un prodotto di Eulero) per la distribuzione dei salti di rango.
3. Connessione con la Teoria delle Forme Modulari: Estende i risultati di modularity (precedentemente noti per superfici K3, $n=2$) a superfici ellittiche di genere arbitrario ($n \ge 2$), utilizzando il framework delle superconnessioni di Garcia per domini di Griffiths.
4. Metodologia Innovativa: L'uso della stabilizzazione motivica di Vakil-Wood adattata al discriminante non lineare delle curve ellittiche apre nuove strade per lo studio di serie di conteggio motiviche in contesti non lineari.

In sintesi, il paper stabilisce che mentre la geometria delle fibre singolari di una superficie ellittica segue leggi razionali e locali, la comparsa di nuove sezioni (rango di Mordell-Weil) è un fenomeno profondo, trascendente e governato dalla teoria delle forme modulari.