Prescribed lifts of 2-dimensional representations

Basé sur le texte fourni, voici un résumé technique détaillé de l'article « Prescribed Lifts of 2-Dimensional Representations » par Emerton, Gee, Pan et Zhu.

Énoncé du problème

L'article traite d'un problème de relèvement local-global pour les représentations galoisiennes de dimension 2. Soit $F$ un corps totalement réel et $p$ un nombre premier. Étant donné une représentation continue, absolument irréductible et totalement impaire $\rho: \text{Gal}_F \to \text{GL}_2(\mathbb{F})$ (où $\mathbb{F}$ est un corps fini de caractéristique $p$), les auteurs étudient l'existence et la finitude des relèvements $\tilde{\rho}: \text{Gal}_F \to \text{GL}_2(\mathcal{O})$ (où $\mathcal{O}$ est l'anneau des entiers d'une extension finie de $\mathbb{Q}_p$) qui satisfont des conditions locales spécifiques.

Les conditions prescrites sont définies par un problème de déformation globale $S$, qui inclut :

1. Un caractère de déterminant fixé $\psi$ relevant $\det \rho$.
2. Des conditions locales en un ensemble fini de places $\Sigma$ (contenant toutes les places au-dessus de $p$).
   • Loin de $p$ : Le relèvement doit appartenir à une union prescrite, non vide, de composantes irréductibles de l'anneau de déformation locale à déterminant fixé.
   • Au-dessus de $p$ : Le relèvement doit appartenir à une union prescrite, non vide, de composantes irréductibles d'un anneau de déformation potentiellement semi-stable avec des poids de Hodge–Tate réguliers arbitraires.

La question centrale est de savoir si l'anneau de déformation globale $R_S$ associé à ces conditions est une $\mathcal{O}$-algèbre finie de rang positif. Si tel est le cas, cela implique que l'ensemble de ces relèvements est fini et non vide.

Méthodologie

Les auteurs emploient une stratégie qui combine la cohomologie galoisienne avec la géométrie des espaces de modules de $(\phi, \Gamma)$-modules étales, évitant ainsi le besoin de nouveaux théorèmes de levée de modularité pour des poids arbitraires.

1. Borne inférieure cohomologique galoisienne :
   Les auteurs établissent d'abord une borne inférieure sur la dimension de l'anneau de déformation globale $R_S$. Sous les hypothèses standards de Taylor–Wiles (spécifiquement que $\rho|_{\text{Gal}_F(\zeta_p)}$ est absolument irréductible, et des conditions non solvables pour $p=2$ ou des conditions non exceptionnelles pour $p=5$), ils montrent via des calculs de tangente-obstruction que $\dim R_S \geq 1$. Cela garantit que si $R_S$ est fini sur $\mathcal{O}$, il doit avoir un rang positif, garantissant ainsi l'existence de relèvements de caractéristique zéro.

2. Finitude via la comparaison de la fibre spéciale :
   Le défi technique central est de prouver que $R_S$ est fini sur $\mathcal{O}$. Dans les travaux précédents, cela était souvent réalisé en comparant l'anneau de déformation à une algèbre de Hecke via des théorèmes de levée de modularité. Cependant, de tels théorèmes ne sont généralement connus que pour le « poids 2 parallèle » (poids de Hodge–Tate $\{0, 1\}$ à chaque plongement).

   • Les auteurs utilisent le espace de modules $X$ des $(\phi, \Gamma)$-modules étales construit dans [EG23].
   • Ils invoquent une forme « topologique » de la philosophie de Breuil–Mézard : les sous-espaces de modules réduits sous-jacents des anneaux de déformation potentiellement semi-stables pour des poids de Hodge–Tate réguliers arbitraires sont égaux à des unions appropriées de composantes du sous-espace de modules réduit sous-jacent $X_{\text{red}}$.
   • Crucialement, ils montrent (Proposition 3.1.2) que toute représentation locale résiduelle de dimension 2 (avec le déterminant requis) est contenue dans la fibre spéciale d'un sous-espace de module tame, potentiellement semi-stable de poids 2.
   • Cela implique que, modulo l'uniformisateur $\varpi$ et à un épaississement nilpotent près, tout anneau de déformation locale potentiellement semi-stable est un quotient d'un anneau de déformation locale de poids 2.

3. Réduction globale :
   En tensorisant ces comparaisons locales, les auteurs construisent une surjection d'un anneau de déformation globale $R_{S'}$ (où $S'$ impose des conditions de poids 2) vers un quotient de l'anneau original $R_S$ (modulo $\varpi$ et un idéal nilpotent). Puisque $R_{S'}$ est connu pour être fini sur $\mathcal{O}$ (via les résultats de Snowden [Sno09] et les théorèmes de Kisin), la finitude de $R_S$ en découle.

Contributions clés

• Généralisation des conditions de poids : L'article étend la finitude connue des anneaux de déformation globaux du cas « poids 2 parallèle » au cas des poids de Hodge–Tate réguliers arbitraires.
• Indépendance vis-à-vis de nouveaux théorèmes de modularité : Les auteurs parviennent à cette généralisation sans établir la potentialité de la modularité des relèvements ou prouver de nouveaux théorèmes de levée d'automorphie pour des poids plus élevés. Au lieu de cela, ils s'appuient sur la structure géométrique des espaces de modules.
• Composantes locales arbitraires : Le résultat permet de prescrire des unions non vides arbitraires de composantes irréductibles d'anneaux de déformation locaux, couvrant simultanément un large éventail de conditions de niveau et de poids.

Résultats principaux

Théorème 1.1.1 (Théorème 4.2.1) :
Soit $F$ un corps totalement réel et $\rho: \text{Gal}_F \to \text{GL}_2(\mathbb{F})$ une représentation irréductible et totalement impaire. Supposons que :

• $\rho|_{\text{Gal}_F(\zeta_p)}$ est absolument irréductible.
• Si $p=2$, $\rho$ a une image non solvable.
• Si $p=5$, $\rho$ n'est pas exceptionnelle (au sens de la Définition 4.1.1).

Alors, pour tout problème de déformation globale $S$ (prescrivant les conditions locales comme décrit ci-dessus), l'anneau de déformation universel $R_S$ est une $\mathcal{O}$-algèbre finie de rang $\mathcal{O}$ positif.

Corollaire : L'ensemble des classes d'isomorphisme de relèvements de $\rho$ vers $\text{GL}_2(\mathcal{O})$ satisfaisant les conditions locales prescrites est fini et non vide.

Signification et portée

L'article affirme fournir un analogue galoisien des théorèmes sur l'élévation de niveau, la descente de niveau et le changement de poids pour les formes modulaires de Hilbert. En prouvant que l'anneau de déformation globale est fini et non vide, les auteurs démontrent que des ensembles non vides arbitraires de composantes locales prescrits surviennent globalement.

Les auteurs notent que leurs hypothèses sont celles requises pour l'argument standard de Taylor–Wiles dans le cadre de la dimension 2. Ils précisent explicitement qu'ils ne traitent pas le cas résiduellement réductible ni les généralisations à des représentations de dimension supérieure ou à d'autres groupes réductifs dans ce travail, bien qu'ils discutent des exigences théoriques (telles que la « coïncidence numérique » dans la méthode de Taylor–Wiles) qui seraient nécessaires pour de telles extensions. Le résultat est présenté comme un théorème structurel sur l'existence de relèvements possédant des propriétés locales spécifiques, plutôt que comme une construction de formes automorphes spécifiques.