Homogeneous space

h0476901.png 132 0 132 A set together with a given transitive group action. More precisely, $ M $ is a homogeneous space with group $ G $ if a mapping$$ ( g ,\ x ) \rightarrow g x $$ of the set $ G \times M $ into $ M $ is given, such that

1) $ ( g h ) x = g ( h x ) $ ;

2) $ e x = x $ ;

3) for any $ x ,\ y \in M $ there exists a $ g \in G $ such that $ g x = y $ .

The elements of the set $ M $ are called the points of the homogeneous space, and the group $ G $ is called the group of motions, or the basic (fundamental) group of the homogeneous space.

Any point $ x $ in $ M $ determines a subgroup$$ G _{x} = \{ {g \in G} : {g x = x} \} $$ of $ G $ . It is called the isotropy group, or stationary subgroup, or stabilizer of the point $ x $ . The stabilizers of different points are conjugate in $ G $ by inner automorphisms.

With an arbitrary subgroup of $ G $ is associated a certain homogeneous space for $ G $ , namely, the set $ M = G / H $ of left cosets of $ H $ in $ G $ , on which $ G $ acts by the formula$$ g ( a H ) = ( g a ) H , g ,\ a \in G . $$ This homogeneous space is called the quotient space of $ G $ by $ H $ , and the subgroup $ H $ turns out to be the stabilizer of the point $ e H = H $ of this space ($ e $ is the identity of $ G $ ). Any homogeneous space $ M $ with group $ G $ can be identified with the quotient space of $ G $ by the subgroup $ H = G _{x} $ , the stabilizer of a fixed point $ x \in M $ , by means of the bijection$$ M \ni y \iff g H \in G / H , $$ where $ g $ is any element of $ G $ such that $ g x = y $ .

If $ G $ is a topological group and $ H $ is a subgroup of it (respectively, $ G $ is a Lie group and $ H $ is a closed subgroup of $ G $ ), then $ M = G / H $ is endowed with the structure of a topological space (respectively, of a differentiable manifold) in a canonical way, relative to which the action of $ G $ on $ M $ is continuous (respectively, differentiable). If a Lie group $ G $ acts transitively and differentiably on a differentiable manifold $ M $ , then, for any point $ x _{0} \in M $ , the subgroup $ H = G _ {x _{0}} $ is closed and the bijection $ g H \rightarrow g x _{0} $ above is differentiable; if the number of connected components of $ G $ is at most countable, then this bijection is a diffeomorphism.

Other cases which have been studied are when $ G $ is an algebraic group and $ M $ an algebraic variety (see Homogeneous space of an algebraic group), and when $ M $ is a complex manifold and $ G $ is a real (or complex) Lie group (see Homogeneous complex manifold).

In what follows $ M $ is always a differentiable manifold and $ G $ is a Lie group.

Geometry of homogeneous spaces.[edit]

According to F. Klein's Erlangen program, the subject of the geometry of a homogeneous space is the study of invariants of the group of motions of a homogeneous space. The classical area of research here is the classification of the various subsets of a homogeneous space, in particular submanifolds and their unions, families of submanifolds, etc., up to motions of the group $ G $ . Such a classification can be obtained by constructing a complete system of invariants of subsets of given type (examples of such systems of invariants are the length of the sides of a triangle, or the curvature and torsion of a smooth curve in the three-dimensional Euclidean space). A general method for constructing a complete system of local invariants (the moving-frame method) for a smooth submanifold in an arbitrary homogeneous space of a Lie group was developed by E. Cartan (see [6], [16]).

Another direction of research is the discovery and study of invariant geometric objects on a homogeneous space (see Invariant object on a homogeneous space). The action of the basic Lie group $ G $ on a homogeneous space $ M $ induces an action of $ G $ on the space of various geometric objects on $ M $ ( functions, vector and tensor fields, connections, differential operators, etc.). Geometric objects that are fixed under this action are called invariant objects. Examples of such objects are the Euclidean metric on a Euclidean space regarded as a homogeneous space of the group of Euclidean motions, and the conformal metric giving the angle between curves in a conformal space. Closely related to this area is the problem of describing and studying homogeneous spaces having a particular invariant. For example, one can consider Riemannian and pseudo-Riemannian spaces, spaces with an affine connection, symplectic homogeneous spaces, homogeneous complex manifolds, that is, homogeneous spaces having an invariant metric (Riemannian or pseudo-Riemannian), an affine connection, a symplectic structure, or a complex structure, respectively. See also Riemannian space, homogeneous; Symplectic homogeneous space; Homogeneous complex manifold.

An important class of homogeneous spaces is the class of reductive homogeneous spaces, that is, homogeneous spaces $ G / H $ such that the Lie algebra $ \mathfrak g $ of the Lie group $ G $ has the decomposition$$ \tag{*} \mathfrak g = \mathfrak f + \mathfrak m , \mathfrak f \cap \mathfrak m = \{ 0 \} , $$ where $ \mathfrak f $ is the Lie algebra of $ H $ and $ \mathfrak m $ is a subspace invariant under the adjoint representation of $ H $ in $ \mathfrak g $ ( cf. Adjoint representation of a Lie group). Such a decomposition defines a geodesically-complete linear connection on $ G / H $ with parallel curvature and torsion tensors. Conversely, a simply-connected manifold with a complete linear connection having parallel curvature and torsion tensors is a reductive homogeneous space with respect to the automorphism group of this connection (see [5]). A special case of a reductive homogeneous space is a symmetric space, for which the decomposition (*) satisfies the additional condition $ [ \mathfrak m ,\ \mathfrak m ] \subseteq \mathfrak f $ . Geometrically this condition means that the corresponding connection has zero torsion. Examples of symmetric spaces are the globally symmetric Riemannian spaces (cf. Globally symmetric Riemannian space), as well as the space of an arbitrary Lie group, on which the group of motions is generated by left or right translations.

Homogeneous bundles and representation theory.[edit]

The action of $ G $ can be extended not only to bundles of geometric objects, but also to the larger class of so-called homogeneous bundles. A homogeneous bundle $ \pi $ over the homogeneous space $ G / H $ is given by the left action of the subgroup $ H $ on an arbitrary manifold $ F $ ( a typical fibre) and is defined as the natural projection$$ \pi : G \times _{H} F \rightarrow G / H , $$ where $ G \times _{H} F $ is the fibre product as the quotient of the direct product $ G \times F $ by the equivalence relation$$ ( g ,\ f \ ) \sim ( g h ^{-1} ,\ h f \ ) , g \in G , k \in H , f \in F . $$ If $ P $ is a vector space on which $ H $ acts linearly, then the corresponding homogeneous bundle $ \pi $ is a vector bundle, and in the space of its sections $ \Gamma ( \pi ) $ there is a linear representation of $ G $ , induced by the representation of the subgroup $ H $ in $ F $ . The study of induced representations (cf. Induced representation) (the properties of which turn out to be closely related to the geometry of the corresponding homogeneous space) and their generalizations plays an important role in the representation theory of Lie groups (see [7]).

Analysis on homogeneous spaces.[edit]

Among the most developed areas are: 1) the study of various function spaces on a homogeneous space (spaces of functions, spaces of sections of homogeneous vector bundles, cohomology spaces with values in appropriate sheaves); 2) the study of invariant differential operators acting on these spaces; and 3) the study of various dynamical systems related to homogeneous spaces.

The first area includes the theory of spherical functions (and, more generally, spherical sections), which studies finite-dimensional spaces of functions on a homogeneous space which are invariant with respect to the basic group (see Representation function), many special functions of mathematical physics can be interpreted as spherical functions on some homogeneous space, and the study of representations of the basic group in such function spaces enables one to obtain in a unified way the basic results of the theory of special functions (integral representations, recurrence formulas, addition theorems, etc., see [2]). A natural generalization of the theory of Fourier series and integrals is abstract harmonic analysis (cf. Harmonic analysis, abstract) on homogeneous spaces, one of the basic problems in which consists of the description of the decomposition of the space of square-integrable functions on a homogeneous space as the sum of subspaces irreducible under the action of the basic group. The majority of results obtained here are connected with the case when the homogeneous space is the space of a semi-simple Lie group (see [4]).

The theory of automorphic functions leads to the more general problem of the decomposition into irreducible components of the space of square-integrable sections of a homogeneous vector bundle over a homogeneous space $ G / H $ which are invariant relative to a discrete subgroup $ \Gamma \subset G $ .

As well as function spaces, various measure spaces on homogeneous spaces are also studied, for example in connection with applications to probability theory (see [3], [9]).

The second area includes problems of the description of invariant differential operators (cf. Invariant differential operator) on homogeneous spaces, the study of their properties, finding their spectrum and fundamental solution, and the investigation of the solutions of the corresponding partial differential equations (see [8], [15]).

The third area includes the study of various dynamical systems (cf. Dynamical system) related to the homogeneous space, for example, the flow generated by a one-parameter subgroup of the basic group, the flow generated by the canonical connection of a Lie group, the geodesic flow of a homogeneous Riemannian space, etc. Conditions for the ergodicity of flows have been investigated, and a description of their first integrals have been given (see [1]).

Integral geometry is also related to analysis on homogeneous spaces, being connected with the theory of invariant measures on homogeneous spaces and on manifolds related to these, with as points submanifolds of one sort or another.

The topology of homogeneous spaces.[edit]

The methods of algebraic topology in many cases allow one to reduce the problem of computing basic topological invariants of a homogeneous space (the cohomology ring, characteristic classes, $ K $ - functor, homotopy groups, etc.) to certain algebraic problems concerning the algebraic structure of the basic group and the isotropy group of the homogeneous space. Explicit results of this kind have been obtained for several classes of homogeneous spaces. For example, a theorem of H. Cartan gives an algorithm for computing the real cohomology algebra $ H ^{*} ( G / H ; \ \mathbf R ) $ , where $ G $ and $ H $ are connected compact Lie groups, in terms of invariants of the Weyl groups (cf. Weyl group) of $ G $ and $ H $ ( see [10]). In particular, if $ G / H $ has non-zero Euler characteristic (this is equivalent to $ G $ and $ H $ having the same rank), then the Poincaré polynomial (cf. Künneth formula) of the manifold $ G / H $ has the form$$ P ( G / H ,\ t ) = \prod _{i=1} ^ r \frac{1 - t ^ {2k _{i}}}{1 - t ^ {2l _{i}}} , $$ where $ k _{1} \dots k _{r} $ and $ l _{1} \dots l _{r} $ are the degrees of the basis invariant polynomials of the Weyl groups for $ G $ and $ H $ , respectively (Hirsch's formula).

A very detailed study has been made of the topological structure of homogeneous spaces of compact Lie groups, symmetric spaces and solv manifolds (homogeneous spaces of solvable Lie group, cf. Solv manifold). The Mostow–Karpelevich theorem, which states that any homogeneous space of a Lie group having a finite basic group is diffeomorphic to a vector bundle over the homogeneous space of a compact Lie group, reduces the study of the topology of homogeneous spaces to a considerable extent to the case when the basic group is compact.

The classification of homogeneous spaces.[edit]

The basic problems in this area consist in the determination of those manifolds which are homogeneous spaces of connected Lie groups and in the enumeration of all transitive actions of connected Lie groups on these manifolds. For example, the only homogeneous spaces of dimension 2 are the plane, the cylinder, the sphere, the torus, the Möbius strip, the projective plane, and the Klein bottle. At present (1982), the classification of three-dimensional homogeneous spaces has also been carried out, as well as the classification (up to finite-sheeted coverings) of all compact homogeneous spaces of dimensions $ \leq 6 $ ( see [11]).

For a number of important classes of homogeneous spaces $ M $ of high dimension, a classification of all transitive actions of Lie groups on $ M $ is known (see ). For example, the classification of all transitive actions of compact Lie groups on spheres has the following form. Any continuous, transitive and effective action of a connected compact Lie group on $ S ^{n} $ can be transformed by a homeomorphism of the sphere $ S ^{n} $ to the standard linear action of the group $ \mathop{\rm SO}\nolimits ( n + 1 ) $ or one of the following subgroups of it:

$ G = \mathop{\rm SU}\nolimits (k) $ or $ U (k) $ if $ n = 2 k - 1 $ ;

$ G = \mathop{\rm Sp}\nolimits (k) $ , $ \mathop{\rm Sp}\nolimits (k) \times U (1) $ or $ \mathop{\rm Sp}\nolimits (k) \times \mathop{\rm Sp}\nolimits (1) $ if $ n = 4 k - 1 $ ;

$ G = \mathop{\rm Spin}\nolimits (7) $ or $ \mathop{\rm Spin}\nolimits (9) $ if $ n = 7 ,\ 15 $ ;

$ G = G _{2} $ if $ n = 6 $ ( the Montgomery–Samelson–Borel theorem, see [10]). As for transitive actions of non-compact Lie groups on the sphere $ S ^{n} $ , for even $ n $ the only such actions are essentially the projective action of $ \mathop{\rm SL}\nolimits ( n + 1 ) $ and the conformal action of $ \mathop{\rm SO}\nolimits ( 1 ,\ n + 1 ) $ . For odd $ n $ , the result is more complicated: Transitive and effective actions can exist of a Lie group with a radical of arbitrarily large dimension.

References[edit]