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)
“Girls who put out are tramps. Girls who don’t are ladies. This is, however, a rather archaic usage of the word. Should one of you boys happen upon a girl who doesn’t put out, do not jump to the conclusion that you have found a lady. What you have probably found is a lesbian.”
—Fran Lebowitz (b. 1951)