The Abel--Jacobi map over the twistor-$\mathbb{P}^1$ and real local class field theory

Resumen Técnico: El Mapa de Abel–Jacobi sobre el Twistor-$\mathbb{P}^1$ y la Teoría de la Clase Local Real

Planteamiento del Problema
Este artículo aborda la geometrización de la correspondencia de Langlands local sobre campos locales arquimedianos ($E = \mathbb{R}$ o $\mathbb{C}$), basándose en el marco establecido por Peter Scholze en [Sch24]. En el entorno no arquimediano, Fargues demostró que la correspondencia de Langlands local puede recuperarse mediante el estudio de la geometría de la curva de Fargues–Fontaine, específicamente al mostrar que los sistemas locales $\ell$-ádicos de rango uno sobre el stack de divisores de grado 1 ($\text{Div}^1_{\text{FF}}$) son pullbacks del stack de fibrados de línea ($\text{Pic}^1_{\text{FF}}$) vía el mapa de Abel–Jacobi.

Los autores pretenden establecer un resultado análogo para campos arquimedianos utilizando el "twistor-$\mathbb{P}^1$" ($X_E$) de Scholze como el objeto geométrico que reemplaza a la curva de Fargues–Fontaine. El desafío central es demostrar que el pullback a lo largo del mapa de Abel–Jacobi $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ induce una equivalencia en los anima de mapeo hacia el stack clasificatorio del grupo multiplicativo, recuperando así la teoría de la clase local ($W_E^{\text{ab}} \cong E^\times$) en este contexto geométrico.

Metodología y Obstáculos
Los autores intentan adaptar la estrategia de Fargues, la cual se basa en el isomorfismo $\text{Sym}^d \text{Div}^1_{\text{FF}} \cong \text{Div}^d_{\text{FF}}$ y la simple conectividad de las fibras del mapa de Abel–Jacobi para $d \geq 2$. Sin embargo, identifican dos obstrucciones fundamentales en el entorno arquimediano:

1. Fallo del Isomorfismo de Potencia Simétrica: A diferencia de la curva de Fargues–Fontione, el mapa natural $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ es sobreyectivo pero no es un isomorfismo. El stack $\text{Div}^d_E$ no es isomorfo a la $d$-ésima potencia simétrica de $\text{Div}^1_E$.
2. Problemas de Descenso: Los autores trabajan con fibrados coherentes cuasiconectados (fibrados de línea) en lugar de sheaves $\ell$-ádicos. Para el descenso de fibrados de línea a lo largo del mapa de Abel–Jacobi, las fibras deben ser "contractibles" en lugar de meramente simplemente conectadas. Los mapas de Abel–Jacobi de grado finito $AJ_d$ son solo $(d-1)$-conectivos, lo cual es insuficiente para el descenso requerido.

Para superar estos problemas, los autores emplean las siguientes estrategias técnicas:

• El Locus $\text{Div}^d_{\text{HT}\leq 1}$: Introducen un sub-stack abierto $\text{Div}^d_{\text{HT}\leq 1} \subset \text{Div}^d_E$, que parametriza divisores donde el orden de vanecimiento en los puntos distinguidos $0$y$\infty$ es a lo sumo 1. Demuestran que en este locus, el mapa $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ se convierte en un isomorfismo.
• Extensión Única de Fibrados de Línea: Demuestran que los fibrados de línea se extienden de forma única de $\text{Div}^d_{\text{HT}\leq 1}$ a todo el stack $\text{Div}^d_E$. Esto se logra analizando los charts de estos stacks (cocientes explícitos involucrando espacios analíticos y stacks de Betti) y mostrando que el complemento de "codimensión dos" no afecta al Picardoid de la línea.
• Límite de Nivel Infinito: Para resolver el problema de conectividad, los autores pasan a un mapa de Abel–Jacobi de "nivel infinito". Ensamblan los mapas de grado $d$ en un único mapa tomando el colímite de los stacks $\text{Div}^d_E$ bajo los mapas de transición inducidos por la multiplicación con divisores específicos de grado 1. Demuestran que este colímite produce un stack con fibras contractibles (específicamente, un cociente de un espacio contractible), permitiendo el descenso de los fibrados de línea.

Contribuciones Clave y Resultados
El artículo establece los siguientes resultados principales:

1. Teorema 1.1 (Teorema 5.2): Para un campo local arquimediano $E$, el pullback a lo largo del mapa de Abel–Jacobi $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ induce una equivalencia de anima de mapeo:
   $$\text{Map}(\text{Pic}^1_E, \ast/G^{\text{an}}_m) \xrightarrow{\sim} \text{Map}(\text{Div}^1_E, \ast/G^{\text{an}}_m)$$
   Consecuentemente, cualquier fibrado de línea en $\text{Div}^1_E$ es un pullback de $\text{Pic}^1_E$.

2. Corolario 1.2 (Teoría de la Clase Local): Los autores deducen el isomorfismo canónico $W_E^{\text{ab}} \cong E^\times$ para campos arquimedianos. Esto se deriva combinando el teorema principal con la identificación de Scholze de los fibrados de línea en $\text{Div}^1_E$ con los caracteres del grupo de Weil $W_E$, y la identificación de $\text{Pic}^1_E$ con el stack clasificatorio de $E^\times$.

3. Análisis Geométrico de $\text{Div}^d_E$: El artículo proporciona un análisis estructural detallado del stack de divisores de grado $d$, incluyendo:

   • Probar que $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ es sobreyectivo pero no inyectivo (Ejemplo 4.13).
   • Establecer que el mapa se convierte en un isomorfismo tras restringirse al stack de de Rham analítico o al locus abierto $\text{Div}^d_{\text{HT}\leq 1}$ (Proposición 4.9, Proposición 4.17).
   • Probar la extensión única de fibrados vectoriales de $\text{Div}^d_{\text{HT}\leq 1}$ a $\text{Div}^d_E$ (Proposición 4.19).

Significación y Reivindicaciones
Los autores posicionan este trabajo como un paso crucial en el programa de Langlands local categórico para campos arquimedianos, emulando el éxito de Fargues en el caso no arquimediano. La significación radica en:

• Realización Geométrica: Proporciona una prueba geométrica de la teoría de la clase local arquimediana, análoga a la prueba geométrica de Deligne para la teoría de la clase global, pero adaptada al entorno local mediante la geometría de twistor de Scholze.
• Adaptación Metodológica: Demuestra cómo navegar las dificultades específicas del entorno arquimediano (falta de sheaves $\ell$-ádicos, diferentes propiedades de conectividad) mediante la introducción del locus $\text{HT}\leq 1$ y el uso de límites de nivel infinito.
• Marco Fundacional: El artículo depende fuertemente de la estructura de anillo analítico "gaseoso" y de la teoría de stacks analíticos desarrollada en [Sch24], sirviendo como una aplicación concreta y una verificación de la utilidad de dicho marco para recuperar resultados clásicos de la teoría de números.

Los autores advierten que sus argumentos respecto a "codimensión" y "contractibilidad" son guías intuitivas más que definiciones formales dentro del entorno de los stacks analíticos, ya que las nociones robustas de dimensión y grupos fundamentales aún no están plenamente establecidas en este contexto. La prueba se apoya en el análisis explícito de charts y propiedades de descenso en lugar de argumentos topológicos puramente formales.