Namespaces
Variants
Actions

Difference between revisions of "Homogeneous space"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (links)
m (tex done)
 
Line 1: Line 1:
A set together with a given transitive [[group action]]. More precisely, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h0476901.png" /> is a homogeneous space with group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h0476902.png" /> if a mapping
+
h0476901.png
 +
132 0 132
 +
{{TEX|done}}
 +
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h0476903.png" /></td> </tr></table>
+
1) $  ( g h ) x = g ( h x ) $ ;
  
of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h0476904.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h0476905.png" /> is given, such that
 
  
1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h0476906.png" />;
+
2) $  e x = x $ ;
  
2) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h0476907.png" />;
 
  
3) for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h0476908.png" /> there exists a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h0476909.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769010.png" />.
+
3) for any $  x ,\  y \in M $
 +
there exists a $  g \in G $
 +
such that $  g x = y $ .
  
The elements of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769011.png" /> are called the points of the homogeneous space, and the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769012.png" /> is called the group of motions, or the basic (fundamental) group of the homogeneous space.
 
  
Any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769013.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769014.png" /> determines a subgroup
+
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.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769015.png" /></td> </tr></table>
+
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 automorphism]]s.
  
of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769016.png" />. It is called the [[isotropy group]], or stationary subgroup, or [[stabilizer]] of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769017.png" />. The stabilizers of different points are conjugate in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769018.png" /> by [[inner automorphism]]s.
+
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 $ .
  
With an arbitrary subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769019.png" /> is associated a certain homogeneous space for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769020.png" />, namely, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769021.png" /> of left cosets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769022.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769023.png" />, on which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769024.png" /> acts by the formula
 
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769025.png" /></td> </tr></table>
+
If $  G $
 +
is a [[Topological group|topological group]] and $  H $
 +
is a subgroup of it (respectively, $  G $
 +
is a [[Lie group|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.
  
This homogeneous space is called the quotient space of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769026.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769027.png" />, and the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769028.png" /> turns out to be the stabilizer of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769029.png" /> of this space (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769030.png" /> is the identity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769031.png" />). Any homogeneous space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769032.png" /> with group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769033.png" /> can be identified with the quotient space of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769034.png" /> by the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769035.png" />, the stabilizer of a fixed point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769036.png" />, by means of the bijection
+
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|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|Homogeneous complex manifold]]).
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769037.png" /></td> </tr></table>
+
In what follows $  M $
 
+
is always a differentiable manifold and $  G $
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769038.png" /> is any element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769039.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769040.png" />.
+
is a Lie group.
 
 
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769041.png" /> is a [[Topological group|topological group]] and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769042.png" /> is a subgroup of it (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769043.png" /> is a [[Lie group|Lie group]] and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769044.png" /> is a closed subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769045.png" />), then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769046.png" /> is endowed with the structure of a topological space (respectively, of a differentiable manifold) in a canonical way, relative to which the action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769047.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769048.png" /> is continuous (respectively, differentiable). If a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769049.png" /> acts transitively and differentiably on a differentiable manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769050.png" />, then, for any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769051.png" />, the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769052.png" /> is closed and the bijection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769053.png" /> above is differentiable; if the number of connected components of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769054.png" /> is at most countable, then this bijection is a diffeomorphism.
 
 
 
Other cases which have been studied are when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769055.png" /> is an algebraic group and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769056.png" /> an algebraic variety (see [[Homogeneous space of an algebraic group|Homogeneous space of an algebraic group]]), and when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769057.png" /> is a complex manifold and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769058.png" /> is a real (or complex) Lie group (see [[Homogeneous complex manifold|Homogeneous complex manifold]]).
 
 
 
In what follows <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769059.png" /> is always a differentiable manifold and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769060.png" /> is a Lie group.
 
  
 
==Geometry of homogeneous spaces.==
 
==Geometry of homogeneous spaces.==
According to F. Klein's [[Erlangen program|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769061.png" />. 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|moving-frame method]]) for a smooth submanifold in an arbitrary homogeneous space of a Lie group was developed by E. Cartan (see [[#References|[6]]], [[#References|[16]]]).
+
According to F. Klein's [[Erlangen program|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|moving-frame method]]) for a smooth submanifold in an arbitrary homogeneous space of a Lie group was developed by E. Cartan (see [[#References|[6]]], [[#References|[16]]]).
Another direction of research is the discovery and study of invariant geometric objects on a homogeneous space (see [[Invariant object|Invariant object]] on a homogeneous space). The action of the basic Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769062.png" /> on a homogeneous space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769063.png" /> induces an action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769064.png" /> on the space of various geometric objects on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769065.png" /> (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|affine connection]], a [[Symplectic structure|symplectic structure]], or a [[Complex structure|complex structure]], respectively. See also [[Riemannian space, homogeneous|Riemannian space, homogeneous]]; [[Symplectic homogeneous space|Symplectic homogeneous space]]; [[Homogeneous complex manifold|Homogeneous complex manifold]].
 
 
 
An important class of homogeneous spaces is the class of reductive homogeneous spaces, that is, homogeneous spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769066.png" /> such that the [[Lie algebra|Lie algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769067.png" /> of the Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769068.png" /> has the decomposition
 
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769069.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
Another direction of research is the discovery and study of invariant geometric objects on a homogeneous space (see [[Invariant object|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|affine connection]], a [[Symplectic structure|symplectic structure]], or a [[Complex structure|complex structure]], respectively. See also [[Riemannian space, homogeneous|Riemannian space, homogeneous]]; [[Symplectic homogeneous space|Symplectic homogeneous space]]; [[Homogeneous complex manifold|Homogeneous complex manifold]].
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769070.png" /> is the Lie algebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769071.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769072.png" /> is a subspace invariant under the adjoint representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769073.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769074.png" /> (cf. [[Adjoint representation of a Lie group|Adjoint representation of a Lie group]]). Such a decomposition defines a geodesically-complete linear connection on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769075.png" /> 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 [[#References|[5]]]). A special case of a reductive homogeneous space is a symmetric space, for which the decomposition (*) satisfies the additional condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769076.png" />. 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|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.
+
An important class of homogeneous spaces is the class of reductive homogeneous spaces, that is, homogeneous spaces $  G / H $
 +
such that the [[Lie algebra|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|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 [[#References|[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|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.==
 
==Homogeneous bundles and representation theory.==
The action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769077.png" /> can be extended not only to bundles of geometric objects, but also to the larger class of so-called homogeneous bundles. A homogeneous bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769078.png" /> over the homogeneous space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769079.png" /> is given by the left action of the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769080.png" /> on an arbitrary manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769081.png" /> (a typical fibre) and is defined as the natural projection
+
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 $
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769082.png" /></td> </tr></table>
+
over the homogeneous space $  G / H $
 
+
is given by the left action of the subgroup $  H $
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769083.png" /> is the fibre product as the quotient of the direct product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769084.png" /> by the equivalence relation
+
on an arbitrary manifold $  F $ (
 
+
a typical fibre) and is defined as the natural projection$$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769085.png" /></td> </tr></table>
+
\pi : G \times _{H} F  \rightarrow  G / H ,
 
+
$$
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769086.png" /> is a vector space on which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769087.png" /> acts linearly, then the corresponding homogeneous bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769088.png" /> is a vector bundle, and in the space of its sections <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769089.png" /> there is a linear representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769090.png" />, induced by the representation of the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769091.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769092.png" />. The study of induced representations (cf. [[Induced representation|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 [[#References|[7]]]).
+
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|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 [[#References|[7]]]).
  
 
==Analysis on homogeneous spaces.==
 
==Analysis on homogeneous spaces.==
Line 62: Line 144:
 
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|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 [[#References|[2]]]). A natural generalization of the theory of Fourier series and integrals is abstract harmonic analysis (cf. [[Harmonic analysis, abstract|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 [[#References|[4]]]).
 
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|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 [[#References|[2]]]). A natural generalization of the theory of Fourier series and integrals is abstract harmonic analysis (cf. [[Harmonic analysis, abstract|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 [[#References|[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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769093.png" /> which are invariant relative to a discrete subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769094.png" />.
+
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 [[#References|[3]]], [[#References|[9]]]).
 
As well as function spaces, various measure spaces on homogeneous spaces are also studied, for example in connection with applications to probability theory (see [[#References|[3]]], [[#References|[9]]]).
Line 73: Line 157:
  
 
==The topology of homogeneous spaces.==
 
==The topology of homogeneous spaces.==
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, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769095.png" />-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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769096.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769097.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769098.png" /> are connected compact Lie groups, in terms of invariants of the Weyl groups (cf. [[Weyl group|Weyl group]]) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769099.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690100.png" /> (see [[#References|[10]]]). In particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690101.png" /> has non-zero [[Euler characteristic|Euler characteristic]] (this is equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690102.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690103.png" /> having the same rank), then the Poincaré polynomial (cf. [[Künneth formula|Künneth formula]]) of the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690104.png" /> has the form
+
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|Weyl group]]) of $  G $
 +
and $  H $ (
 +
see [[#References|[10]]]). In particular, if $  G / H $
 +
has non-zero [[Euler characteristic|Euler characteristic]] (this is equivalent to $  G $
 +
and $  H $
 +
having the same rank), then the Poincaré polynomial (cf. [[Künneth formula|Künneth formula]]) of the manifold $  G / H $
 +
has the form$$
 +
P ( G / H ,\  t )  = 
 +
\prod _{i=1} ^ r
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690105.png" /></td> </tr></table>
+
\frac{1 - t ^ {2k _{i}}}{1 - t ^ {2l _{i}}}
 
+
,
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690106.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690107.png" /> are the degrees of the basis invariant polynomials of the Weyl groups for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690108.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690109.png" />, respectively (Hirsch's formula).
+
$$
 +
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|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.
 
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|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.==
 
==The classification of homogeneous spaces.==
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690110.png" /> (see [[#References|[11]]]).
+
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 [[#References|[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 $ ;
 +
 
  
For a number of important classes of homogeneous spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690111.png" /> of high dimension, a classification of all transitive actions of Lie groups on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690112.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690113.png" /> can be transformed by a homeomorphism of the sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690114.png" /> to the standard linear action of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690115.png" /> or one of the following subgroups of it:
+
$  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 $ ;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690116.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690117.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690118.png" />;
 
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690119.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690120.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690121.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690122.png" />;
+
$  G = \mathop{\rm Spin}\nolimits (7) $
 +
or $  \mathop{\rm Spin}\nolimits (9) $
 +
if $  n = 7 ,\  15 $ ;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690123.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690124.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690125.png" />;
 
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690126.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690127.png" /> (the Montgomery–Samelson–Borel theorem, see [[#References|[10]]]). As for transitive actions of non-compact Lie groups on the sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690128.png" />, for even <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690129.png" /> the only such actions are essentially the projective action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690130.png" /> and the conformal action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690131.png" />. For odd <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h047690132.png" />, the result is more complicated: Transitive and effective actions can exist of a Lie group with a radical of arbitrarily large dimension.
+
$  G = G _{2} $
 +
if $  n = 6 $ (
 +
the Montgomery–Samelson–Borel theorem, see [[#References|[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====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> L. Auslander, L. Green, F. Hahn, "Flows on homogeneous spaces" , Princeton Univ. Press (1963) {{MR|0167569}} {{ZBL|0106.36802}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> N.Ya. Vilenkin, "Special functions and the theory of group representations" , Amer. Math. Soc. (1968) (Translated from Russian) {{MR|0229863}} {{ZBL|0172.18404}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> U. Grenander, "Probabilities on algebraic structures" , Wiley (1963) {{MR|0206994}} {{ZBL|0131.34804}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> D.P. Zhelobenko, "Harmonic analysis of functions on semi-simple complex Lie groups" , Moscow (1974) (In Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> E. Cartan, "Groupes de Lie" , ''Oeuvres complétes. Partie I'' , '''1–2''' , Gauthier-Villars (1952) {{MR|0050516}} {{ZBL|0049.30303}} {{ZBL|0049.30302}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> E. Cartan, "La théorie des groupes finis et continus et la géométrie différentielle traitées par la méthode du repère mobile" , Gauthier-Villars (1951) {{MR|1190006}} {{ZBL|0054.01401}} {{ZBL|0043.36601}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> A.A. Kirillov, "Elements of the theory of representations" , Springer (1976) (Translated from Russian) {{MR|0412321}} {{ZBL|0342.22001}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> S. Helgason, "Differential geometry, Lie groups, and symmetric spaces" , Acad. Press (1978) {{MR|0514561}} {{ZBL|0451.53038}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> E.J. Hannan, "Group representations and applied probability" , Methuen (1965) {{MR|0211427}} {{MR|0211426}} {{ZBL|0134.33802}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> A. Borel, "Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts" ''Ann. of Math.'' , '''57''' (1953) pp. 115–207 {{MR|0051508}} {{ZBL|0052.40001}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> V.V. Gorbatsevich, "Compact homogeneous manifolds of small dimension" , ''Geometric methods in problems of algebra and analysis'' , Yaroslavl' (1980) pp. 37–60 (In Russian) {{MR|0617386}} {{ZBL|}} </TD></TR><TR><TD valign="top">[12a]</TD> <TD valign="top"> L. Onishchik, "Transitive compact transformation groups" ''Transl. Amer. Math. Soc. (2)'' , '''55''' (1966) pp. 153–194 ''Mat. Sb.'' , '''60''' : 4 (1963) pp. 447–485 {{MR|}} {{ZBL|0207.33604}} </TD></TR><TR><TD valign="top">[12b]</TD> <TD valign="top"> A.L. Onishchik, "On Lie groups, transitive on compact manifolds, III" ''Math. USSR Sb.'' , '''4''' (1968) pp. 233–240 ''Mat. Sb.'' , '''75''' (1968) pp. 255–263 {{MR|}} {{ZBL|0198.29001}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> ''Itogi Nauk. Algebra Topol. 1963'' (1964)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> D.V. Alekseevskii, "Lie groups and homogeneous spaces" ''J. Soviet Math.'' , '''11''' (1974) pp. 483–539 ''Itogi Nauk. Algebra Topol. Geom.'' , '''11''' (1974) pp. 38–124 {{MR|0427536}} {{ZBL|}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> S. Helgason, "Groups and geometric analysis" , Acad. Press (1984) {{MR|0754767}} {{ZBL|0543.58001}} </TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top"> G. Jensen, "Higher order contact of submanifolds of homogeneous spaces" , ''Lect. notes in math.'' , '''610''' , Springer (1977) {{MR|0500648}} {{ZBL|0356.53005}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , '''2''' , Interscience (1969) {{MR|0238225}} {{ZBL|0175.48504}} </TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top"> J.A. Wolf, "Spaces of constant curvature" , Publish or Perish (1974) {{MR|0343214}} {{ZBL|0281.53034}} </TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top"> E.B. Vinberg, A.L. Onishchik, "Fundamentals of the theory of Lie groups" , ''Fundamental Directions'' , '''20. Lie groups and Lie algebras 1''' , VINITI (1988) pp. 5–101 (In Russian) {{MR|}} {{ZBL|0656.22002}} </TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top"> V.V. Gorbatsevich, A.L. Onishchik, "Lie groups of transformations" , ''Fundamental Directions'' , '''20. Lie groups and Lie algebras 1''' , VINITI (1988) pp. 103–240 (In Russian) {{MR|0950863}} {{ZBL|0656.22003}} </TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top"> A.A. Kirillov, "Introduction to representation theory and noncommutative harmonics" , ''Fundamental Directions'' , '''22. Noncommutative harmonic analysis 1''' , VINITI (1988) pp. 5–162 (In Russian) {{MR|0942947}} {{ZBL|}} </TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top"> Yu.A. Neretin, "Representations of the Virasoro algebra and of affine algebras" , ''Fundamental Directions'' , '''22. Noncommutative harmonic analysis 1''' , VINITI (1988) pp. 163–224 (In Russian) {{MR|942948}} {{ZBL|0656.17011}} </TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> L. Auslander, L. Green, F. Hahn, "Flows on homogeneous spaces" , Princeton Univ. Press (1963) {{MR|0167569}} {{ZBL|0106.36802}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> N.Ya. Vilenkin, "Special functions and the theory of group representations" , Amer. Math. Soc. (1968) (Translated from Russian) {{MR|0229863}} {{ZBL|0172.18404}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> U. Grenander, "Probabilities on algebraic structures" , Wiley (1963) {{MR|0206994}} {{ZBL|0131.34804}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> D.P. Zhelobenko, "Harmonic analysis of functions on semi-simple complex Lie groups" , Moscow (1974) (In Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> E. Cartan, "Groupes de Lie" , ''Oeuvres complétes. Partie I'' , '''1–2''' , Gauthier-Villars (1952) {{MR|0050516}} {{ZBL|0049.30303}} {{ZBL|0049.30302}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> E. Cartan, "La théorie des groupes finis et continus et la géométrie différentielle traitées par la méthode du repère mobile" , Gauthier-Villars (1951) {{MR|1190006}} {{ZBL|0054.01401}} {{ZBL|0043.36601}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> A.A. Kirillov, "Elements of the theory of representations" , Springer (1976) (Translated from Russian) {{MR|0412321}} {{ZBL|0342.22001}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> S. Helgason, "Differential geometry, Lie groups, and symmetric spaces" , Acad. Press (1978) {{MR|0514561}} {{ZBL|0451.53038}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> E.J. Hannan, "Group representations and applied probability" , Methuen (1965) {{MR|0211427}} {{MR|0211426}} {{ZBL|0134.33802}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> A. Borel, "Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts" ''Ann. of Math.'' , '''57''' (1953) pp. 115–207 {{MR|0051508}} {{ZBL|0052.40001}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> V.V. Gorbatsevich, "Compact homogeneous manifolds of small dimension" , ''Geometric methods in problems of algebra and analysis'' , Yaroslavl' (1980) pp. 37–60 (In Russian) {{MR|0617386}} {{ZBL|}} </TD></TR><TR><TD valign="top">[12a]</TD> <TD valign="top"> L. Onishchik, "Transitive compact transformation groups" ''Transl. Amer. Math. Soc. (2)'' , '''55''' (1966) pp. 153–194 ''Mat. Sb.'' , '''60''' : 4 (1963) pp. 447–485 {{MR|}} {{ZBL|0207.33604}} </TD></TR><TR><TD valign="top">[12b]</TD> <TD valign="top"> A.L. Onishchik, "On Lie groups, transitive on compact manifolds, III" ''Math. USSR Sb.'' , '''4''' (1968) pp. 233–240 ''Mat. Sb.'' , '''75''' (1968) pp. 255–263 {{MR|}} {{ZBL|0198.29001}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> ''Itogi Nauk. Algebra Topol. 1963'' (1964)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> D.V. Alekseevskii, "Lie groups and homogeneous spaces" ''J. Soviet Math.'' , '''11''' (1974) pp. 483–539 ''Itogi Nauk. Algebra Topol. Geom.'' , '''11''' (1974) pp. 38–124 {{MR|0427536}} {{ZBL|}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> S. Helgason, "Groups and geometric analysis" , Acad. Press (1984) {{MR|0754767}} {{ZBL|0543.58001}} </TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top"> G. Jensen, "Higher order contact of submanifolds of homogeneous spaces" , ''Lect. notes in math.'' , '''610''' , Springer (1977) {{MR|0500648}} {{ZBL|0356.53005}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , '''2''' , Interscience (1969) {{MR|0238225}} {{ZBL|0175.48504}} </TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top"> J.A. Wolf, "Spaces of constant curvature" , Publish or Perish (1974) {{MR|0343214}} {{ZBL|0281.53034}} </TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top"> E.B. Vinberg, A.L. Onishchik, "Fundamentals of the theory of Lie groups" , ''Fundamental Directions'' , '''20. Lie groups and Lie algebras 1''' , VINITI (1988) pp. 5–101 (In Russian) {{MR|}} {{ZBL|0656.22002}} </TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top"> V.V. Gorbatsevich, A.L. Onishchik, "Lie groups of transformations" , ''Fundamental Directions'' , '''20. Lie groups and Lie algebras 1''' , VINITI (1988) pp. 103–240 (In Russian) {{MR|0950863}} {{ZBL|0656.22003}} </TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top"> A.A. Kirillov, "Introduction to representation theory and noncommutative harmonics" , ''Fundamental Directions'' , '''22. Noncommutative harmonic analysis 1''' , VINITI (1988) pp. 5–162 (In Russian) {{MR|0942947}} {{ZBL|}} </TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top"> Yu.A. Neretin, "Representations of the Virasoro algebra and of affine algebras" , ''Fundamental Directions'' , '''22. Noncommutative harmonic analysis 1''' , VINITI (1988) pp. 163–224 (In Russian) {{MR|942948}} {{ZBL|0656.17011}} </TD></TR></table>

Latest revision as of 08:42, 16 December 2019

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.

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.

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.

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.

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.

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

[1] L. Auslander, L. Green, F. Hahn, "Flows on homogeneous spaces" , Princeton Univ. Press (1963) MR0167569 Zbl 0106.36802
[2] N.Ya. Vilenkin, "Special functions and the theory of group representations" , Amer. Math. Soc. (1968) (Translated from Russian) MR0229863 Zbl 0172.18404
[3] U. Grenander, "Probabilities on algebraic structures" , Wiley (1963) MR0206994 Zbl 0131.34804
[4] D.P. Zhelobenko, "Harmonic analysis of functions on semi-simple complex Lie groups" , Moscow (1974) (In Russian)
[5] E. Cartan, "Groupes de Lie" , Oeuvres complétes. Partie I , 1–2 , Gauthier-Villars (1952) MR0050516 Zbl 0049.30303 Zbl 0049.30302
[6] E. Cartan, "La théorie des groupes finis et continus et la géométrie différentielle traitées par la méthode du repère mobile" , Gauthier-Villars (1951) MR1190006 Zbl 0054.01401 Zbl 0043.36601
[7] A.A. Kirillov, "Elements of the theory of representations" , Springer (1976) (Translated from Russian) MR0412321 Zbl 0342.22001
[8] S. Helgason, "Differential geometry, Lie groups, and symmetric spaces" , Acad. Press (1978) MR0514561 Zbl 0451.53038
[9] E.J. Hannan, "Group representations and applied probability" , Methuen (1965) MR0211427 MR0211426 Zbl 0134.33802
[10] A. Borel, "Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts" Ann. of Math. , 57 (1953) pp. 115–207 MR0051508 Zbl 0052.40001
[11] V.V. Gorbatsevich, "Compact homogeneous manifolds of small dimension" , Geometric methods in problems of algebra and analysis , Yaroslavl' (1980) pp. 37–60 (In Russian) MR0617386
[12a] L. Onishchik, "Transitive compact transformation groups" Transl. Amer. Math. Soc. (2) , 55 (1966) pp. 153–194 Mat. Sb. , 60 : 4 (1963) pp. 447–485 Zbl 0207.33604
[12b] A.L. Onishchik, "On Lie groups, transitive on compact manifolds, III" Math. USSR Sb. , 4 (1968) pp. 233–240 Mat. Sb. , 75 (1968) pp. 255–263 Zbl 0198.29001
[13] Itogi Nauk. Algebra Topol. 1963 (1964)
[14] D.V. Alekseevskii, "Lie groups and homogeneous spaces" J. Soviet Math. , 11 (1974) pp. 483–539 Itogi Nauk. Algebra Topol. Geom. , 11 (1974) pp. 38–124 MR0427536
[15] S. Helgason, "Groups and geometric analysis" , Acad. Press (1984) MR0754767 Zbl 0543.58001
[16] G. Jensen, "Higher order contact of submanifolds of homogeneous spaces" , Lect. notes in math. , 610 , Springer (1977) MR0500648 Zbl 0356.53005
[17] S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 2 , Interscience (1969) MR0238225 Zbl 0175.48504
[18] J.A. Wolf, "Spaces of constant curvature" , Publish or Perish (1974) MR0343214 Zbl 0281.53034
[19] E.B. Vinberg, A.L. Onishchik, "Fundamentals of the theory of Lie groups" , Fundamental Directions , 20. Lie groups and Lie algebras 1 , VINITI (1988) pp. 5–101 (In Russian) Zbl 0656.22002
[20] V.V. Gorbatsevich, A.L. Onishchik, "Lie groups of transformations" , Fundamental Directions , 20. Lie groups and Lie algebras 1 , VINITI (1988) pp. 103–240 (In Russian) MR0950863 Zbl 0656.22003
[21] A.A. Kirillov, "Introduction to representation theory and noncommutative harmonics" , Fundamental Directions , 22. Noncommutative harmonic analysis 1 , VINITI (1988) pp. 5–162 (In Russian) MR0942947
[22] Yu.A. Neretin, "Representations of the Virasoro algebra and of affine algebras" , Fundamental Directions , 22. Noncommutative harmonic analysis 1 , VINITI (1988) pp. 163–224 (In Russian) MR942948 Zbl 0656.17011
How to Cite This Entry:
Homogeneous space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Homogeneous_space&oldid=44251
This article was adapted from an original article by D.V. Alekseevskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article