Torsors and principal bundles
31st October, 2018
In my thesis, switching between vector bundles and principal -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 and things therein12. 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 -torsors, where is the underlying vector space acting via translation’,3 which makes a nice short topic of discussion, whence this post.
We briefly4 recall the definition of a principal -bundle over a space , where is some topological group.
Definition. A principal -bundle over is a fibre bundle with a continuous right action such that
- acts freely;
- acts transitively on the orbits; and
- acts properly.
It is maybe helpful to think of the following ‘dictionary’:
- free = injective (i.e. s.t. )
- transitively = surjective (i.e. s.t. )
- properly = something that you care about if you care about infinite sequences or Hausdorffness or things like that (i.e. the inverse image of given by preserves compactness)
Thus the fibres are homeomorphic to , and also give the orbits, and the orbit space is homeomorphic to .
Another definition is now useful.
Definition. A -torsor is a space upon which acts freely and transitively.
Motto. -torsors are principal -bundles over a point are affine versions of .
What do we mean by this last ‘equivalence’? Just that -torsors retain all the structure of , but don’t have some specified point that acts as the identity. Here are some nice examples.
- -torsors are vector spaces; -bundles are vector bundles.
- -torsors are vector spaces with an inner product.
- -torsors are oriented vector spaces (where is the connected component of consisting of matrices with determinant strictly positive).
- -torsors are vector spaces with a specified isomorphism , where , and is our base field. Note that this is weaker than a choice of basis: it is a choice of an -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. ↩
(which I won’t talk about here because (a) I think there are many other places to read about this that are much better than something that I could write; and (b) I should be working on my thesis but I’m sort of using this post as a method of procrastination/searching for inspiration). ↩
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?) ↩