Harder's conjecture and Hermitian automorphic forms

Sintesi Tecnica: Congettura di Harder e Forme Automorfe Ermitiane

Enunciato del Problema
Questo articolo affronta la congettura di Harder, la quale predice congruenze tra forme modulari ellittiche e forme modulari di Siegel di grado due. Nello specifico, siano $k \ge 4$ e $j \ge 2$ interi con $j$ pari, e sia $f$ una forma cuspide primitiva di peso $2k + j - 2$ per $SL_2(\mathbb{Z})$. La congettura postula l'esistenza di una forma cuspide di Siegel $F \in S_{\det^k \Sym^j}(Sp_2)$ tale che, per un ideale primo $\mathfrak{p}$ che divide il valore algebrico critico $L^{\text{alg}}(k+j, f)$, il polinomio $L$-spinore di $F$ soddisfi una specifica congruenza modulo un ideale primo $\mathfrak{P}$ sopra $\mathfrak{p}$:
$$L_\ell(X, F, \text{Spin}) \equiv L_\ell(X, f)(1 - \ell^{k-2}X)(1 - \ell^{k+j-1}X) \pmod{\mathfrak{P}}$$
per ogni numero primo razionale $\ell$. Sebbene lavori precedenti abbiano stabilito casi di questa congettura (ad esempio, tramite corrispondenze di tipo Shimura, reticoli unimoduli pari o lift di Miyawaki), questo articolo mira a derivare la congettura condizionatamente da congruenze riguardanti forme automorfe ermitiane sul gruppo quasi-spaccato $U_{2,2}$.

Metodologia
Gli autori impiegano una strategia a due fronti combinando la teoria delle rappresentazioni automorfe e la teoria delle rappresentazioni di Galois:

1. Lato Automorfo (Costruzione di Lift):

   • Gli autori utilizzano la classificazione endoscopica di Mok per gruppi unitari quasi-spaccati per costruire "lift spinoriali ermitiani". Per una forma cuspide di Siegel $F$, essi costruiscono una forma cuspide ermitiana $\text{Lift}_E(F)$ su $U_{2,2}$ (dove $E$ è un campo quadratico immaginario ausiliario).
   • Essi stabiliscono che il polinomio $L$-standard del loro lift si fattorizza nel prodotto del polinomio $L$-spinore di $F$ e della sua torsione $\chi_E$.
   • Confrontando questa fattorizzazione con il polinomio $L$-standard esplicito di un lift di Klingen–Eisenstein ermitiano associato a $f$, essi dimostrano che una congruenza tra la forma cuspide ermitiana $G$ e il lift di Klingen–Eisenstein implica la desiderata congruenza del polinomio $L$-spinore, a condizione che $G$ sia effettivamente il lift di qualche $F$.

2. Lato di Galois (Discesa e Irriducibilità):

   • La difficoltà principale risiede nel dimostrare che la forma cuspide ermitiana $G$ ottenuta dalla congruenza di Klingen–Eisenstein sia effettivamente un lift spinoriale.
   • Gli autori utilizzano le rappresentazioni di Galois associate ai gruppi unitari (seguendo Skinner) per analizzare le classi di estensione residua derivanti dalla congruenza $G \equiv [f]_{j+4}^2 \pmod{\mathfrak{P}}$.
   • Essi impiegano argomenti di annullamento dei gruppi di Selmer per escludere "classi di estensione residua indesiderate". Nello specifico, dimostrano che, sotto esplicite ipotesi aritmetiche, la rappresentazione di Galois associata $R^\natural_G$ è assolutamente irriducibile e invariante per coniugazione.
   • L'invarianza per coniugazione permette al parametro di Arthur globale di $G$ di discendere da $GL_4(\mathbb{A}_E)$ a $GL_4(\mathbb{A}_{\mathbb{Q}})$. Questa discesa identifica $G$ come il trasferimento di una forma cuspide di Siegel, stabilendo così che $G = \text{Lift}_E(F)$.

Contributi Chiave e Risultati

• Teorema Principale (Teorema 5.8): L'articolo dimostra una versione condizionata della congettura di Harder. Stabilisce che se specifiche condizioni aritmetiche sono soddisfatte riguardo al numero primo $\mathfrak{p}$, al campo quadratico immaginario $E$ e alla non-congruenza di $f$, allora la congruenza del polinomio $L$-spinore è valida.
• Ipotesi Tecniche: Il teorema richiede dieci condizioni esplicite, tra cui:
  • $p > 2k + j - 2$ e $p$ non ramificato in $E$.
  • Il numero di classi di $E$ è uno, con un unico primo ramificato $q \neq p$.
  • Non divisibilità di specifici valori $L$ (ad esempio, $L(0, \tilde{\omega}^{j+1})$, $L^{\text{alg}}(k+j, f \otimes \chi_E)$) per $\mathfrak{P}$.
  • Una condizione "Tame" sul primo ramificato $q$ ($q^{j+2} \not\equiv 1 \pmod p$).
  • L'immagine della rappresentazione di Galois associata a $f$ contiene $SL_2(\mathcal{O}_P)$.
• Verifica Numerica: Gli autori forniscono una tabella di esempi numerici (Tabella 1) dove queste ipotesi sono verificate. Ciò include il recupero di casi noti (ad esempio, $(k,j,p) = (10,4,41)$) e l'instaurazione di nuovi casi sia per $k$ pari che dispari (ad esempio, $(7, 12, 73)$, $(5, 20, 193)$).

Significatività
L'articolo rivendica significatività nel fornire un quadro unificato per le congruenze di tipo Harder che tratta uniformemente anche i casi di $k$ pari e dispari (per $k \ge 4$). Spostando il problema nell'ambito delle forme automorfe ermitiane e utilizzando la classificazione endoscopica di Mok insieme alla discesa di Galois, gli autori offrono una prova condizionata che supera alcune limitazioni dei metodi precedenti (come le restrizioni di parità su $k$ nei lavori precedenti). Il lavoro dimostra che l'esistenza della forma di Siegel $F$ può essere dedotta dall'esistenza di una congruenza ermitiana, a condizione che i relativi gruppi di Selmer si annullino e che le rappresentazioni di Galois soddisfino specifiche proprietà di irriducibilità e invarianza. L'articolo nota esplicitamente che il caso $k=3$ richiede una discussione separata a causa di problemi di confine nella classificazione di Mok, ma suggerisce che sia accessibile tramite modifiche minori.