We study Einstein manifolds admitting a transitive solvable Lie group of isometries (solvmanifolds). It is conjectured that these exhaust the class of noncompact homogeneous Einstein manifolds. J. Heber has showed that under certain simple algebraic condition called standard (i.e. the orthogonal complement of the derived algebra is abelian), Einstein solvmanifolds have many remarkable structural and uniqueness properties. In this paper, we prove that any Einstein solvmanifold is standard, by applying a stratification procedure from geometric invariant theory due to F. Kirwan.
The only known examples of noncompact Einstein homogeneous spaces are standard solvmanifolds (special solvable Lie groups endowed with a left invariant metric), and according to a long standing conjecture, they might be all. The classification of Einstein solvmanifolds is equivalent to the one of Einstein nilradicals, i.e. nilpotent Lie algebras which are nilradicals of the Lie algebras of Einstein solvmanifolds. Up to now, there have been found very few examples of graded nilpotent Lie algebras that can not be Einstein nilradicals. In particular, in each dimension, there are only finitely man…
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 symmetr…
We obtain new examples of non-symmetric Einstein solvmanifolds by combining two techniques. In \cite{T2}, H. Tamaru constructs new {\em attached} solvmanifolds, which are submanifolds of the solvmanifolds corresponding to noncompact symmetric spaces, endowed with a natural metric. Extending this construction, we apply it to {\em associated} solvmanifolds, described in \cite{GK}, obtained by modifying the algebraic structure of the solvable Lie algebras corresponding to noncompact symmetric spaces. Our new examples are Einstein solvmanifolds with nilradicals of high nilpotency, which are geomet…
We show that homogeneous Einstein metrics on Euclidean spaces are Einstein solvmanifolds, using that they admit periodic, integrally minimal foliations by homogeneous hypersurfaces. For the geometric flow induced by the orbit-Einstein condition, we construct a Lyapunov function based on curvature estimates which come from real GIT.
The purpose of the present expository paper is to give an account of the recent progress and present status of the classification of solvable Lie groups admitting an Einstein left invariant Riemannian metric, the only known examples so far of noncompact Einstein homogeneous manifolds. The problem turns to be equivalent to the classification of Ricci soliton left invariant metrics on nilpotent Lie groups.
A Riemannian Einstein solvmanifold is called standard, if the orthogonal complement to the nilradical of its Lie algebra is abelian. No examples of nonstandard solvmanifolds are known. We show that the standardness of an Einstein metric solvable Lie algebra is completely detected by its nilradical and prove that many classes of nilpotent Lie algebras (Einstein nilradicals, algebras with less than four generators, free Lie algebras, some classes of two-step nilpotent ones) contain no nilradicals of nonstandard Einstein metric solvable Lie algebras. We also prove that there are no nonstandard Ei…
We study the $G_2$ analogue of the Goldberg conjecture on non-compact solvmanifolds. In contrast to the almost-Kähler case we prove that a 7-dimensional solvmanifold cannot admit any left-invariant calibrated $G_2$-structure $φ$ such that the induced metric $g_φ$ is Einstein, unless $g_φ$ is flat. We give an example of 7-dimensional solvmanifold admitting a left-invariant calibrated $G_2$-structure $φ$ such that $g_φ$ is Ricci-soliton. Moreover, we show that a 7-dimensional (non-flat) Einstein solvmanifold $(S,g)$ cannot admit any left-invariant cocalibrated $G_2$-structure $φ$ such that the i…
The structure of a solvable Lie groups admitting an Einstein left-invariant metric is, in a sense, completely determined by the nilradical of its Lie algebra. We give an easy-to-check necessary and sufficient condition for a nilpotent algebra to be an Einstein nilradical whose Einstein derivation has simple eigenvalues. As an application, we classify filiform Einstein nilradicals (modulo known classification results on filiform graded Lie algebras).
The general aim of this paper is to study which are the solvable Lie groups admitting an Einstein left invariant metric. The space N of all nilpotent Lie brackets on R^n parametrizes a set of (n+1)-dimensional rank-one solvmanifolds, containing the set of all those which are Einstein in that dimension. The moment map for the natural GL(n)-action on N evaluated in a point of N encodes geometric information on the corresponding solvmanifold, allowing us to use strong and well-known results from geometric invariant theory. For instance, the functional on N whose critical points are precisely the …
An Einstein nilradical is a nilpotent Lie algebra, which can be the nilradical of a metric Einstein solvable Lie algebra. The classification of Riemannian Einstein solvmanifolds (possibly, of all noncompact homogeneous Einstein spaces) can be reduced to determining, which nilpotent Lie algebras are Einstein nilradicals and to finding, for every Einstein nilradical, its Einstein metric solvable extension. For every nilpotent Lie algebra, we construct an (essentially unique) derivation, the pre-Einstein derivation, the solvable extension by which may carry an Einstein inner product. Using the pr…
All known examples of homogeneous Einstein metrics of negative Ricci curvature can be realized as left-invariant Riemannian metrics on solvable Lie groups. After defining a notion of maximal symmetry among left-invariant Riemannian metrics on a Lie group, we prove that any left-invariant Einstein metric of negative Ricci curvature on a solvable Lie group is maximally symmetric. This theorem is motivated both by the Alekseevskii Conjecture and by the question of stability of Einstein metrics under the Ricci flow. We also address questions of existence of maximally symmetric left-invariant Riema…
A nilsoliton is a nilpotent Lie algebra $\mathfrak{g}$ with a metric such that $\operatorname{Ric}=λ\operatorname{Id}+D$, with $D$ a derivation. For indefinite metrics, this determines four different geometries, according to whether $λ$ and $D$ are zero or not. We illustrate with examples the greater flexibility of the indefinite case compared to the Riemannian setting. We determine the algebraic properties that $D$ must satisfy when it is nonzero. For each of the four geometries, we show that under suitable assumptions it is possible to extend the nilsoliton metric to an Einstein solvmanifold…
A Riemannian Einstein solvmanifold (possibly, any noncompact homogeneous Einstein space) is almost completely determined by the nilradical of its Lie algebra. A nilpotent Lie algebra, which can serve as the nilradical of an Einstein metric solvable Lie algebra, is called an Einstein nilradical. Despite a substantial progress towards the understanding of Einstein nilradicals, there is still a lack of classification results even for some well-studied classes of nilpotent Lie algebras, such as the two-step ones. In this paper, we give a classification of two-step nilpotent Einstein nilradicals in…
In this paper, we study the nilradicals of parabolic subalgebras of semisimple Lie algebras and the natural one-dimensional solvable extensions of them. We investigate the structures, curvatures and Einstein conditions of the associated nilmanifolds and solvmanifolds. We show that our solvmanifold is Einstein if the nilradical is of two-step. New examples of Einstein solvmanifolds with three-step and four-step nilradicals are also given.
We classify solvable Lie groups with a free nilradical admitting an Einstein left-invariant metric. Any such group is essentially determined by the nilradical of its Lie algebra, which is then called an Einstein nilradical. We show that among the free Lie algebras, there are very few Einstein nilradicals. Except for the one-step (abelian) and the two-step ones, there are only six others: f(2,3), f(2,4), f(2,5), f(3,3), f(4,3), f(5,3) (where f(m,p) is a free p-step Lie algebra on m generators). The reason for that is the inequality-type restrictions on the eigenvalue type of an Einstein nilradi…
We show that for any solvable Lie group of real type, any homogeneous Ricci flow solution converges in Cheeger-Gromov topology to a unique non-flat solvsoliton, which is independent of the initial left-invariant metric. As an application, we obtain results on the isometry groups of non-flat solvsoliton metrics and Einstein solvmanifolds.
Recently, it was shown that Einstein solvmanifolds have maximal symmetry in the sense that their isometry groups contain the isometry groups of any other left-invariant metric on the given Lie group. Such a solvable Lie group is necessarily non-unimodular. In this work we consider unimodular solvable Lie groups and prove that there is always some metric with maximal symmetry. Further, if the group at hand admits a Ricci soliton, then it is the isometry group of the Ricci soliton which is maximal.
All known examples of nontrivial homogeneous Ricci solitons are left-invariant metrics on simply connected solvable Lie groups whose Ricci operator is a multiple of the identity modulo derivations (called solsolitons, and nilsolitons in the nilpotent case). The tools from geometric invariant theory used to study Einstein solvmanifolds, turned out to be useful in the study of solsolitons as well. We prove that, up to isometry, any solsoliton can be obtained via a very simple construction from a nilsoliton together with any abelian Lie algebra of symmetric derivations of its metric Lie algebra. …
A Riemannian manifold (M,g) is said to be Einstein if its Ricci tensor satisfies ric(g) = cg, for some real number c. In the homogeneous case, a problem that is still open is the so called Alekseevskii Conjecture. This conjecture says that any homogeneous Einstein space with negative scalar curvature (i.e. c < 0) is a solvmanifold: a simply connected solvable Lie group endowed with a left invariant Riemannian metric. The aim of this paper is to classify Einstein solvmanifolds of dimension 9 whose nilradicals are 7-step nilpotent Lie algebras of dimension 8.
This work addresses the questions: (i) Among all left-invariant Riemannian metrics on a given Lie group, is there any whose isometry group or isometry algebra contain that of all others? (ii) Do expanding left-invariant Ricci solitons exhibit such maximal symmetry? Question (i) is addressed both for semisimple and for solvable Lie groups. Building on previous work of the authors on Einstein metrics, a complete answer is given to (ii): expanding homogeneous Ricci solitons have maximal isometry algebras although not always maximal isometry groups. As a consequence of the tools developed to addre…
Given a Riemannian space $N$ of dimension $n$ and a field $D$ of symmetric endomorphisms on $N$, we define the extension $M$ of $N$ by $D$ to be the Riemannian manifold of dimension $n+1$ obtained from $N$ by a construction similar to extending a Lie group by a derivation of its Lie algebra. We find the conditions on $N$ and $D$ which imply that the extension $M$ is Einstein. In particular, we show that in this case, $D$ has constant eigenvalues; moreover, they are all integer (up to scaling) if $\det D \ne 0$. They must satisfy certain arithmetic relations which imply that there are only fini…
The problem of classifying Einstein solvmanifolds, or equivalently, Ricci soliton nilmanifolds, is known to be equivalent to a question on the variety of n-dimensional complex nilpotent Lie algebra laws. Namely, one has to determine which GL(n)-orbits in this variety have a critical point of the squared norm of the moment map. In dimension 7, there are 148 complex nilpotent Lie algebras and 6 curves of pairwise non-isomorphic nilpotent Lie algebras, and we give in this paper a complete classification of the aforementioned distinguished orbits.
Uniform Lie algebras are combinatorially defined two-step nilpotent Lie algebras which can be used to define Einstein solvmanifolds. These Einstein spaces often have nontrivial isotropy groups. We derive basic properties of uniform Lie algebras and we classify uniform Lie algebras with five or fewer generators. We define a type of directed colored graph called a uniformly colored graph and establish a correspondence between uniform Lie algebras and uniformly colored graphs. We present several methods of constructing infinite families of uniformly colored graphs and corresponding uniform Lie al…
We obtain some general results on Sasakian Lie algebras and prove as a consequence that a (2n + 1)-dimensional nilpotent Lie group admitting left-invariant Sasakian structures is isomorphic to the real Heisenberg group $H_{2n + 1}$. Furthermore, we classify Sasakian Lie algebras of dimension 5 and determine which of them carry a Sasakian $α$-Einstein structure. We show that a 5-dimensional solvable Lie group with a left-invariant Sasakian structure and which admits a compact quotient by a discrete subgroup is isomorphic to either $H_5$ or a semidirect product $\R \ltimes (H_3 \times \R)$. In p…
Back in 1985, Wang and Ziller obtained a complete classification of all homogeneous spaces of compact simple Lie groups on which the standard or Killing metric is Einstein. The list consists, beyond isotropy irreducible spaces, of 12 infinite families (two of them are actually conceptual constructions) and 22 isolated examples. We study in this paper the nature of each of these Einstein metrics as a critical point of the scalar curvature functional.
A Riemannian or pseudo-Riemannian (or conformal) structure is conformally Einstein if and only if there is a suitably generic parallel section of a certain vector bundle -- the so-called standard conformal tractor bundle. We show that this characterisation leads to a systematic approach to constructing obstructions to conformally Einstein metrics. Relaxing the requirement that the parallel tractor field be generic gives a natural generalisation of the Einstein equations.
In the paper "Einstein metrics on compact simple Lie groups attached to standard triples", the authors introduced the definition of standard triples and proved that every compact simple Lie group $G$ attached to a standard triple $(G,K,H)$ admits a left-invariant Einstein metric which is not naturally reductive except the standard triple $(\Sp(4),2\Sp(2),4\Sp(1))$. For the triple $(\Sp(4),2\Sp(2),4\Sp(1))$, we find there exists an involution pair of $\sp(4)$ such that $4\sp(1)$ is the fixed point of the pair, and then give the decomposition of $\sp(4)$ as a direct sum of irreducible $\ad(4\sp(…
Linear stability of Perelman's $ν$-entropy of standard Einstein manifolds
Instituto de Matemática (INMABB), Departamento de Matemática, Universidad Nacional del Sur (UNS)-CONICET（南方国立大学数学研究所）；FAMAF, Universidad Nacional de Córdoba and CIEM-CONICET（科尔多瓦国立大学物理与数学系）
We study solutions to the static vacuum Einstein equations on exterior domains with prescribed metric and mean curvature on the inner boundary. It is proved that for any such boundary data near the standard round boundary data in Euclidean space, there exists a unique AF solution to the static vacuum equations realizing the boundary data, which is close to the standard flat solution.
Let (M,g) be a compact oriented Einstein 4-manifold. If M has positive intersection form and g has non-negative sectional curvature, we show that, up to rescaling and isometry, (M,g) is CP2, equipped with its standard Fubini-Study metric.
We find the necessary conditions for a sequential warped product manifold to be a quasi-Einstein manifold. We also investigate the necessary and sufficient conditions for a sequential standard static space-time and a sequential generalized Robertson-Walker space-time to be a manifold of quasi-constant curvature.
The goal of this article is to study compact quasi-Einstein manifolds with boundary. We provide boundary estimates for compact quasi-Einstein manifolds simi\-lar to previous results obtained for static and $V$-static spaces. In addition, we show that compact quasi-Einstein manifolds with connected boundary and satisfying a suitable pinching condition must be isometric, up to scaling, to the standard hemisphere $\mathbb{S}_{+}^{n}.$
We study the geometric properties of the base manifold for the unit tangent bundle satisfying the $η$-Einstein condition with the standard contact metric structure. One of the main theorems is that the unit tangent bundle of 4-dimensional Einstein manifold, equipped with the canonical contact metric structure, is $η$-Einstein manifold if and only if base manifold is the space of constant sectional curvature 1 or 2.
It is an important problem in differential geometry to find non-naturally reductive homogeneous Einstein metrics on homogeneous manifolds. In this paper, we consider this problem for some coset spaces of compact simple Lie groups. A new method to construct invariant non-naturally reductive Einstein metrics on normal homogeneous Einstein manifolds is presented. In particular, we show that on the standard homogeneous Einstein manifolds, except for some special cases, there exist plenty of such metrics. A further interesting result of this paper is that on some compact semisimple Lie groups, ther…
We ask a general question: what are locally homogeneous compact pseudo-Riemannian Einstein manifolds? We show that any standard compact Clifford-Klein form of a simple non-compact Lie group admits at least one Einstein metric. We conjecture that these are basically the only possible locally homogeneous Einstein pseudo-Riemannian compact manifolds using T. Kobayashi's conjecture as a guiding principle.
F. Podestà and A. Spiro introduced a class of $G$-manifolds $M$ with a cohomogeneity one action of a compact semisimple Lie group $G$ which admit an invariant Kaehler structure $(g,J)$ (``standard $G$-manifolds") and studied invariant Kaehler and Kaehler-Einstein metrics on $M$. In the first part of this paper, we gave a combinatoric description of the standard non compact $G$-manifolds as the total space $M_φ$ of the homogeneous vector bundle $M = G\times_H V \to S_0 =G/H$ over a flag manifold $S_0$ and we gave necessary and sufficient conditions for the existence of an invariant Kaehler-Eins…
In this paper, we mainly study gradient $ρ$-Einstein solitons on doubly warped product manifolds. More explicitly, we obtain necessary and sufficient conditions for a doubly warped product manifold to be a gradient $ρ$-Einstein soliton. We also apply our main result to warped product spacetime models such as generalized Robertson-Walker and standard static spacetimes as well as 3-dimensional Walker manifolds. We finally establish that there is no 3-dimensional esentially conformally symmetric gradient $ρ$-Einstein soliton.
In this note, we show that a nontrivial, compact, degenerate or nondegenerate, gradient Einstein-type manifold of constant scalar curvature is isometric to the standard sphere with a well defined potential function. Moreover, under some geometric assumptions, the noncompact case is also treated. In this case, the main result is that a homogeneous, proper, noncompact, nondegenerate, gradient Einstein-type manifold is an Einstein manifold.
This paper attempts to define a generalisation of the standard Einstein condition (in conformal/metric geometry) to any parabolic geometry. To do so, it shows that any preserved involution $σ$ of the adjoint bundle $\mc{A}$ gives rise, given certain algebraic conditions, to a unique preferred affine connection $\nabla$ with covariantly constant rho-tensor $\mathsf{P}$, compatible with the algebraic bracket on $\mc{A}$. These conditions can reasonably be considered the generalisations of the Einstein condition, and recreate the standard Einstein condition in conformal geometry. The existence of…
For each simple symplectic triple system over the real numbers, the standard enveloping Lie algebra and the algebra of inner derivations of the triple provide a reductive pair related to a semi-Riemannian homogeneous manifold. It is proved that this is an Einstein manifold.
The aim of this paper is to study Sasakian immersions of (non-compact) complete regular Sasakian manifolds into the Heisenberg group and into $ \mathbb{B}^N\times \mathbb{R}$ equipped with their standard Sasakian structures. We obtain a complete classification of such manifolds in the $η$-Einstein case.
We deal with compact Kaehler manifolds M which are acted on by a semisimple compact Lie group G of isometries with codimension one regular orbits. We provide an explicit description of the standard blow-ups of such manifolds along complex singular orbits, in case b_1(M) = 0 and the regular orbits are Levi nondegenerate. Up to very few exceptions, all the nonhomogeneous manifolds in this class are shown to admit a G-invariant Kaehler-Einstein metric, giving completely new examples of compact Kaehler-Einstein manifolds.
For a given minimal Legendrian submanifold $L$ of a Sasaki-Einstein manifold we construct two families of eigenfunctions of the Laplacian of $L$ and we give a lower bound for the dimension of the corresponding eigenspace. Moreover, in the case the lower bound is attained, we prove that $L$ is totally geodesic and a rigidity result about the ambient manifold. This is a generalization of a result for the standard Sasakian sphere done by Lê and Wang.
