The Künneth Formula of Fundamental Group Schemes

Sintesi Tecnica: La Formula di Künneth per i Gruppi di Fundamental Schemi

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria algebrica, specificamente nella teoria dei gruppi fondamentali di schemi (Tannakian fundamental group schemes).

• Contesto Storico: Grothendieck ha introdotto il gruppo fondamentale étale e ha dimostrato la formula di Künneth per questo gruppo su campi algebricamente chiusi. Successivamente, Nori ha introdotto il "gruppo fondamentale di Nori" ($\pi_N$) basato su fibrati vettoriali essenzialmente finiti. Altri autori (Mehta, Subramanian, Esnault, Zhang, Langer, Otabe, ecc.) hanno studiato varianti come i gruppi fondamentali unipotenti, locali, $S$, $F$, $EN$, e stratificati.
• La Questione Aperta: Sebbene la formula di Künneth (che afferma che il gruppo fondamentale di un prodotto $X \times_k Y$ è isomorfo al prodotto dei gruppi fondamentali dei fattori) fosse stata dimostrata per specifici tipi di gruppi fondamentali e sotto ipotesi restrittive (spesso richiedendo che il campo $k$ sia algebricamente chiuso o perfetto), mancava una teoria unificata che stabilisse condizioni necessarie e sufficienti per l'esattezza della sequenza di omotopia e la validità della formula di Künneth per una vasta classe di gruppi fondamentali su qualsiasi campo.
• Obiettivo: Gli autori mirano a fornire condizioni generali per l'esattezza della sequenza di omotopia associata a una morfismo proprio $f: X \to S$ e, di conseguenza, a derivare la formula di Künneth per prodotti di schemi su un campo arbitrario $k$.

2. Metodologia

Gli autori adottano un approccio basato sulla teoria di Tannaka e sulla teoria delle categorie di fibrati vettoriali.

• Quadro Teorico: Considerano categorie di Tannaka neutre $\mathcal{C}_X, \mathcal{C}_S, \mathcal{C}_{X_s}$ associate a schemi $X, S$ e alle loro fibre $X_s$. Il gruppo fondamentale $\pi(\mathcal{C}, x)$ è definito come il gruppo di Tannaka di tali categorie.
• Strumenti Chiave:
  • Functori Osservabili: Analizzano la proprietà di "osservabilità" del funtore di restrizione alla fibra $|_{X_s}: \mathcal{C}_X \to \mathcal{C}_{X_s}$.
  • Base Change: Studiano le condizioni sotto le quali i fasci soddisfano la proprietà di "base change" al punto $s$.
  • Bundle Principali: Utilizzano la corrispondenza tra categorie di Tannaka e fibrati principali (principal bundles) sui gruppi di Tannaka. In particolare, esprimono gli oggetti della categoria come limiti filtrati di sottosheaf di $\phi^* \mathcal{O}_P$, dove $\phi: P \to X$ è il fibrato principale universale.
  • Sequenze Esatte di Gruppi: Applicano teoremi di caratterizzazione per l'esattezza delle sequenze di omomorfismi di gruppi affini (Teorema 2.8), collegando l'esattezza della sequenza di omotopia alle proprietà di fedeltà piatta (faithfully flat) e iniettività dei morfismi indotti sui gruppi di rappresentazione.

3. Contributi Chiave e Risultati Principali

Il paper presenta due teoremi fondamentali che generalizzano risultati precedenti:

A. Teorema 3.8: Condizioni per l'Esattezza della Sequenza di Omotopia
Sia $f: X \to S$ un morfismo proprio tra schemi connessi su un campo $k$, con $f_* \mathcal{O}_X \cong \mathcal{O}_S$. Gli autori dimostrano che le seguenti condizioni sono equivalenti:

1. Il funtore di restrizione alla fibra $|_{X_s}$ è osservabile e ogni oggetto $E \in \mathcal{C}_X$ soddisfa la proprietà di base change in $s$ (e il suo pushforward $f_*E$ è in $\mathcal{C}_S$).
2. Esiste una rappresentazione degli oggetti come limiti filtrati di sottosheaf che soddisfano le stesse proprietà di base change e pushforward.
3. La sequenza di omotopia è esatta:
   $$\pi(\mathcal{C}_{X_s}, x) \to \pi(\mathcal{C}_X, x) \to \pi(\mathcal{C}_S, s) \to 1$$
   Inoltre, se $S$ è integrale e $f$ è piatto, l'esattezza della sequenza implica le condizioni sopra.

B. Teorema 4.2: La Formula di Künneth
Siano $X$ e $Y$ schemi connessi propri su $k$. Gli autori dimostrano l'equivalenza tra cinque condizioni che garantiscono la formula di Künneth per il prodotto $X \times_k Y$:

1. Per ogni oggetto $E$ nella categoria del prodotto, il pushforward lungo le proiezioni ($p_{X*}E$ e $p_{Y*}E$) rimane nella categoria dei fattori e $E$ soddisfa la base change.
2. Le sequenze di omotopia associate alle proiezioni sono esatte.
3. L'omomorfismo naturale $\pi(\mathcal{C}_{X \times Y}) \to \pi(\mathcal{C}_X) \times_k \pi(\mathcal{C}_Y)$ è un isomorfismo.

C. Generalizzazione a Schemi Specifici (Sezione 5)
Utilizzando i teoremi generali e le proprietà di stabilità dei vari tipi di fibrati vettoriali sotto pullback e pushforward, gli autori dimostrano che la formula di Künneth vale per una vasta gamma di gruppi fondamentali su qualsiasi campo $k$ (non solo algebricamente chiuso), per schemi ridotti e connessi:

• Gruppo $S$ (fibrati piatti numericamente).
• Gruppo di Nori (fibrati essenzialmente finiti).
• Gruppo $EN$ (fibrati semi-essenzialmente finiti).
• Gruppo $F$ (fibrati Frobenius-finiti, caratteristica $p>0$).
• Gruppo Locale (fibrati Frobenius-triviali).
• Gruppo Étale (fibrati étale-trivializzabili).
• Gruppo Unipotente.

Un risultato cruciale è la Proposizione 5.8, che stabilisce che per tutti i suddetti gruppi, l'isomorfismo di Künneth:
$$\pi(X \times_k Y) \cong \pi(X) \times_k \pi(Y)$$
vale senza assumere che $k$ sia algebricamente chiuso, generalizzando così risultati noti che richiedevano tale ipotesi.

4. Significato e Impatto

• Unificazione: Il lavoro fornisce un quadro teorico unificato che tratta simultaneamente diversi tipi di gruppi fondamentali, mostrando che le loro proprietà di Künneth derivano tutte dalle stesse condizioni fondamentali sulle categorie di Tannaka sottostanti.
• Rimozione di Ipotesi Restrittive: La capacità di lavorare su campi arbitrari (non necessariamente algebricamente chiusi) è un avanzamento significativo rispetto alla letteratura precedente, permettendo applicazioni in contesti aritmetici più ampi.
• Strumento Tecnico: La caratterizzazione dell'esattezza della sequenza di omotopia in termini di proprietà di base change e osservabilità dei funtori offre nuovi strumenti tecnici per analizzare le proprietà di omotopia di schemi algebrici.
• Applicabilità: I risultati si applicano direttamente a problemi di classificazione dei fibrati vettoriali su prodotti di varietà e allo studio delle proprietà di Galois dei gruppi fondamentali in geometria aritmetica.

In conclusione, il paper risolve il problema della formula di Künneth per una classe estesa di gruppi fondamentali di Tannaka, fornendo condizioni necessarie e sufficienti generali e dimostrando la loro validità in contesti molto più ampi rispetto a quanto noto in precedenza.