Sobre haces vectoriales equivariantes en la curva de Fargues-Fontaine sobre una extensión finita

Información Básica

• ID del artículo: 2510.12533
• Título: On equivariant vector bundles on the Fargues--Fontaine curve over a finite extension
• Autor: Rustam Steingart
• Clasificación: math.NT (Teoría de Números), math.AG (Geometría Algebraica)
• Fecha de publicación: 15 de octubre de 2025 (preimpresión en arXiv)
• Enlace del artículo: https://arxiv.org/abs/2510.12533

Resumen

Sea $K/E/\mathbb{Q}_p$ una torre de extensiones finitas, donde $E$ es una extensión de Galois. En este artículo se establece la relación entre la categoría de haces vectoriales $G_K$-equivariantes con coeficientes en $E$ sobre la curva de Fargues-Fontaine y la categoría de $E$-$G_K$-$B$-pares, describiendo explícitamente los objetos cristalinos y de de Rham. Cuando $E$ es una extensión propia, proporcionamos una nueva descripción de esta categoría mediante tuplas de $\mathbf{B}_e$-módulos compatibles, lo que nos permite calcular la cohomología de Galois mediante complejos de Čech explícitos, sirviendo como alternativa a la sucesión exacta fundamental.

Antecedentes y Motivación de la Investigación

1. Problema central: Este artículo estudia la clasificación y propiedades de haces vectoriales equivariantes sobre la curva de Fargues-Fontaine, particularmente cuando el cuerpo base $E$ no es igual a $\mathbb{Q}_p$.
2. Importancia: La curva de Fargues-Fontaine juega un papel fundamental en la teoría de Hodge $p$-ádica. Proporciona una interpretación geométrica de las representaciones de Galois $p$-ádicas, conectando la teoría algebraica de números con la geometría algebraica.
3. Limitaciones de los métodos existentes:
   • Cuando $E = \mathbb{Q}_p$, la teoría está bastante desarrollada, siendo la categoría de haces vectoriales equivariantes equivalente a la categoría de $B$-pares
   • Sin embargo, cuando $E \neq \mathbb{Q}_p$, la situación se vuelve más sutil, y el concepto existente de haces vectoriales "cristalinos" es demasiado restrictivo
4. Motivación de la investigación:
   • Generalizar la teoría de Fargues-Fontaine a cuerpos base más generales $E$
   • Descubrir nuevos fenómenos que aparecen cuando $[E:\mathbb{Q}_p] > 1$
   • Establecer nuevos métodos para calcular la cohomología de Galois

Contribuciones Principales

1. Establecer equivalencias de categorías: Se demuestra la equivalencia entre la categoría de $G_K$-$E$-$B$-pares y la categoría de haces vectoriales $G_K$-equivariantes (Teorema 1)
2. Descubrir nuevos fenómenos geométricos: Cuando $E \neq \mathbb{Q}_p$, la curva $X_E$ tiene $[E:\mathbb{Q}_p]$ puntos sobre el punto $\infty$, permitiendo múltiples formas de "perforación"
3. Introducir la teoría de tuplas de $B_e$: Se propone un nuevo método para describir haces vectoriales mediante tuplas de $B_e$-módulos compatibles (Teorema 2)
4. Establecer cálculos de cohomología explícitos: Se calcula la cohomología de Galois mediante complejos de Čech, proporcionando una alternativa a la sucesión exacta fundamental
5. Refinar la definición de objetos cristalinos: Se proporciona una definición más refinada de haces vectoriales cristalinos, haciendo que correspondan a representaciones verdaderamente cristalinas

Explicación Detallada de los Métodos

Definición de la Tarea

Se estudian haces vectoriales $G_K$-equivariantes sobre la curva de Fargues-Fontaine $X_E = X_{C_p^{\flat}, E}$, donde:

• Entrada: Torre de extensiones finitas $K/E/\mathbb{Q}_p$, con $E$ Galois
• Salida: Clasificación y descripción de propiedades de haces vectoriales equivariantes
• Restricciones: Mantener compatibilidad con la teoría clásica de Hodge $p$-ádica

Construcciones Principales

1. Construcción de la Curva de Fargues-Fontaine

La curva se define como $X_{E,F} = \text{Proj}(P_{E,F,\pi_E})$, donde el anillo graduado es: $P_{E,F,\pi_E} = \bigoplus_{n \geq 0} (B_E^+)^{\varphi_E = \pi_E^n}$

Propiedades clave:

• $X_E$ es una curva completa, definida sobre $E$
• Existe un mapeo estándar $X_E \to X_{\mathbb{Q}_p}$
• Hay $[E:\mathbb{Q}_p]$ puntos sobre el punto $\infty$: $\{\infty_\sigma : \sigma \in \Sigma_E\}$

2. Generalización de $B$-pares

Para un $E$-$B$-par $W = (W_e, W_{dR}^+)$:

• $W_e$ es una representación continua finita y libre de $E \otimes_{\mathbb{Q}_p} B_e$
• $W_{dR}^+$ es una red $G_K$-equivariante en $B_{dR}^+$

Utilizando la descomposición: $E \otimes_{\mathbb{Q}_p} B_{dR}^+ = \prod_{\sigma \in \Sigma_E} B_{dR}^+$

3. Teoría de Tuplas de $B_e$

Definición: Sea $S = \{\infty_\sigma : \sigma \in \Sigma_E\}$, $L$ una cobertura complementaria de $S$. Una tupla de $B_e$ es:

• Para cada $T \in L$, un $B_{e,T}$-módulo libre $M_T$
• Isomorfismos de compatibilidad: $B_{e,T_1 \cup T_2} \otimes_{B_{e,T_1}} M_{T_1} \cong B_{e,T_1 \cup T_2} \otimes_{B_{e,T_2}} M_{T_2}$

donde $B_{e,T} = (B_E^+[1/\prod_{x \in T} t_x])^{\varphi_E = 1}$.

Puntos de Innovación Técnica

1. Análisis multipuntual: Utiliza la estructura geométrica de múltiples puntos sobre $\infty$, en lugar del método tradicional de punto único
2. Resultados de rigidez: Se demuestra que los diferenciales del complejo de Čech son rigidez, utilizando la teoría de representaciones casi $C_p$
3. Marco unificado: Unifica los casos cristalino, de de Rham y general en un único marco teórico

Teoremas Principales

Teorema 1 (Equivalencia de Categorías)

Se cumple lo siguiente:

1. La categoría de $G_K$-$E$-$B$-pares es equivalente a la categoría de haces $G_K$-equivariantes sobre $X_E$
2. Bajo esta equivalencia, los objetos cristalinos, de de Rham y de pendiente cero se corresponden mutuamente

Teorema 2 (Descripción mediante Tuplas de $B_e$)

Sea $L$ una cobertura complementaria de $S$. El funtor $\text{Bun}_{X_E} \to \{\text{tuplas de }B_e\}$$F \mapsto (F(X \setminus T))_T$ es una equivalencia de categorías. Lo mismo se cumple para el caso $G_K$-equivariante.

Teorema 3 (Cálculo de Cohomología)

Para un $G_K$-$E$-$B$-par $W$ y su haz vectorial correspondiente $V$: $[W_e \oplus W_{dR}^+ \to W_{dR}] \simeq C^{\bullet}(L,V)$ es un cuasiisomorfismo estricto y $G_K$-equivariante.

Aplicaciones y Ejemplos

Caracterización de Haces Vectoriales Cristalinos

Un haz vectorial $E$ es cristalino si y solo si existe un $\varphi_q$-módulo $D$ tal que: $E(U) = (B_E^+[1/\prod_\sigma t_{\infty\sigma}] \otimes_E D)^{\varphi_q = 1}$ donde $G_E$ actúa trivialmente sobre $D$.

Generalización de la Sucesión Exacta Fundamental

Para dos incrustaciones $\sigma \neq \tau$, se obtiene la "sucesión exacta fundamental": $0 \to V \to B_E^+[1/t_\sigma]^{\varphi_E=1} \otimes V \times B_E^+[1/t_\tau]^{\varphi_E=1} \otimes V \to B_E^+[1/t_\sigma t_\tau]^{\varphi_E=1} \otimes V \to 0$

Trabajos Relacionados

Este artículo se construye sobre los siguientes trabajos importantes:

1. Fargues-Fontaine: Establecen la teoría fundamental de la curva y el caso $E = \mathbb{Q}_p$
2. Nakamura: Introduce el concepto de $B$-pares
3. Berger: Desarrolla la teoría multivariable de $(\varphi,\Gamma)$-módulos
4. Pham: Estudia representaciones cristalinas analíticas, aunque su concepto de "cristalino" es más restrictivo

Conclusiones y Discusión

Conclusiones Principales

1. Se generaliza exitosamente la teoría de Fargues-Fontaine a extensiones finitas generales $E/\mathbb{Q}_p$
2. Se descubren y utilizan nuevos fenómenos geométricos que aparecen cuando $E \neq \mathbb{Q}_p$
3. Se establece un nuevo método para calcular la cohomología de Galois

Limitaciones

1. Se requiere que $E$ sea una extensión de Galois (aunque el autor señala que puede generalizarse)
2. La teoría de tuplas de $B_e$ requiere $[E:\mathbb{Q}_p] > 1$
3. La relación con $(\varphi,\Gamma)$-módulos multivariables requiere investigación adicional

Direcciones Futuras

1. Estudiar la correspondencia completa entre $(\varphi,\Gamma)$-módulos multivariables y tuplas de $B_e$
2. Generalizar a extensiones no-Galois
3. Aplicar a problemas aritméticos concretos

Evaluación Profunda

Ventajas

1. Profundidad teórica: Revela profundamente nuevos fenómenos en la teoría de Hodge $p$-ádica
2. Innovación técnica: La teoría de tuplas de $B_e$ proporciona una perspectiva completamente nueva
3. Valor computacional: Los complejos de Čech explícitos proporcionan herramientas para cálculos prácticos
4. Rigor: Las técnicas de demostración son rigurosas, particularmente en el establecimiento de resultados de rigidez

Deficiencias

1. Legibilidad: Es muy técnico, requiriendo una sólida formación en teoría de Hodge $p$-ádica
2. Aplicaciones: Carece de ejemplos concretos de aplicaciones aritméticas
3. Completitud: Ciertos detalles de construcciones (como la relación con la teoría de Berger) necesitan desarrollo adicional

Impacto

1. Contribución teórica: Proporciona una nueva perspectiva geométrica a la teoría de Hodge $p$-ádica
2. Metodología: El método de tuplas de $B_e$ puede ser aplicable a otros problemas relacionados
3. Herramientas computacionales: Proporciona nuevos medios de cálculo para investigadores en campos relacionados

Escenarios de Aplicación

Los métodos de este artículo son particularmente aplicables a:

1. Estudiar representaciones $p$-ádicas sobre cuerpos base no triviales
2. Problemas que requieren cálculos explícitos de cohomología de Galois
3. Investigación interdisciplinaria conectando teoría algebraica de números y geometría algebraica

Referencias Bibliográficas

El artículo cita literatura importante en este campo, incluyendo:

• Trabajos originales de Fargues-Fontaine FF19
• Teoría multivariable de Berger Ber13
• Teoría fundamental de Fontaine Fon20
• Herramientas técnicas relacionadas y métodos