Algebraic cycles and values of Green's functions -- Products of Elliptic Curves

Sintesi Tecnica: Cicli Algebrici e Valori delle Funzioni di Green: Prodotti di Curve Ellittiche

Enunciato del Probleamento
Il saggio affronta la congettura di Gross-Zagier riguardante i valori delle "funzioni di Green superiori" in punti di Moltiplicazione Complessa (CM). Nello specifico, Gross e Zagier hanno congetturato che per una forma modulare debolmente olistomorfa $f$ di peso $-2j$, il valore della funzione di Green superiore associata $G^f_{j+1}(z_1, z_2)$ in una coppia di punti CM è il logaritmo di un numero algebrico (fino a un fattore discriminante specifico). Sebbene questa congettura sia stata recentemente dimostrata come teorema da Li [Li23] e Bruinier-Li-Yang [BLY25] utilizzando i sollevamenti di Borcherds e metodi automorfici, questo saggio mira a stabilire il risultato attraverso un distinto framework motivico. Gli autori intendono relazionare l'algebricità di questi valori con l'esistenza di specifici "cicli motivici" nella famiglia universale di prodotti di curve ellittiche.

Metodologia
Il saggio impiega un approccio a due fronti combinando la geometria algebrica (specificamente la teoria della coomologia motivica e dei regolatori) con l'aritmetica delle curve modulari.

1. Costruzione di Cicli Motivici:

   • Gli autori lavorano all'interno della famiglia universale di prodotti di curve ellittiche con struttura di livello 2 completa, denotata $A \to X(2) \times X(2)$.
   • Si concentrano sulla superficie K3 Kummer associata, $\tilde{K}_{A_\eta}$, ottenuta tramite il blow-up dei nodi della superficie di Kummer della fibra generica.
   • Utilizzando la geometria enumerativa di curve razionali in $\mathbb{P}^1 \times \mathbb{P}^1$, costruiscono elementi espliciti nel gruppo di coomologia motivica $H^3_M(\tilde{K}_{A_\eta}, \mathbb{Q}(2))$.
   • La costruzione si basa sulla deformazione del grafico di un isogenia $\phi: E_1 \to E_2$ di grado dispari $n$. Questo grafico, quando proiettato sulla superficie di Kummer e ulteriormente su $\mathbb{P}^1 \times \mathbb{P}^1$, produce una curva razionale di bidegree $(n, 1)$.
   • Analizzando l'intersezione di queste curve con le linee di ramificazione della mappa di Kummer, gli autori definiscono un ciclo $\xi$ supportato sulla fibra generica. Dimostrano che questo ciclo è indecomponibile (ovvero non appartiene all'immagine della mappa prodotto da coomologia di peso inferiore) calcolando il suo regolatore "non archimedeo" (la mappa di bordo nella sequenza di localizzazione). Il bordo è mostrato essere supportato su corrispondenze di Hecke $T_n$, assumendo specificamente la forma della differenza tra le chiusure dei grafici di $\phi$ e $-\phi$.

2. Calcolo del Regolatore e Algebricità:

   • Gli autori calcolano il regolatore archimedeo di questi cicli costruiti contro una specifica forma $(j, j)$ $\eta^j_{z_1, z_2}$ sulla fibra sopra una coppia di punti $(z_1, z_2)$.
   • Stabiliscono un legame tra questo regolatore e le funzioni di Green superiori $G_{j+1}$. Nello specifico, la pairing del regolatore è mostrata essere proporzionale a una combinazione lineare di funzioni di Green valutate nei punti.
   • Quando $(z_1, z_2)$ sono punti CM con lo stesso discriminante, la forma $\eta^j_{z_1, z_2}$ è rappresentata da un ciclo algebrico (un ciclo CM).
   • Per compatibilità del regolatore con la pairing di intersezione nella coomologia motivica, il valore del regolatore in questi punti CM si riduce al logaritmo del valore assoluto di una funzione razionale valutata nei punti di intersezione del ciclo motivico e del ciclo CM. Poiché tutti i dati sono definiti su $\overline{\mathbb{Q}}$, il risultato è il logaritmo di un numero algebrico.

Contributi Chiave e Risultati

• Costruzione Esplicita di Cicli Indecomponibili: Il saggio fornisce una costruzione esplicita di cicli motivici indecomponibili in $H^3_M(\tilde{K}_{A_\eta}, \mathbb{Q}(2))$ per la famiglia universale di prodotti di curve ellittiche. Questi cicli sono costruiti tramite la geometria enumerativa di curve razionali in $\mathbb{P}^1 \times \mathbb{P}^1$ e si dimostra che i loro bordi sono supportati su corrispondenze di Hecke.
• Dimostrazione dell'Algebricità per Punti CM a Stesso Discriminante: Gli autori dimostrano che per due punti CM $z_1, z_2$ con lo stesso discriminante $D$, il valore della funzione di Green superiore di grado 2 $G_2(z_1, T_n z_2)$ (dove $T_n$ è una corrispondenza di Hecke) è il logaritmo di un numero algebrico.
  • Teorema 1.4 / Teorema 6.2: $2Dn G_2(z_1, T_n z_2) = \log |\alpha|$ per un certo $\alpha \in \overline{\mathbb{Q}}$.
  • Ciò recupera un risultato originariamente dimostrato da Viazovska [Via15] per il caso di stessi discriminanti, ma attraverso un approccio motivico anziché tramite sollevamenti di Borcherds.
• Generalizzazione a Discriminanti Misti (Condizionale): Il saggio nota che, sebbene l'approccio motivico gestisca naturalmente i casi a stesso discriminante (dove il ciclo CM esiste nella fibra), esso suggerisce una via verso i casi a discriminante misto tramite pairing di Arakelov, sebbene ciò non sia pienamente risolto nel presente lavoro.
• Legame tra Cicli Motivici e Sollevamenti di Borcherds: Il saggio propone un dizionario congetturale (Congettura 1.5 e Congettura 7.1) che lega le forme modulari debolmente olistomorfe ai cicli motivici. Suggerisce che il regolatore di un ciclo motivico $\xi_f$ associato a una forma modulare coincida con il sollevamento di Borcherds $\Phi(f)$ di tale forma. Ciò fornisce un'interpretazione "motivica" delle forme debolmente olistomorfe.

Significato
Il saggio rivendica la sua importanza principalmente stabilendo un ponte tra due approcci precedentemente distinti alla congettura di Gross-Zagier:

1. L'Approccio Motivico: Seguendo Zhang [Zha97] e Mellit [Mel08], che collega le funzioni di Green ai regolatori di cicli algebrici.
2. L'Approccio Automorfo: Seguendo Li, Bruinier e Yang, che collega le funzioni di Green ai sollevamenti di Borcherds.

Costruendo cicli espliciti e calcolandone i regolatori, gli autori dimostrano che l'algebricità dei valori delle funzioni di Green è una diretta conseguenza dell'esistenza di questi cicli motivici. Il lavoro suggerisce che il "complesso modulare" (un sottocomplesso della coomologia motivica generato da cicli speciali) contiene gli elementi necessari per spiegare l'algebricità delle funzioni di Green automorfe. Il saggio si pone come un passo verso una comprensione unificata dove la "funzione di Green motivica" (regolatore di un ciclo) e la "funzione di Green automorfa" (sollevamento di Borcherds) vengono identificate.

Gli autori rimangono modesti riguardo all'estensione del lavoro, notando che i loro risultati espliciti coprono attualmente il caso dei prodotti di curve ellittiche e punti CM con lo stesso discriminante. Essi riconoscono che il caso generale (discriminanti diversi) e le dimensioni superiori (ad esempio, $G_3$) richiedono un ulteriore sviluppo, che delineano come direzioni per lavori futuri (ad esempio, nei saggi compagni [Sre22], [Sre26]).