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

Technische Samenvatting: Reductie modulo $p$ van kristallijne Galois-representaties via $\mu_p$-equivariantie

Probleemstelling
Het artikel behandelt het "gewicht deel" van de Serre-conjectuur, specifiek het probleem van het bepalen van de mogelijke gewichten van mod $p$ modulaire vormen (of algemener: automorfe vormen) die een specifieke mod $p$ Galois-representatie voortbrengen. In de context van $p$-adische Hodge-theorie vertaalt dit zich naar Vraag 1.1: Gegeven een continue mod $p$ representatie $r: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{F}_p)$, wat zijn de mogelijke Hodge–Tate gewichten van kristallijne representaties $\rho: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{Z}_p)$ zodanig dat de reductie $\bar{\rho} \simeq r$?

Hoewel de verzameling voorspelde gewichten bekend is om enkel afhankelijk te zijn van de restrictie van $r$ tot de inertie-subgroep $I_{\mathbb{Q}_p}$, is een precieze karakterisering van welke mod $p$ representaties voortkomen uit kristallijne representaties met specifieke Hodge–Tate gewichten incompleet gebleven, met name voor algemene reductieve groepen en zonder generieke aannames.

Methodologie
De auteurs maken gebruik van een synthese van moderne $p$-adische Hodge-theorie, specifiek prismatische cohomologie, en geometrische representatietheorie met betrekking tot affiene Grassmannianen.

1. Prismatisch kader en $\mu_p$-equivariantie:
   De kern van de technische innovatie is de ontdekking dat Breuil–Kisin-modules geassocieerd met kristallijne representaties een natuurlijke $\mu_p$-equivariante structuur bezitten.

   • De Breuil–Kisin ring $S = W(k)[[u]]$ draagt een actie van de groepschema $\mu_p$ (de $p$-de wortels van eenheid) via "loop rotatie" ($u \mapsto \zeta u$).
   • De Frobenius-afbeelding $\phi: S \to S$ is $\mu_p$-equivariant (met een triviale actie op het doel).
   • De auteurs bewijzen dat een kristallijne representatie, de bijbehorende Breuil–Kisin-module $M$ een "canonieke modificatie" $N$ bezit die $\mu_p$-equivariant is. Cruciaal is dat de reductie van deze modificatie modulo $p$ is isomorf aan de reductie van de oorspronkelijke module $M$ (Stelling 4.2.3).
   • Deze structuur wordt vastgesteld via twee constructies: één gebruikmakend van de prismatisatie van $\text{Spf}(W(k))$ (specifiek een map $\rho^\dagger$ die verschilt van de standaard prism-map) en een andere gebruikmakend van de syntomificatie en Nygaard-stacks.

2. Geometrie van affiene Grassmannianen:
   De auteurs vertalen de algebraïsche eigenschappen van deze modules naar de geometrie van de affiene Grassmannian $\text{Gr}_G$.

   • Zij analyseren de vaste-punten-locus $\text{Gr}_G^{\mu_p}$ onder de loop-rotatie-actie.
   • Zij stellen een relatie vast tussen de standaard dominantie-orde ($\leq$) op co-karakters en een nieuwe partiële orde ($\uparrow$) gedefinieerd via de $p$-gedilateerde affiene Weyl-groep.
   • Een belangrijk geometrisch resultaat (Propositie 2.4.10) stelt dat de sluitingsrelaties in de $\mu_p$-vaste-punten-locus van de affiene Grassmannian worden beheerst door de $\uparrow$ orde, in plaats van de standaard Bruhat- of dominantie-ordes.

3. Synthese:
   Door de $\mu_p$-equivariante structuur van de Breuil–Kisin-modules te combineren met de geometrie van de affiene Grassmannian, relateren de auteurs de Hodge–Tate gewichten (die de positie van de module in de generieke vezel bepalen) aan de inertie-gewichten van de mod $ of p$ reductie (die de positie in de speciale vezel bepalen).

Belangrijkste Bijdragen en Resultaten

• Theorem 1.2 (Theorem 5.5.6): Laat $\rho$ een kristallijne representatie zijn met Hodge–Tate gewichten $\mu$. Dan is de semisimplicatie van de mod $p$ reductie, beperkt tot inertie, isomorf aan een specifieke semisimpele representatie $\tau(\lambda, w)$, waarbij $\lambda$ en $\mu$ gerelateerd zijn door de partiële orde $\lambda \uparrow \mu$, en $w$ een element is van de Weyl-groep.

  • Dit biedt een noodzakelijke voorwaarde op de inertie-gewichten van de mod $p$ reductie.
  • De relatie $\uparrow$ is gedefinieerd via een sequentie van reflecties in de $p$-gedilateerde affiene Weyl-groep, wat de standaard dominantie-orde generaliseert.

• Expliciete Serre Gewicht Conjectuur (Conjecture 6.3.4):
  De auteurs formuleren een conjectuur voor de verzameling Serre gewichten $W(\rho)$ geassocieerd met een semisimpele L-parameter $\rho$. Zij definiëren een expliciete verzameling gewichten $W_{\text{explicit}}(\rho)$ gebaseerd op de $\uparrow$ relatie en bewijzen de inclusie $W_{\text{cris}}(\rho) \subseteq W_{\text{explicit}}(\rho)$, waarbij $W_{\text{cris}}(\rho)$ de verzameling gewichten is die een kristallijne lift toelaten.

  • Zij conjectureren dat $W(\rho) = W_{\text{cris}}(\rho) = W_{\text{explicit}}(\rho)$, wat een uniforme kandidaat-verzameling van gewichten biedt voor algemene onramifieke reductieve groepen zonder generieke aannames te vereisen.

• Eliminatie-richting:
  Het artikel bewijst de "eliminatie-richting" van de Serre gewicht conjectuur: als een gewicht niet in de expliciet voorspelde verzameling $W_{\text{explicit}}(\rho)$ zit, kan het niet voortkomen uit een kristallijne representatie met de gegeven Hodge–Tate gewichten.

• Compatibiliteit met Bestaande Literatuur:
  De auteurs demonstreren dat hun expliciete verzameling gewichten samenvalt met de voorspelde verzameling $W_{\text{Her}}(\rho)$ van Gee–Herzig–Savitt in het generieke geval (Propositie 6.4.6). Zij merken ook op dat het sleutelstructuurtheorema in het bewijs van de Buzzard–Diamond–Jarvis conjectuur een directe consequentie is van hun resultaten.

Betekenis en Claims
Het artikel claimt een nieuwe, structurele beperking te bieden op de reductie modulo $p$ van kristallijne Galois-representaties. Door gebruik te maken van prismatische technieken om een verborgen $\mu_p$-equivariante structuur op Breuil–Kischin-modules te onthullen, overbruggen de auteurs de kloof tussen de Hodge–Tate gewichten (karakteristiek 0 data) en de inertie-gewichten van de mod $p$ reductie.

De betekenis ligt in:

1. Generaliteit: De resultaten zijn geformuleerd voor L-parameters van onramifieke verbonden reductieve groepen over $\mathbb{Q}_p$, wat verder reikt dan de klassieke $\text{GL}_n$ casus.
2. Explicietheid: De formulering van de Serre gewicht conjectuur is expliciet en berust op de combinatorische $\uparrow$ orde, waardoor de noodzaak voor generieke aannames die vaak bij eerdere formuleringen aanwezig zijn, wordt weggenomen.
3. Methodologische Verschuiving: Het bewijs steunt op de geometrie van affiene Grassmannianen en prismatische stacks in plaats van enkel klassieke $p$-adische Hodge-theorie, wat een nieuw perspectief biedt op de relatie tussen kristallijne lifts en hun reducties.

De auteurs zijn bescheiden over de voldoendeheid van hun voorwaarde; zij stellen dat hoewel $\lambda \uparrow \mu$ noodzakelijk is, het over het algemeen niet voldoende is om de existentie van een kristallijne lift te garanderen, al conjectureren zij dat het voldoende wordt wanneer de Hodge–Tate gewichten $p$-beperkt zijn (het geval relevant voor de Serre-conjectuur).