Generalized local jacobians and commutative group stacks

Resumo Técnico: Generalizados Jacobianos Locais e Stacks de Grupos Comutativos

Autor: Bertrand Toën
Contexto: Geometria Algébrica, Teoria de Stacks, Cohomologia Flat (fppf), Homologia Algébrica.

1. O Problema e o Objetivo

O artigo visa recastar (reformular) uma construção clássica de Alexander Grothendieck, apresentada em uma carta a Serre (1960), no contexto moderno da álgebra superior (higher algebra) e da teoria de stacks.

• A Construção Original de Grothendieck: Para uma variedade suave $X$, Grothendieck esboçou a construção de um complexo $J^*(X)$ de grupos pro-algébricos comutativos. Este complexo é composto por fatores locais chamados "jacobianos generalizados locais" e serve para calcular a cohomologia de Zariski de $X$ com coeficientes em grupos algébricos, atuando como uma "homologia" de $X$.
• A Limitação: A construção original vive na categoria de complexos de grupos pro-algébricos. No entanto, a teoria moderna de stacks (especificamente stacks de grupos comutativos no sentido de $\infty$-categorias) oferece um ambiente mais rico e flexível.
• O Objetivo do Artigo: Introduzir uma noção de homologia algébrica ($H_{alg}(X)$) definida como um objeto universal no $\infty$-categoria de stacks de grupos algébricos comutativos (para a topologia fppf). O objetivo principal é provar que, para esquemas suaves, a homologia algébrica recobre a construção original de Grothendieck como uma "truncagem" e que ambos os objetos calculam a mesma cohomologia fppf sob certas condições.

2. Metodologia e Estrutura Teórica

O trabalho opera sobre um corpo perfeito $k$ e utiliza o $\infty$-topos de stacks hipercompletos na topologia fppf ($Stk$).

• Definição de Stacks de Grupos Algébricos Comutativos:
  O autor define objetos em $AbStk^{alg}_k$ como objetos de grupos comutativos dentro da $\infty$-categoria de stacks de Artin localmente de tipo finito, com diagonal fortemente quase-compacta. Estes são análogos de ordem superior aos grupos algébricos locais. Eles podem ser caracterizados como complexos conectivos de feixes abelianos cujas cohomologias são representáveis por grupos algébricos locais.

• Definição de Homologia Algébrica ($H_{alg}(X)$):
  Para um esquema $X$, a homologia algébrica é definida como o objeto pro-representante do funtor $\infty$-functorial:
  $$E \mapsto \text{Map}(X, E)$$
  onde $E$ varia na categoria de stacks de grupos algébricos comutativos.

  • Interpretação: $H_{alg}(X)$ é uma generalização derivada da variedade de Albanese de $X$, incorporando dados cohomológicos de ordem superior.

• Filtragem por Dimensão de Suporte:
  Para tornar $H_{alg}(X)$ explícito, o autor introduz uma filtragem natural baseada na dimensão dos suportes em $X$:
  $$0 \to F_{dim X} H_{alg}(X) \to \dots \to F_0 H_{alg}(X) = H_{alg}(X)$$
  Os quocientes graduados $Gr_d H_{alg}(X)$ são descritos como produtos de homologias algébricas locais sobre os pontos de dimensão $d$ em $X$.

• Uso da Pureza (Purity):
  Um ingrediente crucial é o teorema de pureza para cohomologia local em esquemas suaves. Isso implica que, para $X$ suave de dimensão $n$, os quocientes graduados $Gr_d H_{alg}(X)$ são $(n-d)$-conectivos em relação à estrutura $t$ de Beilinson.

3. Contribuições e Resultados Principais

A. Comparação com a Construção de Grothendieck (Teorema 0.2)
Para um esquema suave $X$ de dimensão $n$, o autor demonstra um isomorfismo natural de complexos de grupos pro-algébricos:
$$H^0_B(F_* H_{alg}(X)) \simeq J^*(X)$$
Onde:

• $J^*(X)$ é o complexo original de Grothendieck (produto de jacobianos generalizados locais).
• $H^0_B$ refere-se à 0-ésima cohomologia em relação à estrutura $t$ de Beilinson em objetos filtrados.
• Significado: A construção de Grothendieck aparece como a "truncagem" da homologia algébrica superior. Embora a projeção $H_{alg}(X) \to J^*(X)$ não seja uma equivalência geral (pois $H_{alg}(X)$ contém mais informação homotópica), eles são equivalentes para o propósito de calcular cohomologia.

B. Cálculo de Cohomologia fppf (Teorema 0.3)
O artigo prova que tanto a homologia algébrica quanto o complexo de Grothendieck podem ser usados para calcular a cohomologia fppf $H^i_{fppf}(X, G)$ com coeficientes em grupos comutativos $G$ (afins se $i>0$, unipotentes se $i>1$).
O resultado estabelece um isomorfismo:
$$\text{Ext}^i_{naive}(J^*(X), G) \simeq H^i_{fppf}(X, G)$$
Onde $\text{Ext}^i_{naive}$ refere-se aos grupos de extensão de Yoneda calculados na categoria derivada de complexos de grupos pro-algébricos (diferente dos ext-groups de feixes fppf).

C. Generalização Parcial: Homologia Afim (Seção 4)
Reconhecendo que a pureza e a estrutura de grupos algébricos são difíceis de generalizar para bases arbitrárias, o autor introduz a Homologia Afim ($H_u(X)$).

• Baseia-se na teoria de stacks afins (Toën, 2007).
• É definida como o objeto universal que representa mapas para stacks de grupos afins (gerados por limites de $\mathbb{G}_a[n]$).
• Teoria de Dieudonné Derivada: A homologia afim é completamente caracterizada pelo complexo $R\Gamma(X, \mathbb{G}_a)$ visto como um módulo dg sobre o anel de endomorfismos $REnd(\mathbb{G}_a)$. Isso fornece uma forma de teoria de Dieudonné para homologia afim.
• Esta construção funciona sobre anéis base arbitrários, mas restringe-se à parte unipotente da homologia.

4. Significado e Impacto

1. Modernização da Teoria Clássica: O trabalho traduz a intuição de Grothendieck de 1960 para a linguagem moderna de $\infty$-categorias e stacks, esclarecendo a estrutura homotópica subjacente que estava implícita na construção original.
2. Unificação de Conceitos: Conecta a homologia algébrica, a variedade de Albanese, e a cohomologia fppf em um único quadro teórico unificado. Mostra que a "variedade de Albanese" é apenas a parte de dimensão 0 (ou 1) de uma estrutura homológica muito mais rica.
3. Novas Ferramentas para Cohomologia: A introdução da homologia afim e sua caracterização via módulos dg sobre anéis de endomorfismos oferece novas ferramentas para estudar a cohomologia de esquemas sobre bases gerais, especialmente no contexto unipotente.
4. Limitações e Futuro: O autor admite que a generalização completa para bases não-perfeitas ou esquemas singulares permanece um desafio aberto, principalmente devido à complexidade dos grupos de extensão superiores entre esquemas de grupos e à falta de teoremas de pureza adequados para stacks de grupos algébricos gerais.

Em suma, o artigo estabelece que a homologia algébrica é o objeto "correto" e universal para estudar a cohomologia de grupos em geometria algébrica, com a construção de Grothendieck sendo uma versão truncada e altamente útil deste objeto em contextos suaves.