Homogeneous space

Last updated
A torus. The standard torus is homogeneous under its diffeomorphism and homeomorphism groups, and the flat torus is homogeneous under its diffeomorphism, homeomorphism, and isometry groups. Torus.png
A torus. The standard torus is homogeneous under its diffeomorphism and homeomorphism groups, and the flat torus is homogeneous under its diffeomorphism, homeomorphism, and isometry groups.

In mathematics, particularly in the theories of Lie groups, algebraic groups and topological groups, a homogeneous space for a group G is a non-empty manifold or topological space X on which G acts transitively. The elements of G are called the symmetries of X. A special case of this is when the group G in question is the automorphism group of the space X – here "automorphism group" can mean isometry group, diffeomorphism group, or homeomorphism group. In this case, X is homogeneous if intuitively X looks locally the same at each point, either in the sense of isometry (rigid geometry), diffeomorphism (differential geometry), or homeomorphism (topology). Some authors insist that the action of G be faithful (non-identity elements act non-trivially), although the present article does not. Thus there is a group action of G on X which can be thought of as preserving some "geometric structure" on X, and making X into a single G-orbit.


Formal definition

Let X be a non-empty set and G a group. Then X is called a G-space if it is equipped with an action of G on X. [1] Note that automatically G acts by automorphisms (bijections) on the set. If X in addition belongs to some category, then the elements of G are assumed to act as automorphisms in the same category. That is, the maps on X coming from elements of G preserve the structure associated with the category (for example, if X is an object in Diff then the action is required to be by diffeomorphisms). A homogeneous space is a G-space on which G acts transitively.

Succinctly, if X is an object of the category C, then the structure of a G-space is a homomorphism:

into the group of automorphisms of the object X in the category C. The pair (X, ρ) defines a homogeneous space provided ρ(G) is a transitive group of symmetries of the underlying set of X.


For example, if X is a topological space, then group elements are assumed to act as homeomorphisms on X. The structure of a G-space is a group homomorphism ρ : G  Homeo(X) into the homeomorphism group of X.

Similarly, if X is a differentiable manifold, then the group elements are diffeomorphisms. The structure of a G-space is a group homomorphism ρ : G  Diffeo(X) into the diffeomorphism group of X.

Riemannian symmetric spaces are an important class of homogeneous spaces, and include many of the examples listed below.

Concrete examples include:

examples of homogeneous spaces
space group stabilizer
spherical space
projective space
Euclidean space
hyperbolic space
anti-de Sitter space
affine space
Isometry groups
  1. Sphere (orthogonal group): . This is true because of the following observations: First, is the set of vectors in with norm . If we consider one of these vectors as a base vector, then any other vector can be constructed using an orthogonal transformation. If we consider the span of this vector as a one dimensional subspace of , then the complement is an -dimensional vector space which is invariant under an orthogonal transformation from . This shows us why we can construct as a homogeneous space.
  2. Oriented sphere (special orthogonal group):
  3. Projective space (projective orthogonal group):
  1. Euclidean space (Euclidean group, point stabilizer is orthogonal group): An ≅ E(n)/O(n)
  1. Hyperbolic space (orthochronous Lorentz group, point stabilizer orthogonal group, corresponding to hyperboloid model): Hn ≅ O+(1, n)/O(n)
  2. Oriented hyperbolic space: SO+(1, n)/SO(n)
  3. Anti-de Sitter space: AdSn+1 = O(2, n)/O(1, n)


From the point of view of the Erlangen program, one may understand that "all points are the same", in the geometry of X. This was true of essentially all geometries proposed before Riemannian geometry, in the middle of the nineteenth century.

Thus, for example, Euclidean space, affine space and projective space are all in natural ways homogeneous spaces for their respective symmetry groups. The same is true of the models found of non-Euclidean geometry of constant curvature, such as hyperbolic space.

A further classical example is the space of lines in projective space of three dimensions (equivalently, the space of two-dimensional subspaces of a four-dimensional vector space). It is simple linear algebra to show that GL4 acts transitively on those. We can parameterize them by line co-ordinates: these are the 2×2 minors of the 4×2 matrix with columns two basis vectors for the subspace. The geometry of the resulting homogeneous space is the line geometry of Julius Plücker.

Homogeneous spaces as coset spaces

In general, if X is a homogeneous space of G, and Ho is the stabilizer of some marked point o in X (a choice of origin), the points of X correspond to the left cosets G/Ho, and the marked point o corresponds to the coset of the identity. Conversely, given a coset space G/H, it is a homogeneous space for G with a distinguished point, namely the coset of the identity. Thus a homogeneous space can be thought of as a coset space without a choice of origin.

For example, if H is the identity subgroup {e}, then X is the G-torsor, which explains why G-torsors are often described intuitively as " with forgotten identity".

In general, a different choice of origin o will lead to a quotient of G by a different subgroup Ho′ which is related to Ho by an inner automorphism of G. Specifically,

where g is any element of G for which go = o′. Note that the inner automorphism (1) does not depend on which such g is selected; it depends only on g modulo Ho.

If the action of G on X is continuous and X is Hausdorff, then H is a closed subgroup of G. In particular, if G is a Lie group, then H is a Lie subgroup by Cartan's theorem. Hence G/H is a smooth manifold and so X carries a unique smooth structure compatible with the group action.

One can go further to double coset spaces, notably Clifford–Klein forms Γ\G/H, where Γ is a discrete subgroup (of G) acting properly discontinuously.


For example, in the line geometry case, we can identify H as a 12-dimensional subgroup of the 16-dimensional general linear group, GL(4), defined by conditions on the matrix entries

h13 = h14 = h23 = h24 = 0,

by looking for the stabilizer of the subspace spanned by the first two standard basis vectors. That shows that X has dimension 4.

Since the homogeneous coordinates given by the minors are 6 in number, this means that the latter are not independent of each other. In fact, a single quadratic relation holds between the six minors, as was known to nineteenth-century geometers.

This example was the first known example of a Grassmannian, other than a projective space. There are many further homogeneous spaces of the classical linear groups in common use in mathematics.

Prehomogeneous vector spaces

The idea of a prehomogeneous vector space was introduced by Mikio Sato.

It is a finite-dimensional vector space V with a group action of an algebraic group G, such that there is an orbit of G that is open for the Zariski topology (and so, dense). An example is GL(1) acting on a one-dimensional space.

The definition is more restrictive than it initially appears: such spaces have remarkable properties, and there is a classification of irreducible prehomogeneous vector spaces, up to a transformation known as "castling".

Homogeneous spaces in physics

Physical cosmology using the general theory of relativity makes use of the Bianchi classification system. Homogeneous spaces in relativity represent the space part of background metrics for some cosmological models; for example, the three cases of the Friedmann–Lemaître–Robertson–Walker metric may be represented by subsets of the Bianchi I (flat), V (open), VII (flat or open) and IX (closed) types, while the Mixmaster universe represents an anisotropic example of a Bianchi IX cosmology. [2]

A homogeneous space of N dimensions admits a set of Killing vectors. [3] For three dimensions, this gives a total of six linearly independent Killing vector fields; homogeneous 3-spaces have the property that one may use linear combinations of these to find three everywhere non-vanishing Killing vector fields ,

where the object , the "structure constants", form a constant order-three tensor antisymmetric in its lower two indices (on the left-hand side, the brackets denote antisymmetrisation and ";" represents the covariant differential operator). In the case of a flat isotropic universe, one possibility is (type I), but in the case of a closed FLRW universe, where is the Levi-Civita symbol.

See also


  1. We assume that the action is on the left. The distinction is only important in the description of X as a coset space.
  2. Lev Landau and Evgeny Lifshitz (1980), Course of Theoretical Physics vol. 2: The Classical Theory of Fields, Butterworth-Heinemann, ISBN   978-0-7506-2768-9
  3. Steven Weinberg (1972), Gravitation and Cosmology, John Wiley and Sons

Related Research Articles

<span class="mw-page-title-main">Automorphism</span> Isomorphism of an object to itself

In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object.

<span class="mw-page-title-main">Group representation</span> Group homomorphism into the general linear group over a vector space

In the mathematical field of representation theory, group representations describe abstract groups in terms of bijective linear transformations of a vector space to itself ; in particular, they can be used to represent group elements as invertible matrices so that the group operation can be represented by matrix multiplication.

<span class="mw-page-title-main">Group action</span> Transformations induced by a mathematical group

In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group acts on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron.

<span class="mw-page-title-main">Symmetry group</span> Group of transformations under which the object is invariant

In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient space which takes the object to itself, and which preserves all the relevant structure of the object. A frequent notation for the symmetry group of an object X is G = Sym(X).

<span class="mw-page-title-main">Orthogonal group</span> Type of group in mathematics

In mathematics, the orthogonal group in dimension n, denoted O(n), is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of n×n orthogonal matrices, where the group operation is given by matrix multiplication. The orthogonal group is an algebraic group and a Lie group. It is compact.

<span class="mw-page-title-main">Lorentz group</span> Lie group of Lorentz transformations

In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicist Hendrik Lorentz.

<span class="mw-page-title-main">Frame bundle</span>

In mathematics, a frame bundle is a principal fiber bundle F(E) associated to any vector bundle E. The fiber of F(E) over a point x is the set of all ordered bases, or frames, for Ex. The general linear group acts naturally on F(E) via a change of basis, giving the frame bundle the structure of a principal GL(k, R)-bundle.

In mathematics, the GrassmannianGr(k, V) is a space that parameterizes all k-dimensional linear subspaces of the n-dimensional vector space V. For example, the Grassmannian Gr(1, V) is the space of lines through the origin in V, so it is the same as the projective space of one dimension lower than V.

In mathematics, a generalized flag variety is a homogeneous space whose points are flags in a finite-dimensional vector space V over a field F. When F is the real or complex numbers, a generalized flag variety is a smooth or complex manifold, called a real or complexflag manifold. Flag varieties are naturally projective varieties.

<span class="mw-page-title-main">Spin group</span> Double cover Lie group of the special orthogonal group

In mathematics the spin group Spin(n) is the double cover of the special orthogonal group SO(n) = SO(n, R), such that there exists a short exact sequence of Lie groups

In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the geometry of the principal bundle is tied to the geometry of the base manifold using a solder form. Cartan connections describe the geometry of manifolds modelled on homogeneous spaces.

In differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM of M.

In mathematics, the Stiefel manifold is the set of all orthonormal k-frames in That is, it is the set of ordered orthonormal k-tuples of vectors in It is named after Swiss mathematician Eduard Stiefel. Likewise one can define the complex Stiefel manifold of orthonormal k-frames in and the quaternionic Stiefel manifold of orthonormal k-frames in . More generally, the construction applies to any real, complex, or quaternionic inner product space.

<span class="mw-page-title-main">Symmetric space</span> A (pseudo-)Riemannian manifold whose geodesics are reversible.

In mathematics, a symmetric space is a Riemannian manifold whose group of symmetries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, leading to consequences in the theory of holonomy; or algebraically through Lie theory, which allowed Cartan to give a complete classification. Symmetric spaces commonly occur in differential geometry, representation theory and harmonic analysis.

<span class="mw-page-title-main">Dihedral group of order 6</span> Non-commutative group with 6 elements

In mathematics, D3 (sometimes alternatively denoted by D6) is the dihedral group of degree 3, or, in other words, the dihedral group of order 6. It is isomorphic to the symmetric group S3 of degree 3. It is also the smallest non-abelian group.

<span class="mw-page-title-main">Hermitian symmetric space</span> Manifold with inversion symmetry

In mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds.

Affine geometry, broadly speaking, is the study of the geometrical properties of lines, planes, and their higher dimensional analogs, in which a notion of "parallel" is retained, but no metrical notions of distance or angle are. Affine spaces differ from linear spaces in that they do not have a distinguished choice of origin. So, in the words of Marcel Berger, "An affine space is nothing more than a vector space whose origin we try to forget about, by adding translations to the linear maps." Accordingly, a complex affine space, that is an affine space over the complex numbers, is like a complex vector space, but without a distinguished point to serve as the origin.

In mathematics, an adjoint bundle is a vector bundle naturally associated to any principal bundle. The fibers of the adjoint bundle carry a Lie algebra structure making the adjoint bundle into a (nonassociative) algebra bundle. Adjoint bundles have important applications in the theory of connections as well as in gauge theory.

<span class="mw-page-title-main">Classical group</span>

In mathematics, the classical groups are defined as the special linear groups over the reals R, the complex numbers C and the quaternions H together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms defined on real, complex and quaternionic finite-dimensional vector spaces. Of these, the complex classical Lie groups are four infinite families of Lie groups that together with the exceptional groups exhaust the classification of simple Lie groups. The compact classical groups are compact real forms of the complex classical groups. The finite analogues of the classical groups are the classical groups of Lie type. The term "classical group" was coined by Hermann Weyl, it being the title of his 1939 monograph The Classical Groups.

<span class="mw-page-title-main">Complexification (Lie group)</span> Universal construction of a complex Lie group from a real Lie group

In mathematics, the complexification or universal complexification of a real Lie group is given by a continuous homomorphism of the group into a complex Lie group with the universal property that every continuous homomorphism of the original group into another complex Lie group extends compatibly to a complex analytic homomorphism between the complex Lie groups. The complexification, which always exists, is unique up to unique isomorphism. Its Lie algebra is a quotient of the complexification of the Lie algebra of the original group. They are isomorphic if the original group has a quotient by a discrete normal subgroup which is linear.