Abstract
We give bounds on the first non-zero eigenvalue of the scalar Laplacian for both the Page and the Chen–LeBrun–Weber Einstein metrics. One notable feature is that these bounds are obtained without explicit knowledge of the metrics or numerical approximation to them. Our method also allows the estimation of the invariant part of the spectrum for both metrics. We go on to discuss an application of these bounds to the linear stability of the metrics. We also give numerical evidence to suggest that the bounds for both metrics are extremely close to the actual eigenvalue.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Main results
The purpose of this paper is to provide some estimates for the first non-zero eigenvalue of the scalar Laplacian of two distinguished Einstein metrics. The metrics we are interested in are the Page metric [18] on \(\mathbb {CP}^{2}\sharp \overline{\mathbb {CP}}^{2}\) and the Chen–LeBrun–Weber metric [9] on \(\mathbb {CP}^{2}\sharp 2\overline{\mathbb {CP}}^{2}\). The main result we prove is:
Theorem 1.1
Let \(g_{P}\) denote the Page metric on \(\mathbb {CP}\sharp \overline{\mathbb {CP}}^{2}\) with
Then, the first non-zero eigenvalue of the Laplacian on functions \(\lambda ^{P}_{1}\) satisfies
Let \(g_\mathrm{CLW}\) denote the Chen–LeBrun–Weber metric on \(\mathbb {CP}\sharp 2\overline{\mathbb {CP}}^{2}\) with
Then, the first non-zero eigenvalue of the Laplacian on functions \(\lambda ^\mathrm{CLW}_{1}\) satisfies
The lower bound of \(4\Lambda /3\) in Theorem 1.1 is just the classical Lichnerowicz-Obata lower bound [3]. The main contribution of this paper is the upper bound for the first eigenvalue. Motivations for this sort of result come from at least two sources. First, \(\lambda _{1}\) is an important quantity to many physicists. For example, it controls the rate of convergence of heat flow on the manifold. One of the main applications of numerical approximations to Einstein metrics has been to calculate \(\lambda _{1}\) [4, 12, 13].
Second, such bounds are useful in the study of the Ricci flow and can be used to determine whether an Einstein metric is linearly stable as a fixed point of the flow (we refer the reader to Sect. 5 for details). The investigation of linear stability was instigated by Cao, Hamilton and Ilmanen [7]. They noted that if the first non-zero eigenvalue \(\lambda _{1}\) of the scalar Laplacian satisfies
then the Einstein metric \(g\) is linearly unstable and can be destabilised by conformal perturbations. They raised as an open question the existence of any Einstein metric satisfying the bound (1.1). Theorem 1.1 answers this question in the affirmative and gives the following corollary:
Corollary 1.2
The Page metric is linearly unstable and can be destabilised by conformal perturbations.
The instability of the Page metric has been known for nearly thirty years due to the work of Young [20] (though it seems that the mathematical community was not aware of her work until recently). In the recent paper [14] the first author, Robert Haslhofer and Michael Siepmann gave an alternative proof of the instability of the Page metric based on the presence of many (\(>\)1) harmonic 2-forms on this manifold. There the Bunch-Donaldson numerical approximation to the Chen–LeBrun–Weber metric [5] was used to give strong evidence that the Chen–LeBrun–Weber metric is also unstable.
Our methods do not need any numerical approximations to the metrics, but unfortunately the bound \(2.11\) is tantalisingly just above the magic number \(2\) that is needed to show instability. In Sect. 4, we give some heuristic reasoning as to why one might expect this bound to be very close to optimal. This is reinforced by the numerics in Sect. 6 which suggest that \(1.89\Lambda \) is very close to the exact value of \(\lambda _{1}^{P}\) and \(2.11\Lambda \) is close to \(\lambda _{1}^\mathrm{CLW}\) (assuming that the first non-zero eigenvalue lies in the invariant part of the spectrum).
1.2 Structure of the paper
The method of proving Theorem 1.1 is extremely simple. We use the characterisation of the first non-zero eigenvalue \(\lambda _{1}\) given by the Rayleigh quotient
where \(C_{0}(M)\) is the space of all functions with integral \(0\). Hence, evaluating the quotient on any test function (normalised to have integral 0) gives an upper bound for the eigenvalue. Of course the problem with doing this, especially for the CLW metric, is that one needs to know the metric as well as the volume form to evaluate the term \(\Vert \nabla f\Vert _{L^{2}}\) .
In Sect. 2, we explain how the Page and CLW metrics are conformal to a Kähler metric. We show how this can be used to simplify the calculation of the Rayleigh quotient. In Sect. 3, we use the fact that the Kähler metrics are toric–Kähler to explicitly evaluate the integrals given in Sect. 2, thus proving the main theorem. In Sect. 4, we examine the bounds and explain how they relate to the classical Lichnerowicz-Matsushima bound. In Sect. 5, we give more details on the relationship between the spectrum of the scalar Laplacian and the notion of linear stability. Finally, in Sect. 6, we investigate the spectrum using a more general Rayleigh–Ritz method. This involves finding a suitable set of test functions
and then computing the \(N \times N\) matrices
One then hopes that the eigenvalues of \(B^{-1}A\) will converge to the eigenvalues of \(\Delta \). As we pick very symmetric test functions, we may only be able to compute the symmetric part of the spectrum which can be strictly smaller than the whole spectrum [2]. Where there is convergence, one is able to find the corresponding eigenfunctions expanded in terms of the test functions.
1.3 Notation and conventions
We will use the convention that the Laplacian has non-negative eigenvalues. We will show that the calculation of the Rayleigh quotients we use could be written as a functions of a single variable \(a\) (which determines the critical Kähler class in each case). The value of \(a\) can be approximated to any order as it is the root of a polynomial. Where appropriate, will we give values to 4 significant figures.
2 Simplifying the Rayleigh quotient
The purpose of this section is to exploit some basic facts about conformally Kähler, Einstein \(4\)-manifolds to reduce the calculation of the Rayleigh quotient to integrals involving only rational functions of the scalar curvature of the Kähler manifold.
The Page metric on \(\mathbb {CP}^{2}\sharp \overline{\mathbb {CP}}^{2}\) has a cohomogeneity one action by \(U(2)\) which reduces the Einstein equation to a non-linear system of ODEs which can be solved explicitly. Hence, in theory, one could compute arbitrarily many eigenvalues using a Rayleigh–Ritz method (see Sect. 6 for this approach). Unfortunately, the CLW metric on \(\mathbb {CP}^{2}\sharp 2\overline{\mathbb {CP}}^{2}\) only admits a cohomogeneity two action by a torus \(\mathbb {T}^{2}\) and so the Einstein equation is given by a non-linear system of PDEs. The existence proof given by the authors in [9] is non-constructive, making obtaining information about the geometry of the metric extremely difficult. The main reason we can make progress is a wonderful feature both metrics share. This is a link with Kähler geometry that was first noticed by Derdzinski [10]. We recall that an extremal Kähler metric is one where the gradient of the scalar curvature is a real holomorphic vector field.
Proposition 2.1
(Derdzinski) Let \((M^{4},h)\) be a connected oriented Einstein manifold such that \(W^{+}\) has at most 2 distinct eigenvalues at each point. Then either \(W^{+}\equiv 0\), or else \(W^{+}\) has exactly 2 eigenvalues at each point. In the latter case, moreover, the conformally related metric \(g={(24)}^{1/3}|W^{+}|^{2/3}h\) is locally conformally Kähler. The scalar curvature \(s\) of \(g\) is then nowhere zero and \(h=s^{-2}g\). Furthermore, the metric \(g\) is an extremal Kähler metric.
LeBrun used this observation to prove the following structural result for non-Kähler, Hermitian Einstein metrics on complex surfaces.
Proposition 2.2
(LeBrun) Let \((M^{4},J,g_{e})\) be a compact non-Kähler, Einstein Hermitian manifold. Then there is an extremal Kähler metric \(g_{k}\) on \((M,J)\) with non-constant scalar curvature \(s_{k}\) such that \(g_{e}=s_{k}^{-2}g_{k}\).
Both the Page and the CLW metrics are Hermitian and so are conformal to extremal Kähler metrics by LeBrun’s result. The following proposition is the technical heart of this paper. It shows that one can compute \(\langle \nabla _{e}s_{k}^{p},\nabla _{e}s_{k}^{q}\rangle _{L^{2}(g_{e})}\) as integrals involving only rational functions of \(s_{k}\) and the Kähler metric \(g_{k}\). As we shall see in Sect. 3, this enables explicit calculations in both the case of the Page metric and the CLW metric.
Proposition 2.3
Let \((M^{4},g_{k})\) be a Riemannian manifold and let \(s_{k}\) be the scalar curvature of \(g_{k}\). Let \(\kappa \) be the scalar curvature of the metric \(g_{e} = s^{-2}_{k}g_{k}\). Then for \(p+q \ne 1\) we have the following formula
In particular we have
where \(\mathrm{d}V_{e}\) and \(\mathrm{d}V_{k}\) are the volume forms for \(g_{e}\) and \(g_{k}\), respectively.
Proof
We begin by noting the formula for how the scalar curvature of a \(4\)-manifold changes under conformal rescaling cf [3]. If \(g_{1} = \phi ^{2}g_{e}\) then
where \(s_1\) and \(s_{e}\) are the scalar curvatures of \(g_{1}\) and \(g_{e}\), respectively. The proof follows from noting that
and
Hence
and so
The result follows from integrating by parts and noting that \(\mathrm{d}V_{e} =s_{k}^{-4}\mathrm{d}V_{k}\). \(\square \)
To use the above proposition, we need to be able to calculate the scalar curvature \(\kappa \) of the Einstein metric in terms of data involving the Kähler metric \(g_{k}\). This is achieved by the following
Lemma 2.4
Let \((M^{4},g_{e})\) be an Einstein metric satisfying \(\mathrm {Ric}(g_{e})=\Lambda g_{e}\). Suppose further that \(g_{e}=s^{-2}_{k}g_{k}\) for a Kähler metric \(g_{k}\) with scalar curvature \(s_{k}\). Then
where \(Vol(g_{e})=\int _{M}s^{-4}_{k}\mathrm{d}V_{k}\) is the volume of \(M\) with respect to the Einstein metric \(g_{e}\).
Proof
We begin by recalling the Allendoerfer–Weil version of the Gauss–Bonnet theorem for Einstein metrics in dimension 4;
where \(\chi (M)\) is the Euler characteristic of \(M\) and \(W(g_{e})\) is the Weyl curvature of \(g_{e}\). The term
is conformally invariant and so we can compute it with respect to the Kähler metric \(g_{k}\). We also recall the Hirzebruch signature formula (valid for any metric \(g\))
where \(\tau (M)\) is the signature of \(M\) and \(W^{+}(g), W^{-}(g)\) are the self-dual and anti self-dual components of the Weyl curvature of \(g\), respectively. Putting all this togther with the pointwise equality
we arrive at
To evaluate the last integral we use a standard fact from Kähler geometry that
The formula for \(\Lambda \) now follows. \(\square \)
3 Toric–Kähler metrics
As mentioned in the previous section, the Kähler metrics that are conformal to both the Page and CLW metrics happen to belong to a special class of metric called extremal toric–Kähler metrics. There is a rich and deep theory that these metrics fit into and we refer the reader to Simon Donaldson’s survey of the area [11] for background.
The essential features of the \(4\)-dimensional theory that we will use are the following:
-
There is an open set \(M^{\circ }\subset M\) with \(M^{\circ } \cong P^{\circ } \times \mathbb {T}^{2}\)
-
\(P \subset \mathbb {R}^{2}\) is a convex polytope known as the moment polytope
-
The volume form in the \(P \times \mathbb {T}^{2}\) coordinates is
$$\begin{aligned} \mathrm{d}V_{k}=\mathrm{d}x_{1}\wedge \mathrm{d}x_{2} \wedge \mathrm{d}\theta _{1} \wedge \mathrm{d}\theta _{2} \end{aligned}$$ -
The scalar curvature is an affine function of the coordinates on the moment polytope, i.e.
$$\begin{aligned} s_{k} = c_{1}x_{1}+c_{2}x_{2}+c_{3} \end{aligned}$$for constants \(c_{i}\). In fact both metrics are symmetric under an additional \(\mathbb {Z}_{2}\) action \(x_{1} \leftrightarrow x_{2}\) and so \(c_{1}=c_{2}\).
We note that the convention we follow in this paper is that the torus fibres have volume \(4\pi ^{2}\). This is different to the convention followed in [11]. Putting all these facts together it is not hard to see that the integral of any function of the scalar curvature (especially any rational function) would be easy to compute explicitly as one would be integrating a function in two variables over a polytope in \(\mathbb {R}^{2}\).
The moment polytope \(P\) is essentially determined by the Kähler class \([\omega _{k}] \in H^{2}(M,\mathbb {R})\). The Kähler classes that contain the extremal metrics \(g_{k}\) are themselves very special. They are the classes that contain extremal metrics with the least Calabi energy. We will not discuss this further, but this fact enables the Kähler classes to be determined explicitly. We will now give the proof of the main theorem.
Proof of Theorem 1.1 for the Page metric
Here, we follow the description of the metric given in [14]. This description is originally due to Abreu [1] and the existence of the extremal metric is due to Calabi [6]. The fact that the metric is actually \(U(2)\)-invariant allows a concrete description of the metric in this case.
The moment polytope is a trapezium (trapezoid) \(T \subset \mathbb {R}^{2}\) given as the set of points \((x_{1},x_{2}) \in \mathbb {R}^{2}\) satisfying the inequalities \(l_{i}(x)>0\) where
Here, \(a\) is a constant \(0<a<1\) that determines the Kähler class by varying the volume of the exceptional divisor. As mentioned in [14] the class containing the Kähler metric conformal to the Page metric is the only root of
in the interval \((0,1)\). Even though it can be explicitly described, we will take \(a \approx 0.3141\) to 4 significant figures.
The scalar curvature of the extremal metric is given by
where
The following explicit formulae for integrals of powers of \(s_{k}\) make it very clear that we can obtain as high precision as required by computing more of the decimal expansion of \(a\). We first note that the integral over the trapezium can be simplified as
Thus, when \(q \ne -1,-2\) we have:
When \(q=-1\) we have
and when \(q=-2\) the formula is
The volume of the Page metric in this representation is
The Einstein constant is given by the formula (2.4)
where \(\chi (M)\) is the Euler characteristic of \(M\) and \(\tau (M)\) is the signature. In the case of the Page metric, \(\chi (\mathbb {CP}^{2}\sharp \overline{\mathbb {CP}}^{2})=4\) and \(\tau (\mathbb {CP}^{2}\sharp \overline{\mathbb {CP}}^{2})=0\) yielding \(\Lambda \approx 364.44\).
We now evaluate the integrals for the test function \(s_{k}^{-1}\). Using (2.2) we have
The average value of \(s_{k}^{-1}\), denoted \(\langle s_{k}^{-1} \rangle \), is given by
and hence
This then gives the estimate
and an invariant estimate
\(\square \)
Proof of Theorem 1.1 for the CLW metric
Again we use the description that appears in [14]. The moment polytope \(P \subset \mathbb {R}^{2}\) is a pentagon which can be described as the set of points \((x_{1},x_{2}) \subset \mathbb {R}^{2}\) satisfying the inequalities \(l_{i}(x)>0\) where
Here, \(a\) is a constant that determines the Kähler class by varying the volume of the exceptional divisor when we view \(\mathbb {CP}^{2}\sharp 2\overline{\mathbb {CP}}^{2}\) as \((\mathbb {CP}^{1} \times \mathbb {CP}^{1})\sharp \overline{\mathbb {CP}}^{2}\). The value of \(a\) corresponding to the critical Kähler class has been calculated by LeBrun [15] to be \(a \approx 1.958\). Again, in principle, we could compute \(a\) to any required accuracy as it is the solution of a polynomial equation.
Using some of Donaldson’s theory outlined in [11] we can calculate that the constants \(c_{1}\) and \(c_{2}\) that define the scalar curvature
where
As with the case of the Page metric, we give the explicit formulae for integrals of powers of the scalar curvature \(s_{k}\). We first note that
This yields for \(q \ne -1,-2\)
When \(q=-1\) we have
and for \(q=-2\)
The volume of the CLW metric in this representation is
Again, the Einstein constant \(\Lambda \) can be computed from the formula (2.4). In the case of the CLW metric, \(\chi (\mathbb {CP}^{2}\sharp 2\overline{\mathbb {CP}}^{2})=5\) and \(\tau (\mathbb {CP}^{2}\sharp 2\overline{\mathbb {CP}}^{2})=-1\) yielding \(\Lambda \approx 15.09\).
We now evaluate the integrals for the test function \(s_{k}^{-1}\);
We also have
This then gives the estimate
and an invariant estimate
\(\square \)
We state the bounds in Theorem 1.1 to 3 significant figures. As remarked previously, greater precision in the calculation of the parameter \(a\) in both cases would lead to greater precision in the bounds. The main point is we can be confident that \(\lambda ^{P}_{1} <2\Lambda \).
4 The Matsushima theorem
The choice of \(s_{k}^{-1}\) as the test function in the proof of Theorem 1.1 might not seem the most natural. However, if one takes \(s_{k}\) (normalised to have integral 0) as a test function for example, then the Rayleigh quotient is
for the Page metric and
for the CLW metric. A heuristic reason for why one might expect \(s_{k}^{-1}\) to give a better bound than \(s_{k}\) comes from examining what happens in the Kähler–Einstein case. Here, one has the classical estimate due to Matsushima [17] and later generalised by Lichnerowicz [16]. We use the version stated in [3].
Theorem 4.1
(Matsushima, Theorem 11.52 in [3]) Let \((M,g)\) be a Kähler–Einstein metric satisfying
Then, the first non-zero eigenvalue of the Laplacian on scalars \(\lambda _{1}\) satisfies
Furthermore, suppose equality is achieved, then
So on Kähler–Einstein manifolds, the functions that minimise the Rayleigh quotient are the ones with holomorphic gradients. One is led to wonder if the same might be true on the conformally Kähler, Einstein manifolds we are interested in. Derdzinski’s Theorem 2.1 says that with respect to the Kähler metric \(g_{k}\), \(\nabla _{k}s_{k}\) is a holomorphic vector field. If we consider the gradient of \(s_{k}^{-1}\) with respect to the Einstein metric \(g_{e}=s_{k}^{-2}g_{k}\) we see
Hence on the conformally Kahler, Einstein \(4\)-manifolds we see that \(s_{k}^{-1}\) is a function that has holomorphic gradient with respect to the Einstein metric. This gives a reason why one might expect \(s_{k}^{-1}\) to be a good choice of test function. The numerical results in Sect. 6 also give strong evidence that \(s_{k}^{-1}\) is close to being optimal.
5 Linear stability
5.1 The definition of the \(N\) operator
In this section, we give a few more details regarding the notion of linear stability. Einstein metrics are fixed points of the Ricci flow
in the sense that they evolve via homothety. Perelman [19] introduced a functional \(\nu \) that is monotone increasing under the flow (5.1) except at critical points of the functional. He showed that Einstein metrics are critical points of the \(\nu \)-functional. Hence, it is a natural question to ask whether, starting at a perturbation of an Einstein metric \(g_{e}\), the flow (5.1) converges back to the Einstein metric \(g_{e}\). The monotonicity property of the functional means that if the second variation of \(\nu \) in the direction \(h\in \mathrm {Sym}^{2}(TM^{*})\) is positive, the perturbation \(h\) destabilises the Einstein metric and the flow would not converge back to \(g_{e}\). The second variation formula for the \(\nu \)-functional was first stated by Cao, Hamilton and Ilmanen in [7]. We recall that in this paper we follow the convention that the spectrum of the Laplacian is non-negative:
Theorem 5.1
(Cao–Hamilton–Ilmanen) Let \((M^{n},g)\) be a closed Einstein manifold with \(\mathrm {Ric}(g)=\Lambda g\). For \(h \in \mathrm {Sym}^{2}(TM^{*})\) consider variations \(g_{t}=g+th\). Then, the second variation of \(\nu \) energy at \(g\) is
where \(N\) is given by
and \(v_{h}\) is the solution of
We remark that the proof of this theorem was not given in [7]. A more general second variation formula for the variation at a Ricci soliton was proved by Cao and Zhu in [8]. We recall the splitting of \(\mathrm {Sym}^{2}(TM^{*})\) into
where \(\ker (\mathrm {div}_{0})\) is the space of tensors that are divergence free and \(L^{2}\)-orthogonal to the metric \(g\) (i.e. the integral of the trace vanishes). It is not hard to show that \(N\) vanishes on \(\mathbb {R}g \oplus \mathrm im (\mathrm {div}^{*})\) and so we only consider perturbations in \(\ker (\mathrm {div})_{0}\). Restricted to this space one has
where
is the Lichnerowicz Laplacian. Hence, an Einstein metric is linearly stable if \(\Delta _{L} \ge 2\Lambda \).
5.2 Conformal perturbations
A conformal perturbation is one of the form \(h=ug\) for some \(u\in C^{\infty }(M)\). However, it is actually convenient for us to consider a gauge equivalent perturbation. In [7] the authors define the following operator
Definition 5.2
(\(S\)-operator) Let \((M,g)\) be an Einstein manifold and let \(u\in C^{\infty }(M)\). Then, we define \(S(u) \in \mathrm {Sym}^{2}(TM^{*})\) by
This operator has the following desirable property
Lemma 5.3
The tensor \(S(u)\) is divergence free.
Proof
This follows from the identity \(\mathrm {div}(\phi g) = d\phi \) and the Bochner formula
for a smooth function \(\phi \). \(\square \)
Without loss of generality we can assume that \(S(u) \in \ker (\mathrm {div})_{0}\) by adding a constant to \(u\) if necessary.
Theorem 5.4
(Cao–Hamilton–Ilmanen) The operator \(S\) satisfies the identity
Hence, any eigenfunction of \(\Delta |(\ker (S))^{\perp }\) gives an eigentensor of \(\Delta _{L}\) with the same eigenvalue.
Proof
Expanding out the left-hand side, we get
Then, we get cancellations as \(Rm((\Delta u)g, \cdot ) = Ric .(\Delta u)g\), and similarly in the third line.
For the first term of the second line, we use the equation relating the commutator of the Laplacian and the gradient of a function:
Clearly, the term in front of \(\nabla ^p u\) vanishes. The term in front of \(\nabla ^k\nabla ^p u\) is
Hence, the left-hand side of the first equation becomes
and we are done. \(\square \)
We note that for any Einstein manifold apart form the round sphere, \(\ker (S) = \{0\}\). Hence, the Page metric is destabilised by \(S(u_{1})\) where \(u_{1}\) is an eigenfunction associated to \(\lambda _{1}^{P}\).
6 Numerical results
6.1 The Page metric
In this section, we report on some work that examines numerically the spectrum of the Page metric. We begin by considering the cohomogeneity one description. The principal orbits for the cohomogeneity one action by \(U(2)\) on \(\mathbb {CP}^{2}\sharp \overline{\mathbb {CP}}^{2}\) are \(\mathbb {S}^{3}\) and they form a dense subset diffeomorphic to \(I\times \mathbb {S}^{3}\) for an interval \(I\). Metrics for which the \(U(2)\) action is isometric can be written in the form:
where \(f\) and \(h\) are smooth functions and \(\sigma _{X}, \sigma _{Y}, \sigma _{Z}\) are the one-forms dual to the usual generators of \(\mathfrak {su}(2)\). The Einstein equation becomes a non-linear system of ODEs which one can solve explicitly (see [3] for example). In fact we use a Runge–Kutta (RK4) integrator to numerically generate \(f\) and \(h\), but as the explicit formulae for \(f\) and \(h\) involve evaluating an integral we can get the same precision using this method. We take \(\Lambda =1/2\) which corresponds to initial conditions
and we take a step size of \(0.0001\) in the RK4 integrator. The interval \(I=(0,4.6145)\) in this case. We take the set
where \(t\) is the coordinate on the interval \(I =(0,4.6145)\). We then calculate the matrices \(A\) and \(B\) where
Table 1 records the values of the normalised, non-negative eigenvalues of \(B^{-1}A\) for various values of \(N\).
We also consider the Rayleigh–Ritz method using the results of Proposition 2.3. We take the set
and we compute the matrices
Table 2 records the normalised non-negative eigenvalues of the matrix \(B^{-1}A\) for various values of \(N\).
The numerical investigation seems to suggest that it would be reasonable to conclude that the \(U(2)\)-invariant spectrum of the Page metric begins:
where the factors are taken to 2 significant figures.
6.2 The Chen–LeBrun–Weber metric
We again consider the Rayleigh–Ritz method using the results of Proposition 2.3. We take the set
Table 3 records the normalised non-negative eigenvalues of the matrix \(B^{-1}A\) for various values of \(N\).
Table 3 gives strong evidence that our bound is very close to being optimal, at least for the \(\mathbb {T}^{2} \times \mathbb {Z}_{2}\) invariant spectrum of the CLW metric. We remark that our method seems to give the next non-zero eigenvalue of the CLW metric as close to \(5.37\Lambda \). It would be intriguing to use the Bunch-Donaldson approximation to the CLW metric to numerically investigate the spectrum and see if the bound \(2.11\Lambda \) is also close to optimal. One could also investigate whether there are other eigenvalues apart from those in the \(\mathbb {T}^{2} \times \mathbb {Z}_{2}\)-invariant spectrum. We leave this as a project for the future.
References
Abreu, M.: Kähler geometry of toric varieties and extremal metrics. Int. J. Math. 9(6), 641–651 (1998)
Abreu, M., Freitas, P.: On the invariant spectrum of \(S^{1}\)-invariant metrics on \(\mathbb{S}^{2}\). Proc. Lond. Math. Soc. 84(1), 213–230 (2002)
Besse, A.: Einstein Manifolds. Classics in Mathematics. Springer (2008)
Braun, V., Brelidze, T., Douglas, M.R., Ovrut, B.A.: Eigenvalues and eigenfunctions of the scalar Laplace operator on Calabi-Yau manifolds. J. High Energy Phys. Art No. 120, pp 1–57 (2008)
Bunch, R.S., Donaldson, S.K.: Numerical approximations to extremal metrics on toric surfaces, Handbook of geometric analysis. Adv. Lect. Math. 7(1), 1–28 (2008)
Calabi, E.: Extremal Kähler metrics II, Differential Geometry and Complex Analysis. Springer, Berlin (1985)
Cao, H.D., Hamilton, R., Ilmanen, T.: Gaussian density and stability for some Ricci solitons. arXiv:0404.165 (2004)
Cao, H.D., Zhu, M.: On second variation of Perelman’s shrinker entropy. Math. Ann. 353(3), 747–763 (2012)
Chen, X., LeBrun, C., Weber, B.: On conformally Kähler, Einstein manifolds. J. Am. Math. Soc. 21(4), 1137–1168 (2008)
Derdzinski, A.: Self-dual Kähler manifolds and Einstein manifolds of dimension four. Compos. Math. 49(3), 405–433 (1983)
Donaldson, S.K.: Kähler geometry on toric manifolds and some other manifolds with large symmetry, handbook of geometric analysis. Adv. Lect. Math. 7(1), 29–75 (2008)
Donaldson, S.K.: Some numerical results in complex differential geometry. Pure Appl. Math. Q. 5(2), 571–618 (2009)
Doran, C., Headrick, M., Herzog, C., Kantor, J., Wiseman, T.: Numerical Kähler–Einstein metric on the third del Pezzo. Commun. Math. Phys. 282(2), 357–393 (2008)
Hall, S., Haslhofer, R., Siepmann, M.: The stability inequality for Ricci-flat cones. J. Geom. Anal. 24(1), 472–494 (2014)
LeBrun, C.: Einstein metrics on complex surfaces. In: Pedersen, H., Andersen, J. Dupont, J., Swann A. (eds.) Geometry and Physics (Aarhus, 1995). Lecture Notes in Pure and Applied Mathematics, vol. 184, pp. 167–176. Dekker, New York (1997)
Lichnerowicz, A.: Geometrie des groupes et de transformation, Dunod (1958)
Matsushima, Y.: Remarks on Kähler–Einstein manifolds. Nagoya Math. J. 46, 161–173 (1972)
Page, D.: A compact rotating gravitational instanton. Phys. Lett. 79B, 235–238 (1979)
Perelman, G.: The entropy formula for the Ricci flow and its geometric applications. preprint (2002)
Young, R.E.: Semiclassical instability of gravity with positive cosmological constant. Phys. Rev. D 28(10), 2436–2438 (1983)
Acknowledgments
SH would like to thank his doctoral advisor Simon Donaldson for introducing him to many of the ideas we have used in this paper. We would like to thank Robert Haslhofer for his interest and comments on a previous version of this paper and the anonymous referees for numerous suggestions for improvements. We would also like to thank Steve Zelditch for his assistance. TM is supported by an A.R.C. grant. We acknowledge the support of a Dennison research grant from the University of Buckingham which funded a research visit by TM.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hall, S.J., Murphy, T. On the spectrum of the Page and the Chen–LeBrun–Weber metrics. Ann Glob Anal Geom 46, 87–101 (2014). https://doi.org/10.1007/s10455-014-9412-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10455-014-9412-6