Abstract
We study the qualitative behavior of nonlinear Dirac equations arising in quantum field theory on complete Riemannian manifolds. In particular, we derive monotonicity formulas and Liouville theorems for solutions of these equations. Finally, we extend our analysis to Dirac-harmonic maps with curvature term.
Similar content being viewed by others
1 Introduction and Results
In quantum field theory spinors are employed to model fermions. The equations that govern the behavior of fermions are both linear and nonlinear Dirac equations. A Dirac equation with vanishing right hand side describes a free massless fermion and linear Dirac equations describe free fermions having a mass. However, to model the interaction of fermions one has to take into account nonlinearities.
In mathematical terms spinors are sections in a vector bundle, the spinor bundle, which is defined on a Riemannian spin manifold. The spin condition is of topological nature and ensures the existence of the spinor bundle \(\Sigma M\). The mathematical analysis of linear and nonlinear Dirac equations comes with two kinds of difficulties: First of all, the Dirac operator is of first order, such that tools like the maximum principle are not available. Secondly, in contrast to the Laplacian, the Dirac operator has its spectrum on the whole real line.
Below we give a list of action functionals that arise in quantum field theory. Their critical points all lead to nonlinear Dirac equations. To this end let \(D\) be the classical Dirac operator on a Riemannian spin manifold \((M,g)\) of dimension \(n\) and \(e_i\) an orthonormal basis of \(TM\). Furthermore, let \(\cdot \) be the Clifford multiplication of spinors with tangent vectors and \(\omega _{\mathbb {C}}\) the complex volume form. Moreover, we fix a hermitian scalar product on the spinor bundle.
- (1)
The Soler model [35] describes fermions that interact by a quartic term in the action functional. In quantum field theory this model is usually studied on four-dimensional Minkowski space:
$$\begin{aligned} E(\psi )=\int _M(\langle \psi ,D\psi \rangle -\lambda |\psi |^2-\frac{\mu }{2}|\psi |^4)d{{\text {vol}}}_g. \end{aligned}$$ - (2)
The Thirring model [36] describes the self-interaction of fermions in two-dimensional Minkowski space:
$$\begin{aligned} E(\psi )=\int _M(\langle \psi ,D\psi \rangle -\lambda |\psi |^2-\frac{\mu }{2}\sum _{i=1}^n\langle \psi ,e_i\cdot \psi \rangle \langle \psi ,e_i\cdot \psi \rangle )d{{\text {vol}}}_g. \end{aligned}$$ - (3)
The Nambu–Jona-Lasinio model [33] is a model for interacting fermions with chiral symmetry. It also contains a quartic interaction term and is defined on an even-dimensional spacetime:
$$\begin{aligned} E(\psi )=\int _M\big (\langle \psi ,D\psi \rangle +\frac{\mu }{4}(|\psi |^4-\langle \psi ,\omega _{{\mathbb {C}}}\cdot \psi \rangle \langle \psi ,\omega _{{\mathbb {C}}}\cdot \psi \rangle )\big )d{{\text {vol}}}_g. \end{aligned}$$Note that this model does not have a term proportional to \(|\psi |^2\) in the action functional.
- (4)
The Gross–Neveu model with N flavors [22] is a model for \(N\) interacting fermions in two-dimensional Minkowski space:
$$\begin{aligned} E(\psi )=\int _M(\langle \psi ,D\psi \rangle -\lambda |\psi |^2+\frac{\mu }{2N}|\psi |^4)d{{\text {vol}}}_g. \end{aligned}$$The spinors that we are considering here are twisted spinors, more precisely \(\psi \in \Gamma (\Sigma M\otimes {\mathbb {R}}^N)\).
- (5)
The nonlinear supersymmetric sigma model in quantum field theory consists of a map \(\phi \) between two Riemannian manifolds \(M\) and \(N\) and a spinor along that map. Moreover, \(R^N\) is the curvature tensor on \(N\) and denotes the corresponding Dirac operator. The action functional under consideration is
The critical points of this functional became known in the mathematics literature as Dirac-harmonic maps with curvature term. In contrast to the physics literature this mathematical version of the nonlinear supersymmetric sigma model employs commuting spinors while in physics anticommuting spinors are used.
In the models (1)–(4) from above the real parameter \(\lambda \) can be interpreted as mass, whereas the real constant \(\mu \) describes the strength of interaction. All of the models listed above lead to nonlinear Dirac equations of the form
Note that in the physics literature Clifford multiplication is usually expressed as matrix multiplication with \(\gamma ^\mu \) and the complex volume element is referred to as \(\gamma ^5\). In contrast to the physics literature we will always assume that spinors are commuting, whereas in the physics literature they are mostly assumed to be Grassmann-valued. For simplicity we will mainly focus on the Soler model.
Several existence results for equations of the form (1.1) are available: In [23] existence results for nonlinear Dirac equations on compact spin manifolds are obtained. For \(n\ge 4\) existence results for nonlinear Dirac equation with critical exponent on compact spin manifolds, that is
with \(\lambda \in {\mathbb {R}}\), have been obtained in [24]. For \(\lambda =0\) this equation is known as the spinorial Yamabe equation. In particular, this equation is interesting for \(n=2\) since it is closely related to conformally immersed constant mean curvature surfaces in \({\mathbb {R}}^3\). Moreover, existence results for the spinorial Yamabe equation have been obtained on \(S^3\) [26] and on \(S^n\) [25] for \(n\ge 2\). For a spectral and geometric analysis of the spinorial Yamabe equation we refer to [1]. The regularity of weak solutions of equations of the form (1.1) can be established with the tools from [37] and [24], Appendix A.
Let us give an overview on the structure and the main results of the article:
In Sect. 2 we study general properties of nonlinear Dirac equations. In particular, we recall the construction for identifying spinor bundles belonging to different metrics and use it to derive the stress-energy tensor for the Soler model.
In Sect. 3 we study nonlinear Dirac equations on closed Riemannian surfaces. The first main result is Theorem 3.1 which states that for solutions of equations of the form (1.1) for which the \(L^4\)-norm of \(\psi \) is sufficiently small on a disc \(D\) all \(W^{k,p}\) norms can be controlled on a smaller disc \(D'\subset D\). Moreover, in Proposition 3.5 we present an estimate on the nodal set of solutions of (1.1) and Proposition 3.8 shows that solutions of equations of the form (1.1) must be trivial if \(\lambda =0\) and \(|\psi |_{L^4(M)}\) is sufficiently small.
In Sect. 4 we investigate nonlinear Dirac equations on complete noncompact Riemannian manifolds. First, we will prove Theorem 4.1 which states that stationary solutions of equations of the form (1.1) with finite energy must be trivial if \(M={\mathbb {R}}^n,{\mathbb {H}}^n,n\ge 3\). Moreover, in Proposition 4.5 we show that for \(M={\mathbb {R}}^n,n\ge 3\) for critical points of the Soler model the quantity \(R^{2-n}\int _{B_R}|\psi |^4d\mu \) is almost monotone increasing in \(R\). Moreover, we discuss the problems that arise when trying to extend the analysis to the case of a Riemannian manifold. Finally, in Theorem 4.13 we show that critical points of the Soler model on a complete noncompact Riemannian manifold with positive Ricci curvature satisfying an additional energy condition must be trivial.
In Sect. 5 we focus on Dirac-harmonic maps with curvature term from complete manifolds. The latter consist of a pair of a map between two Riemannian manifolds and a vector spinor defined along that map. First, we will show that stationary Dirac-harmonic maps with curvature term from \(M={\mathbb {R}}^n,{\mathbb {H}}^n,n\ge 3\) to target spaces with positive sectional curvature must be trivial if a certain energy is finite (Theorem 5.5). Moreover, in the case that \(M={\mathbb {R}}^n,n\ge 3\), we will establish an almost monotonicity formula (Proposition 5.13) and also discuss its extension to the case of a Riemannian manifold. Finally, we show that Dirac-harmonic maps with curvature term from complete Riemannian manifolds with positive Ricci curvature to target manifolds with negative sectional curvature must be trivial if a certain energy is finite and a certain inequality relating Ricci curvature and energy holds (Theorem 5.18).
2 Nonlinear Dirac Equations on Riemannian Manifolds
Let \((M,g)\) be a Riemannian spin manifold of dimension \(n\). A Riemannian manifold admits a spin structure if the second Stiefel–Whitney class of its tangent bundle vanishes.
We briefly recall the basic notions from spin geometry, for a detailed introduction to spin geometry we refer to the book [31].
We fix a spin structure on the manifold \(M\) and consider the spinor bundle \(\Sigma M\). On the spinor bundle \(\Sigma M\) we have the Clifford multiplication of spinors with tangent vectors denoted by \(\cdot \). Moreover, we fix a hermitian scalar product on the spinor bundle and denote its real part by \(\langle \cdot ,\cdot \rangle \). Clifford multiplication is skew-symmetric
for all \(\psi ,\xi \in \Gamma (\Sigma M)\) and \(X\in TM\). Moreover, the Clifford relations
hold for all \(X,Y\in TM\). The Dirac operator \(D:\Gamma (\Sigma M)\rightarrow \Gamma (\Sigma M)\) is defined as the composition of first applying the covariant derivative on the spinor bundle followed by Clifford multiplication. More precisely, it is given by
where \(e_i,i=1\ldots n\) is an orthonormal basis of \(TM\). Sometimes we will make use of the Einstein summation convention and just sum over repeated indices. The Dirac operator is of first order, elliptic and self-adjoint with respect to the \(L^2\)-norm. Hence, if \(M\) is compact the Dirac operator has a real and discrete spectrum.
The square of the Dirac operator satisfies the Schroedinger–Lichnerowicz formula
where \(R\) denotes the scalar curvature of the manifold \(M\).
After having recalled the basic definitions from spin geometry we will focus on the analysis of the following action functional (which is the first one from the introduction)
Its critical points are given by
It turns out that \(L^4(\Sigma M)\times W^{1,\frac{4}{3}}(\Sigma M)\) is the right function space for weak solutions of (2.4).
Definition 2.1
We call \(\psi \in L^4(\Sigma M)\times W^{1,\frac{4}{3}}(\Sigma M)\) a weak solution if it solves (2.4) in a distributional sense.
The analytic structure of the other action functionals listed in the introduction is the same as the one of (2.3). Due to this reason many of the results that will be obtained for solutions of (2.4) can easily be generalized to critical points of the other models.
The equation (2.4) is also interesting from a geometric point of view since it interpolates between eigenspinors (\(\mu =0\)) and a non-linear Dirac equation (\(\lambda =0\)) that arises in the study of CMC immersions from surfaces into \({\mathbb {R}}^3\).
In the following we want to vary the action functional (2.3) (and later on also other similar functionals) with respect to the metric \(g\). There had been many isolated mathematical results in the literature how to carry out this calculation before a first complete framework for the Riemannian case was established in [6]. Later, this was generalized to the pseudo-Riemannian case in [4].
We will now give a brief survey on how to identify spinor bundles belonging to different metrics recalling the methods that were established in [6]. However, our presentation of these methods is motivated from the one of [30], Chapter 2.
Suppose we have two spinor bundles \(\Sigma _g M\) and \(\Sigma _hM\) corresponding to different metrics \(g\) and \(h\). There exists a unique positive definite tensor field \(h_{g}\) uniquely determined by the requirement \(h(X,Y)=g(HX,HY)=g(X,h_{g}Y)\), where \(H:=\sqrt{h_g}\). Let \(P_g\) and \(P_h\) be the oriented orthonormal frame bundles of \((M,g)\) and \((M,h)\). Then \(H^{-1}\) induces an equivariant isomorphism \(b_{g,h}:P_g\rightarrow P_{h}\) via the assignment \(E_i\mapsto H^{-1}E_i,i=1\ldots n\). We fix a spin structure \(\Lambda _g:Q_g\rightarrow P_g\) of \((M,g)\) and think of it as a \({\mathbb {Z}}_2\)-bundle. The pull-back of \(\Lambda _g\) via the isomorphism \(b_{h,g}:P_h\rightarrow P_{g}\) induces a \({\mathbb {Z}}_2\)-bundle \(\Lambda _h:Q_h\rightarrow P_h\). Moreover, we get a Spin\((n)\)-equivariant isomorphism \({\tilde{b}}_{h,g}:Q_h\rightarrow Q_g\) such that the following diagram commutes:
Making use of this construction we obtain the following
Lemma 2.2
There exist natural isomorphisms
that satisfy
for all \(X,Y\in \Gamma (TM)\) and \(\psi ,\chi \in \Gamma (\Sigma _{g}M)\).
In order to calculate the variation of the Dirac operator with respect to the metric we need the following objects: Let \({\text {Sym}}(0,2)\) be the space of all symmetric \((0,2)\)-tensor fields on \((M,g)\). Any element \(k\) of \({\text {Sym}}(0,2)\) induces a \((1,1)\)-tensor field \(k_g\) via \(k(X,Y)=g(X,k_gY)\). We denote the Dirac operator on \((M,g+tk)\) by \(D_{g+tk}\) for a small parameter \(t\). Moreover, we will use the notation \(\psi _{g+tk}:=\beta _{g,g+tk}\psi \in \Gamma (\Sigma M_{g+tk})\), which can be thought of as push-forward of \(\psi \in \Sigma _gM\) to \(\psi \in \Sigma _{g+tk}M\). Applying the technical construction outlined above let us now recall the following classic result from [6]:
Lemma 2.3
The variation of the Dirac-energy with respect to the metric is given by
where the tensor on the right hand side is the stress-energy tensor associated to the Dirac energy.
Proof
A proof can be found in [6, Sect. III]. \(\quad \square \)
Definition 2.4
A weak solution \(\psi \in L^4(\Sigma M)\times W^{1,\frac{4}{3}}(\Sigma M)\) of (2.4) is called stationary if it is also a critical point of \(E(\psi )\) with respect to domain variations.
Proposition 2.5
A stationary solution \(\psi \in L^4(\Sigma M)\times W^{1,\frac{4}{3}}(\Sigma M)\) of (2.3) satisfies
where \(k^{ij}\) is a smooth element of \({\text {Sym}}(0,2)\).
Proof
Let \(k\) be a symmetric \((0,2)\)-tensor and \(t\) some small number. Recall that the variation of the volume-element is given by
Moreover, as \(\beta _{g,g+tk}\) acts as an isometry on the spinor bundle we obtain
Now, we calculate
where we used (2.5) in the first step and the equation for the spinor \(\psi \), that is (2.4), in the second step completing the proof. \(\quad \square \)
For a smooth solution \(\psi \) of (2.4) we thus obtain the stress-energy tensor
Its trace can easily be computed to be
Note that the stress-energy tensor is traceless for \(\lambda =0\) and \(n=2\) since it arises from a conformally invariant action functional in that case.
Lemma 2.6
Suppose that \(\psi \) is a smooth solution of (2.4). Then the stress-energy tensor (2.8) is symmetric and divergence-free.
Proof
We choose a local orthonormal basis of \(TM\) such that \(\nabla _{e_i}e_j=0, i,j=1,\ldots ,n\) at the considered point. To show that the stress-energy tensor is divergence-free we calculate
By a direct computation we find
where we used that \(\psi \) is a solution of (2.4). Thus, we obtain
Using (2.2) and (2.4) we find that
which completes the proof. \(\quad \square \)
Remark 2.7
Every smooth solution of (2.4) is also stationary. We will give a short proof of this statement where we reverse the calculation performed in the proof of Lemma 2.6.
Hence, suppose we have a smooth solution of (2.4). Differentiating (2.4) with respect to \(e_i\) and taking the scalar product with \(\psi \) we find
Recall that for a solution of (2.4) we have \(\langle e_i\cdot \Delta \psi ,\psi \rangle =\frac{\mu }{2}\nabla _{e_i}|\psi |^4\) and together with the arguments used in the proof of Lemma 2.6 this leads to
Testing this equation with a smooth function \(Y\) and using integration by parts we obtain
which is exactly the condition of being stationary (2.6).
We will often make use of the following Bochner-type equation
Lemma 2.8
Let \(\psi \) be a smooth solution of (2.4). Then the following formula holds
Proof
By a direct calculation we find
where we used (2.2). Moreover, we obtain
where we used that \(\psi \) is a solution of (2.4). \(\quad \square \)
Let us recall the following definitions:
Definition 2.9
A spinor \(\psi \in \Gamma (\Sigma M)\) is called twistor spinor if it satisfies
for all vector fields \(X\). The spinor \(\psi \) is called Killing spinor if it is both a twistor spinor and an eigenspinor of the Dirac operator, that is
with \(\alpha \in {\mathbb {R}}\).
It is well known that Killing spinors have constant norm, that is \(|\psi |^2=const\). However, here we have the following
Lemma 2.10
Suppose that \(\psi \) is a solution of (2.4) and a twistor spinor. Then \(\psi \) has constant norm.
Proof
We calculate for an arbitrary \(X\in TM\)
where we first used that \(\psi \) is a twistor spinor and then used that \(\psi \) is a solution of (2.4). The statement then follows from the skew-symmetry of the Clifford multiplication. \(\quad \square \)
Example 2.11
Suppose that \(\psi \) is a Killing spinor with constant \(\alpha =\frac{\lambda +\mu |\psi |^2}{n}\). Then it is a solution of (2.4). However, this above approach is rather restrictive since only few Riemannian manifolds admit Killing spinors [2].
Proposition 2.12
Suppose that \(\psi \) is a smooth solution of (2.4) and also a twistor spinor. Then the stress-energy tensor (2.8) acquires the form
In particular, the stress-energy tensor is just a multiple of the metric.
Proof
We consider the stress-energy tensor (2.8) and use the fact that \(\psi \) is a twistor spinor, that is
where we used the Clifford relations (2.1) and (2.4). \(\quad \square \)
3 Nonlinear Dirac Equations on Closed Surfaces
In this section we will derive several properties of solutions of (2.4) on closed Riemannian surfaces. First, we derive a local energy estimate for smooth solutions of (2.4). Our result is similar to the energy estimate that was obtained in [19], Theorem 2.1, which corresponds to (2.4) with \(\lambda =0\). We obtain the following
Theorem 3.1
Let \(\psi \) be a smooth solution of (2.4). If \(|\psi |_{L^4(D)}<\epsilon \) then
for all \(D'\subset D\) and \(p>1\). The constant \(C\) depends on \(D',\mu ,\lambda ,k,p\).
The statement of the above Theorem would also hold true if \(\psi \) was only a weak solution of (2.4), that is \(\psi \in L^4(\Sigma M)\times W^{1,\frac{4}{3}}(\Sigma M)\). By the regularity theory presented in [37] a distributional solution of (2.4) with \(\psi \in L^4(\Sigma M)\) is actually smooth if \(\dim M=2\).
We will divide the proof into two Lemmas, the result then follows by iterating the procedure outlined below.
Lemma 3.2
Let \(\psi \) be a smooth solution of (2.4). If \(|\psi |_{L^{4}}(D)<\epsilon \) then for all \(p>1\) and all \(D'\subset D\) we have
where the constant \(C\) depends on \(D',\mu ,\lambda ,p\).
Proof
Choose a cut-off function \(\eta \) with \(0\le \eta \le 1\), \(\eta |_{D'}=1\) and \({\text {supp}}\eta \subset D\). Then we have
We set \(\xi =\eta \psi \) and by making use of elliptic estimates for first order equations we obtain
We set \(q^*:=\frac{2q}{2-q}\) for \(q<2\). By the Hölder inequality we get
Applying the Sobolev embedding theorem in two dimensions we find
Using the small energy assumption we get
For any \(p>1\) we can find some \(q<2\) such that \(p=q^*\). \(\quad \square \)
Lemma 3.3
Let \(\psi \) be a smooth solution of (2.4). If \(|\psi |_{L^{4}}(D)<\epsilon \) then for all \(p>1\) and all \(D'\subset D\) we have
where the constant \(C\) depends on \(D',\mu ,\lambda ,p\).
Proof
Again, choose a cut-off function \(\eta \) with \(0\le \eta \le 1\), \(\eta |_{D'}=1\) and \({\text {supp}}\eta \subset D\). Setting \(\xi =\eta \psi \) we locally have
We obtain the following inequality
which yields
By a direct computation we find
and also
This yields
On the disc \(D\) we have \(\Delta =-D^2\), hence we find
Using (3.2) and (3.4) we obtain
and the same bound applies to the first and the last two terms of (3.5). Thus, we obtain by setting \(p=\frac{4}{3}\) in (3.2) and applying the Sobolev embedding theorem
for all \(D'\subset D\). In particular, this implies
At this point we may set \(p=2\) in (3.5) and find
which proves the result. \(\quad \square \)
Remark 3.4
In the case that \(\lambda =0\) the equation (2.4) arises from a conformally invariant action functional and is scale invariant. This scale invariance can be exploited to show that solutions of (2.4) cannot have isolated singularities, see [19], Theorem 3.1.
By the main result of [3] we know that the nodal set of solutions to (2.4) on closed surfaces is discrete. The next Proposition gives an upper bound on their nodal set.
Proposition 3.5
Suppose that \(\psi \) is a smooth solution of (2.4) that is not identically zero. Then the following inequality holds
where \(\chi (M)\) is the Euler characteristic of the surface. Moreover, \(N\) denotes an estimate on the nodal set
where \(n_p\) is the order of vanishing of \(|\psi |\) at the point \(p\).
Proof
Throughout the proof we assume that \(\psi \ne 0\). Now, we recall the following inequality (see [12], Lemma 2.1 and references therein for a detailed derivation)
with the stress-energy tensor for the Dirac action \(T(X,Y):=\langle X\cdot \nabla _Y\psi +Y\cdot \nabla _X\psi ,\psi \rangle \). Using (2.10) we find
We can estimate the stress-energy tensor as
which yields
where \(K=2R\) denotes the Gaussian curvature of \(M\). By integrating over \(M\) and using that for a function with discrete zero set
we obtain the result. \(\quad \square \)
Remark 3.6
The estimate on the nodal set (3.6) generalizes the estimates on the nodal set for eigenspinors [12] and on solutions to non-linear Dirac equations [1], Proposition 8.4.
Corollary 3.7
-
(1)
Due to the last Proposition we obtain the following upper bound on the nodal set of solutions to (2.4)
$$\begin{aligned} N\le -\frac{\chi (M)}{2}+\frac{1}{4\pi }\int _M(\lambda +\mu |\psi |^2)^2d{{\text {vol}}}_g. \end{aligned}$$ -
(2)
We also obtain a vanishing result for surfaces of positive Euler characteristic: More precisely, if
$$\begin{aligned} \int _M(\lambda +\mu |\psi |^2)^2d{{\text {vol}}}_g<4\pi \end{aligned}$$then we get a contradiction from (3.6) forcing \(\psi \) to be trivial.
Using the Sobolev embedding theorem we can obtain another variant of the last statement from the previous Corollary.
Proposition 3.8
Let \(\psi \) be a smooth solution of (2.4) with \(\lambda =0\). Suppose that there do not exist harmonic spinors on \(M\). There exists some \(\epsilon _0>0\) depending on \(M,\mu \) such that whenever \(\epsilon <\epsilon _0\) and
we have \(\psi =0\).
Proof
By assumption \(0\) is not in the spectrum of \(D\) and we can estimate
where \(\lambda _1\) denotes the smallest eigenvalue of the Dirac operator. Making use of elliptic estimates for first order equations we find
where we made use of the assumptions. Thus, for \(\epsilon \) small enough \(\psi \) has to vanish. \(\quad \square \)
Remark 3.9
The regularity theory for Dirac-type equations on Riemannian manifolds is well-established, see for example the \(L^2\)-theory developed in [5]. Recently, it could be substantially extended in [18] to also include higher \(L^p\)-norms. Using this recent regularity theory for Dirac equations [18, Theorem 1.1] it should be possible to get rid of the requirement that \(M\) is not supposed to admit harmonic spinors in Proposition 3.8. However, Theorem 1.1 in [18] is formulated for boundary value problems of Dirac-type operators and it would be necessary to obtain a variant of this result for closed manifolds. Having such a result at hand the proof of Proposition 3.8 could be simplified in such a way that one does not need the condition of \(M\) having no harmonic spinors.
However, it seems that a variant of [18, Theorem 1.1] on closed manifolds, which would be a global statement, could not help to improve Theorem 3.1 as this theorem is of a local nature and Proposition 3.8 shows that demanding \(|\psi |_{L^4}<\epsilon \) globally forces \(\psi \) to be trivial.
3.1 The higher-dimensional case
Proposition 3.10
Suppose that \(M\) is a closed Riemannian spin manifold with positive scalar curvature. Suppose that \(\psi \) is a smooth solution of (2.4) with small energy, that is
Then \(\psi \) vanishes identically.
Proof
We use the Bochner formula (2.9) and calculate
using the assumption. Hence \(|\psi |^4\) is a subharmonic function and due to the maximum principle it has to be constant. Thus, we obtain
and the result follows by making use of the assumption. \(\quad \square \)
4 Nonlinear Dirac Equations on Complete Manifolds
In this section we study the behavior of solutions of (2.4) on complete manifolds. We will derive several monotonicity formulas and, as an application, we obtain Liouville theorems.
4.1 A Liouville Theorem for stationary solutions
In this section we will derive a vanishing theorem for stationary solutions of (2.4).
Theorem 4.1
Suppose that \(M={\mathbb {R}}^n, {\mathbb {H}}^n\) with \(n\ge 3\). Let \(\psi \in L_{loc}^4(\Sigma M)\times W_{loc}^{1,\frac{4}{3}}(\Sigma M)\) be a stationary solution of (2.4). If \(\lambda \mu \le 0\) and
then \(\psi \) vanishes identically.
Proof
We will first show the result for \(M={\mathbb {R}}^n\). Choose \(\eta \in C^\infty _0({\mathbb {R}})\) such that \(\eta =1\) for \(r\le R\), \(\eta =0\) for \(r\ge 2R\) and \(|\eta '(r)|\le \frac{4}{R}\). In addition, we choose \(Y(x)=x\eta (r)\in C^\infty (M,{\mathbb {R}}^n)\), where \(r=|x|\). Then, we set
and inserting this into (2.6) we obtain
Using the equation for \(\psi \) we get
The right hand side can be controlled as follows
First, we consider the case that \(\lambda \ge 0\) and \(\mu \le 0\). Making use of the assumptions on \(\lambda ,\mu \) and by the properties of the cut-off function \(\eta \) we obtain
such that we get
Taking the limit \(R\rightarrow \infty \) and making use of the finite energy assumption we obtain
yielding the result. The case \(\lambda \le 0\) and \(\mu \ge 0\) follows similarly. By applying the Theorem of Cartan–Hadamard the proof carries over to hyperbolic space. \(\quad \square \)
Remark 4.2
In particular, the last Proposition applies in the case \(\mu =0\), which corresponds to \(\psi \) being an eigenspinor with eigenvalue \(\lambda \). Thus, there does not exist an eigenspinor satisfying
with eigenvalue \(\lambda \) on \(M={\mathbb {R}}^n, {\mathbb {H}}^n\) for \(n\ge 3\).
4.2 Monotonicity formulas for smooth solutions
In this section we will derive a monotonicity formula for smooth solutions of (2.4) on complete Riemannian manifolds. We will make use of the fact that the stress-energy tensor (2.8) is divergence free, whenever \(\psi \) is a solution of (2.4). First of all, let us recall the following facts: A vector field \(X\) is called conformal if
where \({\mathcal {L}}\) denotes the Lie-derivative of the metric with respect to \(X\) and \(f:M\rightarrow {\mathbb {R}}\) is a smooth function.
Lemma 4.3
Let \(T\) be a symmetric 2-tensor. For any vector field \(X\) the following formula holds
If \(X\) is a conformal vector field, then the second term on the right hand side acquires the form
By integrating over a compact region \(U\), making use of Stokes theorem, we obtain
Lemma 4.4
Let \((M,g)\) be a Riemannian manifold and \(U\subset M\) be a compact region with smooth boundary. Then, for any symmetric \(2\)-tensor and any vector field \(X\) the following formula holds
where \(\nu \) denotes the normal to \(U\). The same formula holds for a conformal vector field \(X\) if we replace the second term on the right hand by (4.3).
We now derive a type of monotonicity formula for smooth solutions of (2.4) in \({\mathbb {R}}^n\).
Proposition 4.5
(Monotonicity formula in \({\mathbb {R}}^n\)) Let \(\psi \) be a smooth solution of (2.4) on \(M={\mathbb {R}}^n\). Let \(B_R(x_0)\) be a geodesic ball around the point \(x_0\in M\) and \(0<R_1<R_2\le R\). Then the following monotonicity formula holds
Proof
For \(M={\mathbb {R}}^n\) we choose the conformal vector field \(X=r\frac{\partial }{\partial r}\) with \(r=|x|\). In this case we have \({\text {div}}(X)=n\), thus
where we used (4.3) and (4.4). Making use of the coarea formula we can rewrite this as
and integrating with respect to \(r\) yields the result. \(\quad \square \)
Remark 4.6
The previous monotonicity formula also holds if \(\psi \) was only a weak solution of (2.4), that is \(\psi \in L^4(\Sigma M)\times W^{1,\frac{4}{3}}(\Sigma M)\).
We now aim at generalizing the monotonicity formula (4.5) to the case of a complete Riemannian spin manifold. Note that, in general, the vector field \(X=r\frac{\partial }{\partial r}\) will not be conformal. We fix a point \(x_0\in M\) and consider a ball with geodesic radius \(r=d(x_0,\cdot )\) around that point, where \(d\) denotes the Riemannian distance function. Moreover, \(i_M\) will refer to the injectivity radius of \(M\). Using geodesic polar coordinates we decompose the metric in \(B_{i_M}\) with the help of the Gauss Lemma as
In the following we will frequently make use of the Hessian of the Riemannian distance function. Since the Hessian is a symmetric bilinear form we may diagonalize it, its eigenvalues will be denoted by \(\omega _i,i=1,\ldots ,n\). Thus, we may write
We denote its largest eigenvalue by \(\omega _{max}\). The eigenvalues of the Hessian of the Riemannian distance function depend on the geometry of the manifold \(M\) and, in general, they cannot be computed explicitly. For some explicit estimates on \(\Omega \) in terms of geometric data we refer to [32], Lemma 3.2.
Lemma 4.7
Let \((M,g)\) be a complete Riemannian spin manifold and suppose that \(\psi \) is a smooth solution of (2.4). Then the following formula holds
Proof
Inserting the stress-energy tensor (2.8) into (4.4) and choosing the vector field \(X=r\frac{\partial }{\partial r}\) we obtain the following equation
Without loss of generality we assume that \(\omega _1=\omega _{max}\) is the largest eigenvalue of \({\text {Hess}}(r^2)\). Diagonalizing the Hessian of the Riemannian distance function we may rewrite
which yields the claim. \(\quad \square \)
Remark 4.8
The problematic contributions in the monotonicity-type formulas (4.5) and (4.7) are the indefinite terms \(\langle \psi ,\partial _r\cdot \nabla _{\partial _r}\psi \rangle \) and \(\langle e_i\cdot \nabla _{e_i}\psi ,\psi \rangle {\text {Hess}}(r^2)(e_i,e_i)\). To give them a definite sign we could assume that \(\psi \) is both a solution of (2.4) and a twistor spinor. In this case we would have
The right hand side of this equation is positive for \(\lambda ,\mu >0\). However, we have already seen that under the assumptions from above \(|\psi |^2\) is equal to a constant and in this case the monotonicity formula contains no interesting information. Moreover, regarding the second term, we would get
Remark 4.9
It would be desirable to estimate the term \(\langle e_i\cdot \nabla _{e_i}\psi ,\psi \rangle {\text {Hess}}(r^2)(e_i,e_i)\) in (4.7) in terms of geometric data of the manifold \(M\) and the right hand side of (2.4). Unfortunately, this only seems to be possible if all eigenvalues of the Hessian of the Riemann distance function would be equal.
Proposition 4.10
Let \((M,g)\) be a complete Riemannian spin manifold and suppose that \(\psi \) is a smooth solution of (2.4). Then for all \(0<R_1<R_2\le R\), \(R\in (0,i_M)\) the following type of monotonicity formula holds
where \(\Omega \) is given by (4.6).
Proof
Using (4.7) and the coarea formula we find
Integrating with respect to \(r\) and using integration by parts
yields the claim. \(\quad \square \)
Remark 4.11
If \(M={\mathbb {R}}^n\), then \(\omega _i=1,i=1,\ldots ,n\) and \(\Omega =n\). In this case (4.8) reduces to (4.5).
Remark 4.12
It seems very difficult to obtain a Liouville Theorem from the monotonicity formula (4.8) without posing many conditions on the solution of (2.4).
4.3 A Liouville Theorem for complete manifolds with positive Ricci curvature
In this section we will prove a Liouville theorem for smooth solutions of (2.4) on complete noncompact manifolds with positive Ricci curvature. Our result is motivated from a similar result for harmonic maps, see [34], Theorem 1. We set \(e(\psi ):=\frac{1}{2}|\psi |^4\).
Theorem 4.13
Let \((M,g)\) be a complete noncompact Riemannian spin manifold with positive Ricci curvature. Suppose that
If \(\psi \) is a smooth solution of (2.4) with finite energy \(e(\psi )\) then \(\psi \) vanishes identically.
Proof
Making use of the assumption the Bochner formula (2.9) yields
In addition, by the Cauchy–Schwarz inequality we find
We fix a positive number \(\epsilon >0\) and calculate
where we used (4.10) and (4.11). Let \(\eta \) be an arbitrary function on \(M\) with compact support. We obtain
Now let \(x_0\) be a point in \(M\) and let \(B_R,B_{2R}\) be geodesic balls centered at \(x_0\) with radii \(R\) and \(2R\). We choose a cutoff function \(\eta \) satisfying
In addition, we choose \(\eta \) such that
for a positive constant \(C\). Then, we find
We therefore obtain
We set \(B'_R:=B_R\setminus \{x\in B_R\mid e(\psi )(x)=0\}\) and find
Letting \(\epsilon \rightarrow 0\) we get
Now, letting \(R\rightarrow \infty \) and under the assumption that the energy is finite, we have
hence the energy \(e(\psi )\) has to be constant. If \(e(\psi )\ne 0\), then the volume of \(M\) would have to be finite. However, by Theorem 7 of [39] the volume of a complete and noncompact Riemannian manifold with nonnegative Ricci curvature is infinite. Hence \(e(\psi )=0\), which yields the result. \(\quad \square \)
Note, that Theorem 4.13 also holds in the case \(\mu =0\), which gives us the following vanishing result for eigenspinors:
Corollary 4.14
Suppose that \(\psi \) is a smooth solution of \(D\psi =\lambda \psi \) on a complete noncompact manifold with positive Ricci curvature. If
and \(e(\psi )\) is finite then \(\psi \) vanishes identically.
5 Dirac-Harmonic Maps with Curvature Term from Complete Manifolds
Dirac-harmonic maps with curvature term arise as critical points of part of the supersymmetric nonlinear \(\sigma \)-model from quantum field theory [20], p. 268, the only difference being that in contrast to the physics literature standard, that is commuting, spinors are used. They form a pair of a map from a Riemann spin manifold to another Riemannian manifold coupled with a vector spinor. For a two-dimensional domain they belong to the class of conformally invariant variational problems. The conformal invariance gives rise to a removable singularity theorem [10] and an energy identity [27]. Conservation laws for Dirac-harmonic maps with curvature term were established in [11] and a vanishing result for the latter under small-energy assumptions was derived in [13]. For Dirac-wave maps with curvature term (which are Dirac-harmonic maps with curvature term from a domain with Lorentzian metric) on expanding spacetimes an existence result could be achieved in [14].
The mathematical study of the supersymmetric nonlinear \(\sigma \)-model with standard spinors was initiated in [16], where the notion of Dirac-harmonic maps was introduced. The full action of the supersymmetric nonlinear \(\sigma \)-model contains two additional terms: Taking into account an additional two-form in the action functional the resulting equations were studied in [7], Dirac-harmonic maps with curvature term to target spaces with torsion are analyzed in [9].
Most of the results presented in this section still hold true if we would consider the full supersymmetric nonlinear \(\sigma \)-model. Let us give some more details in support of this statement: The central ingredient in the derivation of various monotonicity formulas and Liouville theorems will be the stress-energy tensor. An additional two-form contribution in the action functional would not give a contribution to the stress-energy tensor as it does not depend on the metric of the domain, see [7, Sect. 3] for more details. Moreover, if we would consider a connection with torsion on the target manifold we would get the same stress-energy tensor, see [9, Sect. 4], and all results that will be formulated in this section still hold if we formulate the curvature assumptions taking into account the connection with torsion.
Let us again emphasize that in the physics literature anticommuting spinors are employed while the mathematical references stated above and the present article consider standard commuting spinors.
In the following we still assume that \((M,g)\) is a complete Riemannian spin manifold and \((N,h)\) another Riemannian manifold. Whenever we will make use of indices we use Latin letters for indices related to \(M\) and Greek letters for indices related to \(N\). Let \(\phi :M\rightarrow N\) be a map and let \(\phi ^*TN\) be the pull-back of the tangent bundle from \(N\). We consider the twisted bundle \(\Sigma M\otimes \phi ^*TN\), on this bundle we obtain a connection induced from \(\Sigma M\) and \(\phi ^*TN\), which will be denoted by \({\tilde{\nabla }}\). Sections in \(\Sigma M\otimes \phi ^*TN\) are called vector spinors. On \(\Sigma M\otimes \phi ^*TN\) we have a scalar product induced from \(\Sigma M\) and \(\phi ^*TN\), we will denote its real part by \(\langle \cdot ,\cdot \rangle \). The twisted Dirac operator acting on vector spinors is defined as
Note that the operator is still elliptic. Moreover, we assume that the connection on \(\phi ^*TN\) is metric, thus is also self-adjoint with respect to the \(L^2\)-norm if \(M\) is compact. The action functional for Dirac-harmonic maps with curvature term is given by
Here, \(R^N\) denotes the curvature tensor of the manifold \(N\). The factor \(1/6\) in front of the curvature term is required by supersymmetry, see [20]. The indices are contracted as
which ensures that the functional is real valued. The critical points of the action functional (5.1) are given by
where \(\tau (\phi )\in \Gamma (\phi ^*TN)\) is the tension field of the map \(\phi \) and \(\sharp :\phi ^*T^*N\rightarrow \phi ^*TN\) represents the musical isomorphism. For a derivation see [15], Sect. II and [8], Proposition 2.1.
Solutions \((\phi ,\psi )\) of the system (5.2), (5.3) are called Dirac-harmonic maps with curvature term.
The correct function space for weak solutions of (5.2), (5.3) is
For the domain being a closed surface it was shown in [8] that a weak solution \((\phi ,\psi )\in \chi (M,N)\) of (5.2), (5.3) is smooth. This was later extended to higher dimensions in [28], see also [29] for the regularity of Dirac-harmonic maps with curvature term coupled to a gravitino.
For smooth solutions of (5.2), (5.3) on a closed Riemannian surface a vanishing result was obtained in [8], Lemma 4.9. More precisely, it was shown that a smooth Dirac-harmonic map with curvature term with small energy \(\int _M(|d\phi |^2+|\psi |^4)d{{\text {vol}}}_g\) from a closed surface that does not admit “standard” harmonic spinors must be trivial. Using the recent regularity for vector spinors [18], Theorem 1.2 it should be possible to prove this result without the assumption that \(M\) is not allowed to have harmonic spinors. However, Theorem 1.2 in [18] is formulated for the case of a domain manifold with boundary and one would require a version for closed manifolds.
Definition 5.1
A weak Dirac-harmonic map with curvature term \((\phi ,\psi )\in \chi (M,N)\) is called stationary if it is also a critical point of \(E_c(\phi ,\psi )\) with respect to domain variations.
To obtain the formula for stationary Dirac-harmonic maps with curvature term we make use of the same methods as before. Since the twist bundle \(\phi ^*TN\) does not depend on the metric on \(M\) we can use the same methods as in Sect. 2. Thus, let \(k\) be a smooth element of Sym\((0,2)\). Again, we will use the notation \(\psi _{g+tk}:=\beta _{g,g+tk}\psi \in \Gamma (\Sigma M_{g+tk}\otimes \phi ^*TN)\).
Lemma 5.2
The following formula for the variation of the twisted Dirac-energy with respect to the metric holds
with the stress-energy tensor associated to the twisted Dirac energy on the right hand side.
At this point we are ready to compute the variation of the action functional (5.1) with respect to the metric.
Proposition 5.3
Let the pair \((\phi ,\psi )\in \chi (M,N)\) be a weak Dirac-harmonic map with curvature term. Then \((\phi ,\psi )\) is a stationary Dirac-harmonic map with curvature term if for any smooth symmetric \((0,2)\)-tensor \(k\) the following formula holds
Proof
We calculate
where \(k\) is a symmetric \((0,2)\)-tensor and \(t\) some small number. Using the variation of the volume-element (2.7) we obtain the variation of the Dirichlet energy
Note that we get a minus sign in the first term since \(d\phi \in \Gamma (T^*M\otimes \phi ^*TN)\) such that we have to vary the metric on the cotangent bundle. As a second step, we compute the variation of the Dirac energy using (5.4) and (2.7) yielding
Finally, for the term involving the curvature tensor of the target and the four spinors we obtain
where we used that \(\beta \) acts as an isometry on the spinor bundle in the first step. Adding up the three contributions and using the fact that \((\phi ,\psi )\) is a weak Dirac-harmonic map with curvature term yields the result. \(\quad \square \)
5.1 A Liouville Theorem for stationary solutions
It is well known that a stationary harmonic map \({\mathbb {R}}^q\rightarrow N\) with finite Dirichlet energy is a constant map [21], Sect. 5. This result was generalized to stationary Dirac-harmonic maps and here we generalize it to stationary Dirac-harmonic maps with curvature term by adding a curvature assumption.
A similar result for smooth Dirac-harmonic maps with curvature term was already obtained in [15], Theorem 1.2. Let us point out in some more detail the similarities and differences between the methods of proof used in [15] and in the present article. In the proof of Theorem 1.2 in [15] the authors calculate the Lie-derivative of the energy density of (5.1) with respect to a conformal vector field \(X\). In order to carry out the Lie-derivative of the terms involving spinors in (5.1) they also apply the methods of [6]. After having obtained a formula for the Lie-derivative of the energy density of (5.1) they multiply it with a suitable cutoff function and the result follows after integration by parts. Although our method of proof formally looks very different it has the same core ideas. At its heart is on the one hand the stress-energy tensor which was also derived using the methods of [6] and on the other hand we also crucially require the existence of a conformal vector field. However, it seems that the advantage of our method is that we do not require to have a smooth solution of (5.2), (5.3). On the other hand both proofs require the existence of a conformal vector field such that they can only work on Riemannian manifolds with a sufficient amount of symmetry.
First, we will give the following remark following the proof of Theorem 3.1 in [13].
Remark 5.4
In this section we will often consider the quantity
and it will be crucial for our arguments that this expression is positive.
- (1)
In the case that \(\phi :M\rightarrow N\) is a constant map we can consider \(v\in \phi ^*TN,\Psi \in \Gamma (\Sigma M)\) and set \(\psi :=\Psi \otimes v\). It is easy to check that this pair \((\phi ,\psi )\) satisfies
$$\begin{aligned} \langle R^N(\psi ,\psi )\psi ,\psi \rangle =\langle R^N(v,v)v,v\rangle |\Psi |^4=0 \end{aligned}$$due to the skew symmetry of the Riemann curvature tensor regardless of any curvature assumptions on the target. Hence, in this case the system (5.2), (5.3) would reduce to
$$\begin{aligned} D\psi ^\alpha =0,\qquad 1\le \alpha \le \dim N, \end{aligned}$$where \(D\) denotes the standard Dirac operator on \(\Sigma M\).
- (2)
However, for a pair \((\phi ,\psi )\) that is not of the form from above the term \(\langle R^N(\psi ,\psi )\psi ,\psi \rangle \) will be different from zero. A careful inspection reveals that for N having positive sectional curvature we have
$$\begin{aligned} |d\phi |^2+\frac{1}{6}\langle R^N(\psi ,\psi )\psi ,\psi \rangle \ge 0, \end{aligned}$$see [15, Proof of Theorem 1.2] for more details.
Theorem 5.5
Let \(M={\mathbb {R}}^n,{\mathbb {H}}^n\) with \(n \ge 3\) and suppose that \((\phi ,\psi )\in W^{1,2}_{loc}(M,N)\times W^{1,\frac{4}{3}}_{loc}(M,\Sigma M\otimes \phi ^*TN)\times L^{4}_{loc}(M,\Sigma M\otimes \phi ^*TN)\) is a stationary Dirac-harmonic maps with curvature term satisfying
If \(N\) has positive sectional curvature then \(\phi \) is constant and \(\psi \) vanishes identically.
Proof
Let \(\eta \in C_0^\infty ({\mathbb {R}})\) be a smooth cut-off function satisfying \(\eta =1\) for \(r\le R\), \(\eta =0\) for \(r\ge 2R\) and \(|\eta '(r)|\le \frac{C}{R}\). In addition, we choose \(Y(x):=x\eta (r)\in C_0^\infty ({\mathbb {R}}^n,{\mathbb {R}}^n)\) with \(r=|x|\). Hence, we find
Inserting this into (5.5) and using that \((\phi ,\psi )\) is a weak solution of the system (5.2), (5.3) we obtain
By the properties of the cut-off function \(\eta \) we find (see the proof of Theorem 4.1 for more details)
Due to the finite energy assumption and the fact that \(n\ge 3\), taking the limit \(R\rightarrow \infty \) yields
At this point we need to make a case distinction as in Remark 5.4. In the first case the statement follows from Theorem 4.1 with \(\lambda =\mu =0\) and in the second case we are done since \(N\) has positive sectional curvature. To obtain the result for hyperbolic space we again apply the theorem of Cartan–Hadamard. \(\quad \square \)
5.2 Monotonicity formulas and Liouville Theorems
In this section we derive a monotonicity formula for Dirac-harmonic maps with curvature term building on their stress-energy tensor. For simplicity, we will mostly assume that \((\phi ,\psi )\) is a smooth Dirac-harmonic map with curvature term. From (5.5) we obtain the stress-energy tensor for the functional \(E_c(\phi ,\psi )\) as
It is well-known that the stress-energy tensor (5.8) is divergence free in the case of a two-dimensional domain whenever \((\phi ,\psi )\) solves the equation for Dirac-harmonic maps with curvature term. This question was first addressed in [8], Proposition 3.2. However, in the calculation carried out in that reference a real-part in front of the third term is missing. This issue was later clarified and corrected in [27], Lemma 4.1.
For the sake of completeness and in order to also include the case of a higher-dimensional domain manifold we will give another proof that (5.8) is divergence free.
Lemma 5.6
Suppose that \((\phi ,\psi )\) is a smooth solution of (5.2), (5.3). Then the stress-energy tensor (5.8) is divergence-free.
Proof
First, we replace the last term in (5.8) using (5.3). To shorten the notation we will write \({{\tilde{\nabla }}}\) for the connection on \(\Sigma M\otimes \phi ^*TN\). Then the stress-energy tensor acquires the form
We choose a local orthonormal basis of \(TM\) such that \(\nabla _{e_i}e_j=0,i,j=1,\ldots ,n\) at the considered point. By a direct calculation we find
where we have used (5.2) in the second step. Then, we calculate
Recall that
such that
In order to manipulate the term involving the connection Laplacian on \(\Sigma M\otimes \phi ^*TN\) we recall the Weitzenböck formula for the twisted Dirac operator which is given by
This allows us to conclude that
We proceed by calculating
where we have used that \(\psi \) is a solution of (5.3) twice. The first term on the right hand side can further be manipulated as
In addition, we find
A careful inspection of this term reveals that it is both real and imaginary and thus has to vanish except in the cases \(i=r\) or \(i=s\). Consequently, we find
Combining the previous equations we find
Putting together (5.9), (5.10), (5.11) and (5.12) then yields the claim. \(\quad \square \)
For a Dirac-harmonic map with curvature term the trace of (5.8) can easily be computed and gives
Hence, we will consider the following energy
and study its monotonicity. Note that we need to make a case distinction as in Remark 5.4 in order to obtain the positivity of \(e_c(\phi ,\psi )\).
Proposition 5.7
(Monotonicity formula in \({\mathbb {R}}^n\)). Let \((\phi ,\psi )\) be a smooth solution of (5.2), (5.3) for \(M={\mathbb {R}}^n\). Let \(B_R(x_0)\) be a geodesic ball around the point \(x_0\in M\) and \(0<R_1<R_2\le R\). Then the following following monotonicity formula holds
Proof
For \(M={\mathbb {R}}^n\) we choose the conformal vector field \(X=r\frac{\partial }{\partial r}\) with \(r=|x|\). In this case we have \({\text {div}}(X)=n\), thus we obtain
where we used (4.3) and (4.4). This can be rewritten as
and by applying the coarea formula we find
The result then follows by integration with respect to \(r\). \(\quad \square \)
Remark 5.8
The last statement also holds if \((\phi ,\psi )\) is a weak Dirac-harmonic map with curvature term, that is \((\phi ,\psi )\in \chi (M,N)\) for \(M={\mathbb {R}}^n\). It this case we can require higher integrability assumptions on \(\psi \) as in [38], Proposition 4.5 to get the following result: Let the pair \((\phi ,\psi )\) be a weak Dirac-harmonic map with curvature term in some domain \(D\subset {\mathbb {R}}^n\). In addition, suppose that \(\nabla \psi \in L^p(D)\) for \(\frac{2n}{3}<p\le n\), then
Here, the constant \(C_0\) only depends on \(|\nabla \psi |_{L^p(D)}\).
A possible application of this monotonicity formula for stationary Dirac-harmonic maps with curvature term is to calculate the Hausdorff dimension of their singular set. For Dirac-harmonic maps this has been carried out in [38], Proposition 4.5 and was recently extended to Dirac-harmonic maps with curvature term in [28] and furthermore to Dirac-harmonic maps with curvature term coupled to a gravitino in [29].
To derive a monotonicity formula on a Riemannian manifold we again fix a point \(x_0\in M\) and consider a ball with geodesic radius \(r=d(x_0,\cdot )\) around that point, where \(d\) denotes the Riemannian distance function.
Lemma 5.9
Let \((\phi ,\psi )\) be a smooth solution of the system (5.2), (5.3). Then the following formula holds
where \(\Omega :={\text {tr}}{\text {Hess}}(r^2)\).
Proof
We apply (4.4) using (5.8), which yields
Diagonalizing the Hessian of the Riemann distance function then yields the claim. \(\quad \square \)
Again, the presence of the Dirac-Term on the right hand side of (5.14) is an obstacle to a monotonicity formula. We can try to improve the result if we assume that the solution \(\psi \) of (5.3) has some additional structure.
Definition 5.10
We call \(\psi \in \Gamma (\Sigma M\otimes \phi ^*TN)\) a vector twistor spinor if it satisfies
for all vector fields \(X\).
Remark 5.11
If we assume that \(\psi \) is both a vector twistor spinor and a solution of (5.3) we find
for all vector fields \(X\). Moreover, a direct calculation yields
On the other hand we find
Consequently the above expression is both purely imaginary and also purely real and thus has to vanish, meaning that \(|\psi |^2\) has constant norm. Thus, this approach does not lead to an interesting monotonicity formula.
Only the last term on the right hand side of (5.14) has a definite sign and we can estimate it as follows
where \(\omega _{max}\) denotes the largest eigenvalue of \({\text {Hess}}(r^2)\).
Without loss of generality we assume that \(\omega _1=\omega _{\max }\) and rewrite
Using (5.3) this gives us the following inequality
Proposition 5.12
Let \((\phi ,\psi )\) be a smooth solution of the system (5.2), (5.3). Then for all \(0<R_1<R_2\le R\), \(R\in (0,i_M)\) the following monotonicity type formula holds
Proof
Combining (5.14) and (5.16) we find
Making use of the coarea formula this can be rewritten as
Integrating with respect to \(r\) and using integration by parts
completes the proof. \(\quad \square \)
Remark 5.13
In the case of \(M={\mathbb {R}}^n\) we have \(\omega _i=1,i=1\ldots ,n\) and \(\Omega =n\). In this case we have equality in (5.17) and (5.17) reduces to (5.13).
Remark 5.14
Again, it seems very difficult to obtain a Liouville Theorem from the monotonicity formula (5.17) without posing a lot of restrictions on the solution.
5.3 A Liouville Theorem for a domain with positive Ricci curvature
In this section we derive a vanishing theorem for Dirac-harmonic maps with curvature term under an energy and curvature assumption, similar to Theorem 4.13. To this end we set
Lemma 5.15
(Bochner formulas). Let \((\phi ,\psi )\) be a smooth solution of the system (5.2), (5.3). Then the following Bochner formulas hold
where \(e_i,i=1\ldots ,n\) is an orthonormal basis of \(TM\).
Proof
We choose a local orthonormal basis of \(TM\) such that \(\nabla _{e_i}e_j=0,i,j=1,\ldots ,n\) at the considered point. The fist equation follows by a direct calculation using the Weitzenböck formula for the twisted Dirac-operator , that is
where \({\tilde{\Delta }}\) denotes the connection Laplacian on the vector bundle \(\Sigma M\otimes \phi ^*TN\). To obtain the second equation we recall the following Bochner formula for a map \(\phi :M\rightarrow N\)
Moreover, by a direct calculation we obtain
which concludes the proof. \(\quad \square \)
Corollary 5.16
Let \((\phi ,\psi )\) be a smooth solution of the system (5.2), (5.3). Then the following estimate holds:
where \(c_i,i=1,2,3\) are positive constants that depend only on the geometry of \(M\) and \(N\).
Proof
Making use of the Bochner formulas we find
where \(\kappa _M\) denotes a lower bound for the Ricci curvature of \(M\) and \(\kappa _N\) an upper bound for the sectional curvature of \(N\). By application of Young’s inequality we find
with positive constants \(\delta _i,i=1,\ldots 4\). The statement then follows by applying Young’s inequality again. \(\quad \square \)
Remark 5.17
-
(1)
The analytic structure of (5.20) is the same as in the case of harmonic maps.
-
(2)
If we want to derive a Liouville Theorem from (5.20) making only assumptions on the geometry of \(M\) and \(N\) we would require that both \(c_2\le 0\) and \(c_3\le 0\). However, it can easily be checked that we cannot achieve such an estimate since the curvature tensor of \(N\) appears on the right hand side of the system (5.2) and (5.3).
However, we can give a Liouville theorem under similar assumptions as in Theorem 4.13. A similar Theorem for Dirac-harmonic maps was obtained in [17], Theorem 4.
Theorem 5.18
Let \((M,g)\) be a complete noncompact Riemannian spin manifold and \((N,h)\) be a Riemannian manifold with nonpositive curvature. Suppose that \((\phi ,\psi )\) is a Dirac-harmonic map with curvature term with finite energy \(e(\phi ,\psi )\). If
with the constants
then \(\phi \) maps to a point and \(\psi \) vanishes identically.
Proof
First of all we note that
If we put \(\delta _1=\frac{1}{2},\delta _2=\delta _3=\delta _4=1\) in (5.21) we find
Making use of the assumption (5.22) this yields
for a positive constant \(\delta \). We fix a positive number \(\epsilon >0\) such that
where we used (5.23) and (5.24). The rest of the proof is identical to the proof of Theorem 4.13. \(\quad \square \)
References
Ammann, B.: The smallest Dirac eigenvalue in a spin-conformal class and cmc immersions. Commun. Anal. Geom. 17(3), 429–479 (2009)
Bär, C.: Real Killing spinors and holonomy. Commun. Math. Phys. 154(3), 509–521 (1993)
Bär, C.: Zero sets of solutions to semilinear elliptic systems of first order. Invent. Math. 138(1), 183–202 (1999)
Bär, C., Gauduchon, P., Moroianu, A.: Generalized cylinders in semi-Riemannian and spin geometry. Math. Z. 249(3), 545–580 (2005)
Bartnik, R.A., Chruściel, P.T.: Boundary value problems for Dirac-type equations. J. Reine Angew. Math. 579, 13–73 (2005)
Bourguignon, J.-P., Gauduchon, P.: Spineurs, opérateurs de Dirac et variations de métriques. Commun. Math. Phys. 144(3), 581–599 (1992)
Branding, V.: Magnetic Dirac-harmonic maps. Anal. Math. Phys. 5(1), 23–37 (2015)
Branding, V.: Some aspects of Dirac-harmonic maps with curvature term. Differ. Geom. Appl. 40, 1–13 (2015)
Branding, V.: Dirac-harmonic maps with torsion. Commun. Contemp. Math. 18(4), 1550064 (2016)
Branding, V.: Energy estimates for the supersymmetric nonlinear sigma model and applications. Potential Anal. 45(4), 737–754 (2016)
Branding, V.: On conservation laws for the supersymmetric sigma model. Results Math. 72(4), 2181–2201 (2017)
Branding, V.: An estimate on the nodal set of eigenspinors on closed surfaces. Math. Z. 288(1–2), 1–10 (2018)
Branding, V.: A vanishing result for the supersymmetric nonlinear sigma model in higher dimensions. J. Geom. Phys. 134, 1–10 (2018)
Branding, V., Kröncke, K.: Global existence of Dirac-wave maps with curvature term on expanding spacetimes. Calc. Var. Partial Differ. Equ. 57(5):Art. 119, 30, (2018)
Chen, Q., Jost, J., Wang, G.: Liouville theorems for Dirac-harmonic maps. J. Math. Phys. 48(11), 113517 (2007)
Chen, Q., Jost, J., Li, J., Wang, G.: Dirac-harmonic maps. Math. Z. 254(2), 409–432 (2006)
Chen, Q., Jost, J., Sun, L.: Gradient estimates and Liouville theorems for Dirac-harmonic maps. J. Geom. Phys. 76, 66–78 (2014)
Chen, Q., Jost, J., Sun, L., Zhu, M.: Estimates for solutions of Dirac equations and an application to a geometric elliptic-parabolic problem. J. Eur. Math. Soc. (JEMS) 21(3), 665–707 (2019)
Chen, Q., Jost, J., Wang, G.: Nonlinear Dirac equations on Riemann surfaces. Ann. Global Anal. Geom. 33(3), 253–270 (2008)
Deligne, P., Etingof, P., Freed, D.S., Jeffrey, L.C., Kazhdan, D., Morgan, J.W., Morrison, D.R., Witten, E. (eds.): Quantum Fields and Strings: A course for Mathematicians. Vol. 1, 2. American Mathematical Society, Providence, RI; Institute for Advanced Study (IAS), Princeton, NJ. Material from the Special Year on Quantum Field Theory held at the Institute for Advanced Study, Princeton, NJ, 1996–1997 (1999)
Garber, W.-D., Ruijsenaars, S.N.M., Seiler, E., Burns, D.: On finite action solutions of the nonlinear \(\sigma \)-model. Ann. Phys. 119(2), 305–325 (1979)
Gross, D.J., Neveu, A.: Dynamical symmetry breaking in asymptotically free field theories. Phys. Rev. D 10, 3235–3253 (1974)
Isobe, T.: Existence results for solutions to nonlinear Dirac equations on compact spin manifolds. Manuscr. Math. 135(3–4), 329–360 (2011)
Isobe, T.: Nonlinear Dirac equations with critical nonlinearities on compact spin manifolds. J. Funct. Anal. 260(1), 253–307 (2011)
Isobe, T.: A perturbation method for spinorial Yamabe type equations on \(S^m\) and its application. Math. Ann. 355(4), 1255–1299 (2013)
Isobe, T.: Spinorial Yamabe type equations on \(S^3\) via Conley index. Adv. Nonlinear Stud. 15(1), 39–60 (2015)
Jost, J., Liu , L., Zhu, M.: Geometric analysis of the action functional of the nonlinear super symmetric sigma model. Preprint, Max Planck Institute for Mathematics in the Sciences (2015)
Jost, J., Liu, L., Zhu, M.: Regularity of Dirac-harmonic maps with \({\lambda }\)-curvature term in higher dimensions. Calc. Var. Partial Differ. Equ. 58(6), 187 (2019)
Jost, J., Wu, R., Zhu, M.: Partial regularity for a nonlinear sigma model with gravitino in higher dimensions. Calc. Var. Partial Differ. Equ. 57(3):Art. 85, 17 (2018)
Kim, E.C., Friedrich, T.: The Einstein–Dirac equation on Riemannian spin manifolds. J. Geom. Phys. 33(1–2), 128–172 (2000)
Lawson Jr., H.B., Michelsohn, M.-L.: Spin Geometry. Princeton Mathematical Series, vol. 38. Princeton University Press, Princeton, NJ (1989)
Lin, H., Yang, G., Ren, Y., Chong, T.: Monotonicity formulae and Liouville theorems of harmonic maps with potential. J. Geom. Phys. 62(9), 1939–1948 (2012)
Nambu, Y., Jona-Lasinio, G.: Dynamical model of elementary particles based on an analogy with superconductivity. I. Phys. Rev. 122, 345–358 (1961)
Schoen, R., Yau, S.T.: Harmonic maps and the topology of stable hypersurfaces and manifolds with non-negative Ricci curvature. Comment. Math. Helv. 51(3), 333–341 (1976)
Soler, M.: Classical, stable, nonlinear spinor field with positive rest energy. Phys. Rev. D 1, 2766–2769 (1970)
Thirring, W.E.: A soluble relativistic field theory. Ann. Phys. 3, 91–112 (1958)
Wang, C.: A remark on nonlinear Dirac equations. Proc. Am. Math. Soc. 138(10), 3753–3758 (2010)
Wang, C., Deliang, X.: Regularity of Dirac-harmonic maps. Int. Math. Res. Not. IMRN 20, 3759–3792 (2009)
Yau, S.T.: Some function-theoretic properties of complete Riemannian manifold and their applications to geometry. Indiana Univ. Math. J. 25(7), 659–670 (1976)
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). The author gratefully acknowledges the support of the Austrian Science Fund (FWF) through the project P30749-N35 “Geometric variational problems from string theory”.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by M. Salmhofer
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 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. Nonlinear Dirac Equations, Monotonicity Formulas and Liouville Theorems. Commun. Math. Phys. 372, 733–767 (2019). https://doi.org/10.1007/s00220-019-03608-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-019-03608-z