Generalized local jacobians and commutative group stacks

Titolo: Jacobiani Locali Generalizzati e Stack di Gruppi Commutativi

1. Il Problema e il Contesto

Il lavoro si inserisce nel contesto della geometria algebrica moderna, in particolare nell'intersezione tra la teoria degli stack, la coomologia fppf (flat, faithfully, finitely presented, flat) e la teoria dell'omologia algebrica.
Il punto di partenza è una costruzione suggerita da Alexander Grothendieck in una lettera a Serre (1960) e in documenti successivi ([10], [14]), dove viene descritta una complessa $J^*(X)$ associata a una varietà liscia $X$. Questa complessa è composta da gruppi pro-algebrici commutativi e ha la proprietà di calcolare la coomologia di Zariski di $X$ a coefficienti in gruppi algebrici, agendo come una sorta di "omologia" di $X$. I termini della complessa sono prodotti di fattori locali chiamati "Jacobiani localizzati generalizzati".

Il problema affrontato da Toën è duplice:

1. Modernizzazione del linguaggio: Ricontestualizzare la costruzione di Grothendieck nel linguaggio più moderno e potente degli stack algebrici superiori (higher algebraic stacks) e della teoria $\infty$-categorica.
2. Generalizzazione e Unificazione: Definire un oggetto universale, l'omologia algebrica ($H_{alg}(X)$), che calcoli la coomologia fppf (più fine della coomologia di Zariski) e che, nel caso di schemi lisci, recuperi la costruzione originale di Grothendieck come una sua "truncazione".

2. Metodologia

L'autore adotta un approccio basato sulla teoria degli $\infty$-topoi e sugli stack ipercompleti rispetto alla topologia fppf.

• Ambiente di lavoro: Si lavora su un campo perfetto $k$ e nell'$\infty$-topos degli stack fppf ipercompleti ($Stk$).
• Definizione di Omologia Algebrica: Viene introdotta una nuova nozione di omologia algebrica $H_{alg}(X)$ per uno schema $X$ su $k$. Essa è definita come un pro-oggetto nella categoria $\infty$ dei gruppi algebrici commutativi (che sono oggetti di gruppo nella categoria degli stack di Artin locali di tipo finito).
  • Formalmente, $H_{alg}(X)$ è l'oggetto che pro-rappresenta il funtore $E \mapsto \text{Map}(X, E)$, dove $E$ varia tra i gruppi algebrici commutativi.
  • Questo oggetto può essere visto come una versione "derivata" e generalizzata della varietà di Albanese classica.
• Filtrazione per Dimensione: Per rendere esplicita la struttura di $H_{alg}(X)$, l'autore introduce una filtrazione naturale basata sulla dimensione dei supporti. I pezzi graduati di questa filtrazione sono legati alla coomologia locale.
• Strumenti Tecnici:
  • Uso della pura (purity) per la coomologia piatta su schemi lisci per stabilire proprietà di connettività.
  • Utilizzo della struttura t di Beilinson sulla categoria degli oggetti filtrati per confrontare l'omologia algebrica (un oggetto filtrato complesso) con la complessa di Grothendieck (un oggetto complesso "puro").
  • Analisi delle estensioni (Ext) nella categoria derivata dei complessi di gruppi pro-algebrici rispetto alle estensioni calcolate come fasci fppf.

3. Contributi Chiave e Risultati

A. Definizione di Omologia Algebrica e Proprietà

Toën definisce $H_{alg}(X)$ come un pro-oggetto universale. Questo oggetto:

• Calcola la coomologia fppf: $H^i_{fppf}(X, G) \simeq \pi_0(\text{Map}(H_{alg}(X), K(G, i)))$.
• Generalizza la mappa di Albanese: La mappa universale $X \to H_{alg}(X)$ include dati coomologici superiori rispetto alla classica varietà di Albanese.
• È un oggetto "n-connesso" rispetto alla struttura t di Beilinson quando $X$ è liscia di dimensione $n$.

B. Confronto con la Costruzione di Grothendieck (Teorema 0.2)

Il risultato principale è un teorema di confronto per schemi lisci su un campo perfetto.

• Si dimostra che la costruzione originale di Grothendieck, la complessa $J^*(X)$ (costituita dai Jacobiani localizzati generalizzati), è isomorfa alla 0-esima truncazione dell'omologia algebrica filtrata rispetto alla struttura t di Beilinson:
  $$H^0_B(F_* H_{alg}(X)) \simeq J^*(X)$$
• Questo significa che $J^*(X)$ cattura solo la parte "più bassa" (in termini di omotopia) dell'omologia algebrica completa, ma è sufficiente per certi scopi coomologici.

C. Calcolo della Cohomologia (Teorema 0.3)

Un risultato sorprendente è che, nonostante $H_{alg}(X)$ e $J^*(X)$ non siano equivalenti come oggetti (uno è filtrato e complesso, l'altro è una complessa truncata), essi calcolano la stessa coomologia fppf sotto condizioni specifiche sui coefficienti.

• Per $i \ge 0$ e un gruppo algebrico commutativo $G$ (affine se $i>0$, unipotente se $i>1$), la proiezione canonica induce un isomorfismo:
  $$\text{Ext}^i_{naive}(J^*(X), G) \simeq H^i_{fppf}(X, G)$$
• Qui $\text{Ext}^i_{naive}$ si riferisce ai gruppi di estensione di Yoneda calcolati nella categoria derivata dei complessi di gruppi pro-algebrici, che differiscono dagli Ext calcolati come fasci fppf. Questo conferma che la costruzione di Grothendieck, sebbene "troncata", è sufficiente per recuperare la coomologia fppf con coefficienti unipotenti/affini.

D. Generalizzazione a Basi Arbitrarie: Omologia Affine

Poiché i risultati principali richiedono un campo perfetto (dipendendo fortemente dalla purezza per schemi regolari), l'autore propone una generalizzazione parziale per basi arbitrarie (anelli commutativi) restringendosi ai coefficienti unipotenti.

• Introduce l'omologia affine $H_u(X)$, definita nell'ambito degli stack affini (secondo la teoria di Toën [30]).
• $H_u(X)$ è il completamento unipotente dell'omologia algebrica.
• Viene mostrata una connessione con la teoria di Dieudonné: $H_u(X)$ è completamente caratterizzato dal complesso $R\Gamma(X, \mathbb{G}_a)$ considerato come un modulo dg sull'algebra degli endomorfismi di $\mathbb{G}_a$. Questo fornisce una "teoria di Dieudonné" per i tipi di omologia affine.

4. Significato e Implicazioni

1. Unificazione Teorica: Il lavoro colloca la costruzione classica e "vecchia" di Grothendieck all'interno del quadro moderno della teoria degli $\infty$-stack, fornendo una spiegazione strutturale del perché la complessa $J^*(X)$ funzioni.
2. Distinzione tra Oggetti e Funzioni: Dimostra che due oggetti matematici diversi (l'omologia algebrica completa e la complessa truncata di Grothendieck) possono essere funzionalmente equivalenti per il calcolo della coomologia in certi contesti, pur avendo strutture interne diverse.
3. Nuovi Strumenti per la Geometria: L'introduzione dell'omologia affine e la sua caratterizzazione tramite moduli dg offrono nuovi strumenti per studiare la coomologia fppf su basi non perfette, superando le limitazioni della teoria classica che si basa sulla dualità e sulla purezza in contesti molto specifici.
4. Connessioni con la Teoria di Lie: L'autore nota che gli stack affini sono duali alle algebre commutative cosimpliciali (LSym-algebre), che sono a loro volta duali di Koszul delle algebre di Lie di partizione. Questo suggerisce un legame profondo tra l'omologia algebrica e le algebre di Lie di partizione abeliane, aprendo nuove direzioni di ricerca.

In sintesi, il paper di Toën non solo "aggiorna" una costruzione storica di Grothendieck, ma ne rivela la natura profonda come parte di una struttura omologica superiore, fornendo al contempo generalizzazioni robuste per la geometria algebrica su basi generali.