Intersections of special cycles on Shimura curves and Siegel Maass forms

1. Problema e Contesto

Il lavoro si inserisce nel campo della teoria dei numeri aritmetica e della geometria aritmetica, focalizzandosi sulle curve di Shimura compatte. Storicamente, è stato oggetto di intenso studio il calcolo del numero di geodetiche chiuse e di punti di Heegner su tali curve, nonché la loro distribuzione (risultati classici di Siegel, Linnik, Duke). Tuttavia, il problema del conteggio delle intersezioni tra coppie di geodetiche con discriminanti dati e un angolo di intersezione specifico è stato molto meno esplorato.

Un risultato parziale esistente è dovuto a Rickards, che ha calcolato il numero di punti di intersezione studiando coppie di immersioni ottimali di campi quadratici in algebre di quaternioni, ottenendo un'espressione in termini di fattori locali sotto certe condizioni di "ammissibilità".
L'obiettivo principale di questo articolo è:

1. Fornire un'espressione generale per il numero totale di punti di intersezione (e configurazioni geometriche correlate) tra geodetiche e punti di Heegner su una curva di Shimura.
2. Dimostrare che la serie generatrice di questi numeri di conteggio è costituita dai coefficienti di una forma di Maass di Siegel (non olomorfa) di genere 2 e peso 1/2.
3. Generalizzare i risultati di Rickards e fornire un'interpretazione geometrica dei coefficienti di Fourier per forme di Maass più generali (non costanti).

2. Metodologia

Gli autori utilizzano un approccio che combina la teoria delle forme automorfe, la geometria delle curve di Shimura e la teoria delle rappresentazioni di Weil. I pilastri metodologici sono:

• Spazio Quadratico e Curve di Shimura: Si considera un'algebra di quaternioni indefinita $B$ su $\mathbb{Q}$ e lo spazio vettoriale $V$ degli elementi a traccia nulla, dotato della forma quadratica $Q(x) = -N(x)$ (norma ridotta). La curva di Shimura compatta $X$ è definita come quoziente $\Gamma_M \backslash \mathbb{H}$, dove $\Gamma_M$ è un gruppo aritmetico associato a un ordine di Eichler.
• Cicli Speciali e Geodetiche: Le geodetiche chiuse e i punti di Heegner su $X$ sono identificati con vettori primitivi nello spazio quadratico $V$ (o coppie di vettori). L'intersezione di due geodetiche, la distanza comune perpendicolare, o la distanza tra un punto di Heegner e una geodetica sono codificate dalla matrice di prodotto interno $T$ dei vettori associati.
• Integrale Theta: Si costruisce un integrale theta che mappa una forma di Maass $f$ sulla curva di Shimura in una forma di Maass di Siegel $G(\tau)$ di genere 2:
  $$I(\tau, f) = \int_{\Gamma_M \backslash \mathbb{H}} f(z) \theta_L^{(2)}(\tau, z) d\mu(z)$$
  dove $\theta_L^{(2)}$ è la funzione theta di Siegel di genere 2 associata al reticolo $L \subset V$.
• Sviluppo di Fourier e Funzioni di Whittaker: L'analisi si concentra sullo sviluppo di Fourier dell'integrale theta. I coefficienti di Fourier $IT(v, f)$ sono decomposti in termini di caratteri del gruppo ortogonale $SO(T)$. Gli autori introducono funzioni di Whittaker generalizzate (sia per $T$ definita positiva che indefinita) per descrivere esplicitamente questi coefficienti.
• Formula di Siegel-Weil: Nel caso particolare in cui $f$ sia la funzione costante ($f=1$), l'integrale theta può essere identificato con una serie di Eisenstein di Siegel di peso 1/2 tramite la formula di Siegel-Weil. Questo permette di calcolare i coefficienti di Fourier come prodotti di funzioni di Whittaker locali non archimedee.

3. Contributi Chiave e Risultati Principali

A. Teorema 1.1: La Serie Generatrice

Il risultato principale stabilisce che il numero totale di punti di intersezione (o configurazioni geometriche analoghe come distanze comuni perpendicolari) tra geodetiche di discriminanti $D_1, D_2$ e "angolo" (o parametro geometrico correlato) $b$ è codificato nel coefficiente di Fourier $T$-esimo di una forma di Maass di Siegel $G(\tau)$ di peso 1/2 e genere 2.

• La matrice $T$ è definita come $\begin{pmatrix} D_1 & b \\ b & D_2 \end{pmatrix}$.
• Il coefficiente $G_T$ è il prodotto di una funzione di Whittaker archimedea esplicita $W_{T,\infty}(v)$ e di un numero intero $|R_T|$, che conta le configurazioni geometriche.
• Il numero $|R_T|$ è espresso come prodotto di fattori locali, generalizzando la formula di Rickards.

B. Teorema 1.2: Espansione di Taylor Geodetica

Per una forma di Maass generale $f$ (non costante), gli autori dimostrano che i coefficienti di Fourier dell'integrale theta ammettono una espansione di Taylor geodetica.

• Il coefficiente $n$-esimo della componente di Fourier associata a $T$ è dato da:
  $$IT,n(v, f) = W_{B,n}(v, s) \cdot \sum_{x \in R_T} f_{-2n}(z_x)$$
  dove $f_{-2n}(z_x)$ sono i coefficienti di Taylor geodetici della forma $f$ calcolati nei punti di intersezione $z_x$ (punti di Heegner o intersezioni di geodetiche).
• Questo risultato collega l'analisi armonica sulle curve di Shimura con la teoria delle forme automorfe di Siegel, fornendo una struttura fine ai coefficienti di Fourier.

C. Calcolo Esplicito tramite Formula di Siegel-Weil

Utilizzando la formula di Siegel-Weil per il caso $f=1$, gli autori:

• Identificano l'integrale theta con una serie di Eisenstein di Siegel di peso 1/2.
• Derivano una formula esplicita per il numero di intersezioni $|R_T|$ in termini di funzioni di Whittaker locali non archimedee (Teorema 5.2 e Teoremi 5.7-5.11).
• Riproducono e generalizzano il risultato di Rickards, rimuovendo alcune restrizioni sulle condizioni di ammissibilità e fornendo una spiegazione strutturale della fattorizzazione in fattori locali.

D. Azione dell'Algebra di Hecke

La sezione 4 analizza l'azione degli operatori di Hecke. Si dimostra che se $f$ è una forma propria per gli operatori di Hecke sulla curva di Shimura, allora l'integrale theta $I(\tau, f)$ è una forma propria per gli operatori di Hecke di genere 2. Vengono stabilite relazioni esplicite tra gli operatori di Hecke sul lato ortogonale (curva di Shimura) e quelli sul lato simplettico (forma di Siegel), utilizzando la mappa di Rallis-Zhuravlev.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella teoria delle forme automorfe e nella geometria aritmetica per diversi motivi:

1. Unificazione Geometrica: Fornisce un quadro unificato per contare non solo le intersezioni di geodetiche, ma anche le relazioni geometriche tra geodetiche e punti di Heegner, trattandole tutte come coefficienti di una singola forma di Maass di Siegel.
2. Generalizzazione di Rickards: Estende i risultati di Rickards sul conteggio delle intersezioni a casi più generali di strutture di livello e fornisce una derivazione sistematica basata sulla teoria delle forme automorfe (formula di Siegel-Weil) piuttosto che su calcoli algebrici diretti.
3. Nuovi Strumenti Analitici: L'introduzione e lo studio delle funzioni di Whittaker generalizzate per forme di Maass di Siegel di peso semi-intero e la loro connessione con i coefficienti di Taylor geodetici aprono nuove strade per lo studio delle serie L e delle formule di traccia.
4. Connessioni con Moduli Singolari: L'introduzione accenna a potenziali connessioni con l'analogo reale quadratico dei moduli singolari (lavoro di Darmon-Vonk), suggerendo che questo approccio theta potrebbe essere utile per studiare intersezioni aritmetiche su superfici aritmetiche e cicli speciali.

In sintesi, il paper stabilisce un ponte profondo tra la geometria delle intersezioni su curve di Shimura e la teoria delle forme di Siegel non olomorfe, offrendo strumenti potenti per il calcolo esplicito e la comprensione strutturale di quantità aritmetiche complesse.