Abstract
We prove the linear stability with respect to the Einstein-Hilbert action of the symmetric spaces \({\text {SU}}(n)\), \(n\ge 3\), and \(E_6/F_4\). Combined with earlier results, this resolves the stability problem for irreducible symmetric spaces of compact type.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let M be a closed manifold of dimension \(n>2\). It is a well-known fact (see [2]) that Einstein metrics are critical points of the total scalar curvature functional
also called the Einstein-Hilbert action, restricted to the space of Riemannian metrics of a fixed volume. In general, these critical points are neither maximal nor minimal. If we, however, restrict S to the set \(\mathfrak {S}\) of all Riemannian metrics on M of the same fixed volume that have constant scalar curvature, then some Einstein metrics are maximal, while others form saddle points. To examine this, one considers the second variation \(S''_g\) of S at a fixed Einstein metric g on M. If we exclude the case where (M, g) is a standard sphere, the tangent space of \(\mathfrak {S}\) at g consists precisely of tt-tensors, i.e. symmetric 2-tensors that are transverse (divergence-free) and traceless. In these directions, the coindex and nullity of \(S''_g\) are always finite. The stability problem is to decide whether they vanish for a given Einstein manifold (M, g).
The stability of an Einstein metric g is determined by the spectrum of a Laplace-type operator \(\varDelta _L\), called the Lichnerowicz Laplacian, on tt-tensors. There is a critical eigenvalue, corresponding to null directions for \(S''_g\), which is equal to \(2E\), where \(E\) is the Einstein constant of g. The metric g is called linearly (strictly) stable if \(\varDelta _L\ge 2E\) (resp. \(\varDelta _L>2E\)) on tt-tensors, and infinitesimally deformable if there is a tt-eigentensor of \(\varDelta _L\) for the critical eigenvalue.
Suppose that (M, g) is a locally symmetric Einstein manifold of compact type. The Cartan–Ambrose–Hicks theorem implies that its universal cover \((\tilde{M},\tilde{g})\) is a simply connected symmetric space. As such, \((\tilde{M},\tilde{g})\) can be written as a Riemannian product of irreducible symmetric spaces of compact type. For many of these spaces, the stability problem has been decided by N. Koiso. The following theorem collects the results of Koiso in [10] together with a result of J. Gasqui and H. Goldschmidt in [7] about the complex quadric \({\text {SO}}(5)/({\text {SO}}(3)\times {\text {SO}}(2))\).
Theorem 1.1
-
1.
The only irreducible symmetric spaces of compact type that are infinitesimally deformable are
$$\begin{aligned}{\text {SU}}(n),\ {\text {SU}}(n)/{\text {SO}}(n),\ {\text {SU}}(2n)/{\text {Sp}}(n)\quad (n\ge 3),\\{\text {SU}}(p+q)/\mathrm {S}({\text {U}}(p)\times {\text {U}}(q))\quad (p\ge q\ge 2),\end{aligned}$$as well as \(E_6/F_4\).
-
2.
The irreducible symmetric spaces
$$\begin{aligned}{\text {Sp}}(n)\quad (n\ge 2),\quad {\text {Sp}}(n)/{\text {U}}(n)\quad (n\ge 3),\end{aligned}$$as well as the complex quadric \({\text {SO}}(5)/({\text {SO}}(3)\times {\text {SO}}(2))\) are unstable.
-
3.
Let (M, g) be an irreducible symmetric space of compact type. If (M, g) is none of the spaces from 1. and 2., nor one of
$$\begin{aligned}{\text {Sp}}(p+q)/({\text {Sp}}(p)\times {\text {Sp}}(q))\quad (p\ge q\ge 2\text { or }p=2,q=1)\end{aligned}$$nor \(F_4/{\text {Spin}}(9)\), then g is strictly stable.
Moreover, the smallest eigenvalue of \(\varDelta _L\) on trace-free symmetric 2-tensors has been computed in each case (see [3]). Among the spaces that possess infinitesimal deformations, we have \(\varDelta _L\ge 2E\) on \(\mathscr {S}^2_0(M)\) on the spaces
which shows that they are linearly stable.
However, this did not fully settle the stability problem on irreducible symmetric spaces of compact type. In particular, it had not been decided whether unstable directions exist on the spaces
In these cases, we know that \(\varDelta _L\) has eigenvalues smaller than \(2E\) on the space of trace-free symmetric 2-tensors, but it had not been checked whether the corresponding eigentensors are also divergence-free. In a recent paper [14], U. Semmelmann and G. Weingart show the following results.
Theorem 1.2
-
1.
The quaternionic Grassmannians \({\text {Sp}}(p+q)/({\text {Sp}}(p)\times {\text {Sp}}(q))\) are linearly stable for \(p=2\) and \(q=1\), but unstable for \(p\ge q\ge 2\).
-
2.
The Cayley plane \(\mathbb {O}P^2=F_4/{\text {Spin}}(9)\) is linearly stable.
The current article finally resolves the question of stability for the last remaining cases by proving the following.
Theorem 1.3
The symmetric spaces \({\text {SU}}(n)\), where \(n\ge 3\), as well as \(E_6/F_4\) are linearly stable.
Consider a manifold (M, g) that is a Riemannian product of Einstein manifolds. Then (M, g) is Einstein if and only if the factors have the same Einstein constant \(E\). It turns out that if \(E>0\), then (M, g) is always unstable (see [12], Prop. 3.3.7). For example, if (M, g) is the Riemannian product of two Einstein manifolds \((M_i^{n_i},g_i)\) (\(i=1,2\)) with the same Einstein constant, then an unstable direction is given by
where \(\pi _i: M\rightarrow M_i\) are the projections onto each factor, respectively. In particular, a product of symmetric spaces of compact type is always unstable since the factors have positive curvature.
If we take (M, g) to be locally symmetric of compact type, we cannot in general conclude its instability from the instability of its universal cover \((\tilde{M},\tilde{g})\). The same holds for the existence of infinitesimal Einstein deformations. On the other hand, if \((\tilde{M},\tilde{g})\) is infinitesimally non-deformable (resp. stable), then the same follows for (M, g). In [11], N. Koiso has proved the infinitesimal non-deformability of a large class of such manifolds:
Theorem 1.4
Let (M, g) be a locally symmetric Einstein manifold of compact type. Let \((\tilde{M},\tilde{g})\) be its universal cover and \((\tilde{M},\tilde{g})=\prod _{i=1}^N(M_i,g_i)\) its decomposition into irreducible symmetric spaces.
-
1.
For \(N=1\), see Theorem 1.1, 1.
-
2.
If \(N=2\) and \(M_i\) are neither of the spaces listed in Theorem 1.1, 1., nor \(G_2\) or any Hermitian space except \(S^2\), then (M, g) is infinitesimally non-deformable.
-
3.
If \(N\ge 3\) and \(M_i\) are neither of the above nor \(S^2\), then (M, g) is infinitesimally non-deformable.
A closely related notion of stability arises in the study of the Ricci flow. The fixed points (modulo diffeomorphisms and scaling) of the Ricci flow are called Ricci solitons. The \(\nu \)-entropy defined by G. Perelman is a quantity that increases monotonically under the Ricci flow. Its critical points are the shrinking gradient Ricci solitons, which include Einstein manifolds. An Einstein metric is called \(\nu \)-linearly stable if the second variation of the \(\nu \)-entropy is negative-semidefinite. H.-D. Cao, R. Hamilton and T. Ilmanen first studied the \(\nu \)-linear stability of Einstein metrics (see [4]). It turns out that an Einstein metric is \(\nu \)-linearly stable if and only if \(\varDelta _L\ge 2E\) on tt-tensors and if the first nonzero eigenvalue of the ordinary Laplacian on functions is bounded below by \(2E\) as well. In particular, \(\nu \)-linear stability implies linear stability with respect to the Einstein-Hilbert action. In [3], the \(\nu \)-linear stability of irreducible symmetric spaces of compact type is completely decided.
There is yet another notion of stability worth mentioning. It is motivated, for example, by the investigation of Anti-de Sitter product spacetimes and generalized Schwarzschild-Tangherlini spacetimes (see [5] or [8]). An Einstein manifold \((M^n,g)\) with Einstein constant \(E\) is called physically stable if
on tt-tensors. This critical eigenvalue is significantly smaller than the one from stability with respect to the Einstein-Hilbert action, and even negative for \(n>9\). As it turns out, all irreducible symmetric spaces of compact type are physically stable (see [5]). If (M, g) is a product of at least two symmetric spaces of compact type, then the smallest eigenvalue of \(\varDelta _L\) on tt-tensors is actually equal to 0; hence (M, g) is physically stable if and only if \(n\ge 9\).
In Sect. 2, we fix the notation and definitions used throughout this work. In particular, we elaborate on the notion of stability of an Einstein metric. In Sect. 3, we recall some tools from the harmonic analysis of homogeneous spaces that are routinely employed. Furthermore, we prove a technical lemma that allows us to make explicit computations involving the divergence operator. A helpful formula for the dimension of tt-eigenspaces of the Lichnerowicz Laplacian is worked out in Sect. 4, generalizing a proposition of Koiso and utilizing properties of Killing vector fields on Einstein manifolds. Sect. 5 uses representation theory to determine the stability of \({\text {SU}}(n)\), making use of the formula from Sect. 4; in Sect. 6, the same is done for \(E_6/F_4\). A different approach for proving the stability of both spaces that involves explicit computations of the divergence operator can be found in the Appendix.
2 Preliminaries
Throughout what follows, let (M, g) be a compact, orientable Riemannian manifold. Let \(\nabla \) denote the Levi-Civita connection of g. The Riemannian curvature tensor, Ricci tensor and scalar curvature are in our convention given as
respectively.Footnote 1 The action of the Riemannian curvature extends to an endomorphism on tensor bundles as
where \(\nabla \) also denotes the induced connection on the respective tensor bundle. Furthermore, let \(\mathscr {S}^p(M)=\varGamma ({\text {Sym}}^pT^*M)\) for \(p\ge 0\). We denote by
the divergence operator on symmetric tensors, given by
The space of tt-tensors, i.e. trace- and divergence-free symmetric 2-tensors on M, is denoted by \(\mathscr {S}^2_{\mathrm {tt}}(M)\).
Let \(\delta ^*: \mathscr {S}^p(M)\rightarrow \mathscr {S}^{p+1}(M)\) be the formal adjointFootnote 2 of the divergence operator. It can be written as
where \((e_i)\) is a local orthonormal basis of TM. Here, \(\odot \) denotes the (associative) symmetric product, defined by
for \(\alpha \in {\text {Sym}}^kT\), \(\beta \in {\text {Sym}}^lT\), where T is any vector space and the symmetrization map \({\text {sym}}: T^{\otimes k}\rightarrow {\text {Sym}}^kT\) is given by
for \(X_1,\ldots ,X_k\in T\). This is analogous to the definition of the wedge product via the alternation map. For tensors \(\alpha ,\beta \) of rank 1, we have
It should be noted that \(\delta ^*X^\flat =L_Xg\) for any vector field \(X\in \mathfrak {X}(M)\). Consequently, the kernel of \(\delta ^*\) on \(\Omega ^1(M)\) is (via the metric) isomorphic to the space of Killing vector fields on (M, g). More generally, symmetric tensors \(\alpha \in \mathscr {S}^k(M)\) with \(\delta ^*\alpha =0\) are called Killing tensors of rank k, and \(\delta ^*\) is sometimes called the Killing operator.
Definition 2.1
On tensors of any rank, the following operators are defined:
-
1.
The curvature endomorphism q(R) is defined by
$$\begin{aligned}q(R):=\sum _{i<j}(e_i\wedge e_j)_*R(e_i,e_j),\end{aligned}$$where \((e_i)\) is a local orthonormal basis of TM and the asterisk indicates the natural action of \(\varLambda ^2T\cong \mathfrak {so}(T)\).
-
2.
The Lichnerowicz Laplacian \(\varDelta _L\) is defined by
$$\begin{aligned}\varDelta _L:=\nabla ^*\nabla +q(R).\end{aligned}$$Recall that on \(\Omega ^p(M)\), \(p\ge 0\), this coincides with the Hodge Laplacian \(\varDelta \).
On the space of Riemannian metrics on M, which is an open cone in \(\mathscr {S}^2(M)\), the total scalar curvature functional or Einstein-Hilbert action is given by
for any Riemannian metric g on M. As mentioned earlier, if we restrict this functional to the space of metrics of a fixed total volume, then Einstein metrics are precisely the critical points of the restriction of S.
Let (M, g) be an Einstein manifold with Einstein constant \(E\in \mathbb {R}\), that is
and suppose that (M, g) is not isometric to a standard round sphere. Denote
It is well known (see [2]) that there is a decomposition of \(\mathscr {S}^2(M)\), which is orthogonal with respect to the second variation \(S''_g\) of the total scalar curvature functional, into the four summands
These correspond to infinitesimal changes in the metric by homothety, volume-preserving conformal scaling, the action of diffeomorphisms, and moving within \(\mathfrak {S}\), respectively. The second variation \(S''_g\) is positive on \(C^\infty _g(M)g\), zero on \({\text {im}}\delta ^*\) and is given by
on \(\mathscr {S}^2_{\mathrm {tt}}(M)\), where it has finite coindex and nullity; that is, the maximal subspace of \(\mathscr {S}^2_{\mathrm {tt}}(M)\) where \(S''_g\) is nonnegative is finite-dimensional. In fact, the null directions in \(\mathscr {S}^2_{\mathrm {tt}}(M)\) are precisely the infinitesimal Einstein deformations of g, i.e. infinitesimal deformations of g that preserve the Einstein property, the total volume and are orthogonal to the orbit of g under diffeomorphisms.
Definition 2.2
An Einstein metric g on M is called
-
1.
(linearly) stable (with respect to the Einstein-Hilbert action) if \(S''_g\le 0\) on \(\mathscr {S}^2_{\mathrm {tt}}(M)\) or, equivalently, if \(\varDelta _L\ge 2E\) on \(\mathscr {S}^2_{\mathrm {tt}}(M)\). Otherwise it is called (linearly) unstable.
-
2.
strictly (linearly) stable (with respect to the Einstein-Hilbert action) if \(S''_g<0\) on \(\mathscr {S}^2_{\mathrm {tt}}(M)\) or, equivalently, if \(\varDelta _L>2E\) on \(\mathscr {S}^2_{\mathrm {tt}}(M)\).
-
3.
infinitesimally deformable if \(\varDelta _Lh=2Eh\) for some nonzero \(h\in \mathscr {S}^2_{\mathrm {tt}}(M)\).
3 Invariant differential operators
Let G be a compact Lie group with Lie algebra \(\mathfrak {g}\) and K a closed subgroup such that \((M=G/K,g)\) is a reductive Riemannian homogeneous space with K-invariant decomposition \(\mathfrak {g}=\mathfrak {k}\oplus \mathfrak {m}\), where \(\mathfrak {k}\) is the Lie algebra of K and \(\mathfrak {m}\) is the reductive complement which is canonically identified with the tangent space \(T_{o}M\) at the base point \(o:=eK\in M\). Recall that for some representation \(\rho : K\rightarrow {\text {Aut}}V\), the left-regular representation on the space of K-equivariant smooth functions \(C^\infty (G,V)^K\) is defined as
for \(x,y\in G\). Furthermore, the space \(C^\infty (G,V)^K\) is identified with the space of sections of the associated bundle \(G\times _\rho V\) over M. The identification is given by
where \(\hat{s}\) is defined by \(s([x])=[x,\hat{s}(x)]\) for any \(x\in G\). If V can be expressed in terms of the isotropy representation \(\mathfrak {m}\), then \(G\times _\rho V\) is a tensor bundle; for example, we have
where \({\text {Sym}}^2_0\), \(\mathscr {S}^2_0\) denotes the space of trace-free elements with respect to the metric. Note that the invariant Riemannian metric yields an equivalence between \(\mathfrak {m}\) and \(\mathfrak {m}^*\).
Suppose that V is a complex representation. Choose a maximal torus T inside G with Lie algebra \(\mathfrak {t}\). Recall that up to equivalence, every irreducible finite-dimensional complex representation of G is characterized by its highest weight \(\gamma \in \mathfrak {t}^*\). By the Peter-Weyl theorem and Frobenius reciprocity (cf. [15]), the left-regular representation \(C^\infty (G,V)^K\) can be decomposed into irreducible summands asFootnote 3
where \(\gamma \) runs over all highest weights of G-representations and \((V_\gamma ,\rho _\gamma )\) is the (up to equivalence) unique irreducible representation of G with highest weight \(\gamma \). For any
the corresponding element of \(C^\infty (G,V)^K\) is defined by
Since the Lichnerowicz Laplacian \(\varDelta _L\) on \(\varGamma (G\times _\rho V)\) is a G-invariant differential operator, Schur’s Lemma implies that on each of the isotypical subspaces
\(\varDelta _L\) acts as an endomorphism of the finite-dimensional vector space \({\text {Hom}}_K(V_\gamma ,V)\), that is,
for some \(L_\gamma \in {\text {End}}{\text {Hom}}_K(V_\gamma ,V)\).
In order to obtain the spectrum of \(\varDelta _L\), one would have to find the eigenvalues of each \(L_\gamma \) – a potentially very cumbersome task. We will shortly see that this matter is considerably simpler in the symmetric case.
Fix an \({\text {Ad}}\)-invariant inner product \(\langle \cdot ,\cdot \rangle _{\mathfrak {g}}\) on the Lie algebra \(\mathfrak {g}\). If we assume that G is semisimple, one such inner product is given by \(-B\), where B is the Killing form on \(\mathfrak {g}\), defined by
for \(X,Y\in \mathfrak {g}\). Recall that for any representation \(\pi : G\rightarrow {\text {Aut}}W\), the Casimir operator \({\text {Cas}}^G_\pi \) with respect to the chosen inner product is an equivariant endomorphism of W, defined as
for any orthonormal basis \((e_i)\) of \(\mathfrak {g}\).
The following proposition combines two well-known results that allow us to compute the eigenvalues of \(\varDelta _L\) on compact symmetric spaces, the latter being a formula due to H. Freudenthal (cf. [6]).
Proposition 3.1
Let \((M=G/K,g)\) be a compact Riemannian symmetric space where the Riemannian metric is induced by an \({\text {Ad}}\)-invariant inner product \(\langle \cdot ,\cdot \rangle _{\mathfrak {g}}\) on \(\mathfrak {g}\), and let \(\rho : K\rightarrow {\text {Aut}}V\) be a representation.
-
1.
On the left-regular representation \(\varGamma (G\times _\rho V)\), the Lichnerowicz Laplacian \(\varDelta _L\) coincides with the Casimir operator \({\text {Cas}}^G_\ell \) of the representation \(\ell : G\rightarrow {\text {Aut}}\varGamma (G\times _\rho V)\).
-
2.
On each irreducible representation \(V_\gamma \), the Casimir eigenvalue is given by
$$\begin{aligned}{\text {Cas}}^G_\gamma =\langle \gamma ,\gamma +2\delta _{\mathfrak {g}}\rangle _{\mathfrak {t}^*},\end{aligned}$$where \(\delta _{\mathfrak {g}}\) is the half-sum of positive roots and \(\langle \cdot ,\cdot \rangle _{\mathfrak {t}^*}\) is the inner product on \(\mathfrak {t}^*\) induced by the inner product on \(\mathfrak {t}\subset \mathfrak {g}\).
Remark 3.2
The first statement is a consequence of a more general result. Let G be a compact Lie group and \((M=G/K,g)\) be a reductive Riemannian homogeneous space. To the reductive decomposition corresponds a canonical G-invariant connection on M (also called the Ambrose-Singer connection), which we denote by \({\bar{\nabla }}\). This connection in turn defines a curvature tensor \({\bar{R}}\) and an analogue to the Lichnerowicz Laplacian via
called the standard Laplacian of this connection (introduced in [13]). Then, in fact, \({\bar{\varDelta }}={\text {Cas}}^G_\ell \) on \(\varGamma (G\times _\rho V)\). The above statement follows when we note that on Riemannian symmetric spaces, the Ambrose-Singer connection coincides with the Levi-Civita connection.
According to (PW), we can write the complexified left-regular representation on trace-free symmetric 2-tensors as
Recall that irreducible symmetric spaces of compact type can be endowed with a Riemannian metric induced by the Killing form (the so-called standard metric). In this case, the critical eigenvalue of \(\varDelta _L\) is \(2E=1\). Supposing we have a representation \(V_\gamma \) with subcritical Casimir eigenvalue \({\text {Cas}}^G_\gamma <1\) occurring in this decomposition, it remains to check whether the tensors in the corresponding subspace are divergence-free. By Schur’s Lemma, the G-invariant operator
is constant on each irreducible subspace. This means that we can regard \(\delta \) as a linear mapping
the so-called prototypical differential operator associated to \(\delta \) and \(V_\gamma \). For a further discussion of invariant differential operators on homogeneous spaces, we refer the reader to Section 2 of [14].
The following lemma is of use when we need to calculate \(\delta \) explicitly. A derivation of essentially the same formula can also be found in [14], Section 2.
Lemma 3.3
Suppose (M, g) is a Riemannian symmetric space. Let \(h\in \mathscr {S}^2(M)^\mathbb {C}\) correspond to an element
in the decomposition (PW) of \(\mathscr {S}^2(M)^\mathbb {C}\). Let further \((e_i)\) be an orthonormal basis of \(\mathfrak {m}\). Then we have
for any \(X\in \mathfrak {m}\cong T_{o}M\).
Proof
The element of \(C^\infty (G,{\text {Sym}}^2\mathfrak {m}^\mathbb {C})^K\) corresponding to \(h\in \mathscr {S}^2(M)\) is given by
where \(\rho _\gamma \) is the representation of G on \(V_\gamma \). The covariant derivative of h at the base point may be expressed by
for \(X,Y\in \mathfrak {m}\cong T_{o}M\), since \(\nabla \) coincides with the Ambrose-Singer connection on M as a reductive homogeneous space. This implies that
\(\square \)
4 tt-Eigenspaces of the Lichnerowicz Laplacian
We return to the general setting of a compact Einstein manifold (M, g). Define
so that \(\theta \alpha \) is precisely the trace-free part of \(\delta ^*\alpha \in \mathscr {S}^2(M)\). The kernel of this operator is (via the metric) isomorphic to the space of conformal Killing fields on (M, g), that is, the space of vector fields \(X\in \mathfrak {X}(M)\) such that \(L_Xg=fg\) for some \(f\in C^\infty (M)\). We thus call \(\theta \) the conformal Killing operator.
The following lemma is a generalization of a proposition by Koiso [11, Prop. 3.3]. For the proof, we refer the reader to the Appendix.
Lemma 4.1
Let (M, g) be a compact Einstein manifold of dimension \(n\ge 3\). For any \(\lambda \in \mathbb {R}\), the dimension of the eigenspace of \(\varDelta _L\) to the eigenvalue \(\lambda \) on tt-tensors is given by
At first glance, the third term on the right hand side of the above formula does not look very amenable to computation. However, matters are made easier if we observe the following properties of (conformal) Killing vector fields on Einstein manifolds, both of which are proven in the Appendix.
Lemma 4.2
On any compact Einstein manifold (M, g) not isometric to a standard round sphere, conformal Killing fields are actually Killing, that is, \(L_X g=fg\) for some \({f\in C^\infty (M)}\) implies \(f=0\). Equivalently, \(\ker \theta =\ker \delta ^*\) on \(\Omega ^1(M)\).
Lemma 4.3
Any Killing field \(X\in \mathfrak {X}(M)\) on an Einstein manifold with Einstein constant \(E\) satisfies
Equivalently, \(\ker \delta ^*\subset \ker (\varDelta -2E)\) on \(\Omega ^1(M)\).
If we assume that (M, g) is not isometric to a standard sphere, we can immediately conclude that the intersection \(\ker (\varDelta -\lambda )\big |_{\Omega ^1(M)}\cap \ker \theta \) is trivial if \(\lambda \ne 2E\). By virtue of Lemma 4.1, we obtain the following.
Corollary 4.4
Let (M, g) be a compact Einstein manifold that is not isometric to a standard round sphere, and let \(E\) be its Einstein constant. For any \(\lambda \ne 2E\), the dimension of the eigenspace of \(\varDelta _L\) to the eigenvalue \(\lambda \) on tt-tensors is given by
Remark 4.5
If we set \(\lambda =2E\) in Lemma 4.1 and note that
(as Koiso did in his proof of [11, Prop. 3.3]), we recover the original formula for the critical eigenvalue
Remark 4.6
Although the dimension formula of Lemma 4.1 works on any compact Einstein manifold (M, g), it is worth mentioning that if additionally, (M, g) carries the structure of a Riemannian homogeneous space \(M=G/K\), the result can be refined in terms of irreducible representations of G. Namely, if \(V_\gamma \) is an irreducible representation of G, then the multiplicity of \(V_\gamma \) in the (complexified) left-regular representation on tt-tensors is given by
As in the proof of Lemma 4.1, the dimension formula essentially arises from the short exact sequence
and the fact that the Laplacian commutes with every arrow. In the homogeneous case, we note that we have a short exact sequence of G-representations and use Frobenius reciprocity to arrive at the statement.
5 The symmetric space \({\text {SU}}(n)\)
Throughout what follows, let \(n\ge 3\). As a symmetric space, \({\text {SU}}(n)=G/K\) where \(G={\text {SU}}(n)\times {\text {SU}}(n)\) and \(K={\text {SU}}(n)\) is diagonally embedded, i.e. via
Let \(\mathfrak {g}\) and \(\mathfrak {k}\) denote the corresponding Lie algebras of G and K, respectively. We endow M with the standard metric g induced by the Killing form on \(\mathfrak {g}\). Hence, M is Einstein with critical eigenvalue \(2E=1\). The reductive decomposition of \(\mathfrak {g}\) with respect to g is given by
where
The K-representations \(\mathfrak {k}\), \(\tilde{\mathfrak {k}}\) and \(\mathfrak {m}\) are all equivalent. We denote by \(E=\mathbb {C}^n\) the standard representation of K.
Lemma 5.1
Let \(V_\gamma \) be an irreducible complex representation of G with \({\text {Cas}}_\gamma ^G<1\) and
Then \(V_\gamma \) is equivalent to one of the G-representations \(E\otimes E^*\) and \(E^*\otimes E\). In fact,
and the Casimir eigenvalue is \({\text {Cas}}_\gamma ^G=\frac{(n-1)(n+1)}{n^2}\).
Proof
Let \(\mathfrak {t}\) be the torus of diagonal matrices in \(\mathfrak {k}\). The dual \(\mathfrak {t}^*\) is generated by the weights \(\varepsilon _1,\ldots ,\varepsilon _n\) of the defining representation E. Explicitly,
for \(X={\text {diag}}(\mathrm {i}X_1,\ldots ,\mathrm {i}X_n)\in \mathfrak {t}\). Note that \(\varepsilon _1+\ldots +\varepsilon _n=0\).
Fix the ordering on roots and weights such that the simple roots of \(\mathfrak {k}\) are given by
The semigroup of dominant integral weights is then generated by the fundamental weights
cf. [6, §15.1]. The highest weights of representations of K, i.e. all the dominant integral weights, are precisely the linear combinations
with coefficients \(a_r\in \mathbb {N}_0\). The fundamental weights themselves correspond to the representations
Let \(\gamma ,\gamma '\in \mathfrak {t}^*\) be two dominant integral weights. In particular, they satisfy
Using Freudenthal’s formula for the Casimir operator \({\text {Cas}}^K_\gamma \) of a K-representation \(V_\gamma \), this implies the estimate
In particular, we obtain
for \(\gamma =\sum _{r=1}^{n-1}a_r\omega _r\).
The Casimir eigenvalues of the fundamental representations are given as
for \(r=1,\ldots ,n-1\). Note that this expression is symmetric around \(r=\frac{n}{2}\) and strictly increasing for \(r\le \frac{n}{2}\). Furthermore, we can compute that
cf. table on p. 15 of [14]. Combining the above with inequality (\(*\)), we can deduce that if \(\gamma \) is a highest weight with \({\text {Cas}}_\gamma ^K<1\), then necessarily
These dominant integral weights are, respectively, highest weights of the representations \(\mathbb {C}\), E, \(E^*\), \(\varLambda ^2E\), \(\varLambda ^2E^*\), \(\varLambda ^3E\), \(\varLambda ^3E^*\) of K.
The irreducible representations of \(G=K\times K\) are precisely the tensor products of irreducible representations of K. Let \(\gamma ,\gamma '\) be highest weights of K-representations such that
holds. Assuming that \(\gamma ,\gamma '\ne 0\), we conclude that \(\gamma ,\gamma '\in \{\omega _1,\omega _{n-1}\}\). This yields the four pairwise inequivalent G-representations \(E\otimes E\), \(E\otimes E^*\), \(E^*\otimes E\) and \(E^*\otimes E^*\). Furthermore, in the case of \(\gamma =0\) or \(\gamma '=0\) we obtain the representations of K that were listed above, composed with the projection onto one factor,
respectively. By restricting the mentioned G-representations to K via the embedding
we again obtain the irreducible K-representations \(\mathbb {C}\), E, \(E^*\), \(\varLambda ^2E\), \(\varLambda ^2E^*\), \(\varLambda ^3E\), \(\varLambda ^3E^*\) as well as the tensor product representations \(E\otimes E\), \(E\otimes E^*\) and \(E^*\otimes E^*\). The latter are not irreducible, but decompose into irreducible summands as follows:
Here \(E\otimes _0E^*\) is the set of trace-free elements of \(E\otimes E^*\) when regarded as \(n\times n\)-matrices over \(\mathbb {C}\). As a representation of K, we have
The K-representation \({\text {Sym}}^2\mathfrak {k}^\mathbb {C}\cong {\text {Sym}}^2(E\otimes _0E^*)\) appears on one hand as a summand of
On the other hand, the symmetric power of the tensor product is given byFootnote 4
The tensor products \({\text {Sym}}^2E\otimes {\text {Sym}}^2E^*\) and \(\varLambda ^2E\otimes \varLambda ^2E^*\) can in turn be decomposed into
By comparing summands, we see that
Hence, the trace-free part is given by
Now that we have decomposed the relevant representations into irreducible summands, we recognize that \(E\otimes E^*\) and \(E^*\otimes E\) are the only two of the specified subcritical representations of G that, after restriction to K, have a common summand with \({\text {Sym}}^2_0\mathfrak {k}^\mathbb {C}\). In each case, the summand in question \(E\otimes _0E^*\cong \mathfrak {k}^\mathbb {C}\) appears with multiplicity 1; hence we have
Moreover, both G-representations exhibit the same Casimir eigenvalue
\(\square \)
According to Lemma 5.1, the only representations of G (up to equivalence) with subcritical Casimir eigenvalue that occur in decomposition (PW) of \(\mathscr {S}^2_0(M)^\mathbb {C}\) are \(E\otimes E^*\) and \(E^*\otimes E\), and we have
(recall that \(\mathfrak {m}\cong \mathfrak {k}\)), i.e. the summand occurs with multiplicity 1. It remains to check whether the tensors in the corresponding subspaces are divergence-free. Since
as a representation of K, we have
meaning that both summands also occur in the left-regular representation \(\Omega ^1(M)\) with the same multiplicity. It now follows from Corollary 4.4 that
for \(\lambda =\frac{(n-1)(n+1)}{n^2}\). Since this is the only subcritical eigenvalue on \(\mathscr {S}^2_0(M)\), we have shown the following.
Proposition 5.2
The symmetric space \({\text {SU}}(n)\) is linearly stable.
6 The symmetric space \(E_6/F_4\)
Let \((\mathfrak {H},\circ )\) be the Albert algebra, where \(\mathfrak {H}\) is the set of Hermitian \(3\times 3\)-matrices over the octonions, i.e.
and with Jordan multiplication defined by
The exceptional Lie group \(E_6\) can be realized as
while \(F_4\) is defined as the set of algebra automorphisms
By complex-linearly extending linear automorphisms of \(\mathfrak {H}\), one obtains the inclusion \({\text {Aut}}_\mathbb {R}\mathfrak {H}\subset {\text {Aut}}_\mathbb {C}\mathfrak {H}^\mathbb {C}\). In this sense, we have \(F_4\subset E_6\). In fact,
As a representation of \(E_6\), \(\mathfrak {H}^\mathbb {C}\) is irreducible. As an \(F_4\)-representation, \(\mathfrak {H}\) decomposes into the irreducible summands
where \(\mathfrak {H}_0\) is the set of trace-free elements of \(\mathfrak {H}\). An invariant inner product on \(\mathfrak {H}\) is defined by
for \(A,B\in \mathfrak {H}\). An orthogonal basis of \(\mathfrak {H}\) (cf. Section 2.1 of [16]) is given by the matrices
where x runs through the standard basis of \(\mathbb {O}\) as a real vector space.
In this section, we consider the Riemannian symmetric space \(M=E_6/F_4\) equipped with the standard metric (hence with critical eigenvalue \(2E=1\)). The reductive decomposition of \(\mathfrak {e}_6\) with respect to the standard metric is given by
where \(\mathfrak {m}\cong \mathfrak {H}_0\) as a representation of \(F_4\).
Lemma 6.1
Let \(V_\gamma \) be an irreducible complex representation of \(E_6\) with \({\text {Cas}}_\gamma ^{E_6}<1\) and
Then \(V_\gamma \) is equivalent to one of the \(E_6\)-representations \(\mathfrak {H}^\mathbb {C}\) and \(\overline{\mathfrak {H}^\mathbb {C}}\). In fact,
and the Casimir eigenvalue is \({\text {Cas}}_\gamma ^G=\frac{13}{18}\).
Proof
We abstain from specifying a particular choice of simple root system and fundamental weights for \(E_6\) and \(F_4\), since we are merely interested in the corresponding fundamental representations of the respective Lie group. Following the enumerative convention of Bourbaki (as used by the software package LiE), if we denote the fundamental weights of \(E_6\) by \(\omega _1,\ldots ,\omega _6\) and of \(F_4\) by \(\eta _1,\ldots ,\eta _4\), then the associated representations are identified as
where the number indicates the dimension.
As in the proof of Lemma 5.1, we have the estimate
for any representation \(V_\gamma \) of \(E_6\) with highest weight
Among the fundamental representations, only the Casimir eigenvalues
are smaller than 1 (see table on p. 16 of [14]). Since \(\frac{13}{18}+\frac{13}{18}>1\), it follows that only the representations to the highest weights \(\mathbb {C},\mathfrak {H}^\mathbb {C},\overline{\mathfrak {H}^\mathbb {C}}\) come into question.
Consider now the \(F_4\)-representation \(\mathfrak {H}_0^\mathbb {C}\cong V_{\eta _4}\). We obtainFootnote 5 the decomposition
into irreducible summands, hence
Furthermore, we have
as a representation of \(F_4\). The assertion follows by comparison of summands. \(\square \)
Lemma 6.1 now tells us that the representations of \(E_6\) with subcritical Casimir eigenvalue that occur in decomposition (PW) of \(\mathscr {S}^2_0(M)^\mathbb {C}\) are precisely \(\mathfrak {H}^\mathbb {C}\) and \(\overline{\mathfrak {H}^\mathbb {C}}\), both with multiplicity 1, i.e.
since \(\mathfrak {m}\cong \mathfrak {H}_0\). Again, we have to check whether the tensors in the corresponding subspace are divergence-free. It follows from the decomposition \(\mathfrak {H}=\mathfrak {H}_0\oplus \mathbb {R}\) as a representation of \(F_4\) that
so as in the previous section, the summand has the same multiplicity in the left-regular representation \(\Omega ^1(M)\). Again, it follows from Corollary 4.4 that
for \(\lambda =\frac{13}{18}\), and since this is the only subcritical eigenvalue on \(\mathscr {S}^2_0(M)\), we have shown the following, which, together with Proposition 5.2, finishes the proof of the main theorem.
Proposition 6.2
The symmetric space \(E_6/F_4\) is linearly stable.
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
We use the index g only when the metric-dependence of an object is to be emphasized.
That is, with respect to the inner product \(\langle \cdot ,\cdot \rangle _g\) on \({\text {Sym}}^pT^*M\) with orthonormal basis \((e_{i_1}^\flat \odot \ldots \odot e_{i_p}^\flat ).\)
Here, the bar over the direct sum denotes the closure in \(C^\infty (G,V)^K\) (with the \(L^2\) inner product). In other words, \(\bigoplus _{\gamma }V_\gamma \otimes {\text {Hom}}_K(V_\gamma ,V)\) is dense in \(C^\infty (G,V)^K\). In fact, it is dense in \(L^2(G,V)^K\), but for our purposes, it suffices to consider smooth sections.
This is a consequence of, for example, the formula \({\text {Sym}}^d(V\otimes W)=\bigoplus \mathbb {S}_\lambda (V)\otimes \mathbb {S}_\lambda (W)\) in [6, Ex. 6.11].
This has been verified through use of the software package LiE v2.1. See, for example, http://young.sp2mi.univ-poitiers.fr/cgi-bin/form-prep/marc/sym-alt.act?x1=0&x2=0&x3=0&x4=1&power=2&kind=sym&rank=4&group=F4 or enter the command sym_tensor(2,[0,0,0,1],F4) into the LiE shell.
References
Berger, M., Gauduchon, P., Mazet, E.: Le spectre d’une variété Riemannienne, Lecture Notes in Mathematics, Vol. 194. Springer-Verlag Berlin Heidelberg (1971)
Besse, A.L.: Einstein Manifolds, Classics in Mathematics. Springer-Verlag Berlin Heidelberg (1987)
Cao, H.-D., He, C.: Linear stability of Perelman’s \(\nu \)-entropy on symmetric spaces of compact type. J. Reine Angew. Math. 709, 229–246 (2015)
Huai-Dong, C., Hamilton, R.S., Ilmanen, T.: Gaussian densities and stability for some Ricci solitons. arXiv:math/0404165 (2004)
Dieterich, P.-S.: On the Lichnerowicz Laplace operator and its application to stability of spacetimes (thesis), Universität Stuttgart (2012)
Fulton, W., Harris, J.: Representation Theory: A First Course, Graduate Texts in Mathematics, vol. 129. Springer-Verlag, New York (1991)
Gasqui, J., Goldschmidt, H.: Radon transforms and spectral rigidity on the complex quadrics and the real Grassmannians of rank two. J. Reine Angew. Math. 480, 1–69 (1996)
Gibbons, G.W., Hartnoll, S.A., Pope, C.N.: Bohm and Einstein-Sasaki metrics, black holes, and cosmological event horizons. Phys. Rev. D 67(8), 084024 (2003)
Lichnerowicz, A.: Propagateurs et commutateurs en relativité générale. Public. Mathématiques de l’I.H.É.S. 10, 5–56 (1961)
Koiso, N.: Rigidity and stability of Einstein metrics: the case of compact symmetric spaces. Osaka Math. J. 17, 51–73 (1980)
Koiso, N.: Rigidity and infinitesimal deformability of Einstein metrics. Osaka Math. J. 19, 643–668 (1982)
Kröncke, K.: Stability of Einstein Manifolds (thesis), University of Potsdam (2013)
Semmelmann, U., Weingart, G.: Manuscripta Mathematica. The standard Laplacian 158, 273–293 (2019)
Semmelmann, U., Weingart, G.: Linear stability of symmetric spaces. arXiv:2012.07328 (2020)
Wallach, N.R.: Harmonic Analysis on Homogeneous Spaces. Marcel Dekker, Inc, New York (1973)
Yokota, I: Exceptional Lie groups. arXiv:0902.0431 (2009)
Funding
Open Access funding enabled and organized by Projekt DEAL. No funds, grants, or other support was received.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Employment
During the time of research as well as currently, the author is employed as a research assistant at the University of Stuttgart.
Competing interests
The author has no relevant financial or non-financial interests to disclose.
Code availability
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 Proofs of general statements
Proof of Lemma 4.1
The following is a slightly generalized version of the proof of a result by N. Koiso [11, Prop. 3.3]. We first note that
for \(\alpha \in \Omega ^1(M)\), \(h\in \mathscr {S}^2(M)\), so the formal adjoint of \(\theta \) is given by
We show that \(\theta \) is overdetermined elliptic. The principal symbol of \(\theta \) is
for \(\xi ,\alpha \in T^*_pM\). If \(\xi \ne 0\), then \(\sigma _\xi (\theta )\) is injective: Suppose \(\sigma _\xi (\theta )\alpha =0\). Then
Take an orthonormal basis \((e_i)\) with respect to g of \(T_pM\) and write
For \(i,j=1,\ldots ,n\), it follows that
and so \(\xi _i\alpha _j=-\xi _j\alpha _i\) if \(i\ne j\), as well as \(\xi _i\alpha _i=\xi _j\alpha _j\) for any i, j. Then
If \(\alpha _j\ne 0\), this would imply that \(\xi _i^2+\xi _j^2=0\) and so \(\xi _i=\xi _j=0\), which contradicts the assumption that \(\xi \ne 0\). Overall, we conclude that \(\alpha =0\) and thus the injectivity is proven.
From ellipticity, we obtain the orthogonal decomposition
Let \(h\in \ker (\varDelta _L-\lambda )\big |_{\mathscr {S}^2_0(M)}\). According to the above decomposition, we can write h as
where \(\theta ^*\psi =0\). Then also,
Since (M, g) is Einstein, \(\varDelta _L\) commutes with \(\delta \) on \(\mathscr {S}^2(M)\) and with \(\delta ^*\) on \(\Omega ^1(M)\) [9, 10.7/10.8]. Furthermore \(\varDelta _L(fg)=(\varDelta f)g\) for any \(f\in C^\infty (M)\). We conclude that \(\varDelta _L\) commutes with \(\theta \) and \(\theta ^*\) as well. This implies that
and so
It follows that
and so \(\theta (\varDelta -\lambda )\alpha =0=(\varDelta _L-\lambda )\psi \). In total, \(\psi \in \ker (\varDelta _L-\lambda )\big |_{\mathscr {S}^2_{\mathrm {tt}}(M)}\).
Also, if h is an element of \(\ker (\varDelta _L-\lambda )\big |_{\mathscr {S}^2_{\mathrm {tt}}(M)}\), then
and so \(\psi =h\). This means that the mapping
defines a projection, and the dimension formula
holds.
By definition, the kernel of P consists of those \(h\in \ker (\varDelta _L-\lambda )\big |_{\mathscr {S}^2_0(M)}\) with \(h=\theta \alpha \) for some \(\alpha \in \Omega ^1(M)\), i.e. \(h\in {\text {im}}\theta \). Hence we know that
Let \(\alpha \in \ker (\varDelta -\lambda )\big |_{\Omega ^1(M)}\). We have seen that \(\varDelta _L\) commutes with \(\theta \), so it follows that \(\theta \alpha \in \ker (\varDelta _L-\lambda )\big |_{\mathscr {S}^2_0(M)}\) and therefore
Conversely, let \(h\in \ker P\). Then there exists some \(\alpha \in \Omega ^1(M)\) such that \(h=\theta \alpha \), and also \(h\in \ker (\varDelta _L^g-\lambda )\big |_{\mathscr {S}^2_0(M)}\). By the ellipticity of the operator \(\varDelta -\lambda \), we can decompose \(\alpha \) into
with \(\beta \in \ker (\varDelta -\lambda )\big |_{\Omega ^1(M)}\), \(\gamma \in \Omega ^1(M)\). Then
Since \(\varDelta _L\) is self-adjoint, we have
and thus
i.e. \((\varDelta -\lambda )\gamma \in \ker \theta \). This implies that \(h=\theta \alpha =\theta \beta \), so
is surjective and we obtain the dimension formula
\(\square \)
Proof of Lemma 4.2
Let \(E\) be the Einstein constant of (M, g). Let \(\alpha \in \Omega ^1(M)\) such that
Taking the divergence yields
since \(\delta (fg)=-df\) for \(f\in C^\infty (M)\). We make use of the well-known Weitzenböck identities
For \(k=1\) and since \(\delta ^*=d=\nabla \) on functions and (M, g) is Einstein, these amount to
Putting these together, we obtain
Taking the \(L^2\) inner product with \(\alpha \) then yields
If \(E<0\), this directly implies that \(\alpha =0\). If \(E=0\), it implies \(\delta \alpha =0\) and \(d\alpha =0\), and since \(\theta \alpha =0\), it follows that \(\delta ^*\alpha =0\). If \(E>0\), then applying the codifferential to \(\delta \theta \alpha \) yields
so \(\delta \alpha \) would be an eigenfunction of the Laplacian to the eigenvalue \(\frac{En}{n-1}=\frac{{\text {scal}}_g}{n-1}\). By a theorem of Obata [1, Thm. D.I.6], this eigenvalue can only be attained on the standard sphere, so necessarily \(\delta \alpha =0\). It follows again from \(\theta \alpha =0\) that \(\delta ^*\alpha =0\). \(\square \)
Proof of Lemma 4.3
Let \(\alpha \in \Omega ^1(M)\) such that \(\delta ^*\alpha =0\). Then also \(\delta \alpha =0\), since \(\delta \alpha =-{\text {tr}}_g\delta ^*\alpha =0\). By virtue of the Weitzenböck formulae that were already employed in the proof of Lemma 4.2, we conclude that
\(\square \)
1.2 Alternative proof of the stability of \({\text {SU}}(n)\)
An alternative method of checking that the prototypical differential operators
are injective is an explicit computation by means of Lemma 3.3. To do so, we first pick out an explicit element
and then proceed to compute the divergence on the corresponding subspace of \(\mathscr {S}^2_0(M)\).
Lemma A.1
Let \(\pi : {\text {Sym}}^2(E\otimes E^*)\rightarrow E\otimes E^*\) denote the mapping defined by
where \(A,B\in E\otimes E^*\) are regarded as complex \(n\times n\)-matrices. Then
Moreover, the restriction
is surjective, and \(W:=\left( \ker \pi \big |_{{\text {Sym}}^2_0(E\otimes _0E^*)}\right) ^\bot \cong E\otimes _0E^*\).
Proof
The equivariance of \(\pi \) under the action of K follows from
for any \(k\in K={\text {SU}}(n)\) and \(A,B\in E\otimes E^*\). Furthermore, we have
where the last trace is taken with respect to the inner product on \(E\otimes E^*\). This means that
Next we want to show that \(\pi \) does not vanish when restricted to \({\text {Sym}}^2_0(E\otimes _0E^*)\). If we denote by \(E_{ij}\) the \(n\times n\)-matrix that has entry 1 at position (i, j) and 0 elsewhere, then we have for example \(E_{21},E_{31}\in E\otimes _0E^*\) and \(\langle E_{21},E_{31}\rangle =0\), so \(E_{21}\odot E_{31}\in {\text {Sym}}^2_0(E\otimes _0E^*)\) and
Now, since \(E\otimes _0E^*\) is irreducible, the mapping
must be surjective. We have seen in the proof of Lemma 5.1 that \(E\otimes _0E^*\) appears in the decomposition of \({\text {Sym}}^2_0(E\otimes _0E^*)\) with multiplicity 1; hence \(W:=\left( \ker \pi \big |_{{\text {Sym}}^2_0(E\otimes _0E^*)}\right) ^\bot \) must be the irreducible summand of \({\text {Sym}}^2_0(E\otimes _0E^*)\) that is equivalent to \(E\otimes _0E^*\). \(\square \)
Alternative proof of Proposition 5.2
The properties of \(\pi \) from Lemma A.1 allow us to define
and extend it with zero to a mapping \(\tilde{A}\in {\text {Hom}}_K(E\otimes E^*,{\text {Sym}}^2_0(E\otimes _0E^*))\). Via the identification \(\mathfrak {m}^\mathbb {C}\cong E\otimes _0E^*\), this gives rise to a mapping
From the equivariance of \(\pi \big |_W\), the irreducibility of \(W\cong E\otimes _0E^*\) and Schur’s Lemma it follows that \(\pi \big |_W\) is unitary up to a positive constant, that is
for all \(v,w\in W\) and some \(c>0\). Denote the tensor product representation of G on \(E\otimes E^*\) by
for \(F\in E\otimes E^*\). Its differential is given by
for \(X_1,X_2\in \mathfrak {k}\). In particular,
Let \((e_i)\) be an orthonormal basis of \(\mathfrak {m}\), \(e_i=(f_i,-f_i)\) with \(f_i\in \mathfrak {k}\). Under the identification \(\mathfrak {m}^\mathbb {C}\cong E\otimes _0E^*\), the invariant inner product changes by some positive constant factor, and \(e_i\) is mapped to \(f_i\). Hence, \((f_i)\) is an orthonormal basis of \(\mathfrak {k}\subset E\otimes _0E^*\) up to a positive factor.
Now, let \(X\in \mathfrak {k}\) and \(F\in E\otimes E^*\). Using the formula from Lemma 3.3, it follows that
for some \(c,c'>0\). Since the trivial summand of \({\text {Sym}}^2(E\otimes _0E^*)\) can only be mapped to the trivial summand of \(E\otimes E^*\) under the equivariant map \(\pi \), we have
on \({\text {Sym}}^2(E\otimes _0E^*)\), implying that
Choose the (up to a positive factor) orthonormal basis \((f_i)\) of \(\mathfrak {k}\) in such a way that \(f_1=E_{12}-E_{21}\). Furthermore, let \(X=F=E_{13}-E_{31}\). Then,
and we obtain
In particular, we have found \(Y\in \mathfrak {m}\) such that \((\delta h)_{o}(Y)\ne 0\), where \(h\in \mathscr {S}^2_0(M)\) is associated to
This means that the linear mapping
is nonzero. Hence, there are no tt-eigentensors for the subcritical Casimir eigenvalue. This proves the assertion. \(\square \)
1.3 Alternative proof of the stability of \(E_6/F_4\)
As we did before in the situation of \({\text {SU}}(n)\), we want to apply Lemma 3.3 to verify that the mappings
are injective. Surprisingly, the computation works very similar to the \({\text {SU}}(n)\) case.
Lemma A.2
Let \(\pi : {\text {Sym}}^2\mathfrak {H}\rightarrow \mathfrak {H}\) denote the mapping defined by
Then we have
The restriction
is surjective, and \(W:=\left( \ker \pi \big |_{{\text {Sym}}^2_0\mathfrak {H}_0}\right) ^\bot \cong \mathfrak {H}_0\).
Proof
The proof is completely analogous to the proof of Lemma A.1. First, we note that \(\pi \) is well-defined since \((\mathfrak {H},\circ )\) is a commutative algebra. The equivariance of \(\pi \) under the action of \(F_4\) follows from
for any \(f\in F_4={\text {Aut}}(\mathfrak {H},\circ )\) and \(A,B\in \mathfrak {H}\). Furthermore, we have
where the last trace is taken with respect to the inner product on \(\mathfrak {H}\). This means that
Now we want to show that \(\pi \) does not vanish when restricted to \({\text {Sym}}^2_0\mathfrak {H}_0\). For example, take \(F_1(1),F_2(1)\in \mathfrak {H}_0\). We have \(\langle F_1(1),F_2(1)\rangle =0\) and thus \(F_1(1)\odot F_2(1)\in {\text {Sym}}^2_0\mathfrak {H}_0\). Also,
Since \(\mathfrak {H}_0\) is irreducible over \(F_4\), the mapping
must be surjective. From the proof of Lemma 6.1, we know that \(\mathfrak {H}_0\) appears in the decomposition of \({\text {Sym}}^2_0\mathfrak {H}_0\) with multiplicity 1; hence \(W:=\left( \ker \pi \big |_{{\text {Sym}}^2_0\mathfrak {H}_0}\right) ^\bot \) must be the irreducible summand of \({\text {Sym}}^2_0\mathfrak {H}_0\) that is equivalent to \(\mathfrak {H}_0\). \(\square \)
Alternative proof of Proposition 6.2
By Lemma A.2, we can define
extend it with zero to \(\mathfrak {H}\) and then complex-linearly to a mapping \(A\in {\text {Hom}}_{F_4}(\mathfrak {H}^\mathbb {C},{\text {Sym}}^2_0\mathfrak {H}_0^\mathbb {C})\). Again, we need that \(\pi \big |_W\) is unitary up to a positive constant, which follows by Schur’s Lemma from the equivariance of \(\pi \big |_W\) and the irreducibility of \(W\cong \mathfrak {H}_0\). By Theorem 3.2.4 in [16], every element \(\alpha \in \mathfrak {e}_6\subset {\text {End}}_\mathbb {C}(\mathfrak {H}^\mathbb {C})\) can be written as
with unique elements \(\beta \in \mathfrak {f}_4\subset \mathfrak {e}_6\) and \(T\in \mathfrak {H}_0\). This corresponds to the \(F_4\)-invariant decomposition
Throughout what follows, we identify \(\mathfrak {m}\cong \mathfrak {H}_0\). If we denote the defining representation by
then in particular,
for \(X\in \mathfrak {m}\). Let \((e_i)\) be an orthonormal basis of \(\mathfrak {H}_0\) (again, under the identification \(\mathfrak {m}\cong \mathfrak {H}_0\), the invariant inner product changes at most by some positive constant factor), \(X\in \mathfrak {m}\) and \(F\in \mathfrak {H}^\mathbb {C}\). Using Lemma 3.3, we thus obtain
for some \(c,c'>0\). The trivial summand of \({\text {Sym}}^2\mathfrak {H}_0\) can only be mapped to the trivial summand of \(\mathfrak {H}\) under the equivariant map \(\pi \), implying that
on \({\text {Sym}}^2\mathfrak {H}_0\). Thus, we have
Now let \(X=F=F_1(1)\). Choose the (up to a positive factor) orthonormal basis \((e_i)\) of \(\mathfrak {H}_0\) in such a way that \(e_1=F_2(1)\). Then we have
and it follows that
In particular, we have found \(Y\in \mathfrak {m}\) such that \((\delta h)_{o}(Y)\ne 0\), where \(h\in \mathscr {S}^2_0(M)\) is associated to
This means that the linear mapping
is nonzero. The same argument works for the \(E_6\)-representation \(\overline{\mathfrak {H}^\mathbb {C}}\), since we exclusively used real elements and automorphisms in the computation. In total, there are no tt-eigentensors for the subcritical Casimir eigenvalue, which proves the assertion.\(\square \)
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
Schwahn, P. Stability of Einstein metrics on symmetric spaces of compact type. Ann Glob Anal Geom 61, 333–357 (2022). https://doi.org/10.1007/s10455-021-09810-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10455-021-09810-4