Abstract
We classify Einstein metrics on \(\mathbb {R}^4\) invariant under a four-dimensional group of isometries including a principal action of the Heisenberg group. We consider metrics which are either Ricci-flat or of negative Ricci curvature. We show that all of the Ricci-flat metrics, including the simplest ones which are hyper-Kähler, are incomplete. By contrast, those of negative Ricci curvature contain precisely two complete examples: the complex hyperbolic metric and a metric of cohomogeneity one known as the one-loop deformed universal hypermultiplet.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It has been recently shown [4] that all the known homogeneous quaternionic Kähler manifolds of negative Ricci curvature with the exception of the simplest examples, the quaternionic hyperbolic spaces, admit a canonical deformation to a complete quaternionic Kähler manifold with an isometric action of cohomogeneity one. The deformation is a special case of what is known as the one-loop deformation [8]. The simplest example is a deformation of the complex hyperbolic plane known as the one-loop deformed universal hypermultiplet [1]. (The completeness requires the deformation parameter to be non-negative [2, Proposition 4].) Its isometry group is precisely \(\mathrm {O}(2)\ltimes \mathrm {H}\), where H is the three-dimensional Heisenberg group [4].
In this paper we determine all Einstein metrics which are invariant under the action of \(\mathrm {SO}(2)\ltimes \mathrm {H}\) on \(\mathbb {R}^4\). The symmetry assumption reduces the problem to the solution of a system of second-order ordinary differential equations for a pair of functions a, b, see (12)-(14). The corresponding metrics are of the form
The system admits solutions if and only if the Einstein constant \(\Lambda\) is non-positive.
The Ricci-flat solutions include simple solutions of hyper-Kähler type (Proposition 4.3) as well as more complicated solutions (Proposition 4.5). They are all incomplete.
The solutions of negative Ricci curvature are described in Proposition 4.11. The stationary solutions are isometric to the complex hyperbolic plane (Proposition 4.1). The one-loop deformed universal hypermultiplet corresponds to a particular solution (Proposition 4.8), interpolating between a stationary solution and another fixed point of the flow defined by the subsystem (12)-(13).
The main result is that the only complete \(\mathrm {SO}(2)\ltimes \mathrm {H}\)-invariant Einstein metrics on \(\mathbb {R}^4\) are the complex hyperbolic metric and its complete one-loop deformation (Theorem 4.13).
2 Riemannian metrics with Heisenberg symmetry
In this section we describe the class of metrics for which we will study the Einstein equation.
2.1 The Heisenberg group
Recall that the Heisenberg group H is the unique simply connected nilpotent Lie group of dimension 3, up to isomorphism. We choose to realize it as \(\mathbb {R}^3\) endowed with the following product:
The advantage over other natural realizations (e.g. as the group of unipotent upper triangular matrices of rank 3) is that the group \(\mathrm {SL}(2,\mathbb {R})\) of unimodular transformations in the (x, y)-plane acts by automorphisms in these coordinates. This follows from Proposition 2.1. Abbreviating \(v=(x,y)^\top\), we can write (1) more compactly as \((v_1,z_1)\cdot (v_2,z_2) = (v_1+v_2,z_1+z_2 -\omega (v_1,v_2))\), where \(\omega = dx\wedge dy\). This implies the following.
Proposition 2.1
For any \(A\in \mathrm {GL}(2,\mathbb {R})\) the transformation \((v,z)\mapsto (Av,z\det A )\) is an automorphism of H.
From (1) we can immediately read off that the left-invariant parallelization extending the standard basis at the neutral element is given by
with non-trivial structure constants determined by \([e_1,e_2] = -2e_3\) or, equivalently, by \(de^3=2e^1\wedge e^2\) in terms of the dual frame \((e^i)=(e_i^*)\).
Proposition 2.2
The isometry group \(\mathrm {Isom}(H,g)\) of any left-invariant metric g on H is conjugate to \(\mathrm {O}(2)\ltimes H\) in \(\mathrm {Aut}(H)\ltimes H\).
Proof
By [10], the isometry group of (H, g) is \(\mathrm {Aut}(H,g)\ltimes H\), where \(\mathrm {Aut}(H,g)=\mathrm {Aut}(H)\cap \mathrm {Isom}(H,g)\). Since every isometric automorphism preserves the center and its orthogonal complement, we see that, up to conjugation in \(\mathrm {Aut}(H)\), we have the inclusion \(\mathrm {Aut}(H,g)\subset \mathrm {O}(2)\). On the other hand, any orthogonal transformation of the orthogonal complement of the center extends uniquely to an isometric automorphism. This shows that, up to conjugation, \(\mathrm {Isom}(H,g)= \mathrm {O}(2)\ltimes H\). \(\square\)
2.2 Principal action of the Heisenberg group on \(\mathbb {R}^4\)
Any complete Riemannian metric g on \(\mathbb {R}^4\) invariant under a principal action of the Heisenberg group H can be brought to the form
where \(\mathbb {R}^4\) is identified with \(\mathbb {R}\times H\) by an H-equivariant diffeomorphism and \(g_t\) is a family of left-invariant metrics on H. This form is obtained by identifying the H-orbits by means of the normal geodesic flow, where t corresponds to the arc length parameter along a normal geodesic.
The action of \(\mathrm {Aut}(H)\ltimes H\) on H trivially extends to \(\mathbb {R}^4=\mathbb {R}\times H =\{(t,x,y,z)\}\).
Proposition 2.3
An H-invariant Riemannian metric \(g= dt^2 + g_t\) on \(\mathbb {R}^4=\mathbb {R}\times H\) is invariant under \(\mathrm {SO}(2)\subset \mathrm {Aut}(H)\) if and only if
for some positive smooth functions \(a, b\in C^\infty (\mathbb {R})\).
Proof
We remark that (2) implies
Recall that, in terms of the coordinates (t, x, y, z), the group \(\mathrm {SO}(2)\) acts simply by rotations in the (x, y)-plane. The induced action on H-invariant one-forms on \(\mathbb {R}^4\) is by rotations in the plane spanned by \(e^1, e^2\), whereas the one-forms \(e^3\) and dt are invariant. As a consequence, \(g_t\) (and hence g) is \(\mathrm {SO}(2)\)-invariant if and only of it is of the form (4).\(\square\)
Definition 2.4
\(\mathrm {SO}(2)\ltimes H\)-invariant metrics on \(\mathbb {R}^4\), as described in Proposition 2.3, will be called metrics with maximal Heisenberg symmetry.
The main problem studied in this paper is the following.
Problem 2.5
Determine all Einstein metrics on \(\mathbb {R}^4\) with maximal Heisenberg symmetry.
The following consequence of Proposition 2.3 is used in the calculations of the connection and the curvature in the next section. Note also that the map \((t,x,y,z) \mapsto (t,y,-x,z)\) is an isometry (in the group \(\mathrm {SO}(2)\)), which can be also used for that purpose.
Corollary 2.6
Any metric g with maximal Heisenberg symmetry on \(\mathbb {R}^4\) is \(\mathrm {O}(2)\)-invariant, that is not only \(\mathrm {SO}(2)\)-invariant but, in addition, invariant under the involution \(\sigma \colon (t,x,y,z)\mapsto (t,y,x,-z)\). The surface
is totally geodesic and induces an H-invariant foliation of \(\mathbb {R}^4\) by totally geodesic surfaces. The leaf through a point \(p_0=(t_0,x_0,y_0,z_0)\) is given by
3 Einstein equation for metrics with maximal Heisenberg symmetry
In this section we determine the system of ordinary differential equations satisfied by Einstein metrics with maximal Heisenberg symmetry. First we compute the Levi-Civita connection and Ricci curvature of such metrics.
Throughout this section
denotes a metric with maximal Heisenberg symmetry on \(\mathbb {R}^4\).
3.1 Connection and Ricci curvature
Proposition 3.1
The Levi-Civita connection \(\nabla\) of a metric (8) with maximal Heisenberg symmetry is given by
Proposition 3.2
The Ricci curvature \(\mathrm {Ric}_g = \sum R_{ij}dx^idx^j\), of g is given in the coordinates \((x^0,x^1,x^2,x^3) = (t,x,y,z)\) by
3.2 Einstein equation
Corollary 3.3
A metric (8) with maximal Heisenberg symmetry is Einstein, \(\mathrm {Ric}_g = \Lambda g\), with constant \(\Lambda\) if and only if
Corollary 3.4
The metric g is Einstein with constant \(\Lambda\) if and only if the functions \(\lambda = (\ln a)'\) and \(\mu = (\ln b)'\) satisfy the following overdetermined system of ordinary differential equations:
The system is equivalent to
Proof
The first system is obtained by substitution of the variables. Adding the equations (10) and (11) we obtain
Using this equation we eliminate, respectively, \(\mu '\) and \(\lambda '\) from (9) arriving at (12) and (13). Finally, comparing (11) with (13) yields (14). \(\square\)
4 Solutions
4.1 Classification of stationary solutions
We call a solution (a(t), b(t)) of the ode system (12)-(14) stationary if \(\lambda '=\mu '=0\).
Proposition 4.1
The stationary solutions (a, b) of the Einstein equations (12)-(14) are given by
where \(\mu \ne 0\) and \(C>0\) are constants. The corresponding Einstein manifold \((\mathbb {R}^4,g)\) is isometric to the complex hyperbolic plane of Einstein constant \(\Lambda = -\frac{3}{2} \mu ^2<0\).
Proof
Since \(\lambda\) and \(\mu\) are constant for stationary solutions, we see from (14) that the function \(a/b^2\) is constant and, hence,
Inserting this into (12)-(13) we obtain
and (14) then yields
This shows that \(\Lambda <0\) and, hence, \(\mu \ne 0\). The above metrics are all homothetic to
by Remark 4.2. This is the complex hyperbolic metric of holomorphic sectional curvature \(-4\) (i.e. \(\Lambda =-6\)) written as a left-invariant metric on the simply transitive solvable Iwasawa subgroup of its group of holomorphic isometries \(\mathrm {PSU}(1,2)\). \(\square\)
Remark 4.2
The two parameters of the solution (15) correspond to the freedom to re-parametrize the t-variable by an affine transformation. In fact, a transformation of the coordinates (t, x, y, z) by a pure translation in t yields another stationary solution but with another C-parameter, whereas rescaling of the t-variable in the coordinate system yields an Einstein metric which, up to a constant conformal factor, is a stationary solution in our class (8), the latter with another \(\mu\)-parameter.
Note that the transformation \((a,b)\mapsto (\tilde{a},\tilde{b})\), where
maps arbitrary solutions of (12)-(14) to (homothetic) solutions. In this way one can always normalize a given solution with \(\Lambda < 0\) such that \(\Lambda =-6\).
4.2 Ricci-flat solutions
Proposition 4.3
There exist solutions (a, b) of the Einstein equations (12)-(14) with \(\lambda = \frac{\ell }{t}\) and \(\mu =\frac{m}{t}\), \(\ell , m\in \mathbb {R}\). They are all hyper-Kähler and of the form
where \(a_1, b_1\) are positive constants such that \(a_1/b_1^2=1/9\). The maximal domains of definition of these (incomplete) metrics are \(\mathbb {R}_{>0}\times \mathbb {R}^3\) and \(\mathbb {R}_{<0}\times \mathbb {R}^3\).
Proof
Under the ansatz \(\lambda = \frac{\ell }{t}\) and \(\mu =\frac{m}{t}\), the equation (13) implies that \(\Lambda =0\). The equations (12)-(13) can then be easily solved in terms of \((\ell , m)\). We find that \((\ell ,m)\) is one of the following: \((-\frac{2}{3},\frac{2}{3}), (-\frac{2}{3},\frac{4}{3}), (2,0), (0,0)\). However, the last three cases are clearly inconsistent with equation (14). (The case (0, 0) is also excluded, because such a solution would be stationary contrary to Proposition 4.1.) So we are left with studying equation (14) in the case \((\ell ,m)=(-\frac{2}{3},\frac{2}{3})\). Inserting \(a=a_1|t|^\ell =a_1|t|^{-2/3}\) and \(b=b_1|t|^m=b_1|t|^{2/3}\) we obtain \(a_1/b_1^2=1/9\).
The given metric can now be explicitly shown to be hyper-Kähler. Consider the following two-forms:
These are (anti-)self-dual and closed, and so form a hyper-Kähler structure. \(\square\)
Remark 4.4
The incomplete hyper-Kähler metrics described in Proposition 4.3 are all homothetic to a single metric, compare (17). The metric can be obtained from a Gibbons–Hawking ansatz and admits a conformal rescaling to a complete left-invariant metric on the solvable Iwasawa subgroup of \(\mathrm {SU}(1,2)\) [5, Section 3.2.2]. The metric also appears in the study of collapsing hyper-Kähler metrics on K3 surfaces [7], as we learned from Simon Salamon [9].
Proposition 4.5
If (a, b) is a Ricci-flat solution of the Einstein equations (12)-(14) not isometric to (18), then the associated functions \(\lambda\) and \(\mu\) satisfy
where \(C >0\) and \(t_0\) are constants and \(_2F_1\) is the hypergeometric function. The corresponding metrics are incomplete. In fact, the maximal domains of definition of these metrics are
Proof
Setting \(\Lambda =0\) in (12)-(14) gives us
On a domain where \(\mu\) and \(\mu + 2\lambda\) are non-vanishing, (21) and (22) imply
Integrating and then exponentiating both sides gives
where k is a nonzero constant of integration. Notice, however, that given \(\lambda = (\ln a)'\) and \(\mu = (\ln b)'\), the positive functions a and b are determined only up to overall positive constant factors. Thus, the constant k may be absorbed into this indeterminacy so that the constraint (23) is satisfied, provided that \(k>0\).
In particular, this argument fails when either \(\mu\) or \(\mu +2\lambda\) vanish. In fact, (23) then necessarily means that a vanishes, which is not allowed. Therefore, the constraint amounts to stipulating that \(\mu\) and \(\mu +2\lambda\) are non-vanishing on the domain of definition and of opposite sign.
We will now describe general non-stationary solutions of (21) and (22). If \(\lambda\) is a constant function, then so is \(\mu\). We may thus assume that \(\lambda\) is not everywhere 0. As \(\mu\) is constrained to be non-vanishing, \(\mu '=\frac{3}{2}\lambda \mu\) must also be non-vanishing on the (open) complement of the vanishing set of \(\lambda\). On this open set, we may regard t, and hence \(\lambda (t)\), as an implicit function of \(\mu\). Then \(\lambda\) satisfies the following ode:
Define a function \(\nu\) by \(\lambda = \mu \nu\). Substituting this into the above equation and rearranging the terms gives us
There are two cases to be considered now: either the numerator of the right-hand side is identically zero or it is not.
Let us suppose the first case, that is
Then \(\nu\) takes the value \(-1\) or \(-\frac{1}{2}\). Note that if \(\nu = -\frac{1}{2}\), then
So this is not allowed, and \(\nu\) must necessarily be \(-1\). Thus, \(\lambda = -\mu\) and \(\mu '=\frac{3}{2}\lambda \mu =-\frac{3}{2}\mu ^2\). Up to constant shifts in t, this gives the same solution as in (18), and so is excluded as well.
So \(4\nu ^2 + 6\nu +2\) cannot be identically zero. On the complement of its vanishing set, we may separate the variables and integrate to obtain
Multiplying by \(-2\) throughout and then exponentiating both sides gives us
where C is some nonzero constant. Then solving for \(\nu\), we get
Thus, \(\lambda\) as a function of \(\mu\) is given by
To now obtain \(\mu\) as function of t, we substitute the above expression into (22):
Separating the variables and integrating gives us the equation
where \(t_0\) is a constant of integration. To see this, we remark that the hypergeometric function \(_2F_1( a, b;c;x)\), for \(c=a+1\), \(a\ne 0\), is related to the incomplete beta function \(B_x(a,1-b)\) by
This implies that \(_2F_1( a, b;a+1;x)\) satisfies the first-order ode \(F'(x)= \frac{a((1-x)^{-b}-F(x))}{x}\), which leads to (25).
To determine the maximal domains of definition of the metric, we determine the values of t for which either at least one of \(\lambda\) and \(\mu\) becomes infinite or for which we have \(\mu (\mu + 2\lambda ) = 0\).
We find that for the upper branch of the solution, that is
taking the limit \(\mu \rightarrow 0^{\pm }\) gives us \(t = t_0\) and \(\lambda \rightarrow {\mp } \infty\). By contrast, on the lower branch of the solution, that is
the limit \(\mu \rightarrow 0^{\pm }\) gives \(t\rightarrow {\pm }\infty\) and \(\lambda \rightarrow 0\).
Meanwhile, setting \(\mu + 2\lambda =0\) is the same as setting \(\nu = \frac{\lambda }{\mu } = -\frac{1}{2}\), giving us
This is solved only by \(\mu = 0\) on the lower branch of the solution, and therefore for no finite value of t.
In the case that C is positive, we can take the limit \(\mu \rightarrow {\pm } \infty\) to obtain on the upper branch
and on the lower branch
Note that the above cases automatically take care of the limits in which \(\lambda\) becomes infinite. The above limits are obtained by specializing the asymptotics for \(|x|\rightarrow \infty\) of the hypergeometric function \(F(x)= {_{2}F_1(a,b;c;x)}\) for \(a-b\not \in \mathbb {Z}\) to \((a,b,c)= (-\frac{3}{4},\frac{1}{2};\frac{1}{4})\):
Putting everything together, we find that the maximal domains of definition for t are the open intervals \(]-\infty , t_0[\) and \(]t_0,+\infty [\) when \(C < 0\), and the following open intervals when \(C>0\):
Now that we have described all the solutions to the ode system, we check which of them satisfy the sign constraint \(\mu (\mu + 2 \lambda )<0\) to determine which of them correspond to Riemanninan metrics. Dividing the sign constraint by \(\mu ^2>0\), we find that it is equivalent to \(2\nu + 1 < 0\). From (24) we see that this happens precisely when \(C>0\). \(\square\)
Remark 4.6
By taking t purely imaginary and the integration constant \(t_0\) complex, one can similarly describe Ricci-flat Lorentzian metrics of the form
from solutions of (25) with \(C<0\). As in the Riemannian case, these are \(\mathrm {O}(2)\ltimes H\)-invariant. Lorentzian solutions of the Einstein equations invariant under a principal action of a three-dimensional Lie group with space-like orbits have been studied as cosmological models in general relativity, see [6].
Remark 4.7
The limit \(C \rightarrow +\infty\) is in fact well defined. In this limit, (19) becomes
A constant shift \(t \mapsto t - t_0\) then reproduces the solution (18).
4.3 The one-loop deformed universal hypermultiplet
In this section we exhibit a family of solutions of the Einstein equations (12)-(14) with \(\Lambda =-6\) depending on a real parameter c. The solution is stationary only for \(c=0\), in which case the metric is the complex hyperbolic metric (16).
Let c be a real constant and let I be a connected component of the set
Let \(\rho \colon J {\mathop {\rightarrow }\limits ^{\sim }}I\), \(t\mapsto \rho (t)\), be a (maximal) solution of the differential equation
which is defined on some interval J and has the interval I as its range. The functions
are positive on their domain J.
Recall (see Remark 4.2) that the Einstein constant \(\Lambda\) of a solution of (12)-(14) is either zero or the metric can be rescaled such that \(\Lambda\) is any constant negative number.
Proposition 4.8
The functions a(t) and b(t) defined by (28) and (27) constitute a one-parameter family of solutions of the Einstein equations (12)-(14) with \(\Lambda =-6\). The corresponding metrics are complete if and only if \(c>0\) and \(I=\{ \rho \mid \rho >0\}\).
Proof
Writing the metric \(g=dt^2+a(t)(dz+xdy-ydx)^2 + b(t)(dx^2+dy^2)\) in terms of the coordinates \((\rho , x,y,z)\) instead of (t, x, y, z) shows that it coincides with the one-loop deformed universal hypermultiplet metric, as given in equation (1.1) of [3]. (For the physical origins and significance of this metric see [1, 8].) The metric is not only Einstein of Einstein constant \(-6\) but is half conformally flat and is complete if and only if \(c>0\) and \(I=\{ \rho \mid \rho >0\}\), see [2]. Moreover, it was shown in [4, Theorem 4.5] that for \(c\ne 0\) the metric has the isometry group \(\mathrm {O}(2) \rtimes H\), where H denotes the Heisenberg group. (For \(c=0\) the metric is the complex hyperbolic metric discussed in Sect. 4.1.) This proves Proposition 4.8.
Alternatively, one can check directly that the functions a(t) and b(t) solve the system (12)-(14). In fact, the equations (13) and (14) are easily checked and (14) implies (12) on the set where \(\mu \ne 0\). The latter is shown by differentiating (14) and using the simple equation
A short calculation shows that for the above functions a and b, the function \(\mu\) vanishes only if \(c<0\) and \(-4c\in I\). In that case, the zero is at \(\rho = -4c\), i.e. at \(t=\rho ^{-1}(-4c)\). The equation (12) follows by continuity, since the complement of the zero set is dense. \(\square\)
Proposition 4.9
A solution \((\lambda (t),\mu (t))\) of the Einstein equations (12)-(14) corresponding to the one-loop deformed universal hypermultiplet satisfies the following polynomial constraint of degree 4:
Proof
From (28), we obtain the following parametrisation of \(\lambda\) and \(\mu\) in terms of \(\rho\):
In particular, on a domain where \(\mu\) is non-vanishing, we have \(\frac{4c}{\rho } + 1 \ne 0\) and we can combine the above equations to get
By subtracting 2 throughout, we see that this implies that \(\lambda - \mu\) is non-vanishing. In particular, we have a quadratic equation in \(\frac{c}{\rho }\), which we can then solve to obtain
Now substituting (27) into (30) and (31), we get
Upon substituting (33) into the above and eliminating the square roots, we then obtain
From (32) we see that \(\lambda + \mu\) vanishes if and only if \((3\rho + 4c)(\rho + 2c)\) vanishes. Since this is not generically the case, the constraint (29) follows. \(\square\)
Remark 4.10
More generally, if we introduce the polynomial
So the vanishing set of \(P_\Lambda (\lambda ,\mu )\) contains a flowline. When \(\Lambda = - 6\), this becomes the constraint (29).
Proposition 4.11
Any solution \((\lambda (t),\mu (t))\) of the Einstein equations (12)-(14) with negative Einstein constant \(\Lambda\) satisfies the following constraint on each maximal domain of definition:
for some constant K. Furthermore, when \(K=0\), the solution has to be one of the following:
-
Stationary solutions at \({\pm }(2\sqrt{-2\Lambda /3},\sqrt{-2\Lambda /3})\).
-
Solutions with maximal domains of definition \(]-\infty ,t_0[\) and \(]t_0,+\infty [\) which are given by
$$\begin{aligned} \mu = \sqrt{-\frac{2\Lambda }{3}} \frac{ e^{\sqrt{-6\Lambda }(t - t_0)} {\pm } 1}{ e^{\sqrt{-6\Lambda }(t - t_0)} {\mp } 1}, \quad \lambda = 2\sqrt{-\frac{2\Lambda }{3}}\frac{ e^{2\sqrt{-6\Lambda }(t - t_0)} {\pm } 4e^{\sqrt{-6\Lambda }(t - t_0)} + 1}{ e^{2\sqrt{-6\Lambda }(t - t_0)} - 1}. \end{aligned}$$(38) -
A solution with maximal domains of definition \(]-\infty ,t_0[\) and \(]t_0,+\infty [\) which is given by
$$\begin{aligned} \begin{aligned}&\lambda = \frac{\mathrm {sign}(t-t_0)8\sqrt{-2\Lambda /3}}{\sqrt{3 + 18\sigma +11\sigma ^2- \sqrt{(1-\sigma )^3(9+7\sigma )}}},\quad \mu = \lambda \sigma , \quad \text{ where } 0<\sigma <1\text{, } \\&\int _{0}^\sigma \frac{-8\sqrt{3 +18u + 11u^2 -\sqrt{(1-u)^3(9+7u)}}\,du}{(1-u)(1-5u)(9+7u) - 3(1+3u)\sqrt{(1-u)^3(9+7u)}}= \sqrt{-\frac{2\Lambda }{3}}|t-t_0|. \end{aligned} \end{aligned}$$(39) -
A solution with maximal domains of definition \(]-\infty ,t_0[\) and \(]t_0,+\infty [\) which is given by
$$\begin{aligned} \begin{aligned}&\lambda = \frac{-\mathrm {sign}(t-t_0)8\sqrt{-2\Lambda /3}}{\sqrt{3 + 18\sigma +11\sigma ^2+ \sqrt{(1-\sigma )^3(9+7\sigma )}}},\quad \mu = \lambda \sigma , \quad \text{ where } -1<\sigma <\frac{1}{2}\text{, } \\&\int _{-1}^\sigma \frac{8\sqrt{3 +18u + 11u^2 +\sqrt{(1-u)^3(9+7u)}}\,du}{(1-u)(1-5u)(9+7u) + 3(1+3u)\sqrt{(1-u)^3(9+7u)}}= \sqrt{-\frac{2\Lambda }{3}}|t-t_0|. \end{aligned} \end{aligned}$$(40) -
Solutions defined for all \(t\in \mathbb {R}\) given by
$$\begin{aligned} \begin{aligned}&\lambda = \frac{{\pm } 8\sqrt{-2\Lambda /3}}{\sqrt{3 + 18\sigma +11\sigma ^2+ \sqrt{(1-\sigma )^3(9+7\sigma )}}},\quad \mu = \lambda \sigma ,\quad \text{ where } \frac{1}{2}<\sigma <1\text{, } \\&\int _{3/4}^\sigma \frac{{\mp } 8\sqrt{3 +18u + 11u^2 +\sqrt{(1-u)^3(9+7u)}}\,du}{(1-u)(1-5u)(9+7u) + 3(1+3u)\sqrt{(1-u)^3(9+7u)}}= \sqrt{-\frac{2\Lambda }{3}}(t-t_0). \end{aligned} \end{aligned}$$(41)
With the exception of (39), all of them correspond to Riemannian metrics.
Proof
On the domain where \(\mu ^2 + 2\lambda \mu + 4\Lambda\) is non-vanishing, (42) can be written as
Integrating and then exponentiating gives
where k is a nonzero constant of integration. As we had noted in the proof of Proposition 4.5, given \(\lambda = (\ln a)'\) and \(\mu = (\ln b)'\), the functions a and b are determined only up to overall nonzero constant factors. Thus, the constant k may be absorbed into this indeterminacy so that (14) is automatically satisfied, provided that \(k>0\). So, we see that (14) is equivalent to the condition \(\mu ^2 +2\lambda \mu +4\Lambda <0\).
Given that \(\mu ^2 +2\lambda \mu +4\Lambda\) is nowhere vanishing, (36), (42), and (43) can be combined into a single equation:
where \(\ell , m, n\) are arbitrary non-negative integers. In particular, we see that the right-hand side vanishes for the choice \(\ell = 3, m = 1, n = 3\). The constraint (37) follows.
For \(K=0\), we have either
If \(\mu ^2 + \lambda \mu + 2\Lambda =0\), then (13) becomes
If the right-hand side vanishes, then we obtain the stationary solutions
Otherwise, we can separate the variables and integrate to obtain
where \(t_0\) is an integration constant. This gives the solutions
Both the upper and lower solutions are well-defined eveywhere except \(t=t_0\). Moreover, the vanishing sets of \(\mu ^2 + \lambda \mu + 2\Lambda\) and \(\mu ^2 + 2\lambda \mu + 4\Lambda\) do not intersect. Thus, their maximal domains of definition are the open intervals \(]-\infty ,t_0[\) and \(]t_0,+\infty [\).
Now we consider the case \(P_\Lambda (\lambda ,\mu )=0\). Observe that at \(\lambda = 0\), we have
Thus, it follows that \(\lambda \ne 0\) on the vanishing set of \(P_\Lambda\). We can therefore define \(\sigma = \frac{\mu }{\lambda }\) and rewrite \(P_\Lambda (\lambda ,\mu )=0\) in terms of it as
This is quadratic in \(\frac{1}{\lambda ^2}\), so we can solve for it to obtain
In order for the right-hand side to be real, we must have \(-\frac{9}{7}\le \sigma \le 1\). Given that \(\Lambda <0\), the upper solution is positive for \(0<\sigma \le 1\) and the lower solution is positive for \(-1<\sigma \le 1\). Note, however, that the case \(\sigma = 1\) has to be excluded as it implies \(\mu = \lambda = {\pm } 2\sqrt{-\Lambda /3}\) and these are precisely the points where the vanishing sets of \(P_\Lambda\) and \(\mu ^2 + 2\lambda \mu + 4\Lambda\) intersect. To summarize, the allowed range for \(\sigma\) in the upper solution is ]0, 1[, while that in the lower solution is \(]-1,1[\). Moreover, for each such case, there are two solutions for \(\lambda\), one positive and one negative.
Meanwhile, from (12) and (13), we can derive the following ode for \(\sigma\):
We can now obtain separable odes for \(\sigma\) by substituting the solutions for \(\lambda\) in (45) into the above:
The \({\mp }\) in the above refers to the choice of sign \({\pm }\) of \(\lambda\). The allowed range for \(\sigma\) in (46) is ]0, 1[ while that in (47) is \(]-1,1[\). The right-hand side in (46) is non-vanishing for all \(\sigma\) in the allowed range ]0, 1[, while the right-hand side in (47) vanishes only at \(\sigma = \frac{1}{2}\) in the allowed range \(]-1,1[\). This corresponds to the stationary solution at \(2\mu = \lambda ={\pm } 2\sqrt{-2\Lambda /3}\) that we already encountered in (44). On the complement of this, we can separate the variables and integrate to obtain
where u is a dummy integration variable, while \(\sigma _0\) and \(t_0\) are integration constants. The integration constants are redundant and the choice of \(\sigma _0\) may be absorbed into the choice of \(t_0\).
We now make the general observation that if the integrand f(u) of a given integral \(F(\sigma ):=\int ^\sigma _{\sigma _0} f(u)du\) has the asymptotic behavior \(f(u)\sim (u-u_0)^\alpha\) as \(u\rightarrow u_0\) and is well-defined over the half-closed interval \([\sigma _0,u_0[\) (if \(\sigma _0 < u_0\)) or \(]u_0,\sigma _0]\) (if \(\sigma _0 > u_0\)), then \(F(\sigma )\) converges in the limit \(\sigma \rightarrow u_0\) when \(\alpha > -1\) and diverges otherwise. For (48), the integrand has the asymptotic behavior
Thus, the integral is well-defined in the limit \(\sigma \rightarrow 0\), so we can set \(\sigma _0=0\). Then, as \(\sigma \rightarrow 0\), we have \(t \rightarrow t_0\), while as \(\sigma \rightarrow 1\), we have \(t \rightarrow {\pm } \infty\). For all other values of \(\sigma\) between these two limits, the integral is well-defined. So, the maximal domains of definition of the upper and lower solutions are \(]t_0,+\infty [\) and \(]-\infty ,t_0[\), respectively. These can be combined into a single solution (39).
For (49), the integrand has the asymptotic behavior
The integral is ill-defined when \(\sigma =\frac{1}{2}\) lies in the domain of integration. So we have two qualitatively different choices, namely \(\sigma _0 <\frac{1}{2}\) and \(\sigma _0 >\frac{1}{2}\). In the first case, since the integral is well-defined in the limit \(\sigma \rightarrow -1\), we can set \(\sigma _0 = -1\). Then, as \(\sigma \rightarrow -1\), we have \(t \rightarrow t_0\), while as \(\sigma \rightarrow \frac{1}{2}\) from below, we have \(t \rightarrow {\mp } \infty\). For all other values of \(\sigma\) between these two limits, the integral is well-defined. So, the maximal domains of definition of the upper and lower solutions are \(]-\infty ,t_0[\) and \(]t_0,+\infty [\), respectively. These can be combined into a single solution (40).
However, if \(\sigma _0 >\frac{1}{2}\), say \(\sigma =\frac{3}{4}\), then as \(\sigma \rightarrow \frac{1}{2}\) from above, we have \(t\rightarrow {\pm }\infty\), while as \(\sigma \rightarrow 1\), we have \(t\rightarrow {\mp }\infty\). For all other values of \(\sigma\) between these limits, the integral is well-defined, so we have two solutions defined for all \(t\in \mathbb {R}\), namely (41).
It remains to check which of the solutions satisfy the sign constraint \(\mu ^2 +2\lambda \mu +4\Lambda <0\) necessary for the metric to be positive definite. Note that the condition \(\mu ^2 +\lambda \mu +2\Lambda =0\) automatically implies
So the stationary solutions and the solution (38) satisfy the sign constraint.
For the rest of the solutions, we see using (45) that
For \(-1<\sigma < 1\), the right-hand side is positive for the upper solution and negative for the lower solution. Multiplying by \(\lambda ^2\) throughout then tells us that (39) (which corresponds to the upper solution) does not satisfy the sign constraint, while (40) and (41) (which correspond to the lower solution) do satisfy the sign constraint. \(\square\)
Remark 4.12
For \(\Lambda =-6\), the two stationary solutions are the solutions associated with the complex hyperbolic plane with holomorphic sectional curvature \(-4\), while the non-stationary solutions in (40) and (41) are the solutions associated with the one-loop deformed universal hypermultiplet.
The change of coordinates between \(\sigma\) and \(\rho\) may be deduced from (33) to be
This is well defined for \(-1< \sigma < 1\). Multiplying (31) by \(\frac{dt}{d\sigma }\) and using the chain rule on the right-hand side gives us
Using the explicit expressions in (40) and (41), we find that
Meanwhile, using (50), we find that
Thus, we see that (51) holds only for the upper solution
When \(\frac{1}{2}<\sigma <1\), we have \(\frac{\rho }{c}>0\), while when \(-1<\sigma < \frac{1}{2}\), we have \(\frac{\rho }{c}<-2\). This is consistent with the fact that the one-loop deformed universal hypermultiplet metric is complete over the domain \(\frac{\rho }{c}>0\) and incomplete over the domain \(\frac{\rho }{c}<-2\).
In principle, for arbitrary values of K, the constraint (37) allows us to write \(\lambda\) as an implicit function of \(\mu\), which can then be used to turn (13) into a separable ode in \(\mu\). However, as (37) amounts to a bivariate polynomial equation of degree 7, the implicit function cannot be expected to have a closed form in terms of radicals. Nevertheless, it is possible to make conclusions about the completeness of the solutions, as in the next theorem. From Sect. 4.2 and Myer’s theorem we know that the Einstein constant \(\Lambda\) of any complete solution of the Einstein equations (12)-(14) is necessarily negative. So we may as well assume \(\Lambda = -6\).
Theorem 4.13
The complex hyperbolic metric (16) of constant holomorphic sectional curvature \(-4\) and the one-loop deformed universal hypermultiplet metric with \(\frac{\rho }{c}>0\) are the only complete solutions of the Einstein equations (12)-(14) for \(\Lambda = -6\).
Proof
Suppose we have a complete solution \((\lambda (t), \mu (t))\) of (12)-(14). The solution is either bounded in both the limits \(t\rightarrow {\pm }\infty\) or unbounded in at least one.
We first consider the bounded case. Fix a real number k and define
By (12), (13), and (36), we have
The function h is strictly positive, and so \(-hP_\Lambda ^2\) is non-positive, for all \(\lambda ,\mu\) and all \(\Lambda <0\) whenever k satisfies
Thus, given that k is in the above range, we have a monotonically decreasing function \(f(\lambda (t),\mu (t))\) of t.
Any monotonically decreasing function of t is either unbounded or has well-defined (finite) limits as \(t\rightarrow {\pm } \infty\). Since our solution is assumed to be bounded, it has to be the latter case. In fact, the limiting value of f must be one for which \(f'=-hP_\Lambda ^2\) (and hence \(P_\Lambda\)) vanishes. Thus, we have a well-defined limit
The constant K in the constraint (37) is either zero or nonzero. We have already explicitly described the \(K=0\) case in Proposition 4.11 and seen in Remark 4.12 that the only complete solutions for \(\Lambda = -6\) correspond to precisely the complex hyperbolic metric with holomorphic sectional curvature \(-4\) and the one-loop deformed universal hypermultiplet metric with \(\frac{\rho }{c}>0\). So we may assume \(K \ne 0\) now. Since the solution is bounded, this implies that
The vanishing sets of the polynomials \(\mu ^2 + 2\lambda \mu + 4\Lambda\) and \(P_\Lambda\) intersect in precisely the points \({\pm } \Big ( \frac{2\sqrt{-\Lambda }}{\sqrt{3}}, \frac{2\sqrt{-\Lambda }}{\sqrt{3}}\Big )\). These can be checked to be fixed points of the first-order ode system (12) and (13). Moreover, \(\Big ( \frac{2\sqrt{-\Lambda }}{\sqrt{3}}, \frac{2\sqrt{-\Lambda }}{\sqrt{3}}\Big )\) is a stable fixed point, while \(-\Big ( \frac{2\sqrt{-\Lambda }}{\sqrt{3}}, \frac{2\sqrt{-\Lambda }}{\sqrt{3}}\Big )\) is an unstable fixed point. It thus follows that
Now, as the vanishing set of \(\mu ^2 + \lambda \mu + 2\Lambda\) is a hyperbola, its complement in \(\mathbb {R}^2\) consists of three connected components. The two fixed points \({\pm }\Big ( \frac{2\sqrt{-\Lambda }}{\sqrt{3}}, \frac{2\sqrt{-\Lambda }}{\sqrt{3}}\Big )\) are on two different connected components; hence, any complete solution has to intersect the hyperbola \(\mu ^2 + \lambda \mu + 2\Lambda =0\). But this is not possible since K vanishes if \(\mu ^2 + \lambda \mu + 2\Lambda\) vanishes, and we have assumed that \(K\ne 0\).
Next, we consider the case where the solution \((\lambda (t), \mu (t))\) is unbounded in at least one of the limits \(t\rightarrow {\pm }\infty\). Without loss of generality, we may assume the solution is unbounded as \(t\rightarrow +\infty\). Then there exists a sequence \(t_i\rightarrow +\infty\) such that at least one of the following holds:
Since the solution satisfies a polynomial constraint, by regarding it as the vanishing set of a polynomial on \(\mathbb {R}\mathbb {P}^2\), we even see that \(\lim _{t\rightarrow \infty } \frac{1}{\lambda (t)} =0\) or \(\lim _{t\rightarrow \infty } \frac{1}{\mu (t)} =0\).
If we let \(\sigma = \frac{\mu }{\lambda }\) and \(\nu = \frac{\lambda }{\mu }\), then the constraint (37) may be rewritten in the following manner over suitable domains:
where K is some constant. The above imply that in the limit \(|\lambda | \rightarrow \infty\), we have either \(\sigma = -1\) or \(\sigma = 0\), while in the limit \(|\mu | \rightarrow \infty\), we have \(\nu = -1\). Meanwhile (12) and (13) imply that
Thus, in the limit \(|\lambda | \rightarrow \infty\), we have either \(\big (\frac{2}{\lambda }\big )' \rightarrow -3\) or \(\big (\frac{2}{\lambda }\big )'\rightarrow 1\), while in the limit \(|\mu | \rightarrow \infty\), we have \(\big (\frac{2}{\lambda }\big )'\rightarrow 3\). This gives a contradiction. \(\square\)
References
Antoniadis, I., Minasian, R., Theisen, S., Vanhove, P.: String loop corrections to the universal hypermultiplet. Class. Quant. Grav. 20(23), 5079–5102 (2003)
Alekseevsky, D.V., Cortés, V., Dyckmanns, M., Mohaupt, T.: Quaternionic Kähler metrics associated with special Kähler manifolds. J. Geom. Phys. 92, 271–287 (2015)
Cortés, V., Saha, A.: Quarter-pinched Einstein metrics interpolating between real and complex hyperbolic metrics. Math. Z. 290, 155–166 (2018)
Cortés, V., Saha, A., Thung, D.: Symmetries of quaternionic Kähler manifolds with \(S^1\)-symmetry. Trans. London Math. Soc. 8(1), 95–119 (2021)
Dunajski, M., Hoegner, M.: SU(2) solutions to self-duality equations in eight dimensions. J. Geom. Phys. 62(8), 1747–1759 (2012)
Ellis, G.F.R., MacCallum, M.A.H.: A class of cosmological models. Commun. Math. Phys. 12, 108–141 (1969)
Hein, H.-J., Sun, S., Viaclovsky, J., Zhang, R.: Nilpotent structures and collapsing Ricci-flat metrics on K3 surfaces. J. Amer. Math. Soc., to appear
Robles Llana, D., Saueressig, F., Vandoren, S.: String loop corrected hypermultiplet moduli spaces. J. High Energy Phys. 2006(03), 81 (2006)
Salamon, S.: Lie groups and special holonomy. Geometria Diferencial Unicamp, Geometry Webinar AmSur/AmSul 29, https://www.youtube.com/watch?v=ylixrP0jlPE
Wilson, E.N.: Isometry groups on homogeneous nilmanifolds. Geometriae Dedicata 12, 337–346 (1982)
Acknowledgements
We thank Maciej Dunajski, Ángel Murcia, and Simon Salamon for useful comments.
Funding
Open Access funding enabled and organized by Projekt DEAL. This work was supported by the German Science Foundation (DFG) under Germany’s Excellence Strategy – EXC 2121 “Quantum Universe” – 390833306.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Cortés, V., Saha, A. Four-dimensional Einstein manifolds with Heisenberg symmetry. Annali di Matematica 201, 1075–1095 (2022). https://doi.org/10.1007/s10231-021-01149-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-021-01149-8