On the linear stability of nearly Kähler 6-manifolds

We show that a strict, nearly Kähler 6-manifold with either second or third Betti number nonzero is linearly unstable with respect to the ν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\nu $$\end{document}-entropy of Perelman and hence is dynamically unstable for the Ricci flow.

Kröncke [16] and the second author [24], the Einstein metrics (with negative scalar curvature) are also linearly stable.
When c is real and nonzero, the Einstein metric g has positive scalar curvature, and so by Lichnerowicz's theorem it cannot admit any harmonic spinors. Friedrich [12] then derived a positive lower bound for the eigenvalues of the square of the Dirac operator and furthermore showed that the lower bound is achieved precisely for those manifolds which admit a non-trivial Killing spinor. These manifolds are known to be locally irreducible and cannot be locally symmetric unless they are spherical space-forms (which we will exclude from our discussion henceforth). While they are far from being classified, there is a wellknown rough classification by Bär [1] in terms of the restricted holonomy of their metric cones (R + × M, dt 2 + t 2 g). The only possibilities are SU( n+1 2 ), Sp( n+1 4 ), G 2 , or Spin (7). Thus, n can be even only if n = 6, and, in this case, by the work of Grunewald [13] (see also chapter 5 in [3]), (M, g) is either isometric to round S 6 or a strict nearly Kähler 6-manifold.
This article examines the linear stability of this class of Einstein 6-manifolds. Recall that a nearly Kähler manifold (M, J , g) is an almost Hermitian manifold that satisfies (∇ X J )X = 0 for all tangent vectors X , where ∇ denotes the Levi-Civita connection of g. The nearly Kähler structure is strict if it is not Kähler.
For the purpose of this paper, a closed Einstein manifold (M, g) is linearly stable if for all transverse traceless (TT) symmetric 2-tensors h, i.e., divergence-free and trace-free symmetric 2-tensors, the quadratic form (1.1) In the above,R is the action of the curvature tensor on symmetric 2-tensors (see (2.1)).
(M, g) is linearly unstable if it is not linearly stable. The coindex of a quadratic form is the dimension of the maximal subspace on which it is positive definite. More comments about stability will be given in Sect. 2. Here, we only mention that (a positive multiple of) the above quadratic form occurs in the second variation formula of both the Einstein-Hilbert action and Perelman's ν-entropy.
The main result of this article is Note that an Einstein metric g is dynamically unstable if there exists a non-trivial ancient rescaled Ricci flow g t , − ∞ < t ≤ 0, such that g t converges modulo diffeomorphisms to g in the pointed Cheeger-Gromov topology. The conclusion about dynamic instability in the above theorem follows from Theorem 1.3 in [15].
The proof of Theorem 1.1 actually shows that the coindex of the Einstein metric g (for either the Einstein-Hilbert action or ν-functional) By the theorem of Bonnet-Myers, a strict nearly Kähler 6-manifold has finite fundamental group. On the other hand, by pull-back any Riemannian cover of such a manifold also has a strict nearly Kähler structure. From the properties of the transfer homomorphism, the corresponding Betti numbers of any Riemannian cover are at least as large as those of the base. Hence, the nearly Kähler metrics on the covers are also linearly unstable.  [11]. One cohomogeneity one non-homogeneous nearly Kähler metric was produced on each of S 6 and S 3 × S 3 . Our result implies that the second metric is dynamically unstable.
In [25], we showed that all the homogeneous nearly Kähler 6-manifolds other than the isotropy irreducible space G 2 /SU(3) ≈ S 6 are linearly unstable. Theorem 1.1 provides some additional information for these cases. In the case of (SU(2) × SU(2) × SU(2))/ SU(2), it was shown in [25] that the eigenspace corresponding to the first nonzero eigenvalue of the Laplace-Beltrami operator of the nearly Kähler normal metric has dimension 12, and the corresponding eigenvalue is less than twice the Einstein constant. Hence, the normal metric is linearly unstable with respect to the ν-entropy. However, the instability with respect to the Einstein-Hilbert action was unresolved. Theorem 1.1 shows that this is also the case, and further that the coindex of g for the ν-entropy is at least 12 + 2 = 14. As for Sp(2)/(Sp(1)U(1)) = CP 3 , the Ziller metric was shown to be linearly unstable with respect to the Einstein-Hilbert action by appealing to the properties of its canonical variation as a Riemannian submersion type metric. The above theorem gives the instability without resorting to using fibrations or homogeneous geometry. Finally, the coindex of the nearly Kähler normal metric on SU(3)/T 2 is at least 2 since the second Betti number is 2 in this case.
Finally, we mention that Theorem 1.1 can be interpreted as a rigidity result in the form of The corollary follows immediately from Theorem 1.1 by applying Wall's classification of closed simply connected spin 6-manifolds [23]. Recall that the absence of torsion in the second integral homology implies that there is no torsion in integral homology, and Wall showed that such manifolds are determined up to diffeomorphism by their integral homology type and their first Pontryagin class.
After recalling in the next section, the various notions of stability and those properties of nearly Kähler manifolds that will be used in this paper, the proof of Theorem 1.1 will be given in Sect. 3.

Preliminaries and properties of nearly Kähler manifolds
We begin with explicit statements of conventions used in this paper because different authors use different conventions for curvature quantities, and signs are of utmost importance for computations in the next sections. We take the (1, 3) curvature tensor to be R X , . , e n } is an orthonormal frame, the (0, 4)-curvature tensor is taken to be R(e i , e j , e k , e l ) = R i jkl . The sectional curvature determined by the 2-plane {e i , e j } is R i j ji . The action of the curvature on symmetric 2-tensors is given by (2.1) Laplace-type operators will be consistent with the Laplace-Beltrami operator on functions given as − tr g (Hess g ), for which the eigenvalues are non-negative.

Notions of linear stability of Einstein metrics
We next describe in more detail the various notions of stability mentioned in the Introduction. As is well known, Einstein metrics on closed manifolds are critical points of the total scalar curvature functional restricted to unit volume metrics. The second variation formula at an Einstein metric consists of three parts. For directions tangent to the orbit of the diffeomorphism group, the second variation is zero, and along directions corresponding to conformal changes, the second variation is non-negative as a consequence of the theorem of Lichnerowicz-Obata. Therefore, it is customary to associate linear stability of the Einstein-Hilbert functional with the second variation restricted to the space of transverse traceless symmetric 2-tensors (TTtensors), which is the tangent space of the space of unit volume constant scalar curvature metrics. By the work of Berger and Koiso, on this space the second variation is given by 1 2 Q(h, h), where Q is given by (1.1). Note that the operator ∇ * ∇ − 2R on TT-tensors at an Einstein metric with Einstein constant is the same as L − 2 · I where L is the Lichnerowicz Laplacian and I is the identity operator. The notion of linear instability given in the Introduction is equivalent to the condition ∇ * ∇h − 2Rh, h L 2 (M,g) < 0 for some nonzero TT-tensor h.
Einstein metrics with positive scalar curvature also occur among the critical points of Perelman's ν-entropy [20]. The second variation formula for this functional at an Einstein metric was computed by Cao et al. [6] and explained in detail in [7]. (For the corresponding formula at a shrinking gradient Ricci soliton, see [8].) It likewise consists of three parts. Along directions orthogonal to the orbit of the diffeomorphism group and along the space of TT-tensors, it agrees with that for the Einstein-Hilbert action (up to some positive constant factor). Along directions tangent to volume preserving conformal deformations, however, it can only have a positive definite subspace provided there are eigenfunctions of the Laplace-Beltrami operator with eigenvalues less than 2 . In other words, unstable directions are given by these eigenfunctions and by TT-tensors which are eigentensors of the Lichnerowicz Laplacian with eigenvalue < 2 .
Hence, Einstein metrics (with positive scalar curvature) which are linearly unstable with respect to the Einstein-Hilbert action are automatically linearly unstable with respect to the ν-entropy. As mentioned in the Introduction, Kröncke's theorem implies that ν-linearly unstable Einstein metrics are dynamically unstable with respect to the Ricci flow.

Properties of nearly Kähler 6-manifolds
As mentioned in the introduction, an almost Hermitian manifold (M 2m , g, J ) is called nearly Kähler if (∇ X J )X = 0 holds for all tangent vectors X , where ∇ denotes the Levi-Civita connection of g. The canonical Hermitian connection∇ is defined by∇ X Y = ∇ X Y − 1 2 J (∇ X J )Y . This is a U(m) connection (i.e.,∇g = 0 and∇ J = 0) whose torsionT , given byT X Y := − 1 2 J (∇ X J )Y , is skew-symmetric. It is well known that for all nearly Kähler manifolds the torsionT is∇-parallel. The Kähler form ω of M is given by ω(·, ·) = g(J ·, ·). The nearly Kähler condition implies that the tensor + := ∇ω is a 3-form.
Recall that the almost complex structure J acts as an automorphism on the space of complex-valued differential forms and induces a (pointwise) orthogonal decomposition of this space into forms of type ( p, q). Our convention here is that of [4], so that J acts on a form of type ( p, q) as multiplication by i q− p . We denote by ( p,q)+(q, p) TM the space of forms of type ( p, q) + (q, p), i.e., the projection of the complex bundle ( p,q) TM onto the real bundle p+q TM, e.g., the Kähler form ω is of type (1, 1) and + is of type (3, 0) + (0, 3).
Similarly, the bundle SymTM of g-symmetric endomorphisms splits into the orthogonal direct sum SymTM = Sym + TM ⊕ Sym − TM, of symmetric endomorphisms commuting, respectively, anti-commuting, with the almost complex structure J . The trace of every element in Sym − TM is automatically 0, and Sym + TM decomposes further as Sym + TM = Sym + 0 TM ⊕ I, i.e., into its trace-free part and multiples of the identity. From now on we assume that M is 6-dimensional and that the nearly Kähler manifold is strict, i.e., (M, g, J ) is not Kähler. In this situation, the metric g is Einstein and we assume its scalar curvature is normalized to be 30. It turns out that the 3-form + has pointwise constant norm and can thus be considered as the real part of a∇-parallel complex volume form = + + i − , where − = * + . Thus, M carries a SU(3)-structure with minimal connection∇, which has holonomy contained in SU(3).
We will need identifications of the subbundles Sym ± TM with spaces of forms. First, the bundle Sym + 0 TM can be identified with  1, 2). Here, the isomorphism is given by the map h → h * + , where h * denotes the natural action of endomorphisms on forms defined by h * + = − i h(e i )∧e i + , for any orthonormal basis {e i } of T . For more details, we refer to [17], p. 60. These two identifications are∇-parallel bundle isomorphisms since they are fibrewise defined by SU(3)-equivariant maps.
In the following, it will be convenient to consider the standard Laplacian V introduced in [21]. It is a Laplace-type operator acting on sections of any vector bundle V M associated with the (oriented orthonormal) frame bundle P via a representation (V , ρ) of SO(n). It is defined as V = ∇ * ∇ + q(R), where ∇ is the covariant derivative induced by the Levi-Civita connection and q(R) is a symmetric endomorphism of V M, linear in the Riemannian curvature R and defined fibrewise by q(R) = 1 2 i, j (e i ∧ e j ) * R(e i ∧ e j ) * . For any 2-form A ∈ 2 R n ∼ = so(n), we denote by A * the action of A on V via the differential of ρ.
The motivating example is the standard form representation V = k T. Then, V is the Hodge-Laplace operator = d d * +d * d on differential forms. Another important example is V = SymT. Here, the standard Laplace operator coincides with the Lichnerowicz Laplacian L on symmetric endomorphisms, or equivalently symmetric 2-tensors. In particular, we have q(R) = − 2R + Ric, where (Ric h)(X , Y ) := h(Ric X , Y ) + h(X , Ric Y ) denotes the standard derivative extension of the Ricci endomorphism to symmetric 2-tensors and the curvature operatorR is defined by (2.1), or equivalently by (R h)(X , Y ) = − i h(R X , e i Y , e i ) (cf. [21], p. 280).
More generally, one can consider a Laplace-type operator¯ V :=∇ * ∇ + q(R), where instead of the Levi-Civita connection ∇ one has a metric connection∇ with curvatureR. The frame bundle P has to be replaced by a G-principal bundle with G = Hol(∇). Here, V is a G-representation and it is reasonable to consider only connections with skew-symmetric and parallel torsion. In particular, if∇ is the canonical hermitian connection of a nearly Kähler manifold, the standard Laplace operator¯ V is exactly the Hermitian Laplacian¯ introduced in [19], p. 254. An important property of the standard Laplacian is that it commutes with all parallel bundle maps (cf. [21], p. 283).
Regarding harmonic forms on M we shall need to use the following result of Verbitsky: An alternative proof of the above result can be found on p. 598 of [10].
3 Proof of Theorem 1.1

The b 2 (M) = 0 case
Recall that Cao, Hamilton, and Illmanen observed in [6], pp. 6-7, that a compact shrinking Kähler Ricci soliton with b 1,1 ≥ 2 is linearly unstable and gave a simple argument for Kähler-Einstein case. (For the case of Kähler Ricci solitons, see [14]). Our result may be viewed as the analog of this observation for complete, strict, nearly Kähler 6-manifolds. In this case, the fundamental 2-form ω is not closed, and by Verbitsky's theorem, any harmonic 2-form is pointwise orthogonal to ω. Hence, the analogous condition is b 2 (M) > 0 instead. Let η be a harmonic 2-form and h(X , Y ) := η(J X, Y ). By Verbitsky's theorem, η is J -invariant and primitive. So h is a J -invariant symmetric 2-tensor. Since η is pointwise orthogonal to ω, it follows that tr g h = 0. The harmonic form η is closed and co-closed, which implies by a short calculation that h is divergence free (cf. Lemma 4.2 in [17]).
As a consequence of Proposition 3.4 and Corollary 4.4 in [18], we have that and coincide on primitive co-closed (1, 1)-forms. Hence,¯ η = η = 0. Since the standard Laplace operator¯ commutes with∇-parallel bundle homomorphims, we also have¯ h = 0. Using the definition of¯ and again Proposition 3.4 and Corollary 4.4 of [18] we obtain Since the nearly Kähler metric g is Einstein with scalar curvature normalized to be 30, it follows that Ric h = 10h. Hence,
This completes the proof of Theorem 1.1.
where , denotes the inner product for 2-forms. Indeed, the righthand side is the inverse of the isomorphism h → η = h * + mentioned above. The above formula is the analog of Bryant's formula (2.17) in [5] for the nearly parallel G 2 case.