Courbes et fibrés vectoriels en théorie de Hodge $z$-adique globale

Resumen Técnico: Curvas de Hartl–Pink Globales y la Correspondencia de Langlands sobre Campos de Funciones

Planteamiento del Problema
Este artículo investiga el análogo global de la curva de Fargues–Fontaine (también conocida como la curva de Hartl–Pink en el contexto de los campos de funciones) sobre un campo de funciones global $F$. Mientras que la teoría local, desarrollada por Fargues y Fontaine, proporciona un marco geométrico para la correspondencia de Langlands local mediante el espacio de módulos de $G$-fibrados sobre la curva $X_{F_v, K}$, un análogo global directo enfrenta obstrucciones significativas. Específicamente, el intento ingenuo de formar el cociente $(\text{Spec } F \times \text{Spa } K)/\text{Frob}_K$ falla porque el producto $\text{Spec } F \times \text{Spa } K$ carece de una interpretación de espacio adico bien comportada, y la acción de Frobenius no es libre ni totalmente discontinua. El artículo tiene como objetivo definir y estudiar el espacio de módulos de $G$-fibrados sobre esta "curva de Hartl–Pink global", denotada como $\text{Bun}_{G,F}$, y utilizarla para reformular la conjetura global de Langlands para $G$ sobre $F$ en términos de la Langlands local categórica.

Metodología
El autor emplea un enfoque de teoría de descenso para eludir las dificultades de definir la curva global directamente. En lugar de construir la curva directamente, el artículo define el espacio de módulos $\text{Bun}_{G,F}$ como un límite colimite de espacios de módulos $\text{Bun}_{G,U}$ sobre subesquemas densos abiertos $U \subset C$ (donde $C$ es la curva suave y propia asociada con $F$).

1. Analitificación y Descenso: La herramienta técnica central es el estudio de los fibrados vectoriales en la analitificación $U^{\text{an}}_S$ de $U$ sobre un espacio perfectoo afinoide $S$. El artículo establece el descenso-$v$ para fibrados vectoriales en estas analitificaciones y demuestra un teorema GAGA para esquemas suaves propios sobre espacios sousperfectos (Apéndice A), mostrando que los fibrados vectoriales algebraicos son equivalentes a sus analitificaciones.
2. Localización y Shtukas: Un mecanismo central es el mapa de localización $\text{loc}_Z: \text{Bun}_{G,U} \to \prod_{z \in Z} \text{Bun}_{G,F_z}$, donde $Z = C \setminus U$. El artículo relaciona los módulos globales con los módulos locales y los módulos de shtukas globales.
3. Conjetura del Producto Fibrado: El artículo demuestra un análogo de la conjetura del producto fibrado de Scholze para campos de funciones, estableciendo un cuadrado cartesiano que relaciona los módulos de shtukas globales, los módulos de shtukas locales y los módulos de $G$-fibrados. Esto permite la recuperación de la cohomología de las shtukas globales a partir de datos locales.
4. Haces Motivicos: Para manejar la categoría derivada de haces, el artículo utiliza la teoría de haces motivicos (en lugar de los haces $\ell$-ádicos clásicos) para facilitar las comparaciones entre diferentes teorías de haces y para definir operadores de Hecke en un entorno derivado.

Contribuciones Clave y Resultados

• Definición y Geometría de $\text{Bun}_{G,F}$:

  • Teorema A: El stack $\text{Bun}_{G,F}$ es un $v$-stack de Artin pequeño sobre $\mathbb{F}_q$. Es $\ell$-cohomológicamente suave, y su complejo dualizante con coeficientes en $\mathbb{F}_\ell$ es isomorfo a $\mathbb{F}_\ell$. Esto refleja resultados fundacionales para la curva de Fargues–Fontaine local.
  • Teorema B: El locus semiestable global $\text{Bun}^{ss}_{G,F}$ es un sub-stack abierto isomorfo a una unión disjunta de stacks de clasificación $\bigsqcup_{b \in B(F,G)_{\text{básico}}} * / G_b(F)$, donde $B(F,G)$ es el conjunto de Kottwitz global. Esto proporciona una geometrización del conjunto de Kottwitz global, aunque el artículo señala que no existe generalmente una biyección natural entre el espacio topológico subyacente $|\text{Bun}_{G,F}|$ y $B(F,G)$ debido a la dimensión positiva de las fibras sobre elementos no básicos (análogo a las variedades de Igusa).
  • Teorema C: El conjunto de clases de isomorfismo de los puntos de $\mathbb{F}_q$ de $\text{Bun}_{G,F}$ está en biyección natural con el conjunto de Kottwitz global $B(F,G)$.

• Relación con Shtukas y Stacks de Igusa:

  • Teorema D: El artículo demuestra un teorema de producto fibrado que relaciona los módulos de shtukas globales (acotados por representaciones del grupo dual) con el producto de los módulos de shtukas locales y los módulos de $G$-fibrados. Específicamente, los módulos de shtukas globales codifican el análogo de los stacks de Igusa para campos de funciones. Este resultado generaliza el trabajo previo sobre piernas disjuntas al caso de piernas colisionantes.

• Reformulación de la Correspondencia de Langlands:

  • Teorema E: La cohomología de los módulos de shtukas globales a nivel infinito (con respecto a un conjunto de lugares $Z$) puede recuperarse aplicando operadores de Hecke al objeto $\text{loc}_{Z,!}\Lambda$ en la categoría derivada del producto de los módulos locales.
  • Conjetura F: El artículo propone una conjetura de Langlands global que establece que, bajo la suposición de la conjetura de Langlands local categórica de Fargues–Scholze, el objeto $\text{loc}_{Z,!}\Lambda$ corresponde al empuje hacia adelante del complejo dualizante $\omega_{LS_{\hat{G},U}}$ a lo largo del mapa de restricción de representaciones de Galois. Esto refina las conjeturas de Arinkin–Gaitsgory–Kazhdan–Raskin–Rozenblyum–Varshavsky y Zhu.
  • Teorema G: La conjetura se verifica en el caso donde $G$ es un toro (conmutativo), utilizando el trabajo de Langlands sobre toros y descripciones explícitas de los módulos de representaciones de Galois.

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco geométrico fundacional para el programa de Langlands global sobre campos de funciones que es paralelo al éxito de la teoría local. Al definir $\text{Bun}_{G,F}$ y demostrar sus propiedades geométricas, el autor establece que este stack desempeña el papel de los stacks de Igusa sobre campos de funciones. La principal significancia reside en la reformulación de la conjetura de Langlands global: en lugar de buscar una correspondencia directa entre formas automórficas y representaciones de Galois, el artículo sugiere que la conjetura global debe verse como una identificación de las "teorías de frontera" (datos locales) a través del módulo global.

El artículo establece explícitamente que verifica esta conjetura para grupos conmutativos y demuestra una generalización de la conjetura de Langlands–Rapoport para los espacios de módulos de shtukas globales con piernas arbitrarias. También destaca el interés independiente del teorema GAGA para esquemas suaves propios sobre espacios sousperfectos, que fue necesario para controlar la geometría de las analitificaciones utilizadas en todos los procesos de prueba. El trabajo se presenta como un paso hacia una comprensión categórica unificada de la correspondencia de Langlands, cerrando la brecha entre las estructuras geométricas de las shtukas y el lado espectral de la correspondencia.