Riemannian space, homogeneous
A Riemannian space together with a transitive effective group of motions (cf. Motion) on it. Let be the isotropy subgroup of a fixed point . Then the manifold is identified with the quotient space by the bijection , and the Riemannian metric is considered as a -invariant metric on . Usually one assumes in addition that the group is closed in the complete group of motions. In this case the isotropy group is compact.
Let be a compact subgroup of a Lie group that does not contain normal subgroups of . Then the homogeneous space admits an invariant Riemannian metric defined as follows. Let be a reductive structure in , i.e. a decomposition of the Lie algebra of into the direct sum of the Lie algebra of and a subspace that is invariant under the adjoint representation of in . The space is naturally identified with the tangent space at the point , and the isotropy representation of the group in with the representation . Any -invariant Riemannian metric on is obtained from some -invariant scalar product in by translations from :
The existence of such a scalar product follows from the fact that the isotropy group is compact.
Any homogeneous Riemannian space locally isometric to a simply-connected homogeneous Riemannian space is obtained from by factorization with respect to an arbitrary Clifford–Wolf discrete group of isometries (i.e. motions of the manifold that displace all points by equal distances ).
The best studied classes of homogeneous Riemannian spaces are the Riemannian symmetric spaces (cf. also Symmetric space); homogeneous Kähler spaces (cf. Kähler manifold) and homogeneous quaternionic spaces; isotropically-irreducible homogeneous Riemannian spaces (classified in , ); normal homogeneous Riemannian spaces, in which the scalar product in is defined by a non-degenerate symmetric -invariant bilinear form on ; and naturally-reductive homogeneous Riemannian spaces, characterized by the fact that any geodesic in them is the trajectory of a one-parameter group of motions.
The structure of homogeneous Riemannian spaces with different conditions on the curvature tensor is well studied. For instance, the classification of homogeneous Riemannian spaces of positive sectional curvature is known . The structure of simply-transitive groups of motions of a homogeneous Riemannian space of non-positive curvature , of non-negative curvature and of non-negative Ricci curvature  has been described. A homogeneous Riemannian space with a solvable group of motions always has a non-positive scalar curvature , and the case is possible only for locally Euclidean spaces. Any invariant Riemannian metric on a simply-connected homogeneous Riemannian space has non-positive scalar curvature if and only if is a maximal compact subgroup of (see ).
A homogeneous Riemannian space is called Einstein if its Ricci tensor is proportional to the metric: , . The problem of the description of Einstein homogeneous Riemannian spaces has not yet been solved (1991). One knows a number of particular results. Let be an Einstein homogeneous Riemannian space of scalar curvature . 1) If , then is a compact manifold. All such spaces have been described: a) if is a quaternionic space; b) if is diffeomorphic to a symmetric space of rank one; and c) for a certain class of naturally-reductive homogeneous Riemannian spaces (see ) and for isotropically-irreducible homogeneous Riemannian spaces (see ). 2) If , then is a locally Euclidean space. 3) If and is unimodular (i.e. the determinant of its adjoint representation operator is equal to 1), then the group is semi-simple.
|||S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 1–2 , Interscience (1963–1968)|
|||J.A. Wolf, "Spaces of constant curvature" , Publish or Perish (1977)|
|||S. Helgason, "Differential geometry, Lie groups, and symmetric spaces" , Acad. Press (1978)|
|||L. Berard Bergery, "Sur le courbure des métriques riemanniennes invariantes des groupes de Lie et des espaces homogènes" Ann. Sci. Ecole Norm. Sup. , 11 : 4 (1978) pp. 545–576|
|||L. Berard Bergery, "Les variétés riemanniennes simplement connexes de dimension impairé à courbure strictement positive" J. Math. Pures Appl. , 55 (1976) pp. 47–67|
|||G.R. Jensen, "Einstein metrics on principle fiber bundles" J. Dif. Geom. , 8 (1973) pp. 599–614|
|||J.E. d'Atri, W. Ziller, "Naturally reductive metrics and Einstein metrics on compact Lie groups" Mem. Amer. Math. Soc. , 18 (1979) pp. 1–72|
|||R. Azencott, E.N. Wilson, "Homogeneous manifolds with negative curvature II" Mem. Amer. Math. Soc. , 8 (1976) pp. 1–102|
|||O.V. Manturov, "Homogeneous Riemannian spaces with an irreducible rotation group" Trudy Sem. Vektor. i Tenzor. Anal. , 13 (1966) pp. 68–145 (In Russian)|
|||J. Wolf, "The geometry and structure of isotropy irreducible homogeneous spaces" Acta Math. , 120 (1968) pp. 59–148|
For a quite exhaustive treatment of Einstein manifolds see [a1], esp. Chapts. 7, 8.
Usually, an isometry of a Riemannian space is used as a synonym for motion, while the isometries in a Clifford–Wolf discrete group are known as Clifford translations, .
|[a1]||A.L. Besse, "Einstein manifolds" , Springer (1987)|
Riemannian space, homogeneous. D.V. Alekseevskii (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Riemannian_space,_homogeneous&oldid=13094