Abstract
We use a modified Bochner technique to derive an inequality relating the nodal set of eigenspinors to eigenvalues of the Dirac operator on closed surfaces. In addition, we apply this technique to solutions of similar spinorial equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and results
Throughout this note we assume that \((M,g)\) is a closed, connected, oriented surface with a Riemannian metric \(g\). The bundle \(\textit{SO}(M)\) of oriented orthonormal frames is an \(S^1\)-principal bundle over the surface \(M\). Let \(\Theta :S^1\rightarrow S^1\) be the nontrivial double covering of \(S^1\). A spin structure on \(M\) is an \(S^1\)-principal bundle \(Spin(M)\) over \(M\) together with a twofold covering map \(\theta :Spin(M)\rightarrow \textit{SO}(M)\) such that the diagram
commutes. Every orientable surface admits a spin structure, the number of possible spin structure is equal to the number of elements in \(H^1(M,\mathbb {Z}_2)\). On the spinor bundle \(\Sigma M\) we have a metric connection \(\nabla \) and a hermitian scalar product of which we will always take the real part turning it into an euclidean scalar product. Sections in the spinor bundle are called spinors. Moreover, there exists the canonical splitting of the spinor bundle \(\Sigma M\) into the bundle of positive spinors \(\Sigma ^+M\) and the bundle of negative spinors \(\Sigma ^-M\), that is \(\Sigma M=\Sigma ^+M\oplus \Sigma ^-M\).
In addition, we have the Clifford multiplication of spinors with tangent vectors, denoted by \(X\cdot \psi \) for \(X\in \textit{TM}\) and \(\psi \in \Gamma (\Sigma M)\). Clifford multiplication is skew-symmetric
and satisfies the Clifford relations
for \(X,Y\in \textit{TM}\) and \(\psi ,\xi \in \Gamma (\Sigma M)\).
Definition 1.1
The Dirac operator \(D\) maps smooth sections of \(\Sigma M\) to smooth sections of \(\Sigma M\) and is given by
where \(e_1,e_2\) is a local orthonormal frame of \(\textit{TM}\).
The Dirac operator is a first order, elliptic operator, which is self-adjoint with respect to the \(L^2\)-norm. Thus, from general spectral theory we know that the spectrum of the Dirac operator is real, discrete and tends rapidly to infinity. In addition, it is well known that in contrast to the Laplacian the spectrum of the Dirac operator consists of both positive and negative eigenvalues.
The square of the Dirac operator satisfies the Schrödinger–Lichnerowicz formula
where \(R\) denotes the scalar curvature of the manifold.
For more background material on spin geometry and the Dirac operator we refer the reader to the books [12, 20].
Definition 1.2
A spinor \(\psi \in \Gamma (\Sigma M)\) is called eigenspinor with eigenvalue \(\lambda \) if it satisfies
In particular, an eigenspinor corresponding to the eigenvalue \(\lambda =0\) is called harmonic.
In general, the spectrum of the Dirac operator \(D\) cannot be computed explicitly. There are only few manifolds with high symmetry, who allow to explicitly determine the spectrum, for example flat tori [11] and round spheres [4].
However, it is possible to estimate the spectrum. A fundamental inequality for the eigenvalues of the Dirac operator is Friedrich’s inequality [10]
where \(n\) is the dimension of the manifold \(M\).
On closed surfaces, the following inequality was given by Bär [3]
where \(\chi (M)\) is the Euler characteristic of \(M\). It directly follows from (1.4) that there do not exist harmonic spinors on \(S^2\). However, on surfaces of genus \(g\ge 1\) there always exist a metric and a spin structure admitting harmonic spinors, see [18, Proposition 2.4], [14, Theorem 6.2.1] and [7]. It is also possible to give estimates on the first non-zero eigenvalue of the Dirac operator that include the spin structure, see for example [2].
For more details on the spectrum of the Dirac operator see the book [14].
Basically, inequality (1.4) gives information about small eigenvalues of the Dirac operator. In this note we will derive an inequality that provides properties of large eigenvalues. On closed surfaces the nodal set of eigenspinors is discrete [6], which enables us to prove the following:
Theorem 1.3
Suppose that \((M,g)\) is a closed, connected spin surface with fixed spin structure. Then every eigenvalue \(\lambda \) of the Dirac operator \(D\) satisfies the following inequality
where \(\chi (M)\) is the Euler characteristic of \(M\). Moreover, \(N(\psi )\) denotes the sum of the order of the zero’s of the corresponding eigenspinor \(\psi \), that is
Corollary 1.4
Of course, (1.5) can also be interpreted as an inequality for the nodal set of an eigenspinor \(\psi \) of the Dirac operator
We will discuss a similar inequality for harmonic spinors, twistor spinors and solutions of a semi-linear Dirac equation.
Remark 1.5
Note that (1.7) also holds if \(\lambda \) is an eigenvalue with higher multiplicity. In this case we could consider a linear combination of eigenspinors and the nodal set could depend on the particular linear combination. However, the estimate (1.7) holds for all linear combinations.
Remark 1.6
We cannot expect that a similar inequality holds in higher dimensions since the nodal set of eigenspinors is no longer discrete [6].
2 Proof of the main theorem
By the main result of [6] we know that on a two-dimensional manifold the zero-set of eigenspinors is discrete. In the following we will make use of the energy-momentum tensor \(T(X,Y)\)
This tensor arises if one varies the functional \(E(\psi )=\int _M\langle \psi ,D\psi \rangle dM\) with respect to the metric.
The following Lemma can be found in [19, Lemma 5.1], see also [13]. Since we need a slightly more general version of it we also give a proof here. In contrast to the reference given above we use the analyst’s sign convention for the Laplacian.
Lemma 2.1
Suppose that \(\psi \in \Gamma (\Sigma M)\) does not have any zeros. Then the following inequality holds
Proof
We set
with a one-form \(\alpha \) and a symmetric \((1,1)\)-tensor \(\beta \) given by
By a direct computation using the real scalar product on \(\Sigma M\) we find summing over repeated indices
Moreover, we have
Thus, we arrive at
yielding the result. \(\square \)
The following Lemma will be the key-tool for the further analysis. For the sake of completeness we also present a proof, where we follow [22].
Lemma 2.2
Suppose \(M\) is a closed Riemannian surface. If the zero set of \(|\psi |\) is discrete and \(|\psi |\) does not vanish identically, then the following equality holds
where \(n_p\) is the order of \(|\psi |\) at the point \(p\).
Proof
Since the zeros of \(|\psi |\) are isolated and \(M\) is compact, the number of zeros \(p_1,\ldots ,p_k\) is finite in \(M\). Let \(D_\varepsilon (p_j)\) be a small disc of radius \(\varepsilon >0\) around \(p_j\). Applying the divergence theorem we get
where \(\frac{\partial }{\partial r}\) denotes the radial derivative. Using a local Taylor expansion for each \(j\) we get
where \(n_j\) denotes the order of the first non-vanishing term in the Taylor expansion of \(\psi \) in \(p_j\). By letting \(\varepsilon \rightarrow 0\) we thus obtain
which proves the Lemma. \(\square \)
Finally, we apply Lemma 2.1 in the case that \(\psi \) is an eigenspinor. We can estimate the energy momentum tensor by \(|T|^2\ge 2\lambda ^2|\psi |^4\). Thus, from (2.2) we obtain
where \(K\) denotes the Gaussian curvature of \(M\). Note that the last term on the right hand side of (2.2) vanishes for \(\psi \) being an eigenspinor. Integrating over the surface \(M\) and using (2.3) completes the proof of Theorem 1.3.
3 Nodal sets of solutions of similar equations
In this section we are concerned with the nodal set of harmonic spinors, twistor spinors and solutions of a non-linear Dirac equation. Most of the results presented in this section are well-known in the literature.
Lemma 3.1
(Bochner formula) For an arbitrary spinor \(\psi \in \Gamma (\Sigma M)\) the following Bochner formula holds
where \(K\) is the Gaussian curvature of the surface.
Proof
This follows by a direct calculation using (1.1). \(\square \)
Proposition 3.2
Let \((M,g)\) be a closed Riemannian spin surface. Moreover, assume that \(\psi \in \Gamma (\Sigma ^+M)\) is a harmonic spinor, that is \(D\psi =0\). Then the following formula holds
where \(N_0\) is the sum of the order of the zeros of \(\psi \) and \(\chi (M)\) denotes the Euler characteristic of the surface.
Proof
Since \(\Sigma ^+M\) is a complex line bundle, we can write \(\nabla _{e_j}\psi =f_j\psi \) for some complex-valued function \(f_j\) away from its zero-set. By a direct calculation we obtain the following identities
By assumption \(D\psi =0\), consequently we get from (3.5) that \({\text {Re}}f_1=-{\text {Im}}f_2\) and \({\text {Re}}f_2=-{\text {Im}}f_1\). Inserting this into both (3.3) and (3.4) yields
Making use of the Bochner formula (3.1) and the assumption \(D\psi =0\) we obtain
Integrating over the surface \(M\) and applying (2.3) then proves the assertion. \(\square \)
Remark 3.3
The same formula holds true if \(\psi \in \Gamma (\Sigma ^-M)\) solves \(D\psi =0\). Note that from a holomorphic perspective the statement of Proposition 3.2 is a standard fact about the zero divisor of a holomorphic section of a holomorphic line bundle, see [15, p. 144, Example 1].
The last proposition is a special case of a structure Theorem for Dirac-harmonic maps between surfaces, which was proven in [23, Theorem 4.2]. In addition, the statement was also proven using the Poincaré–Hopf Index Theorem in [17, Theorem 4.12].
Now, we turn to the analysis of twistor spinors, for more details on them see the book [9].
Definition 3.4
Let \((M,g)\) be a \(n\)-dimensional Riemannian spin manifold. A twistor spinor is a section \(\psi \) of \(\Sigma M\) satisfying
where \(P_X\psi :=\nabla _X\psi +\frac{1}{n}X\cdot D\psi \) for every \(X\in \textit{TM}\).
For twistor spinors we will prove the following
Proposition 3.5
Let \((M,g)\) be a closed Riemannian spin surface and let \(\psi \in \Gamma (\Sigma ^+ M)\) be a twistor spinor. Then we have
where \(N(\psi )\) is the sum of the order of the zeros of \(\psi \). The same formula also holds for \(\psi \in \Gamma (\Sigma ^- M)\).
Proof
We follow a similar approach as in the proof of the last Proposition. First, if \(\psi \) is a twistor spinor on a \(n-\)dimensional Riemannian manifold, then it satisfies
see for example [9, p. 24]. Moreover, we can again write \(\nabla _{e_j}\psi =f_j\psi \) for some complex-valued function \(f_j\) away from its zero-set. Since \(\psi \) is a twistor spinor, it satisfies
Combining (3.9) with (3.4) and (3.5) we obtain
which leads to
Thus, we get \({\text {Re}}f_1={\text {Im}}f_2\) and \({\text {Re}}f_2={\text {Im}}f_1\) such that (3.6) still holds. In the end, via the Bochner formula (3.1), we find
Integrating this equation using (2.3) and the Gauß–Bonnet theorem completes the proof. \(\square \)
Corollary 3.6
The only closed surface admitting non-trivial twistor spinors with zeros is \(S^2\). Moreover, there do not exist non-trivial twistor spinors on surfaces with negative Euler characteristic.
The spinorial Weierstraß representation for CMC-surfaces in \(\mathbb {R}^3\) is governed by the equation
where \(\mu \) denotes some real constant. The condition on the \(L^4\) norm of \(\psi \) normalizes the volume of the surface to be equal to 1. We refer to [1] and references therein for more details. We can give an estimate on the nodal set of solutions of (3.10), which was already proven in [1].
Proposition 3.7
The zero set of solutions of (3.10) can be estimated as
Proof
Again, by the main result of [6] we know that the nodal set of solutions of (3.10) is discrete. Moreover, the last term on the right hand side of (2.2) vanishes when \(\psi \) solves (3.10). We compute
where we used the skew-symmetry of the Clifford multiplication and (3.10) in the last step. Using that \(|T|^2\ge 2\mu ^2|\psi |^8\) in this case we obtain from (1.5)
and integrating over the surface \(M\) using (2.3) yields the assertion. \(\square \)
4 Applications
In this section we give some applications of Theorem 1.3.
Example 4.1
We can use (1.7) to estimate the nodal set of the eigenspinor belonging to the first eigenvalue on \(S^2\) with the round metric. The Dirac spectrum on \(M=S^n\) for \(n\ge 2\) equipped with the round metric is well-known (see for example [4]): The eigenvalues of the Dirac operator are
Thus, from (1.7) we find that the zero set of an eigenspinor belonging to the first eigenvalue on \(S^2\) is empty. This result is also well-known: On the sphere with the round metric the eigenspinors belonging to the eigenvalues \(\pm \frac{n}{2}\) are Killing spinors with \(\alpha =\pm \frac{n}{2}\), see [14, Example A.1.3] and references therein. Thus, their nodal set is empty. This statement can also be obtained by an explicit calculation: in [16, Chapter 4], it is shown that on the sphere \(S^n\) with the round metric the eigenspinors corresponding to the eigenvalues \(\lambda =\pm \frac{n}{2}\) are nowhere zero.
We can generalize this statement to the case of an arbitrary metric with positive curvature. Recall the following upper bound for the first eigenvalue from [8, Corollary 1]:
Lemma 4.2
Let \((M^{2m},g)\) be a compact even-dimensional spin manifold of positive sectional curvature \(0\le K\) and let \(K_{max}\) be the maximum of \(K\). Then the first eigenvalue of the Dirac operator \(D\) is bounded by
Lemma 4.3
Assume that \(M=S^2\) with a metric of positive curvature. Then we can estimate the nodal set of the eigenspinor belonging to the first eigenvalue on \(S^2\) as
Proof
Applying (4.1) on \(S^2\)
and using (1.7) proves the result. \(\square \)
We can also give an upper bound for the nodal set on hyperbolic surfaces. In this case we will make use of an inequality given by Lott [21]:
Theorem 4.4
Let \((M^n,g)\) be an \(n\)-dimensional closed spin manifold with \(n\ge 2\). Then for any conformal class \([g]\) on \(M^n\), there exists \(b[g]>0\) such that
for any \(g\in [g]\) with \(R_g<0\).
Proposition 4.5
Let \(M\) be a closed surface with \(\chi (M)<0\). Then the nodal set of the eigenspinor corresponding to the first eigenvalue of \(D\) can be estimated as
Proof
This follows directly from (1.5) and (4.3). \(\square \)
The Willmore energy of a surface \(M\subset \mathbb {R}^3\) is defined by
where \(H\) denotes the mean curvature of \(M\) in \(\mathbb {R}^3\). It was shown in [5] that the Willmore energy \(W(M)\) can be estimated with the help of the spectrum of the Dirac operator via
Using (1.5) this directly implies
Proposition 4.6
We can estimate the Willmore energy as
Using the Weyl-asymptotic for linear elliptic operators we can give an estimate on the nodal set of eigenspinors for large eigenvalues. To this end we order the eigenvalues of \(D\) by increasing absolute values, that is \(|\lambda _1|\le |\lambda _2|\le \cdots \).
Proposition 4.7
Let \(M\) be a closed surface and let \(\psi \in \Gamma (\Sigma M)\) be an eigenspinor of \(D\) with eigenvalue \(\lambda _k\). For large values of \(k\) we find the following estimate
Proof
Recall the Weyl asymptotic for large eigenvalues of a linear elliptic differential operator
The result follows by combining the Weyl asymptotic with (1.7). \(\square \)
References
Ammann, B.: The smallest Dirac eigenvalue in a spin-conformal class and cmc immersions. Commun. Anal. Geom. 17(3), 429–479 (2009)
Ammann, B., Bär, C.: Dirac eigenvalue estimates on surfaces. Math. Z. 240(2), 423–449 (2002)
Bär, C.: Lower eigenvalue estimates for Dirac operators. Math. Ann. 293(1), 39–46 (1992)
Bär, C.: The Dirac operator on space forms of positive curvature. J. Math. Soc. Jpn. 48(1), 69–83 (1996)
Bär, C.: Extrinsic bounds for eigenvalues of the Dirac operator. Ann. Glob. Anal. Geom. 16(6), 573–596 (1998)
Bär, C.: Zero sets of solutions to semilinear elliptic systems of first order. Invent. Math. 138(1), 183–202 (1999)
Bär, C., Schmutz, P.: Harmonic spinors on Riemann surfaces. Ann. Glob. Anal. Geom. 10(3), 263–273 (1992)
Baum, H.: An upper bound for the first eigenvalue of the Dirac operator on compact spin manifolds. Math. Z. 206(3), 409–422 (1991)
Baum, H., Friedrich, T., Grunewald, R., Kath, I.: Twistors and Killing Spinors on Riemannian Manifolds, vol. 124 of Teubner-Texte zur Mathematik [Teubner Texts in Mathematics]. B. G. Teubner Verlagsgesellschaft mbH, Stuttgart (1991) (with German, French and Russian summaries)
Friedrich, T.: Der erste Eigenwert des Dirac-operators einer kompakten, Riemannschen Mannigfaltigkeit nichtnegativer Skalarkrümmung. Math. Nachr. 97, 117–146 (1980)
Friedrich, T.: Zur Abhängigkeit des Dirac-operators von der Spin-Struktur. Colloq. Math. 48(1), 57–62 (1984)
Friedrich, T.: Dirac-Operatoren in der Riemannschen Geometrie. Advanced Lectures in Mathematics. Friedr. Vieweg & Sohn, Braunschweig (1997). Mit einem Ausblick auf die Seiberg-Witten-Theorie [with an outlook on Seiberg-Witten theory (1997)]
Friedrich, T., Kim, E.C.: Some remarks on the Hijazi inequality and generalizations of the Killing equation for spinors. J. Geom. Phys. 37(1–2), 1–14 (2001)
Ginoux, N.: The Dirac Spectrum. Lecture Notes in Mathematics, vol. 1976. Springer, Berlin (2009)
Griffiths, P., Harris, J.: Principles of Algebraic Geometry. Wiley, New York (1994)
Hermann, A.: Dirac Eigenspinors for Generic Metrics. Ph.D. thesis (2012)
Hermann, A.: Zero sets of eigenspinors for generic metrics. Commun. Anal. Geom. 22(2), 177–218 (2014)
Hitchin, N.: Harmonic spinors. Adv. Math. 14, 1–55 (1974)
Kim, E.C., Friedrich, T.: The Einstein–Dirac equation on Riemannian spin manifolds. J. Geom. Phys. 33(1–2), 128–172 (2000)
Lawson, H.B., Jr., Michelson, M.-L.: Spin Geometry, vol. 38 of Princeton Mathematical Series. Princeton University Press, Princeton (1989)
Lott, J.: Eigenvalue bounds for the Dirac operator. Pac. J. Math. 125(1), 117–126 (1986)
Schoen, R., Yau, S. T.: Lectures on harmonic maps. In: Conference Proceedings and Lecture Notes in Geometry and Topology, II. International Press, Cambridge (1997)
Yang, L.: A structure theorem of Dirac-harmonic maps between spheres. Calc. Var. Partial Differ. Equ. 35(4), 409–420 (2009)
Acknowledgements
Open access funding provided by University of Vienna. The author would like to thank Andreas Hermann for several useful comments on a first draft of this note and the referee whose remarks helped to significantly improve the content of the article. In addition, the author gratefully acknowledges the support of the Austrian Science Fund (FWF) through the START-Project Y963-N35 of Michael Eichmair.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Branding, V. An estimate on the nodal set of eigenspinors on closed surfaces. Math. Z. 288, 1–10 (2018). https://doi.org/10.1007/s00209-017-1873-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-017-1873-4