Prescribed lifts of 2-dimensional representations

Sulla base del testo fornito, ecco un riassunto tecnico dettagliato del saggio "Prescribed Lifts of 2-Dimensional Representations" di Emerton, Gee, Pan e Zhu.

Problema (Problem Statement)

Il saggio affronta un problema di sollevamento locale-globale per rappresentazioni galoisiane bidimensionali. Sia $F$ un campo totalmente reale e $p$ un numero primo. Data una rappresentazione continua, assolutamente irriducibile e totalmente dispari $\rho: \text{Gal}_F \to \text{GL}_2(\mathbb{F})$ (dove $\mathbb{F}$ è un campo finito di caratteristica $p$), gli autori investigano l'esistenza e la finitezza di sollevamenti $\tilde{\rho}: \text{Gal}_F \to \text{GL}_2(\mathcal{O})$ (dove $\mathcal{O}$ è l'anello degli interi di un'estensione finita di $\mathbb{Q}_p$) che soddisfino specifiche condizioni locali.

Le condizioni prescritte sono definite da un problema di deformazione globale $S$, che include:

1. Un carattere determinante fisso $\psi$ che solleva $\det \rho$.
2. Condizioni locali in un insieme finito di luoghi $\Sigma$ (che contiene tutti i luoghi sopra $p$).
   • Lontano da $p$: Il sollevamento deve trovarsi su una data unione non vuota di componenti irriducibili dell'anello di deformazione locale a determinante fisso.
   • Sopra $p$: Il sollevamento deve trovarsi su una data unione non vuota di componenti irriducibili di un anello di deformazione potenzialmente semistabile con pesi di Hodge–Tate arbitrariamente regolari.

La domanda centrale è se l'anello di deformazione globale $R_S$ associato a queste condizioni sia un $\mathcal{O}$-algebra finita di rango positivo. Se così fosse, ciò implica che l'insieme di tali sollevamenti è finito e non vuoto.

Metodologia (Methodology)

Gli autori impiegano una strategia che combina la coomologia galoisiana con la geometria degli stack di moduli di $(\phi, \Gamma)$-moduli etali, evitando la necessità di nuovi teoremi di sollevamento della modularità per pesi arbitrari.

1. Limite inferiore coomologico galoisiano:
   Gli autori stabiliscono innanzitutto un limite inferiore sulla dimensione dell'anello di deformazione globale $R_S$. Sotto le standard ipotesi di Taylor–Wiles (specificamente che $\rho|_{\text{Gal}_F(\zeta_p)}$ sia assolutamente irriducibile, e condizioni non risolvibili per $p=2$ o condizioni non eccezionali per $p=5$), essi dimostrano tramite calcoli di tangente-ostruzione che $\dim R_S \geq 1$. Ciò assicura che, se $R_S$ è finito su $\mathcal{O}$, esso debba avere rango positivo, garantendo l'esistenza di sollevamenti a caratteristica zero.

2. Finitezza tramite confronto della fibra speciale:
   La sfida tecnica centrale è dimostrare che $R_S$ sia finito su $\mathcal{O}$. In lavori precedenti, ciò veniva spesso ottenuto confrontando l'anello di deformazione con un'algebra di Hecke tramite teoremi di sollevamento della modularità. Tuttavia, tali teoremi sono generalmente noti solo per il "peso 2 parallelo" (pesi di Hodge–Tate $\{0, 1\}$ in ogni embedding).

   • Gli autori utilizzano lo stack di moduli $X$ dei $(\phi, \Gamma)$-moduli etali costruito in [EG23].
   • Invocano una forma "topologica" della filosofia di Breuil–Mézard: i sottostack ridotti sottostanti degli anelli di deformazione potenzialmente semistabili per arbitrari pesi di Hodge–Tate sono uguali a opportune unioni di componenti dello sottostack ridotto sottostante $X_{\text{red}}$.
   • Crucialmente, dimostrano (Proposizione 3.1.2) che ogni rappresentazione locale bidimensionale residua (con il determinante richiesto) è contenuta nella fibra speciale di uno stack di peso 2 tame e potenzialmente semistabile.
   • Ciò implica che, modulo l'uniformizzatore $\varpi$ e fino a un ispessimento nilpotente, ogni anello di deformazione locale potenzialmente semistabile è un quoziente di un anello di deformazione locale di peso 2.

3. Riduzione globale:
   Tensore questi confronti locali, gli autori costruiscono una suriezione da un anello di deformazione globale $R_{S'}$ (dove $S'$ impone condizioni di peso 2) a un quoziente dell'anello originale $R_S$ (modulo $\varpi$ e un ideale nilpotente). Poiché $R_{S'}$ è noto essere finito su $\mathcal{O}$ (tramite i risultati di Snowden [Sno09] e i teoremi di Kisin), la finitezza di $R_S$ segue di conseguenza.

Contributi Chiave (Key Contributions)

• Generalizzazione delle condizioni di peso: Il saggio estende la nota finitezza degli anelli di deformazione globale dal caso di "peso 2 parallelo" al caso di pesi di Hodge–Tate regolarmente arbitrari.
• Indipendenza da nuovi teoremi di modularità: Gli autori ottengono questa generalizzazione senza stabilire la potenziale modularità dei sollevamenti o dimostrare nuovi teoremi di sollevamento dell'automorfia per pesi superiori. Invece, si affidano alla struttura geometrica degli stack di deformazione.
• Componenti locali arbitrarie: Il risultato permette di prescrivere arbitrarie unioni non vuote di componenti irriducibili di anelli di deformazione locali, coprendo una vasta gamma di condizioni di livello e peso simultaneamente.

Risultati Principali (Main Results)

Teorema 1.1.1 (Teorema 4.2.1):
Sia $F$ un campo totalmente reale e $\rho: \text{Gal}_F \to \text{GL}_2(\mathbb{F})$ una rappresentazione irriducibile e totalmente dispari. Si assuma che:

• $\rho|_{\text{Gal}_F(\zeta_p)}$ sia assolutamente irriducibile.
• Se $p=2$, $\rho$ ha immagine non risolvibile.
• Se $p=5$, $\rho$ non è eccezionale (nel senso della Definizione 4.1.1).

Allora, per qualsiasi problema di deformazione globale $S$ (prescrivendo le condizioni locali come descritto sopra), l'anello di deformazione universale $R_S$ è un $\mathcal{O}$-algebra finita di positivo rango $\mathcal{O}$.

Corollario: L'insieme delle classi di isomorfismo di sollevamenti di $\rho$ a $\text{GL}_2(\mathcal{O})$ soddisfacendo le condizioni locali prescritte è finito e non vuoto.

Significato e Ambito (Significance and Scope)

Il saggio sostiene di fornire un analogo galoisiano dei teoremi su innalzamento del livello (level raising), abbassamento del livello (level lowering) e variazione del peso per le forme modulari di Hilbert. Dimostrando che l'anello di deformazione globale è finito e non vuoto, gli autori dimostrano che arbitrarie unioni non vuote di componenti locali avvengono globalmente.

Gli autori notano che le loro ipotesi sono quelle richieste per lo standard argomento di Taylor–Wiles nel contesto bidimensionale. Essi dichiarano esplicitamente di non affrontare il caso residualmente riducibile o le generalizzazioni a rappresentazioni di dimensione superiore o ad altri gruppi ridotti in questo lavoro, sebbene discutano i requisiti teorici (come la "coincidenza numerica" nel metodo Taylor–Wiles) che sarebbero necessari per tali estensioni. Il risultato è presentato come un teorema strutturale sull'esistenza di sollevamenti con specifiche proprietà locali, piuttosto che come una costruzione di specifiche forme automorfe.