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

Technische Samenvatting: De Abel–Jacobi-afbeelding over de Twistor-$\mathbb{P}^1$ en de Reële Lokale Klasseveldentheorie

Probleemstelling
Dit artikel behandelt de geometrisering van de lokale Langlands-correspondentie over archimedische lokale velden ($E = \mathbb{R}$ of $\mathbb{C}$), voortbouwend op het kader dat door Peter Scholze is gevestigd in [Sch24]. In de niet-archimedische setting heeft Fargues aangetoond dat de lokale Langlands-correspondentie kan worden teruggewonnen door de geometrie van de Fargues–Fontaine-curve te bestuderen, specifiek door aan te tonen dat rang één $\ell$-adische lokale systemen op de stack van divisor van graad 1 ($\text{Div}^1_{\text{FF}}$) het pullback zijn van de stack van lijnbundels ($\text{Pic}^1_{\text{FF}}$) via de Abel–Jacobi-afbeelding.

De auteurs beogen een analoog resultaat te vestigen voor archimedische velden door Scholze's "twistor-$\mathbb{P}^1$" ($X_E$) als het geometrische object te gebruiken dat de Fargues–Fontaine-curve vervangt. De centrale uitdaging is om te bewijzen dat de pullback langs de Abel–Jacobi-afbeelding $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ een equivalentie induceert op de mapping anima naar de klassificerende stack van de multiplicatieve groep, waarmee de lokale klasseveldentheorie ($W_E^{\text{ab}} \cong E^\times$) in deze geometrische context wordt teruggewonnen.

Methodologie en Obstakels
De auteurs proberen de strategie van Fargues aan te passen, die steunt op de isomorfisme $\text{Sym}^d \text{Div}^1_{\text{FF}} \cong \text{Div}^d_{\text{FF}}$ en de eenvoudige samenhang van de vezels van de Abel–Jacobi-afbeelding voor $d \geq 2$. Zij identificeren echter twee fundamentele obstructies in de archimedische setting:

1. Het falen van de symmetrische macht-isomorfisme: In tegenstelling tot de Fargues–Fontaine-curve is de natuurlijke afbeelding $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ wel surjectief maar niet een isomorfisme. De stack $\text{Div}^d_E$ is niet isomorf met de $d$-de symmetrische macht van $\text{Div}^1_E$.
2. Descent-problemen: De auteurs werken met quasi-coherente sheaves (lijnbundels) in plaats van $\ell$-adische sheaves. Voor de descent van lijnbundels langs de Abel–Jacobi-afbeelding moeten de vezels "contractibel" zijn in plaats van enkel eenvoudig samenhangend. De eindige-graad Abel–Jacobi-afbeeldingen $AJ_d$ zijn slechts $(d-1)$-connectief, wat onvoldoende is voor de vereiste descent.

Om deze problemen te overwinnen, hanteren de auteurs de volgende technische strategieën:

• De Locus $\text{Div}^d_{\text{HT}\leq 1}$: Zij introduceren een open substack $\text{Div}^d_{\text{HT}\leq 1} \subset \text{Div}^d_E$, die divisors parametriseert waarbij de orde van nulvallen bij de onderscheiden punten $0$ en $\infty$ maximaal 1 is. Zij bewijzen dat op deze locus de afbeelding $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ een isomorfisme wordt.
• Unieke Extensie van Lijnbundels: Zij tonen aan dat lijnbundels zich uniek uitbreiden van $\text{Div}^d_{\text{HT}\leq 1}$ naar de gehele stack $\text{Div}^d_E$. Dit wordt bereikt door de charts van deze stacks te analyseren (expliciete quotienten van analytische ruimtes en Betti-stacks) en te laten zien dat de "codimensie twee" complement de Picard-groïde niet beïnvloedt.
• Oneindig Niveau Limiet: Om het connectiviteitsprobleem op te lossen, gaan de auteurs over naar een "oneindig niveau" Abel–Jacobi-afbeelding. Zij assembleren de graad $d$ afbeeldingen tot een enkele afbeelding door de colimiet te nemen van de stacks $\text{Div}^d_E$ onder transitieafbeeldingen geïnduceerd door vermenigvuldiging met specifieke divisors van graad 1. Zij tonen aan dat deze colimiet een stack oplevert met contractibele vezels (specifiek, een quotient van een contractibele ruimte), wat de descent van lijnbundels mogelijk maakt.

Belangrijkste Bijdragen en Resultaten
Het artikel vestigt de volgende hoofdresultaten:

1. Stelling 1.1 (Stelling 5.2): Voor een archimedisch lokaal veld $E$ induceert de pullback langs de Abel–Jacobi-afbeelding $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ een equivalentie van 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)$$
   Bijgevolg is elke lijnbundel op $\text{Div}^1_E$ een pullback van $\text{Pic}^1_E$.

2. Corollary 1.2 (Lokale Klasseveldentheorie): De auteurs leiden de canonieke isomorfisme $W_E^{\text{ab}} \cong E^\times$ af voor archimedische velden. Dit wordt afgeleid door de hoofdstelling te combineren met Scholze's identificatie van lijnbundels op $\text{Div}^1_E$ met karakteren van de Weil-groep $W_E$, en de identificatie van $\text{Pic}^1_E$ met de klassificerende stack van $E^\times$.

3. Geometrische Analyse van $\text{Div}^d_E$: Het artikel biedt een gedetailleerde structurele analyse van de stack van divisors van graad $d$, inclusief:

   • Het bewijs dat $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ surjectief maar niet injectief is (Voorbeeld 4.13).
   • Het vaststellen dat de afbeelding een isomorfisme wordt na restrictie naar de analytische de Rham-stack of de open locus $\text{Div}^d_{\text{HT}\leq 1}$ (Propositie 4.9, Propositie 4.17).
   • Het bewijzen van de unieke extensie van vectorbundels van $\text{Div}^d_{\text{HT}\leq 1}$ naar $\text{Div}^d_E$ (Propositie 4.19).

Betekenis en Claims
De auteurs positioneren dit werk als een cruciale stap in het categorische lokale Langlands-programma voor archimedische velden, in navolging van Fargues' succes in de niet-archimedische setting. De betekenis ligt in:

• Geometrische Realisatie: Het biedt een geometrisch bewijs van de archimedische lokale klasseveldentheorie, analoog aan Deligne's geometrische bewijs van de globale klasseveldentheorie, maar aangepast aan de lokale setting via Scholze's twistor-geometrie.
• Methodologische Aanpassing: Het demonstreert hoe men de specifieke moeilijkheden van de archimedische setting (gebrek aan $\ell$-adische sheaves, verschillende connectiviteitseigenschappen) kan navigeren door de introductie van de $\text{HT}\leq 1$ locus en het gebruik van limieten op oneindig niveau.
• Fundamenteel Kader: Het artikel leunt zwaar op de "gaseous" analytische ringstructuur en de theorie van analytische stacks ontwikkeld in [Sch24], dienend als een concrete toepassing en verificatie van de bruikbaarheid van dat kader voor het terugwinnen van klassieke getaltheoretische resultaten.

De auteurs waarschuwen dat hun argumenten met betrekking tot "codimensie" en "contractibiliteit" intuïtieve gidsen zijn in plaats van formele definities binnen de context van de analytische stack, aangezien robuuste begrippen van dimensie en fundamentele groepen nog niet volledig zijn gevestigd in deze context. Het bewijs berust op expliciete chart-analyse en descent-eigenschappen in plaats van puur formele topologische argumenten.