Adjoint Bloch--Kato Selmer groups of regular algebraic automorphic Galois representations

Sintesi Tecnica: Gruppi di Selmer di Bloch–Kato dell'aggiunto di Rappresentazioni Galois Automorfiche Regolari Algebriche

Enunciato del Problema
Il saggio affronta la scomparsa del gruppo di Selmer di Bloch–Kato dell'aggiunto, $H^1_f(F, \text{ad } \rho)$, associato a rappresentazioni galoisiane $\rho$ derivanti da rappresentazioni automorfiche algebriche regolari di $\text{GL}_n$ su un campo numerico CM $F$. Questo gruppo è congetturato per scomparire dalle congetture di Fontaine–Mazur, Beilinson e Bloch–Kato. Mentre esistono risultati incondizionati per casi specifici (in particolare l'impostazione "defect 0" o di Taylor–Wiles), l'estensione di tali risultati all'impostazione a "difetto positivo" (dove la coomologia degli spazi simmetrici locali associati presenta torsione e non è concentrata in un unico grado) è rimasta una sfida significativa.

Una difficoltà primaria nell'impostazione a difetto positivo è la necessità di lavorare con complessi nell'argomento di patching piuttosto che con semplici moduli. Ciò complica l'applicazione dei teoremi $R=T$, poiché occorre controllare le proprietà dei complessi patchati (ad esempio, garantire che siano finitamente generati su anelli di operatori di diamante) senza il consueto controllo fornito dalle rappresentazioni residue che soddisfano la condizione di Taylor–Wiles. Inoltre, approcci precedenti richiedevano condizioni forti sulla rappresentazione residua modulo $p$, come specifiche condizioni di irriducibilità o non trivialità su $\rho|_{F(\zeta_p)}$.

Metodologia
Gli autori impiegano un argomento di patching raffinato utilizzando ultrafiltri, adattato per gestire complessi con gruppi di coomologia potenzialmente di rango illimitato. La metodologia procede attraverso diverse fasi tecniche chiave:

1. Ultra-patching per Complessi: Gli autori costruiscono complessi patchati $M_{\infty, \bullet}$ utilizzando un ultrafiltro non principale su una sequenza di livelli di Taylor–Wiles. A differenza di lavori precedenti che patchavano moduli, questa costruzione patcha complessi di catene singolari con coefficienti in un reticolo $V^\vee_\lambda$.
2. Controllo dei Kerni Nilpotenti: Un ostacolo tecnico centrale è che le isotipie di tipo $R=T$ risultanti nel setting patchato sono valide solo fino a un ideale nilpotente. Per superare ciò, gli autori utilizzano una tecnica introdotta in [AC23], che sfrutta la regolarità della fibra $\mathbb{Q}_p$ degli anelli di deformazione locali in punti generici. Ciò permette loro di dedurre proprietà dello spazio tangente di Zariski (e quindi del gruppo di Selmer) nonostante la presenza di errori nilpotenti nell'isomorfismo globale.
3. Patching a Due Fasi con Operatori di Discriminante: Gli autori introducono un nuovo processo di patching a due fasi coinvolgente un operatore di Hecke "discriminante" $\delta$.
   • In primo luogo, sostituiscono lo spazio delle forme modulari $H_{Q_N}$ (libero su un anello come $\mathbb{Z}_p[x]/(x^{p^r}-1)$) con un oggetto patchato $\tilde{H}^r$ (libero su $\mathbb{Z}_p[x]/(x^{p^r})$).
   • Questo ampliamento assicura che la localizzazione $\delta \tilde{H}^r_q$ sia libera su $\mathbb{Q}_p[x]/(x^{p^r})$, eliminando efficacementamente la differenza tra livelli sferici e di Iwahori ai posti di Taylor–Wiles.
   • Ciò consente il recupero della standard impostazione di patching su un anello locale regolare (ad esempio, $\mathbb{Q}_p[[x]]$) dove possono essere applicati argomenti familiari.
4. Compatibilità Locale-Globale: La dimostrazione si basa su risultati incondizionati di compatibilità locale-globale per $\ell \neq p$ e $\ell = p$, stabiliti nei saggi compagni [Hev26] e [AHTW26]. Tali risultati sono applicati sotto una condizione di "decomposizione generica" per garantire che la decomposizione della coomologia rispetto alla mappa del periodo di Hodge–Tate sia ben comportata.

Contributi Chiave e Risultati
Il risultato principale stabilisce la scomparsa del gruppo di Selmer di Bloch–Kato dell'aggiunto sotto condizioni imposte esclusivamente sulla rappresentazione galoisiana $p$-adica, piuttosto che sulla sua rappresentazione residua.

• Teorema Principale (Teorema 5.1): Sia $F$ un campo CM e $\pi$ una rappresentazione automorfica cuspidale, algebrica regolare di $\text{GL}_n(\mathbb{A}_F)$. Sia $\rho = r_{\pi, \iota}$ la rappresentazione galoisiana associata. Se:

  1. L'immagine $\rho(G_F(\zeta_{p^\infty}))$ è "enorme" (nel senso di [NT23]);
  2. L'estensione $L/F(\zeta_{p^\infty})$ tagliata da $\text{ad } \rho$ soddisfa $H^1(L/F, \text{ad } \rho(1)) = 0$;
  3. $\rho|_{G_{F_v}}$ è generica per tutti i $v|p$ o dove $\pi_v$ è ramificata;
     Allora $H^1_f(F, \text{ad } \rho) = 0$.

• Corollari:

  • Rappresentazioni Pure (Corollario 5.2): Se $\rho$ è pura (una condizione soddisfatta da molte rappresentazioni automorfiche), la scomparsa avviene.
  • Rappresentazioni Polarizzabili (Corollario 5.3): Per rappresentazioni polarizzabili (ad esempio, quelle associate a forme automorfiche coniugate auto-duali), la scomparsa avviene a patto che l'immagine sia enorme. Questo risultato è notato essere strettamente più forte del lavoro precedente [NT23] in quanto copre l'intera rappresentazione aggiunta su $F$, non solo la parte auto-duale.
  • Potenze Simmetriche di Curve Ellittiche (Corollario 5.4): Per una curva ellittica $E$ su $F$ con $\text{End}(E_F) = \mathbb{Z}$, $H^1_f(F, \text{ad } \text{Sym}^n V_p E) = 0$ per ogni $n \ge 1$.

Significato e Rivendicazioni
Il saggio afferma che la sua novità primaria risiede nell'imporre condizioni solo sulle rappresentazioni galoisiane $p$-adiche e non sulle loro rappresentazioni residue modulo $p$. Ciò rimuove la necessità della "condizione di Taylor–Wiles" sulla rappresentazione residua, che è stata una restrizione significativa nei precedenti risultati di "difetto 0".

Gli autori dichiarano esplicitamente che il loro argomento permette di gestire impostazioni a "difetto positivo" dove i gruppi di coomologia presentano una torsione significativa. Sviluppando un metodo per patchare complessi e controllare i risultanti kerni nilpotenti, essi estendono l'ambito dei risultati di scomparsa di Bloch–Kato a una classe più ampia di rappresentazioni automorfiche. Il lavoro è presentato come un risultato incondizionato per classi specifiche di rappresentazioni (ad esempio, quelle con rappresentazioni di Weil–Deligne pure), facendo affidamento sulla condizione di "immagine enorme" e sulla genericità, che sono spesso verificabili nella pratica (ad esempio, tramite il teorema dell'immagine aperta di Serre per le curve ellittiche).

Il saggio non pretende di risolvere la congettura di Bloch–Kato in piena generalità, ma stabilisce nuovi casi incondizionati in cui il gruppo di Selmer scompare, fornendo così istanze della congettura e strumenti per ulteriori applicazioni nella teoria delle deformazioni galoisiane e nel programma di Langlands.