Torseur (géométrie algébrique)

En géométrie algébrique, un torseur (ou fibré principal) est un analogue d'un fibré principal en topologie algébrique. Les ouverts de la topologie de Zariski sont cofinis donc assez rares, il est plus courant de considérer des torseurs en topologie étale ou autres topologies plates. La notion de torseur généralise celle d'extension galoisienne en algèbre abstraite. Bien que d'autres notions de torseurs soient connues dans un contexte plus général (par exemple sur des champs), cet article se concentrera sur les torseurs sur les schémas, le cadre original dans lequel les torseurs ont été pensés. Ils sont étudiés par exemple dans l'ouvrage de Michel Demazure et Pierre Gabriel Groupes algébriques, Tome I^[1].

Définition modifier

Soit ${\mathcal {T}}$ une topologie de Grothendieck et $X$ un schéma. Soit $G$ un schéma en groupe sur $X$ . un $G$ -torseur (ou $G$ -fibré principal) sur $X$ pour la topologie ${\mathcal {T}}$ est la donnée d'un schéma $P$ et d'un morphisme $f:P\to X$ munis d'une $G$ -action invariante sur $P$ localement triviale en ${\mathcal {T}}$ : c'est-à-dire qu'il existe un revêtement $\{U_{i}\to X\}$ tel que le changement de base $U_{i}\times _{X}P$ sur $P$ est isomorphe au torseur trivial $U_{i}\times G\to U_{i}$ ^[2].

Quand ${\mathcal {T}}$ est la topologie étale (resp. fpqc, etc.) on parle aussi de torseur étale (resp. torseur fpqc etc.).

Topologies étale, fpqc et fppf modifier

Contrairement à la topologie de Zariski, dans de nombreuses topologies de Grothendieck, un torseur peut être lui-même un revêtement. Cela se produit dans certaines des topologies de Grothendieck les plus courantes, telles qu'en topologie fpqc, topologie fppf ou en topologie étale. Soit ${\mathcal {T}}$ l'une des topologies {étale, fpqc, fppf}. Soit $X$ un schéma et $G$ un schéma en groupe sur $X$ . Alors $P\to X$ est un $G$ -torseur si et seulement si $P\times _{X}P$ sur $P$ est isomorphe au torseur trivial $P\times G$ sur $P$ .

Correspondance entre fibrés vectoriels et ${GL}_{n}$ -torseurs modifier

Sur un schéma $X$ donné, il y a une bijection entre fibrés vectoriels sur $X$ (c'est-à-dire des faisceaux localement libres) et ${GL}_{n}$ -torseurs, où $n=rk(V)\in \mathbb {N}$ , le rang de $V$ . Etant donné $V$ on construit le faisceau (représentable) des isomorphismes $Isom(V,{\mathcal {O}}_{X}^{\oplus n})$ qui a une structure de $Isom({\mathcal {O}}_{X}^{\oplus n},{\mathcal {O}}_{X}^{\oplus n})$ -torseur. Or on voit aisément que $Isom({\mathcal {O}}_{X}^{\oplus n},{\mathcal {O}}_{X}^{\oplus n})\simeq GL_{n,X}$ .

Torseurs triviaux et sections modifier

Un $G$ -torseur $f:P\to X$ est isomorphe à un torseur trivial si et seulement si $P(X)=\operatorname {Mor} (X,P)$ n'est pas vide, c'est-à-dire le morphisme $f$ admet au moins une section $s:X\to P$ . En effet, s'il existe une section $s:X\to P$ , alors $X\times G\to P,(x,g)\mapsto s(x)g$ est un isomorphisme. Réciproquement si $f:P\to X$ est isomorphe à un $G$ -torseur trivial, alors $P\simeq X\times G$ ; l'élément d'identité $1_{G}\in G$ donne la section requise $s=id_{X}\times 1_{G}$ .

Exemples et propriétés de base modifier

Si $L/K$ est une extension galoisienne finie, alors $\operatorname {Spec} L\to \operatorname {Spec} K$ est un $\operatorname {Gal} (L/K)$ -torseur (le groupe de Galois agit simplement et transitivement sur les racines.) Par abus de notation on note $\operatorname {Gal} (L/K)$ le schéma en groupes finis constant sur $K$ associé au groupe abstrait $\operatorname {Gal} (L/K)$ . Ce fait est la base de la descendance galoise.

Torseurs et cohomologie modifier

Soit $P$ un $G$ -torseur étale et soit $\{U_{i}\to X\}$ un revêtement trivialisant $P$ . Un torseur trivial admet une section : on dispose d'éléments $s_{i}\in P(U_{i})$ . Sur les intersections doubles, on peut écrire de manière unique $s_{i}g_{ij}=s_{j}$ sur $U_{ij}$ avec $g_{ij}\in G(U_{ij})$ . Différents choix de $s_{i}$ équivalent à la donnée de 1-cobords en cohomologie ; Ainsi, $g_{ij}$ définit une classe de cohomologie dans le groupe de cohomologie de faisceau $H^{1}(X,G)$ ^[3]. Un torseur trivial correspond à l'élément identité. Réciproquement, il est facile de voir n’importe quelle classe dans $H^{1}(X,G)$ définit un $G$ -torseur dessus $X$ , unique à un unique isomorphisme près.

Torseur universel et schéma en groupe fondamental modifier

Dans ce contexte, les torseurs doivent être pris dans la topologie fpqc. Soient $S$ un schéma de Dedekind (par exemple le spectre d'un corps) et $f:X\to S$ un morphisme fidèlement plat, localement de type fini. On suppose que $f$ a une section $x\in X(S)$ .On dit que $X$ a un schéma en groupe fondamental $\pi _{1}(X,x)$ s'il existe $\pi _{1}(X,x)$ -torseur ${\hat {X}}\to X$ pro-fini et plat, appelé le torseur universel de $X$ , muni une section ${\hat {x}}\in {\hat {X}}_{x}(S)$ tel que : pour tout $G$ -torseur $Y\to X$ fini muni d'une section $y\in Y_{x}(S)$ , il existe un morphisme unique de torseurs ${\hat {X}}\to Y$ qui envoi ${\hat {x}}$ sur $y$ . Son existence a été prouvée par Madhav V. Nori^[4]^,^[5]^,^[6] pour $S$ le spectre d'un corps et par Marco Antei, Michel Emsalem et Carlo Gasbarri quand $S$ est un schéma de Dedekind de dimension 1^[7] ^,^[8].

Réduction d'un groupe de structure modifier

La plupart des constructions et de la terminologie concernant les fibrés principaux en topologie algébrique sont reprises telles quelles dans le contexte des G-fibrés. Par exemple, si $P\to X$ est un G -fibré et G agit à gauche sur un schéma F, alors on peut former le fibré associé $P\times ^{G}F\to X$ de fibre F. En particulier, si H est un sous-groupe fermé de G, alors pour tout H-fibré P, $P\times ^{H}G$ est un G-fibré appelé produit contracté.

Si P est un G -fibré isomorphe au fibré $P'\times ^{H}G$ pour un H-fibré P', P on dit que admet une réduction du groupe de structure de G à H.

Soit X une courbe projective lisse sur un corps algébriquement clos k, G un groupe algébrique semi-simple et P un G-fibré sur une courbe relative $X_{R}=X\times _{\operatorname {Spec} k}\operatorname {Spec} R$ , où R une k-algèbre de type fini. Un théorème de Drinfeld et Simpson énonce que, si G est simplement connexe et scindé, il existe un morphisme étale $R\to R'$ tel que $P\times _{X_{R}}X_{R'}$ admet une réduction du groupe de structure à un sous-groupe de Borel de G.

Autres propriétés modifier

Plus généralement, on considère un torseur sur des faisceaux en groupes.
La catégorie des torseurs de base fixe forme un champ. Tout un pré-champ peut être rendu champ en prenant la catégorie des torseurs (au-dessus du pré-champ).
Si $G$ est un groupe algébrique connexe sur un corps fini $\mathbf {F} _{q}$ , tout $G$ -torseur sur $\operatorname {Spec} \mathbf {F} _{q}$ est trivial. (Théorème de Lang.)

Invariants modifier

Soit P est un sous-groupe parabolique d'un schéma en groupes affines lisses G à fibres connectées, alors son degré d'instabilité, noté $\deg _{i}(P)$ , est le degré de son algèbre de Lie $\operatorname {Lie} (P)$ vu comme fibré vectoriel sur X. Le degré d’instabilité de G est alors $\deg _{i}(G)=\max\{\deg _{i}(P)\mid P\subset G{\text{ sous-groupes paraboliques}}\}$ . Si G est un groupe algébrique et E un G -torseur, alors le degré d'instabilité de E est le degré associé au groupe ${}^{E}G=\operatorname {Aut} _{G}(E)$ : $\deg _{i}(E)=\deg _{i}({}^{E}G)$ . E est dit semi-stable si $\deg _{i}(E)\leq 0$ et est dit stable si $\deg _{i}(E)<0$ .

Exemples de torseurs en mathématiques appliquées modifier

John Baez donne comme exemple de torseurs l'énergie, la tension, la position ou la phase d'une fonction d'onde en mécanique quantique. Dans chaque cas, seules des comparaisons peuvent être mesurées, et un point de référence doit être choisi arbitrairement pour que les valeurs absolues aient un sens^[9]. Les intégrales indéfinies sont un autre exemple de torseurs^[9].

Articles connexes modifier

Notes et références modifier

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Torsor (algebraic geometry) » (voir la liste des auteurs).

Notes modifier

↑ Michel Demazure et Pierre Gabriel, Groupes algébriques, tome I, North Holland, 2005 (ISBN 9780720420340)
↑ Angelo Vistoli, Grothendieck Topologies, in "Fundamental Algebraic Geometry", AMS, 2005 (ISBN 978-0821842454)
↑ Milne 1980, The discussion preceding Proposition 4.6.
↑ Nori, « On the Representations of the Fundamental Group », Compositio Mathematica, vol. 33, n^o 1,‎ 1976, p. 29–42 (MR 417179, zbMATH 0337.14016, lire en ligne)
↑ Nori, « The fundamental group-scheme », Proceedings Mathematical Sciences, vol. 91, n^o 2,‎ 1982, p. 73–122 (DOI 10.1007/BF02967978, S2CID 121156750)
↑ Tamás Szamuely, Galois Groups and Fundamental Groups, 2009 (ISBN 9780521888509, DOI 10.1017/CBO9780511627064)
↑ Antei, Emsalem et Gasbarri, « Sur l'existence du schéma en groupes fondamental », Épijournal de Géométrie Algébrique,‎ 2020 (DOI 10.46298/epiga.2020.volume4.5436, arXiv 1504.05082, S2CID 227029191)
↑ Antei, Emsalem et Gasbarri, « Erratum for "Heights of vector bundles and the fundamental group scheme of a curve" », Duke Mathematical Journal, vol. 169, n^o 16,‎ 2020 (DOI 10.1215/00127094-2020-0065, S2CID 225148904)
↑ ^{a et b} Baez, « Torsors Made Easy », math.ucr.edu, 27 décembre 2009 (consulté le 22 novembre 2022)

Références modifier

Behrend, K. The Lefschetz Trace Formula for the Moduli Stack of Principal Bundles. PhD dissertation.
Kai Behrend, Brian Conrad, Dan Edidin, William Fulton, Barbara Fantechi, Lothar Göttsche et Andrew Kresch, Algebraic stacks, 2006 (lire en ligne [archive du 5 mai 2008])
James S. Milne, Étale cohomology, vol. 33, Princeton University Press, coll. « Princeton Mathematical Series », 1980 (ISBN 978-0-691-08238-7, MR 559531, lire en ligne)

Lecture complémentaire modifier

(en)Brian Conrad, [http://math.stanford.edu/~conrad/papers/cosetfinite.pdf Finiteness theorems for algebraic groups over function �fields]

[1] Michel Demazure et Pierre Gabriel, Groupes algébriques, tome I, North Holland, 2005 (ISBN 9780720420340)

[2] Angelo Vistoli, Grothendieck Topologies, in "Fundamental Algebraic Geometry", AMS, 2005 (ISBN 978-0821842454)

[3] Milne 1980, The discussion preceding Proposition 4.6.

[:Nori-4] Nori, « On the Representations of the Fundamental Group », Compositio Mathematica, vol. 33, n^o 1,‎ 1976, p. 29–42 (MR 417179, zbMATH 0337.14016, lire en ligne)

[:Nori_2-5] Nori, « The fundamental group-scheme », Proceedings Mathematical Sciences, vol. 91, n^o 2,‎ 1982, p. 73–122 (DOI 10.1007/BF02967978, S2CID 121156750)

[6] Tamás Szamuely, Galois Groups and Fundamental Groups, 2009 (ISBN 9780521888509, DOI 10.1017/CBO9780511627064)

[:Dedekind-7] Antei, Emsalem et Gasbarri, « Sur l'existence du schéma en groupes fondamental », Épijournal de Géométrie Algébrique,‎ 2020 (DOI 10.46298/epiga.2020.volume4.5436, arXiv 1504.05082, S2CID 227029191)

[8] Antei, Emsalem et Gasbarri, « Erratum for "Heights of vector bundles and the fundamental group scheme of a curve" », Duke Mathematical Journal, vol. 169, n^o 16,‎ 2020 (DOI 10.1215/00127094-2020-0065, S2CID 225148904)

[Baez-9] {a et b} Baez, « Torsors Made Easy », math.ucr.edu, 27 décembre 2009 (consulté le 22 novembre 2022)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]