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

Technische Zusammenfassung: Reduktion modulo $p$ kristalliner Galois-Darstellungen via $\mu_p$-Äquivarianz

Problemstellung
Die Arbeit befasst sich mit dem „Gewichtsteil“ der Serre-Vermutung, speziell mit der Frage nach den möglichen Gewichten von Mod-$p$-Modularformen (oder allgemeiner automorpher Formen), die eine bestimmte Mod-$p$-Galois-Darstellung hervorbringen. Im Kontext der $p$-adischen Hodge-Theorie übersetzt sich dies in die Frage 1.1: Gegeben sei eine stetige Mod-$p$-Darstellung $r: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{F}_p)$; was sind die möglichen Hodge–Tate-Gewichte kristalliner Darstellungen $\rho: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{Z}_p)$, so dass die Reduktion $\bar{\rho} \simeq r$ gilt?

Obwohl die Menge der vorhergesagten Gewichte bekannt ist als abhängig von der Beschränkung von $r$ auf die Inertia-Untergruppe $I_{\mathbb{Q}_p}$, blieb eine präzise Charakterisierung dessen, welche Mod-$p$-Darstellungen aus kristallinen Darstellungen mit spezifischen Hodge–Tate-Gewichten hervorgehen, unvollständig – insbesondere für allgemeine reduktive Gruppen und ohne Generizitätsannahmen.

Methodik
Die Autoren verwenden eine Synthese aus moderner $p$-adischer Hodge-Theorie, speziell der prismatischen Kohomologie, und geometrischer Darstellungstheorie bezüglich affiner Grassmannian-Varietäten.

1. Prismatischer Rahmen und $\mu_p$-Äquivarianz:
   Die zentrale technische Innovation ist die Entdeckung, dass mit Breuil–Kisin-Modulen assoziierte kristalline Darstellungen eine natürliche $\mu_p$-äquivariante Struktur besitzen.

   • Der Breuil–Kisin-Ring $S = W(k)[[u]]$ trägt eine Wirkung der Gruppenschemata $\mu_p$ (der $p$-ten Einheitswurzeln) via „Loop-Rotation“ ($u \mapsto \zeta u$).
   • Die Frobenius-Abbildung $\phi: S \to S$ ist $\mu_p$-equivariant (mit trivialer Wirkung auf das Ziel).
   • Die Autoren beweisen, dass das mit einer kristallinen Darstellung assoziierte Breuil–Kisin-Modul $M$ eine „kanonische Modifikation“ $N$ besitzt, die $\mu_p$-equivariant ist. Entscheidend ist, dass die Reduktion dieser Modifikation modulo $p$ isomorph zur Reduktion des ursprünglichen Moduls $M$ ist (Theorem 4.2.3).
   • Diese Struktur wird über zwei Konstruktionen etabliert: eine unter Verwendung der Prismatisierung von $\text{Spf}(W(k))$ (speziell einer Abbildung $\rho^\dagger$, die von der Standard-Prisma-Abbildung verschieden ist) und eine weitere unter Verwendung der Syntomifizierung und Nygaard-Stacks.

2. Geometrie der affinen Grassmannian-Varietäten:
   Die Autoren übersetzen die algebraischen Eigenschaften dieser Module in die Geometrie der affinen Grassmannian $\text{Gr}_G$.

   • Sie analysieren den Fixpunktlocus $\text{Gr}_G^{\mu_p}$ unter der Loop-Rotation-Wirkung.
   • Sie etablieren eine Beziehung zwischen der Standard-Dominanzordnung ($\leq$) auf Kocharakteren und einer neuen partiellen Ordnung ($\uparrow$), die über die $p$-dilatierte affine Weyl-Gruppe definiert ist.
   • Ein zentrales geometrisches Resultat (Proposition 2.4.10) besagt, dass die Abschlussrelationen im $\mu_p$-Fixpunktlocus der affinen Grassmannian durch die $\uparrow$-Ordnung bestimmt werden, statt durch die Standard-Bruhat- oder Dominanzordnung.

3. Synthese:
   Durch die Kombination der $\mu_p$-equivarianten Struktur der Breuil–Kisin-Module mit der Geometrie der affinen Grassmannianen setzen die Autoren die Hodge–Tate-Gewichte (die die Position des Moduls im generischen Fasertyp bestimmen) in Beziehung zu den Inertia-Gewichten der Mod-$p$-Reduktion (die die Position im speziellen Fasertyp bestimmen).

Zentrale Beiträge und Ergebnisse

• Theorem 1.2 (Theorem 5.5.6): Sei $\rho$ eine kristalline Darstellung mit Hodge–Tate-Gewichten $\mu$. Dann ist die Semisimplifizierung ihrer Mod-$p$-Reduktion, beschränkt auf die Inertia, isomorph zu einer spezifischen semisimplen Darstellung $\tau(\lambda, w)$, wobei $\lambda$ und $\mu$ durch die partielle Ordnung $\lambda \uparrow \mu$ und $w$ ein Element der Weyl-Gruppe verknüpft sind.

  • Dies liefert eine notwendige Bedingung für die Inertia-Gewichte der Mod-$p$-Reduktion.
  • Die Relation $\uparrow$ ist über eine Sequenz von Reflexionen in der $p$-dilatierten affinen Weyl-Gruppe definiert, was die Standard-Dominanzordnung generalisiert.

• Explizite Serre-Gewichts-Vermutung (Conjecture 6.3.4):
  Die Autoren formulieren eine Vermutung für die Menge der Serre-Gewichte $W(\rho)$, die mit einem semisimplen L-Parameter $\rho$ assoziiert sind. Sie definieren eine explizite Menge von Gewichten $W_{\text{explicit}}(\rho)$ basierend auf der $\uparrow$-Relation und beweisen die Inklusion $W_{\text{cris}}(\rho) \subseteq W_{\text{explicit}}(\rho)$, wobei $W_{\text{cris}}(\rho)$ die Menge der Gewichte ist, die ein kristallines Lift zulassen.

  • Sie vermuten, dass $W(\rho) = W_{\text{cris}}(\rho) = W_{\text{explicit}}(\rho)$, was eine uniforme Kandidatenmenge von Gewichten für allgemeine unramifizierte reduktive Gruppen liefert, ohne die Notwendigkeit von Generizitätsannahmen.

• Eliminationsrichtung:
  Das Papier beweist die „Eliminationsrichtung“ der Serre-Gewichts-Vermutung: Wenn ein Gewicht nicht in der explizit vorhergesagten Menge $W_{\text{explicit}}(\rho)$ liegt, kann es nicht aus einer kristallinen Darstellung mit den gegebenen Hodge–Tate-Gewichten hervorgehen.

• Kompatibilität mit bestehender Literatur:
  Die Autoren zeigen, dass ihre explizite Menge von Gewichten im generischen Fall mit der vorhergesagten Menge $W_{\text{Her}}(\rho)$ von Gee–Herzig–Savitt übereinstimmt (Proposition 6.4.6). Sie merken zudem an, dass der zentrale strukturelle Satz im Beweis der Buzzard–Diamond–Jarvis-Vermutung eine unmittelbare Korollar ihrer Ergebnisse ist.

Bedeutung und Ansprüche
Das Paper beansprucht, eine neue, strukturelle Einschränkung für die Reduktion modulo $p$ kristalliner Galois-Darstellungen zu liefern. Durch die Nutzung von prismatischen Techniken, um eine verborgene $\mu_p$-equivariante Struktur auf Breuil–Kisin-Modulen aufzdeckten, überbrücken die Autoren die Lücke zwischen den Hodge–Tate-Gewichten (Daten des Charakters 0) und den Inertia-Gewichten der Mod-$p$-Reduktion.

Die Bedeutung liegt in:

1. Generalität: Die Ergebnisse sind für L-Parameter unramifizierter verbundener reduktiver Gruppen über $\mathbb{Q}_p$ formuliert, was über den klassischen $\text{GL}_n$-Fall hinausgeht.
2. Explizitheit: Die Formulierung der Serre-Gewichts-Vermutung ist explizit und stützt sich auf die kombinatorische $\uparrow$-Ordnung, wodurch die Notwendigkeit von Generizitätsannahmen entfällt, die oft bisherige Formulierungen prägen.
3. Methodischer Wandel: Der Beweis stützt sich auf die Geometrie affiner Grassmannianen und prismatischer Stacks statt auf die klassische $p$-adische Hodge-Theorie allein, was eine neue Perspektive auf die Beziehung zwischen kristallinen Liften und deren Reduktionen bietet.

Die Autoren äußern sich bescheiden hinsichtlich der Hinlänglichkeit ihrer Bedingung; sie stellen fest, dass $\lambda \uparrow \mu$ zwar notwendig, aber im Allgemeinen nicht hinreichend ist, um die Existenz eines kristallinen Lifts zu garantieren, wenngleich sie vermuten, dass dies der Fall ist, wenn die Hodge–Tate-Gewichte $p$-eingeschränkt sind (der Fall, der für die Serre-Vermutung relevant ist).