Abstract
We construct indefinite Einstein solvmanifolds that are standard, but not of pseudo-Iwasawa type. Thus, the underlying Lie algebras take the form \(\mathfrak {g}\rtimes _D\mathbb {R}\), where \(\mathfrak {g}\) is a nilpotent Lie algebra and D is a nonsymmetric derivation. Considering nonsymmetric derivations has the consequence that \(\mathfrak {g}\) is not a nilsoliton, but satisfies a more general condition. Our construction is based on the notion of nondiagonal triple on a nice diagram. We present an algorithm to classify nondiagonal triples and the associated Einstein metrics. With the use of a computer, we obtain all solutions up to dimension 5, and all solutions in dimension \(\le 9\) that satisfy an additional technical restriction. By comparing curvatures, we show that the Einstein solvmanifolds of dimension \(\le 5\) that we obtain by our construction are not isometric to a standard extension of a nilsoliton.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Einstein manifolds of negative curvature and maximal symmetry have been studied for decades. After contributions by many authors (see [3, 15,16,17]), it was proved in [4] that every homogeneous Einstein Riemannian manifold of negative curvature can be represented as a solvmanifold, i.e. a solvable Lie group endowed with a left-invariant metric (a statement previously known as the Alekseevsky conjecture).
Given an Einstein solvmanifold, at the Lie algebra level, there is an orthogonal decomposition \({\mathfrak {g}}\rtimes \mathfrak {a}\), where \(\mathfrak {g}\) is the nilradical and \(\mathfrak {a}\) an abelian subalgebra [18]; such a decomposition is called a standard decomposition. Up to isometry, one can then assume that \(\mathfrak {a}\) acts by symmetric derivations [12]; the standard decomposition is then said to be of Iwasawa type. Furthermore, the restriction of the metric to \(\mathfrak {g}\) satisfies the equation
one then says that \({\mathfrak {g}}\) is a nilsoliton; the terminology is motivated by the fact that a left-invariant metric on a nilpotent Lie group satisfies Eq. 1 if and only if it is a Ricci soliton [14, 19].
Indefinite homogeneous Einstein manifolds are less constrained (partly because restrictions on the sign of the scalar curvature cease to be significant if one does not fix the signature): they need not be solvmanifolds, or even diffeomorphic to \(\mathbb {R}^n\) (consider the symmetric spaces \(\textrm{SO}_0(p,q)/\textrm{SO}(p)\times \textrm{SO}(q)\)), and even if one restricts to solvmanifolds, the Einstein condition does not imply the existence of a standard decomposition \({\mathfrak {g}}\rtimes \mathfrak {a}\). Furthermore, if a standard decomposition does exist, it may not be the case that \(\mathfrak {a}\) acts by symmetric derivations, even up to isometry.
Nevertheless, the constructive aspects of the positive-definite theory generalize to arbitrary signature. For instance, large classes of Einstein solvmanifolds can be obtained by extending indefinite nilsolitons (see [7, 8]). The solvmanifolds obtained this way admit standard decompositions of pseudo-Iwasawa type, i.e. they take the form \({\mathfrak {g}}\rtimes _D\mathbb {R}\) where D is symmetric and \({\mathfrak {g}}\) is the nilradical.
Constructing Einstein solvmanifolds which are not of pseudo-Iwasawa type is more difficult. In [9] we obtained the first such examples in the guise of standard Sasaki-Einstein solvmanifolds; since Sasaki solvmanifolds can never be of pseudo-Iwasawa type, those metrics are not isometric to any standard solvmanifold of pseudo-Iwasawa type ([10, Proposition 2.6]).
The construction of [9] is based on a generalization of the nilsoliton condition: on a nilpotent Lie algebra, one considers a metric and a derivation D with symmetric part \(D^s=\frac{1}{2}(D+D^*)\) such that for \(\tau =\pm 1\) the following conditions involving the Ricci operator hold:
Rather than attack this equation directly, the method of [9] is to find solutions by inverting contact (symplectic) reduction, which is a peculiar feature of Sasaki (Kähler) geometry.
By contrast, in this paper we leave contact geometry aside and give a direct construction of solutions of Eq. 2. Unlike the Sasaki case, we do not have a general criterion to exclude that the resulting metrics are isometric to solvmanifolds of pseudo-Iwasawa type, but we show that this is not generally the case by explicit curvature computations in low dimensions.
Our construction uses Lie algebras admitting a special type of basis, introduced in [20, 21] under the name of nice bases. The metrics we consider have an orthonormal nice basis, but the derivation D is not diagonal in this basis. It is a feature of our construction that D is always diagonalizable, although this does not follow by any means from Eq. 2.
The precise ansatz we impose on D is that for every \(i=1,\dotsc , n\), the derivation D has at most one nonzero element on either the i-th row or the i-th column which is not on the diagonal. Some of the entries of D are forced to be zero by the condition \({{\,\textrm{tr}\,}}({{\,\textrm{ad}\,}}V\circ D^*)=0\). Having assumed that the nice basis is orthogonal, the left-hand side of Eq. 2 is diagonal relative to that basis, so we need to impose that the right-hand side is zero off the diagonal; the resulting constraints on D are linear, due to the special nature of our ansatz. The diagonal part of the right-hand side of Eq. 2, however, depends nonlinearly on D. A full characterization of the conditions is given in Lemma 3.1.
In order to obtain a linear problem, we change the point of view; rather than fix the nice Lie algebra and consider an arbitrary diagonal metric, we consider the set of nice Lie algebras which share the same set of indices i, j, k such that \([e_i,e_j]=c_{ijk}e_k\ne 0\) (in the terminology of [5], they have the same nice diagram), and leave the structure constants relative to a fixed orthonormal basis as unknowns. We then determine the derivation D in terms of the nice diagram, the set \(\mathcal {A}\) of indices corresponding to offdiagonal nonzero entries of D, and a function \(A:\mathcal {A}\rightarrow \mathbb {R}\) characterizing the actual entries of D in a suitable sense. We call \((D,\mathcal {A},A)\) a nondiagonal triple, and determining it is a linear problem. For a fixed nondiagonal triple, the structure constants \(c_{ijk}\) must then be computed in such a way that the Jacobi identity holds, the Ricci operator takes the required form, and D is a derivation. This is a nonlinear problem, but it can be solved effectively using the fact that finding a diagonal metric on a nice Lie algebra with prescribed Ricci operator is a linear problem in the squared structure constants \(c_{ijk}^2\). The full conditions that must be satisfied in order to obtain a solution of Eq. 2 from a nondiagonal triple are given in Theorem 3.7.
In view of a classification, we then introduce a suitable notion of equivalence between nondiagonal triples, taking into account sign flipping in the basis elements and automorphisms of the nice diagrams.
We then present Algorithm 1, which classifies nondiagonal triples and the associated solutions of Eq. 2 up to equivalence; our implementation of the algorithm can be found at (https://github.com/diego-conti/jormungandr). This algorithm is mostly effective in low dimensions or under two technical assumptions, namely that the so-called root matrix is surjective and that the linear system determining A has a unique solution, ensuring that the equations to be solved do not depend on parameters.
We obtain a classification of nondiagonal triples and the associated solutions of Eq. 2, up to equivalence, both in dimension \(\le 5\) (Tables 1 and 2) and in dimension \(\le 9\) under the two technical assumptions outlined above (see ancillary files). Each entry in these tables determines a standard Einstein solvmanifold in one dimension higher, which is not of pseudo-Iwasawa type. We argue that these metrics differ from the known metrics obtained by extending a nilsoliton by computing the curvature (Proposition 4.4).
2 Generalized Nilsolitons and Diagonal Metrics
In this section we recall the results, terminology and notation from [5, 6, 20, 21] that will be used in the sequel.
We shall consider metrics on a Lie algebra \({\mathfrak {g}}\), i.e. nondegenerate scalar products that determine a left-invariant pseudo-Riemannian metric on a Lie group with Lie algebra \({\mathfrak {g}}\); the Levi-Civita connection and its curvature can then be expressed at the Lie algebra level. In particular, we shall denote by \({{\,\textrm{Ric}\,}}:{\mathfrak {g}}\rightarrow {\mathfrak {g}}\) the Ricci operator; the Einstein condition reads \({{\,\textrm{Ric}\,}}=\lambda {\text {Id}}\), where \({\text {Id}}\) is the identity operator on \({\mathfrak {g}}\); the notation \({\text {Id}}_{\mathfrak {g}}\) will also be used when necessary.
Given a Lie algebra \(\tilde{\mathfrak {g}}\) with a metric \(\tilde{g}\), we say that a standard decomposition is an orthogonal decomposition \(\tilde{\mathfrak {g}}={\mathfrak {g}}\rtimes \mathfrak {a}\), where \({\mathfrak {g}}\) is a nilpotent ideal and \(\mathfrak {a}\) an abelian subalgebra. As \({\mathfrak {g}}\) and \(\mathfrak {a}\) are required to be orthogonal, the restriction of the metric to \({\mathfrak {g}}\) is nondegenerate, and will be denoted by g.
The standard decomposition is generally not unique. A standard decomposition is said to be of pseudo-Iwasawa type if \({{\,\textrm{ad}\,}}X\) is symmetric for all X in \(\mathfrak {a}\). Given an Einstein solvmanifold of pseudo-Iwasawa type \(\tilde{\mathfrak {g}}={\mathfrak {g}}\rtimes \mathfrak {a}\), \({\mathfrak {g}}\) satisfies the nilsoliton Eq. 1. We are interested in Einstein metrics which admit a standard decomposition, but not one of pseudo-Iwasawa type. The standard decomposition will take the form \({\mathfrak {g}}\rtimes _D\mathbb {R}\), where D differs from its symmetric part \(D^s=\frac{1}{2}(D+D^*)\). The condition that the metric on the nilpotent factor \({\mathfrak {g}}\) must satisfy is given by the following result, generalizing Eq. 1 to the case where D is not assumed to be symmetric:
Theorem 2.1
([9, Proposition 2.1]) Let \({\mathfrak {g}}\) be a nilpotent Lie algebra with a pseudo-Riemannian metric g, D a derivation and \(\tau =\pm 1\). Then the metric \(\tilde{g}=g+\tau e^0\otimes e^0\) on \(\tilde{\mathfrak {g}}={\mathfrak {g}}\rtimes _D{\text {Span}}\left\{ e_0\right\} \) is Einstein if and only if
in this case, \(\widetilde{{{\,\textrm{Ric}\,}}}= - \tau {{\,\textrm{tr}\,}}((D^s)^2){\text {Id}}_{\tilde{\mathfrak {g}}}\).
For the remainder of the article we set \(\tau =1\), thus solving the equation
One can recover the metrics with \(\tau =-1\) by flipping the overall sign of the metric.
Our approach to finding solutions of Eq. 3 is through nice Lie algebras. Given a Lie algebra \(\mathfrak {g}\), a basis \(e_1,\dotsc , e_n\) with dual basis \(e^1,\dotsc , e^n\) is a nice basis if each \([e_i,e_j]\), \(e_i\lrcorner \,de^j\) is a multiple of a basis element (see [20, 21]); a nice Lie algebra is a Lie algebra endowed with a nice basis. To such a basis one can associate a directed graph with nodes \(\{1,\dotsc , n\}\), and such that \(i\rightarrow k\) is an arrow if and only if \([e_i,e_j]\) is a nonzero multiple of \(e_k\) for some j. The arrow \(i\rightarrow k\) is then decorated with the label j; we will write \(i\xrightarrow {j}k\). It is clear from the definition that for fixed i, j there can be at most one arrow \(i\xrightarrow {\bullet } j\) and at most one arrow \(i\xrightarrow {j}\bullet \). In addition, if \(i\xrightarrow {j}k\) is an arrow, then \(j\xrightarrow {i}k\) is also an arrow. Nilpotency implies that the graph is acyclic; additionally, it satisfies a condition involving concatenated arrows which follows from the Jacobi identity. All these conditions (see [5] for details) define a class of labeled directed acyclic graphs known as nice diagrams. These are combinatorial objects which can in principle be classified in any fixed dimension.
Having assigned a nice diagram \(\Delta \), any nice Lie algebra whose underlying nice diagram is \(\Delta \) can be expressed by assigning structure constants \(c_{ijk}\) to every arrow \(i\xrightarrow {j}k\) in such a way that the Jacobi identity holds. However, the solution may not exist or be unique; thus, the correspondence between nice Lie algebra and nice diagrams is not bijective. In particular, if each basis vector \(e_i\) is rescaled by a constant \(g_i\), a new solution \(\{c'_{ijk}\}\) is obtained by \(c'_{ijk}=\frac{g_k}{g_ig_j}c_{ijk}\). This can be seen as follows.
Given a nice diagram \(\Delta \), one defines the root matrix \(M_\Delta \), which has a row of the form
for every pair of arrows \(i\xrightarrow {j}k\), \(j\xrightarrow {i}k\). The rows of \(M_\Delta \) represent the weights for the action of the diagonal group \(D_n\) (in the basis \(\{e^i\otimes e_i\}\) of its Lie algebra \(\mathfrak {d}_n\)) on the m-dimensional space of structure constants \(\{c_{ijk}\}\). Accordingly, we can view \(M_\Delta \) as a linear map \(\mathfrak {d}_n\rightarrow \mathfrak {d}_m\), which exponentiates to a map \(D_n\rightarrow D_m\) which we denote by \(e^{M_\Delta }\); identifying \(\mathfrak {d}_n\) with \(\mathbb {R}^n\) and \(\mathfrak {d}_m\) with \(\mathbb {R}^m\), if the I-th row of \(M_\Delta \) corresponds to \(i\xrightarrow {j}k\), the I-th component of \(e^{M_\Delta }(g_1,\dotsc , g_n)\) is \(\frac{g_k}{g_ig_j}\).
It then follows that when \(M_\Delta \) is surjective the structure constants \(c_{ijk}\) can be normalized to \(\pm 1\) by rescaling. Otherwise, continuous families of Lie algebras with the same diagram may occur. In order to avoid the difficulty of having to solve equations depending on parameters, we will only consider nice diagrams with surjective root matrix in this paper.
Nice Lie algebras have two features which make them a good candidate for the construction of solutions of Eqs. 1 and 3. First, one has fine control over the derivations, as the following holds:
Proposition 2.2
([21, Proof of Theorem 3]) Let \(\mathfrak {g}\) be a Lie algebra with a nice basis \(e_1,\dotsc , e_n\). Then every derivation of \(\mathfrak {g}\) splits as the sum of a diagonal derivation \(\sum \lambda _ie^i\otimes e_i\) and a derivation with zeroes on the diagonal, \(\sum _{i\ne j} a_{ij}e^i\otimes e_j\).
Moreover, diagonal derivations can be computed solely in terms of the nice diagrams. Given a vector \(v\in \mathbb {R}^n\), we will denote by \(v^\textrm{D}\) the diagonal \(n\times n\) matrix with entries determined by v. On a nice Lie algebra \(\mathfrak {g}\), identified with \(\mathbb {R}^n\) by fixing a nice basis, one then has:
The second and most important feature of nice Lie algebras is that any diagonal metric has diagonal Ricci operator. The problem of determining a diagonal metric with prescribed Ricci tensor is then expressed by n equations in n unknowns; furthermore, it can be split into a linear and a polynomial problem. We will use the following formula:
Proposition 2.3
([6, Theorem 2.3]) If \(\mathfrak {g}\) is a nice Lie algebra with nice diagram \(\Delta \) and structure constants \(\{c_I\}\), then the Ricci operator of the diagonal metric \(g^\textrm{D}=g_1e^1\otimes e^1+\dotsc + g_ne^n\otimes e^n\) is
Notice that the particular value of g satisfying \(\left( \frac{x_{I}}{c_{I}^2}\right) =e^{M_\Delta }(g)\) is only relevant to establish the signature: if g and h are solutions of Eq. 5 that differ by a positive factor in each entry, say \(g_i=t_ih_i\), then the map that rescales each \(e_i\) by \(\sqrt{t_i}\) is a Lie algebra isomorphism, i.e. the metrics \(g^\textrm{D}\) and \(h^\textrm{D}\) effectively correspond to the same metric and Lie algebra written relative to different bases. To account for the signature, we will introduce the notation
Equation 5 shows that if I represents the arrow \(i\xrightarrow {j}k\), \(x_{I}\) has the same sign as \(g_k/(g_ig_j)\); in term of the \({\text {mod}} 2\) reduction of the root matrix, denoted \(M_{\Delta ,2}\), we can write
Finally, let us recall that an automorphism of the nice diagram is a permutation \(\sigma \) of its nodes that maps arrows to arrows, i.e. \(\sigma _i\xrightarrow {\sigma _j}\sigma _k\) is an arrow whenever \(i\xrightarrow jk\) is an arrow. It is natural to consider nice diagrams up to automorphisms, which corresponds to considering nice Lie algebras up to reordering of the basis. An explicit computation of automorphisms of a nice diagram is given below in Example 4.1.
3 Constructing Generalized Nilsolitons
The aim of the section is to develop tools to construct solutions to the “generalized nilsoliton” Eq. 3 on a nice Lie algebra \(\mathfrak {g}\). We consider the case \({{\,\textrm{tr}\,}}D\ne 0\), which gives rise to nonunimodular solvmanifolds \(\mathfrak {g}\rtimes _D\mathbb {R}\). The derivation D will turn out to be diagonalizable, but not diagonal relative to the nice basis.
In the following construction, we consider derivations D which are almost diagonal, meaning that their nondiagonal entries are indexed by a set
The next lemma will be the guide to determine what properties should be imposed on the set \(\mathcal {A}\) and derivation D. Without loss of generality, we will require \({{\,\textrm{tr}\,}}D={{\,\textrm{tr}\,}}D^2\). Notice that this normalization affects the Einstein constant \(-{{\,\textrm{tr}\,}}((D^s)^2)\).
Lemma 3.1
Let \(\mathfrak {g}\) be a nice Lie algebra with a diagonal metric
let \(\mathcal {A}\) be as in Eq. 7, and let D be a derivation of the form
where the \(a_{ji}\) are nonzero. Assume furthermore that \({{\,\textrm{tr}\,}}D={{\,\textrm{tr}\,}}D^2\ne 0\). Then Eq. 3 holds if and only if for \((i,j)\in \mathcal {A}\)
where \(A_j^i\) are constants such that
and
Proof
We compute
Since \(\mathfrak {g}\) is nice, the diagonal part of D is a derivation (see Proposition 2.2). Therefore, \({{\,\textrm{tr}\,}}{{\,\textrm{ad}\,}}v\circ D^*=0\) if and only if
By the nice condition, the terms \(e_i\lrcorner \,de^j=0\) can only be linearly dependent if they are zero. We also compute
Since we assume \(a_{ji}\ne 0\), the offdiagonal part of Eq. 3 is satisfied if and only if for \((i,j)\in \mathcal {A}\)
i.e.
On the other hand, the diagonal part of Eq. 3 gives
Setting \(A_j^i=\frac{g_j a_{ji}^2}{2g_i{{\,\textrm{tr}\,}}D}\) and dividing by \({{\,\textrm{tr}\,}}D\), we can write
If \(\mu ^\textrm{D}\) is a diagonal derivation, since \({{\,\textrm{tr}\,}}({{\,\textrm{Ric}\,}}\circ \mu ^\textrm{D})=0\), we compute
\(\square \)
Remark 3.2
A derivation D satisfying the conditions of Lemma 3.1 must necessarily be diagonalizable. Indeed, suppose D is as in Lemma 3.1. Up to reordering indices, we can assume that D is upper triangular; in particular, the diagonal elements \(\lambda _i\) are the eigenvalues. If \(\lambda =\lambda _j\) is an eigenvalue, then the j-th row of \(D-\lambda I\) consists of zeroes except possibly for the i-th entry, if \((i,j)\in \mathcal {A}\); in the latter case, however, \(\lambda _i-\lambda _j={{\,\textrm{tr}\,}}D\ne 0\), so the i-th row of \(D-\lambda I\) is zero everywhere except at the i-th entry. This shows that the rank of \(D-\lambda I\) coincides with the number of diagonal elements distinct from \(\lambda \). Thus, D is diagonalizable.
Remark 3.3
A similar construction as in Lemma 3.1 could be in principle considered for \({{\,\textrm{tr}\,}}D=0\); in that case, \(\mathfrak {g}\rtimes _D\mathbb {R}\) would be unimodular, and the derivation not diagonalizable. We do not know whether this will produce new examples; we plan to study this in future work.
Example 3.4
Consider the Lie algebra \(\mathfrak {g}=(0,0,e^{12},e^{13})\); this notation, inspired by [22], means that there is a fixed basis \(e_1,\dotsc , e_4\) such that the dual basis \(e^1,\dotsc , e^4\) satisfies
The generic diagonal derivation is
We consider \(\mathcal {A}=\{(1,2)\}\), i.e. the derivation
The condition \({{\,\textrm{tr}\,}}D=2a+b=\lambda _1-\lambda _2\) gives
together with the Eq. 8, this gives a linear system in \(a,b,A_2^1\) with solution
i.e.
In addition, we have
By Eq. 5, we must solve
which gives
Now we must solve \(e^{M_\Delta }(g)=X\), i.e.
A particular solution is given by
Therefore we see that the metric
on the Lie algebra \(\tilde{\mathfrak {g}}=\mathfrak {g}\rtimes _D{\text {Span}}\left\{ e_5\right\} \)
is Einstein with
In Lemma 3.1, the structure constants are fixed, the parameters \(\{a_{ji}\}\) must satisfy linear conditions that make D a derivation, and the \(A_j^i\) linear conditions that follow from \({{\,\textrm{tr}\,}}({{\,\textrm{Ric}\,}}\circ D)=0\), but their relation to the metric is nonlinear. We now take a differerent point of view: we do not fix the structure constants, but only the nice diagram. The \(A_j^i\) and the diagonal part of the derivations are determined linearly, and then we impose conditions on the structure constants so that the Ricci operator takes the required form and D is a derivation. Notice that since we allow the structure constants to vary, we may assume that the nice basis is orthonormal, i.e. the \(g_i\) equal \(\pm 1\). This leads to the following definition.
Let \(\Delta \) be a nice diagram with n nodes. We will identify nodes with numbers \(\{1,\dotsc , n\}\). Let \(\mathcal {A}\) be a nonempty subset of \(N(\Delta )\times N(\Delta )\). Let \(D:\mathbb {R}^n\rightarrow \mathbb {R}^n\) be a linear map, \(A:\mathcal {A}\rightarrow \mathbb {R}^*\) a function; we will write \(A_j^i\) for A(i, j). We say that \((D,A,\mathcal {A})\) is a nondiagonal triple if the following conditions hold:
-
(N1)
whenever (i, j) is in \(\mathcal {A}\), \(i\ne j\);
-
(N2)
whenever \((i,j),(i',j')\) are distinct elements of \(\mathcal {A}\), then the elements \(i,j,i',j'\) are pairwise distinct;
-
(N3)
if (i, j) is in \(\mathcal {A}\), then there is no arrow \(i\xrightarrow {k}j\);
-
(N4)
denoting by \((\lambda _1,\dotsc , \lambda _n)\) the diagonal elements of D, for every \(\mu \in \ker M_\Delta \),
$$\begin{aligned} \sum _i \lambda _i\mu _i=\biggl (1+ \sum _{(i,j)\in \mathcal {A}}A_j^i\biggr )\sum _i \mu _i+ \sum _{(i,j)\in \mathcal {A}}A_j^i (\mu _j-\mu _i); \end{aligned}$$ -
(N5)
\(\lambda _1+\dotsc + \lambda _n=\lambda _i-\lambda _j\) whenever \((i,j)\in \mathcal {A}\);
-
(N6)
D takes the form
$$\begin{aligned} D=\lambda _1 e^1\otimes e_1 + \dotsc + \lambda _n e^n\otimes e_n + \sum _{(i,j)\in \mathcal {A}}a_{ji}e^i\otimes e_{j}, \end{aligned}$$where \(a_{ji}^2=\left| 2A_j^i{{\,\textrm{tr}\,}}D\right| \ne 0\) and \((\lambda _1,\dotsc ,\lambda _n)\) is in \(\ker M_\Delta \).
Remark 3.5
Conditions (N4) and (N5) always determine the \(\lambda _i\) completely, but not necessarily the \(A_j^i\). Indeed, let \(f_{ij}(\lambda )=\lambda _1+\dots + \lambda _n-(\lambda _i-\lambda _j)\) and let
be the space of diagonal derivations satisfying (N5). Then, for \(\lambda \) in V, imposing (N4) for any \(\mu \) in V yields \(n_5\) independent equations
thus completely determining \(\lambda \in \ker M_\Delta \).
On the other hand, consider \(W\subset \ker M_\Delta \) such that \(V\oplus W=\ker M_\Delta \). Imposing (N4) for \(\mu \) in W gives an equation of the form
The matrix of this linear system in the unknowns \(A_j^i\) has columns \(f_{ij}(\mu )\), where each generator \(\mu \) of W determines a row.
The rows are independent because W intersects V trivially. Hence, the system always admits a solution, which is unique precisely when \(\dim W=\left| \mathcal {A}\right| \), i.e.
This holds if and only if condition (N5) imposes exactly \(\left| \mathcal {A}\right| \) linearly independent equations.
Remark 3.6
Any Lie algebra admits a semisimple derivation N satisfying \({{\,\textrm{tr}\,}}Nf={{\,\textrm{tr}\,}}f\) for every derivation f, unique up to automorphisms, known as a Nikolayevsky derivation, or pre-Einstein derivation; it is known that for Riemannian solutions of Eq. 1 one must have \(D=N\) up to multiples and automorphisms (see [21, Theorem 1]). If \(\mathcal {A}\) is empty, condition (N4) implies that D is the Nikolayevsky derivation. In general, however, the Nikolayevsky derivation will not satisfy (N5) (for instance, when its eigenvalues are positive, as is the case for Riemannian nilsolitons). In addition, D may only equal the Nikolayevsky derivation if the linear equations Eq. 9 are homogeneous. A nontrivial solution in A only exists if the columns \(f_{ij}(\mu )\) are linearly dependent, i.e. \(\left| \mathcal {A}\right| >\dim W\), which means that the equations of condition (N5) are linearly dependent. In this paper we will focus on Lie algebras of dimension \(\le 5\), for which the Nikolayevsky derivation has positive eigenvalues, and those of higher dimension for which the equations of condition (N5) are independent. Therefore, none of the metrics we construct have \(D=N\) up to a multiple.
In the next theorem, we restate the construction of Lemma 3.1 using nice diagrams and nondiagonal triples. We will use the notation [x] to represent the vector all of whose entries equal x in \(\mathbb {R}^n\), where n is to be deduced from the context.
Theorem 3.7
Let \(\Delta \) be a nice diagram. Let \((\mathcal {A},D,A)\) be a nondiagonal triple. Let X be a vector such that
Suppose \(\epsilon \in \{\pm 1\}^n\) satisfies
Suppose \(\mathfrak {g}\) is a nice Lie algebra with diagram \(\Delta \) such that the structure constants satisfy \(c_I^2=\left| x_I\right| \) and D is a derivation. Then the diagonal metric \(\epsilon ^\textrm{D}\) satisfies Eq. 3.
Proof
The hypotheses of Lemma 3.1 are satisfied. Thus, the Ricci operator is diagonal and Eq. 3 is equivalent to
By Proposition 2.3, we must solve
Taking log signs, this boils down to
\(\square \)
Every metric obtained with Theorem 3.7 determines a standard Einstein solvmanifold which is not of pseudo-Iwasawa type by applying Theorem 2.1. We will illustrate this concretely in one example.
Example 3.8
Consider the diagram with four nodes and arrows \(1\xrightarrow {2}3, 1\xrightarrow {3}4\). Then we have a nondiagonal triple given by
A solution of Eq. 10 is given by
giving rise to the Lie algebra
It is easy to check that D is always a derivation. We have two choices of \(\epsilon \) that satisfy the conditions of Theorem 3.7, namely
The resulting 5-dimensional solvable Lie algebra is
It will be convenient to give the following definition. Given a nondiagonal triple \((\mathcal {A}, A,D)\), a nondiagonal solution is a pair \((\{c_I\},\epsilon )\) such that the conditions of Theorem 3.7 hold for some X. Notice that X is uniquely determined by the data.
A nondiagonal solution determines an Einstein solvmanifold applying Theorem 3.7 and Theorem 2.1. We conclude this section by discussing when two Einstein solvmanifolds obtained in this way should be regarded as equivalent.
In general, identifying whether two solvmanifolds are isometric as pseudo-Riemannian manifolds is a difficult problem. There is a straightforward sufficient condition that one can test, as explained in [1, Theorem 5.6], [9, Proposition 1.1]. The observation is that if D is replaced with a different derivation \(D'\) that commutes with D and such that \(D-D'\) is skew-symmetric relative to the metric, the resulting extensions \(\mathfrak {g}\rtimes _{D'}\mathbb {R}\) and \(\mathfrak {g}\rtimes _D \mathbb {R}\) lead to isometric pseudo-Riemannian manifolds. However, no two metrics obtained from Theorem 3.7 can be related in this way. Indeed, fix two nondiagonal triples \((\mathcal {A},A,D)\), \((\mathcal {A}',A',D')\). The form of the metric implies that the space of skew-symmetric endomorphisms is spanned by
The only possibility in order to have a pair (j, i) such that both (i, j) and (j, i) are nonzero entries of \(D-D'\) is if \((i,j)\in \mathcal {A}\) and \((j,i)\in \mathcal {A}'\) or viceversa. On the other hand, \(e^i\otimes e_j-\epsilon _i\epsilon _j e^j\otimes e_i\) will not commute with D in this case, because \(\lambda _i-\lambda _j={{\,\textrm{tr}\,}}D\ne 0\).
A finer notion of equivalence we can consider is identifying two extensions \(\mathfrak {g}\rtimes _D\mathbb {R}\) and \(\mathfrak {g}'\rtimes _{D'}\mathbb {R}\) if they are related by a Lie algebra isomorphism which is also an isometry. We observe that since in the construction \({{\,\textrm{tr}\,}}D\ne 0\), \(\mathfrak {g}\) is the nilradical of \(\mathfrak {g}\rtimes _D\mathbb {R}\). Therefore, an isomorphism \(\mathfrak {g}\rtimes _D\mathbb {R}\rightarrow \mathfrak {g}'\rtimes _{D'}\mathbb {R}\) would induce an isomorphism of the nilradicals \(\mathfrak {g}\) and \(\mathfrak {g}'\). Since the nilradicals are nice Lie algebras, we consider two nondiagonal solutions equivalent if denoting by \(\mathfrak {g}\) the nice Lie algebra determined by \(\Delta \), \(\{c_I\}\) and g the metric defined by \(\epsilon \), with \(\mathfrak {g}',g'\) defined similarly, there is an equivalence of nice Lie algebras \(\mathfrak {g}\rightarrow \mathfrak {g}'\) that maps g to \(g'\) and D to \(D'\).
Lemma 3.9
Given nice diagrams \(\Delta \), \(\Delta '\), nondiagonal triples \((\mathcal {A}, A,D)\), \((\mathcal {A}', A',D')\), and nondiagonal solutions \((\{c_I\},\epsilon )\), \((\{c'_I\},\epsilon ')\), the nondiagonal solutions are equivalent if and only if there is an isomorphism of nice diagrams \(f:\Delta \rightarrow \Delta '\) and \(\delta \in \{\pm 1\}^n\) such that
Proof
Since the nice bases are assumed to be orthonormal, the isomorphism is essentially obtained by a permutation of the indices \(\{1,\dotsc , n\}\), which corresponds to an isomorphism of the diagrams, preceded by sign flips.\(\square \)
If we fix \(\Delta \), \((\delta ,f)\) as in Lemma 3.9 is an element of the group \(\mathbb {Z}_2^n\rtimes {{\,\textrm{Aut}\,}}(\Delta )\), acting on the set of nondiagonal triples. Equivalence of nondiagonal triples amounts to being in the same orbit for this action.
4 Algorithm, Implementation and Results
The discussion of Section 3 leads naturally to an algorithm to classify nondiagonal solutions up to equivalence, which we give explicitly in Algorithm 1. The algorithm reflects the construction in a straightforward way; the only subtlety is that for efficiency the quotient under the action of \(\mathbb {Z}_2^n\rtimes {{\,\textrm{Aut}\,}}(\Delta )\) is taken in two steps: in the outer iteration through the possible index sets \(\mathcal {A}\), only one index set is taken in each orbit for the natural action of \({{\,\textrm{Aut}\,}}(\Delta )\), and at the end of the iteration, the resulting nondiagonal triples are factored by the action of \(\mathbb {Z}_2^n\rtimes ({{\,\textrm{Aut}\,}}\Delta )^{\mathcal {A}}\), where \(({{\,\textrm{Aut}\,}}\Delta )^{\mathcal {A}}\) indicates the stabilizer of \({\mathcal {A}}\).
Example 4.1
Consider the nice diagram \(\Delta \) with 5 nodes and arrows \(1\xrightarrow {2}3\), \(1\xrightarrow {2}4\), \(1\xrightarrow {3}5\) (see Fig. 1). The only nontrivial automorphism of \(\Delta \) is the involution \((1\,2)(4\,5)\). The sets \(\mathcal {A}\) that satisfy (N1)–(N3) are reduced using the automorphism of \(\Delta \), so (1, 2) is in the same orbit as (2, 1); similarly, (5, 3) is in the same orbit as (4, 3). Since \(D=d_{ij}e_i\otimes e^j\) in the nondiagonal triple \((\mathcal {A}, A,D)\) is a derivation of a Lie algebra \(\mathfrak {g}\) with diagram \(\Delta \), and since the generic derivation of the Lie algebra \((0,0,c_{123} e^{12},c_{134} e^{13}, c_{235} e^{23})\) is given by
the elements of D in position (2, 1) and (5, 4) are simultaneously zero or nonzero, and similarly for: (1, 2) and (4, 5); (3, 2) and (4, 3); (3, 1) and (5, 3). In addition, \(d_{42}\) and \(d_{51}\) are allowed to be nonzero; the remaining nondiagonal elements vanish. Taking all into account, the following are the allowed \(\mathcal {A}\) up to the action of \({{\,\textrm{Aut}\,}}(\Delta )\):
We see that
so \(\ker M_{\Delta }=\{(\lambda _3-\lambda _2,\lambda _2,\lambda _3,2\lambda _3-\lambda _2,\lambda _2+\lambda _3) \;|\;\lambda _2,\lambda _3\in \mathbb {R}\}\). Conditions (N4)–(N5) give the following constraints for each case:
- Case:
-
\(\mathcal {A}_1=\{(1,5)\}.\)
$${\left\{ \begin{array}{ll} 2 \lambda _2+5 A_5^1+5=7 \lambda _3\\ 2 \lambda _2=\lambda _3+A_5^1\\ 5 \lambda _3=-2 \lambda _2 \end{array}\right. },$$with solution \(A_5^1=-\frac{5}{7}\), \(\lambda _3=\frac{5}{42}\) and \(\lambda _2=-\frac{25}{84}\). Equation 10 gives
$$\begin{aligned} X={\left( \frac{25}{63},\frac{25}{84},\frac{25}{84},\right) }; \end{aligned}$$solving \(c_{ijk}^2=\left| x_{ijk}\right| \) we get
$$\begin{aligned} c_{123}=\frac{5}{3 \sqrt{7}},\quad c_{134}=\frac{5}{2 \sqrt{21}},\quad c_{235}=\frac{5}{2 \sqrt{21}}; \end{aligned}$$and by \(a^2_{ij}=\left| 2A_j^i{{\,\textrm{tr}\,}}D\right| \) we obtain
$$\begin{aligned} a_{51}=\pm \frac{5}{7} \sqrt{\frac{5}{3}}. \end{aligned}$$However, \(M_{\Delta ,2}({{\,\textrm{logsign}\,}}\epsilon )={{\,\textrm{logsign}\,}}X\) gives \(\epsilon _1\epsilon _2\epsilon _3=+1=\epsilon _2\epsilon _3\epsilon _5\), thus
$$\begin{aligned} \epsilon _1=\epsilon _1\epsilon _2\epsilon _3\epsilon _5=\epsilon _5, \end{aligned}$$but \(\epsilon _i/\epsilon _j = {{\,\textrm{sign}\,}}(A_j^i{{\,\textrm{tr}\,}}D)\) gives \(\epsilon _1\epsilon _5=-1\), which is impossible.
- Case:
-
\(\mathcal {A}_2=\{(1,5),(2,4)\}.\)
$${\left\{ \begin{array}{ll} 2 \lambda _2+7 A_4^2+5 A_5^1+5=7 \lambda _3\\ 2 \lambda _2+A_4^2=\lambda _3+A_5^1\\ 5 \lambda _3=-2 \lambda _2\\ 2 \lambda _2=7 \lambda _3 \end{array}\right. }, $$with solution \(A_5^1=-\frac{5}{12}\), \(A_4^2=-\frac{5}{12}\), \(\lambda _3=0\) and \(\lambda _2=0\). This does not give a nondiagonal triple because \({{\,\textrm{tr}\,}}D\) is zero.
- Case:
-
\(\mathcal {A}_3=\{(1,2),(4,5)\}.\)
$$ {\left\{ \begin{array}{ll} 2 \lambda _2+4 A_2^1+4 A_5^4+5=7 \lambda _3\\ 2 \lambda _3+2A_2^1+2A_5^4=4\lambda _2\\ \lambda _2+2 \lambda _3=0 \end{array}\right. }, $$with solution \(A_2^1=-A_5^4-\frac{25}{31}\), \(\lambda _3=\frac{5}{31}\) and \(\lambda _2=-\frac{10}{31}\). Equation 10 gives
$$\begin{aligned} X={\left( \frac{100}{961},x_{134},\frac{150}{961}-x_{134}\right) },\quad A_2^1=-\frac{31}{50} x_{134}-\frac{11}{31},\quad A_5^4=\frac{31}{50} x_{134}-\frac{14}{31}; \end{aligned}$$solving \(c_{ijk}^2=\left| x_{ijk}\right| \) we get
$$\begin{aligned} c_{123}=\frac{10}{31},\qquad c_{134}=\sqrt{\left| x_{134}\right| },\qquad c_{235}=\sqrt{\left| \frac{150}{961}-x_{134}\right| }; \end{aligned}$$and by \(a^2_{ij}=\left| 2A_j^i{{\,\textrm{tr}\,}}D\right| \) we obtain
$$\begin{aligned} a_{21}=\pm 5 \sqrt{\frac{2}{31} \left| A_2^1\right| },\qquad a_{54}=\pm 5 \sqrt{\frac{2}{31}\left| -A_2^1-\frac{25}{31}\right| }. \end{aligned}$$Since D is a derivation, we obtain \(a_{54}c_{134}=c_{234}a_{21}\). Taking the square and substituting the previous equation we get the following
$$\begin{aligned} \left| x_{134}\right| \left| \frac{31 }{50}x_{134}-\frac{14}{31}\right| =\left| \frac{150}{961}-x_{134}\right| \left| -\frac{31}{50}x_{134}-\frac{11}{31}\right| , \end{aligned}$$which gives three solutions for \(x_{134}\), namely \(\frac{75}{961}, \frac{25}{961} \left( 3-5 \sqrt{3}\right) \) and \(\frac{25}{961} \left( 5 \sqrt{3}+3\right) \). However, \(M_{\Delta ,2}({{\,\textrm{logsign}\,}}\epsilon )={{\,\textrm{logsign}\,}}X\) and \(\epsilon _i/\epsilon _j = {{\,\textrm{sign}\,}}(A_j^i{{\,\textrm{tr}\,}}D)\) have solutions only for \(x_{134}=\frac{75}{961}\), hence we get
$$\begin{aligned} x_{134}=\frac{75}{961},\quad A_2^1=-\frac{25}{62},\quad A_5^4=-\frac{25}{62},\quad a_{21}= \pm \frac{25}{31},\quad a_{54}=\pm \frac{25}{31}, \end{aligned}$$and the metrics are
$$\begin{aligned} \begin{gathered} -e^1\otimes e^1+e^2\otimes e^2-e^3\otimes e^3+e^4\otimes e^4-e^5\otimes e^5,\\ e^1\otimes e^1-e^2\otimes e^2-e^3\otimes e^3-e^4\otimes e^4+e^5\otimes e^5. \end{gathered} \end{aligned}$$(11)Finally, we observe that changing the sign of \(e_1,e_3\) and \(e_5\) amounts to switching the sign of \(a_{12}\) and \(a_{45}\), and by Lemma 3.9 we only need to consider the case \(a_{21}>0\).
So we conclude that up to equivalence the only solution is given by the Lie algebra \((0,0,\frac{10}{31}e^{12},\frac{5 \sqrt{3}}{31}e^{13},\frac{5 \sqrt{3}}{31}e^{23})\) with metrics Eq. 11 and derivation
Applying Algorithm 1 poses several problems. We illustrate the issues and how we addressed them in our implementation (https://github.com/diego-conti/jormungandr), based on the \(\textrm{C}\,{++}\) library GiNaC [2].
-
1.
At line 2 of Algorithm 1, a classification of nice diagrams up to automorphisms is needed. An algorithm to this effect was introduced in [5] and implemented in (https://github.com/diego-conti/DEMONbLAST); thus, we resorted to the same code.
-
2.
For a fixed nice diagram, the set of possible \(\mathcal {A}\) is generally quite large; however, as observed in Example 4.1, at line 2 it is not necessary to consider all possible \(\mathcal {A}\), but only those such that for some nice Lie algebra with diagram \(\Delta \) there exist derivations whose nondiagonal entries are exactly parameterized by \(\mathcal {A}\). In general, the nice diagram does not determine the nice Lie algebra uniquely; however, it is always possible to write down a linear space that contains the space of derivations of all Lie algebras with a given nice diagram. This optimization also has the effect of eliminating nice diagrams which are not associated to any nice Lie algebra.
-
3.
At lines 4–5, computing \(\lambda _1,\dotsc , \lambda _n\), A and X are linear computations. These may result in solutions depending on parameters: as observed in Remark 3.5, if (N5) does not determine \(\lambda _1,\dotsc , \lambda _n\), then the \(A_j^i\) are not uniquely determined. Additionally, it may be the case that Eq. 10 does not determine X if \(\hspace{.2mm}^{t\hspace{-.5mm}}{}{M}_\Delta \) is not injective, i.e. the root matrix \(M_\Delta \) is not surjective.
-
4.
At line 6, nonlinear computations take place: X determines the structure constants, but square roots appear in the expression. Simple equations such as those of Example 4.1, case \(\mathcal {A}_3\) can be solved automatically by rationalizing and solving a second degree equation in one variable, and we implemented this in (https://github.com/diego-conti/jormungandr), but this becomes hopeless as free parameters increase or when equations contain the sum of three square roots.
-
5.
At line 9, we need to extract a section. For this, we used the explicit form of the group action given in Lemma 3.9 and a simple scheme where the set L is progressively reduced by an iteration that eliminates elements that are in the orbit of preceding elements.
For the reasons outlined above, in dimension 6 and higher, our software is not able to solve all cases. With this in mind, we have restricted our classifications to \(n\le 5\), and \(6\le n\le 9\) with surjective root matrix and \(\mathcal {A}\) chosen so that (N5) consists of \(\left| \mathcal {A}\right| \) independent equations. Notice that in dimension 5 the root matrix is automatically surjective. The resulting solutions of Eq. 3, each giving rise to an Einstein solvmanifold in one dimension higher, are given in Tables 1, 2, A, B, C and D (see the ancillary files). Each table row contains a Lie algebra \(\mathfrak {g}\), a derivation D, and then the list of compatible metrics. The derivation D is expressed as a sum \(v+\sum a_{ij}e^i\otimes e_j\), where v is a vector representing the diagonal derivation \(v^\textrm{D}\). Since the nice basis is orthonormal, the metric is specified by giving the indices of the timelike vectors in the basis; thus, for instance, 12 represents the metric \({{\,\textrm{diag}\,}}(-1,-1,1,\dotsc , 1)\). The set of admissible signatures is denoted by \(\textbf{S}\). We obtain:
Theorem 4.2
Every solution of Eq. 3 arising from a nondiagonal triple on a nice diagram with \(n\le 5\) is equivalent to exactly one entry in Tables 1 or 2.
Theorem 4.3
Every solution of Eq. 3 arising from a nondiagonal triple on a nice diagram with \(6\le n\le 9\), a surjective root matrix and \(\mathcal {A}\) chosen so that (N5) consists of \(\left| \mathcal {A}\right| \) independent equations is equivalent to exactly one entry in Tables A, B, C, D (see ancillary files).
In order to show that the construction of this paper yields new metrics, we compare the Einstein solvmanifolds we obtain to the known Einstein metrics of pseudo-Iwasawa type. Specifically, we compare with the Einstein solvmanifolds obtained by extending a nilsoliton of dimension \(\le 4\) that admits an orthonormal nice basis.
Proposition 4.4
The Einstein solvmanifolds obtained from the metrics of Table 1 are not isometric to any pseudo-Iwasawa Einstein solvmanifolds obtained by extending a nilsoliton admitting a nice orthonormal basis.
Proof
Diagonal nilsoliton metrics on irreducible nice Lie algebras of dimension 3 and 4 are classified in [8]. Using the same methods, the classification can be extended to include the reducible nice Lie algebra \((0,0,0,e^{12})\). For each nilsoliton obtained in this way, we can write down explicitly the resulting Einstein solvmanifold \(\tilde{\mathfrak {g}}\) and compute the curvature tensor. The metric is determined only up to a multiple; we will fix a normalization, so the statement must be proved up to isometry and rescaling.
By raising an index, we view the curvature tensor as an element of \(\Lambda ^2\tilde{\mathfrak {g}}^*\otimes \tilde{\mathfrak {g}}\otimes \tilde{\mathfrak {g}}\) rather than \(\Lambda ^2\tilde{\mathfrak {g}}^*\otimes \tilde{\mathfrak {g}}^*\otimes \tilde{\mathfrak {g}}\), obtaining an endomorphism \(R:\Lambda ^2\tilde{\mathfrak {g}}\rightarrow \Lambda ^2\tilde{\mathfrak {g}}\). We use the conjugacy class of R as an invariant. More precisely, we determine the characteristic polynomial and whether R is diagonalizable; notice that R is symmetric relative to the scalar product induced by \(\tilde{g}\) on \(\Lambda ^2\tilde{\mathfrak {g}}\), but the latter is not definite, so the spectral theorem does not apply. It turns out that the trace of R is nonzero in each case; in order to account for rescalings, we consider the characteristic polynomial of the normalized operator \(\tilde{R} =\frac{1}{{{\,\textrm{tr}\,}}R} R\).
We illustrate the computation comparing the metrics obtained by extending the Heisenberg Lie algebra. Extending the diagonal nilsoliton metric, we obtain the Lie algebra \((\frac{1}{6} \sqrt{3} e^{14},\frac{1}{6} \sqrt{3} e^{24},\frac{1}{3} \sqrt{3} e^{12}+\frac{1}{3} \sqrt{3} e^{34},0)\) with metric \(e^{1}\otimes e^1-e^2\otimes e^2-e^3\otimes e^3+e^4\otimes e^4\); the Riemann operator \(R:\Lambda ^2\rightarrow \Lambda ^2\) in the basis \(\{e^{12},e^{13},e^{14},e^{23},e^{24},e^{34}\}\) is given by the matrix
which is diagonalizable. On the other hand, the extension of the Heisenberg Lie algebra corresponding to the first entry of Table 1 yields the Einstein Lie algebra \((\frac{6}{7} e^{14},\frac{8}{7} e^{14}-\frac{2}{7} e^{24},\frac{4}{7} e^{12}+\frac{4}{7} e^{34})\) with metric \(e^{1}\otimes e^1-e^2\otimes e^2-e^3\otimes e^3+e^4\otimes e^4\); the Riemann operator R is then given by the matrix
which is not diagonalizable. Thus, the metrics are not isometric. Notice that the characteristic polynomial is not sufficient to distinguish these two particular metrics, since in both cases one obtains \(\det (\lambda {\text {Id}}-\tilde{R})=\lambda ^6-\lambda ^5+\frac{\lambda ^4}{3}-\frac{5 \lambda ^3}{108}+\frac{\lambda ^2}{432}\).
To compare the rest of the metrics, we use both diagonalizability and the characteristic polynomial of \(\tilde{R}\), which due to the normalization takes the form \(\lambda ^N-\lambda ^{N-1}+a_2\lambda ^{N-2}+\dots \). It turns out that the coefficient \(a_2\) is sufficient to distinguish metrics obtained from diagonal nilsolitons from those obtained by nondiagonal triples.
In Table 3, we list Einstein solvmanifolds obtained by extending a diagonal nice nilsoliton, the signature and the corresponding value of \(a_2\); a check mark \(\checkmark \) in the last column indicates that R is diagonalizable over \(\mathbb {C}\). We do not include positive-definite metrics, since the purpose is a comparison with the metrics obtained from Table 1, which are indefinite by design. Table 4 contains analogous data, starting with the metrics of Table 1.
In both tables, only one entry is given up to equivalence in the sense of Lemma 3.9. Notice that when more than one signature arises, the signatures are related by an element of \(\ker M_{\Delta ,2}\). The corresponding metrics are then related by a so-called Wick rotation, so it is not surprising that the Riemann tensor is the same ([8, 13]). Metrics related in this way appear in the same row in the table.
Since \(a_2\) is an invariant up to isometry and rescaling, the statement follows by comparing the rows of the two tables. \(\square \)
Remark 4.5
In the Riemannian case, an Einstein solvmanifold is determined by the nilradical: two Einstein solvmanifolds with isomorphic nilradicals are isometric (see [12, 19]). In the indefinite case this is not true: indeed, there exist nilpotent Lie algebras with two nonisometric nilsoliton metrics, and this implies that the corresponding Einstein standard extensions are nonisometric (see [7, Remark 2.6]).
The construction of this paper shows in addition that even if one fixes the metric on the nilradical, the standard Einstein extension is not unique. For instance, consider the two extensions of the Heisenberg Lie algebra given explicitly in the proof of Proposition 4.4. The metrics induced on the nilradical are diagonal metrics on the Heisenberg Lie algebra, so they coincide up to a change of basis and rescaling. However, the extensions are not isometric.
Moreover, we easily see that the pseudo-Iwasawa extension is isomorphic to \(M^{12}\) of [11], whilst the other is isomorphic to \(M^{13}_{\frac{3}{4}}\): thus, they are neither isometric nor isomorphic.
References
Azencott, R., Wilson, E.N.: Homogeneous manifolds with negative curvature. II. Vol. 8. Mem. Am. Math. Soc. 178. Providence, RI: American Mathematical Society (AMS) (1976). https://doi.org/10.1090/memo/0178. ISBN: 978-0-8218-2178-7; 978-1-4704-0825–1
Bauer, C., Frink, A., Kreckel, R.: Introduction to the GiNaC framework for symbolic computation within the \({\rm C}^{++}\) programming language. In: J. Symbolic Comput. 33(1), 1–12 (2002). https://doi.org/10.1006/jsco.2001.0494. ISSN: 0747-7171,1095-855X
Böhm, C., Lafuente, R.A.: Homogeneous Einstein metrics on Euclidean spaces are Einstein solvmanifolds. Geom. Topol. 26(2), 899–936 (2022). https://doi.org/10.2140/gt.2022.26.899. ISSN: 1465-3060
Böhm, C., Lafuente, R.A.: Non-compact Einstein manifolds with symmetry. J. Amer. Math. Soc. 36(3), 591–651 (2023). https://doi.org/10.1090/jams/1022. ISSN: 0894-0347,1088-6834
Conti, D., Rossi, F.A.: Construction of nice nilpotent Lie groups. J. Algebra 525, 311–340 (2019). https://doi.org/10.1016/j.jalgebra.2019.01.020. ISSN: 0021-8693,1090-266X
Conti, D., Rossi, F.A.: Indefinite Einstein metrics on nice Lie groups. Forum Math. 32(6), 1599–1619 (2020). https://doi.org/10.1515/forum-2020-0049. ISSN: 0933-7741,1435-5337
Conti, D., Rossi, F.A.: Indefinite nilsolitons and Einstein solvmanifolds. J. Geom. Anal. 32(3), 34 (2022). https://doi.org/10.1007/s12220-021-00850-7. Id/No 88, issn: 1050- 6926,1559-002X
Conti, D., Rossi, F.A.: Nice pseudo-Riemannian nilsolitons. J. Geom. Phys. 173, 20 (2022). https://doi.org/10.1016/j.geomphys.2021.104433. Id/No 104433, ISSN: 0393-0440, 1879-1662
Conti, D., Rossi, F.A., Segnan Dalmasso, R.: Pseudo-Kähler and pseudo-Sasaki structures on Einstein solvmanifolds. Ann. Global Anal. Geom. 63(3), 26 (2023). https://doi.org/10.1007/s10455-023-09894-0. Id/No 25, ISSN: 0232-704X,1572-9060
Conti, D., Rossi, F.A., Segnan Dalmasso, R.: Pseudo-Riemannian Sasaki solvmanifolds. J. Korean Math. Soc. 60(1), 115–141 (2023). https://doi.org/10.4134/JKMS.j220232. ISSN: 0304-9914,2234-3008
de Graaf, W.A.: Classification of solvable Lie algebras. Experiment. Math. 14(1), 15–25 (2005). http://projecteuclid.org/euclid.em/1120145567. ISSN: 1058-6458,1944-950X
Heber, J.: Noncompact homogeneous Einstein spaces. Invent. Math. 133(2), 279–352 (1998). https://doi.org/10.1007/s002220050247. ISSN: 0020-9910,1432-1297
Helleland, C.: Wick-rotations of pseudo-Riemannian Lie groups. J. Geom. Phys. 158, 103902, 17 (2020). https://doi.org/10.1016/j.geomphys.2020.103902. ISSN: 0393-0440,1879-1662
Jablonski, M.: Homogeneous Ricci solitons are algebraic. Geom. Topol. 18(4), 2477–2486 (2014). https://doi.org/10.2140/gt.2014.18.2477. ISSN: 1465-3060, 1364-0380
Jablonski, M.: Strongly solvable spaces. Duke Math. J. 164(2), 361–402 (2015). https://doi.org/10.1215/00127094-2861277. ISSN: 0012-7094
Jablonski, M., Petersen, P.: A step towards the Alekseevskii conjecture. Math. Ann. 368(1–2), 197–212 (2017). https://doi.org/10.1007/s00208-016-1429-7. ISSN: 0025-5831
Lafuente, R.A., Lauret, J.: Structure of homogeneous Ricci solitons and the Alekseevskii conjecture. J. Differ. Geom. 98(2), 315–347 (2014). https://doi.org/10.4310/jdg/1406552252. ISSN: 0022-040X
Lauret, J.: Einstein solvmanifolds are standard. Ann. of Math. (2) 172(3), 1859–1877 (2010). https://doi.org/10.4007/annals.2010.172.1859. ISSN: 0003-486X,1939-8980
Lauret, J.: Ricci soliton homogeneous nilmanifolds. Math. Ann. 319(4), 715–733 (2001). https://doi.org/10.1007/PL00004456. ISSN: 0025-5831,1432-1807
Lauret, J., Will, C.: Einstein solvmanifolds: existence and non-existence questions. Math. Ann. 350(1), 199–225 (2011). https://doi.org/10.1007/s00208-010-0552-0. ISSN: 0025-5831,1432-1807
Nikolayevsky, Y.: Einstein solvmanifolds and the pre-Einstein derivation. Trans. Amer. Math. Soc. 363(8), 3935–3958 (2011). https://doi.org/10.1090/S0002-9947-2011-05045-2. ISSN: 0002-9947,1088-6850
Salamon, S.M.: Complex structures on nilpotent Lie algebras. J. Pure Appl. Algebra 157(2–3), 311–333 (2001). https://doi.org/10.1016/S0022-4049(00)00033-5. ISSN: 0022-4049, 1873-1376
Acknowledgements
The authors acknowledge GNSAGA of INdAM and the PRIN project n. 2022MWPMAB “Interactions between Geometric Structures and Function Theories”. D. Conti acknowledges the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Pisa, CUP I57G22000700001. F.A. Rossi acknowledges the INdAM-GNSAGA project CUP E55F22000270001 “Curve algebriche e loro applicazioni”.
Funding
Open access funding provided by Università degli Studi di Perugia within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
The authors have no conflict of interest to declare that are relevant to this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Below is the link to the electronic supplementary material.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Conti, D., Rossi, F.A. & Segnan Dalmasso, R. A Construction of Einstein Solvmanifolds not Based on Nilsolitons. Transformation Groups (2024). https://doi.org/10.1007/s00031-024-09864-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00031-024-09864-1