Generalized local jacobians and commutative group stacks

Aquí presento un resumen técnico detallado del artículo "Generalized Local Jacobians and Commutative Group Stacks" de Bertrand Toën, estructurado según los puntos solicitados.

1. Problema y Contexto

El trabajo aborda la necesidad de reformular y generalizar la construcción de las jacobianas generalizadas locales de Grothendieck, descritas originalmente en una carta a Serre (1960) y en sus escritos posteriores.

• El problema original: Grothendieck esbozó la construcción de un complejo $J^*(X)$ asociado a una variedad suave $X$, compuesto por grupos pro-algebraicos conmutativos. Este complejo tiene la propiedad de calcular la cohomología de Zariski de $X$ con coeficientes en grupos algebraicos y actúa como una "homología" de $X$. Sin embargo, esta construcción se basa en la topología de Zariski y en categorías de grupos pro-algebraicos clásicos.
• La limitación: La construcción original no se adapta naturalmente a la topología fppf (plana, fielmente de presentación finita), que es crucial en la geometría algebraica moderna para tratar con torsión y fenómenos no suaves. Además, la relación entre la homología algebraica moderna (en el contexto de stacks) y la construcción clásica de Grothendieck no estaba formalizada, especialmente para esquemas suaves sobre un cuerpo perfecto.
• El objetivo: Recastar la construcción de Grothendieck en el lenguaje de stacks algebraicos de grupo conmutativos de orden superior (higher algebraic group stacks) para la topología fppf, definir una noción de "homología algebraica" universal y establecer un teorema de comparación que recupere la construcción original como un truncamiento de esta nueva estructura.

2. Metodología

El autor emplea herramientas de la geometría algebraica derivada y la teoría de $\infty$-categorías.

• Marco de trabajo: Se trabaja sobre un cuerpo perfecto $k$ en el $\infty$-topos de stacks fppf hipercompletos ($\text{Stk}$).
• Definición de Homología Algebraica ($H_{alg}(X)$):
  • Se introduce la categoría de stacks de grupo algebraico conmutativo ($AbStk^{alg}_k$), que son objetos en la $\infty$-categoría de stacks que son localmente de tipo finito y tienen diagonales cuasi-compactas.
  • La homología algebraica de un esquema $X$, denotada $H_{alg}(X)$, se define como el objeto pro en $AbStk^{alg}_k$ que representa pro-functorialmente el functor $E \mapsto \text{Map}(X, E)$. Es decir, es el objeto universal que clasifica los mapas de $X$ a cualquier stack de grupo algebraico.
• Filtración por dimensión de soporte:
  • Se introduce una filtración natural en $H_{alg}(X)$ basada en la dimensión de los soportes en $X$.
  • Se define $F_d H_{alg}(X)$ como el límite de las homologías de abiertos que contienen los puntos de dimensión $\geq d$.
  • Los términos graduados $Gr_d H_{alg}(X)$ se identifican con productos de homologías locales en los puntos de dimensión $d$.
• Estructura t-estructura de Beilinson:
  • Se utiliza la estructura t-estructura de Beilinson en la categoría de objetos filtrados. Esto permite definir truncamientos cohomológicos.
  • Se demuestra que para $X$ suave de dimensión $n$, el objeto filtrado $F_* H_{alg}(X)$ es $n$-conectivo.
• Generalización a bases arbitrarias (Homología Afín):
  • Para bases que no son cuerpos perfectos, el autor restringe el estudio a coeficientes unipotentes y utiliza la teoría de stacks afines (definidos en [30]).
  • Se define la homología afín $H_u(X)$, que es el objeto universal en la categoría de tipos de homología afín (generados por límites de $G_a[n]$).

3. Contribuciones Clave

1. Definición de Homología Algebraica Universal: Se formaliza $H_{alg}(X)$ como un objeto pro en la categoría de stacks de grupos algebraicos, generalizando la variedad de Albanese y capturando datos cohomológicos de orden superior.
2. Teorema de Comparación con Grothendieck: Se establece un isomorfismo natural entre el truncamiento $n$-ésimo de la homología algebraica filtrada (respecto a la estructura t de Beilinson) y el complejo clásico $J^*(X)$ de Grothendieck.
   $$H^0_B(F_* H_{alg}(X)) \simeq J^*(X)$$
   Esto demuestra que la construcción de Grothendieck es esencialmente la "parte visible" (truncada) de la homología algebraica completa.
3. Cálculo de Cohomología fppf: Se prueba que, bajo ciertas condiciones (coeficientes afines y unipotentes), el complejo $J^*(X)$ calcula correctamente la cohomología fppf $H^i_{fppf}(X, G)$ mediante grupos de Ext "naive" en la categoría derivada de grupos pro-algebraicos.
4. Teoría de Homología Afín: Se desarrolla una teoría de homología para esquemas sobre anillos arbitrarios (no solo cuerpos) restringida a coeficientes unipotentes, caracterizada por módulos dg sobre el álgebra de endomorfismos de $G_a$ (una forma de teoría de Dieudonné generalizada).

4. Resultados Principales

• Teorema 0.2 (Comparación): Si $X$ es suave sobre $k$, existe un isomorfismo natural de complejos de grupos pro-algebraicos:
  $$H^0_B(F_* H_{alg}(X)) \simeq J^*(X)$$
  Donde $J^*(X)$ es el complejo de jacobianas generalizadas locales de Grothendieck.
• Teorema 0.3 (Cálculo de Cohomología): Para $i \geq 0$ y un grupo algebraico conmutativo $G$ (afín si $i>0$, unipotente si $i>1$), la proyección canónica induce isomorfismos:
  $$\text{Ext}^i_{naive}(J^*(X), G) \simeq H^i_{fppf}(X, G)$$
  Esto valida el uso del complejo truncado $J^*(X)$ para calcular cohomología, a pesar de que no es equivalente a la homología completa $H_{alg}(X)$.
• Proposición 3.4 (Conectividad): Para $X$ suave de dimensión $n$, el término graduado $Gr_d H_{alg}(X)$ es $(n-d)$-conectivo. Esto justifica por qué el truncamiento de Beilinson recupera el complejo de Grothendieck.
• Proposición 4.6 y Definición 4.8 (Homología Afín): Se demuestra la existencia de un adjunto izquierdo para el functor de olvido de stacks afines a stacks, definiendo $H_u(X)$. Esta homología se caracteriza completamente por el complejo $R\Gamma(X, G_a)$ visto como un módulo dg sobre $REnd(G_a)$.

5. Significado e Impacto

• Modernización de la Teoría de Grothendieck: El trabajo conecta las ideas clásicas de los años 60 con la teoría moderna de stacks y $\infty$-categorías, proporcionando un marco riguroso para la "homología algebraica" que Grothendieck esbozó pero no formalizó completamente en el lenguaje actual.
• Puente entre Topologías: Muestra cómo la cohomología fppf (más rica y difícil) se puede estudiar a través de estructuras algebraicas pro-algebraicas, aclarando la relación entre la topología de Zariski y la fppf en el contexto de grupos algebraicos.
• Generalización a Bases Arbitrarias: La sección sobre homología afín abre la puerta al estudio de propiedades homológicas de esquemas sobre anillos generales (no solo cuerpos), un aspecto donde la teoría clásica de jacobianas tiene dificultades.
• Conexión con Teoría de Dieudonné: La caracterización de la homología afín mediante módulos dg sobre el anillo de endomorfismos de $G_a$ sugiere una profunda relación con la teoría de Dieudonné y las álgebras de Lie de partición, ofreciendo nuevas vías para el estudio de la cohomología de grupos unipotentes.

En resumen, el artículo no solo recupera y formaliza una construcción histórica, sino que la eleva a un nivel superior de generalidad y precisión, integrándola en el marco de la geometría algebraica derivada y proporcionando herramientas para extender estos conceptos a contextos más generales.