Theta correspondence and the Borisov-Gunnells relations

Sintesi Tecnica: Corrispondenza Theta e Relazioni di Borisov-Gunnells

Enunciato del Problema
Questo articolo investiga la corrispondenza theta geometrica dalla prima omologia di una curva modulare $Y_1(N)$ allo spazio delle forme modulari olomorfe di peso 2, $M_2(\Gamma_1(N))$. L'obiettivo primario è valutare esplicitamente questa corrispondenza su generatori specifici del gruppo di omologia — ovvero simboli modulari, cappi modulari (modular caps) e cicli iperbolici — per recuperare e spiegare i risultati noti riguardanti gli insiemi di generazione degli spazi di forme modulari. Nello specifico, l'autore cerca di chiarire la relazione tra il lavoro di Borisov e Gunnells, che ha descritto lo spazio delle newform di rango 0 e le serie di Eisenstein utilizzando prodotti di serie di Eisenstein di peso 1, e il lavoro di Li, che ha descritto spazi simili utilizzando restrizioni diagonali di serie di Hilbert-Eisenstein. Un obiettivo secondario è utilizzare questo quadro geometrico per derivare relazioni lineari tra serie di Eisenstein.

Metodologia
La metodologia si basa sulla costruzione di una forma differenziale chiusa $E(z, \tau)$ sulla curva modulare, con valori in forme modulari di peso 2. Questa costruzione combina le idee di Bergeron-Charollois-Garcia e Kudla-Millson, utilizzando il formalismo di Mathai-Quillen e la rappresentazione di Weil.

1. Configurazione Geometrica: L'autore considera la compattificazione di Borel-Serre $Y_1(N)^{BS}$ della curva modulare. L'omologia $H_1(Y_1(N); \mathbb{C})$ è decomposta, seguendo Stevens, in una somma diretta dello spazio dei cappi modulari chiusi $C(C)$ e dello spazio dei simboli modulari di grado 0 $MS_0(\mathbb{C})$.
2. Sollevamento Theta (Theta Lift): La mappa $E: H_1(Y_1(N); \mathbb{C}) \to M_2(\Gamma_1(N))$ è definita integrando la forma differenziale $E(z, \tau)$ su 1-cicli. La forma è costruita tramite il pushforward di una serie theta associata a un coset di reticolo $L_{1,0}$ nello spazio delle matrici $2 \times 2$.
3. Valutazione Esplicita:
   • Cappi Modulari (Modular Caps): L'integrale sul cappo modulare chiuso $C_r$ in un cuspide $r$ è calcolato analizzando il termine costante della forma al bordo.
   • Simboli Modulari: L'integrale su simboli unimodulari è calcolato mediante la sommazione di Poisson e la restrizione della serie theta sulle geodetiche.
   • Cicli Iperbolici: Utilizzando l'algoritmo delle frazioni continue di Stevens, i cicli iperbolici $Z_\gamma$ vengono decomposti in combinazioni lineari di cappi modulari e simboli unimodulari. L'integrale viene quindi valutato termine per termine.
4. Analisi Spettrale: L'immagine del sollevamento theta è analizzata utilizzando la decomposizione spettrale della coomologia, relazionando il sollevamento alle newform con valori $L$ non nulli in $s=1$ e alle serie di Eisenstein.

Contributi Chiave e Risultati

• Valutazione sui Generatori dell'Omologia (Teorema 1.4):

  • L'integrale del sollevamento theta sul cappo modulare chiuso $C_r$ (dove $r = \gamma \infty$) produce una serie di Eisenstein di peso 2 $H^{(2)}_{d, -c}(\tau)$.
  • L'integrale sul simbolo unimodulare $M = \gamma\{0, \infty\}$ produce il prodotto di due serie di Eisenstein di peso 1, specificamente $-G^{(1)}_d(\tau)G^{(1)}_c(\tau)$.

• Insiemi di Generazione e il Risultato di Li (Teoremi 1.2, 1.3 e 3.15):

  • L'immagine del sollevamento theta, $\text{Im}(E)$, contiene il sottospazio generato dalle serie di Eisenstein di peso 2 $H^{(2)}$ e il sottospazio delle newform di rango 0 ($S^{new}_{2, rk=0}$). Quando $N$ è primo, questa inclusione è un'uguaglianza.
  • Valutando il sollevamento su cicli iperbolici $Z_\gamma$, l'autore recupera il risultato di Li: lo spazio $S^{new}_{2, rk=0}$ è generato dalle restrizioni diagonali di serie di Hilbert-Eisenstein $E^{(1)}_{1, f_\gamma}(\tau, \tau)$.
  • Il saggio stabilisce che $\text{Im}(E)$ è contenuto nello span delle serie di Eisenstein di peso 2 e dei prodotti di serie di Eisenstein di peso 1 ($H^{(1,1)}$), fornendo così una spiegazione geometrica per l'insieme di generazione descritto da Borisov e Gunnells.

• Relazioni tra Serie di Eisenstein (Teorema 1.6 e 4.10):

  • Considerando un triangolo iperbolico $T$ nella compattificazione di Borel-Serre il cui bordo consiste in tre simboli unimodulari e tre cappi modulari, l'autore sfrutta il fatto che il bordo è omologo a zero ($\partial T = 0$).
  • Ciò produce la relazione:
    $$G^{(1)}_a G^{(1)}_b + G^{(1)}_b G^{(1)}_c + G^{(1)}_c G^{(1)}_a = G^{(2)}_a + G^{(2)}_b + G^{(2)}_c$$
    per interi $a, b, c$ tali che $a+b+c \equiv 0 \pmod N$ e non nulli modulo $N$. Questo fornisce una prova geometrica delle relazioni precedentemente stabilite da Borisov e Gunnells.

Significatività
Il saggio rivendica significatività nel fornire un quadro geometrico unificato che connette due descrizioni distinte di spazi di forme modulari:

1. Spiega le relazioni di Borisov-Gunnells (prodotti di serie di Eisenstein di peso 1) e i risultati di Li (restrizioni diagonali di serie di Hilbert-Eisenstein) come conseguenze naturali della valutazione di un singolo sollevamento theta geometrico su diversi generatori dell'omologia.
2. Offre una prova geometrica di specifiche relazioni lineari tra serie di Eisenstein di peso 1 e 2, derivate direttamente dalla topologia della curva modulare e dalle proprietà del sollevamento theta, piuttosto che da pure manipolazioni analitiche.
3. Chiarisce il ruolo della compattificazione di Borel-Serre e dei cappi modulari nella teoria dei simboli modulari, dimostrando come i termini di bordo (cappi) corrispondano a serie di Eisenstein mentre i termini interni (simboli) corrispondano a prodotti di serie di peso inferiore.

L'autore nota che, sebbene i risultati riguardanti gli insiemi di generazione siano simili alla letteratura esistente (specificamente [BG01] e [Li17]), il contributo risiede nella derivazione tramite la corrispondenza theta e nella interpretazione geometrica esplicita dei coefficienti di Fourier e degli integrali.