Towards the $p$-adic Hodge parameters in semistable representations of $\mathrm{GL}_n(\mathrm{Q}_p)$

Resumo Técnico: Parâmetros de Hodge p-ádicos em Representações Semiestáveis de GLn(Qp)

1. O Problema

O artigo aborda um dos problemas centrais do Programa de Langlands p-ádico: a reconstrução da filtragem de Hodge (e, consequentemente, da representação de Galois $\rho_p$) a partir de representações localmente analíticas de $GL_n(\mathbb{Q}_p)$.

• Contexto: Seja $\rho_p$ uma representação de Galois p-ádica de dimensão $n$ sobre $\mathbb{Q}_p$, que é semiestável (não necessariamente cristalina) e não-crítica, com pesos de Hodge-Tate regulares.
• O Desafio: A correspondência de Langlands local p-ádica conjectura que $\rho_p$ corresponde a uma representação localmente analítica $\pi_{an}(\rho_p)$ de $GL_n(\mathbb{Q}_p)$. Enquanto a parte "localmente algébrica" de $\pi_{an}(\rho_p)$ codifica apenas a semissimplificação da representação de Weil-Deligne e os pesos de Hodge-Tate, ela perde a informação da filtragem de Hodge (os parâmetros de Hodge p-ádicos).
• Objetivo: Determinar se e como a filtragem de Hodge completa de $\rho_p$ pode ser recuperada ("capturada") através de subrepresentações localmente analíticas explícitas, generalizando resultados conhecidos para os casos cristalino e de Steinberg.

2. Metodologia

O autor combina e estende métodos desenvolvidos por Ding, Breuil-Ding e Qian, utilizando uma abordagem híbrida que envolve teoria de módulos $(\phi, \Gamma)$, geometria de variedades de bandeiras e teoria de representações localmente analíticas.

• Decomposição em Blocos de Steinberg:
  • O módulo $(\phi, \Gamma)$ associado $D$ é decomposto em subquotientes de Steinberg ($E_{u,i}$) através de filtragens parabólicas associadas a diferentes refinamentos (triangulações) $F_u$.
  • Define-se um conjunto de subquotientes críticos ($CST$) que capturam os parâmetros de Hodge "dentro" dos blocos de Steinberg.
• Parâmetros de Hodge "Cristalinos" entre Blocos:
  • Identifica-se que, além dos parâmetros dentro dos blocos, existem parâmetros de Hodge que conectam diferentes blocos de Steinberg (parâmetros "cristalinos" entre blocos).
  • O autor introduz morfismos específicos ($\iota_{r,q}^D$) entre subquotientes para capturar essas informações cruzadas.
• Grupos de Extensão Superior e Invariantes L:
  • Utiliza-se a teoria de grupos de extensão superior ($Ext^\bullet$) entre representações generalizadas de Steinberg localmente analíticas.
  • Aplica-se a estrutura de invariantes L de Breuil-Schraen, que são subespaços codimensionais em grupos de extensão que correspondem aos parâmetros de Hodge.
• Construção de Representações Explícitas:
  • Constroem-se representações localmente analíticas explícitas ($\pi_1^\flat, \pi_1^\sharp, \pi_1^\diamond$) como "somas amalgamadas" de induções parabólicas e extensões não-triviais.
  • Estabelece-se mapas de extensão ($Ext^1_G$) que relacionam deformações do módulo $(\phi, \Gamma)$ com extensões dessas representações.

3. Contribuições Principais

1. Generalização para o Caso Semiestável:

   • Estende os resultados de Ding (caso cristalino) e Qian (caso de Steinberg máximo) para o caso geral semiestável, onde o posto de monodromia $S_0$ é arbitrário ($\emptyset \subseteq S_0 \subseteq \Delta$).
   • Demonstra que o espaço de módulos de parâmetros de Hodge não-críticos ($\Phi_{nc, \Delta}(S_0)$) pode ser recuperado combinando informações de múltiplos refinamentos.

2. Reconstrução dos Parâmetros de Hodge:

   • Teorema 1.2 e 1.3: Prova que o módulo $D$ é unicamente determinado pelo conjunto de dados $CST$ (parâmetros dentro dos blocos de Steinberg) e os morfismos $\iota_{r,q}^D$ (parâmetros entre blocos).
   • Mostra que essa reconstrução pode ser formulada geometricamente em variedades de bandeiras e algebricamente em álgebras de Lie, provando a injetividade de um morfismo que mapeia os parâmetros globais para uma coleção de parâmetros locais em sub-blocos.

3. Construção de Representações Automórficas:

   • Constrói explicitamente representações localmente analíticas $\pi_1^\sharp(\rho_p)$ e $\pi_1^\diamond(\rho_p)$ que codificam os invariantes L de Breuil-Schraen.
   • Demonstra que o núcleo de um mapa de extensão específico ($\ker(t_D^\sharp)$) determina os parâmetros de Hodge de $D$ (módulo a ação do centro).

4. Compatibilidade Local-Global:

   • No contexto de variedades de eigenvariety emendadas (patched eigenvarieties), prova que, sob hipóteses moderadas, a representação $\pi_1^\sharp(\rho_p)$ aparece como subrepresentação da representação global associada a $\rho_p$.
   • Estabelece que, se o posto de monodromia for pequeno ($\max l_i \le 2$), a representação construída determina unicamente a representação de Galois $\rho_p$.

4. Resultados Chave

• Teorema de Determinação (Teorema 3.10/3.11): O módulo $(\phi, \Gamma)$ semiestável não-crítico $D$ é determinado pelos parâmetros de Hodge dos seus subquotientes de Steinberg e pelos parâmetros "cristalinos" entre esses blocos.
• Correspondência com Invariantes L (Teorema 5.2/Proposição 5.8): Os parâmetros de Hodge de cada bloco de Steinberg são capturados por invariantes L de Breuil-Schraen em grupos de extensão de representações localmente analíticas.
• Teorema de Compatibilidade (Teorema 7.4): A representação localmente analítica construída $\pi_1^\sharp(\rho_p)$ está contida na representação global $\Pi_\infty$ associada a $\rho_p$ no contexto de variedades de eigenvariety.
• Caso de Baixa Monodromia (Corolário 7.5): Se o posto de monodromia de $\rho_p$ é no máximo 1, a representação $\pi_1^\sharp(\rho_p)$ determina completamente $\rho_p$.

5. Significância e Impacto

• Avanço no Programa de Langlands p-ádico: Este trabalho fornece evidências robustas para a correspondência de Langlands local p-ádica no caso semiestável, que é significativamente mais complexo que o caso cristalino devido à presença de operadores de monodromia não nulos.
• Unificação de Métodos: O artigo sintetiza técnicas de geometria aritmética (módulos $(\phi, \Gamma)$), teoria de representações (extensões de Steinberg) e geometria algébrica (variedades de bandeiras), demonstrando a versatilidade dos métodos de Ding, Breuil-Ding e Qian.
• Ferramentas para Estudos Futuros: A construção explícita das representações $\pi_1^\sharp$ e $\pi_1^\diamond$ oferece um modelo concreto para investigar a estrutura de representações automórficas p-ádicas e suas conexões com a geometria das variedades de eigenvariety.
• Exemplos Explícitos: O artigo fornece exemplos detalhados para $GL_2(\mathbb{Q}_p)$ e $GL_3(\mathbb{Q}_p)$, ilustrando como a teoria se manifesta em casos concretos e validando as construções gerais.

Em suma, o artigo resolve a questão de como "ler" a filtragem de Hodge de uma representação semiestável a partir do lado automórfico, estabelecendo uma ponte crucial entre a teoria de Galois local e a teoria de representações localmente analíticas em um cenário não-crítico e não-genérico.