Explicit isomorphisms for a Herr-type complex over a metabelian extension

1. Problema y Contexto

El artículo aborda un problema fundamental en la teoría de Hodge $p$-ádica y la cohomología de Galois: la construcción de isomorfismos explícitos entre la cohomología de Galois de familias de representaciones y la cohomología de complejos algebraicos asociados a módulos $(\phi, \tau)$.

• Contexto: Tradicionalmente, la teoría de Fontaine ha utilizado módulos $(\phi, \Gamma)$ sobre el anillo de periodos $B_K$ para clasificar representaciones de Galois sobre cuerpos $p$-ádicos. Herr [Her98] introdujo un complejo de tres términos que calcula la cohomología de Galois para representaciones individuales.
• Limitaciones Previas:
  • Los resultados de Herr y sus generalizaciones (Liu, Kedlaya-Pottharst-Xiao) se centraban principalmente en la torre ciclotómica (extensión abeliana) y en representaciones individuales o familias sobre álgebras de Banach finitas.
  • Tavares Ribeiro [Tav11] extendió esto a representaciones individuales sobre extensiones metabelianas (la torre de Kummer combinada con la ciclotómica), utilizando módulos $(\phi, \tau)$. Sin embargo, su enfoque dependía de argumentos de "desplazamiento de dimensión" que son difíciles de adaptar a familias infinitas de representaciones (definidas sobre álgebras de Banach generales).
• El Desafío: Construir un complejo explícito que calcule la cohomología de Galois $H^i(G_K, V)$ para una familia de representaciones $V$ definida sobre un álgebra de Banach $S$ (no necesariamente un cuerpo finito), en el contexto de una extensión metabeliana $L/K$ (la clausura de Galois de la torre de Kummer $K_\infty$).

2. Metodología

Los autores desarrollan una metodología que combina la teoría de módulos $(\phi, \tau)$ con técnicas de cohomología de grupos y secuencias espectrales, evitando los métodos de desplazamiento de dimensión que fallan en el contexto de familias.

• Estructura de Grupos: Se trabaja con el grupo de Galois $G_\infty = \text{Gal}(L/K)$, que es una extensión metabeliana generada topológicamente por dos elementos: $\gamma$ (generador de $\text{Gal}(L/K_\infty)$) y $\tau$ (un elemento relacionado con la torre de Kummer). Se define un cociclo de Kummer $c: G_\infty \to \mathbb{Z}_p$ y un operador $\delta = \tau^{\chi(\gamma)-1}\tau^{-1}$.
• Módulos $(\phi, \tau)$ para Familias: Utilizan la teoría desarrollada por Kedlaya y Poyeton [KP23] para asociar a una familia de representaciones $V$ sobre un álgebra de Banach $S$, una familia de módulos $(\phi, \tau)$ denotada como $D^\dagger_{\tau, K}(V)$.
• Estrategia de Prueba:
  1. Cálculo de Cohomología de $H_\infty$: Demuestran que la cohomología de la restricción de $V$ al subgrupo $H_\infty = \text{Gal}(L/K_\infty)$ se puede calcular mediante un complejo de dos términos basado en el operador de Frobenius $\phi - 1$ (Proposición 15).
  2. Cálculo de Cohomología de $G_\infty$: Construyen un complejo de tres términos explícito para calcular la cohomología de un módulo $G_\infty$-módulo $M$, utilizando los generadores $\gamma$ y $\tau$ y el operador $\delta$ (Proposición 12).
  3. Secuencia de Inflation-Restricción: Utilizan la secuencia exacta de Hochschild-Serre para relacionar la cohomología de $G_K$ con la de $G_\infty$ y $H_\infty$.
  4. Construcción de Mapas Explícitos: El núcleo técnico del trabajo es la construcción de mapas explícitos ($h_1$ y $h_2$) entre la cohomología de Galois y la cohomología de un nuevo complejo de cuatro términos construido a partir de los módulos $(\phi, \tau)$.
  5. Lema de los Cinco: Demuestran que estos mapas inducen un isomorfismo entre las secuencias exactas de cohomología de Galois y las secuencias exactas derivadas del complejo algebraico, aplicando el lema de los cinco.

3. Contribuciones Clave

1. Generalización a Familias: A diferencia de Tavares Ribeiro, que trabajaba con representaciones individuales sobre cuerpos finitos, este artículo establece la teoría para familias de representaciones sobre álgebras de Banach $S$ arbitrarias (álgebras de affinoides sobre $\mathbb{Q}_p$).
2. Complejo de Herr-Tipo para Extensiones Metabelianas: Se define explícitamente un complejo de cuatro términos (Teorema 1 / Teorema 26) que calcula la cohomología de Galois en este contexto. El complejo es:
   $$0 \to D_L^r \xrightarrow{d_0} D_L^{pr} \oplus D_L^r \oplus D_L^r \xrightarrow{d_1} D_L^{pr} \oplus D_L^{pr} \oplus D_L^r \xrightarrow{d_2} D_L^{pr} \to 0$$
   Donde los diferenciales $d_0, d_1, d_2$ involucran operadores como $\phi-1$, $\gamma-1$, $\tau-1$ y $1-\delta^{-1}\gamma$.
3. Isomorfismos Explícitos: No solo se prueba la existencia de un isomorfismo, sino que se proporcionan fórmulas concretas para los mapas $h_1: H^1(G_K, V) \to H^1(\text{Complejo})$ y $h_2: H^2(G_K, V) \to H^2(\text{Complejo})$. Estos mapas dependen de secciones continuas y cociclos específicos.
4. Independencia de la Elección: Se demuestra rigurosamente que los mapas definidos son independientes de las elecciones de levantamientos y cociclos, garantizando que son homomorfismos bien definidos.

4. Resultados Principales

• Teorema 1 (Teorema 26 en el texto): Para una familia de representaciones $V$ sobre un álgebra de Banach $S$, la cohomología del complejo descrito anteriormente es isomorfa a la cohomología de Galois $H^i(G_K, V)$ para $i=0, 1, 2$.
• Recuperación de Resultados Anteriores: Al especializar el álgebra $S$ a una extensión finita de $\mathbb{Q}_p$, el complejo y los isomorfismos recuperan los resultados de Tavares Ribeiro [Tav11], proporcionando una nueva prueba de su teorema.
• Propiedad de Cohomología de $H_\infty$: Se establece que $H^i(H_\infty, V) = 0$ para $i \geq 2$, lo cual es crucial para la degeneración de la secuencia espectral y la validez del complejo de cuatro términos.

5. Significado e Impacto

• Fundamentos de la Teoría de Hodge $p$-ádica Relativa: Este trabajo sienta las bases para el estudio de la cohomología de familias de módulos $(\phi, \tau)$, análogo a cómo los trabajos de Herr y Kedlaya-Pottharst-Xiao lo hicieron para los módulos $(\phi, \Gamma)$.
• Aplicaciones Potenciales: La capacidad de calcular la cohomología de Galois de familias de manera explícita es esencial para:
  • El estudio de anillos de deformación de Galois en contextos familiares.
  • La clasificación de representaciones semi-estables en familias.
  • El análisis de modelos integrales de variedades de Shimura.
  • La formulación de conjeturas de Iwasawa para familias de representaciones.
• Herramienta Técnica: La construcción explícita de los mapas $h_1$ y $h_2$ y la demostración de su compatibilidad con la secuencia de Hochschild-Serre ofrecen una herramienta técnica robusta para futuros trabajos en teoría de números $p$-ádica que involucren extensiones no abelianas y familias de representaciones.

En resumen, el artículo extiende exitosamente la teoría de complejos de Herr al ámbito de las familias de representaciones sobre álgebras de Banach en el contexto de extensiones metabelianas, proporcionando herramientas explícitas y rigurosas que superan las limitaciones de los enfoques anteriores.