On the Dirac spectrum of homogeneous 3-spheres

We show that any two left-invariant metrics on $S^3\cong\operatorname{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 $\operatorname{SO}(3)=S^3/\{\pm1\}$ for each of its two spin structures.


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 ≥ 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 ≥ 7 were systematically constructed by Boldt and Lauret in [4]. See section 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 ∼ = SU(2) and its quotient SO(3) = S 3 /{±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 = span R {i, j, k} ⊂ H; see Section 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 /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 (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 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 (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: is contained in the Dirac spectrum of (S 3 , g abc ). Now, if one considers the corresponding 1-parameter families 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 λ of the Dirac operator satisfies λ 2 ≥ 1 4 min(scal), where 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 1 2 √ scal is a common positive lower bound for the absolute values |λ|. Moreover, the condition 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 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 α 0 and D α 1 denote the Dirac operators associated with the trivial and the nontrivial spin structure, respectively, on the quotient manifold (SO(3), g abc ). Let 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 α 0 ) 2 always has multiplicity 2; the same holds for (D α 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 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 scal ≤ 0. Our second main theorem is, thus, regardless of the sign of the scalar curvature: (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 SO(3), the metric g abc is determined by the spectrum of D α 0 up to isometry. The same holds for the spectrum of D α 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 scal (which correspond to a 0 and a 1 ; see Section 4 for more details). Notably, that argument will actually need the condition scal ≤ 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 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 Section 2 we will set up the required preliminaries, give formulas for the Dirac operators on (S 3 , g abc ) and (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 Section 3 we will prove Theorem 1.1. Finally, Section 4 is devoted to the proof of Theorem 1.2.

Preliminaries
Let H = span{1, i, j, k} denote the skew-field of quaternions. We consider the Lie group Left-invariant Riemannian metrics on S 3 correspond to Euclidean inner products on T 1 S 3 = span{i, j, k}. Let a, b, c > 0.
We denote the induced left-invariant metric on the quotient Lie group SO(3) = S 3 /{±1} by g abc again.
Remark 2.2. It is well known that every left-invariant metric on S 3 or SO(3) is isometric to a metric of the form g abc (see, e.g., [12]). Moreover, for any permutation σ of {a, b, c}, g σ(a)σ(b)σ(c) on S 3 is isometric to g abc by an orientation-preserving isometry which also descends to SO(3) = S 3 /{±1}. For example, with p := j+k √ 2 , the map S 3 ∋ x → pxp −1 ∈ S 3 is an orientation-preserving automorphism sending the left-invariant vector fields i, j, k to −i, k, j, respectively, thus giving an isometry between (S 3 , g abc ) and (S 3 , g acb ), which obviously also descends to SO(3).
Consider the Riemannian manifold (S 3 , g abc ), endowed with the standard orientation, with respect to which {i, j, k} is positively oriented. Up to isomorphism, there exists exactly one spin structure over this oriented Riemannian manifold, namely: where ϑ : Spin(3) → SO(3) is the usual two-fold covering and SO(3) acts canonically from the right on the bundle 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} ∼ = S 3 , endowed with the above orientation. Then the above spin structure S 3 × Spin(3) corresponds to Bär's G × α ′ Spin(n) with n = 3 and . Consequently (see Lemma 4 of [1] in the special case α ′ = 1), the associated spinor bundle is isomorphic to In particular, smooth sections of ΣS 3 can be viewed as smooth maps ϕ : S 3 → Σ 3 . Applying Theorem 1 of [1] in our special case, we easily obtain the following formula for the associated Dirac operator D: for all ϕ ∈ C ∞ (S 3 , Σ 3 ) and x ∈ S 3 , where · denotes Clifford multiplication, {X 1 , X 2 , X 3 } is the above orthonormal basis {ai, bj, ck} regarded as left-invariant vector fields, and {e 1 , e 2 , e 3 } denotes the standard basis of R 3 . (Note that we have [X 1 , X 2 ] = 2ab c X 3 and the analogous formulas arising from cyclic permutation, which implies, in Bär's notation, β i = 0 for i = 1, 2, 3, and α 123 = 1 2 ab c + bc a + ca b .) Let π n denote the irreducible representation of S 3 ∼ = SU(2) on the (n + 1)-dimensional complex vector space V n := span{P k | k = 0, ..., n} of the polynomials P k (z, w) = z n−k w k , given by (π n (x)P )(z, w) = P ((z, w)x). The group S 3 acts on L 2 (S 3 , Σ 3 ) by (xϕ)(y) := ϕ(x −1 y). By Frobenius reciprocity, the decomposition of this representation space into isotypical components is given by where The result of applying X ℓ| x to the latter is f (π n * (−X ℓ )π n (x) −1 v) and corresponds to the vector v ⊗ (f • π n * (−X ℓ )). Thus, by (1) we get the following special case of Proposition 1 of [1]: In the above formula, X ℓ ∈ T e SU(2) = su(2) has to be interpreted as the vector corresponding to X ℓ ∈ T 1 S 3 under the identification given at the beginning of this section. That is: and if λ is an eigenvalue of D n with multiplicity m, then the contribution of D n to the total multiplicity of λ as an eigenvalue of D is m dim(V n ) = m(n + 1).
be endowed with the orientation and Riemannian metric g abc inherited from S 3 . There are precisely two spin structures over (SO(3), g abc ), corresponding to the two homomorphisms According to Lemma 4 of [1], the associated spinor bundles are isomorphic to is the spin representation. In particular, smooth sections of Σ α j SO(3) can be viewed as those smooth maps ϕ : (3) can be viewed as those smooth maps ϕ : S 3 → Σ 3 which are {±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 π n (−x) = (−1) n π n (x) for all x ∈ S 3 and n ∈ N 0 , where π n are the above irreducible representations of S 3 ∼ = SU(2), we conclude that the sections of Σ α 0 SO(3) or Σ α 1 SO(3) correspond to those summands in (2) where n is even or odd, respectively. Thus, the following corollary follows from Corollary 2.5.
. For the corresponding eigenvalue spectra we then have spec(D α 0 ) = {λ ∈ R | λ is an eigenvalue of D n for some even n ∈ N 0 }, spec(D α 1 ) = {λ ∈ R | λ is an eigenvalue of D n for some odd n ∈ N 0 }, with multiplicities as described in Corollary 2.5.
(ii) We choose a basis {Z 1 , Z 2 } of Σ 3 ∼ = C 2 with respect to which Clifford multiplication by the standard basis vectors e 1 , e 2 , e 3 ∈ R 3 is given by (iii) In Bär's notation in Section 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 Sections 4 to 6 of [1] corresponds to a = 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 , . . . , A n , B 1 , . . . , B n } of Hom(V n , Σ 3 ) given by for k, m ∈ {0, . . . , n}.
(ii) We abbreviate As it turns out, the two subspaces of Hom(V n , Σ 3 ) spanned by {A 0 , . . . , A n } and {B 0 , . . . , 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 = 1 T and b = c = 1): 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 α 0 , D α 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 (SO(3), g abc ) is The first equality follows from Milnor's formulas on p. 305/306 of [12] (observing that his λ 1 , λ 2 , λ 3 are 2bc a , 2ca b , 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 ∼ = SU(2) and on its Riemannian quotient (SO(3), g abc ) = (S 3 , g abc )/{±1} because g abc is homogeneous.
3. The smallest Dirac eigenvalues of (S 3 , g abc ) and (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 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 scal > 0. Then we have (i) −C is the only eigenvalue of D 0 , its multiplicity is 2, and C < min{|λ| | λ ∈ spec(D n )} for all even n ≥ 2, (ii) µ is an eigenvalue of D 1 of multiplicity 1, µ = min{|λ| | λ ∈ spec(D 1 )}, and µ < min{|λ| | λ ∈ spec(D n )} for all odd n ≥ 3. Moreover, C ≥ µ > 0; C = µ holds if and only if a = b = c.
We start with some elementary estimates: In particular, scal > 0 implies C < a + b + c; that is, µ > 0. (iv) scal > 0 is equivalent to the following being simultaneously satisfied: ab < c(a + b) and bc < a(b + c) and ca < b(c + a).
(iii) This is clear from Proposition 2.11.
(iv) Using Proposition 2.11 one easily verifies that (4) scal = 2 a 2 b 2 c 2 (ab + bc + ca)(ab + bc − ca)(ab − bc + ca)(−ab + bc + ca). 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, scal > 0 is equivalent to all factors being positive.
(v) From the previous observation, 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 (ab + bc − ca)(ab − bc + ca) = a 2 b 2 − (bc − ca) 2 = abc( ab c − bc a − ca b + 2c) = 2abc(−C + c + ab c ) and the two analogous equalities obtained by cyclic permutations.
Note that the first of these equals µ. The second is a − b − c − C < −a − b − c + C = −µ < 0 by Lemma 3.2(i), (iii). In particular, |a − b − c − C| > µ; this follows analogously for the third and fourth eigenvalue, too. Thus, µ 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 α 1 by Corollary 2.5, resp. Corollary 2.7.
(v) n = 3: It turns out that the eigenvalues of the 4 × 4-matrices A ′ 3 and B ′ 3 can be computed explicitly and are given as follows, where 1 -4 belong to A ′ 3 and 5 -8 to B ′ 3 : We want to show that none of the above lies in [C − µ, C + µ] = [2C − a − b − c, a + b + c]; this will imply that D 3 has no eigenvalues in [−µ, µ]. For 1 , note that Hence, the expression in 1 is strictly smaller than 2C − a − b − c. Similarly, one shows the same for the expressions in 3 and 7 . Trivially, the expression in 5 is negative, hence strictly smaller than C − µ. For 2 , note that U > 1 2 (0 + c 2 + c 2 ) = c 2 , hence a + b − c + 2 √ U > a + b + c. Analogously, the same holds for the expressions in 4 and 8 . Concerning 6 , assume for a moment that a ≥ b ≥ c. Then By symmetry in a, b, c, the same holds for permutations. In particular, the expression in 6 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,ℓ ) is a complex square matrix then each of its eigenvalues is contained in at least one of the closed discs centered at m k,k with radius ℓ =k |m k,ℓ |. We will apply this to the squares of the matrices A n := A ′ n − C I and B n := B ′ n − C I, where I denotes the identity matrix in dimension n + 1. Recall that A n and B n are the blocks of the matrix representation of D n with respect to the basis {A 0 , . . . , A n , B 0 , . . . , B n } of Hom(V n , Σ 3 ) from Definition 2.9. Since A n and B n are tridiagonal, their squares are pentadiagonal, and the following corollary is immediate. where are the left endpoints of the k-th Gershgorin intervals corresponding to A 2 n , resp. B 2 n . (Entries (A 2 n ) k,ℓ , (B 2 n ) k,ℓ involving ℓ < 0 or ℓ > n are to be interpreted as zero.) Using Corollary 2.10 one directly computes the following formulas for the entries of the rows of A 2 n and B 2 n : Proposition 3.6. If k ∈ {0, . . . , n} is even then . . , n} is odd, then the same formulas hold with a, b replaced by −a, −b, respectively. The entries of B 2 n 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., (A 2 n ) 0,−2 , (A 2 n ) n,n+1 ) are described by formulas which indeed happen to be zero. Corollary 3.7. If we assume b ≥ c then G A (n, k) = G(n, k), k even, G(n, k), k odd, and G B (n, k) = G (n, k), k even, Moreover, for all n ∈ N 0 and k ∈ {0, . . . , n} we have G(n, k) =G(n, n − k).
Proof. Using the assumption b ≥ c and recalling that C > a by Lemma 3.2(i), we have the signs (−, +, * , −, −) in the k-th row of A 2 n from Proposition 3.6 if k is even and (−, −, * , +, −) if k is odd. This immediately implies the formulas for G A (n, k); recall the observation that the terms corresponding to nonexistent entries like (A 2 n ) 0,−2 etc. indeed evaluate to zero here. Again, G B is obtained from G A by swapping "k even" and "k odd". The last statement of the corollary is obvious.
Remark 3.8. Recall from Remark 3.3 that we already proved the statements of Theorem 3.1 for 0 ≤ n ≤ 4. In order to prove Theorem 3.1, it will suffice to prove the following: If scal > 0 and a ≥ b ≥ c then G(n, k) > C 2 for all even n ≥ 6 and all k ∈ {0, . . . , n}, G(n, k) > µ 2 for all odd n ≥ 5 and all k ∈ {0, . . . , n}.
In fact, in view of Corollaries 3.5 and 3.7, this will imply the statements of Theorem 3.1 for all n ≥ 5 in case a ≥ b ≥ c. The condition a ≥ b ≥ c can then be removed because of Remark 2.2.
If scal > 0 then this is positive by Lemma 3.2(v).
Proof. (i) By definition we have The coefficient at n 2 is positive since a ≥ b. Recall that −bC + b 2 + ca > 0 by Lemma 3.2(v), so the coeffient at n is greater than 2(a+c)(C −b), which is positive by Lemma 3.2(i). The statement now follows.

Spectral determination of isometry class
The aim of this section is to prove Theorem 1.2.

Remark 4.1. Consider the asymptotic expansion
Tr(e −tD 2 ) ∼ tց0 (4πt) −m/2 (a 0 + a 1 t + a 2 t 2 + . . .) 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 scal, Ric, R are the scalar curvature, the Ricci tensor, and the Riemannian curvature tensor of (M, g), respectively, and Σ 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 = ∇ * ∇ + 1 4 scal by the Lichnerowicz formula, where ∇ is the spinor connection on the spinor bundle Σ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 (SO(3), g abc ) (with Dirac operator either D α 0 or D α 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 Ric 2 + 7 R 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 (SO(3), g abc ) determines, in particular, whether scal > 0 or scal ≤ 0. Our strategy for proving Theorem 1.2 now is to show the following for each of the Dirac operators under consideration: • If 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 scal ≤ 0 then the volume and the scalar curvature, together with 8 Ric 2 + 7 R 2 , determine a, b, c up to permutation.
In view of Remark 4.1 and Remark 2.2, Theorem 1.2 will then indeed be proven.

4.1.
Case of positive scalar curvature. If scal > 0 then µ = a + b + c − C is determined by the spectrum of D over (S 3 , g abc ), and also by the spectrum of D α 1 over (SO(3), g abc ), since µ has smallest absolute value among all eigenvalues of D or D α 1 by Theorem 1.1. Note that (11) vol(S 3 , g abc ) = vol(S 3 , g 111 ) abc = 2π 2 abc and vol(SO(3), g abc ) = π 2 abc .
Recall that the scalar curvature of (S 3 , g abc ) or (SO (3), g abc ) is constant and is given by the formula from Proposition 2.11.
Showing that the volume together with scal and µ determines a, b, c up to permutation is equivalent to showing that each of the symmetric elementary polynomials s 1 := a + b + c, s 2 := ab + bc + ca, s 3 := abc is individually determined by these data. Clearly, (11) implies that s 3 is determined by the volume of (S 3 , g abc ), resp. (SO(3), g abc ). Moreover, 2 s 2 2 /s 3 and, by Proposition 2.11, We read the resulting formula 4µ s 2 2 /s 3 − 16s 2 − scal = 0 as a quadratic equation for s 2 . Because of µ > 0, s 3 > 0, 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 , µ, and scal. Now (12) implies that this is the case for s 1 , too.

4.2.
Case of nonpositive scalar curvature. Here we will be able to argue simultaneously for D, D α 0 , and D α 1 . Instead of the smallest absolute value of eigenvalues, which is not at our disposal if scal ≤ 0, we now useã 2 := 8 Ric 2 + 7 R 2 which is spectrally determined by Remark 4.1. Since we are in dimension three, R is a linear combination of Ric ∧ g and g ∧ g (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(span{X i , X j }) for the sectional curvatures: R 2 = 4(K 2 12 + K 2 23 + K 2 31 ) (the factor 4 arising from R 2 ijji + R 2 ijij + R 2 jiji + R 2 jiij = 4K 2 ij ) and, of course, Ric 2 = (K 12 + K 23 ) 2 + (K 23 + K 31 ) 2 + (K 31 + K 12 ) 2 .