Reduction modulo p of crystalline Galois representations via {\mu}_p-equivariance

Résumé Technique : Réduction modulo $p$ de représentations galoisiennes cristallines via l'équivariance $\mu_p$

Énoncé du Problème
L'article traite de la « partie poids » de la conjecture de Serre, spécifiquement le problème de la détermination des poids possibles des formes modulaires modulo $p$ (ou plus généralement des formes automorphes) qui donnent naissance à une représentation galoisienne modulo $p$ spécifique. Dans le contexte de la théorie de Hodge $p$-adique, cela se traduit par la Question 1.1 : Étant donné une représentation continue modulo $p$, $r: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{F}_p)$, quels sont les poids de Hodge–Tate possibles des représentations cristallines $\rho: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{Z}_p)$ telles que la réduction $\bar{\rho} \simeq r$ ?

Bien que l'ensemble des poids prédits soit connu pour dépendre uniquement de la restriction de $r$ au sous-groupe d'inertie $I_{\mathbb{Q}_p}$, une caractérisation précise des représentations modulo $p$ qui proviennent de représentations cristallines avec des poids de Hodge–Tate spécifiques est restée incomplète, particulièrement pour les groupes réductifs généraux et sans hypothèses de généricité.

Méthodologie
Les auteurs emploient une synthèse de la théorie de Hodge $p$-adique moderne, spécifiquement la cohomologie prismatique, et de la théorie des représentations géométriques impliquant les grassmanniennes affines.

1. Cadre prismatique et équivariance $\mu_p$ :
   L'innovation technique centrale est la découverte que les modules de Breuil–Kisin associés aux représentations cristallines possèdent une structure naturelle $\mu_p$-equivariante.

   • L'anneau de Breuil–Kisch $S = W(k)[[u]]$ porte une action du schéma en groupes $\mu_p$ (les racines $p$-ièmes de l'unité) via la « rotation de boucle » ($u \mapsto \zeta u$).
   • L'application de Frobenius $\phi: S \to S$ est $\mu_p$-equivariante (avec une action triviale sur la cible).
   • Les auteurs prouvent que pour une représentation cristalline, le module de Breuil–Kisch associé $M$ admet une « modification canonique » $N$ qui est $\mu_p$-equivariante. Crucialement, la réduction de cette modification modulo $p$ est isomorphe à la réduction du module original $M$ (Théorème 4.2.3).
   • Cette structure est établie via deux constructions : l'une utilisant la prismatisation de $\text{Spf}(W(k))$ (spécifiquement une application $\rho^\dagger$ distincte de l'application de prisme standard) et une autre utilisant les stacks de Nygaard et la syntomification.

2. Géométrie des Grassmanniennes Affines :
   Les auteurs traduisent les propriétés algébriques de ces modules dans la géométrie de la grassmannienne affine $\text{Gr}_G$.

   • Ils analysent le lieu de points fixes $\text{Gr}_G^{\mu_p}$ sous l'action de la rotation de boucle.
   • Ils établissent une relation entre l'ordre de dominance standard ($\leq$) sur les co-caractères et un nouvel ordre partiel ($\uparrow$) défini via le groupe de Weyl affine dilaté par $p$.
   • Un résultat géométrique clé (Proposition 2.4.10) stipule que les relations de clôture dans le lieu de points fixes $\mu_p$ de la grassmannienne affine sont régies par l'ordre $\uparrow$, plutôt que par les ordres de Bruhat ou de dominance standards.

3. Synthèse :
   En combinant la structure $\mu_p$-equivariante des modules de Breuil–Kisch avec la géométrie des grassmanniennes affines, les auteurs relient les poids de Hodge–Tate (qui déterminent la position du module dans le corps générique) aux poids d'inertie de la réduction modulo $p$ (qui déterminent la position dans le corps spécial).

Contributions Clés et Résultats

• Théorème 1.2 (Théorème 5.5.6) : Soit $\rho$ une représentation cristalline avec des poids de Hodge–Tate $\mu$. Alors la semi-simplification de sa réduction modulo $p$, restreinte à l'inertie, est isomorphe à une représentation semi-simple spécifique $\tau(\lambda, w)$, où $\lambda$ et $\mu$ sont reliés par l'ordre partiel $\lambda \uparrow \mu$, et $w$ est un élément du groupe de Weyl.

  • Cela fournit une condition nécessaire sur les poids d'inertie de la réduction modulo $p$.
  • La relation $\uparrow$ est définie via une séquence de réflexions dans le groupe de Weyl affine dilaté par $p$, généralisant l'ordre de dominance standard.

• Conjecture Explicite sur les Poids de Serre (Conjecture 6.3.4) : Les auteurs formulent une conjecture pour l'ensemble des poids de Serre $W(\rho)$ associés à un paramètre $L$ semi-simple. Ils définissent un ensemble de poids explicite $W_{\text{explicit}}(\rho)$ basé sur la relation $\uparrow$ et prouvent l'inclusion $W_{\text{cris}}(\rho) \subseteq W_{\text{explicit}}(\rho)$, où $W_{\text{cris}}(\rho)$ est l'ensemble des poids admettant un relèvement cristallin.

  • Ils conjecturent que $W(\rho) = W_{\text{cris}}(\rho) = W_{\text{explicit}}(\rho)$, fournissant un ensemble de poids candidats uniforme pour les groupes réductifs non ramifiés généraux sans nécessiter d'hypothèses de généricité.

• Direction d'Élimination :
  Le papier prouve la « direction d'élimination » de la conjecture des poids de Serre : si un poids n'est pas dans l'ensemble explicitement prédit $W_{\text{explicit}}(\rho)$, il ne peut pas provenir d'une représentation cristalline avec les poids de Hodge–Tate donnés.

• Compatibilité avec la Littérature Existante :
  Les auteurs démontrent que leur ensemble de poids explicite coïncide avec l'ensemble prédit $W_{\text{Her}}(\rho)$ de Gee–Herzig–Savitt dans le cas générique (Proposition 6.4.6). Ils notent également que le théorème structurel clé de la preuve de la conjecture de Buzzard–Diamond–Jarvis est un corollaire immédiat de leurs résultats.

Signification et Revendications
Le papier revendique fournir une nouvelle contrainte structurelle sur la réduction modulo $p$ des représentations galoisiennes cristallines. En utilisant les techniques prismatiques pour révéler une structure $\mu_p$-equivariante cachée sur les modules de Breuil–Kisch, les auteurs comblent le fossé entre les poids de Hodge–Tate (données de caractéristique 0) et les poids d'inertie de la réduction modulo $p$.

La signification réside dans :

1. Généralité : Les résultats sont formulés pour les paramètres $L$ de groupes réductifs connexes non ramifiés sur $\mathbb{Q}_p$, s'étendant au-delà du cas classique de $\text{GL}_n$.
2. Explicitude : La formulation de la conjecture des poids de Serre est explicite et repose sur l'ordre combinatoire $\uparrow$, éliminant le besoin d'hypothèses de généricité qui compliquent souvent les formulations précédentes.
3. Changement de Méthodologie : La preuve repose sur la géométrie des grassiennes affines et des stacks prismatiques plutôt que sur la théorie de Hodge $p$-adique classique seule, offrant une nouvelle perspective sur la relation entre les relèvements cristallins et leurs réductions.

Les auteurs font preuve de modestie quant à la suffisance de leur condition ; ils déclarent que bien que $\lambda \uparrow \mu$ soit nécessaire, ce n'est pas généralement suffisant pour garantir l'existence d'un relèvement cristallin, bien qu'ils conjecturent que cela devient suffisant lorsque les poids de Hodge–Tate sont $p$-restreints (le cas pertinent pour la conjecture de Serre).