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

Sintesi Tecnica: La Mappa di Abel–Jacobi sul Twistor-$\mathbb{P}^1$ e la Teoria di Classe Locale Reale

Enunciato del Problema
Questo articolo affronta la geometrizzazione della corrispondenza di Langlands locale su campi locali archimedei ($E = \mathbb{R}$ o $\mathbb{C}$), basandosi sul quadro stabilito da Peter Scholze in [Sch24]. Nel contesto non archimedeo, Fargues ha dimostrato che la corrispondenza di Langlands locale può essere recuperata studiando la geometria della curva di Fargues–Fontaine, specificamente mostrando che i sistemi locali $\ell$-adici di rango uno sugli stack di divisori di grado 1 ($\text{Div}^1_{\text{FF}}$) sono il pull-back dal bundle di linee dello stack dei bundle di linee ($\text{Pic}^1_{\text{FF}}$) tramite la mappa di Abel–Jacobi.

Gli autori mirano a stabilire un risultato analogo per i campi archimedei utilizzando il "twistor-$\mathbb{P}^1$" ($X_E$) di Scholze come oggetto geometrico che sostituisce la curva di Fargues–Fontione. La sfida centrale è dimostrare che il pull-back lungo la mappa di Abel–Jacobi $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ induce un equivalenza sulle anima di mapping nel classifying stack del gruppo moltiplicativo, recuperando così la teoria di classe locale ($W_E^{\text{ab}} \cong E^\times$) in questo contesto geometrico.

Metodologia e Ostacoli
Gli autori tentano di adattare la strategia di Fargues, la quale si basa sull'isomorfismo $\text{Sym}^d \text{Div}^1_{\text{FF}} \cong \text{Div}^d_{\text{FF}}$ e sulla semplice connettività dei fiber della mappa di Abel–Jacobi per $d \geq 2$. Tuttavia, essi identificano due ostacoli fondamentali nel contesto archimedeo:

1. Fallimento dell'Isomorfismo di Potenza Simmetrica: A differenza della curva di Fargues–Fontaine, la mappa naturale $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ è suriettiva ma non è un isomorfismo. Lo stack $\text{Div}^d_E$ non è isomorfo alla $d$-esima potenza simmetrica di $\text{Div}^1_E$.
2. Problemi di Descent (Discesa): Gli autori lavorano con fasci quasi-coerenti (bundle di linee) piuttosto che con fasci $\ell$-adici. Per la discesa dei bundle di linee lungo la mappa di Abel–Jacobi, i fiber devono essere "contrattili" piuttosto che semplicemente connessi. Le mappe di Abel–Jacobi di grado finito $AJ_d$ sono solo $(d-1)$-connesse, il che è insufficiente per la discesa richiesta.

Per superare questi problemi, gli autori impiegano le seguenti strategie tecniche:

• Il Locus $\text{Div}^d_{\text{HT}\leq 1}$: Introducono uno substack aperto $\text{Div}^d_{\text{HT}\leq 1} \subset \text{Div}^d_E$, che parametrizza i divisori dove l'ordine di annullamento nei punti distinti $0$e$\infty$ è al massimo 1. Dimostrano che su questo locus la mappa $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ diventa un isomorfismo.
• Estensione Unica dei Bundle di Linee: Dimostrano che i bundle di linee si estendono unicamente da $\text{Div}^d_{\text{HT}\leq 1}$ all'intero stack $\text{Div}^d_E$. Ciò viene ottenuto analizzando gli chart di questi stack (quotienti espliciti coinvolgenti spazi analitici e Betti stacks) e mostrando che il complemento di "codimensione due" non influenza il Picard groupoid.
• Limite di Livello Infinito: Per risolvere il problema della connettività, gli autori passano a una mappa di Abel–Jacobi a "livello infinito". Assemblano le mappe di grado $d$ in una singola mappa prendendo il colimit degli stack $\text{Div}^d_E$ sotto le mappe di transizione indotte dalla moltiplicazione con specifici divisori di grado 1. Dimostrano che questo colimit produce uno stack con fiber contrattili (specificamente, un quoziente di uno spazio contrattile), permettendo la discesa dei bundle di linee.

Contributi Chiave e Risultati
L'articolo stabilisce i seguenti risultati principali:

1. Teorema 1.1 (Teorema 5.2): Per un campo locale archimedeo $E$, il pull-back lungo la mappa di Abel–Jacobi $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ induce un'equivalenza di anima di mapping:
   $$\text{Map}(\text{Pic}^1_E, \ast/G^{\text{an}}_m) \xrightarrow{\sim} \text{Map}(\text{Div}^1_E, \ast/G^{\text{an}}_m)$$
   Di conseguenza, ogni bundle di linee su $\text{Div}^1_E$ è un pull-back da $\text{Pic}^1_E$.

2. Corollario 1.2 (Teoria di Classe Locale): Gli autori deducono l'isomorfismo canonico $W_E^{\text{ab}} \cong E^\times$ per i campi archimedei. Questo deriva combinando il teorema principale con l'identificazione di Scholze dei bundle di linee su $\text{Div}^1_E$ con i caratteri del gruppo di Weil $W_E$, e l'identificazione di $\text{Pic}^1_E$ con il classifying stack di $E^\times$.

3. Analisi Geometrica di $\text{Div}^d_E$: Il lavoro fornisce un'analisi strutturale dettagliata dello stack dei divisori di grado $d$, includendo:

   • Dimostrare che $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ è suriettiva ma non iniettiva (Esempio 4.13).
   • Stabilire che la mappa diventa un isomorfismo dopo la restrizione allo stack de Rham analitico o al locus aperto $\text{Div}^d_{\text{HT}\leq 1}$ (Proposizione 4.9, Proposizione 4.17).
   • Provare l'estensione unica dei bundle vettoriali da $\text{Div}^d_{\text{HT}\leq 1}$ a $\text{Div}^d_E$ (Proposizione 4.19).

Significato e Rivendicazioni
Gli autori posizionano questo lavoro come un passo cruciale nel programma di Langlands locale categorico per i campi archimedei, rispecchiando il successo di Fargues nel caso non archimedeo. La significatività risiede in:

• Realizzazione Geometrica: Fornisce una prova geometrica della teoria di classe locale archimea, analoga alla prova geometrica di Deligne per la teoria di classe globale, ma adattata al contesto locale tramite la geometria twistor di Scholze.
• Adattamento Metodologico: Dimostra come navigare le specifiche difficoltà del contesto archimedeo (mancanza di fasci $\ell$-adici, diverse proprietà di connettività) introducendo il locus $\text{HT}\leq 1$ e utilizzando limiti di livello infinito.
• Quadro Fondamentale: Il lavoro si basa pesantemente sulla struttura di anello analitico "gaseoso" e sulla teoria degli stack analitici sviluppata in [Sch24], servendo come applicazione concreta e verifica dell'utilità di tale framework nel recuperare risultati numerici classici.

Gli autori avvertono che i loro argomenti riguardanti "codimensione" e "contrattilità" sono guide intuitive piuttosto che definizioni formali nel contesto degli stack analitici, poiché nozioni robuste di dimensione e gruppi fondamentali non sono ancora pienamente stabilite in questo contesto. La prova si affida all'analisi esplicita degli chart e alle proprietà di discesa piuttosto che ad argomenti topologici puramente formali.