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

Resumo Técnico: Redução Modular $p$ de Representações Galois Cristalinas via $\mu_p$-Equivariância

Enunciado do Problema
O artigo aborda a "parte do peso" da conjectura de Serre, especificamente o problema de determinar os possíveis pesos de formas modulares de peso $p$ (ou, mais genericamente, de formas automórficas) que dão origem a uma representação galoisiana mod $p$ específica. No contexto da teoria de Hodge $p$-ádica, isso se traduz na Questão 1.1: Dada uma representação contínua mod $p$, $r: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{F}_p)$, quais são os possíveis pesos de Hodge–Tate de representações cristalinas $\rho: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{Z}_p)$ tais que a redução $\bar{\rho} \simeq r$?

Embora o conjunto de pesos previstos seja conhecido por depender apenas da restrição de $r$ ao subgrupo de inércia $I_{\mathbb{Q}_p}$, uma caracterização precisa de quais representações mod $p$ surgem de representações cristalinas com pesos de Hodge–Tate específicos permaneceu incompleta, particularmente para grupos redutivos gerais e sem suposições de genericidade.

Metodologia
Os autores empregam uma síntese da moderna teoria de Hodge $p$-ádica, especificamente a cohomologia prismática, e da teoria de representação geométrica envolvendo grassmannianos afins.

1. Estrutura Prismática e $\mu_p$-Equivariância:
   A inovação técnica central é a descoberta de que os módulos de Breuil–Kisin associados a representações cristalinas possuem uma estrutura natural de $\mu_p$-equivariância.

   • O anel de Breuil–Kisen $S = W(k)[[u]]$ carrega uma ação do esquema de grupo $\mu_p$ (as raízes $p$-ésimas da unidade) via "rotação de loop" ($u \mapsto \zeta u$).
   • O mapa de Frobenius $\phi: S \to S$ é $\mu_p$-equivariante (com ação trivial no alvo).
   • Os autores provam que, para uma representação cristalina, o módulo de Breuil–Kisin associado $M$ admite uma "modificação canônica" $N$ que é $\mu_p$-equivariante. Crucialmente, a redução desta modificação módulo $p$ é isomórfica à redução do módulo original $M$ (Teorema 4.2.3).
   • Esta estrutura é estabelecida através de duas construções: uma utilizando a prismatização de $\text{Spf}(W(k))$ (especificamente um mapa $\rho^\dagger$ distinto do mapa prism padrão) e outra usando a sintomificação e stacks de Nygaard.

2. Geometria de Grassmannianos Afins:
   Os autores traduzem as propriedades algébricas destes módulos para a geometria do grassmanniano afim $\text{Gr}_G$.

   • Eles analisam o locus de pontos fixos $\text{Gr}_G^{\mu_p}$ sob a ação de rotação de loop.
   • Eles estabelecem uma relação entre a ordem de dominância padrão ($\leq$) em cocaracteres e uma nova ordem parcial ($\uparrow$) definida via o grupo de Weyl $p$-dilatado.
   • Um resultado geométrico chave (Proposição 2.4.10) afirma que as relações de fechamento no locus de pontos fixos de $\mu_p$ do grassmanniano afim são governadas pela ordem $\uparrow$, em vez das ordens de Bruhat ou de dominância padrão.

3. Síntese:
   Ao combinar a estrutura de $\mu_p$-equivariância dos módulos de Breuil–Kisen com a geometria do grassmanniano afim, os autores relacionam os pesos de Hodge–Tate (que determinam a posição do módulo na fibra genérica) com os pesos inerciais da redução mod $p$ (que determinam a posição na fibra especial).

Contribuições Principais e Resultados

• Teorema 1.2 (Teorema 5.5.6): Seja $\rho$ uma representação cristalina com pesos de Hodge–Tate $\mu$. Então a semissimplificação de sua redução mod $p$, restrita à inércia, é isomórfica a uma representação semissimples específica $\tau(\lambda, w)$. Aqui, $\lambda$ e $\mu$ estão relacionados pela ordem parcial $\lambda \uparrow \mu$, e $w$ é um elemento do grupo de Weyl.

  • Isso fornece uma condição necessária sobre os pesos inerciais da redução mod $p$.
  • A relação $\uparrow$ é definida via uma sequência de reflexões no grupo de Weyl afim $p$-dilatado, generalizando a ordem de dominância padrão.

• Conjectura Explícita de Peso de Serre (Conjectura 6.3.4):
  Os autores formulam uma conjectura para o conjunto de pesos de Serre $W(\rho)$ associado a um parâmetro $L$ semissimples. Eles definem um conjunto de pesos explícito $W_{\text{explicit}}(\rho)$ baseado na relação $\uparrow$ e provam a inclusão $W_{\text{cris}}(\rho) \subseteq W_{\text{explicit}}(\rho)$, onde $W_{\text{cris}}(\rho)$ é o conjunto de pesos que admitem um levantamento cristalino.

  • Eles conjecturam que $W(\rho) = W_{\text{cris}}(\rho) = W_{\text{explicit}}(\rho)$, fornecendo um conjunto candidato uniforme de pesos para grupos redutivos não ramificados gerais, sem exigir suposições de genericidade.

• Direção de Eliminação:
  O artigo prova a "direção de eliminação" da conjectura de peso de Serre: se um peso não está no conjunto explicitamente previsto $W_{\text{explicit}}(\rho)$, ele não pode originar-se de uma representação cristalina com os dados de Hodge–Tate dados.

• Compatibilidade com a Literatura Existente:
  Os autores demonstram que seu conjunto explícito de pesos coincide com o conjunto previsto $W_{\text{Her}}(\rho)$ de Gee–Herzig–Savitt no caso genérico (Proposição 6.4.6). Eles também observam que o teorema estrutural chave na prova da conjectura de Buzzard–Diamond–Jarvis é um corolário imediato de seus resultados.

Significado e Alegações
O artigo afirma fornecer uma nova restrição estrutural sobre a redução módulo $p$ de representações galoisianas cristalinas. Ao utilizar técnicas prismáticas para revelar uma estrutura de $\mu_p$-equivariância oculta nos módulos de Breuil–Kisin, os autores unem a lacuna entre os pesos de Hodge–Tate (dados de característica 0) e os pesos inerciais da redução mod $p$.

O significado reside em:

1. Generalidade: Os resultados são formulados para parâmetros $L$ de grupos redutivos conexos não ramificados sobre $\mathbb{Q}_p$, estendendo-se além do caso clássico de $\text{GL}_n$.
2. Explicitude: A formulação da conjectura de peso de Serre é explícita e depende da ordem combinatória $\uparrow$, removendo a necessidade de suposições de genericidade que frequentemente complicam formulações anteriores.
3. Mudança Metodológica: A prova baseia-se na geometria dos grassmannianos afins e stacks prismáticas em vez da teoria de Hodge $p$-ádica clássica sozinha, oferecendo uma nova perspectiva sobre a relação entre levantamentos cristalinos e suas reduções.

Os autores são modestos quanto à suficiência de sua condição; eles afirmam que, embora $\lambda \uparrow \mu$ seja necessária, não é geralmente suficiente para garantir a existência de um levantamento cristalino, embora conjecturem que se torne suficiente quando os pesos de Hodge–Tate são $p$-restritos (o caso relevante para a conjectura de Serre).