Other Usage
The concept of a principal homogeneous space can also be globalized as follows. Let X be a "space" (a scheme/manifold/topological space etc.), and let G be a group over X, i.e., a group object in the category of spaces over X. In this case, a (right, say) G-torsor E on X is a space E (of the same type) over X with a (right) G action such that the morphism
given by
is an isomorphism in the appropriate category, and such that E is locally trivial on X, in that E→X acquires a section locally on X. Torsors in this sense correspond to classes in the cohomology group H1(X,G).
When we are in the smooth manifold category, then a G-torsor (for G a Lie group) is then precisely a principal G-bundle as defined above.
Read more about this topic: Principal Homogeneous Space
Famous quotes containing the word usage:
“I am using it [the word ‘perceive’] here in such a way that to say of an object that it is perceived does not entail saying that it exists in any sense at all. And this is a perfectly correct and familiar usage of the word.”
—A.J. (Alfred Jules)
“Pythagoras, Locke, Socrates—but pages
Might be filled up, as vainly as before,
With the sad usage of all sorts of sages,
Who in his life-time, each was deemed a bore!
The loftiest minds outrun their tardy ages.”
—George Gordon Noel Byron (1788–1824)