On the central derivatives of l-functions and modularity of heenger cycles

1. Il Problema e il Contesto

Lo studio delle derivate centrali delle funzioni L è un pilastro della teoria dei numeri moderna. Il risultato fondamentale in questo campo è la formula di Gross-Zagier, che collega la derivata prima della funzione L di una curva ellittica al punto centrale alla altezza (height) di un punto di Heegner. Successivamente, Zhang ha esteso questo quadro ai nuovi forme di peso superiore (higher-weight newforms), esprimendo le derivate centrali delle funzioni L in termini di altezze di cicli di Heegner.

Il problema affrontato in questo lavoro è duplice:

1. Estendere le formule di tipo Gross-Zagier-Zhang a forme cuspidali più generali (non solo nuove forme) e a pesi arbitrari, fornendo una rappresentazione aritmetica esplicita per la derivata centrale.
2. Investigare la modularità della serie generatrice dei cicli di Heegner, un problema aperto che collega la geometria aritmetica alla teoria delle forme modulari.

Il lavoro si concentra sul caso del carattere banale, dove la struttura sottostante permette un'analisi più esplicita.

2. Metodologia

Gli autori utilizzano un approccio che combina teoria delle forme modulari, geometria aritmetica e teoria dei cicli di Chow. I pilastri metodologici includono:

• Spazi Quadratici e Rappresentazione di Weil: Definizione di uno spazio quadratico $V$ e di un reticolo $L$ associato, su cui agisce la rappresentazione di Weil $\rho_L$.
• Forme di Maass e Operatore $\xi$: Utilizzo dello spazio delle forme di Maass deboli armoniche $H_{k, \rho_L}$ e dell'operatore differenziale $\xi_k$ che mappa queste forme in forme cuspidali.
• Sollevamento Theta Regolarizzato: Impiego del sollevamento theta regolarizzato (regularized theta lift) per collegare forme di Maass a funzioni di Green per divisori di Heegner. In particolare, viene utilizzata una serie di Hejhal-Poincaré non olomorfa per costruire funzioni di Green superiori.
• Cicli di Heegner e Accoppiamento di Altezza: Definizione dei cicli di Heegner $Z_\kappa(m, \mu)$ su varietà di Kuga-Sato $Y$. Il cuore del calcolo è l'accoppiamento di altezza globale $\langle \cdot, \cdot \rangle$, che viene decomposto in una somma di contributi locali (intersezioni finite e infinite).
• Dualità di Serre: Utilizzo di un criterio di modularità basato sulla dualità di Serre tra serie formali e forme cuspidali per dimostrare la modularità della serie generatrice.

3. Contributi Chiave e Risultati Principali

A. Formula Esplicita per l'Accoppiamento di Altezza Globale

Il risultato principale è la Teorema 0.6 (e il Teorema 5.3), che stabilisce una formula esplicita per l'accoppiamento di altezza globale tra un ciclo di Heegner generato da una forma $f$ e un ciclo di Heegner fondamentale $Z_\kappa(U)$:

$$\langle Z_\kappa(f), Z_\kappa(U) \rangle = \frac{2\sqrt{N}\Gamma(\kappa - \frac{1}{2})}{(4\pi)^{\kappa-1}\pi^{\frac{3}{2}}} L'(Sh_{m_0, \mu_0}(\xi_{3/2-\kappa}f), \kappa)$$

Dove:

• $Sh_{m_0, \mu_0}$ è la corrispondenza di Shimura.
• $\xi_{3/2-\kappa}f$ è la forma cuspidale ottenuta applicando l'operatore $\xi$ a $f$.
• $L'$ indica la derivata della funzione L al punto centrale.

Questa formula generalizza la formula di Gross-Zagier-Zhang, fornendo una rappresentazione diretta della derivata centrale in termini di altezze geometriche.

B. Congettura di Modularità e Riduzione al Caso di Vanishing

Gli autori formulano la Congettura 0.1, che afferma che la serie generatrice dei cicli di Heegner $\phi_\kappa$ è una forma cuspidale.

• Teorema 0.3: Dimostrano che la congettura di modularità vale se si lavora nel gruppo di Chow delle classi di cicli algebrici principali ($Heeg^{alg}_\kappa(Cl(X))$).
• Riduzione: La validità della congettura nel gruppo di Chow completo dipende dalla Congettura 0.4, che afferma che il ciclo $Z_\kappa(f)$ si annulla nel gruppo di Chow per ogni forma debolmente olomorfa $f$.
• Corollario 0.8: Dimostrano una versione debole della congettura di vanishing: l'accoppiamento di altezza $\langle Z_\kappa(f), Z_\kappa(U) \rangle$ è zero per ogni $f$ che è una forma debolmente olomorfa (non solo armonica), fornendo evidenze a supporto della congettura.

C. Generalizzazione della Formula di Gross-Zagier-Zhang

Attraverso la Proposizione 0.9 e il Teorema 0.10, gli autori mostrano che, assumendo la modularità, la loro formula esplicita per l'altezza globale implica direttamente la formula di Gross-Zagier-Zhang per le nuove forme $G$. Questo conferma la coerenza interna del loro quadro teorico e la sua capacità di recuperare i risultati classici come casi particolari.

4. Significato e Impatto

Questo lavoro è significativo per diverse ragioni:

1. Unificazione Teorica: Fornisce un quadro unificato che collega le derivate centrali delle funzioni L di forme cuspidali generali alle altezze di cicli di Heegner, estendendo i risultati precedenti limitati alle nuove forme.
2. Struttura Modulare: Avanza la comprensione della modularità delle serie generatrici di cicli geometrici. La riduzione della congettura di modularità a una congettura di vanishing (Congettura 0.4) offre una via di attacco chiara per i ricercatori futuri.
3. Strumento per la Congettura BSD: Poiché le formule di tipo Gross-Zagier sono fondamentali per lo studio della congettura di Birch e Swinnerton-Dyer (BSD) e dei ranghi delle curve ellittiche, questa generalizzazione offre nuovi strumenti geometrici per analizzare curve e forme modulari di peso superiore.
4. Metodologia Innovativa: L'uso combinato di sollevamenti theta regolarizzati, funzioni di Green superiori e tecniche di intersezione locale permette di calcolare quantità aritmetiche complesse in modo esplicito.

In sintesi, Du e Peng stabiliscono un ponte solido tra la teoria analitica delle funzioni L e la geometria aritmetica dei cicli di Heegner, fornendo sia risultati concreti (la formula esplicita) sia un quadro congetturale robusto per future generalizzazioni.