Invariant Einstein metrics on flag manifolds with four isotropy summands

A generalized flag manifold is a homogeneous space of the form G/K, where K is the centralizer of a torus in a compact connected semisimple Lie group G. We classify all flag manifolds with four isotropy summands by the use of \mathfrakt{\mathfrak{t}}-roots. We present new G-invariant Einstein metrics by solving explicity the Einstein equation. We also examine the isometric problem for these Einstein metrics.     

The geometry of compact homogeneous spaces with two isotropy summands

We give a complete list of all homogeneous spaces M = G/H where G is a simple compact Lie group, H a connected, closed subgroup, and G/H is simply connected, for which the isotropy representation of H on T _p M decomposes into exactly two irreducible summands. For each homogeneous space, we determine whether it admits a G-invariant Einstein metric. When there is an intermediate subgroup H <  K <  G, we classify all the G-invariant Einstein metrics. This is an extension of the classification of isotropy irreducible spaces, given independently by Manturov (Dokl. Akad. Nauk SSSR 141, (1961), 792–795 1034–1037, Tr. Semin. Vector Tensor Anal. 13, (1966), 68–145) and J Wolf (Acta Math. 120, (1968), 59–148 152, (1984) 141–142).      

Homogeneous spaces with polar isotropy

 We consider homogeneous spaces G/K with G a simple compact Lie group, endowed with an arbitrary G-invariant Riemannian metric. We classify those spaces where the action of K on G/K is polar and show that such spaces are locally symmetric. Moreover we give a classification of pairs (G,K) with G compact semisimple such that K has polar linear isotropy representation. Received: 16 May 2002 / Revised version: 8 November 2002 Published online: 3 March 2003 Mathematics Subject Classification (2000): 53C35, 57S15     

Homogeneous Metrics with Nonnegative Curvature

Given compact Lie groups H⊂G, we study the space of G-invariant metrics on G/H with nonnegative sectional curvature. For an intermediate subgroup K between H and G, we derive conditions under which enlarging the Lie algebra of K maintains nonnegative curvature on G/H. Such an enlarging is possible if (K,H) is a symmetric pair, which yields many new examples of nonnegatively curved homogeneous metrics. We provide other examples of spaces G/H with unexpectedly large families of nonnegatively curved homogeneous metrics.     

Geodesic symmetries of homogeneous Kähler Manifolds

D'Atri and Nickerson [6], [7] have given necessary conditions for the geodesic symmetries of a Riemannian manifold to preserve the volume element. We use their results to show that ifG is a compact simple Lie group,T is a maximal torus ofG, andG/T is not symmetric, then anyG-invariant Kähler metric onG/T does not have volume-preserving geodesic symmetries. From the Kähler/de Rham decomposition of a compact homogeneous Kähler manifold [8], our result extends to the invariant Kähler metrics on a quotient of a compact connected Lie group by a maximal torus. In proving these results we compute directly the Ricci tensor of anyG-invariant Kähler metric onG/T forG compact connected andT a maximal torus ofG. The result is an explicit formula giving the value of the Ricci tensor elements in terms of the root structure of the Lie algebra ofG.     

Integrability of invariant geodesic flows on <Emphasis Type="Italic">n</Emphasis>-symmetric spaces

In this article, by modifying the argument shift method, we prove Liouville integrability of geodesic flows of normal metrics (invariant Einstein metrics) on the Ledger–Obata n-symmetric spaces K ⁿ /diag(K), where K is a semisimple (respectively, simple) compact Lie group.     

Weakly symmetric spaces and bounded symmetric domains

LetG be a connected, simply-connected, real semisimple Lie group andK a maximal compactly embedded subgroup ofG such thatD=G/K is a hermitian symmetric space. Consider the principal fiber bundleM=G/K _s G/K, whereK _s is the semisimple part ofK=K _s ·Z _K ⁰ andZ _K ⁰ is the connected center ofK. The natural action ofG onM extends to an action ofG ¹=G×Z _K ⁰ . We prove as the main result thatM is weakly symmetric with respect toG ¹ and complex conjugation. In the case whereD is an irreducible classical bounded symmetric domain andG is a classical matrix Lie group under a suitable quotient, we provide an explicit construction ofM=D×S ¹ and determine a one-parameter family of Riemannian metrics onM invariant underG ¹. Furthermore,M is irreducible with respect to . As a result, this provides new examples of weakly symmetric spaces that are nonsymmetric, including those already discovered by Selberg (cf. [M]) for the symplectic case and Berndt and Vanhecke [BV1] for the rank-one case.Research partially supported by an NSF grant. The author wishes to thank the International Erwin Schroedinger Institute for its hospitality during the preparation of this paper.     

Free, Isometric Circle Actions on Compact Symmetric Spaces

Let S=G/K be a strongly irreducible, simply connected, compact symmetric space and let be its group of isometries. We classify the symmetric spaces among these that admit free, isometric circle actions. The existence of such actions is important in constructing examples of manifolds with positive sectional curvature.     

Remarks on Gelfand Pairs Associated to Non-Type-I Solvable Lie Groups

LetSbe a connected and simply connected unimodular solvable Lie group andKa connected compact Lie group acting onSas automorphisms. We call the pair (K S) a Gelfand pair if the Banach ∗-algebraL¹_K(S) of allK-invariant integrable functions onSis a commutative algebra. In this paper we give a necessary and sufficient condition for the pair (K; S) to be a Gelfand pair using the representation theory of non-type-I solvable Lie groups. For a Gelfand pair (K; S) we realize all irreducibleK-spherical representations ofK?Sfrom irreducible unitary representations ofS.     

Cramér theorem on symmetric spaces of noncompact type

We prove the Cramér theorem forK-invariant Gaussian measures on irreducible symmetric spacesX=G/K withG semisimple noncompact. To do this we use a kind of Abel transform ofK-invariant measures onX.This research is supported by KBN Grant.     

Three-Dimensional Topological Loops with Solvable Multiplication Groups

We prove that each 3-dimensional connected topological loop L having a solvable Lie group of dimension ≤5 as the multiplication group of L is centrally nilpotent of class 2. Moreover, we classify the solvable non-nilpotent Lie groups G which are multiplication groups for 3-dimensional simply connected topological loops L and dim G ≤ 5. These groups are direct products of proper connected Lie groups and have dimension 5. We find also the inner mapping groups of L.     

Nonnegatively curved homogeneous metrics in low dimensions

We consider invariant Riemannian metrics on compact homogeneous spaces G/H where an intermediate subgroup K between G and H exists. In this case, the homogeneous space G/H is the total space of a Riemannian submersion. The metrics constructed by shrinking the fibers in this way can be interpreted as metrics obtained from a Cheeger deformation and are thus well known to be nonnegatively curved. On the other hand, if the fibers are homothetically enlarged, it depends on the triple of groups (H, K, G) whether non-negative curvature is maintained for small deformations. Building on the work of Schwachhöfer and Tapp (J. Geom. Anal. 19(4):929–943, 2009), we examine all G-invariant fibration metrics on G/H for G a compact simple Lie group of dimension up to 15. An analysis of the low dimensional examples provides insight into the algebraic criteria that yield continuous families of non-negative sectional curvature.     

Arithmetic distance on compact symmetric spaces

Let M be a compact Riemannian symmetric space. Then M=G/K, where G is the identity component of the isometry group of M and K is the isotropy subgroup of G at a point. In 1965 Nagano studied and classified the geometric transformation groups of compact symmetric spaces. Roughly speaking they are larger groups L that act on M, (i) G/L; (ii) L is a Lie transformation group acting effectively on M; (iii) L preserves the symmetric structure of M; and (iv) L is simple.Using Helgason spheres, S(), the minimal totally geodesic spheres in a compact irreducible symmetric space, we define an arithmetic distance for compact irreducible symmetric spaces and prove: THEOREM. Let M=G ^p(K ⁿ ), K=, H, or R, or M=AI(n), of rank greater that 1 and dimension greater that 3, let L be the geometric transformation group of M. Let L={: MM: is a diffeomorphism and preserves arithmetic distance}. Then L=L     

Ricci flow on homogeneous spaces with two isotropy summands

We consider the Ricci flow equation for invariant metrics on compact and connected homogeneous spaces whose isotropy representation decomposes into two irreducible inequivalent summands. By studying the corresponding dynamical system, we completely describe the behaviour of the homogeneous Ricci flow on this kind of spaces. Moreover, we investigate the existence of ancient solutions and relate this to the existence and non-existence of invariant Einstein metrics.     

Parabolic subgroups of semisimple Lie groups and Einstein solvmanifolds

In this paper, we study the solvmanifolds constructed from any parabolic subalgebras of any semisimple Lie algebras. These solvmanifolds are naturally homogeneous submanifolds of symmetric spaces of noncompact type. We show that the Ricci curvatures of our solvmanifolds coincide with the restrictions of the Ricci curvatures of the ambient symmetric spaces. Consequently, all of our solvmanifolds are Einstein, which provide a large number of new examples of noncompact homogeneous Einstein manifolds. We also show that our solvmanifolds are minimal, but not totally geodesic submanifolds of symmetric spaces.     

Proper smooth G-manifolds have complete G-invariant Riemannian metrics

Assume G is a Lie group, K is a compact subgroup of G and M is a proper smooth G-manifold. Using properties of the regular representations L²(G) and L²(K), we first prove results about extending certain representations and embedding homogeneous spaces smoothly into Hilbert G-spaces. We then prove that M can be embedded as a closed smooth G-invariant submanifold of some Hilbert G-space. It follows that M admits a complete G-invariant smooth Riemannian metric.     

Minimal hyperspheres in rank two compact symmetric spaces

We describe a method to construct embedded, minimal hyperspheres in rank two compact symmetric spaces which are equivariant under the isotropy action of the symmetric space, and we supply the details of the construction for the exceptional Lie groupG ₂.Partially supported by CNPq (brazil)     

Factorization Theorems on Symmetric Spaces of Noncompact Type

We prove the analogs of the Khinchin factorization theorems for K-invariant probability measures on symmetric spaces X=G/K with G semisimple noncompact. We use the Kendall theory of delphic semigroups and some properties of the spherical Fourier transform and spherical functions on X.     

New Homogeneous Einstein Metrics on SO(7)/T

The authors compute non-zero structure constants of the full flag manifold M = SO(7)/T with nine isotropy summands, then construct the Einstein equations. With the help of computer they get all the forty-eight positive solutions (up to a scale ) for SO(7)/T, up to isometry there are only five G-invariant Einstein metrics, of which one is Kähler Einstein metric and four are non-Kähler Einstein metrics.     

A classification of hyperpolar and cohomogeneity one actions

An isometric action of a compact Lie group on a Riemannian manifold is called hyperpolar if there exists a closed, connected submanifold that is flat in the induced metric and meets all orbits orthogonally. In this article, a classification of hyperpolar actions on the irreducible Riemannian symmetric spaces of compact type is given. Since on these symmetric spaces actions of cohomogeneity one are hyperpolar, i.e. normal geodesics are closed, we obtain a classification of the homogeneous hypersurfaces in these spaces by computing the cohomogeneity for all hyperpolar actions. This result implies a classification of the cohomogeneity one actions on compact strongly isotropy irreducible homogeneous spaces.