Abstract
We prove the existence of four-dimensional compact manifolds admitting some non-Einstein Lorentzian metrics, which are critical points for all quadratic curvature functionals. For this purpose, we consider left-invariant semi-direct extensions \(G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}}S)\) of the Heisenberg Lie group H, for any \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\), equipped with a family \(g_a\) of left-invariant metrics. After showing the existence of lattices in all these four-dimensional solvable Lie groups, we completely determine when \(g_a\) is a critical point for some quadratic curvature functionals. In particular, some four-dimensional solvmanifolds raising from these solvable Lie groups admit non-Einstein Lorentzian metrics, which are critical for all quadratic curvature functionals.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(M^n\) denote a closed oriented manifold and \(\mathcal M_1\) the space of Riemannian metrics of volume one on M. A well known problem consists in determining within \(\mathcal M_1\) the critical points for a given curvature functional.
Let \(R,\varrho ,\tau \) respectively denote the Riemann curvature tensor, the Ricci tensor and the scalar curvature of a given metric g. The Euler-Lagrange equations associated to the Einstein-Hilbert functional \(g \mapsto \int _M \tau d vol g\) are given by \(\varrho = \lambda g\), for some real constant \(\lambda \), so that critical metrics on \(\mathcal M_1\) for the Einstein-Hilbert functional coincide with the Einstein ones.
The next natural step is to consider functionals defined by scalar quadratic curvature invariants. In Riemannian settings this topic started in [1], has been intensively studied and is a very active field of research (see for example [4, 10, 12, 17,18,19,20,21,22, 27, 28, 30] and references therein). We report here some essential information on the study of quadratic curvature invariants, referring to [10] and [30] for excellent surveys on the topic. A basis for the space of quadratic curvature invariants is given by \(\{\Delta \tau , \tau ^2, ||\varrho ||^2, ||R||^2\}\) so that, correspondingly, an arbitrary quadratic curvature functional has the form
for some real constants a, b, c. In this general framework, the four-dimensional case carries some special features and interest, as these functionals also arise naturally in some gravitational field theories (see for example [11]). When \(\dim M=4\), the Gauss-Bonnet Theorem yields
Consequently, in dimension four, all quadratic curvature functionals are equivalent to
As already observed in [2], Einstein metrics are critical for \(\mathcal F_t\) on \(\mathcal M_1\) for every \(t \in \mathbb R\). In general, critical metrics for quadratic curvature functionals need not be Einstein. For example, Bach-flat metrics are critical points for \(\mathcal F _{-1/3}\), and Weyl metrics of vanishing scalar curvature are critical points for \(\mathcal F _{-1/4}\) (and for \(\mathcal S\)). Moreover, it may be observed that although this problem has been extensively studied for Riemannian metrics, its formulation is also possible in different signatures, and it leads to the same Euler-Lagrange equations. These remarks lead naturally to the following questions:
-
(1)
Do there exist conditions under which a critical metric for \(\mathcal F_t\) is necessarily Einstein?
-
(2)
Do there exist non-Einstein critical metrics for all quadratic curvature functionals?
-
(3)
What happens considering metrics of different signatures?
The first two of the above questions have been studied by several authors. In particular, suitable curvature conditions forcing critical metrics to be Einstein were found in [10]. A positive answer to the second of the above questions was obtained in [4]: there exist four-dimensional Riemannian metrics which are critical for all quadratic curvature invariants but are not Einstein. The examples investigated in [4] are non-flat cones \(R^+ \times _r N\), where N is a three-dimensional Einstein manifold of constant sectional curvature \(-3\). We may observe that by their own construction, these examples are not compact.
On the other hand, up to our knowledge, the third question is just starting to attract the interest of researchers (see for example [5]) and has not been extensively investigated yet. The aim of this paper is to contribute to this general topic, with particular regard to the third of the above questions, proving that some compact four-dimensional manifolds admit non-Einstein Lorentzian metrics, which are critical points for all quadratic curvature functionals. These compact manifolds naturally arise as solvmanifolds, i.e., compact quotients of solvable Lie groups with respect to some lattices.
Following [26], where semi-direct extensions of the Heisenberg group (of arbitrary dimension) were introduced, let H denote the three-dimensional Heisenberg group and \({\mathfrak {h}}=\) span\(\{X,Y,U\}\) its Lie algebra, with \([X,Y]=U\).
Each matrix \(\mathcal S\) belonging to the Lie algebra \({\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\) of the symplectic group \(Sp(1,\mathbb R)\) on \(\mathbb R ^2\), defines a derivation S of \({\mathfrak {h}}\), given by
and so, a corresponding one-dimensional semi-direct extension \({\mathfrak {g}}={\mathfrak {h}}\rtimes ({\mathbb {R}} S)\) of \({\mathfrak {h}}\).
We denote by \(G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}} S)\) the connected, simply connected Lie group corresponding to \({\mathfrak {h}}\rtimes ({\mathbb {R}} S)\).
It is easy to check that \(\mathcal S\in {\mathbb {R}}^{2,2}\) satisfies \(\mathcal S^t \circ J +J \circ \mathcal S=0\) if and only if
for some real constants \(\alpha ,\beta ,\gamma \) and the Lie algebra \({\mathfrak {h}}\rtimes ({\mathbb {R}} S)\)=span\(\{U,X,Y,S\}\) is completely described by the following brackets:
In particular, for
we find the well known oscillator algebra. The corresponding (four-dimensional) oscillator group [29] admits a bi-invariant metric \(g_0\), which has been generalized to a one-parameter family \(g_a\), \(a^2<1\), of left-invariant metrics. Setting \(U=e_1\), \(X=e_2\), \(Y=e_3\) and \(S=e_4\), this family of metrics is described by
Since its introduction in [16] as a generalization of previous examples studied in [24], this family of metrics has been intensively studied in different contexts (see for example [6, 8] and references therein). We remark that the above equations (1.3) define a metric for any real constant a satisfying \(a^2 \ne 1\). In particular, these metrics are Lorentzian if \(a^2 <1\) and Riemannian when \(a^2>1\).
Generalizing this example, one can consider \(G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}} S)\), equipped with an arbitrary left-invariant metric \(g_a\) of the form (1.3) (see [7, 9]).
In this paper we shall completely classify left-invariant metrics \(g_a\) on \(G_{\mathcal S}\), which are critical points for some quadratic curvature functionals. In particular, we will prove that whatever the form of the defining matrix \(\mathcal S\), the Lorentzian metric \(g_0\) is a critical point for all quadratic curvature functionals. We will also show that all Lie groups \(G_{\mathcal S}\) admit some lattices, that is, discrete co-compact subgroups, so that they give rise to solvmanifolds. As a consequence, we prove the existence of some non-Einstein Lorentzian critical metrics for all quadratic curvature invariants on some compact four-manifolds.
The paper is organized in the following way. In Sect. 2 we shall provide some basic information on Lie groups \(G_{\mathcal S}\) and their left-invariant metrics (1.3). In Sect. 3 we shall investigate the existence of lattices on all these solvable Lie groups. In Sect. 4 we shall consider the Euler-Lagrange equations for the quadratic curvature functionals and solve them for metrics of the form (1.3).
2 Preliminaries
Let \(G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}} S)\) denote the semi-direct extension of the three-dimensional Heisenberg group corresponding to an Hamiltonian matrix \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\). The following result holds (see [7] for more details).
Proposition 1
[7] Given \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\) described as in (1.1), the semi-direct extension \(G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}}S)\) of the Heisenberg group determined by \(\mathcal S\) can be realized as the following four-dimensional subgroup of \(\textrm{GL}(4,{\mathbb R})\):
where
and, depending on whether \(\Delta =-\det (\mathcal S)=\alpha ^2+\beta \gamma \) is positive, null or negative, we have:
Let \(\partial _{_j}:=\partial / \partial _{x_j}\) denote the coordinate vector field corresponding to the \(x_j\)-coordinate. Then, vector fields
determine a basis of left-invariant vector fields on \(G_{\mathcal S}\), with \((e_j)_I=(\partial _{x_j})_I\). Explicitly, we find
and so, setting \(U=e_1\), \(X=e_2\), \(Y=e_3\), \(S=e_4\), we see that the Lie algebra spanned by \(\{e_1,e_2,e_3,e_4 \}\) coincides with \({\mathfrak {g}}={\mathfrak {h}}\rtimes ({\mathbb {R}} S)\). Equations (1.3) describe the family of left-invariant metrics \(g_a, a^2 \ne 1\) on \({\mathfrak {g}}\) with respect to the basis \(\{e_1,e_2,e_3,e_4 \}\).
We observe that there is a natural distinction between the properties of the Lie algebra \({\mathfrak {g}}\), and the ones of the left-invariant metric \(g_a\) we are equipping \({\mathfrak {g}}\) with. At the Lie algebra level, \({\mathfrak {g}}={\mathfrak {h}}\rtimes ({\mathbb {R}} S)\) is uniquely determined up to isomorphisms, and different choices of \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\) can lead to isomorphic Lie algebras. On the other hand, the specific \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\) plays a fundamental role, via the Koszul formula, in determining the connection and curvature properties of \((G_S,g_a)\). We shall take advantage of this simple remark in the following sections.
3 Lattices on \(G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}} S)\)
It is easy to check that for any prescribed \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\), the corresponding four-dimensional Lie group \(G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}} S)\) is solvable. C. Bock [3] classified solvable Lie groups, up to dimension six, which admit some lattices. We shall now prove that any Lie group \(G_S\) appears in Bock’s classification and so, it gives rise to some solvmanifolds.
We start from the three-dimensional Heisenberg Lie algebra \({\mathfrak {h}}=\)span\(\{X,Y,U\}\), with \([X,Y]=U\). Following [7], we remark that for any real constants a, b, c, d such that \(ad-bc \ne 0\), if we consider the linearly independent vectors \({\tilde{X}} = a X+bY, {\tilde{Y}}= c X+d Y\) and we set \({\tilde{U}} =(ad-bc)U\), we have \([{\tilde{X}} ,{\tilde{Y}}]={\tilde{U}}\), so that the description of the Heisenberg Lie algebra \({\mathfrak {h}}\) is exactly the same with respect to both bases \(\{X,Y,U\}\) and \(\{{\tilde{X}} ,{\tilde{Y}} , {\tilde{U}} \}\).
Substitution of \(\{ X,Y \}\) by \(\{ {\tilde{X}} ,{\tilde{Y}} \}\) corresponds to substitute a given \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R )\) by a similar matrix \(\tilde{\mathcal S} \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R )\), and Lie algebras \({\mathfrak {h}}\rtimes ({\mathbb {R}} S)\) and \({\mathfrak {h}}\rtimes ({\mathbb {R}} {\tilde{S}})\) (whence, the corresponding simply connected Lie groups \(G_{\mathcal S}\) and \(G_{\tilde{\mathcal S}}\)) are isomorphic.
As \(\textrm{trace}(\mathcal S)=0\), the characteristic equation of \(\mathcal S\) is completely determined by \(\Delta =-\det (\mathcal S)\). It is then natural to consider separately three cases, depending on the sign of \(\Delta \). By standard linear algebra arguments one then concludes that for an arbitrary \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\), the corresponding one-dimensional extension \({\mathfrak {h}}\rtimes ({\mathbb {R}} S)\) is isomorphic to the Lie algebra \({\mathfrak {g}}=\,\, \)span\(\{e_1=\tilde{U} , e_2={\tilde{X}} ,e_3={\tilde{Y}} , e_4 = {\tilde{S}} \}\), completely described by \([e_2,e_3]= e_1\) and
Remark 1
The Lie algebra described in Case (C) corresponds to the oscillator group. Case (A) is known is literature as Boidol’s group or split oscillator group. Case (B) is nilpotent.
In case (A) we consider the new basis \(\{X_1,X_2,X_3,X_4\}\) of \({\mathfrak {g}}\), defined by
Then, with respect to \(\{X_1,X_2,X_3,X_4\}\), the Lie algebra \({\mathfrak {g}}\) is completely determined by brackets
which is exactly case \({\mathfrak {g}}_{4.8}^{-1}\) in Table A.1 of [3].
With regard to case (B), if \(\mu =0\) then we already have case \({\mathfrak {g}}_{3.1} \oplus {\mathfrak {g}}_1\) in Table A.1 of [3] (simply renaming \(e_i=X_i, i=1,..,4\)). If \(\mu >0\) we set
Then, with respect to \(\{X_1,X_2,X_3,X_4\}\), the Lie algebra \({\mathfrak {g}}\) is described by
which is case \({\mathfrak {g}}_{4.1}\) in Table A.1 of [3]. Finally, in case (C) we set
and the Lie algebra \({\mathfrak {g}}\) takes the form
which is case \({\mathfrak {g}}_{4.9}^{0}\) in Table A.1 of [3].
Thus, we have the following.
Proposition 2
For any \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\), the corresponding one-dimensional extension \({\mathfrak {g}}={\mathfrak {h}}\rtimes ({\mathbb {R}} S)\) of the Heisenberg Lie algebra \({\mathfrak {h}}\) admits some lattices and so, it gives rise to some solvmanifolds.
We now report some explicit examples of lattices and corresponding solvmanifolds for the connected, simply connected Lie groups corresponding to the Lie algebras described above with respect to bases of the form \(\{X_1,..,X_4\}\).
Case (A). Following [3], elements
satisfy \([\gamma _1,\gamma _2]=\gamma _3\) (with \(\gamma _3\) central) and generate a lattice \(\Gamma \) in the Heisenberg group H. Consider the one-parameter group \(\rho _A(t)(x,y,z)=\big (e^{-tt_1}x,e^{tt_1}y,z \big )\), with \(t_1=\ln (\frac{3+\sqrt{5}}{2})\). Then, the connected, simply connected Lie group corresponding to case (A) can be described as \(H \rtimes _{\rho _A} \mathbb R\). Since \(\rho _A(1)\) preserves \(\Gamma \), one obtains a lattice \(\Gamma \rtimes _{\rho _A} \mathbb Z\) and the corresponding solvmanifold \(H \rtimes _{\rho _A} \mathbb R / \Gamma \rtimes _{\rho _A} \mathbb Z\) for case (A).
Case (B)-1: \(\mu =0\) As shown in [3], the corresponding connected, simply connected Lie group can be described as \(\mathbb R < imes _{\rho _{B_0}} \mathbb R^3\), where
A lattice is then given by \(\mathbb Z < imes _{\rho _{B_0}} \mathbb Z^3\), giving rise to solvmanifold \(\mathbb R < imes _{\rho _{B_0}} \mathbb R^3 / \mathbb Z < imes _{\rho _{B_0}} \mathbb Z^3\) for case (B) with \(\mu =0\).
Case (B)-2: \(\mu >0\) In this case, again by [3], the connected, simply connected Lie group can be described as \(\mathbb R < imes _{\rho _B} \mathbb R^3\), where \(\rho _B\) is the one-parameter group
A lattice is given by \(\mathbb Z \rtimes _{\rho _B} \mathbb Z^3\), giving rise to solvmanifold \(\mathbb R < imes _{\rho _B} \mathbb R^3 / \mathbb Z < imes _{\rho _B} \mathbb Z^3\) for case (B) with \(\mu >0\).
Case (C). Following [13] and referring to the notations we used in Sect. 2, for the oscillator group \(G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}} S)\), where \(S=\left( {\begin{matrix} 0 &{} -1 \\ 1 &{} 0 \end{matrix}} \right) \), the set
defines a lattice for any \(r \in \mathbb N\), determining a corresponding solvmanifold \(H \rtimes \exp ({\mathbb {R}} S) / \Gamma _{r}\) for case (C).
Remark 2
The classification of lattices of a given solvable Lie group is a very interesting topic, which has been investigated by several authors. With regard to the Lie groups we considered above: complete classifications of lattices of the oscillator Lie group are known (see [13, 25]) and have been recently applied to harmonic analysis of solvmanifolds [14]; lattices for Lie group corresponding to case (A) have been recently classified [15].
4 Critical metrics on \(G_{\mathcal S}\) for quadratic curvature functionals
The Euler-Lagrange equations of quadratic curvature functional are well known. They have been calculated in the Riemannian case ( [2, 17]). As the argument does not depend on the signature of the involved metrics, they extend to pseudo-Riemannian settings.
The gradients of functionals \(\mathcal S(g) = \int _M \tau ^2 d vol_g\) and \(\mathcal F_t(g) = \int _M \left( ||\varrho ||^2 + t \tau ^2 \right) d vol _g\) are respectively given by
and g is critical for \(\mathcal F_t\) if and only if \((\nabla \mathcal F_t)=c g\) for some real constant c. Since the trace of this equation yields
g is critical for \(\mathcal F_t\) if and only if
and
with \(\lambda = \mathcal F_t (g)\) (see [10]). It follows that Einstein metrics are critical for \(\mathcal F_t\) for all values of t. Moreover, by the above expression of \(\nabla \mathcal S\), metrics which are either Einstein or of vanishing scalar curvature are critical points for \(\mathcal S\).
It is worthwhile to observe that the above Euler-Lagrange equations simplify remarkably in the case of a four-dimensional metric of constant scalar curvature, which is the case for any four-dimensional homogeneous metric (in particular, for left-invariant metrics on four-dimensional Lie groups). In fact, in such a case, \((\nabla \mathcal S)_{ij} = -2\tau \left( \varrho _{ij} -\frac{1}{4} \tau g_{ij}\right) \), equation (4.2) is automatically satisfied, while equation (4.1) reduces to
where \(R\left[ \varrho \right] \) denotes the tensor defined by components \(\varrho _{kl}R_{ikjl}\). We shall now completely classify solutions to equation (4.3) among left-invariant metrics \(g_a, a^2 \ne 1\) on \(G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}} S)\).
The description of the Levi-civita connection and curvature of \((G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}} S),g_a)\) was obtained in [7]. Since the metrics are left-invariant, it suffices to work at the Lie algebra level. With respect to the basis \(\{e_1=U,e_2=X,e_3=Y,e_4=S\}\) of left-invariant vector fields, the Levi-Civita connection \(\nabla \) is completely determined by the following possibly non-vanishing covariant derivatives:
The Riemann-Christoffel curvature tensor R of \((G_{\mathcal S},g_a)\) is then completely determined by components \(R_{ijkh}=g_a(R(e_i,e_j)e_k,e_h)\), where \(R(e {_i},e {_j})e {_k}=\nabla _{e {_i}}\nabla _{e {_j}} e {_k}-\nabla _{e {_j}}\nabla _{e {_i}} e {_k} -\nabla _{\left[ e_i , e {_j} \right] } e {_k} \) for all indices i, j, k. Explicitly, we find
The Ricci tensor \(\varrho (X,Y)=\textrm{tr}(Z\mapsto R(Z,X)Y)\) of \(g_a\) is then described, with respect to the basis \(\{ e {_i}\}\), by the symmetric matrix
In particular, it is easily seen that \((G_{\mathcal S}=H \rtimes \exp ({\mathbb {R}}{\mathbb {S}}),g_a)\) is Einstein if and only if \(a=0\) and its Lie algebra, as described in (1.2), satisfies \(4\alpha ^2= 1-(\beta +\gamma )^2\) (in this case, \(g_a\) is Ricci-flat [7]).
Again from (4.6), it is easy to check that the scalar curvature of \(g_a\) is given by
Finally, the above descriptions of R, \(\varrho \) and \(\tau \) yield that Weyl conformal curvature tensor W is completely determined by the following possibly non-vanishing components \(W_{ijkh}\) with respect to \(\{ e{_i}\}\):
In particular, as the vanishing of the Weyl tensor characterizes the (locally) conformally flat metrics in dimension four, from the above components we easily conclude that \((G_{\mathcal S}=H \rtimes \exp (\mathbb R S),g_a)\) is locally conformally flat if and only if \(a=0\) and its Lie algebra, as described in (1.2), satisfies either \(\beta =\gamma -1\) or \(\alpha =\beta +\gamma =0\) (which is the well-known case of the bi-invariant metric of the oscillator group).
We are now ready to determine when metrics \(g_a\) are critical for some curvature invariants.
First, \(g_a\) is a critical point for functional \(\mathcal S\) if and only if either \(g_a\) is Einstein, or its scalar curvature vanishes. Since the scalar curvature also vanishes when \(g_a\) is Einstein (indeed, Ricci-flat), by (4.7) we directly obtain the following characterization.
Theorem 1
For any \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\) and real constant a with \(a^2 \ne 1\), consider the semi-direct extension \(G_{\mathcal S}=H \rtimes \exp ( \mathbb R S)\) of the Heisenberg group, equipped with the left-invariant metric \(g_a\) described by (1.3). Then, the following properties are equivalent:
-
(i)
\(g_a\) is a critical point for functional \(\mathcal S (g) = \int _M \tau ^2 d vol _g\);
-
(ii)
The scalar curvature of \(g_a\) vanishes;
-
(iii)
Either \(a=0\) or \(a= \pm \sqrt{1-4\alpha ^2-(\beta +\gamma )^2}\).
We now turn our attention to equation (4.3), which, by our previous analysis, completely characterizes \(g_a\) being a critical point for functional \(\mathcal F _t\).
We first compute the components \(\Delta \varrho _{ij}\) with respect to \(\{e_i\}\) by means of (4.4) and (4.6). We find:
Next, by means of (4.5) and (4.8), we compute the components of tensor \(R\left[ \varrho \right] \) with respect to \(\{e_i\}\). We explicitly get
Finally, we use (1.3), (4.6), (4.7), (4.9) and (4.10) and we compute the components of tensor
appearing in equation (4.3), with respect to \(\{e_i\}\). We find that the symmetric tensor \(F_t\) is completely determined by the following possibly nonvanishing components:
Thus, for an arbitrary metric \(g_a\), equation (4.3) holds for some t if and only if all the corresponding components listed in (4.11) vanish. In particular, it easily follows from the above expression of component \({F_t}_{23}\) that we must consider the following possible cases:
-
(i)
\(a=0\);
-
(ii)
\(\beta =\gamma \);
-
(iii)
\(\alpha =0\);
-
(iv)
\(t=-\frac{ 8\alpha ^2+ 3\beta ^2+3\gamma ^2+2\beta \gamma }{a^2+4\alpha ^2+ (\beta +\gamma )^2 -1}\).
Case (i): \(a=0\) It follows at once from (4.11) that in this case \(F_t=0\) for all values of t. Therefore, \(g_0\) is critical for all quadratic curvature operators for any value of \(\alpha ,\beta ,\gamma \), that is, on all semi-direct extensions of the Heisenberg group. On the other hand, unless the additional condition \(4\alpha ^2= 1-(\beta +\gamma )^2\) holds, this metric is not Einstein.
In all the remaining cases we shall always assume that \(a \ne 0\).
Case (ii): \(\beta =\gamma \) We substitute condition \(\gamma =\beta \) in (4.11). In particular, taking into account \(a \ne 0\), requiring that \(F_{t11}=0\) and \(F_{t22}=0\) we obtain the following equations, written down as polynomials in t:
and
We sum up equations (4.12) and (4.13) and we get
Observe that as \(a^2 \ne 1\), the above equation necessarily yields that and so,
We now substitute t from (4.14) into (4.11). A straightforward calculation then shows that now \(F_{tij}=0\) for all indices i, j if and only if
We may observe that the case \(\alpha =\beta (=\gamma )=0\) will be included as a special case of Subcase (iii)-A below. For any prescribed value of \(\alpha \) and \(\beta \) (not both vanishing), (4.15) admits two solutions, namely, \(a= \pm \frac{1}{3} \sqrt{12(\alpha ^2+\beta ^2)+9}\). In particular, this implies that \(a^2 >1\) and so, \(g_a\) is Riemannian. If a and \(\alpha \) (respectively, \(\beta \)) are prescribed, then from (4.15) we get values of \(\beta \) (respectively, \(\alpha \)) for which (4.15) holds when \(3(a^2-1)-4\alpha ^2 \ge 0\) (respectively, \(3(a^2-1)-4\beta ^2 \ge 0\)). Finally, from (4.14) and (4.15) we conclude that \(t=-\frac{3}{4}\).
Case (iii): \(\alpha =0\) Taking into account \(a \ne 0\), by \(F_{t22}\) and \(F_{t33}\) in (4.11) we now respectively get
and
We substract the second of the above equations by the first one and we find
We already treated the case \(\beta =\gamma \) in general (without the assumption that \(\alpha =0\)). So, by (4.16) we are now left with two possible subcases: either \(\gamma =-\beta \) or \( t= \frac{3 \gamma ^2+3 \beta ^2+2 \beta \gamma }{(1- (\beta +\gamma )^2- a^2 )} \).
Subcase (iii)-A: \(\alpha =\beta +\gamma =0\) In this case, the components of \(F_t\) reduce to:
whence we conclude that \(g_a\) (for all a with \(a^2 \ne 1\)) is critical for functional \(\mathcal F_{-3}\).
Subcase (iii)-B: \(\alpha =t- \frac{3 \gamma ^2+3 \beta ^2+2 \beta \gamma }{(1- (\beta +\gamma )^2- a^2 )}=0\) We substitute the value of t in the components (4.11) of tensor \(F_t\) and write them as polynomials in the variable a. In particular, taking into account \(a \ne 0\), we find that \(F_{t11}=0\) and \(F_{t22}=0\) if and only if
and
respectively. We multiply (4.17) by 9 and (4.18) by 15 and substract from one another. We get
so that either \(\beta =0\) or \(\gamma =0\), as we already treated the previous subcase \(\beta +\gamma =0\).
If \(\beta =0\) then the components of \(F_t\) reduce to:
Therefore, \(g_a\) is critical if and only if \(a^2-1-\gamma ^2=0\). Observe that for \(\beta =a^2-1-\gamma ^2=0\), we get \(t =-\frac{3}{2}\). We may also remark that \(a^2-1-\gamma ^2=0\) yields \(a=\pm \sqrt{1+\gamma ^2}\), for any real value of \(\gamma \). On the other hand, it also yields \(\gamma = \pm \sqrt{a^2-1}\), which impies that \(a^2 >1\), that is, \(g_a\) is Riemannian.
In the case where \(\gamma =0\), the argument and calculations are very similar to the above ones for case \(\beta =0\) and we shall omit them. In this case we conclude that \(g_a\) is critical for \(\mathcal F_t\) if and only if \(t=-\frac{3}{2}\) and \(a^2-1-\beta ^2=0\).
Remark 3
We observe that equation (4.16) is also satisfied, for all values of t, if \( 1- (\beta +\gamma )^2- a^2 =-2 \beta \gamma -3 \gamma ^2-3 \beta ^2 =0\). However, starting from (4.11), a standard calculation yields that in this case necessarily \(a=0\), which we already considered in the above Case (i). So, this concludes subcase (iii)-B.
Case (iv): \(t=-\frac{ 8\alpha ^2+ 3\beta ^2+3\gamma ^2+2\beta \gamma }{a^2+4\alpha ^2+ (\beta +\gamma )^2 -1}\)
We preliminarily observe that by (4.11), the component \(F_{t23}\) also vanishes, for all values of t, when \({ 8\alpha ^2+ 3\beta ^2+3\gamma ^2+2\beta \gamma }={a^2+4\alpha ^2+ (\beta +\gamma )^2 -1}=0\). However, under these conditions, if we require that \(F_{tij}=0\) for all indices i, j, a long but straightforward calculation proves that necessarily \(a=0\). As this possibility has already been investigated in the previous Case (i), we are left to consider the case when \(t=-\frac{ 8\alpha ^2+ 3\beta ^2+3\gamma ^2+2\beta \gamma }{a^2+4\alpha ^2+ (\beta +\gamma )^2 -1}\).
We start substituting the value of t in equations (4.11) and writing them as polynomials in the variable a. In particular, conditions \(F_{t11}=0\) and \(F_{t22}=0\) now read
and
respectively. We multiply (4.19) by 9, (4.20) by 15 and substract from one another. We get
We already discussed the solution \(\alpha =\beta +\gamma =0\) in the subcase (iii)-A in full generality. So, we are now left to consider solutions \(\alpha = \pm \sqrt{-\beta \gamma }\), when \(\beta \gamma \le 0\). We substitute this expression of \(\alpha \) into (4.11) and we find that \(F_{tij}=0\) for all indices i, j if ad only if
whence, \(a=\pm \sqrt{(\beta -\gamma )^2+1}\), for all values of \(\beta \ne \gamma \). Substituting the expressions of a and \(\alpha \) in the above expression of t, we conclude that in this case \(t=-\frac{3}{2}\). We remark that this case includes subcase (iii)-B, which is the special case obtained when \(\beta \gamma =0\).
The above calculations and results are summarized in the following main result.
Theorem 2
For any \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\) and real constant a with \(a^2 \ne 1\), consider the semi-direct extension \(G_{\mathcal S}=H \rtimes \exp ( \mathbb R S)\) of the Heisenberg group, equipped with the left-invariant metric \(g_a\) described by (1.3). Then, \(g_a\) is a critical point for functional \(\mathcal F_t(g) = \int _M \left( ||\varrho ||^2 + t \tau ^2 \right) d vol _g\) if and only if one of the following cases occurs:
-
(1)
\(a=0\). In this case, \(g_a\) is a critical point for \(\mathcal F_t\) for all \(t \in \mathbb R\).
-
(2)
\(\beta =\gamma \) and \(a= \pm \frac{1}{3} \sqrt{12(\alpha ^2+\beta ^2)+9}\), with \((\alpha ,\beta )\ne (0,0)\). Then, \(g_a\) (necessarily Riemannian) is critical for \(\mathcal F_{-\frac{3}{4}}\).
-
(3)
\(\alpha =\beta +\gamma =0\). In this case, all metrics \(g_a\) are critical for \(\mathcal F_{-3}\).
-
(4)
\(\alpha =\pm \sqrt{-\beta \gamma }\) and \(a=\pm \sqrt{(\beta -\gamma )^2+1}\) (with \(\beta \gamma \le 0\) and \(\beta \ne \gamma \)). Then \(g_a\) (necessarily Riemannian) is critical for \(\mathcal F_{-\frac{3}{2}}\).
The complete classification of metrics \(g_a\) which are critical for some quadratic curvature invariants is obtained in Theorems 1 and 2. We reported such classification in Table 1.
We may observe that case (3) in the above Theorem 2 corresponds to the oscillator group. So, all left-invariant metrics \(g_a\) (both Riemannian and Lorentzian) on the oscillator group are critical for the quadratic curvature functional \(\mathcal F_{-3}\).
Remark 4
Metric \(g_0\) carries several special properties. In fact, for any \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\), among left-invariant metrics \(g_a, a^2 \ne 1\) on the corresponding semi-direct extension \(G_{\mathcal S}=H \rtimes \exp ( \mathbb R S)\) of the Heisenberg group, the metric \(g_0\) is the only one:
-
Admitting a null parallel vector field (namely, \(e_1\)) and so, being a Walker metric [7]. In particular, \(g_0\) is also a pp-wave, as it follows from [23] because \(g_0\) admits the null parallel vector field \(e_1\) and, by (4.5), is transversally flat (\(R(x,y)=0\) whenever x, y are orthogonal to \(e_1\));
-
Being Ricci-parallel [7];
-
Satisfying the Ricci soliton equation \(\mathcal {L}_Xg+\varrho =\lambda g\) for all real values of \(\lambda \), and defining a Yamabe soliton [6, 7];
-
Conformally Einstein [9].
Investigation of critical metrics for quadratic curvature functionals emphasizes once more the special role of \(g_0\). In fact, Proposition 2 and Theorems 1 and 2 yield the following consequence.
Corollary 1
For any \(\mathcal S \in {\mathfrak {s}}{\mathfrak {p}}(1,\mathbb R)\), the left-invariant Lorentzian metric \(g_0\) on \(G_{\mathcal S}=H \rtimes \exp ( \mathbb R S)\) is critical for all quadratic curvature functionals. Unless \(4\alpha ^2+(\beta +\gamma )^2 = 1\), the Lorentzian manifold \((G_{\mathcal S},g_0)\) is not Einstein.
The examples we studied suggest the possible existence of some interplays between properties listed above and critical metrics for quadratic curvature functionals. It would be very interesting to investigate further these possible interplays.
Change history
30 August 2023
The original online version of this article was revised: to update copyright as 2023 in XML.
References
Berger, M.: Quelques formules de variation pour une structure riemannienne. Ann. Sci. École Norm. Sup. 3, 285–294 (1970)
Besse, A.L.: Einstein manifolds, Reprint of the, 1987th edn. Classics in Mathematics. Springer-Verlag, Berlin (2008)
Bock, C.: On low-dimensional solvmanifolds. Asian J. Math. 20, 199–262 (2016)
Brozos-Vazquez, M., Caeiro-Oliveira, S., Garcia-Rio, E.: Critical metrics for all quadratic curvature functionals. Bull. Lond. Math. Soc. 53, 680–685 (2021)
Brozos-Vazquez, M., Caeiro-Oliveira, S., Garcia-Rio, E.: Critical metrics and massive gravity solutions on three-dimensional Brinkmann waves. Class. Quantum Gravity 39, 015007 (2022)
Calvaruso, G.: Oscillator spacetimes are Ricci solitons. Nonlinear Anal. 140, 254–269 (2016)
Calvaruso, G.: On semi-direct extensions of the Heisenberg group. Collect. Math. 72, 1–23 (2021)
Calvaruso, G., Zaeim, A.: On the symmetries of the Lorentzian oscillator group. Collect. Math. 68, 51–67 (2017)
Calvaruso, G., Zaeim, A.: Conformal geometry of semi-direct extensions of the Heisenberg group. J. Math. Phys. Anal. Geom. 17, 407–421 (2021)
Catino, G.: Some rigidity results on critical metrics for quadratic functionals. Calc. Var. Part. Differ. Equ. 54, 2921–2937 (2015)
Deser, S., Tekin, B.: Gravitational energy in quadratic-curvature gravities. Phys. Rev. Lett. 89(10), 101101 (2002)
Euh, Y., Park, J., Sekigawa, K.: Critical metrics for quadratic functionals in the curvature on \(4\)-dimensional manifolds. Differ. Geom. Appl. 29, 642–646 (2011)
Fischer, M.: Lattices of oscillator groups. J. Lie Theory 27, 85–110 (2017)
Fischer, M., Kath, I.: Spectra of compact quotients of the oscillator group. SIGMA 17 , 051 (48 pp.) (2021)
Galiay, B., Kath, I.: Lattices in the four-dimensional split oscillator group, arXiv: 2103.01461, (2021)
Gadea, P.M., Oubiña, J.A.: Homogeneous Lorentzian structures on the oscillator groups. Arch. Math. 73, 311–320 (1999)
Gursky, M.J., Viaclovsky, J.A.: Rigidity and stability of Einstein metrics for quadratic curvature functionals. J. Reine Angew. Math. 700, 37–91 (2015)
Gursky, M.J., Viaclovsky, J.A.: Critical metrics on connected sums of Einstein four-manifolds. Adv. Math. 292, 210–315 (2016)
Huang, G.Y.: Some characterizations on critical metrics for quadratic curvature functions. Proc. Am. Math. Soc. 146, 385–395 (2018)
Huang, G.Y., Chen, L.: Some rigidity characterizations on critical metrics for quadratic curvature functionals. Anal. Math. Phys. 10, 14 (2020)
Huang, G.Y., Chen, Y., Li, X.: Rigidity of Einstein metrics as critical points of some quadratic curvature functionals on complete manifolds. J. Geom. Anal. 31, 7968–7988 (2021)
Huang, G.Y., Ma, B., Li, X.: Rigidity of Riemannian manifolds with vanishing generalized Bach tensor. J. Geom. Phys. 170, 104380 (2021)
Leistner, T.: Conformal holonomy of \(C\)-spaces, Ricci-flat, and Lorentzian manifolds. Differ. Geom. Appl. 24, 458–478 (2006)
Levitchev, A.V.: Methods of investigation of the causal structure of homogeneous Lorentz manifolds. Sib. Math. J. 31, 395–408 (1990)
Medina, A., Revoy, P.: Les groups oscillateurs et leurs réseaux. Manuscripta Math. 52, 81–95 (1985)
Müller, D., Ricci, F.: Analysis of second order differential operators on Heisenberg groups. I. Invent. Math. 101, 545–582 (1990)
Sheng, W., Wang, L.: Bach-flat critical metrics for quadratic curvature functionals. Ann. Glob. Anal. Geom. 54, 365–375 (2018)
Sheng, W., Wang, L.: Variational properties of quadratic curvature functionals. Sci. China Math. 62, 1765–1778 (2019)
Streater, R.F.: The representations of the oscillator group. Commun. Math. Phys. 4, 217–236 (1967)
Viaclovsky, J.A.: Critical metrics for Riemannian curvature functionals, Geometric analysis, 197–274, IAS/Park City Math. Ser., 22, Amer. Math. Soc., Providence, RI, (2016)
Acknowledgements
The author wishes to thank the anonymous Referee for several valuables suggestions.
Funding
Open access funding provided by Università del Salento within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The Authors declare that they do not have any potential conflicts of interest (financial or non-financial).
Human and animal rights
Other statements about ethical standards (involved human participants, welfare of animals, informed consent) do not apply to this research.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Giovanni Calvaruso is partially supported by funds of the University of Salento and GNSAGA.
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
Calvaruso, G., Zaeim, A. Critical metrics for quadratic curvature functionals on some solvmanifolds. Rev Mat Complut 36, 869–886 (2023). https://doi.org/10.1007/s13163-022-00448-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13163-022-00448-9