Abstract
We study the regularity problem of the nonlinear sigma model with gravitino fields in higher dimensions. After setting up the geometric model, we derive the Euler–Lagrange equations and consider the regularity of weak solutions defined in suitable Sobolev spaces. We show that any weak solution is actually smooth under some smallness assumption for certain Morrey norms. By assuming some higher integrability of the vector spinor, we can show a partial regularity result for stationary solutions, provided the gravitino is critical, which means that the corresponding supercurrent vanishes. Moreover, in dimension \(<6\), partial regularity holds for stationary solutions with respect to general gravitino fields.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 introduction
Motivated by super gravity and super string theory in quantum field theory, the nonlinear supersymmetric sigma model has been widely studied in mathematics [3, 5, 7, 8, 13, 14]. To study the analytical properties of the supersymmetric model, an analogous model was introduced in [15] which contains not only the super partner of the scalar field, in mathematical terms a map between Riemannian manifolds, but also the super partner of the other field of the theory, a Riemannian metric; the latter is a spinorial field called the gravitino. In [16, 19, 20], further geometrical and analytical properties of the model were explored. These studies also clarified the role of the gravitino field in the geometry and analysis of this model. On one side, the gravitino field brings additional symmetries into the model and hence leads to new conservation laws, making the geometric aspect more interesting; on the other hand, this field is not the solution of a differential equation since it is only algebraically involved in the action functional, making the analysis of the critical points of the functional subtle. In physics the gravitino field is known as Rarita–Schwinger field, which appears also in higher dimensional space-time. In this article, we shall study the higher dimensional analogue of the model in [15].
In the higher dimensional case, we take a similar action functional to that of [14, 15]; actually they are of the same form. While this higher dimensional model does not possess a direct physical interpretation, it possesses interesting analytical properties, which we explore in this paper.
Here we give the precise description of our model. The background material for spin geometry can be readily found in the literature, for instance in [12, 21]. Let (M, g) be an m-dimensional closed oriented Riemannian manifold, where \(m\ge 3\). We assume that (M, g) is a spin manifold, with a fixed spin structure given by a twofold covering \(\xi :P_{{{\mathrm{Spin}}}}(M,g)\rightarrow P_{{{\mathrm{SO}}}}(M,g)\) of principal fiber bundles. Let S be an associated spinor bundle, which is a real vector bundle of rank \(2^{2[\frac{m}{2}]}\). On this spinor bundle S there exist a spinor metric \(g_s\) (which is a fiberwise real inner product) and an induced spinor connection \(\nabla ^s\) which is compatible with the spinor metric. As usual we denote the Clifford map by \(\gamma :TM \rightarrow {{\mathrm{End}}}(S)\) or sometimes for simplicity by a dot “ \(\cdot \) ”. The Clifford relation for (S, M, g) reads
The spin Dirac operator on S is given as follows. Let \(\{e_\alpha \}\) be an oriented local frame and \(s \in \Gamma (S)\) a spinor field. Then
It is a first-order elliptic operator, which is essentially the Cauchy-Riemann operator in the two-dimensional case, see [21]. It appears also in other models, see for instance [5, 15].
A gravitino field is defined as a section of the tensor product bundle \(S\otimes TM\). It serves as the supersymmetric partner of the Riemannian metric in physics. Note that the Clifford map induces a surjective map, still denoted by \(\gamma \), in the following way:
The canonical right inverse is given by \(\sigma :S\rightarrow S\otimes TM\) where
with respect to the local g-orthonormal frame \(\{e_\alpha \}\). They together give rise to a splitting of the bundle \(S\otimes TM\) into \({{\mathrm{Ker}}}\gamma \oplus S\), where the projection maps onto the isomorphic image of S and onto \({{\mathrm{Ker}}}\gamma \) respectively are given by
Locally writing \(\chi \in \Gamma (S\otimes TM)\) as \(\chi =\chi ^\alpha \otimes e_\alpha \), we have
We remark that only the Q-part of the gravitino will enter the action functional of our model; for this reason, in the literature sometimes only the sections of the subbundle \(Q(S\otimes TM)\) are referred to as gravitinos; however, we will follow the convention to call all sections of \(S\otimes TM\) gravitino fields.
The main nonlinearity of the model comes from the coupling of the spinor with a map between Riemannian manifolds, which we shall now explain. Let (N, h) be a Riemannian manifold with the Levi-Civita connection \(\nabla ^{N}\). Consider a smooth map \(\phi :M\rightarrow N\) with the tangent map \(T\phi :TM\rightarrow TN\). On the pullback there are the induced Riemannian metric \(\phi ^*h\) and the induced connection \(\nabla ^{\phi ^*TN}\). Then we can equip the tensor product bundle \(S\otimes \phi ^*TN\) with the induced metric \(\langle \cdot , \cdot \rangle _{S\otimes \phi ^*TN}\) and the connection \(\widetilde{\nabla }\equiv \nabla ^{S\otimes \phi ^*TN}\), and define a Dirac operator on \(\Gamma (S\otimes \phi ^*TN)\) as follows. Let \(\{y^i\}\) be local coordinates of N, then \(\{\phi ^*(\partial _{y^i})\}\) forms a local frame of \(\phi ^*TN\). Then \(\psi \in \Gamma (S\otimes \phi ^*TN)\) can be locally expressed as \(\psi =\psi ^j\otimes \phi ^*(\partial _{y^i})\). Define
This twisted spin Dirac operator is a first-order elliptic differential operator, which is essentially self-adjoint on the Hilbert space \(L^2(S\otimes \phi ^*TN)\).
The action functional has the same form as in [15]:
where the last curvature term is locally defined by
As before we write
then \(R(\psi )=\langle SR(\psi ),\psi \rangle _{g_s\otimes g}\). For later purposes, we also introduce the notation
This action functional is closely related to the functionals for Dirac-harmonic maps and for Dirac-harmonic maps with curvature term. In fact, if the gravitino vanishes in the model, the action \(\mathbb {A}\) then reads
whose critical points are known as Dirac-harmonic maps with curvature term, introduced in [6] and further studied in [2, 17]. And if the curvature term is also dropped, then we get the Dirac-harmonic map functional introduced in [5]. From the perspective of quantum field theory, they are simplified versions of the model considered here, and describe the behavior of the nonlinear sigma models in degenerate cases.
Proposition 1.1
The Euler–Lagrange equations for the action functional (1) are given by
The derivation of the equations is quite similar to that in [15, Section 4], with only minor differences, and thus we omit the proof here. We can then define weak solutions of the system (2) as the critical points of the action functional (1) on the Sobolev space
Recall that, by taking an isometric embedding \(N\hookrightarrow \mathbb {R}^K\), the space \(W^{1,2}(M,N)\) is defined by
and the space \( S^{1,\frac{4}{3}}(\Gamma (S\otimes \phi ^*TN))\) is defined as the set of weakly differentiable sections \(\psi =(\psi ^1,\cdots ,\psi ^K)\in W^{1,1}(\Gamma (S))^K\) that satisfy
and also
for all \(1\le i\le K\), see e.g. [26, Definition 1.1]. Note that we are considering smooth gravitinos throughout this article, thus a pair in this space is sufficient to ensure that the action is well-defined and finite. Here, we follow the notation convention on Morrey spaces in [15].
Such a weak solution will be shown to be actually smooth provided a suitable Morrey norm is small. More precisely, we have the following \(\varepsilon \)-regularity result.
Theorem 1.2
For \(m\ge 2\), there exists \(\varepsilon _0>0\) depending on (M, g), (N, h) and the gravitino \(\chi \) such that if \((\phi ,\psi )\in W^{1,2}(M,N)\times S^{1,\frac{4}{3}}(\Gamma (S\otimes \phi ^*TN))\) is a weak solution of (2) satisfying
for some open subset \(U\subset M\), then \((\phi ,\psi )\) is smooth in U.
In particular, if \(U=M\), this says that a weak solutions is smooth provided a certain Morrey norms are small. In dimension two, the condition (3) can always be satisfied locally by the absolute continuity of the integral, hence weak solutions are always smooth, as proved in [15].
However, in higher dimensions, the condition (3) is not always satisfied. From the study of the partial regularity of harmonic maps [1, 9,10,11, 24], Dirac-harmonic maps [26] and Dirac-harmonic maps with curvature terms [18] in higher dimensions, we are naturally led to consider the stationary solutions of this model. A stationary solution is a weak solution of (2) which is also critical with respect to domain variations. Actually this concept supposes the weak validity of the conservation law corresponding to diffeomorphism invariance, compare [16] and see Definition 3.1 for an explicit formulation.
For a stationary solution, we can obtain an “almost” monotonicity formula for the map \(\phi \) in the sense that
for some function F(r) which involves all the four fields and is not definite, see Proposition 3.3. This prevents us from obtaining a strict monotonicity inequality. However, as pointed out in [26], if we assume that \(\widetilde{\nabla }\psi \in L^p(M)\) for some \(p>\frac{2}{3}\), then we can control the error term and get a type of monotonicity inequality of the following form (see Proposition 3.4)
for some \(C_0=C_0(p, \Vert \widetilde{\nabla }\psi \Vert _{L^p},\Vert \chi \Vert _{L^\infty })>0\), provided in addition that the gravitino is critical with respect to variations, which means that the corresponding supercurrent J [see Eq. (8)] vanishes, see Sect. 3 and also see [16] for the two dimensional case. Making use of the standard argument, we obtain the partial regularity for stationary solutions, with a singular set of Hausdorff codimension at least two.
Theorem 1.3
For \(m\ge 3\), let \((\phi ,\psi )\in W^{1,2}(M,N)\times S^{1,\frac{4}{3}}(\Gamma (S\otimes \phi ^*TN))\) be a stationary solution of the Euler–Lagrange equations (2). If in addition, the gravitino field is critical and \(\widetilde{\nabla }\psi \in L^p(M)\) for some \(p>\frac{2m}{3}\), then there exists a closed set \(\mathcal {S}(\phi )\subset M\) with \(\mathcal {H}^{m-2}(\mathcal {S}(\phi ))=0\), such that \((\phi ,\psi )\in C^\infty (M\backslash \mathcal {S}(\phi ))\).
We take the gravitino field to be critical for technical reasons. But if the dimension of M is low, we can still get the partial regularity of the stationary solutions for a general gravitino.
Theorem 1.4
For \(3\le m\le 5\), let \((\phi ,\psi )\in W^{1,2}(M,N)\times \mathcal {S}^{1,\frac{4}{3}}(\Gamma (S\otimes \phi ^*TN))\) be a stationary solution of the Euler–Lagrange equations (2). If in addition \(\widetilde{\nabla }\psi \in L^p(M)\) for some \(p>\frac{2m}{3}\), then there exists a closed set \(\mathcal {S}(\phi )\subset M\) with \(\mathcal {H}^{m-2}(\mathcal {S}(\phi ))=0\), such that \((\phi ,\psi )\in C^\infty (M\backslash \mathcal {S}(\phi ))\).
The question of partial regularity for stationary solutions with respect to general gravitinos in general dimension remains open.
The article is organized as follows. First we rewrite the Euler–Lagrange equation (2) into a local form, where we can explicitly use the structures of the equations. Using a result in [15] together with the most recent results developed for critical elliptic systems with an antisymmetric structure developed by Rivière and Struwe [23] and further explored in [22, 25], we show the full regularity for solutions with some smallness assumptions on certain Morrey norms. Then we consider stationary solutions. We check that this is equivalent to the weak validity of a conservation law. Then we use this formulation to establish the almost monotonicity inequality and finally prove Theorems 1.3 and 1.4.
2 Regularity of weak solutions with small Morrey norms
In this section we show that the weak solutions of the Euler–Lagrange equations are smooth provided that certain Morrey norms are small, even when the domain is higher dimensional. The argument differs from that when the domain is two-dimensional, since we no longer have the conformal symmetry. In dimension two the smallness of the required Morrey norms came for free, but not in general dimensions.
For simplicity we assume that the equations are located in a Euclidean unit disk \(B_1\subset \mathbb {R}^m\) equipped with the standard inner product \(g_0\). Then the coordinate frame \(\{e_\alpha =\frac{\partial }{\partial x^\alpha }\}\) is orthonormal. The local form of the Euler–Lagrange equations is
for \(1\le i\le m\), where each \(V^i\) is a vector field defined on M via
Remark 2.1
Of course, we cannot always transform a given Riemannian metric locally into a Euclidean one. But since regularity is a local issue in the domain, we can consider the metric as a perturbation of the Euclidean one on the unit ball \(B_1\), and it is easy to extend the analysis from a Euclidean to such a Riemannian domain. Therefore, for simplicity, we assume that the domain is the unit ball with its Euclidean metric.
As discussed in [15] (the calculations there hold true also for general dimensional domains), the equations of the map \(\phi \) can be rearranged into a nice form which has an antisymmetric structures, which helps to improve the regularity of weak solutions. Indeed, isometrically embed (N, h) into some Euclidean space \((\mathbb {R}^K,\delta )\) and denote the push-forwards of \((\phi ,\psi )\) by \((\phi ',\psi ')\). Then in [15] we have written the equations for the map \(\phi \) in the form
for \(1\le i\le K\), where the coefficient matrix \(\Omega =(\Omega ^i_j)\) is antisymmetric: \(\Omega ^i_j=-\Omega ^j_i\), which can be controlled by \(|\Omega |\le C(|\nabla \phi |+|\psi |^2+ |\chi ||\psi |)\) and the second term is quartic in \(\psi \) in the sense that
and the vector fields \(V'^i\)’s are defined in a similar way to (5).
For the spinors fields \(\psi '=(\psi '^1,\cdots ,\psi '^K)\), as discussed in [15], we have
for each \(1\le a\le K\), where \(\{\nu _l|l=n+1,\cdots ,K\}\) is a local orthonormal frame of \(T^\bot N\) and \((u^a)_{a=1,\cdots ,K}\) are standard global coordinate functions on the Euclidean space \(\mathbb {R}^K\). For such Dirac type systems, we know the following fact.
Lemma 2.2
([15, Lemma 6.1]) Let \(B_1\subset \mathbb {R}^m\) be the open unit ball with \(m\ge 2\) and let \(4<p<\infty \). For a weak solution \(\varphi \in M^{4,2}(B_1, \mathbb {R}^L\otimes \mathbb {R}^K)\) of the nonlinear system
where \(A\in M^{2,2}(B_1,\mathfrak {gl}(L,\mathbb {R})\otimes \mathfrak {gl}(K,\mathbb {R}))\) and \(B\in M^{2,2}(B_1,\mathbb {R}^L\otimes \mathbb {R}^K)\), there exists \(\varepsilon _0=\varepsilon _0(m,p)>0\) such that if
then \(\varphi \in L^p_{loc}(B_1)\). Moreover, for any \(U\Subset B_1\), there holds
for some \(C(m,p,U)>0\).
Thus, assuming that the vector spinors \(\psi '\in M^{4,2}(B_1)\), the above lemma implies that \(\psi '\in L^p_{loc}(B_1)\) for any \(p\in [1,\infty )\).
Now we turn to the equations for the map \(\phi '\). First recall the following result in [25], which is an extension of the regularity result in [23]. Note that the index convention there is different from ours.
Theorem 2.3
([25, Theorem 1.2]) For \(m\ge 2\), let \(u\in W^{1,2}(B_1,\mathbb {R}^K)\) with \(\nabla u\in M^{2,2}(B_1, \mathbb {R}^m\otimes \mathbb {R}^K)\), \(\Omega \in M^{2,2}(B_1,\mathfrak {so}(K)\otimes \mathbb {R}^m)\) and \(f\in L^p(B_1)\) for \(\frac{m}{2}<p<m\), weakly solve
Then for any \(U\Subset B_1\) there exists \(\varepsilon _1=\varepsilon _1(m,K,p)>0\) and \(C=C(m,K,p,U)>0\) such that whenever \(\Vert \Omega \Vert _{M^{2,2}(B_1)}\le \varepsilon _1\) we have
Also note that once \(\nabla u\in M^{\frac{2p}{m-p},2}(B_1)\), then by the Dirichlet growth theorem we conclude that \(u\in C^{2-\frac{m}{p}}_{loc}(B_1)\).
Now we shall deal with our system. We take the initial assumption as follows:
Note that \(M^{4,2}(B_1)\subset L^4(B_1)\), so these assumptions are sufficient to ensure the finiteness of the action functional. Moreover, by Lemma 2.2, we directly get \(\psi '\in L^p_{loc}(B_1)\) for any \(p<\infty \), and it in turn follows that \(\psi '\in W^{1,2-o}_{loc}(B_1)\). This leads to \({{\mathrm{div}}}V'^i\in L^{2-o}_{loc}(B_1)\). Here a function \(f\in L^{p-0}\) means that \(f \in L^{q}\) for any \(1\le q<p\), see Definition 1. in [19].
In the case \(m=\dim {M}=3\), we can apply Theorem 2.3 to conclude that \(\nabla \phi '\in L^{4-o}_{loc}(B_1)\), and hence by a bootstrap argument we can finally obtain that \((\phi ',\psi ')\) is smooth.
However, if \(m=\dim {M}\ge 4\), Theorem 2.3 is not applicable anymore. We then need a result from [22], where the following theorem was shown:
Theorem 2.4
([22]) For \(m\ge 3\) and \(p\in (1,\infty )\) there exists an \(\varepsilon _1=\varepsilon _1(m,p)>0\) such that if \(u\in W^{1,2}(B_1,N)\) and \(f\in L^p(B_1,\mathbb {R}^K)\) satisfy
in \(B_1\) weakly and \(\Vert \Omega \Vert _{M^{2,2}}\le \varepsilon _1\), then \(u\in W^{2,p}_{loc}(B_1,\mathbb {R}^K)\cap W^{1,2p}_{loc}(B_1,N)\).
Here A stands for the second fundamental form of the isometric embedding \(N\hookrightarrow \mathbb {R}^K\). With these tools in hand, we can get the following conclusion about the regularity of weak solutions of our model.
Theorem 2.5
Suppose \(\phi '\in M^{2,2}(B_1,\mathbb {R}^K)\) and \(\psi '\in M^{4,2}(B_1,\mathbb {R}^L\otimes \mathbb {R}^K)\) satisfy (4) in a weak sense, and suppose that \(\chi \) is smoothly bounded on \(B_1\). Then there exists \(\varepsilon =\varepsilon (m,\chi )>0\) such that if
then \(\phi '\) and \(\psi '\) are actually smooth on \(B_1\).
By a patching argument, this implies Theorem 1.2.
3 Partial regularity for stationary solutions
In this section, we shall study stationary weak solutions and show some partial regularity results.
Let us first give the precise definition of stationary solutions to our model. Suppose \(f_t:M\rightarrow M\) is a family of diffeomorphisms induced by a tangent vector field \(X\in \Gamma (TM)\), i.e. \((f_t)_t\) is the induced flow. As shown in [16] these diffeomorphisms induces transformations on the four arguments of the action functional which leaves the action invariant:
where the concrete expressions of the transformation formulas are given in [16]. A stationary solution is a solution \((\phi ,\psi )\) of the Euler–Lagrange equations (2) and also
where
and
Here we continue to use the notation introduced in [16]. Note that we have to use the isomorphism \(\beta _t\) to map the spinors in \(S_{f_t^* g}\) to the spinor bundle \(S_g\). Now consider the diffeomorphism \(f_{-t}\), which is the inverse of \(f_t\). By the diffeomorphism invariance we have
Note that \(\psi _t\) is transformed to
while the other fields g and \(\chi \) are transformed into
and
Therefore, for a stationary solution \((\phi ,\psi )\), we have
where T stands for the energy-momentum tensor of \(\mathbb {A}\) and J stands for the supercurrent [16]. Using the adjointness of the divergence operators and the Lie derivative operators, we see that
Since X can be arbitrary, we conclude that
Definition 3.1
A stationary solution is a solution of (2) which also satisfies (6) weakly. More precisely, for any vector field \(X\in \Gamma (TM)\),
Remark 3.2
As in the harmonic map case, strong (say \(C^2\)) solutions are always stationary, but general weak solutions need not be stationary.
For stationary solutions, we have the following type of monotonicity formula, which helps to obtain the Morrey type control.
Proposition 3.3
Let \((\phi ,\psi )\in W^{1,2}(U, N)\times S^{1,\frac{4}{3}}(U, \mathbb {R}^L\otimes \mathbb {R}^K)\) be a local stationary solution on U. Then for any \(x_0\in U\) and any \(0<R_1\le R_2< {{\mathrm{dist}}}(x_0,\partial U)\),
where F(r) is given by
Proof
For simplicity we assume \(U\subset \mathbb {R}^m\) and \(x_0=0\in U\). For \(\epsilon >0\) and \(0<r<{{\mathrm{dist}}}(0,\partial U)\), let \(\eta _\epsilon (x)=\eta _\epsilon (|x|)\in C^\infty _0(B_r)\) be a radial cutoff function such that \(0\le \eta _\epsilon \le 1\) and \(\eta _\epsilon \equiv 1\) on \(B_{r(1-\epsilon )}\). Consider the radial vector field
on U, with
Note that it is symmetric in \(\alpha \) and \(\beta \). One can calculate the energy-momentum tensor
where
and the supercurrent
with
in general dimensions in a manner similar to the two dimensional case considered in [16]. Also in this local Euclidean chart, \(g_{\alpha \beta }=\delta _{\alpha \beta }\) and
while
Next we use the vector field Y in the condition (7). As T is symmetric, and noting that Y is supported in \(B_r(0)\subset U\), we have
Recall that along the solution of (2) it holds that
Then the trace of the energy-momentum tensor is
On the other hand,
where \(\partial _r\equiv \frac{\partial }{\partial r}\) and \(r(x)=|x|=|x-x_0|\) denotes the radial function. Since \(Y(x)=\eta _\epsilon (|x|)|x|\partial _r\), we have
Substituting these into the stationary condition (7), we get
Letting \(\epsilon \rightarrow 0\), this formula reduces to
Note that
Thus, integrating r from \(R_1\) to \(R_2\) yields the conclusion. \(\square \)
Consequently, we have the following type of monotonicity inequality, which is crucial in the study of partial regularity for harmonic map type problems in higher dimensions.
Proposition 3.4
Assume that \((\phi ,\psi )\in W^{1,2}(U,N)\times S^{1,\frac{4}{3}}(U, \mathbb {R}^L\otimes R^K)\) is a stationary solution of (2), and the gravitino is critical, i.e., the supercurrent \(J\equiv 0\). If in addition, \(\nabla \psi \in L^p(U)\) for some \(\frac{2m}{3}<p< m\), then there exists \(C_0=C_0(p, \Vert \nabla \psi \Vert _{L^p(U)}, \Vert \chi \Vert _{L^\infty (U)})>0\) such that for any \(x_0\in U\) and \(0<R_1<R_2<\min \{{{\mathrm{dist}}}(x_0,\partial U),1\}\), it holds that
Proof
From the previous proposition we have
Hence it suffices to estimate the last integral, which can be split into three parts
where
Note that \(\psi \in L^4(U)\) and \(\nabla \psi \in L^p(U)\) for some \(p\in (\frac{2m}{3},m)\), hence by Sobolev embeddings we have \(\psi \in L^{\frac{mp}{m-p}}(U)\), with some \(\frac{mp}{m-p}>2m\ge 6\). We also assume that the gravitino field is smoothly bounded. We estimate the other terms as follows:
-
(1)
Note that
$$\begin{aligned} -\frac{4}{m}\langle \gamma (e_\alpha )\gamma (\partial _r)\chi ^\alpha \otimes \phi _*(\partial _r),\psi \rangle \le \left| \frac{\partial \phi }{\partial r}\right| ^2+ C|\chi |^2|\psi |^2 \end{aligned}$$and hence we see that for any \(r\in [R_1,R_2]\),
$$\begin{aligned} \begin{aligned} \int _{B_r} -2\left| \frac{\partial \phi }{\partial r}\right| ^2&-\frac{4}{m}\langle \gamma (e_\alpha )\gamma (\partial _r)\chi ^\alpha \otimes \phi _*(\partial _r),\psi \rangle +|Q\chi |^2|\psi |^2\mathop {}\mathrm {d}x \\&\le \int _{B_r} -\left| \frac{\partial \phi }{\partial r}\right| ^2 + C|\chi |^2|\psi |^2\mathop {}\mathrm {d}x \le \int _{B_r} C|\chi |^2|\psi |^2\mathop {}\mathrm {d}x \\&\le C\Vert \chi \Vert ^2_{L^\infty }\Vert \psi \Vert ^2_{L^{\frac{mp}{m-p}}(B_r)}r^{m(1-\frac{2}{p}+\frac{2}{m})} \\&\le C\Vert \chi \Vert ^2_{L^\infty }\Vert \psi \Vert ^2_{L^{\frac{mp}{m-p}}(U)}r^{m+2-\frac{2m}{p}} \end{aligned} \end{aligned}$$which is always bounded by \(C\Vert \chi \Vert ^2_{L^\infty }\Vert \psi \Vert ^2_{L^{\frac{mp}{m-p}}(U)}R_2^{4-\frac{2m}{p}}r^{m-2}\). Using integration by parts we get
$$\begin{aligned}&\int _{R_1}^{R_2} \frac{\mathop {}\mathrm {d}r}{r^{m-2}} \int _{\partial B_r} -2\left| \frac{\partial \phi }{\partial r}\right| ^2 -\frac{4}{m}\langle \gamma (e_\alpha )\gamma (\partial _r)\chi ^\alpha \otimes \phi _*(\partial _r),\psi \rangle +|Q\chi |^2|\psi |^2\mathop {}\mathrm {d}s \\&=\int _{R_1}^{R_2}\frac{1}{r^{m-2}} \mathop {}\mathrm {d}\left( \int _{B_r} -2\left| \frac{\partial \phi }{\partial r}\right| ^2 -\frac{4}{m}\langle \gamma (e_\alpha )\gamma (\partial _r)\chi ^\alpha \otimes \phi _*(\partial _r),\psi \rangle +|Q\chi |^2|\psi |^2\mathop {}\mathrm {d}x\right) \\&=\frac{1}{R_2^{m-2}}\int _{B_{R_2}}-2\left| \frac{\partial \phi }{\partial r}\right| ^2 -\frac{4}{m}\langle \gamma (e_\alpha )\gamma (\partial _r)\chi ^\alpha \otimes \phi _*(\partial _r),\psi \rangle +|Q\chi |^2|\psi |^2\mathop {}\mathrm {d}x \\&\quad -\frac{1}{R_1^{m-2}}\int _{B_{R_1}} -2\left| \frac{\partial \phi }{\partial r}\right| ^2 -\frac{4}{m}\langle \gamma (e_\alpha )\gamma (\partial _r)\chi ^\alpha \otimes \phi _*(\partial _r),\psi \rangle +|Q\chi |^2|\psi |^2\mathop {}\mathrm {d}x \\&\quad +\int _{R_1}^{R_2}\frac{m-2}{r^{m-1}}\int _{B_r} -2\left| \frac{\partial \phi }{\partial r}\right| ^2 -\frac{4}{m}\langle \gamma (e_\alpha )\gamma (\partial _r)\chi ^\alpha \otimes \phi _*(\partial _r),\psi \rangle +|Q\chi |^2|\psi |^2\mathop {}\mathrm {d}x \\&\le C\Vert \chi \Vert ^2_{L^\infty }\Vert \psi \Vert ^2_{L^{\frac{mp}{m-p}}(U)} R_2^{4-\frac{2m}{p}} +C\Vert \chi \Vert ^2_{L^\infty }\Vert \psi \Vert ^2_{L^{\frac{mp}{m-p}}(U)} \int _{R_1}^{R_2} r^{1-m} r^{m+2-\frac{2m}{p}} \mathop {}\mathrm {d}r \\&\le C\Vert \chi \Vert ^2_{L^\infty } \Vert \psi \Vert ^2_{L^{\frac{mp}{m-p}}(U)} R_2^{4-\frac{2m}{p}}. \end{aligned}$$ -
(2)
For the terms involving derivatives of \(\psi \), since we assumed that they have higher integrability, it holds that
Again using integration by parts we obtain
-
(3)
Next we deal with the curvature term, which is quartic in \(\psi \). Note that
$$\begin{aligned} \begin{aligned} \int _{B_r}R(\psi )\mathop {}\mathrm {d}x\le C(N) \int _{B_r}|\psi |^4\mathop {}\mathrm {d}x\le C(N) \Vert \psi \Vert ^4_{L^{\frac{mp}{m-p}}(U)} r^{m(1-\frac{4}{p}+\frac{4}{m})}. \end{aligned} \end{aligned}$$Hence
$$\begin{aligned} \begin{aligned}&\int _{R_1}^{R_2}\frac{\mathop {}\mathrm {d}r}{r^{m-2}} \int _{\partial B_r} \frac{1}{2}R(\psi )\mathop {}\mathrm {d}s =\int _{R_1}^{R_2}\frac{1}{r^{m-2}}\mathop {}\mathrm {d}\left( \int _{B_r}\frac{1}{2}R(\psi )\mathop {}\mathrm {d}x\right) \\&=\frac{1}{R_2^{m-2}}\int _{B_{R_2}}\frac{1}{2}R(\psi )\mathop {}\mathrm {d}x -\frac{1}{R_1^{m-2}}\int _{B_{R_1}}\frac{1}{2}R(\psi )\mathop {}\mathrm {d}x +\int _{R_1}^{R_2}\frac{m-2}{r^{m-1}}\int _{B_r}R(\psi )\mathop {}\mathrm {d}x \\&\le C(N)\Vert \psi \Vert ^4_{L^{\frac{mp}{m-p}}(U)}R_2^{2(3-\frac{2m}{p})} +C(N)\int _{R_1}^{R_2} r^{5-\frac{4m}{p}}\mathop {}\mathrm {d}r \\&\le C(N)\left( 1+\frac{1}{3-\frac{2m}{p}}\right) \Vert \psi \Vert ^4_{L^{\frac{mp}{m-p}}(U)}R_2^{2(3-\frac{2m}{p})}. \end{aligned} \end{aligned}$$For convenience we assumed \(R_2<1\) so that the last line above can be bounded by
$$\begin{aligned} C(N)\left( 1+\frac{1}{3-\frac{2m}{p}}\right) \Vert \psi \Vert ^4_{L^{\frac{mp}{m-p}}(U)}R_2^{3-\frac{2m}{p}}. \end{aligned}$$ -
(4)
For the summands in \(\mathrm {II}\), they can be estimated in a similar, actually easier way as above.
-
(5)
Since we assumd the gravitino field \(\chi \) is critical, i.e. the corresponding supercurrent J vanishes, we have \(\mathrm {III}=0\).
Therefore, we have shown that
where \(C_0>0\) depends on \(\Vert \widetilde{\nabla }\psi \Vert _{L^p(U)}\), \(\Vert \chi \Vert _{L^\infty (U)}\) and the value of p. Moreover, \(C_0\rightarrow \infty \) as \(p\searrow \frac{2m}{3}\). \(\square \)
Proof of Theorem 1.3
As we have already established Proposition 3.4, the rest of the proof is the same as in the case of Dirac-harmonic maps considered in [26, Proof of Theorem 1.8]. \(\square \)
In the proof of Proposition 3.4, we make the assumption that the gravitino field is critical because the term \(\mathrm {III}\) would violate the inequality (9) in high dimensions. However, in low dimensions, a slightly different inequality still holds.
Proof of Theorem 1.4
Consider \(\mathrm {III}\) which is given by
The second summand of the integrand is pretty good, because it can be bounded by
and it can be estimated exactly as before. The first summand causes more trouble: since \(\nabla \phi \in L^2\),
and then
We need to ensure that
for \(p\in (\frac{2m}{3},m)\). If \(m\le 5\), this still gives a positive power of \(R_2\), which means that we can still obtain a monotonicity inequality of the form (9), and hence the same conclusion as in Theorem 1.3 holds. This finishes the proof. \(\square \)
References
Betheul, F.: On the singular set of stationary harmonic maps. Manuscr. Math. 78(4), 417–443 (1993)
Branding, V.: Some aspects of Dirac-harmonic maps with curvature term. Differ. Geom. Its Appl. 40, 1–13 (2015)
Brink, L., Vecchia, P.D., Howe, P.: A locally supersymmetric and reparametrization invariant action for the spinning string. Phys. Lett. B 65(5), 471–474 (1976)
Chen, Q., Jost, J., Li, J., Wang, G.: Regularity theorems and energy identities for Dirac-harmonic maps. Math. Z. 251(1), 61–84 (2005)
Chen, Q., Jost, J., Li, J., Wang, G.: Dirac-harmonic maps. Math. Z. 254(2), 409–432 (2006)
Chen, Q., Jost, J., Wang, G.: Liouville theorems for Dirac-harmonic maps. J. Math. Phys. 48, 113517 (2008)
Deligne, P., et al.: Quantum Fields and Strings: A Course for Mathematicians. American Mathematical Society, Providence (1999)
Deser, S., Zumino, B.: A complete action for the spinning string. Phys. Lett. B 65(4), 369–373 (1976)
Evans, L.C.: Partial regularity for stationary harmonic maps into spheres. Arch. Ration. Mech. Anal. 16(2), 101–113 (1991)
Giaquinta, M., Giusti, E.: On the regularity of the minima of variational integrals. Acta Math. 148, 31–46 (1982)
Giaquinta, M., Giusti, E.: The singular set of the minima of certain quadratic functionals. Ann. Scuola Norm. Sup. Pisa, Cl. Sci. 11(1), 45–55 (1984)
Jost, J.: Riemannian Geometry and Geometric Analysis, 7th edn. Springer, Berlin (2017)
Jost, J.: Geometry and Physics. Springer, Berlin (2009)
Jost, J., Keßler, E., Tolksdorf, J.: Super Riemann surfaces, metrics and gravitinos. Adv. Theor. Math. Phys. 21(5), 1161–1187 (2017)
Jost, J., Keßler, E., Tolksdorf, J., Ruijun, W., Zhu, M.: Regularity of solutions of the nonlinear sigma model with gravitino. Commun. Math. Phys. 358(1), 171–197 (2018)
Jost, J., Keßler, E., Tolksdorf, J., Ruijun, W., Zhu, M.: Symmetries and conservation laws of a nonlinear sigma model with gravitino. J. Geom. Phys. 128, 185–198 (2018)
Jost, J., Liu, L., Zhu, M.: Geometric analysis of the action functional of the nonlinear supersymmetric sigma model. MPI MIS Preprint: 77/2015. https://www.mis.mpg.de/publications/preprints/2015/prepr2015-77.html
Jost, J., Liu, L., Zhu, M.: Regularity of Dirac-harmonic maps with \(\lambda \)-curvature term in higher dimensions. MPI MIS Preprint: 25/2017. https://www.mis.mpg.de/publications/preprints/2017/prepr2017-25.html
Jost, J., Ruijun, W., Zhu, M.: Coarse regularity of solutions to a nonlinear sigma-model with \(L^p\) gravitino. Calc. Var. Partial Differ. Equ. 56(6), 154 (2017)
Jost, J., Wu, R., Zhu, M.: Energy quantization for a nonlinear sigma model with critical gravitinos. (2017) arxiv:1702.03526 [math.DG]
Lawson, H.B., Michelsohn, M.-L.: Spin Geometry. Princeton University Press, New Jersey (1989)
Moser, R.: An \(L^p\) regularity theory for harmonic maps. Trans. AMS 367(1), 1–30 (2014)
Rivière, T., Struwe, M.: Partial regularity for harmonic maps and related problems. Commun. Pure Appl. Math. 61(4), 451–463 (2008)
Schoen, R., Uhlenbeck, K.: A regularity theory for harmonic maps. J. Differ. Geom. 17, 253–268 (1982)
Sharp, B.: Higher integrability for solutions to a system of critical elliptic PDE. Methods Appl. Anal. 21(2), 221–240 (2014)
Wang, C., Deliang, X.: Regularity of Dirac-harmonic maps. Int. Math. Res. Not. 20, 3759–3792 (2009)
Acknowledgements
Open access funding provided by Max Planck Society.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by L. Ambrosio.
Miaomiao Zhu was supported in part by National Science Foundation of China (No. 11601325).
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
Jost, J., Wu, R. & Zhu, M. Partial regularity for a nonlinear sigma model with gravitino in higher dimensions. Calc. Var. 57, 85 (2018). https://doi.org/10.1007/s00526-018-1366-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-018-1366-2