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 Riemannian metrics more generally.
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.
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).
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.
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…
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…
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…
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 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.
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.
We construct new homogeneous Einstein spaces with negative Ricci curvature in two ways: First, we give a method for classifying and constructing a class of rank one Einstein solvmanifolds whose derived algebras are two-step nilpotent. As an application, we describe an explicit continuous family of ten-dimensional Einstein manifolds with a two-dimensional parameter space, including a continuous subfamily of manifolds with negative sectional curvature. Secondly, we obtain new examples of non-symmetric Einstein solvmanifolds by modifying the algebraic structure of non-compact irreducible symmetri…
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…
The purpose of this paper is to classify all compact manifolds modeled on the 4-dimensional solvable Lie group $Sol_1^4$. The maximal compact subgroup of $Isom(Sol_1^4)$ is $D_4=\mathbb Z_4\rtimes\mathbb Z_2$. We shall exhibit an infra-solvmanifold with $Sol_1^4$-geometry whose holonomy is $D_4$. This implies that all possible holonomy groups do occur; $\{1\}$, $\mathbb Z_2$ (5 families), $\mathbb Z_4$, $\mathbb Z_2\times\mathbb Z_2$ (5 families),and $\mathbb Z_4\rtimes\mathbb Z_2$ (2 families). This includes the classification of 3-dimensional infra-$Sol$ manifolds.
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…
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.
In this paper, we consider half-flat $SU(3)$-structures and the subclasses of coupled and double structures. In the general case we show that the intrinsic torsion form $w_1^-$ is constant in each of the two subclasses. We then consider the problem of finding half-flat structures inducing Einstein metrics on homogeneous spaces. We give an example of a left invariant half-flat (non coupled and non double) structure inducing an Einstein metric on $S^3\times S^3$ and we show there does not exist any left invariant coupled structure inducing an ${\rm Ad}(S^1)$-invariant Einstein metric on it. Fina…
We construct explicit proper p-harmonic functions on rank-one Lie groups of Iwasawa type. This class of Lie groups includes many classical Riemannian manifolds such as the rank-one symmetric spaces of non-compact type, Damek-Ricci spaces, rank-one Einstein solvmanifolds and Carnot spaces.
A left invariant metric on a nilpotent Lie group is called minimal, if it minimizes the norm of the Ricci tensor among all left invariant metrics with the same scalar curvature. Such metrics are unique up to isometry and scaling and the groups admitting a minimal metric are precisely the nilradicals of (standard) Einstein solvmanifolds. If $N$ is endowed with an invariant symplectic, complex or hypercomplex structure, then minimal compatible metrics are also unique up to isometry and scaling. The aim of this paper is to give more evidence of the existence of minimal metrics, by presenting seve…
FaMAF, Universidad Nacional de Córdoba（科尔多瓦国立大学数学与应用物理研究所）；Ciem-Conicet（阿根廷国家科学研究委员会数学研究所）；Departamento de Matemática Aplicada, Instituto de Matemática e Estatística, Universidade Federal Fluminense（弗鲁米嫩塞联邦大学数学与统计学院应用数学系）；PGMat, Instituto de Matemática e Estatística, Universidade Federal Fluminense（弗鲁米嫩塞联邦大学数学与统计学院研究生数学项目）
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 prove a conjecture saying that complex projective space has maximal volume (degree) among all toric Kaehler-Einstein manifolds of dimension n. The proof is inspired by our recent work on sharp Moser-Trudinger and Brezis-Merle type inequalities for the complex Monge-Ampere operator, but is essentially self-contained.
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…
We bring new insights into the long-standing Alekseevskii conjecture, namely that any connected homogeneous Einstein manifold of negative scalar curvature is diffeomorphic to a Euclidean space, by proving structural results which are actually valid for any homogeneous expanding Ricci soliton, and generalize many well-known results on Einstein solvmanifolds, solvsolitons and nilsolitons. We obtain that any homogeneous expanding Ricci soliton M=G/K is diffeomorphic to a product U/K x N, where U is a maximal reductive Lie subgroup of G and N is the maximal nilpotent normal subgroup of G, such tha…
In this work we study the existence of homogeneous Einstein metrics on the total space of homogeneous fibrations such that the fibers are totally geodesic manifolds. We obtain the Ricci curvature of an invariant metric with totally geodesic fibers and some necessary conditions for such a metric to be Einstein in terms of Casimir operators. Some particular cases are studied, for instance, for normal base or fiber, symmetric fiber, Einstein base or fiber, for which the Einstein equations are manageable. We show the existence of new invariant Einstein metrics on homogeneous bisymmetric fibrations…
We give some non-existence results for Kähler-Einstein metrics with conical singularities along a divisor on Fano manifolds. In particular we show that the maximal possible cone angle is in general smaller than the invariant R(M). We study this discrepancy from the point of view of log K-stability.
Using spin$^c$ structure we prove that Kähler-Einstein metrics with nonpositive scalar curvature are stable (in the direction of changes in conformal structures) as the critical points of the total scalar curvature functional. Moreover if all infinitesimal complex deformation of the complex structure are integrable, then the Kähler-Einstein metric is a local maximal of the Yamabe invariant, and its volume is a local minimum among all metrics with scalar curvature bigger or equal to the scalar curvature of the Kähler-Einstein metric.
In this short note we prove that a Kahler manifold with lower Ricci curvature bound and almost maximal volume is Gromov-Hausdorff close to the projective space with the Fubini-Study metric. This is done by combining the recent results of Kewei Zhang and Yuchen Liu on holomorphic rigidity of such Kahler manifolds with the structure theorem of Tian-Wang for almost Einstein manifolds. This can be regarded as the complex analog of the result on Colding on the shape of Riemannian manifolds with almost maximal volume
In this paper emphasis is placed on how the behavior of the solutions of a PDE is affected by the geometry of the generalized $m$-quasi-Einstein manifold, and vice versa. Considering a $n$-dimensional generalized $m$-quasi-Einstein manifold which is conformal to a pseudo-Euclidean space, we prove the most general symmetry group of maximal dimension. Moreover, we demonstrate that there is no different low dimensional invariant on a generalized $m$-quasi-Einstein manifold. As an application, we use the invariant structure of the metric to provide an example of shrinking $m$-quasi-Einstein manifo…
In 1969, Choquet-Bruhat and Geroch established the existence of a unique maximal globally hyperbolic Cauchy development of given initial data for the Einstein equations. Their proof, however, has the unsatisfactory feature that it relies crucially on the axiom of choice in the form of Zorn's lemma. In this paper we present a proof that avoids the use of Zorn's lemma. In particular, we provide an explicit construction of this maximal globally hyperbolic development.
Not only the Dirac operator, but also the spinor bundle of a pseudo-Riemannian manifold depends on the underlying metric. This leads to technical difficulties in the study of problems where many metrics are involved, for instance in variational theory. We construct a natural finite dimensional bundle, from which all the metric spinor bundles can be recovered including their extra structure. In the Lorentzian case, we also give some applications to Einstein-Dirac-Maxwell theory as a variational theory and show how to coherently define a maximal Cauchy development for this theory.
Let $P$ be a principal U(1)-bundle over a closed manifold $M$. On $P$, one can define a modified version of the Ricci flow called the Ricci Yang-Mills flow, due to these equations being a coupling of Ricci flow and the Yang-Mills heat flow. We use maximal regularity theory and ideas of Simonett concerning the asymptotic behavior of abstract quasilinear parabolic partial differential equations to study the stability of the volume-normalized Ricci Yang-Mills flow at Einstein Yang-Mills metrics in dimension two. In certain cases, we show the presence of a center manifold of fixed points, while in…
We consider the initial boundary value problem for the Einstein vacuum equations in the maximal gauge, or more generally, in a gauge where the mean curvature of a timelike foliation is fixed near the boundary. We prove the existence of solutions such that the normal to the boundary is tangent to the time slices, the lapse of the induced time coordinate on the boundary is fixed and the main geometric boundary conditions are given by the 1-parameter family of Riemannian conformal metrics on each two-dimensional section. As in the local existence theory of Christodoulou-Klainerman for the Einstei…
We construct low regularity solutions of the vacuum Einstein constraint equations. In particular, on 3-manifolds we obtain solutions with metrics in $H^s\loc$ with $s>{3\over 2}$. The theory of maximal asymptotically Euclidean solutions of the constraint equations descends completely the low regularity setting. Moreover, every rough, maximal, asymptotically Euclidean solution can be approximated in an appropriate topology by smooth solutions. These results have application in an existence theorem for rough solutions of the Einstein evolution equations.
We consider a homogeneous fibration $G/L \to G/K$, with symmetric fiber and base, where $G$ is a compact connected semisimple Lie group and $L$ has maximal rank in $G$. We suppose the base space $G/K$ is isotropy irreducible and the fiber $K/L$ is simply connected. We investigate the existence of $G$-invariant Einstein metrics on $G/L$ such that the natural projection onto $G/K$ is a Riemannian submersion with totally geodesic fibers. These spaces are divided in two types: the fiber $K/L$ is isotropy irreducible or is the product of two irreducible symmetric spaces. We classify all the $G$-inv…
We prove that the identity component of the holomorphic isometry group of a Sasaki-Einstein metric is the identity component of a maximal compact subgroup of its automorphism group.
We obtain a necessary and sufficient condition of existence of a K{ä}hler-Einstein metric on a $G\times G$-equivariant Fano compactification of a complex connected reductive group $G$ in terms of the associated polytope. This condition is not equivalent to the vanishing of the Futaki invariant. The proof relies on the continuity method and its translation into a real Monge-Amp{è}re equation, using the invariance under the action of a maximal compact subgroup $K\times K$.
Explicit models for the restricted conformal group of the Einstein static universe of dimension greater than two and for its universal covering group are constructed. Based on these models, as an application we determine all oriented and time-oriented conformal Lorentz manifolds whose restricted conformal group has maximal dimension. They amount to the Einstein static universe itself and two countably infinite series of its compact quotients.
On $4$-symmetric symplectic spaces, invariant almost complex structures -- up to sign -- arise in pairs. We exhibit some $4$-symmetric symplectic spaces, with a pair of "natural" compatible (usually not positive) invariant almost complex structures, one of them being integrable and the other one being maximally non integrable (i.e. the image of its Nijenhuis tensor at any point is the whole tangent space at that point). The integrable one defines a pseudo-Kähler Einstein metric on the manifold, and the non integrable one is Ricci Hermitian (in the sense that the almost complex structure preser…
We consider sphere bundles P and P' of totally null planes of maximal dimension and opposite self-duality over a 4-dimensional manifold equipped with a Weyl or Riemannian geometry. The fibre product PP' of P and P' is found to be appropriate for the encoding of both the selfdual and the Einstein-Weyl equations for the 4-metric. This encoding is realized in terms of the properties of certain well defined geometrical objects on PP'. The formulation is suitable for both complex- and real-valued metrics. It unifies results for all three possible real signatures. In the purely Riemannian positive d…
Let $X$ be any $\mathbb{Q}$-Fano variety and $\mathrm{Aut}(X)_0$ be the identity component of the automorphism group of $X$. Let $\mathbb{G}$ be a connected reductive subgroup of $\mathrm{Aut}(X)_0$ that contains a maximal torus of $\mathrm{Aut}(X)_0$. We prove that $X$ admits a Kähler-Einstein metric if and only if $X$ is $\mathbb{G}$-uniformly K-stable. This proves a version of Yau-Tian-Donaldson conjecture for arbitrary singular Fano varieties. A key new ingredient is a valuative criterion for $\mathbb{G}$-uniform K-stability.
Let $X$ be a complex toric Fano $n$-fold and ${\cal N}(T)$ the normalizer of a maximal torus $T$ in the group of biholomorphic authomorphisms $Aut(X)$. We call $X$ {\em symmetric} if the trivial character is a single ${\cal N}(T)$-invariant algebraic character of $T$. Using an invariant $α_G(X)$ introduced by Tian, we show that all symmetric toric Fano $n$-folds admit an Einstein-Kähler metric. We remark that so far one doesn't know any example of a toric Fano $n$-fold $X$ such that $Aut(X)$ is reductive, the Futaki character of $X$ vanishes, but $X$ is not symmetric.
