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 Einstein solvmanifolds is the square norm of this moment map. We also use a GL(n)-invariant stratification for the space N following essentially a construction given by F. Kirwan and show that there is a strong interplay between the strata and the Einstein condition on the solvmanifolds. As applications, we obtain several examples of graded (even 2-step) nilpotent Lie algebras which are not the nilradicals of any standard Einstein solvmanifold, as well as a classification in the 7-dimensional 6-step case and an existence result for certain 2-step algebras associated to graphs.
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).
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 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.
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.
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…
We characterize unimodular solvable Lie algebras with Vaisman structures in terms of Kähler flat Lie algebras equipped with a suitable derivation. Using this characterization we obtain algebraic restrictions for the existence of Vaisman structures and we establish some relations with other geometric notions, such as Sasakian, coKähler and left-symmetric algebra structures. Applying these results we construct families of Lie algebras and Lie groups admitting a Vaisman structure and we show the existence of lattices in some of these families, obtaining in this way many examples of new solvmanifo…
We review some constructions and properties of complex manifolds admitting pluriclosed and balanced metrics. We prove that for a 6-dimensional solvmanifold endowed with an invariant complex structure J having holomorphically trivial canonical bundle the pluriclosed flow has a long time solution for every invariant initial datum. Moreover, we state a new conjecture about the existence of balanced and SKT metrics on compact complex manifolds. We show that the conjecture is true for nilmanifolds of dimension 6 and 8 and for 6-dimensional solvmanifolds with holomorphically trivial canonical bundle…
We compute almost-complex invariants $h^{p,0}_{\overline\partial}$, $h^{p,0}_{\text{Dol}}$ and almost-Hermitian invariants $h^{p,0}_{\barδ}$ on families of almost-Kähler and almost-Hermitian $6$-dimensional solvmanifolds. Finally, as a consequence of almost-Kähler identities we provide an obstruction to the existence of a symplectic structure on a given compact almost-complex manifold. Notice that, when $(X,J,g,ω)$ is a compact almost Hermitian manifold of real dimension greater than four, not much is known concerning the numbers $h^{p,q}_{\overline\partial}$.
We study the existence of strong Kähler with torsion (SKT) metrics and of symplectic forms taming invariant complex structures $J$ on solvmanifolds $G/Γ$ providing some negative results for some classes of solvmanifolds. In particular, we show that if either $J$ is invariant under the action of a nilpotent complement of the nilradical of $G$ or $J$ is abelian or $G$ is almost abelian (not of type (I)), then the solvmanifold $G/Γ$ cannot admit any symplectic form taming the complex structure $J$, unless $G/Γ$ is Kähler. As a consequence, we show that the family of non-Kähler complex manifolds c…
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…
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…
We prove the non-existence of Vaisman metrics on some solvmanifolds with a left-invariant complex structure. By this theorem, we show that every Oeljeklaus-Toma manifold with $(s,1)$ admits no Vaisman metric.
We prove the non-existence of Vaisman metrics on some solvmanifolds with left-invariant complex structures. By this theorem, we show that Oeljeklaus-Toma manifolds does not admit Vaisman metrics.
We discuss our recent results on the existence and classification problem of complex and Kaehler structures on compact solvmanifolds. In particular, we determine in this paper all the complex surfaces which are diffeomorphic to compact solvmanifolds (and compact homogeneous manifolds in general).
In this paper we investigate the existence of invariant SKT, balanced and generalized Kähler structures on compact quotients $Γ\backslash G$, where $G$ is an almost nilpotent Lie group whose nilradical has one-dimensional commutator and $Γ$ is a lattice of $G$. We first obtain a characterization of Hermitian almost nilpotent Lie algebras $\mathfrak{g}$ whose nilradical $\mathfrak{n}$ has one-dimensional commutator and a classification result in real dimension six. Then, we study the ones admitting SKT and balanced structures and we examine the behaviour of such structures under flows. In parti…
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.
Special structures on almost abelian solvmanifolds
Institute of Mathematics “Simion Stoilow” of the Romanian Academy（罗马尼亚科学院西米恩·斯托伊洛数学研究所）；Université Paris-Saclay, CNRS, Laboratoire de mathématiques d’Orsay（巴黎萨克雷大学，法国国家科学研究中心，奥赛数学实验室）
We show that if $M$ is an Einstein hypersurface in an irreducible Riemannian symmetric space $\overline{M}$ of rank greater than $1$ (the classification in the rank-one case was previously known), then either $\overline{M}$ is of noncompact type and $M$ is a codimension one Einstein solvmanifold, or $\overline{M}=\mathrm{SU}(3)/\mathrm{SO}(3)$ (respectively, $\overline{M}=\mathrm{SL}(3)/\mathrm{SO}(3)$) and $M$ is foliated by totally geodesic spheres (respectively, hyperbolic planes) of $\overline{M}$, with the space of leaves parametrised by a special Legendrian surface in $S^5$ (respectively…
This paper investigates the geometry of compact contact manifolds that are uniformized by contact Lie groups, i.e., compact manifolds that are the quotient of some Lie group G with a left invariant contact structure and a uniform lattice subgroup. We re-examine Alexander's criteria for existence of lattices on solvable Lie groups and apply them, along with some other well known tools, and use these results to prove that, in dimension 5, there are exactly seven connected and simply connected contact Lie groups with uniform lattices, all of which are solvable. Issues of symplectic boundaries are…
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 consider four-dimensional homogeneous pseudo-Riemannian manifolds with non-trivial isotropy and completely classify the cases giving rise to non-trivial homogeneous Ricci solitons. In particular, we show the existence of non-compact homogeneous (and also invariant) pseudo-Riemannian Ricci solitons which are not isometric to solvmanifolds, and of conformally flat homogeneous pseudo-Riemannian Ricci solitons which are not symmetric.
This work builds on the foundation laid by Gordon and Wilson in the study of isometry groups of solvmanifolds, i.e. Riemannian manifolds admitting a transitive solvable group of isometries. We restrict ourselves to a natural class of solvable Lie groups called almost completely solvable; this class includes the completely solvable Lie groups. When the commutator subalgebra contains the center, we have a complete description of the isometry group of any left-invariant metric using only metric Lie algebra information. Using our work on the isometry group of such spaces, we study quotients of sol…
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…
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences（保加利亚科学院数学与信息学研究所）；College of Arts and Sciences, Department of Mathematics, University of Miami（迈阿密大学文理学院数学系）；Institute of the Mathematical Sciences of the Americas (IMSA)（美洲数学科学研究所）；International Center for Mathematical Sciences (ICMS)（国际数学科学中心）
We study left-invariant generalized Kähler structures on almost abelian Lie groups, i.e., on solvable Lie groups with a codimension-one abelian normal subgroup. In particular, we classify six-dimensional almost abelian Lie groups which admit a left-invariant complex structure and establish which of those have a left-invariant Hermitian structure whose fundamental 2-form is $\partial \bar \partial$-closed. We obtain a classification of six-dimensional generalized Kähler almost abelian Lie groups and determine the 6-dimensional compact almost abelian solvmanifolds admitting an invariant generali…
In this paper, using Donaldson's heat flow, we show that the semi-stability of a Higgs bundle over a compact Kähler manifold implies the existence of approximate Hermitian-Einstein structure on the Higgs bundle.
Given a closed Riemannian manifold $(M, g_M)$ of dimension $n \geq 3$, we prove the existence of a conformally compact Einstein metric $g_{+}$ defined on a collar neighborhood $M \times (0,1]$ whose conformal infinity is $[g_M]$.
It is shown that the existence of an $ω$-compatible Einstein metric on a compact symplectic manifold $(M,ω)$ imposes certain restrictions on the symplectic Chern numbers. Examples of symplectic manifolds which do not satisfy these restrictions are given. The results offer partial support to a conjecture of Goldberg.
