The overconvergence of multivariable $(φ_q,\mathcal{O}_K^{\times})$-modules at the perfectoid level

Resumo Técnico: Sobreconvergência de Módulos $(\phi_q, \mathcal{O}_K^\times)$ Multivariáveis no Nível Perfeitoide

1. Problema e Contexto

O artigo situa-se no campo da Teoria de Hodge $p$-ádica e da teoria de representações de Galois. O problema central é o estudo da sobreconvergência de certos módulos de $(\phi, \Gamma)$ generalizados.

• Contexto Histórico: Fontaine introduziu os módulos $(\phi, \Gamma)$ para estudar representações contínuas do grupo de Galois absoluto $G_K$. Cherbonnier e Colmez provaram que os módulos $(\phi, \Gamma)$ ciclotômicos são sempre sobreconvergentes (descem para o anel de Robba). No entanto, para extensões de Lubin-Tate, a sobreconvergência geralmente falha.
• O Cenário Multivariável: Em trabalhos anteriores (Du, 2025), o autor introduziu módulos multivariáveis $(\phi_q, \mathcal{O}_K^\times)$ associados a extensões não ramificadas $K/\mathbb{Q}_p$ de grau $f$. Estes módulos possuem um anel de coeficientes $A_{mv,E}$ com $f$ variáveis e estão ligados a representações de $GL_2(K)$.
• A Questão Aberta: Dada uma representação de Galois $\rho$, o módulo multivariável associado $D^{(i)}_{A_{mv,E}}(\rho)$ é sobreconvergente? Ou seja, ele descende para um módulo sobre o subanel de elementos sobreconvergentes $A^\dagger_{mv,E}$?
• Dificuldade: A generalização dos métodos clássicos (como o traço normalizado de Tate) é extremamente difícil porque $\mathcal{O}_K^\times$ não é um grupo de Lie $p$-ádico de dimensão 1 e o anel de coeficientes possui múltiplas variáveis.

2. Metodologia

O autor emprega uma combinação de álgebra não comutativa, teoria de anéis de Witt ramificados e, crucialmente, a geometria das curvas de Fargues-Fontaine relativas.

• Construção Algébrica:

  • Define-se o anel de coeficientes sobreconvergente $A^\dagger_{mv,E}$ como um subanel de $A_{mv,E}$ consistindo de elementos que convergem em uma vizinhança aberta do círculo unitário (análogo ao anel de Robba).
  • Estabelece-se a relação entre o functor de base $j^{\dagger, *}$ (extensão de escalas de $A^\dagger$ para $A$) e seu adjunto direito $j^\dagger_*$.
  • Utiliza-se a estrutura de módulos étale sobre $A^\dagger_{mv,E}$ e prova-se que a categoria de módulos sobreconvergentes é uma subcategoria plena dos módulos étale.

• Abordagem Geométrica (Nível Perfeitoide):

  • O autor recorre à teoria das curvas de Fargues-Fontaine relativas ($Y_{X, [0, r]}$) desenvolvida por Scholze e Weinstein.
  • Considera-se o espaço perfeitoide associado ao anel de coeficientes e utiliza-se a descida de Galois via toros pro-étale.
  • Em vez de cálculos explícitos complexos (como o método de Colmez-Sen-Tate generalizado), o autor utiliza a geometria das curvas para provar que os módulos definidos sobre anéis de Robba perfeioides são livres e sobreconvergentes.

3. Contribuições e Resultados Principais

A. Propriedades Algébricas de $A^\dagger_{mv,E}$ (Seção 2):

• Definição e Estrutura: O autor define rigorosamente o anel $A^\dagger_{mv,E}$ e seus subanéis $A^{\dagger, s}_{mv,E}$.
• Teorema 2.22 (Sobreconvergência Algébrica):
  • O functor de base $j^{\dagger, *}: \text{Mod}^{\text{ét}}_{(\phi_q, \mathcal{O}_K^\times)}(A^\dagger_{mv,E}) \to \text{Mod}^{\text{ét}}_{(\phi_q, \mathcal{O}_K^\times)}(A_{mv,E})$ é exato e plenamente fiel.
  • Existe um adjunto direito $j^\dagger_*$ tal que a transformação natural $\text{id} \to j^\dagger_* \circ j^{\dagger, *}$ é um isomorfismo.
  • Isso implica que a categoria de módulos sobreconvergentes é equivalente a uma subcategoria plena da categoria de módulos étale sobre o anel completo.
• Finitude: Prova-se que para um módulo étale livre $M$ sobre $A_{mv,E}$, o módulo $j^\dagger_*(M)$ é de tipo finito sobre $A^\dagger_{mv,E}$.

B. Sobreconvergência no Nível Perfeitoide (Seção 3):

• Teorema 1.5 / Teorema 3.9: Este é o resultado central. O autor prova que, para qualquer representação contínua livre $\rho$ de $G_K$ e qualquer raio $r \in \mathbb{Q}_{>0}$, o módulo associado $D^{[0,r]}_{A_\infty, i}(\rho)$ é um módulo localmente livre sobre o anel de Robba perfeitoide $B_{A_\infty, [0,r]}$.
• Liberdade para $r$ Pequeno: O Teorema 3.10 estabelece que, para $r$ suficientemente pequeno, o módulo é livre (não apenas localmente livre) sobre $B_{A_\infty, [0,r]}$.
• Método Geométrico: A prova utiliza a propriedade de que o functor que associa feixes vetoriais sobre a curva de Fargues-Fontaine relativa é um v-stack. Isso permite realizar a descida de Galois de forma conceitual, evitando os cálculos analíticos pesados de métodos anteriores.
• Relação entre Anéis: Estabelece-se uma relação de inclusão e compatibilidade entre o anel sobreconvergente clássico $A^\dagger_{mv,E}$ e o anel perfeitoide $\tilde{R}^{int}_{A_\infty}$ (Teorema 3.14 e Lema 3.15), mostrando que a ação de $\mathcal{O}_K^\times$ é localmente analítica.

C. Limitações e Questões Abertas:

• O artigo não prova que todo módulo multivariável associado a uma representação de Galois descende para $A^\dagger_{mv,E}$ (o anel clássico). A prova atual garante a sobreconvergência apenas no nível perfeitoide (sobre $\tilde{R}^{int}_{A_\infty}$).
• A dificuldade em descer de $\tilde{R}^{int}_{A_\infty}$ para $A^\dagger_{mv,E}$ reside na complexidade do mapa entre os anéis e na estrutura de grupo de dimensão superior de $\mathcal{O}_K^\times$.
• O autor fornece exemplos onde a sobreconvergência é conhecida (caracteres não ramificados e caracteres de Lubin-Tate), mas a questão geral permanece aberta.

4. Significado e Impacto

• Avanço Teórico: O trabalho estende a teoria de sobreconvergência de Cherbonnier-Colmez para o contexto multivariável e de extensões de Lubin-Tate, um cenário onde a sobreconvergência clássica falha.
• Novas Ferramentas: A aplicação da geometria da curva de Fargues-Fontaine relativa para provar propriedades de sobreconvergência em contextos multivariáveis oferece uma nova perspectiva metodológica, substituindo cálculos analíticos complexos por argumentos geométricos robustos.
• Conexão com Representações de $GL_2(K)$: Ao estabelecer a estrutura de módulos sobreconvergentes, o trabalho fortalece a ponte entre representações de Galois e representações de grupos de Lie $p$-ádicos (como $GL_2(K)$), que é um objetivo central do programa de Langlands $p$-ádico.
• Base para Futuros Trabalhos: Embora a descida completa para o anel clássico $A^\dagger_{mv,E}$ ainda não esteja resolvida, a prova de sobreconvergência no nível perfeitoide é um passo fundamental. Ela fornece o "espaço de trabalho" perfeitoide onde as propriedades de sobreconvergência são válidas, servindo como base para tentativas futuras de descida.

Em suma, Changjiang Du demonstra que, embora a sobreconvergência clássica seja difícil de provar diretamente para módulos multivariáveis, ela é válida e estruturalmente robusta no nível perfeitoide, utilizando a geometria moderna de curvas de Fargues-Fontaine como ferramenta principal.