Gross's conjecture: the dihedral case

Sintesi Tecnica: La Congettura di Gross: Il Caso Diedrale

Enunciato del Problema
Il saggio affronta una congettura proposta da Gross nel 2000 riguardante la struttura aritmetica delle forme modulari quaternioniche sul gruppo semplice scisso $G_2$. Mentre Waldspurger aveva stabilito una profonda relazione tra i coefficienti di Fourier di forme modulari di peso semi-intero e i valori $L$ di torsioni quadratiche di forme a peso intero, Gross ha congetturato una relazione analoga per le forme modulari quaternioniche su $G_2$. Nello specifico, egli ha previsto che i coefficienti di Fourier di queste forme, che sono indicizzati da anelli cubici totalmente reali, codifichino i valori centrali $L$ ($s=1/2$) di torsioni cubiche di associate forme modulari oloomorfe su $PGL_2$.

Prima di questo lavoro, la congettura era nota solo in casi specifici non cuspidali (ad esempio, serie di Eisenstein) o per algebre cubiche molto ristrette. La sfida principale risiedeva nella mancanza di esempi cuspidali in cui la congettura potesse essere verificata, particolarmente perché le forme modulari associate hanno spesso livelli non squarefree, complicando l'applicazione delle tecniche esistenti di theta lift.

Metodologia
Gli autori dimostrano la congettura per il "caso diedrale", dove la forma modulare olofomorfa sottostante $f$ è associata a un carattere di Hecke coniugato-simpletico $\chi$ di un campo quadratico immaginario $K$. La metodologia si basa sulla costruzione di forme modulari quaternioniche tramite un theta lift eccezionale e la successiva computazione esplicita dei loro coefficienti di Fourier.

1. Costruzione del Theta Lift: Gli autori costruiscono la forma modulare quaternionica cuspidale $F_\epsilon$ su $G_2$ come un theta lift da un gruppo unitario compatto $G' = PU_3$ (associato a $K$) verso $G_2$. Questo lift utilizza kernel di theta su una forma quasi-scissa di $E_6$. La rappresentazione $\pi_\epsilon$ di $G_2$ è associata a una rappresentazione automorfa cuspidale $\sigma_\epsilon$ di $G'$ tramite le congetture di Arthur, che gli autori avevano precedentemente stabilito incondizionatamente per questo caso.
2. Analisi dei Coefficienti di Fourier: Il coefficiente di Fourier $a_E(F_\epsilon)$ è correlato a un periodo automorfo su $G'$. Analizzando il kernel di theta lungo il radicale unipotente del parabolico di Heisenberg di $E_6$, gli autori derivano una formula integrale (Equazione 1.2) che esprime il coefficiente di Fourier come un prodotto di un periodo di toro globale $P_i(f')$ su $G'$ e un prodotto di integrali locali $I_v$.
3. Identità Seesaw e Periodi: Un diagramma "seesaw" che coinvolge gruppi unitari su $K$ e algebre cubiche $E$ è impiegato per relazionare il quadrato del periodo globale $|P_i(f')|^2$ con il valore $L$ $L(1/2, f \otimes V_E)$, dove $V_E$ è la rappresentazione di Artin a 2 dimensioni associata all'algebra cubica $E$. Questo passaggio utilizza calcoli espliciti di T. Yang riguardanti i theta lift da gruppi unitari a gruppi ortogonali.
4. Computazione degli Integrali Locali: Il nucleo tecnico della contribuzione riguarda la computazione esplicita degli integrali locali $I_v(E_v, \phi_v, f'_v)$ in tutte le estremità:
   • Estremità non ramificate ($p \nmid N$): Gli autori utilizzano vettori sferici e dimostrano che l'integrale è non nullo (e uguale a 1) solo se l'algebra cubica è non ramificata e massima, riducendo il problema a un'affermazione gruppale riguardante i coniugati di embedding algebrici (Lemma 4.5).
   • Estremità ramificate ($p \mid N$): Gli autori costruiscono specifici "vettori di test" (vettori locali $\phi_p$ e $f'_p$) tali che l'integrale locale agisca come una funzione caratteristica: esso è uguale a 1 se la condizione di segno locale $\epsilon_p = \epsilon_p(E_p, \chi_p)$ è soddisfatta, e 0 altrimenti. Ciò risolve le obstruzioni locali che impediscono al coefficiente di Fourier di annullarsi.
   • Estremità Archimidee: La computazione si basa sulla teoria delle serie discrete quaternioniche e della rappresentazione minima di $E_6$. Gli autori definiscono specifici operatori di raising per costruire vettori di peso massimo e calcolano gli integrali risultanti usando funzioni di Bessel e proprietà della costruzione di Freudenthal.

Contributi Chiave e Risultati
Il saggio stabilisce la prima prova incondizionata della congettura di Gross per una classe di forme modulari quaternioniche cuspidali.

• Teorema Principale (Teorema 1.2 / Teorema 3.14): Per una forma modulare diedrale $f$ di peso pari $2k$ associata a un carattere di Hecke $\chi$ (con $L(1/2, \chi) \neq 0$), esiste una forma modulare quaternionica $F_\epsilon$ su $G_2$ tale che per ogni algebra étale cubica totalmente reale $E/\mathbb{Q}$ con anello degli interi $\mathcal{O}_E$:
  $$|a_E(F_\epsilon)|^2 = L(1/2, f \otimes V_E) \cdot \Delta_E^{(k-1)/2}$$
  a condizione che le condizioni di segno locale $\epsilon_p = \epsilon_p(E_p, \chi_p)$ siano soddisfatte per tutti i numeri primi $p$ che dividono il livello di $f$. Se queste condizioni non sono soddisfatte, il coefficiente di Fourier si annulla.
• Integrali Locali Espliciti: Il saggio fornisce una valutazione completa degli integrali locali derivanti dal theta lift, includendo una nuova costruzione di vettori di test alle estremità ramificate che isolano specifici segni locali.
• Generalizzazione ai Campi Totalmente Reali: Sebbene l'introduzione si concentri su $\mathbb{Q}$, gli autori osservano che i loro metodi si generalizzano a campi totalmente reali $F$ e forme modulari di Hilbert diedrali (Teorema 3.14).

Significato
Il saggio rivendica la significatività come primi esempi per i quali la congettura di Gross è nota per essere valida. Esso colma il divario tra la teoria delle forme modulari quaternioniche su $G_2$ e l'aritmetica delle torsioni cubiche di forme modulari.

Gli autori sottolineano che il loro risultato è coerente con il precedente lavoro di Pollack che mostra come i coefficienti di Fourier di tali forme risiedano in estensioni assolute di $\mathbb{Q}$ ($\mathbb{Q}^{ab}$). Relazionando i coefficienti ai valori $L$ di torsioni di forme diedrali (che sono noti per avere periodi in $\mathbb{Q}^{ab}$ tramite il lavoro di Blasius), il saggio conferma la natura aritmetica di questi coefficienti.

Il lavoro chiarisce anche il ruolo delle obstruzioni locali: a differenza del contesto del lift di Shimura classico dove i coefficienti sono non nulli per tutte le torsioni quadratiche, il caso quaternionico richiede che specifiche condizioni di segno locale ($\epsilon_p$) siano soddisfatte affinché i coefficienti di Fourier non siano nulli. Questo saggio fornisce il meccanismo preciso (tramite la scelta dei vettori di test nel theta lift) per soddisfare tali condizioni ed estrarre i valori $L$.

Gli autori mantengono un tono modesto riguardo all'ambito, notando che i loro risultati si applicano specificamente al caso diedrale e che il caso generale per forme non diedrali rimane aperto. Non pretendono di risolvere la piena congettura per tutte le forme modulari, ma piuttosto di fornire la prova fondante per la prima classe non banale di esempi.