Torsore

In geometria algebrica, un torsore o uno spazio omogeneo principale è un analogo di un fibrato principale nella topologia algebrica . Poiché ci sono pochi insiemi aperti nella topologia Zariski, è più comune considerare i torsori nella topologia étale o in altre topologie piatte. La nozione di torsore nasce come generalizzazione ulteriore di un'estensione di Galois nell'algebra astratta. Sebbene siano note altre nozioni di torsori in un contesto più generale (ad esempio sopra gli stack), questo articolo si concentrerà sui torsori sopra gli schemi, l'impostazione originale in cui sono stati pensati i torsori. La parola torsore (torsor in Inglese) deriva dal francese torseur. Questi sono infatti ampiamente discussi, ad esempio, nel celebre libro di Michel Demazure e Pierre Gabriel Groupes algébriques, Tome I.

Siano ${\mathcal {T}}$ una topologia di Grothendieck e $X$ uno schema. Inoltre sia $G$ uno schema in gruppi, allora un $G$-torsore su $X$ per la topologia ${\mathcal {T}}$ (o semplicemente un $G$-torsore quando la topologia è chiara dal contesto) è dato da uno schema $P$ e un morfismo $f:P\to X$ con una azione di $G$ su $P$ che sia $G$-invariante e per la quale $P$ risulti localmente banale in ${\mathcal {T}}$ cioè esiste una ricoprimento $\{U_{i}\to X\}$ tale che $U_{i}\times _{X}P$ su $P$ sia isomorfo al torsore banale $U_{i}\times G\to U_{i}$

Notazioni

Quando ${\mathcal {T}}$ è la topologia étale (resp. fpqc, ecc.) invece di un torsore per la topologia étale possiamo anche dire un torsore étale (resp. torsore fpqc ecc.).

Topologie Étale, fpqc e fppf

A differenza della topologia di Zariski, in molte topologie di Grothendieck un torsore può essere esso stesso un ricoprimento. Ciò accade in alcune delle topologie di Grothendieck più comuni, come la topologia fpqc, la topologia fppf ma anche la topologia étale (e molte altre meno famose). Quindi quando ${\mathcal {T}}$ è una qualsiasi di queste topologie (étale, fpqc, fppf) possiamo proseguire come segue: sia $X$ uno schema e $G$ uno schema in gruppi, allora ne segue che $P\to X$ è un $G$-torsore se e solo se $P\times _{X}P$ su $P$ è isomorfo al torsore banale $P\times G$ su $P$. In questo caso spesso diciamo che un torsore banalizza se stesso (poiché diventa un torsore banale quando viene effettuato un pull back su se stesso).

Corrispondenza tra fibrati vettoriale e ${GL}_{n}$-torsori

Fissato uno schema $X$ esiste una biiezione tra i fibrati vettoriali su $X$ (cioè fasci localmente liberi) e ${GL}_{n}$-torsori, dove $n=rg(V)\in \mathbb {N}$, è il rango di $V$. Dato $V$ si può prendere il fascio (rappresentabile) degli isomorfismi locali $Isom(V,{\mathcal {O}}_{X}^{\oplus n})$ che ha una struttura di $Isom({\mathcal {O}}_{X}^{\oplus n},{\mathcal {O}}_{X}^{\oplus n})$-torsore. È facile dimostrare infine che $Isom({\mathcal {O}}_{X}^{\oplus n},{\mathcal {O}}_{X}^{\oplus n})\simeq GL_{n,X}$ .

Torsori banali e sezioni

Uno $G$-torsore $f:P\to X$ è isomorfo a un torsore banale se e solo se $P(X)=\operatorname {Mor} (X,P)$ non è vuoto, cioè quando il morfismo $f$ ammette almeno una sezione $s:X\to P$. Infatti, se esiste una sezione $s:X\to P$, ne segue che$X\times G\to P,(x,g)\mapsto s(x)g$ è un isomorfismo. D'altra parte se $f:P\to X$ è isomorfo a un $G$ -torsore banale, allora $P\simeq X\times G$ ; l'elemento identità $1_{G}\in G$ fornisce la sezione richiesta $s=id_{X}\times 1_{G}$ .

Esempi e proprietà fondamentali

• Se $L/K$ è un'estensione di Galois finita, allora $\operatorname {Spec} L\to \operatorname {Spec} K$ è un $\operatorname {Gal} (L/K)$-torsore (grosso modo perché il gruppo di Galois agisce in modo semplicemente transitivo sulle radici di un polinomio.) Si noti che con abuso di notazione abbiamo ancora denotato con $\operatorname {Gal} (L/K)$ lo schema in gruppi costante e finito su $K$ associato al gruppo astratto $\operatorname {Gal} (L/K)$. Questo fatto è alla base della discesa di Galois. Si vedano anche le estensioni integrali per una generalizzazione.
• Se $X$ è una varietà abeliana su un campo $k$ allora la moltiplicazione per $n\in \mathbb {N}$, $n_{X}:X\to X$ è un torsore per la topologia fpqc sotto l'azione dello schema in gruppi finito su $k$ determinato da $ker(n_{X})$ . Ciò accade ad esempio nel caso più celebre in cui $X$ è una curva ellittica.

Torsori e coomologia

Sia $P$ un $G$ -torsore per la topologia étale e sia $\{U_{i}\to X\}$ un ricoprimento che banalizza $P$, come nella definizione. Un torsore banale ammette una sezione: quindi ci sono elementi $s_{i}\in P(U_{i})$ . Se si fissano tali sezioni $s_{i}$, possiamo scrivere in modo univoco $s_{i}g_{ij}=s_{j}$ su $U_{ij}$ con $g_{ij}\in G(U_{ij})$ . Diverse scelte di $s_{i}$ portano a 1-cobordi in coomologia; questo significa che $g_{ij}$ definisce una classe di coomologia nel gruppo di coomologia di fasci (più precisamente nella coomologia di Čech con coefficienti nel fascio) $H^{1}(X,G)$. Un torsore banale corrisponde all'elemento identità. Al contrario, è facile vedere come qualsiasi classe in $H^{1}(X,G)$ definisca un $G$-torsore su $X$, unico a meno di un unico isomorfismo.

Il torsore universale di uno schema $X$ e lo schema in gruppi fondamentale

In questo contesto i torsori devono essere presi nella topologia fpqc. Sia $S$ uno schema di Dedekind (ad esempio lo spettro di un campo) e $f:X\to S$ un morfismo fedelmente piatto, localmente di tipo finito. Si supponga che $f$ abbia una sezione $x\in X(S)$. Diciamo dunque che $X$ ha un schema in gruppi fondamentale $\pi _{1}(X,x)$ se esiste un $\pi _{1}(X,x)$-torsore ${\hat {X}}\to X$ pro-finito e piatto, chiamato il torsore universale di $X$, munito di una sezione ${\hat {x}}\in {\hat {X}}_{x}(S)$ tale che per ogni $G$-torsore $Y\to X$ finito e con una sezione $y\in Y_{x}(S)$ c'è un unico morfismo di torsori ${\hat {X}}\to Y$ che invia ${\hat {x}}$ in $y$. La sua esistenza, congetturata da Alexander Grothendieck, è stata dimostrata da Madhav V. Nori per $S$ lo spettro di un campo e Marco Antei, Michel Emsalem e Carlo Gasbarri quando $S$ è uno schema di Dedekind di dimensione 1.

Il prodotto contratto

Il prodotto contrattato è un'operazione che permette di costruire un nuovo torsore partendo da uno dato, gonfiandone o sgonfiandone la struttura con un particolare procedimento detto anche push forward. Sebbene la costruzione possa essere presentata in una generalità più ampia, qui presentiamo solo la seguente situazione, più semplice e molto comune: sia $f:P\to X$ un $G$-torsore a destra e sia $u:G\to M$ un morfismo di schemmi in gruppi. Supponiamo che $G$ agisca a sinistra su $M$ tramite moltiplicazione a sinistra: $g\star m:=u(g)m$ . Diciamo che due elementi $(p,m)\in P\times M$ e $(p',m')\in P\times M$ sono equivalenti se esiste $g\in G$ tale che $(pg^{-1},g\star m)=(p',m')$ . Lo spazio delle orbite $P\times ^{G}M:={\frac {P\times M}{G}}$ è chiamato il prodotto contratto di $P$ tramite $u:G\to M$. Gli elementi sono denotati con la notazione $p\wedge m$ . Il prodotto contrattato è uno schema e ha la struttura di un $M$-torsore a destra quando viene data l'azione $(p\wedge m)*m':=p\wedge (mm')$ . Naturalmente tutte le operazioni devono essere intese funtorialmente e insiemisticamente come le notazioni usate lasciano pensare. Il nome prodotto contratto deriva dal francese produit contracté e in geometria algebrica è preferito al suo equivalente topologico push forward.

Morfismi di torsori e riduzione dello schema in gruppi strutturale

Siano $f:Y\to X$ e $h:T\to X$ rispettivamente un $G$-torsore (destro) e un $H$-torsore (destro) in una topologia di Grothendieck ${\mathcal {T}}$ fissata. Qui $G$ e $H$ sono schemi in gruppi su $X$. Un morfismo (di torsori) da $Y$ a $T$ è una coppia di morfismi $(a,b)$ dove $a:Y\to T$ è un $X$ -morfismo e $b:G\to H$ è un morfismo di schemi in gruppi tale che $\sigma _{H}\circ (a\times b)=a\circ \sigma _{G}$ dove $\sigma _{G}$ e $\sigma _{H}$ sono rispettivamente l'azione di $G$ su $Y$ e di $H$ su $T$ .

In questo modo $T$ si risulta essere isomorfo al prodotto contrattato $Y\times ^{G}H$ di cui sopra. Se il morfismo $b:G\to H$ è un'immersione chiusa allora si dice che $Y$ è sotto-torsore di $T$. Possiamo anche dire, ereditando il linguaggio dalla topologia, che $T$ ammette una riduzione dello schema in gruppi strutturale da $H$ a $G$ .