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

Technical Summary: The Abel–Jacobi Map over the Twistor-$\mathbb{P}^1$ and Real Local Class Field Theory

Problem Statement
This paper addresses the geometrization of the local Langlands correspondence over archimedean local fields ($E = \mathbb{R}$ or $\mathbb{C}$), building upon the framework established by Peter Scholze in [Sch24]. In the non-archimedean setting, Fargues demonstrated that the local Langlands correspondence can be recovered by studying the geometry of the Fargues–Fontaine curve, specifically by showing that rank one $\ell$-adic local systems on the stack of degree 1 divisors ($\text{Div}^1_{\text{FF}}$) are pulled back from the stack of line bundles ($\text{Pic}^1_{\text{FF}}$) via the Abel–Jacobi map.

The authors aim to establish an analogous result for archimedean fields using Scholze's "twistor-$\mathbb{P}^1$" ($X_E$) as the geometric object replacing the Fargues–Fontaine curve. The central challenge is to prove that the pullback along the Abel–Jacobi map $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ induces an equivalence on mapping anima into the classifying stack of the multiplicative group, thereby recovering local class field theory ($W_E^{\text{ab}} \cong E^\times$) in this geometric context.

Methodology and Obstacles
The authors attempt to adapt Fargues' strategy, which relies on the isomorphism $\text{Sym}^d \text{Div}^1_{\text{FF}} \cong \text{Div}^d_{\text{FF}}$ and the simple connectivity of the fibers of the Abel–Jacobi map for $d \geq 2$. However, they identify two fundamental obstructions in the archimedean setting:

1. Failure of Symmetric Power Isomorphism: Unlike the Fargues–Fontaine curve, the natural map $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ is surjective but not an isomorphism. The stack $\text{Div}^d_E$ is not isomorphic to the $d$-th symmetric power of $\text{Div}^1_E$.
2. Descent Issues: The authors work with quasi-coherent sheaves (line bundles) rather than $\ell$-adic sheaves. For descent of line bundles along the Abel–Jacobi map, the fibers must be "contractible" rather than merely simply connected. The finite-degree Abel–Jacobi maps $AJ_d$ are only $(d-1)$-connective, which is insufficient for the required descent.

To overcome these issues, the authors employ the following technical strategies:

• The Locus $\text{Div}^d_{\text{HT}\leq 1}$: They introduce an open substack $\text{Div}^d_{\text{HT}\leq 1} \subset \text{Div}^d_E$, parametrizing divisors where the order of vanishing at the distinguished points $0$ and $\infty$ is at most 1. They prove that on this locus, the map $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ becomes an isomorphism.
• Unique Extension of Line Bundles: They demonstrate that line bundles extend uniquely from $\text{Div}^d_{\text{HT}\leq 1}$ to the entire stack $\text{Div}^d_E$. This is achieved by analyzing the charts of these stacks (explicit quotients involving analytic spaces and Betti stacks) and showing that the "codimension two" complement does not affect the Picard groupoid.
• Infinite Level Limit: To resolve the connectivity issue, the authors pass to an "infinite level" Abel–Jacobi map. They assemble the degree $d$ maps into a single map by taking the colimit of the stacks $\text{Div}^d_E$ under transition maps induced by multiplication with specific degree 1 divisors. They show that this colimit yields a stack with contractible fibers (specifically, a quotient of a contractible space), allowing for the descent of line bundles.

Key Contributions and Results
The paper establishes the following main results:

1. Theorem 1.1 (Theorem 5.2): For an archimedean local field $E$, the pullback along the Abel–Jacobi map $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ induces an equivalence of mapping anima:
   $$\text{Map}(\text{Pic}^1_E, \ast/G^{\text{an}}_m) \xrightarrow{\sim} \text{Map}(\text{Div}^1_E, \ast/G^{\text{an}}_m)$$
   Consequently, any line bundle on $\text{Div}^1_E$ is pulled back from $\text{Pic}^1_E$.

2. Corollary 1.2 (Local Class Field Theory): The authors deduce the canonical isomorphism $W_E^{\text{ab}} \cong E^\times$ for archimedean fields. This is derived by combining the main theorem with Scholze's identification of line bundles on $\text{Div}^1_E$ with characters of the Weil group $W_E$, and the identification of $\text{Pic}^1_E$ with the classifying stack of $E^\times$.

3. Geometric Analysis of $\text{Div}^d_E$: The paper provides a detailed structural analysis of the stack of degree $d$ divisors, including:

   • Proving that $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ is surjective but not injective (Example 4.13).
   • Establishing that the map becomes an isomorphism after restricting to the analytic de Rham stack or the open locus $\text{Div}^d_{\text{HT}\leq 1}$ (Proposition 4.9, Proposition 4.17).
   • Proving the unique extension of vector bundles from $\text{Div}^d_{\text{HT}\leq 1}$ to $\text{Div}^d_E$ (Proposition 4.19).

Significance and Claims
The authors position this work as a crucial step in the categorical local Langlands program for archimedean fields, mirroring Fargues' success in the non-archimedean case. The significance lies in:

• Geometric Realization: It provides a geometric proof of archimedean local class field theory, analogous to Deligne's geometric proof of global class field theory, but adapted to the local setting via Scholze's twistor geometry.
• Methodological Adaptation: It demonstrates how to navigate the specific difficulties of the archimedean setting (lack of $\ell$-adic sheaves, different connectivity properties) by introducing the $\text{HT}\leq 1$ locus and utilizing infinite-level limits.
• Foundational Framework: The paper relies heavily on the "gaseous" analytic ring structure and the theory of analytic stacks developed in [Sch24], serving as a concrete application and verification of that framework's utility in recovering classical number-theoretic results.

The authors caution that their arguments regarding "codimension" and "contractibility" are intuitive guides rather than formal definitions within the analytic stack setting, as robust notions of dimension and fundamental groups are not yet fully established in this context. The proof relies on explicit chart analysis and descent properties rather than purely formal topological arguments.