Torseur (géométrie algébrique)

Modèle:Voir homonymes 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.

Définition

Soit $𝒯$ une topologie de Grothendieck et $X$ un schéma. Soit $G$ un schéma en groupes sur $X$. un $G$-torseur (ou $G$-fibré principal) sur $X$ pour la topologie $𝒯$ 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 $𝒯$ : 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$.

Quand $𝒯$ est la topologie étale (resp. fpqc, etc.) on parle aussi de torseur étale (resp. torseur fpqc etc.).

Topologies étale, fpqc et fppf

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 $𝒯$ 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

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,{𝒪}_X^{\oplus n})$ qui a une structure de $Isom({𝒪}_X^{\oplus n},{𝒪}_X^{\oplus n})$ -torseur. Or on voit aisément que$Isom({𝒪}_X^{\oplus n},{𝒪}_X^{\oplus n})\simeq G{L}_{n,X}$.

Torseurs triviaux et sections

Un $G$-torseur $f:P\to X$ est isomorphe à un torseur trivial si et seulement si $P(X)=\mathrm{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=i{d}_X\times 1_G$.

Exemples et propriétés de base

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

Torseurs et cohomologie

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)$. 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 groupes fondamental

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 groupes 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 envoie $\hat{x}$ sur $y$. Son existence, conjecturée par Alexandre Grothendieck,a été démontrée par Madhav V. NoriModèle:,Modèle:, 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 Modèle:,.

Réduction d'un groupe de structure

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^{\prime }{\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 }_{\mathrm{Spec}k}\mathrm{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^{\prime }$ tel que $P{\times }_{X_R}{X}_{R^{\prime }}$ admet une réduction du groupe de structure à un sous-groupe de Borel de G.

Autres propriétés

• 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 ${𝐅}_q$, tout $G$-torseur sur $\mathrm{Spec}{𝐅}_q$ est trivial. (Théorème de Lang.)

Invariants

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é ${\mathrm{deg}}_i(P)$, est le degré de son algèbre de Lie $\mathrm{Lie}(P)$ vu comme fibré vectoriel sur X. Le degré d’instabilité de G est alors ${\mathrm{deg}}_i(G)=\max \{{\mathrm{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={\mathrm{Aut}}_G(E)$ : ${\mathrm{deg}}_i(E)={\mathrm{deg}}_i({}^{E}G)$. E est dit semi-stable si ${\mathrm{deg}}_i(E)\le 0$ et est dit stable si ${\mathrm{deg}}_i(E)<0$.

Exemples de torseurs en mathématiques appliquées

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. Les intégrales indéfinies sont un autre exemple de torseurs.

Articles connexes

• Modèle:Lien
• Modèle:Lien

Notes et références

Références

• Behrend, K. The Lefschetz Trace Formula for the Moduli Stack of Principal Bundles. PhD dissertation.
• Modèle:Ouvrage
• Modèle:Ouvrage

Lecture complémentaire

• Modèle:EnBrian Conrad, [http://math.stanford.edu/~conrad/papers/cosetfinite.pdf Finiteness theorems for algebraic groups over function �fields]