In algebraic geometry, a torsor or a principal bundle is an analog of a principal bundle in algebraic topology. Because there are few open sets in Zariski topology, it is more common to consider torsors in étale topology or some other flat topologies. The notion also generalizes a Galois extension in abstract algebra.
The category of torsors over a fixed base forms a stack. Conversely, a prestack can be stackified by taking the category of torsors (over the prestack).
Given a smooth algebraic groupG, a G-torsor (or a principal G-bundle) P over a scheme X is a scheme (or even algebraic space) with an action of G that is locally trivial in the given Grothendieck topology in the sense that the base change along some covering map is isomorphic to the trivial torsor (G acts only on the second factor).[1] Equivalently, a G-torsor P on X is a principal homogeneous space for the group scheme (i.e., acts simply transitively on .)
The definition may be formulated in the sheaf-theoretic language: a sheaf P on the category of X-schemes with some Grothendieck topology is a G-torsor if there is a covering in the topology, called the local trivialization, such that the restriction of P to each is a trivial -torsor.
A line bundle is nothing but a -bundle, and, like a line bundle, the two points of views of torsors, geometric and sheaf-theoretic, are used interchangeably (by permitting P to be a stack like an algebraic space if necessary[2]).
It is common to consider a torsor for not just a group scheme but more generally for a group sheaf (e.g., fppf group sheaf).
Remark: A G-torsor P over X is isomorphic to a trivial torsor if and only if is nonempty. (Proof: if there is an , then is an isomorphism.)
Let P be a G-torsor with a local trivialization in étale topology. A trivial torsor admits a section: thus, there are elements . Fixing such sections , we can write uniquely on with . Different choices of amount to 1-coboundaries in cohomology; that is, the define a cohomology class in the sheaf cohomology (more precisely Čech cohomology with sheaf coefficient) group .[3] A trivial torsor corresponds to the identity element. Conversely, it is easy to see any class in defines a G-torsor on X, unique up to an isomorphism.
If G is a connected algebraic group over a finite field , then any G-bundle over is trivial. (Lang's theorem.)
Reduction of a structure group
Most of constructions and terminology regarding principal bundles in algebraic topology carry over in verbatim to G-bundles. For example, if is a G-bundle and G acts from the left on a scheme F, then one can form the associated bundle with fiber F. In particular, if H is a closed subgroup of G, then for any H-bundle P, is a G-bundle called the induced bundle.
If P is a G-bundle that is isomorphic to the induced bundle for some H-bundle P', then P is said to admit a reduction of structure group from G to H.
Let X be a smooth projective curve over an algebraically closed field k, G a semisimple algebraic group and P a G-bundle on a relative curve , R a finitely generated k-algebra. Then a theorem of Drinfeld and Simpson states that, if G is simply connected and split, there is an étale morphism such that admits a reduction of structure group to a Borel subgroup of G.[4][5]
Invariants
If P is a parabolic subgroup of a smooth affine group scheme G with connected fibers, then its degree of instability, denoted by , is the degree of its Lie algebra as a vector bundle on X. The degree of instability of G is then . If G is an algebraic group and E is a G-torsor, then the degree of instability of E is the degree of the inner form of G induced by E (which is a group scheme over X); i.e., . E is said to be semi-stable if and is stable if .
Examples of torsors in applied mathematics
According to John Baez, energy, voltage, position and the phase of a quantum-mechanical wavefunction are all examples of torsors in everyday physics; in each case, only relative comparisons can be measured, but a reference point must be chosen arbitrarily to make absolute values meaningful. However, the comparative values of relative energy, voltage difference, displacements and phase differences are not torsors, but can be represented by simpler structures such as real numbers, vectors or angles.[6]
^ abBaez, John (December 27, 2009). "Torsors Made Easy". math.ucr.edu. Retrieved 2022-11-22.
References
Behrend, K. The Lefschetz Trace Formula for the Moduli Stack of Principal Bundles. PhD dissertation.
Behrend, Kai; Conrad, Brian; Edidin, Dan; Fulton, William; Fantechi, Barbara; Göttsche, Lothar; Kresch, Andrew (2006), , archived from the original on 2008-05-05
torsor, algebraic, geometry, algebraic, geometry, torsor, principal, bundle, analog, principal, bundle, algebraic, topology, because, there, open, sets, zariski, topology, more, common, consider, torsors, étale, topology, some, other, flat, topologies, notion,. In algebraic geometry a torsor or a principal bundle is an analog of a principal bundle in algebraic topology Because there are few open sets in Zariski topology it is more common to consider torsors in etale topology or some other flat topologies The notion also generalizes a Galois extension in abstract algebra The category of torsors over a fixed base forms a stack Conversely a prestack can be stackified by taking the category of torsors over the prestack Contents 1 Definition 2 Examples and basic properties 3 Reduction of a structure group 4 Invariants 5 Examples of torsors in applied mathematics 6 See also 7 Notes 8 References 9 Further readingDefinition EditGiven a smooth algebraic group G a G torsor or a principal G bundle P over a scheme X is a scheme or even algebraic space with an action of G that is locally trivial in the given Grothendieck topology in the sense that the base change Y X P displaystyle Y times X P along some covering map Y X displaystyle Y to X is isomorphic to the trivial torsor Y G Y displaystyle Y times G to Y G acts only on the second factor 1 Equivalently a G torsor P on X is a principal homogeneous space for the group scheme G X X G displaystyle G X X times G i e G X displaystyle G X acts simply transitively on P displaystyle P The definition may be formulated in the sheaf theoretic language a sheaf P on the category of X schemes with some Grothendieck topology is a G torsor if there is a covering U i X displaystyle U i to X in the topology called the local trivialization such that the restriction of P to each U i displaystyle U i is a trivial G U i displaystyle G U i torsor A line bundle is nothing but a G m displaystyle mathbb G m bundle and like a line bundle the two points of views of torsors geometric and sheaf theoretic are used interchangeably by permitting P to be a stack like an algebraic space if necessary 2 It is common to consider a torsor for not just a group scheme but more generally for a group sheaf e g fppf group sheaf Examples and basic properties EditExamples A GL n displaystyle operatorname GL n torsor on X is a principal GL n displaystyle operatorname GL n bundle on X If L K displaystyle L K is a finite Galois extension then Spec L Spec K displaystyle operatorname Spec L to operatorname Spec K is a Gal L K displaystyle operatorname Gal L K torsor roughly because the Galois group acts simply transitively on the roots This fact is a basis for Galois descent See integral extension for a generalization Remark A G torsor P over X is isomorphic to a trivial torsor if and only if P X Mor X P displaystyle P X operatorname Mor X P is nonempty Proof if there is an s X P displaystyle s X to P then X G P x g s x g displaystyle X times G to P x g mapsto s x g is an isomorphism Let P be a G torsor with a local trivialization U i X displaystyle U i to X in etale topology A trivial torsor admits a section thus there are elements s i P U i displaystyle s i in P U i Fixing such sections s i displaystyle s i we can write uniquely s i g i j s j displaystyle s i g ij s j on U i j displaystyle U ij with g i j G U i j displaystyle g ij in G U ij Different choices of s i displaystyle s i amount to 1 coboundaries in cohomology that is the g i j displaystyle g ij define a cohomology class in the sheaf cohomology more precisely Cech cohomology with sheaf coefficient group H 1 X G displaystyle H 1 X G 3 A trivial torsor corresponds to the identity element Conversely it is easy to see any class in H 1 X G displaystyle H 1 X G defines a G torsor on X unique up to an isomorphism If G is a connected algebraic group over a finite field F q displaystyle mathbf F q then any G bundle over Spec F q displaystyle operatorname Spec mathbf F q is trivial Lang s theorem Reduction of a structure group EditMost of constructions and terminology regarding principal bundles in algebraic topology carry over in verbatim to G bundles For example if P X displaystyle P to X is a G bundle and G acts from the left on a scheme F then one can form the associated bundle P G F X displaystyle P times G F to X with fiber F In particular if H is a closed subgroup of G then for any H bundle P P H G displaystyle P times H G is a G bundle called the induced bundle If P is a G bundle that is isomorphic to the induced bundle P H G displaystyle P times H G for some H bundle P then P is said to admit a reduction of structure group from G to H Let X be a smooth projective curve over an algebraically closed field k G a semisimple algebraic group and P a G bundle on a relative curve X R X Spec k Spec R displaystyle X R X times operatorname Spec k operatorname Spec R R a finitely generated k algebra Then a theorem of Drinfeld and Simpson states that if G is simply connected and split there is an etale morphism R R displaystyle R to R such that P X R X R displaystyle P times X R X R admits a reduction of structure group to a Borel subgroup of G 4 5 Invariants EditIf P is a parabolic subgroup of a smooth affine group scheme G with connected fibers then its degree of instability denoted by deg i P displaystyle deg i P is the degree of its Lie algebra Lie P displaystyle operatorname Lie P as a vector bundle on X The degree of instability of G is then deg i G max deg i P P G parabolic subgroups displaystyle deg i G max deg i P mid P subset G text parabolic subgroups If G is an algebraic group and E is a G torsor then the degree of instability of E is the degree of the inner form E G Aut G E displaystyle E G operatorname Aut G E of G induced by E which is a group scheme over X i e deg i E deg i E G displaystyle deg i E deg i E G E is said to be semi stable if deg i E 0 displaystyle deg i E leq 0 and is stable if deg i E lt 0 displaystyle deg i E lt 0 Examples of torsors in applied mathematics EditAccording to John Baez energy voltage position and the phase of a quantum mechanical wavefunction are all examples of torsors in everyday physics in each case only relative comparisons can be measured but a reference point must be chosen arbitrarily to make absolute values meaningful However the comparative values of relative energy voltage difference displacements and phase differences are not torsors but can be represented by simpler structures such as real numbers vectors or angles 6 In basic calculus he cites indefinite integrals as being examples of torsors 6 See also EditBeauville Laszlo theorem Moduli stack of principal bundles Fundamental group schemeNotes Edit Algebraic stacks Example 2 3 harvnb error no target CITEREFAlgebraic stacks help Behrend 1993 Lemma 4 3 1harvnb error no target CITEREFBehrend1993 help Milne 1980 The discussion preceding Proposition 4 6 http www math harvard edu gaitsgde grad 2009 SeminarNotes Oct27 Higgs pdf bare URL PDF http www math harvard edu lurie 282ynotes LectureXIV Borel pdf bare URL PDF a b Baez John December 27 2009 Torsors Made Easy math ucr edu Retrieved 2022 11 22 References EditBehrend K The Lefschetz Trace Formula for the Moduli Stack of Principal Bundles PhD dissertation Behrend Kai Conrad Brian Edidin Dan Fulton William Fantechi Barbara Gottsche Lothar Kresch Andrew 2006 Algebraic stacks archived from the original on 2008 05 05 Milne James S 1980 Etale cohomology Princeton Mathematical Series vol 33 Princeton University Press ISBN 978 0 691 08238 7 MR 0559531Further reading EditBrian Conrad http math stanford edu conrad papers cosetfinite pdf Finiteness theorems for algebraic groups over function fields Retrieved from https en wikipedia org w index php title Torsor algebraic geometry amp oldid 1129029049, wikipedia, wiki, book, books, library,