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

Resumo Técnico: O Mapa de Abel–Jacobi sobre o Twistor-$\mathbb{P}^1$ e a Teoria de Classe Local Real

Enunciado do Problema
Este artigo aborda a geometrização da correspondência de Langlands local sobre corpos locais arquimedianos ($E = \mathbb{R}$ ou $\mathbb{C}$), baseando-se no arcabouço estabelecido por Peter Scholze em [Sch24]. No cenário não arquimediano, Fargues demonstrou que a correspondência de Langlands local pode ser recuperada através do estudo da geometria da curva de Fargues–Fontaine, especificamente ao mostrar que sistemas locais $\ell$-ádicos de posto um sobre o stack de divisores de grau 1 ($\text{Div}^1_{\text{FF}}$) são puxados de volta do stack de fibrados de linha ($\text{Pic}^1_{\text{FF}}$) via o mapa de Abel–Jacobi.

Os autores visam estabelecer um resultado análogo para corpos arquimedianos usando o "twistor-$\mathbb{P}^1$" ($X_E$) de Scholze como o objeto geométrico que substitui a curva de Fargues–Fontaine. O desafio central é provar que o pullback ao longo do mapa de Abel–Jacobi $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ induz uma equivalência nos anima de mapeamento para o stack classificando do grupo multiplicativo, recuperando assim a teoria de classe local ($W_E^{\text{ab}} \cong E^\times$) neste contexto geométrico.

Metodologia e Obstáculos
Os autores tentam adaptar a estratégia de Fargues, que se baseia no isomorfismo $\text{Sym}^d \text{Div}^1_{\text{FF}} \cong \text{Div}^d_{\text{FF}}$ e na simples conectividade das fibras do mapa de Abel–Jacobi para $d \geq 2$. No entanto, eles identificam dois obstáculos fundamentais no cenário arquimediano:

1. Falha do Isomorfismo de Potência Simétrica: Diferente da curva de Fargues–Fontione, o mapa natural $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ é sobrejetivo, mas não um isomorfismo. O stack $\text{Div}^d_E$ não é isomorfo à $d$-ésima potência simétrica de $\text{Div}^1_E$.
2. Problemas de Descida: Os autores trabalham com fibrados coerentes quase-coerentes (fibrados de linha) em vez de sheaves $\ell$-ádicos. Para a descida de fibrados de linha ao longo do mapa de Abel–Jacobi, as fibras devem ser "contraíbeis" em vez de meramente simplesmente conectadas. Os mapas de Abel–Jacobi de grau finito $AJ_d$ são apenas $(d-1)$-conectivos, o que é insuficiente para a descida necessária.

Para superar esses problemas, os autores empregam as seguintes estratégias técnicas:

• O Locus $\text{Div}^d_{\text{HT}\leq 1}$: Eles introduzem um sub-stack aberto $\text{Div}^d_{\text{HT}\leq 1} \subset \text{Div}^d_E$, que parametriza divisores onde a ordem de nulidade nos pontos distinguidos $0$e$\infty$ é de no máximo 1. Eles provam que, neste locus, o mapa $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ torna-se um isomorfismo.
• Extensão Única de Fibrados de Linha: Eles demonstram que fibrados de linha estendem-se unicamente de $\text{Div}^d_{\text{HT}\leq 1}$ para todo o stack $\text{Div}^d_E$. Isso é alcançado através da análise dos charts desses stacks (quotientes explícitos envolvendo espaços analíticos e stacks de Betti) e mostrando que o complemento de "codimensão dois" não afeta o grupo de Picard.
• Limite de Nível Infinito: Para resolver a questão da conectividade, os autores passam para um mapa de Abel–Jacobi de "nível infinito". Eles montam os mapas de grau $d$ em um único mapa, tomando o colimite dos stacks $\text{Div}^d_E$ sob mapas de transição induzidos pela multiplicação com divisores específicos de grau 1. Eles mostram que este colimite resulta em um stack com fibras contraíbeis (especificamente, um quotient de um espaço contraível), permitindo a descida de fibrados de linha.

Principais Contribuições e Resultados
O artigo estabelece os seguintes resultados principais:

1. Teorema 1.1 (Teorema 5.2): Para um corpo local arquimediano $E$, o pullback ao longo do mapa de Abel–Jacobi $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$ induz uma equivalência de anima de mapeamento:
   $$\text{Map}(\text{Pic}^1_E, \ast/G^{\text{an}}_m) \xrightarrow{\sim} \text{Map}(\text{Div}^1_E, \ast/G^{\text{an}}_m)$$
   Consequentemente, qualquer fibrado de linha em $\text{Div}^1_E$ é puxado de volta de $\text{Pic}^1_E$.

2. Corolário 1.2 (Teoria de Classe Local): Os autores deduzem o isomorfismo canônico $W_E^{\text{ab}} \cong E^\times$ para corpos arquimedianos. Isto é derivado combinando o teorema principal com a identificação de Scholze de fibrados de linha em $\text{Div}^1_E$ com caracteres do grupo de Weil $W_E$, e a identificação de $\text{Pic}^1_E$ com o stack classificando de $E^\times$.

3. Análise Geométrica de $\text{Div}^d_E$: O artigo fornece uma análise estrutural detalhada do stack de divisores de grau $d$, incluindo:

   • Provar que $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$ é sobrejetivo, mas não injetivo (Exemplo 4.13).
   • Estabelecer que o mapa torna-se um isomorfismo após a restrição ao stack de de Rham analítico ou ao locus aberto $\text{Div}^d_{\text{HT}\leq 1}$ (Proposição 4.9, Proposição 4.17).
   • Provar a extensão única de fibrados vetoriais de $\text{Div}^d_{\text{HT}\leq 1}$ para $\text{Div}^d_E$ (Proposição 4.19).

Significância e Alegações
Os autores posicionam este trabalho como um passo crucial no programa de Langlands local categórico para corpos arquimedianos, espelhando o sucesso de Fargues no caso não arquimediano. A significância reside em:

• Realização Geométrica: Fornece uma prova geométrica da teoria de classe local arquimediana, análoga à prova geométrica de Deligne para a teoria de classe global, mas adaptada ao cenário local via a geometria de twistor de Scholze.
• Adaptação Metodológica: Demonstra como navegar pelas dificuldades específicas do cenário arquimediano (falta de sheaves $\ell$-ádicas, diferentes propriedades de conectividade) ao introduzir o locus $\text{HT}\leq 1$ e utilizar limites de nível infinito.
• Arcabouço Fundamental: O artigo depende fortemente da estrutura de anel analítico "gasoso" e da teoria de stacks analíticos desenvolvida em [Sch24], servindo como uma aplicação concreta e verificação da utilidade desse arcabouço para recuperar resultados clássicos da teoria dos números.

Os autores advertem que seus argumentos relativos a "codimensão" e "contraibilidade" são guias intuitivos em vez de definições formais dentro do contexto de stacks analíticos, uma vez que noções robustas de dimensão e grupos fundamentais ainda não estão totalmente estabelecidas neste contexto. A prova baseia-se na análise explícita de charts e propriedades de descida, em vez de argumentos topológicos puramente formais.