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

Resumen Técnico: Reducción Módulo $p$ de Representaciones Galois Cristalinas mediante $\mu_p$-Equivarianza

Planteamiento del Problema
El artículo aborda la "parte del peso" de la conjetura de Serre, específicamente el problema de determinar los pesos posibles de las formas modulares de peso mod $p$ (o, más generalmente, de formas automórficas) que dan lugar a una representación galoisiana mod $p$ específica. En el contexto de la teoría de Hodge-$p$-ádica, esto se traduce en la Pregunta 1.1: Dado una representación continua mod $p$, $r: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{F}_p)$, ¿cuáles son los posibles pesos de Hodge–Tate de las representaciones cristalinas $\rho: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{Z}_p)$ tales que la reducción $\bar{\rho} \simeq r$?

Mientras que el conjunto de pesos predichos se sabe que depende únicamente de la restricción de $r$ al subgrupo de inercia $I_{\mathbb{Q}_p}$, una caracterización precisa de qué representaciones mod $p$ surgen de representaciones cristalinas con pesos de Hodge–Tate específicos ha permanecido incompleta, particularmente para grupos reductivos generales y sin supuestos de genericidad.

Metodología
Los autores emplean una síntesis de la teoría de Hodge-$p$-ádica moderna, específicamente la cohomología prismática, y la teoría de representaciones geométricas involucrando grassmannianos afines.

1. Marco Prismático y $\mu_p$-Equivarianza:
   La innovación técnica central es el descubrimiento de que los módulos de Breuil–Kisin asociados a representaciones cristalinas poseen una estructura natural de $\mu_p$-equivarianza.

   • El anillo de Breuil–Kisin $S = W(k)[[u]]$ porta una acción del esquema de grupo $\mu_p$ (las raíces $p$-ésimas de la unidad) vía "rotación de bucle" ($u \mapsto \zeta u$).
   • El mapa de Frobenius $\phi: S \to S$ es $\mu_p$-equivariante (con acción trivial en el objetivo).
   • Los autores demuestran que para una representación cristalina, el módulo de Breuil–Kisin asociado $M$ admite una "modificación canónica" $N$ que es $\mu_p$-equivariante. Crucialmente, la reducción de esta modificación módulo $p$ es isomórfica a la reducción del módulo original $M$ (Teorema 4.2.3).
   • Esta estructura se establece mediante dos construcciones: una utilizando la prismatización de $\text{Spf}(W(k))$ (específicamente un mapa $\rho^\dagger$ distinto del mapa de prisma estándar) y otra usando la sintomificación y los stacks de Nygaard.

2. Geometría de los Grassmannianos Afines:
   Los autores traducen las propiedades algebraicas de estos módulos a la geometría del grassmanniano afín $\text{Gr}_G$.

   • Analizan el lóbulo de puntos fijos $\text{Gr}_G^{\mu_p}$ bajo la acción de rotación de bucle.
   • Establecen una relación entre el orden de dominancia estándar ($\leq$) sobre los cocaracteres y un nuevo orden parcial ($\uparrow$) definido vía el grupo de Weyl afín $p$-dilatado.
   • Un resultado geomético clave (Proposición 2.4.10) establece que las relaciones de clausura en el lóbulo de puntos fijos $\mu_p$ del grassmanniano afín están gobernadas por el orden $\uparrow$, en lugar de los órdenes de Bruhat o de dominancia estándar.

3. Síntesis:
   Al combinar la estructura $\mu_p$-equivariante de los módulos de Breuil–Kisin con la geometría del grassmanniano afín, los autores relacionan los pesos de Hodge–Tate (que determinan la posición del módulo en la fibra genérica) con los pesos inerciales de la reducción mod $p$ (que determinan la posición en la fibra especial).

Contribuciones Clave y Resultados

• Teorema 1.2 (Teorema 5.5.6): Sea $\rho$ una representación cristalina con pesos de Hodge–Tate $\mu$. Entonces la semisimplicación de su reducción mod $p$, restringida a la inercia, es isomórfica a una representación semisimple específica $\tau(\lambda, w)$, donde $\lambda$ y $\mu$ están relacionados por el orden parcial $\lambda \uparrow \mu$, y $w$ es un elemento del grupo de Weyl.

  • Esto proporciona una condición necesaria sobre los pesos inerciales de la reducción mod $p$.
  • La relación $\uparrow$ se define vía una secuencia de reflexiones en el grupo de Weyl afín $p$-dilatado, generalizando el orden de dominancia estándar.

• Conjetura Explícita del Peso de Serre (Conjetura 6.3.4): Los autores formulan una conjetura para el conjunto de pesos de Serre $W(\rho)$ asociados a un parámetro $L$ semisimple. Definen un conjunto explícito de pesos $W_{\text{explicit}}(\rho)$ basado en la relación $\uparrow$ y prueban la inclusión $W_{\text{cris}}(\rho) \subseteq W_{\text{explicit}}(\rho)$, donde $W_{\text{cris}}(\rho)$ es el conjunto de pesos que admiten un levantamiento cristalino.

  • Conjeturan que $W(\rho) = W_{\text{cris}}(\rho) = W_{\text{explicit}}(\rho)$, proporcionando un conjunto de pesos candidato uniforme para grupos reductivos conexos no ramificados generales sin requerir supuestos de genericidad.

• Dirección de Eliminación:
  El artículo prueba la "dirección de eliminación" de la conjetura del peso de Serre: si un peso no está en el conjunto predicho explícitamente $W_{\text{explicit}}(\rho)$, no puede dar lugar a una representación cristalina con los pesos de Hodge–Tate dados.

• Compatibilidad con la Literatura Existente:
  Los autores demuestran que su conjunto explícito de pesos coincide con el conjunto predicho $W_{\text{Her}}(\rho)$ de Gee–Herzig–Savitt en el caso genérico (Proposición 6.4.6). También señalan que el teorema estructural clave en la prueba de la conjetura de Buzzard–Diamond–Jarvis es un corolario inmediato de sus resultados.

Significancia y Reivindicaciones
El artículo pretende proporcionar una nueva restricción estructural sobre la reducción módulo $p$ de las representaciones galoisianas cristalinas. Al utilizar técnicas prismáticas para revelar una estructura de $\mu_p$-equivarianza oculta en los módulos de Breuil–Kisin, los autores cierran la brecha entre los pesos de Hodge–Tate (datos de característica 0) y los pesos inerciales de la reducción mod $p$.

La significancia radica en:

1. Generalidad: Los resultados se formulan para parámetros $L$ de grupos reductivos conexos no ramificados sobre $\mathbb{Q}_p$, extendiéndose más allá del caso clásico de $\text{GL}_n$.
2. Explicitud: La formulación de la conjetura del peso de Serre es explícita y depende del orden combinatorio $\uparrow$, eliminando la necesidad de supuestos de genericidad que suelen afectar a formulaciones previas.
3. Cambio Metodológico: La prueba se apoya en la geometría de los grassmannianos afines y los stacks prismáticos en lugar de solo en la teoría de Hodge-$p$-ádica clásica, ofreciendo una nueva perspectiva sobre la relación entre los levantamientos cristalinos y sus reducciones.

Los autores son modestos respecto a la suficiencia de su condición; afirman que aunque $\lambda \uparrow \mu$ es necesario, no es generalmente suficiente para garantizar la existencia de un levantamiento cristalino, aunque conjeturan que se vuelve suficiente cuando los pesos de Hodge–Tate son $p$-restringidos (el caso relevante para la conjetura de Serre).