The geometry of the unipotent component of the moduli space of Weil-Deligne representations

Sintesi Tecnica: La Geometria della Componente Unipotente dello Spazio dei Moduli delle Rappresentazioni di Weil-Deligne

Enunciato del Problema
Il documento indaga la geometria dello spazio dei moduli delle rappresentazioni unipotenti di Weil-Deligne a valori in un gruppo riduttivo split $G$ su un campo locale. Nello specifico, si concentra sullo schema $S_{G,O}$, che parametrizza le coppie $(\Phi, N)$ dove $\Phi$ è un elemento semisemplice e $N$ è un elemento nilpotente che soddisfa la relazione $\text{Ad}(\Phi)N = qN$. Questo schema funge da spazio dei moduli incorniciato per le rappresentazioni unipotenti di Weil-Deligne ed è strettamente correlato agli anelli di deformazione locali di Galois, che sono centrali nel metodo di incollamento (patching) di Taylor-Wiles-Kisin utilizzato nella dimostrazione dei teoremi di sollevamento della modularità.

Il problema geometrico principale affrontato è la caratterizzazione della regolarità delle componenti irriducibili di $S_{G,O}$. Sebbene sia noto che lo schema sia un'unione di componenti irriducibili indicizzate dalle orbite nilpotenti, le condizioni in base alle quali tali componenti sono lisce (regolari) rispetto a quelle singolari non erano pienamente stabilite per gruppi riduttivi generali, in particolare nel contesto della condizione "considerata" richiesta per la teoria delle deformazioni.

Metodologia
L'autore impiega una combinazione di geometria algebrica, teoria delle rappresentazioni e algebra commutativa per analizzare la struttura locale di $S_{G,O}$.

1. Consideratezza e Banalità: Il documento introduce e utilizza la nozione di "$q$-consideratezza", una condizione sulla potenza del primo $q$ rispetto al numero di Coxeter $h_G$ del gruppo $G$. Ciò garantisce che $q$ si comporti bene rispetto alla struttura del gruppo (specificamente, che $1, q, \dots, q^{h_G}$ siano distinti nel campo residuo). Questo è legato al concetto di "$G$-banalità" e "geometricamente-$G$-banalità" derivanti dal lavoro di Dat, Helm, Kurinczuk e Moss.
2. Teoria di Bala-Carter e Co-caratteri: L'analisi si basa pesantemente sulla teoria di Bala-Carter per classificare le orbite nilpotenti. Per un elemento nilpotente $e$, l'autore associa un co-carattere $\lambda: \mathbb{G}_m \to G$ e decompone l'algebra di Lie $\mathfrak{g}$ in autospazi di $\text{Ad}(\lambda(t))$. La distinzione tra orbite nilpotenti "distinte" (dove il centralizzatore ha una struttura specifica) e orbite non distinte è cruciale.
3. Dimostrazioni di Liscietà:
   • Liscietà: Per le componenti corrispondenti a orbite nilpotenti distinte (o all'orbita zero), l'autore costruisce un morfismo liscio suriettivo dal prodotto del gruppo $G$ e di uno specifico sottoschema liscio $Y$ (definito tramite la decomposizione di Levi del centralizzatore dell'elemento nilpotente). Dimostrando che questa mappa è un pullback di un morfismo liscio, si stabilisce la liscietà della componente.
   • Singularità: Per le orbite non distinte, l'autore costruisce un punto specifico nella componente e dimostra che la dimensione dello spazio tangente in quel punto supera strettamente la dimensione della componente. Ciò è ottenuto analizzando l'interazione tra gli spazi tangenti dell'orbita, del toro, del cono nilpotente e dei sottogruppi unipotenti, sfruttando le proprietà delle radici "esposte" nel diagramma di Dynkin.
4. Incollamento e Forme Automorfe: I risultati geometrici sono applicati al contesto aritmetico utilizzando il metodo di incollamento di Taylor-Wiles-Kisin. L'autore considera famiglie Hida di forme automorfe ordinarie su gruppi unitari e costruisce un anello di deformazione globale $R^{\text{univ}}_S$.

Contributi e Risultati Chiave

1. Caratterizzazione delle Componenti Lisce (Teorema 1.2):
   Il documento dimostra che, assumendo che $q$ sia considerato rispetto a $G$:

   • La componente irriducibile $X_C$ di $S_{G,O}$ corrispondente a un'orbita nilpotente distinta $C$ (o all'orbita zero) è liscia sull'anello di base.
   • Viceversa, se $C$ è un'orbita nilpotente non banale e non distinta, la componente $X_C$ è singolare.
     Questo risultato generalizza lavori precedenti di Bellovin e Helm, fornendo una classificazione geometrica completa della liscietà di questi spazi dei moduli.

2. Regolarità degli Anelli di Deformazione:
   Stabilendo la liscietà degli anelli di deformazione locali associati alle orbite distinte (in particolare le rappresentazioni di Steinberg e delle serie discrete), il documento conferma che le fibre generiche di questi anelli di deformazione locali sono anelli locali regolari. Questo è un prerequisito affinché l'argomento di incollamento abbia successo.

3. Libertà delle Forme Automorfe Ordinarie (Teorema 1.3):
   Applicando i risultati geometrici al contesto globale, l'autore dimostra che il modulo delle forme automorfe ordinarie $S^{\text{ord}}(U(p^\infty), L/\mathcal{O})^\vee$ è un modulo localmente libero e finito sull'anello di deformazione globale $R^{\text{univ}}_S[1/l]$.

   • Ciò implica che l'algebra di Hecke che agisce su queste forme è isomorfa all'anello di deformazione globale (dopo aver invertito $l$).
   • Crucialmente, stabilisce che la molteplicità delle forme automorfe con una data rappresentazione di Galois a caratteristica zero è costante lungo le componenti connesse dell'anello di deformazione.

Significato e Affermazioni
Il documento afferma di fornire una fondazione geometrica rigorosa per la liscietà degli anelli di deformazione locali utilizzati nei moderni teoremi di sollevamento della modularità. Identificando esplicitamente quali componenti dello spazio dei moduli di Weil-Deligne sono lisce, il lavoro giustifica le ipotesi di regolarità spesso assunte negli argomenti di incollamento.

L'applicazione alle famiglie Hida è significativa perché estende i risultati sulla molteplicità dalle forme automorfe classiche alle famiglie Hida non classiche. L'autore nota che se la molteplicità è 1 per le forme classiche su una specifica componente connessa, il risultato geometrico di libertà implica che la molteplicità è 1 per tutte le forme (classiche e non classiche) in quella componente. Questo colma il divario tra la teoria dei numeri classica e la geometria delle famiglie $p$-adiche, garantendo che la proprietà "molteplicità uno" sia preservata attraverso la famiglia.

Il lavoro non propone nuove applicazioni sperimentali o congetture future oltre alla portata immediata di stabilire la libertà del modulo e l'isomorfismo tra le anelli di Hecke e di deformazione nel contesto ordinario per i gruppi unitari. Si basa e sintetizza macchinari esistenti (Taylor-Wiles-Kisin, teoria di Hida) con nuove intuizioni geometriche riguardanti le singolarità delle chiusure delle orbite nilpotenti nel contesto dei parametri di Weil-Deligne.