Abstract
We show that any two left-invariant metrics on \(S^3\cong {{\text {SU}}}(2)\) which are isospectral for the associated classical Dirac operator D must be isometric. In the case of left-invariant metrics of positive scalar curvature, we compute and use the smallest eigenvalue of \(D^2\). We show analogous results for left-invariant metrics on \({{\text {SO}}}(3)=S^3/\{\pm 1\}\) for each of its two spin structures.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
On any closed Riemannian spin manifold, the associated classical Dirac operator D is an elliptic, self-adjoint operator with a discrete spectrum consisting of real eigenvalues of finite multiplicity. Just as in the case of the Laplace operator or any other geometric operator, it is an interesting question in inverse spectral geometry to which extent the geometry of the underlying Riemannian manifold is determined by the spectrum of D.
There do exist many examples of Dirac isospectral, nonisometric manifolds. For example, any two flat tori which are nonisometric, but isospectral for the Laplace operator on functions (it is well known that there exist such pairs in any dimension \({}\ge 4\)) also are Dirac isospectral for the associated trivial spin structures. This follows from Friedrich’s computation of the Dirac spectra of flat tori; see, e.g., [7], p. 29. Examples of nonisometric, Dirac isospectral lens spaces in dimensions \(4k+3\ge 7\) were systematically constructed by Boldt and Lauret in [4]. See Sect. 6.1 of [7] for more examples.
Among the results in the converse direction—i.e., determination of geometric properties by the Dirac spectrum—is the computation of the first few heat invariants of \(D^2\) by Dlubek and Friedrich in [5], which can also be recovered by Gilkey’s later, more general formulas in [6] for the heat invariants of general Laplace type operators in vector bundles over closed Riemannian manifolds. Another example of a converse result is a theorem by Boldt which says that any two Dirac isospectral 3-dimensional lens spaces with fundamental group of prime order and metric induced by the standard metric on the sphere must be isometric, see [3].
Just as in the case of the Laplace operator on functions, explicit computation of Dirac spectra is possible only for quite restricted classes of Riemannian manifolds. These include, for example, certain symmetric spaces, certain Bieberbach manifolds and Heisenberg manifolds, spherical spaceforms, Berger spheres, and certain discretes quotients of these; see [7], p. 38 for more details and references.
In the present article, we focus on homogeneous metrics on the compact 3-dimensional Lie group \(S^3\cong {{\text {SU}}}(2)\) and its quotient \({{\text {SO}}}(3)=S^3/\{\pm 1\}\). Each homogeneous metric on these is left-invariant and is isometric to, resp. induced by, a metric of the form \({g_{abc}}\), where \(a,b,c>0\) are the inverses of the lengths of the standard basis elements of \(T_1 S^3={{\text {span}}}_{\mathbb R}\{{\mathbf {i}},{\mathbf {j}},{\mathbf {k}}\}\subset {\mathbb H}\); see Sect. 2 for more details. Here, explicit computation of the full Dirac spectra is, just as for the Laplace spectrum, possible only in the case of Berger metrics, that is, in the case of metrics \({g_{abc}}\) where at least two of the numbers a, b, c coincide. Bär [1] computed the Dirac spectra of Berger metrics \(S^3\) and on lens spaces \(S^3/{\mathbb Z}_N\). Even though computation of the full Dirac spectrum is not possible for general a, b, c, one can aim, at least, at computing the eigenvalue of smallest absolute value; its square is the so-called fundamental tone of \(D^2\).
Lauret [9] succeeded in doing this for the Laplace operator on functions, both on \((S^3,{g_{abc}})\) and \(({{\text {SO}}}(3),{g_{abc}})\) (see also [2] for a generalization to certain other homogeneous spaces). Moreover, Lauret proved in [9] that—within the set of homogeneous metrics—the smallest Laplace eigenvalue of \({g_{abc}}\) on \(S^3\) or \({{\text {SO}}}(3)\), together with the volume and the scalar curvature, determines the underlying metric \({g_{abc}}\) up to isometry.
Our motivation for the present article was to achieve similar results for the Dirac operator. After choice of an orientation, there exist precisely one spin structure over \((S^3,{g_{abc}})\) and precisely two spin structures over \(({{\text {SO}}}(3),{g_{abc}})\), and we consider the associated Dirac operators. Note that, since we are in odd dimension, changing the orientation replaces these Dirac operators by their negatives, which has no effect on statements about the absolute values of eigenvalues.
Appallingly, it turns out that there is no hope of giving a general formula (in terms of the metric) for the smallest absolute value of Dirac eigenvalues of \((S^3,{g_{abc}})\) if one does not impose any additional geometric restrictions. In fact, Bär [1] showed for \(S^3\) with its canonical orientation: If \((a,b,c)=(\frac{1}{T},1,1)\) then each \(-\frac{T}{2}+2n\) (\(n\in {\mathbb N}\)) is contained in the Dirac spectrum of \((S^3,{g_{abc}})\). Now, if one considers the corresponding 1-parameter family of metrics depending on T and lets T tend to infinity, more and more of these particular eigenvalues successively pass across the zero point. So, any formula for the smallest absolute value of eigenvalues would have to contain infinitely many case distinctions.
There is a quite canonical condition which prevents such a behavior, namely, positive scalar curvature. In fact, the well-known Lichnerowicz Theorem (see, e.g., Theorem 8.8 in [10]) implies that any eigenvalue \(\lambda \) of the Dirac operator satisfies \(\lambda ^2\ge \frac{1}{4}\min ({{\text {scal}}})\), where \({{\text {scal}}}\) is the scalar curvature. In our case, since the metrics \({g_{abc}}\) are homogeneous, the scalar curvature is a constant (depending on a, b, c). The assumption of positive scalar curvature thus implies that \(\frac{1}{2}\sqrt{{{\text {scal}}}}\) is a common positive lower bound for the absolute values \(\vert \lambda \vert \). Moreover, the condition \({{\text {scal}}}>0\) is canonical in the sense that the spectrum of the Dirac operator determines whether it is satisfied. In fact, the heat invariants of the square of the Dirac operator determine the volume and the total scalar curvature and, thus, in our homogeneous case, the value of the scalar curvature.
Imposing the condition \({{\text {scal}}}>0\), we will indeed be able to obtain explicit formulas for the Dirac eigenvalue of smallest absolute value. Our first main theorem is:
Theorem 1.1
Let D denote the Dirac operator associated with \((S^3,{g_{abc}})\) (endowed with either orientation), and let \(D^{\alpha _0}\) and \(D^{\alpha _1}\) denote the Dirac operators associated with the trivial and the nontrivial spin structure, respectively, on the quotient manifold \(({{\text {SO}}}(3),{g_{abc}})\). Let
If \({{\text {scal}}}>0\) then
The smallest eigenvalue of the squared operator \(D^2\) has multiplicity 4 if \(a=b=c\) and multiplicity 2 otherwise. The smallest eigenvalue of \((D^{\alpha _0})^2\) always has multiplicity 2; the same holds for \((D^{\alpha _1})^2\).
In the proof, we will make use of Bär’s general approach for describing the Dirac operator on a homogeneous manifold (see [1]); at the same time, in the case of \(S^3\), we generalize his considerations from the special case of Berger 3-spheres to our arbitrary homogeneous metrics \({g_{abc}}\). Just as in [9], the Gershgorin Circle Theorem will play a technical key role in our arguments.
We will apply Theorem 1.1 to show that if \({{\text {scal}}}>0\) then for each of the above three Dirac operators, the corresponding eigenvalue spectrum determines the isometry class of \({g_{abc}}\) within the class of homogeneous metrics on the underlying manifold. More precisely, we will show that the smallest absolute value of eigenvalues, together with the volume and the scalar curvature, determines a, b, c up to permutation. While that smallest absolute value is not available in the case of nonpositive scalar curvature, it turns out that spectral determination of the isometry class within the class of homogeneous metrics does hold nevertheless if \({{\text {scal}}}\le 0\). Our second main theorem is, thus, regardless of the sign of the scalar curvature:
Theorem 1.2
-
(i)
Within the class of homogeneous metrics on \(S^3\), the metric \({g_{abc}}\) is determined by the spectrum of D up to isometry.
-
(ii)
Within the class of homogeneous metrics on \({{\text {SO}}}(3)\), the metric \({g_{abc}}\) is determined by the spectrum of \(D^{\alpha _0}\) up to isometry. The same holds for the spectrum of \(D^{\alpha _1}\).
For proving this in the case of nonpositive curvature, we will use the third heat invariant \(a_2\) from [5] for the square of the Dirac operator, together with the volume and \({{\text {scal}}}\) (which correspond to \(a_0\) and \(a_1\); see Sect. 4 for more details). Notably, that argument will actually need the condition \({{\text {scal}}}\le 0\). Again, the choice of orientation plays no role here because the square of the Dirac operator is invariant under a change of orientation. Note that the analog of Theorem 1.2 for the Laplace operator was proved not only in [9] by Lauret, but independently also in [11] by Lin, Schmidt, and Sutton, who used the corresponding heat invariants \(a_0\), \(a_1\), \(a_2\), \(a_3\).
In the case of \(S^3\) and \({{\text {scal}}}>0\), the results of Theorem 1.1 and Theorem 1.2 are contained in the first author’s unpublished master thesis [8].
This paper is organized as follows: In Sect. 2, we will set up the required preliminaries, give formulas for the Dirac operators on \((S^3,{g_{abc}})\) and \(({{\text {SO}}}(3),{g_{abc}})\), and describe their restrictions to certain finite-dimensional invariant subspaces using Frobenius reciprocity, following the approach in Bär’s article [1]. In Sect. 3, we will prove Theorem 1.1. Finally, Sect. 4 is devoted to the proof of Theorem 1.2.
2 Preliminaries
Let \({\mathbb H}={{\text {span}}}\{1,{\mathbf {i}},{\mathbf {j}},{\mathbf {k}}\}\) denote the skew-field of quaternions. We consider the Lie group
which is isomorphic to \({{\text {SU}}}(2)\) via \(z-{\mathbf {j}}w\mapsto \left( \begin{matrix}z&{}-\bar{w}\\ w&{}\bar{z}\end{matrix}\right) \) for \(z,w\in {\mathbb C}\). Left-invariant Riemannian metrics on \(S^3\) correspond to Euclidean inner products on \(T_1 S^3={{\text {span}}}\{{\mathbf {i}},{\mathbf {j}},{\mathbf {k}}\}\). Let
Definition 2.1
We let
We denote the induced left-invariant metric on the quotient Lie group \({{\text {SO}}}(3)=S^3/\{\pm 1\}\) by \({g_{abc}}\) again.
Remark 2.2
It is well known that every left-invariant metric on \(S^3\) or \({{\text {SO}}}(3)\) is isometric to a metric of the form \({g_{abc}}\) (see, e.g., [12]). Moreover, for any permutation \(\sigma \) of \(\{a,b,c\}\), \(g_{\sigma (a)\sigma (b)\sigma (c)}\) on \(S^3\) is isometric to \({g_{abc}}\) by an orientation-preserving isometry which also descends to \({{\text {SO}}}(3)=S^3/\{\pm 1\}\). For example, with \(p{:=}\frac{{\mathbf {j}}+{\mathbf {k}}}{\sqrt{2}}\), the map \(S^3\ni x\mapsto pxp^{-1}\in S^3\) is an orientation-preserving automorphism sending the left-invariant vector fields \({\mathbf {i}},{\mathbf {j}},{\mathbf {k}}\) to \(-{\mathbf {i}},{\mathbf {k}},{\mathbf {j}}\), respectively, thus giving an isometry between \((S^3,g_{abc})\) and \((S^3,g_{acb})\), which obviously also descends to \({{\text {SO}}}(3)\).
Consider the Riemannian manifold \((S^3,{g_{abc}})\), endowed with the standard orientation, with respect to which \(\{{\mathbf {i}},{\mathbf {j}},{\mathbf {k}}\}\) is positively oriented. Up to isomorphism, there exists exactly one spin structure over this oriented Riemannian manifold, namely:
where \(\theta :{{\text {Spin}}}(3)\rightarrow {{\text {SO}}}(3)\) is the usual two-fold covering and \({{\text {SO}}}(3)\) acts canonically from the right on the bundle \({{\text {SO}}}(S^3,{g_{abc}})\) of positively oriented orthonormal bases of \((S^3,{g_{abc}})\).
In [1], C. Bär established formulas for spin structures, spinor bundles, and the associated Dirac operators over an oriented homogeneous space \(M=G/H\), endowed with a G-invariant Riemannian metric. We specialize these to the case \(M=G/H=S^3/\{1\}\cong S^3\), endowed with the above orientation. Then, the above spin structure \(S^3\times {{\text {Spin}}}(3)\) corresponds to Bär’s \(G\times _{\alpha '}{{\text {Spin}}}(n)\) with \(n=3\) and
Consequently (see Lemma 4 of [1] in the special case \(\alpha '=1\)), the associated spinor bundle is isomorphic to
where
denotes the space of complex 3-spinors. In particular, smooth sections of \(\Sigma S^3\) can be viewed as smooth maps \({\varphi }:S^3\rightarrow \Sigma _3\). Applying Theorem 1 of [1] in our special case, we easily obtain the following formula for the associated Dirac operator D:
Remark 2.3
![](http://media.springernature.com/lw460/springer-static/image/art%3A10.1007%2Fs12220-022-00997-x/MediaObjects/12220_2022_997_Equ1_HTML.png)
for all \({\varphi }\in C^\infty (S^3,\Sigma _3)\) and \(x\in S^3\), where \(\mathbf {\cdot }\) denotes Clifford multiplication, \(\{X_1,X_2,X_3\}\) is the above orthonormal basis \(\{a{\mathbf {i}},b{\mathbf {j}},c{\mathbf {k}}\}\) regarded as left-invariant vector fields, and \(\{e_1,e_2,e_3\}\) denotes the standard basis of \({\mathbb R}^3\). (Note that we have \([X_1,X_2]=\frac{2ab}{c} X_3\) and the analogous formulas arising from cyclic permutation, which implies, in Bär’s notation, \(\beta _i=0\) for \(i=1,2,3\), and \(\alpha _{123}= \frac{1}{2}(\frac{ab}{c}+\frac{bc}{a}+\frac{ca}{b})\).)
Let \(\pi _n\) denote the irreducible representation of \(S^3\cong {{\text {SU}}}(2)\) on the (n+1)-dimensional complex vector space \(V_n{:=}{{\text {span}}}\{P_k\mid k=0,...,n\}\) of the polynomials \(P_k(z,w)=z^{n-k}w^k\), given by \((\pi _n(x)P)(z,w)=P((z,w)x)\). The group \(S^3\) acts on \(L^2(S^3,\Sigma _3)\) by \((x{\varphi })(y){:=}{\varphi }(x^{-1}y)\). By Frobenius reciprocity, the decomposition of this representation space into isotypical components is given by
where \(v\otimes f\) in \(V_n\otimes {{\text {Hom}}}(V_n,\Sigma _3)\) corresponds to \(f(\pi _n(~.~ )^{-1}v)\in C^\infty (S^3,\Sigma _3)\).
The result of applying to the latter is \(f(\pi _{n*}(-X_\ell )\pi _n(x)^{-1}v)\) and corresponds to the vector \(v\otimes (f\circ \pi _{n*}(-X_\ell ))\). Thus, by (1), we get the following special case of Proposition 1 of [1]:
Proposition 2.4
The restriction of D to the isotypical component \(V_n\otimes {{\text {Hom}}}(V_n,\Sigma _3)\) of the above decomposition of \(L^2(S^3,\Sigma _3)\) is given by \({{\text {Id}}}\otimes D_n\), where
for all \(f\in {{\text {Hom}}}(V_n,\Sigma _3)\).
In the above formula, \(X_{\ell }\in T_{e}{{\text {SU}}}(2)={\mathfrak {s}}{\mathfrak {u}}(2)\) has to be interpreted as the vector corresponding to \(X_{\ell }\in T_{1} S^{3}\) under the identification given at the beginning of this section. That is:
Corollary 2.5
For the eigenvalue spectrum \({{\text {spec}}}(D)\) of D, we have
and if \(\lambda \) is an eigenvalue of \(D_n\) with multiplicity m, then the contribution of \(D_n\) to the total multiplicity of \(\lambda \) as an eigenvalue of D is \(\;m\,{{\text {dim}}}(V_n)=m(n+1)\).
Remark 2.6
Let \({{\text {SO}}}(3)=S^3/\{\pm 1\}\) be endowed with the orientation and Riemannian metric \({g_{abc}}\) inherited from \(S^3\). There are precisely two spin structures over \(({{\text {SO}}}(3),{g_{abc}})\), corresponding to the two homomorphisms
According to Lemma 4 of [1], the associated spinor bundles are isomorphic to
for \(j\in \{0,1\}\), where \(\rho :{{\text {Spin}}}(3)\rightarrow {{\text {U}}}(\Sigma _3)\) is the spin representation. In particular, smooth sections of \(\Sigma _{\alpha _j}{{\text {SO}}}(3)\) can be viewed as those smooth maps \({\varphi }:S^3\rightarrow \Sigma _3\) which are equivariant with respect to \(\rho \circ \alpha _j\). Note that \((\rho \circ \alpha _0)(-1)={{\text {Id}}}_{\Sigma _3}\) and \((\rho \circ \alpha _1)(-1)=-{{\text {Id}}}_{\Sigma _3}\). Thus, smooth sections of \(\Sigma _{\alpha _0}{{\text {SO}}}(3)\) or \(\Sigma _{\alpha _1}{{\text {SO}}}(3)\) can be viewed as those smooth maps \({\varphi }:S^3\rightarrow \Sigma _3\) which are \(\{\pm 1\}\) invariant or anti-invariant, respectively. Moreover, Theorem 1 of [1] implies that the corresponding Dirac operators are just the restrictions of D to these subspaces of sections. Since we have \(\pi _n(-x)=(-1)^n\pi _n(x)\) for all \(x\in S^3\) and \(n\in {\mathbb N}_0\), where \(\pi _n\) is the above irreducible representation of \(S^3\cong {{\text {SU}}}(2)\), we conclude that the sections of \(\Sigma _{\alpha _0}{{\text {SO}}}(3)\) or \(\Sigma _{\alpha _1}{{\text {SO}}}(3)\) correspond to those summands in (2) where n is even or odd, respectively. Thus, the following corollary follows from Corollary 2.5.
Corollary 2.7
For \(j\in \{0,1\}\) let \(D^{\alpha _j}\) denote the Dirac operator on \(\Sigma _{\alpha _j}{{\text {SO}}}(3)\). For the corresponding eigenvalue spectra, we then have
with multiplicities as described in Corollary 2.5.
Remark 2.8
-
(i)
With respect to the basis \(\{P_0,\ldots ,P_n\}\) of \(V_n\), the endomorphisms \(\pi _{n*}(X_\ell )\) are given as follows (where terms involving “\(P_{-1}\)” or “\(P_{n+1}\)” have to be interpreted as zero):
$$\begin{aligned} \begin{aligned} \pi _{n*}(X_1)(P_k)&=ai(n-2k)P_k\\ \pi _{n*}(X_2)(P_k)&=bkP_{k-1}-b(n-k)P_{k+1}\\ \pi _{n*}(X_3)(P_k)&=cikP_{k-1}+ci(n-k)P_{k+1} \end{aligned} \end{aligned}$$for \(k=0,\ldots ,n\).
-
(ii)
We choose a basis \(\{Z_1,Z_2\}\) of \(\Sigma _3\cong {\mathbb C}^2\) with respect to which Clifford multiplication by the standard basis vectors \(e_{1},e_{2},e_{3}\in {\mathbb R}^{3}\) is given by
$$\begin{aligned} \left( {\begin{matrix}i&{}0\\ 0&{}-i\end{matrix}}\right) , \left( {\begin{matrix}0&{}1\\ -1&{}0\end{matrix}}\right) , \ \left( {\begin{matrix}0&{}i\\ i&{}0\end{matrix}}\right) , \end{aligned}$$respectively. (In particular, \(e_1\cdot e_2\cdot e_3\cdot Z=-Z\) for all \(Z\in \Sigma _3\).)
-
(iii)
In Bär’s notation in Sect. 4 of [1], the latter three matrices correspond to the Clifford multiplications of \(e_3,-e_2,e_1\), respectively. In view of the formula from Proposition 2.4, this harmonizes with the fact that our \(X_1,X_2,X_3\), too, correspond to Bär’s \(X_3,-X_2,X_1\) up to scaling. Note that the case of Berger spheres treated in Sects. 4 to 6 of [1] corresponds to \(a=\frac{1}{T}\) and \(b=c=1\) in our notation.
Definition 2.9
-
(i)
For any given n, we consider, as in [1], the basis \(\{A_0,\ldots ,A_n,B_1,\ldots ,B_n\}\) of \({{\text {Hom}}}(V_n,\Sigma _3)\) given by
$$\begin{aligned} A_k(P_m)={\left\{ \begin{array}{ll}Z_1,&{}k=m,\text { { k} even,} \\ Z_2,&{}k=m,\text { { k} odd,}\\ 0,&{}\text {otherwise,}\end{array}\right. }\text { } B_k(P_m)={\left\{ \begin{array}{ll}Z_1,&{}k=m,\text { { k} odd,}\\ Z_2,&{}k=m,\text { { k} even,}\\ 0,&{}\text {otherwise,}\end{array}\right. } \end{aligned}$$for \(k,m\in \{0,\ldots ,n\}\).
-
(ii)
We abbreviate
$$\begin{aligned} C{:=}\frac{1}{2}\left( \frac{ab}{c}+\frac{bc}{a}+\frac{ca}{b}\right) . \end{aligned}$$(3)
As it turns out, the two subspaces of \({{\text {Hom}}}(V_n,\Sigma _3)\) spanned by \(\{A_0,\ldots ,A_n\}\) and \(\{B_0,\ldots ,B_n\}\), respectively, are invariant under the above operators \(D_n\). More precisely, using the above definitions and Remark 2.8(i), (ii), one easily obtains the following generalization of Bär’s formulas on p. 74 of [1] (which correspond to the case \(a=\frac{1}{T}\) and \(b=c=1\)):
Corollary 2.10
where \(D'_n\) is given by
for \(k\in \{0,\ldots ,n\}\).
Of course, terms involving “\(A_{-1}\)”, “\(A_{n+1}\)”, “\(B_{-1}\)”, or “\(B_{n+1}\)” are to be interpreted as zero in the previous corollary. In the next section, we will determine the eigenvalues of D, \(D^{\alpha _0}\), \(D^{\alpha _1}\) of smallest absolute value under the assumption that the scalar curvature associated with \({g_{abc}}\) is strictly positive. To that end, we will need:
Proposition 2.11
The scalar curvature associated with \({g_{abc}}\) on \((S^3,{g_{abc}})\) or \(({{\text {SO}}}(3),{g_{abc}})\) is
The first equality follows from Milnor’s formulas on p. 305/306 of [12] (observing that his \(\lambda _1,\lambda _2,\lambda _3\) are \(\frac{2bc}{a}, \frac{2ca}{b}, \frac{2ab}{c}\), respectively, in our notation). The second equality follows easily using the definition of C. Note that the scalar curvature is a constant function on \(S^3\cong {{\text {SU}}}(2)\) and on its Riemannian quotient \(({{\text {SO}}}(3),{g_{abc}})=(S^3,{g_{abc}})/\{\pm 1\}\) because \({g_{abc}}\) is homogeneous.
3 The Smallest Dirac Eigenvalues of \((S^3,{g_{abc}})\) and \(({{\text {SO}}}(3),{g_{abc}})\)
This section is devoted to proving Theorem 1.1. As explained in the introduction, it is no loss of generality if we continue to consider only the standard orientation of \(S^3\) and \({{\text {SO}}}(3)\) because switching it would just change the sign of the Dirac operators. Recall that
where C was defined in (3). Actually, we will prove the following more explicit result, which, in view of Corollary 2.5 and Corollary 2.7, will imply Theorem 1.1:
Theorem 3.1
Assume \({{\text {scal}}}>0\). Then, we have
-
(i)
\(-C\) is the only eigenvalue of \(D_0\), its multiplicity is 2, and \(C<\min \{\vert \lambda \vert \mid \lambda \in {{\text {spec}}}(D_n)\}\) for all even \(n\ge 2\),
-
(ii)
\(\mu \) is an eigenvalue of \(D_1\) of multiplicity 1, \(\mu =\min \{\vert \lambda \vert \mid \lambda \in {{\text {spec}}}(D_1)\}\), and \(\mu <\min \{\vert \lambda \vert \mid \lambda \in {{\text {spec}}}(D_n)\}\) for all odd \(n\ge 3\).
Moreover, \(C\ge \mu >0\); \(C=\mu \) holds if and only if \(a=b=c\).
We start with some elementary estimates:
Lemma 3.2
-
(i)
\(C^2\ge \max \{a^2+b^2,b^2+c^2,c^2+a^2\}\). In particular, \(C>\max \{a,b,c\}\).
-
(ii)
\(2C\ge a+b+c\); in particular, \(C\ge \mu \). Equality holds if and only if \(a=b=c\).
-
(iii)
\({{\text {scal}}}>0\) is equivalent to \(C^2<a^2+b^2+c^2\). In particular, \({{\text {scal}}}>0\) implies \(C<a+b+c\); that is, \(\mu >0\).
-
(iv)
\({{\text {scal}}}>0\) is equivalent to the following being simultaneously satisfied: \(ab<c(a+b)\) and \(bc<a(b+c)\) and \(ca<b(c+a)\).
-
(v)
\({{\text {scal}}}>0\) is equivalent to \(C<\min \{a+\frac{bc}{a},\,b+\frac{ca}{b},\,c+\frac{ab}{c}\}\).
Proof
-
(i)
\(C^2\ge C^2-\frac{1}{4}(-\frac{ab}{c}+\frac{bc}{a}+\frac{ca}{b})^2=\frac{1}{4}(\frac{ab}{c}+\frac{bc}{a}+\frac{ca}{b})^2-\frac{1}{4}(-\frac{ab}{c}+\frac{bc}{a}+\frac{ca}{b})^2=a^2+b^2\).
-
(ii)
Similarly, \(C^2\ge b^2+c^2\) and \(C^2\ge c^2+a^2\).
$$\begin{aligned} \begin{aligned}(ab)^2+(bc)^2+(ca)^2&=\tfrac{1}{2}((ab)^2+(bc)^2)+\tfrac{1}{2}((bc)^2+(ca)^2)+\tfrac{1}{2}((ca)^2+(ab)^2)\\&\ge ab\cdot bc+bc\cdot ca+ca\cdot ab=abc(a+b+c). \end{aligned} \end{aligned}$$The claimed estimate follows by dividing by abc, and equality holds if and only if \(ab=bc=ca\), that is, \(a=b=c\).
-
(iii)
This is clear from Proposition 2.11.
-
(iv)
Using Proposition 2.11 one easily verifies that
$$\begin{aligned} {{\text {scal}}}=\tfrac{2}{a^2b^2c^2}(ab+bc+ca)(ab+bc-ca)(ab-bc+ca)(-ab+bc+ca). \end{aligned}$$(4)It is not possible that more than one of the last three factors is negative because the sum of any two such factors is positive. Thus, \({{\text {scal}}}>0\) is equivalent to all factors being positive.
-
(v)
From the previous observation, \({{\text {scal}}}>0\) is also equivalent to any two of the last three factors in (4) having the same sign, that is, \((ab+bc-ca)(ab-bc+ca)>0\) and the two analogous inequalities obtained by cyclic permutations. The statement now follows from
$$\begin{aligned} (ab+bc-ca)(ab-bc+ca)&=a^2b^2-(bc-ca)^2 \\&=abc(\tfrac{ab}{c}-\tfrac{bc}{a}-\tfrac{ca}{b}+2c) \\&=2abc(-C+c+\tfrac{ab}{c}) \end{aligned}$$and the two analogous equalities obtained by cyclic permutations. \(\square \)
In order to prove Theorem 3.1, we will use an inductive argument using the Gershgorin Circle Theorem applied to the operators \(D_n^2\). That argument, however, will not work for small n. Therefore, we first treat the individual cases \(n=0,2,4\) and \(n=1,3\).
Remark 3.3
In this remark, we always assume
We use the explicit formulas for \(D_n=D'_n-C{{\text {Id}}}\) from Corollary 2.10, and we denote by \(\mathcal {A}'_n\) and \(\mathcal {B}'_n\) the matrices expressing the restrictions of \(D'_n\) to the invariant subspaces \({{\text {span}}}\{A_0,\ldots ,A_n\}\) and \({{\text {span}}}\{B_0,\ldots ,B_n\}\), respectively.
-
(i)
\(\mathbf {n=0}\): We have \(D'_0=0\), hence \(D_0=-C{{\text {Id}}}\). In particular, \(-C\) is the only eigenvalue of \(D_0\). The dimension of \({{\text {Hom}}}(V_0,\Sigma _3)\cong {{\text {Hom}}}({\mathbb C},{\mathbb C}^2)\) on which \(D_0\) lives is 2, so \(-C\) has multiplicity 2 as an eigenvalue of \(D_0\).
-
(ii)
\(\mathbf {n=2}\): One easily calculates that the characteristic polynomials of \(\mathcal {A}'_2\) and \(\mathcal {B}'_2\) coincide and are given by
$$\begin{aligned} \chi _2(x){:=}x^3-4(a^2+b^2+c^2)x-16abc. \end{aligned}$$Note that \(\chi _2\) is strictly convex on \([0,\infty )\) since \(\chi _2''(x)=6x\). Moreover, \(\chi _2(0)=-16abc<0\) and \(\chi _2(2C)=8C^3-8(a^2+b^2+c^2)C-16abc=-8C(a^2+b^2+c^2-C^2)-16abc<0\) by Lemma 3.2(iii). Thus, \(\chi _2\) is strictly negative on [0, 2C], so \(D'_2\) has no eigenvalues in [0, 2C]. It follows that \(D_2\) has no eigenvalues in \([-C,C]\).
-
(iii)
\(\mathbf {n=4}\): The characteristic polynomials of \(\mathcal {A}'_4\) and \(\mathcal {B}'_4\) coincide and are given by
$$\begin{aligned} \begin{aligned} \chi _4(x){:=}x^5&-20(a^2+b^2+c^2)x^3-80abc\,x^2\\ {}&+64(a^4+b^4+c^4+4a^2b^2+4b^2c^2+4c^2a^2)x+768abc(a^2+b^2+c^2). \end{aligned} \end{aligned}$$We will show that this is strictly positive on [0, 2C], so \(D_4\) has no eigenvalues in \([-C,C]\). Note that
$$\begin{aligned} \chi _4''(x)=20x^3-120(a^2+b^2+c^2)x-160abc \end{aligned}$$is strictly convex on \([0,\infty )\) since its second derivative is 120x. Moreover, \(\chi _4''(0)=-160abc<0\) and
$$\begin{aligned} \chi _4''(2C)=160 C^3-240(a^2+b^2+c^2)C-160abc<0 \end{aligned}$$since \(a^2+b^2+c^2>C^2\) by Lemma 3.2(iii). It follows that \(\chi _4''<0\) on [0, 2C], so \(\chi _4\) is concave on this interval. Moreover, \(\chi _4(0)=768abc(a^2+b^2+c^2)>0\) and, again using \(C^2<a^2+b^2+c^2\):
$$\begin{aligned} \begin{aligned} \chi _4(2C)&=32C^5-160(a^2+b^2+c^2)C^3-320abc\,C^2 \\&\quad +128(a^4+b^4+c^4+4a^2b^2+4b^2c^2+4c^2a^2)C+768abc(a^2+b^2+c^2)\\&>32C^5-160(a^2+b^2+c^2)^2C \\&\quad +128(a^4+b^4+c^4+4a^2b^2+4b^2c^2+4c^2a^2)C. \end{aligned} \end{aligned}$$Assume for a moment that \(b \ge c\), and recall that \(C^2>a^2+b^2\) by Lemma 3.2(i). Then
$$\begin{aligned} \begin{aligned} \chi _4(2C)&>32C((a^2+b^2)^2+(-5+4)(a^2+b^2+c^2)^2+8(a^2b^2+b^2c^2+c^2a^2))\\&=32C(-c^4+6a^2c^2+6b^2c^2+8a^2b^2)>0 \end{aligned} \end{aligned}$$since \(-c^4\ge -b^2c^2\). The case \(b\le c\) is treated analogously. By concavity of \(\chi _4\) on [0, 2C] and by \(\chi _4(0)>0\), it follows that \(\chi _4\) is strictly positive on [0, 2C], as claimed above.
-
(iv)
\(\mathbf {n=1}\): We have \(\mathcal {A}'_1=\left( {\begin{matrix} a&{}c+b \\ c+b&{}a \end{matrix}}\right) \), \(\mathcal {B}'_1=\left( {\begin{matrix} -a&{}c-b \\ c-b&{}-a \end{matrix}}\right) \). Thus, \(D_1=D'_1-C{{\text {Id}}}\) has the eigenvalues
$$\begin{aligned} a+b+c-C,\ \ a-b-c-C,\ \ -a+b-c-C,\ \ -a-b+c-C. \end{aligned}$$Note that the first of these equals \(\mu \). The second is \(a-b-c-C<-a-b-c+C=-\mu <0\) by Lemma 3.2(i), (iii). In particular, \(|a-b-c-C|>\mu \); this follows analogously for the third and fourth eigenvalues, too. Thus, \(\mu \) has multiplicity 1 as an eigenvalue of \(D_1\). Recall that \(D_1\) contributes each of its eigenvalues twice to the spectrum of D, resp. \(D^{\alpha _1}\) by Corollary 2.5, resp. Corollary 2.7.
-
(v)
\(\mathbf {n=3}\): It turns out that the eigenvalues of the \(4\times 4\)-matrices \(\mathcal {A}'_3\) and \(\mathcal {B}'_3\) can be computed explicitly and are given as follows, where
–
belong to \(\mathcal {A}'_3\) and
–
to \(\mathcal {B}'_3\):
\(\fbox {1}\) \(a+b-c-2\sqrt{a^2+b^2+c^2-ab+bc+ca}\)
\({\fbox {2}}\) \(a+b-c+2\sqrt{a^2+b^2+c^2-ab+bc+ca}\)
\({\fbox {3}}\) \(a-b+c-2\sqrt{a^2+b^2+c^2+ab+bc-ca}\)
\({\fbox {4}}\) \(a-b+c+2\sqrt{a^2+b^2+c^2+ab+bc-ca}\)
\({\fbox {5}}\) \(-a-b-c-2\sqrt{a^2+b^2+c^2-ab-bc-ca}\)
\({\fbox {6}}\) \(-a-b-c+2\sqrt{a^2+b^2+c^2-ab-bc-ca}\)
\({\fbox {7}}\) \(-a+b+c-2\sqrt{a^2+b^2+c^2+ab-bc+ca}\)
\({\fbox {8}}\) \(-a+b+c+2\sqrt{a^2+b^2+c^2+ab-bc+ca}\)
We want to show that none of the above lies in \([C-\mu ,C+\mu ]=[2C-a-b-c,a+b+c]\); this will imply that \(D_3\) has no eigenvalues in \([-\mu ,\mu ]\). For , note that
Thus, \(C-a-b+\sqrt{U}>C-a-b+\min \{a,b\}=C-\max \{a,b\}>0\) by Lemma 3.2(i). Hence, the expression in \({\fbox {1}}\) is strictly smaller than \(2C-a-b-c\). Similarly, one shows the same for the expressions in and
. Trivially, the expression in
is negative, hence strictly smaller than \(C-\mu \). For
, note that \(U>\frac{1}{2}(0+c^2+c^2)=c^2\), hence \(a+b-c+2\sqrt{U}>a+b+c\). Analogously, the same holds for the expressions in
and
. Concerning
, assume for a moment that \(a\ge b\ge c\). Then \(a^2+b^2+c^2-ab-bc-ca\le a^2+b^2+c^2-b^2-c^2-c^2 =a^2-c^2<a^2<C^2\) by Lemma 3.2(i). By symmetry in a, b, c, the same holds for permutations. In particular, the expression in
is strictly smaller than \(-a-b-c+2C\).
We will make use of the classical Gershgorin Circle Theorem in its version for the rows of a matrix:
Theorem 3.4
(Gershgorin Circle Theorem) If \(M=(m_{k,\ell })\) is a complex square matrix then each of its eigenvalues is contained in at least one of the closed disks centered at \(m_{k,k}\) with radius \(\sum _{\ell \ne k} \vert m_{k,\ell }\vert \).
We will apply this to the squares of the matrices
where I denotes the identity matrix in dimension \(n+1\). Recall that \(\mathcal {A}_n\) and \(\mathcal {B}_n\) are the blocks of the matrix representation of \(D_n\) with respect to the basis \(\{A_0,\ldots ,A_n,B_0,\ldots ,B_n\}\) of \({{\text {Hom}}}(V_n,\Sigma _3)\) from Definition 2.9. Since \(\mathcal {A}_n\) and \(\mathcal {B}_n\) are tridiagonal, their squares are pentadiagonal, and the following corollary is immediate.
Corollary 3.5
Let the rows and columns of \(\mathcal {A}_n\) and \(\mathcal {B}_n\) be numbered by \(0,\ldots ,n\). Then for each eigenvalue \(\lambda \) of \(D_n^2\), we have
where
are the left endpoints of the k-th Gershgorin intervals corresponding to \(\mathcal {A}_n^2\), resp. \(\mathcal {B}_n^2\). (Entries \((\mathcal {A}_n^2)_{k,\ell }\), \((\mathcal {B}_n^2)_{k,\ell }\) involving \(\ell <0\) or \(\ell >n\) are to be interpreted as zero.)
Using Corollary 2.10, one directly computes the following formulas for the entries of the rows of \(\mathcal {A}_n^2\) and \(\mathcal {B}_n^2\):
Proposition 3.6
If \(k\in \{0,\ldots ,n\}\) is even then
If \(k\in \{0,\ldots ,n\}\) is odd, then the same formulas hold with a, b replaced by \(-a,-b\), respectively. The entries of \(\mathcal {B}_n^2\) are obtained by swapping “k even” and “k odd”.
In the above proposition, note that entries which have to be interpreted as zero (like, e.g., \((\mathcal {A}_n^2)_{0,-2}\), \((\mathcal {A}_n^2)_{n,n+1}\)) are described by formulas which indeed happen to be zero.
Corollary 3.7
If we assume
then
where
and
Moreover, for all \(n\in {\mathbb N}_0\) and \(k\in \{0,\ldots ,n\}\), we have
Proof
Using the assumption \(b\ge c\) and recalling that \(C>a\) by Lemma 3.2(i), we have the signs \((-,+,*,-,-)\) in the k-th row of \(\mathcal {A}_n^2\) from Proposition 3.6 if k is even and \((-,-,*,+,-)\) if k is odd. This immediately implies the formulas for \(G_\mathcal {A}(n,k)\); recall the observation that the terms corresponding to nonexistent entries like \((\mathcal {A}_n^2)_{0,-2}\), etc., indeed evaluate to zero here. Again, \(G_\mathcal {B}\) is obtained from \(G_\mathcal {A}\) by swapping “k even” and “k odd”. The last statement of the corollary is obvious. \(\square \)
Remark 3.8
Recall from Remark 3.3 that we already proved the statements of Theorem 3.1 for \(0\le n\le 4\). In order to prove Theorem 3.1, it will suffice to prove the following:
If \({{\text {scal}}}>0\) and \(a\ge b\ge c\) then
In fact, in view of Corollaries 3.5 and 3.7, this will imply the statements of Theorem 3.1 for all \(n\ge 5\) in case \(a\ge b\ge c\). The condition \(a\ge b\ge c\) can then be removed because of Remark 2.2.
The key observation for proving (5) and (6) by induction is the next lemma. It says that the values in each column of the two triangular diagrams on the next page are strictly increasing if \({{\text {scal}}}>0\):
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs12220-022-00997-x/MediaObjects/12220_2022_997_Figa_HTML.png)
Lemma 3.9
(Triangle Induction) If \({{\text {scal}}}>0\) then, for each \(n\in {\mathbb N}_0\) and \(k\in \{0,\ldots ,n\}\):
Proof
One directly computes
If \({{\text {scal}}}>0\) then this is positive by Lemma 3.2(v). \(\square \)
Remark 3.10
In view of Lemma 3.9 and the above diagrams, (5) and (6) will follow from Proposition 3.11 below; recall that \(C\ge \mu >0\) by Lemma 3.2(ii), (iii).
Proposition 3.11
(Base cases for Triangle Induction) If \({{\text {scal}}}>0\) and \(a\ge b\ge c\) then
-
(i)
\(G(0,0)=C^2\), and \(G(n,n)>C^2\) for all \(n\ge 1\),
-
(ii)
\(G(n,0)>C^2\) for all \(n\ge 6\),
-
(iii)
\(G(n,1)>C^2\) for all \(n\ge 4\),
-
(iv)
\(G(1,0)=\mu ^2\) and \(G(5,0)>\mu ^2\).
Proof
-
(i)
By definition, we have
$$\begin{aligned} G(n,n)&=(a(n-2n)-C)^2+(b-c)^2 n-2(b-c)(C+a)n -(b^2-c^2)n(n-1)\\&=(a^2-b^2+c^2)n^2+2(aC+b^2-bc-bC+cC-ab+ca)n+C^2. \end{aligned}$$The coefficient at \(n^2\) is positive since \(a\ge b\). Recall that \(-bC+b^2+ca>0\) by Lemma 3.2(v), so the coefficient at n is greater than \(2(a+c)(C-b)\), which is positive by Lemma 3.2(i). The statement now follows.
-
(ii)
By definition,
$$\begin{aligned} \begin{aligned} G(n,0)&=(an-C)^2+(b+c)^2 n -2(b+c)(C-a)n-(b^2-c^2)n(n-1)\\&=(a^2-b^2+c^2)n^2+2(-aC+b^2+bc-bC-cC+ab+ca)n+C^2. \end{aligned} \end{aligned}$$(7)Again, the coefficient at \(n^2\) is positive. If we view \(n\mapsto G(n,0)\) as a quadratic function on \({\mathbb R}\), we see that
$$\begin{aligned} n=\nu {:=}\frac{2(aC+bC+cC-b^2-ab-bc-ca)}{a^2-b^2+c^2} \end{aligned}$$is the second solution (apart from \(n=0\)) of \(G(n,0)=C^2\). Thus, it suffices to show that \(\nu <6\). Equivalently, we have to show that
$$\begin{aligned} f{:=}aC+bC+cC-b^2-ab-bc-ca-3(a^2-b^2+c^2)<0. \end{aligned}$$Using Lemma 3.2(v) and \(a\ge b\), we have
$$\begin{aligned} aC< a^2+bc, \ \ \ bC<b^2+ca, \ \ \ cC<\tfrac{c}{a} (a^2+bc)\le ca+c^2. \end{aligned}$$(8)Thus,
$$\begin{aligned} f&<a^2+bc+b^2+ca+ca+c^2-b^2-ab-bc-ca-3(a^2-b^2+c^2)\\&=-2a^2+3b^2+ca-2c^2-ab. \end{aligned}$$We now use Lemma 3.2(iv) and \(a\ge b\ge c\) to see that
$$\begin{aligned} 2c>\tfrac{2ab}{a+b}\ge b \end{aligned}$$(9)and therefore \(f<b^2+ca-bc-ab=(b-c)(b-a)\le 0\).
-
(iii)
By definition,
$$\begin{aligned} G(n,1)&=(a(n-2)-C)^2+(b-c)^2n+2(b+c)^2(n-1) \\&\quad \quad -2(b-c)(C+a)-2(b+c)(C-a)(n-1)-(b^2-c^2)(n-1)(n-2) \\&=C^2-\bigl ((2n-4)a+2nb+(2n-4)c\bigr )C +(n-2)^2 a^2 \\&\quad \quad -(n^2-6n+4)b^2+n^2 c^2 +(2n-4)ab +(2n-4)bc +2n\,ca. \end{aligned}$$Using (8) again, and keeping in mind that \(n\ge 4\) (in particular, \(2n-4>0\)), we obtain:
$$\begin{aligned} G(n,1)&>C^2-\bigl ((2n-4)(a^2+bc)+2n(b^2+ca)+(2n-4)(ca+c^2)\bigr ) +(n-2)^2 a^2 \\&\quad \quad -(n^2-6n+4)b^2+n^2 c^2 +(2n-4)ab +(2n-4)bc +2n\,ca \\&=C^2+(n^2-6n+8)a^2-(n^2-4n+4)b^2+(n^2-2n+4)c^2 \\&\quad \quad +(2n-4)ab-(2n-4)ca. \end{aligned}$$Note that \(n^2-6n+8\ge 0\) since \(n\ge 4\). Therefore, using \(a\ge b\ge c\) and (9), we conclude:
$$\begin{aligned} G(n,1)&>C^2+(n^2-6n+8)b^2-(n^2-4n+4)b^2 \\&\quad \quad + (n^2-2n+4-2(2n-4))c^2+(2n-4)bc+(2n-4)ab-(2n-4)ca \\&=C^2-(2n-4)b^2+(n^2-6n+12)c^2+(2n-4)(bc+ab-ca)\\&=C^2+(2n-4)(a-b)(b-c)+((n-3)^2+3)c^2>C^2. \end{aligned}$$ -
(iv)
Substituting \(n=1\) in (7), the statement \(G(1,0)=(a+b+c-C)^2=\mu ^2\) is immediate. For the second statement, we let \(n=5\) in (7) and use (8) and (9) once more to obtain:
$$\begin{aligned} G(5,0)-\mu ^2&=25(a^2-b^2+c^2)+10(-aC-bC-cC+b^2+ab+bc+ca) \\&\quad \quad +C^2-\mu ^2\\&=-8aC-8bC-8cC+24a^2-16b^2+24c^2+8ab+8bc+8ac\\&>8(-a^2-bc-b^2-ca-ca-c^2+3a^2-2b^2+3c^2+ab+bc+ca)\\&=8(2a^2-3b^2+2c^2+ab-ca) \\&> 8(-b^2+bc+ab-ca) \\&=8(a-b)(b-c)\ge 0. \end{aligned}$$
\(\square \)
Remark 3.12
-
(i)
The proof of Theorem 3.1—and, thus, Theorem 1.1—is now complete; recall Remarks 3.10 and 3.8.
-
(ii)
Concerning Proposition 3.11, we add the observation that its statements are already optimal in the sense that
-
G(2, 0) and G(4, 0) are not always greater than or equal to \(C^2\) (and, less interestingly, neither is G(5, 0)), and
-
G(3, 0) is not always greater than or equal to \(\mu ^2\).
In fact, consider the point \((a,b,c)=(1,1,\frac{1}{2})\). This corresponds to a metric \({g_{abc}}\) with \({{\text {scal}}}=0\) and, thus, does not satisfy our assumption \({{\text {scal}}}>0\). However, in any of its neighborhoods, there exist triples corresponding to metrics which do satisfy \({{\text {scal}}}>0\); for example, \((1,1,\frac{1}{2}+{\varepsilon })\) for small \({\varepsilon }>0\). Moreover, the formulas for C, \(\mu \), and G(n, k) are continuous in (a, b, c). Thus, the above negative assertions follow from noting that in \((1,1,\frac{1}{2})\), one has
$$\begin{aligned} C^2=\tfrac{9}{4},\ \ \mu ^2=1,\ \ G(2,0)=\tfrac{1}{4},\ \ G(3,0)=0,\ \ G(4,0)=\tfrac{1}{4},\ \ G(5,0)=1. \end{aligned}$$This behavior of G(2, 0), G(3, 0), G(4, 0) just says that it would not have been possible to prove the results for \(n=2,3,4\) in Remark 3.3 by using the Gershgorin Circle Theorem. Also, it would not be possible to show, using the Gershgorin Circle Theorem, that \({{\text {scal}}}>0\) implies that the eigenvalues of \(D_5^2\) are (even) greater than \(C^2\)—we do not know whether this is actually the case.
-
-
(iii)
Finally, we remark that the eigenvalues of \(D_3^2\) are smaller than \(C^2\) for some metrics of positive scalar curvature. In fact, for small \({\varepsilon }>0\), the point \((a,b,c)=(1,{\varepsilon },{\varepsilon })\) corresponds to a metric with \({{\text {scal}}}>0\). The eigenvalue of \(D_3'\) listed under
in Remark 3.3(v) has value \(1-4{\varepsilon }\) at that point, and \(C=\frac{1}{2}(2+{\varepsilon }^2)\). The corresponding eigenvalue of \(D_3=D_3'-C{{\text {Id}}}\) is \(1-4{\varepsilon }-\frac{1}{2}(2+{\varepsilon }^2)=-4{\varepsilon }-\frac{1}{2}{\varepsilon }^2\), so its square is smaller than \(C^2\) if \({\varepsilon }>0\) is sufficiently small.
4 Spectral Determination of Isometry Class
The aim of this section is to prove Theorem 1.2.
Remark 4.1
Consider the asymptotic expansion
of the trace of the heat kernel associated with the square of the Dirac operator D over a closed m-dimensional Riemannian spin manifold (M, g). The coefficients \(a_j\) are determined by the eigenvalue spectrum of \(D^2\) and, hence, by the eigenvalue spectrum of D.
As proved in [5],
where \({{\text {scal}}}\), \({{\text {Ric}}}\), R are the scalar curvature, the Ricci tensor, and the Riemannian curvature tensor of (M, g), respectively, and \(\Sigma _m\) is the space of complex m-spinors. (Alternatively, one can derive these equations as a special case of Gilkey’s more general formulas for Laplace type operators P on complex vector bundles in [6], §4.8. Here, \(P=D^2=\nabla ^*\nabla +\frac{1}{4}{{\text {scal}}}\) by the Lichnerowicz formula, where \(\nabla \) is the spinor connection on the spinor bundle \(\Sigma M\).)
We apply this to our setting where (M, g) is one of our manifolds \((S^3,{g_{abc}})\) (with Dirac operator D as in the previous sections) or \(({{\text {SO}}}(3),{g_{abc}})\) (with Dirac operator either \(D^{\alpha _0}\) or \(D^{\alpha _1}\). Since \({g_{abc}}\) is homogeneous, all integrands in (10) are constant. In particular, in each of the above cases, we have:
-
The volume is determined by \(a_0\),
-
the scalar curvature is determined by \(a_0\) and \(a_1\),
-
the value of \(8\Vert {{\text {Ric}}}\Vert ^2+7\Vert R\Vert ^2\) is determined by \(a_0\), \(a_1\), and \(a_2\).
Remark 4.2
By the previous remark, the spectrum of any of our Dirac operators over \((S^3,{g_{abc}})\) or \(({{\text {SO}}}(3),{g_{abc}})\) determines, in particular, whether \({{\text {scal}}}>0\) or \({{\text {scal}}}\le 0\). Our strategy for proving Theorem 1.2 now is to show the following for each of the Dirac operators under consideration:
-
If \({{\text {scal}}}>0\), then the volume and the scalar curvature, together with the eigenvalue of smallest absolute value, determine a, b, c up to permutation.
-
If \({{\text {scal}}}\le 0\), then the volume and the scalar curvature, together with \(8\Vert {{\text {Ric}}}\Vert ^2+7\Vert R\Vert ^2\), determine a, b, c up to permutation.
In view of Remarks 4.1 and 2.2, Theorem 1.2 will then indeed be proven.
4.1 Case of Positive Scalar Curvature
If \({{\text {scal}}}>0\) then \(\mu =a+b+c-C\) is determined by the spectrum of D over \((S^3,{g_{abc}})\), and also by the spectrum of \(D^{\alpha _1}\) over \(({{\text {SO}}}(3),{g_{abc}})\), since \(\mu \) has smallest absolute value among all eigenvalues of D or \(D^{\alpha _1}\) by Theorem 1.1. Note that
Recall that the scalar curvature of \((S^3,{g_{abc}})\) or \(({{\text {SO}}}(3),{g_{abc}})\) is constant and is given by the formula from Proposition 2.11.
Showing that the volume together with \({{\text {scal}}}\) and \(\mu \) determines a, b, c up to permutation is equivalent to showing that each of the symmetric elementary polynomials
is individually determined by these data. Clearly, (11) implies that \(s_3\) is determined by the volume of \((S^3,{g_{abc}})\), resp. \(({{\text {SO}}}(3),{g_{abc}})\). Moreover,
and, by Proposition 2.11,
We read the resulting formula
as a quadratic equation for \(s_2\). Because of \(\mu >0\), \(s_3>0\), \({{\text {scal}}}>0\) there exists precisely one positive solution \(s_2\) (and precisely one negative solution, which is irrelevant since \(s_2>0\)). Thus, \(s_2\) is determined by \(s_3\), \(\mu \), and \({{\text {scal}}}\). Now (12) implies that this is the case for \(s_1\), too.
For \(D^{\alpha _0}\) over \(({{\text {SO}}}(3),{g_{abc}})\), we argue analogously. Instead of \(\mu \), we use \(C=\frac{1}{2}\left( \frac{ab}{c}+\frac{bc}{a}+\frac{ca}{b}\right) \), which is the smallest absolute value of eigenvalues of \(D^{\alpha _0}\) over \({{\text {SO}}}(3)\) by Theorem 1.1. Here, it will be more convenient to use the elementary symmetric polynomials in \(a^2,b^2,c^2\):
These determine \(a^2,b^2,c^2\) and, thus, also their positive roots a, b, c, up to permutation. Clearly, \(\sigma _3\) is determined by \({{\text {vol}}}({{\text {SO}}}(3),{g_{abc}})=\pi ^2/\sqrt{\sigma _3}\). Next, \(\sigma _2\) is determined by C and \(\sigma _3\) since
Finally,
by Proposition 2.11; in particular, \(\sigma _1\) is determined by C and \({{\text {scal}}}\). This concludes the proof of Theorem 1.2 in the case of positive scalar curvature.
4.2 Case of Nonpositive Scalar Curvature
Here, we will be able to argue simultaneously for D, \(D^{\alpha _0}\), and \(D^{\alpha _1}\). Instead of the smallest absolute value of eigenvalues, which is not at our disposal if \({{\text {scal}}}\le 0\), we now use
which is spectrally determined by Remark 4.1. Since we are in dimension three, \(R\) is a linear combination of and
(where
denotes the Kulkarni–Nomizu product), which implies that \(R(X,Y)Z=0\) if \(\{X,Y,Z\}\) is an orthogonal basis consisting of Ricci eigenvectors. Since the latter is the case for our Milnor basis \(\{X_1,X_2,X_3\}\) from Definition 2.1, we have, writing \(K_{ij}{:=}K({{\text {span}}}\{X_i,X_j\})\) for the sectional curvatures:
(the factor 4 arising from \(R_{ijji}^{2}+R_{ijij}^{2}+R_{jiji}^{2}+R_{jiij}^{2}=4K_{ij}^{2}\)) and, of course,
By the formulas on p. 319/320 in [12] and recalling that, in our notation, Milnor’s \(\lambda _1,\lambda _2,\lambda _3\) are \(\frac{2bc}{a}\), \(\frac{2ca}{b}\), and \(\frac{2ab}{c}\), respectively, one has
and the analogous formulas for \(K_{23}\) and \(K_{31}\). By direct computation, using the elementary symmetric polynomials in \(a^2,b^2,c^2\) again, this leads to
hence
Moreover, recall from (15) and (14) that
As before, \(\sigma _3\) is determined by the volume of the underlying Riemannian manifold. It now suffices to show that \(\sigma _2\) is determined by \({{\text {scal}}}\) and \(\tilde{a}_2\) because, by (17), \(\sigma _1\) will then be determined by these and the volume.
Using (16), (17), and the corresponding equation for \({{\text {scal}}}^2\), we obtain that
is determined by \({{\text {scal}}}\) and \(\tilde{a}_2\). In case \({{\text {scal}}}=0\), it follows immediately that \(\sigma _2\), too, is determined by these data, and we are done. In case \({{\text {scal}}}\ne 0\), we have \(\sigma _1=(4\sigma _2-Y)/{{\text {scal}}}\). Substituting this for \(\sigma _1\) in (17), we obtain
We read this as a quadratic equation for \(\sigma _2\) with coefficients determined by the volume together with \({{\text {scal}}}\) and \(\tilde{a}_2\). Under the assumption \({{\text {scal}}}<0\), the right-hand side of (18) has strictly negative derivative in each \(\sigma _2>0\), so there cannot be more than one positive solution \(\sigma _2\). (Note that this argument would not have worked if \({{\text {scal}}}>0\).) This concludes the proof of Theorem 1.2 in the case of nonpositive scalar curvature.
References
Bär, C.: The Dirac operator on homogeneous spaces and its spectrum on 3-dimensional lens spaces. Arch. Math. 21, 65–69 (1992)
Bettiol, R., Lauret, E., Piccione, P.: The first eigenvalue of a homogeneous CROSS. J. Geom. Anal. 32(3), 76–63 (2022)
Boldt, S.: Properties of the Dirac spectrum on three dimensional lens spaces. Osaka J. Math. 54(4), 747–765 (2017)
Boldt, S., Lauret, E.: An explicit formula for the Dirac multiplicities on lens spaces. J. Geom. Anal. 27(1), 689–725 (2017)
Dlubek, H., Friedrich, T.: Spektraleigenschaften des Dirac-Operators - die Fundamentallösung seiner Wärmeleitungsgleichung und die Asymptotenentwicklung der Zeta-Funktion. J. Differ. Geom. 15(1), 1–26 (1980)
Gilkey, P.: Invariance theory, the heat equation, and the Atiyah-Singer index theorem. In: Studies in Advanced Mathematics, 2nd edn. CRC Press, Boca Raton (1995)
Ginoux, N.: The Dirac Spectrum. Springer, Berlin (2009)
Kling, J.: Dirac eigenvalues of homogeneous 3-spheres, Master thesis, HU Berlin (2021). https://www.mathematik.hu-berlin.de/~klingjor/downloads/ma/jklma.pdf
Lauret, E.: The smallest Laplace eigenvalue of homogeneous 3-spheres. Bull. Lond. Math. Soc. 51(1), 49–69 (2019)
Lawson, H.B., Michelsohn, M.-L.: Spin Geometry. Prinecton University Press, Princeton (1990)
Lin, S., Schmidt, B., Sutton, C.: Geometric structures and the Laplace spectrum, Part II. Trans. Am. Math. Soc. 374(12), 8482–8530 (2021)
Milnor, J.: Curvatures of left invariant metrics on Lie groups. Adv. Math. 21(3), 293–329 (1976)
Acknowledgements
The second author thanks Emilio Lauret for raising her attention to the topic, and for several interesting discussions. Moreover, the authors thank the anonymous referee for his helpful remarks.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kling, J., Schueth, D. On the Dirac Spectrum of Homogeneous 3-Spheres. J Geom Anal 32, 275 (2022). https://doi.org/10.1007/s12220-022-00997-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-00997-x