Principal homogeneous space
In mathematics, a principal homogeneous space, or torsor, for a group G is a homogeneous space X for G in which the stabilizer subgroup of every point is trivial. Equivalently, a principal homogeneous space for a group G is a non-empty set X on which G acts freely and transitively.
An analogous definition holds in other categories, where, for example,
- G is a topological group, X is a topological space and the action is continuous,
- G is a Lie group, X is a smooth manifold and the action is smooth,
- G is an algebraic group, X is an algebraic variety and the action is regular.
Definition
To state the definition more explicitly, X is a G-torsor or G-principal homogeneous space if X is nonempty and is equipped with a map such that
for all and all and such that the map given by
is an isomorphism.
Note that this means that X and G are isomorphic. However —and this is the essential point—, there is no preferred 'identity' point in X. That is, X looks exactly like G except that which point is the identity has been forgotten.
Since X is not a group, we cannot multiply elements; we can, however, take their "quotient". That is, there is a map that sends to the unique element such that.
The composition of the latter operation with the right group action, however, yields a ternary operation, which serves as an affine generalization of group multiplication and which is sufficient to both characterize a principal homogeneous space algebraically and intrinsically characterize the group it is associated with. If we denote the result of this ternary operation, then the following identities
will suffice to define a principal homogeneous space, while the additional property
identifies those spaces that are associated with abelian groups. The group may be defined as formal quotients subject to the equivalence relation
with the group product, identity and inverse defined, respectively, by
and the group action by
Examples
Every group G can itself be thought of as a left or right G-torsor under the natural action of left or right multiplication.Another example is the affine space concept: the idea of the affine space A underlying a vector space V can be said succinctly by saying that A is a principal homogeneous space for V acting as the additive group of translations.
The flags of any regular polytope form a torsor for its symmetry group.
Given a vector space V we can take G to be the general linear group GL, and X to be the set of all bases of V. Then G acts on X in the way that it acts on vectors of V; and it acts transitively since any basis can be transformed via G to any other. What is more, a linear transformation fixing each vector of a basis will fix all v in V, hence being the neutral element of the general linear group GL : so that X is indeed a principal homogeneous space. One way to follow basis-dependence in a linear algebra argument is to track variables x in X. Similarly, the space of orthonormal bases is a principal homogeneous space for the orthogonal group.
In category theory, if two objects X and Y are isomorphic, then the isomorphisms between them, Iso, form a torsor for the automorphism group of X, Aut, and likewise for Aut; a choice of isomorphism between the objects gives rise to an isomorphism between these groups and identifies the torsor with these two groups, giving the torsor a group structure.
Applications
The principal homogeneous space concept is a special case of that of principal bundle: it means a principal bundle with base a single point. In other words the local theory of principal bundles is that of a family of principal homogeneous spaces depending on some parameters in the base. The 'origin' can be supplied by a section of the bundle—such sections are usually assumed to exist locally on the base—the bundle being locally trivial, so that the local structure is that of a cartesian product. But sections will often not exist globally. For example a differential manifold M has a principal bundle of frames associated to its tangent bundle. A global section will exist only when M is parallelizable, which implies strong topological restrictions.In number theory there is a reason to consider principal homogeneous spaces, for elliptic curves E defined over a field K. Once this was understood various other examples were collected under the heading, for other algebraic groups: quadratic forms for orthogonal groups, and Severi–Brauer varieties for projective linear groups being two.
The reason of the interest for Diophantine equations, in the elliptic curve case, is that K may not be algebraically closed. There can exist curves C that have no point defined over K, and which become isomorphic over a larger field to E, which by definition has a point over K to serve as identity element for its addition law. That is, for this case we should distinguish C that have genus 1, from elliptic curves E that have a K-point. The curves C turn out to be torsors over E, and form a set carrying a rich structure in the case that K is a number field. In fact a typical plane cubic curve C over Q has no particular reason to have a rational point; the standard Weierstrass model always does, namely the point at infinity, but you need a point over K to put C into that form over K.
This theory has been developed with great attention to local analysis, leading to the definition of the Tate-Shafarevich group. In general the approach of taking the torsor theory, easy over an algebraically closed field, and trying to get back 'down' to a smaller field is an aspect of descent. It leads at once to questions of Galois cohomology, since the torsors represent classes in group cohomology H1.
Other usage
The concept of a principal homogeneous space can also be globalized as follows. Let X be a "space", and let G be a group over X, i.e., a group object in the category of spaces over X. In this case, a G-torsor E on X is a space E over X with a G action such that the morphismgiven by
is an isomorphism in the appropriate category, and such that E is locally trivial on X, in that acquires a section locally on X. Isomorphism classes of torsors in this sense correspond to classes in the cohomology group H1.
When we are in the smooth manifold category, then a G-torsor is then precisely a principal G-bundle as defined above.
Example: if G is a compact Lie group, then is a G-torsor over the classifying space.