Locally analytic vectors and $\mathbf{Z}_p$-extensions

Aquí se presenta un resumen técnico detallado del artículo "Vectores localmente analíticos y extensiones $\mathbb{Z}_p$" de Léo Poyeton.

1. Planteamiento del Problema y Contexto

El artículo aborda la generalización de la teoría de los módulos $(\phi, \Gamma)$ en la teoría de Hodge $p$-ádica.

• Contexto Clásico: Fontaine estableció una equivalencia entre las representaciones $p$-ádicas del grupo de Galois absoluto $G_K$ y los módulos $(\phi, \Gamma)$ étales sobre la extensión ciclotómica $K_{\text{cyc}} = K(\mu_{p^\infty})$. Esta teoría se basa en anillos de periodos (como $\mathcal{B}^\dagger$ y el anillo de Robba $\mathcal{R}_K$) y en la existencia de un "levantamiento del cuerpo de normas".
• El Problema de Generalización: Existe el deseo de extender esta teoría a extensiones de Lie $p$-ádicas infinitamente ramificadas arbitrarias $K_\infty/K$.
• Conjetura de Kedlaya: Kedlaya conjeturó que para cualquier extensión de este tipo, la teoría de los vectores localmente analíticos (introducidos por Schneider-Teitelbaum y generalizados por Berger-Colmez) dentro de los anillos de periodos proporcionaría una teoría robusta de módulos $(\phi, \Gamma)$, incluso a nivel integral.
• El Obstáculo Específico: Aunque Berger demostró que un levantamiento de "altura finita" del cuerpo de normas restringe las posibles extensiones (por ejemplo, descartando el caso anticiclotómico), la existencia de un levantamiento sobreconvergente (una condición más débil) era una cuestión abierta. El artículo investiga si la existencia de vectores localmente analíticos no triviales en el anillo de periodos integral $\tilde{A}^\dagger$ es equivalente a la existencia de dicho levantamiento sobreconvergente.

2. Metodología

El autor emplea una combinación de análisis $p$-ádico integral, la teoría de cuerpos de normas y la teoría recién desarrollada de vectores localmente analíticos integrales (utilizando expansiones de Mahler).

• Vectores Localmente Analíticos Integrales: El artículo utiliza la generalización reciente de los vectores localmente analíticos a $\mathbb{Z}_p$-álgebras (por Berger-Rozensztajn, Porat, etc.). En lugar de invertir $p$, estos vectores se definen mediante propiedades de convergencia de las expansiones de Mahler (vectores Super-Hölder).
• Enfoque en extensiones $\mathbb{Z}_p$: El análisis se restringe a extensiones $\mathbb{Z}_p$ totalmente ramificadas $K_\infty/K$. El autor asume que $p \neq 2$.
• Estructura de $\tilde{A}^\dagger$: El trabajo técnico central implica analizar la estructura del anillo de vectores localmente analíticos $(\tilde{A}^\dagger_K)^{\text{la}}$ dentro del anillo de periodos $\tilde{A}^\dagger$.
• El Contraejemplo Anticiclotómico: El artículo construye un escenario específico donde $K = \mathbb{Q}_{p^2}$ y $K_\infty$ es la extensión anticiclotómica. Asume la existencia de un vector localmente analítico no trivial y deriva una contradicción utilizando:
  • El operador $\nabla$ (derivada de Lie de la acción de Galois).
  • Propiedades del núcleo de los mapas $\theta \circ \phi_q^{-n}$.
  • Una conjetura de Berger sobre la dimensión de los espacios propios en el anillo de Robba.

3. Contribuciones y Resultados Clave

A. Dicotomía de Vectores Localmente Analíticos en Extensiones $\mathbb{Z}_p$

El artículo establece una dicotomía fundamental para extensiones $\mathbb{Z}_p$ totalmente ramificadas:
Teorema 0.1: Sea $K_\infty/K$ una extensión $\mathbb{Z}_p$ totalmente ramificada. Entonces se cumple exactamente una de las siguientes:

1. Caso Trivial: $(\tilde{A}^\dagger_K)^{\text{la}} = \mathcal{O}_K$. No hay vectores localmente analíticos no triviales.
2. Caso Tipo Ciclotómico: $(\tilde{A}^\dagger_K)^{\text{la}} = \phi_q^{-\infty}(A^\dagger_K)$, donde $A^\dagger_K$ es un anillo de funciones sobreconvergentes en una variable. En este caso, la estructura se comporta exactamente como en el contexto ciclotómico clásico.

B. Equivalencia con Levantamientos Sobreconvergentes

Teorema 0.2: Para una extensión $\mathbb{Z}_p$, la existencia de un vector localmente analítico no trivial en $\tilde{A}^\dagger_K$ es equivalente a la existencia de un levantamiento sobreconvergente del cuerpo de normas.

• Este resultado cierra la brecha entre las propiedades analíticas del anillo de periodos y la geometría aritmética de la extensión.
• Implica que si la conjetura de Kedlaya fuera cierta (requiriendo vectores no triviales para codificar todas las representaciones), entonces un levantamiento sobreconvergente debe existir para cualquier extensión de este tipo.

C. Refutación de la Conjetura de Kedlaya mediante el Contexto Anticiclotómico

El artículo se centra en la extensión anticiclotómica de $K = \mathbb{Q}_{p^2}$.

1. Suposición: Asumir que existe un levantamiento sobreconvergente (implicando que existen vectores localmente analíticos no triviales).
2. Construcción: Utilizando la existencia de un elemento específico invariante bajo Frobenius $\phi_q$ con acción de Galois localmente analítica, el autor construye un elemento en el anillo de Robba $\mathcal{R}_K$.
3. Contradicción: Esta construcción conduce a la existencia de un elemento no trivial en $(\text{Frac}\mathcal{R}_K)^{\phi_q=1}$ (específicamente, un espacio propio de dimensión $>1$).
4. Conjetura de Berger: Esto contradice una conjetura de Berger (Conjetura A en [Ber22]), que establece que tales espacios propios deberían tener dimensión a lo sumo 1.
5. Conclusión: Dado que la conjetura de Berger se demuestra que se cumple en este contexto específico (mediante las propiedades de los elementos construidos), la suposición inicial debe ser falsa.

Teorema 0.3: No existe levantamiento sobreconvergente del cuerpo de normas en el contexto anticiclotómico. En consecuencia, la conjetura de Kedlaya es falsa en general.

D. Vectores Localmente Analíticos de Orden Superior

El artículo concluye que en los casos donde $(\tilde{A}^\dagger_K)^{\text{la}} = \mathcal{O}_K$ (el caso trivial), la teoría de los módulos $(\phi, \Gamma)$ no puede concentrarse en grado 0. Esto hace necesaria la utilización de módulos $(\phi, \Gamma)$ derivados (vectores localmente analíticos de orden superior) para capturar la teoría de representaciones, explicando por qué la teoría anticiclotómica es más compleja que la ciclotómica.

4. Significado

• Refutación de una Conjetura Mayor: El artículo proporciona un contraejemplo definitivo a la conjetura de Kedlaya de que los vectores localmente analíticos proporcionan una teoría uniforme de módulos $(\phi, \Gamma)$ para todas las extensiones de Lie $p$-ádicas infinitamente ramificadas. Muestra que la teoría falla para la extensión anticiclotómica.
• Caracterización de Extensiones: Aclara que la existencia de una teoría "buen" de módulos $(\phi, \Gamma)$ (vía vectores localmente analíticos) está estrictamente ligada a la existencia de un levantamiento sobreconvergente del cuerpo de normas.
• Teoría Integral: El trabajo aplica con éxito la nueva teoría integral de vectores localmente analíticos (vectores Super-Hölder) para resolver problemas aritméticos profundos, demostrando el poder de este marco en contextos de característica $p$ e integrales.
• Futuras Direcciones: Los resultados sugieren que para extensiones como la anticiclotómica, se debe mirar más allá del grado 0 y utilizar categorías derivadas (vectores localmente analíticos de orden superior) para formular una teoría de Hodge $p$-ádica correcta.

En resumen, Poyeton demuestra que la generalización "ingenua" de los módulos $(\phi, \Gamma)$ mediante vectores localmente analíticos falla para las extensiones anticiclotómicas porque no existen los levantamientos sobreconvergentes necesarios del cuerpo de normas, refutando así la conjetura de Kedlaya en su forma general.