Torsors and principal bundles
31st October, 2018
In my thesis, switching between vector bundles and principal \mathrm{GL}_r-bundles has often made certain problems easier (or harder) to understand. Due to my innate fear of all things differentially geometric, I often prefer working with principal bundles, and since reading Stephen Sontz’s (absolutely fantastic) book Principal Bundles — The Classical Case, I’ve really grown quite fond of bundles, especially when you start talking about all the lovely \mathbb{B}G and \mathbb{E}G things therein^{1} Point is, I haven’t posted anything in forever, and one of my supervisor’s strong pedagogical beliefs is that ‘affine vector spaces should be understood as G-torsors, where G is the underlying vector space acting via translation’,^{2} which makes a nice short topic of discussion, whence this post.
We briefly^{3} recall the definition of a principal G-bundle over a space X, where G is some topological group.
Definition. A principal G-bundle over X is a fibre bundle P\xrightarrow{\pi}X with a continuous right action P\times G\to P such that
- G acts freely;
- G acts transitively on the orbits; and
- G acts properly.
It is maybe helpful to think of the following ‘dictionary’:
- free = injective (i.e. \exists x s.t. gx=hx\implies g=h)
- transitively = surjective (i.e. \forall x,y \exists g s.t. gx=y)
- properly = something that you care about if you care about infinite sequences or Hausdorffness or things like that (i.e. the inverse image of G\times X\to X\times X given by (g,x)\mapsto(gx,x) preserves compactness)
Thus the fibres F are homeomorphic to G, and also give the orbits, and the orbit space P/G is homeomorphic to X.
Another definition is now useful.
Definition. A G-torsor is a space upon which G acts freely and transitively.
Motto. G-torsors are principal G-bundles over a point are affine versions of G.
What do we mean by this last ‘equivalence’? Just that G-torsors retain all the structure of G, but don’t have some specified point that acts as the identity. Here are some nice examples.
- \mathrm{GL}_r-torsors are vector spaces; \mathrm{GL}_r-bundles are vector bundles.
- O(r)-torsors are vector spaces with an inner product.
- \mathrm{GL}_r^+-torsors are oriented vector spaces (where \mathrm{GL}_r^+ is the connected component of \mathrm{GL}_r consisting of matrices with determinant strictly positive).
- \mathrm{SL}_r-torsors are vector spaces with a specified isomorphism \det V\xrightarrow{\sim} k, where \det V:=\wedge_{i=1}^r V, and k is our base field. Note that this is weaker than a choice of basis: it is a choice of an \mathrm{SL}_r-conjugacy class of bases.
About which I recently had a nice little Twitter conversation with John Baez; his replies starting here are really quite nice. P.S. if you are not on Twitter then I would highly recommend it: the maths community is really friendly and interesting, and if you have a little question to ask then chances are you’ll get a bunch of nice responses. Also a chance to talk to people across the globe in a completely different time zone. Don’t get me wrong, Twitter has many problems, but you can ignore most of them and just follow the people that you like.↩︎
An earlier version of this post incorrectly said ‘\mathrm{GL}_r-torsor’; thanks to Barbara Fantechi for pointing this out!↩︎
In particular we really sort of assume that the reader already knows what one of these is and are just writing this for some mild effort towards self-containedness. (Bonus question for anybody actually reading this: what is the word/phrase I can’t think of that means ‘self-containedness’ but is actually a real word/phrase?)↩︎