Abstract
We study the refined blow-up behaviour of a sequence of Dirac-harmonic maps from degenerating spin surfaces with uniformly bounded energy in the case that the domain surfaces converge to a spin surface with only Neveu–Schwarz type nodes. For Dirac-harmonic necks appearing near the nodes, we show that the limit of the map part of each neck is a geodesic in the target manifold. Moreover, we give a length formula for the limit geodesics appearing near the node in terms of the Pohozaev type constants associated to the sequence. In particular, if the Ricci curvature of the target manifold has a positive lower bound and the Dirac-harmonic sequence has bounded index, then the limit of the map part of the necks consist of geodesics of finite length and the energy identities hold.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Motivated by the nonlinear supersymmetric nonlinear sigma model from quantum field theory, Dirac-harmonic maps are defined as solutions of a harmonic map type system coupled with a Dirac type equation. They were introduced and studied in [2, 3]. This subject generalizes the theory of harmonic maps and harmonic spinors, which has been widely studied. In dimension two, similarly to harmonic maps, the conformal invariance of the Dirac-harmonic map system leads to non-compactness of the space of Dirac-harmonic maps. In general, bubbling phenomena can occur, due to the possible energy concentration at finitely many points in the domain. When the domain is fixed, the blow-up theory for a sequence of Dirac-harmonic maps with uniformly bounded energy has been systematically studied in [2, 19, 26] for Dirac-harmonic maps and in [11] for the case of a more general model. To study the existence problem for Dirac-harmonic maps, a heat flow approach was investigated in [4, 5, 12, 15]; see [13,14,15] for the blow-up analysis of the corresponding approximate Dirac-harmonic maps. Roughly speaking, the results of these works assert that the failure of strong convergence occurs at finitely many energy concentration points. At such points, finitely many bubbles, i.e. non-trivial Dirac-harmonic spheres, can separate, and the sum of the energies of these bubbles accounts for the loss of energy during the process of weak convergence. This is known as the energy identity. Moreover, the image of the map part of the limit Dirac-harmonic map and those of the bubbles are connected in the target manifold. This is called the no neck property.
However, if we allow the domain surface to vary, then the energy identity does not hold in general, see e.g. the example in the case of harmonic maps constructed by Parker [20]. Such a situation was first systematically investigated in [28] where the author proved a generalized energy identity for the sequence when the domain surfaces degenerate to a spin surface with only Neveu–Schwarz type nodes and gave a sufficient and necessary condition that the energy identity holds, extending the case of harmonic maps from degenerating surfaces systematically studied in [29]. In this paper, we shall explore the finer asymptotic behaviour of the Dirac-harmonic necks appearing near the degenerating region of the domain. In the case of harmonic maps, where the spinors are vanishing, such necks converge to geodesics in the target [7, 8, 10]. In the more general case of Dirac-harmonic maps investigated in the present paper, it is natural to conjecture that the limit of the map part of these Dirac-harmonic necks are curves in the target manifold with specific properties similar to geodesics. Also, it should be possible to calculate the lengths of the limiting curves of the necks appearing near the nodes in terms of some geometric quantities associated to the Dirac-harmonic map sequence, as is achieved in the case of harmonic maps in [7, 29].
To state our problem more precisely, let \(\phi \) be a smooth map from a spin Riemann surface (M, h) with metric h to another compact Riemannian manifold (N, g) with dimension \(n\ge 2\). Let \(\phi ^\star TN\) be the pull-back bundle of TN by \(\phi \) and consider the twisted bundle \(\Sigma M\otimes \phi ^\star TN\) with induced metric \(\langle \cdot , \cdot \rangle _{\Sigma M\otimes \phi ^\star TN}\) and induced connection \(\widetilde{\nabla }\). A smooth section \(\psi \) of the twisted bundle \(\Sigma M\otimes \phi ^\star TN\) is called a spinor field along the map \(\phi \). Critical points \((\phi ,\psi )\) of the action functional
are called Dirac-harmonic maps from M to N. Here is the Dirac operator along the map \(\phi \), defined by . See Sect. 2 for more details on the notations and definitions.
Now, let \((M_n,h_n,c_n,\sigma _n)\) be a sequence of closed hyperbolic Riemann surface of genus \(g>1\), equipped with hyperbolic metrics \(h_n\), compatible complex structures \(c_n\) and spin structures \(\sigma _n\). We consider a sequence of smooth Dirac-harmonic maps
with uniformly bounded energy
Here the energy of the pair \((\phi ,\psi )\) on a domain \(\Omega \subset M\) is defined by
Denote the energy of \(\phi \) on \(\Omega \subset M\) by
the energy of \(\psi \) on \(\Omega \subset M\) by
We shall often omit the domain M from the notation and simply write \(E(\phi )=E(\phi ;M)\), \(E(\psi )=E(\psi ;M)\) and \(E(\phi ,\psi )=E(\phi ,\psi ;M)\).
In two dimensional geometric variational problems, Pohozaev type identities play an important role in the study of the qualitative behavior for a sequence of solutions. When the domain surface varies and possibly degenerates, one needs to study solutions defined on long cylinders and in such situations, Pohozaev type identities in general no longer hold. Therefore, we need to find some geometric quantities associated to the sequence of solutions and domains to characterize the asymptotic behaviour of the solutions. Such a scheme was first explored in [29] for harmonic maps and then in [28] for Dirac-harmonic maps. Consider a Dirac-harmonic map \((\phi ,\psi )\) defined on a standard cylinder \(P=[t_1,t_2]\times S^1\) with flat metric \(ds^2=dt^2+d\theta ^2\). Denote
It is well known that the quadratic differential \(Tdz^2\) is holomorphic. See [3] for details. By Lemma 3.4 in [28] (or Lemma 2.1 in the present paper), we know that
is a complex number which is independent of \(t\in [t_1,t_2]\). The quantity defined in (1.2) can be considered as a Pohozaev type constant associated to the Dirac-harmonic map \((\phi ,\psi )\) defined on the cylinder P and it measures the extent to which the Pohozaev type identity fails. In the case of a vanishing spinor field \(\psi \equiv 0\), it reduces to the Pohozaev type constant associated to the harmonic map \(\phi \) introduced in [29] (page 64). Such quantities played an important role in the study of the asymptotic behaviour of harmonic maps and Dirac-harmonic maps from degenerating surfaces [28, 29]. Pohozaev type constants appear also in other two dimensional geometric variational problems, like the singular super-Liouville type systems [16].
Now, we assume that \((M_n,h_n,c_n)\) degenerates to a hyperbolic Riemann surface (M, h, c) by collapsing p (\(1\le p\le 3g-3\)) pairwise disjoint simple closed geodesics \(\gamma ^j_n\) of lengths \(l^j_n\), \(j=1,\ldots ,p\). For each j, the geodesics \(\gamma ^j_n\) degenerate into a pair of punctures \((\epsilon ^{j,1},\epsilon ^{j,2})\). Let \(P_n^j\) be the standard cylindrical collar about \(\gamma _n^j\). We associate the sequence \((\phi _n,\psi _n,M_n)\) with a sequence of p-tuples \((\alpha _n^1,\ldots ,\alpha _n^p)\), where
are quantities defined by (1.2). Pulling back the hyperbolic metrics \(h_n\) and the compatible complex structures \(c_n\) by suitable diffeomorphisms \(M\rightarrow M_n{\setminus }\cup _{j=1}^p\gamma _n^j\) and passing to a subsequence, we can think of \((h_n,c_n)\) as all living on the limit surface M, converging in \(C^\infty _{loc}\) to (h, c), and the pull back of \(\sigma _n\) is a fixed spin structure \(\sigma \) on M. Note that M has p pairs of punctures. As in [28], we require the following assumptions on the limit surface:
Then \(\sigma \) extends to some spin structure \(\overline{\sigma }\) on \(\overline{M}\), where \(\overline{M}\) is the surface obtained by adding a point at each puncture of M. Thus, \((\phi _n,\psi _n)\) can be considered as a sequence of Dirac-harmonic maps defined on \((M,h_n,c_n,\sigma )\).
In [28], the following generalized energy identities for Dirac-harmonic maps from degenerating surfaces were proved:
Theorem 1.1
Assumptions and notations as above. Then there exist at most finitely many blow-up points \(\{x_1,\ldots ,x_I\}\) which are away from the punctures \(\{(\epsilon ^{j,1},\epsilon ^{j,2}),j=1,2,\ldots ,p\}\) and finitely many Dirac-harmonic maps
-
\((\phi ,\psi ):(\overline{M},\overline{c},\overline{\sigma })\rightarrow N\), where \((\overline{M},\overline{c},\overline{\sigma })\) is the normalization of \((M,c,\sigma )\),
-
\((\sigma ^{i,l},\xi ^{i,l}):S^2\rightarrow N\), \(l=1,2,\ldots ,L_i\), near the blow-up point \(x_i\),
-
\((\omega ^{j,k},\zeta ^{j,k}):S^2\rightarrow N\), \(k=1,2,\ldots ,K_j\), near the j-th pair of punctures \((\epsilon ^{j,1},\epsilon ^{j,2})\),
such that after selection of a subsequence, \((\phi _n,\psi _n)\) converges to \((\phi ,\psi )\) in \(C^\infty _{loc}\times C^\infty _{loc}\) on \(M{\setminus } \{x_1,\ldots ,x_I\}\) and the following identities hold:
When the domain is fixed, it was shown in [19] that the images of the map parts of the weak limit and all the bubbles emerging from any blow-up point are connected, which is known as the no neck property. By slightly modifying the arguments in [19], it is easy to see that the same property holds if the domain surfaces are non-degenerating and stay in a compact region of the moduli space. Therefore, in Theorem 1.1, we know that the image \(\phi (M)\cup _{i=1}^I\cup _{l=1}^{L_i}\sigma ^{i,l}\) is a connected set, as the bubbles \((\sigma ^{i,l},\xi ^{i,l})\) occur at blow-up points that are away from the punctures.
In this paper, we shall explore the finer asymptotic behaviour of the Dirac-harmonic necks that appear near the nodes when the domain surfaces degenerate. It turns out that the map part of these Dirac-harmonic necks converge to geodesics in the target manifold (see Theorem 3.1). To achieve this, we need to carry out a refined neck analysis for Dirac-harmonic maps from long cylinders. Our first main result is the following:
Theorem 1.2
Under the assumptions and notations of Theorem 1.1, the images of \(\phi (M)\) and \(\omega ^{j,k}(S^2)\), \(k=1,\ldots ,K_j\), \(j=1,\ldots ,p\) are connected by geodesics on N. Moreover, for each \(j=1,\ldots ,p\), the asymptotic limit of the sum of the lengths of the geodesics appearing near the j-th pair of punctures is
Remark 1.3
In the above theorem, the length of each geodesic can be finite or infinite and a geodesic of zero length means that the map part of the corresponding neck is converging to a point in the target.
To prove Theorem 1.2, we need to establish a key lemma about the exponential decay along long cylinders of the tangential energies of both the map part and the spinor part. For the case of \(\psi _n\equiv 0\), i.e. when the \(\phi _n\) are harmonic maps, this is achieved in [7] where the authors used the ideas in [9] to derive a differential inequality on a long cylinder. However, this kind of technique requires the structure of a harmonic map type equation and cannot be applied to the Dirac equation. Instead, we shall apply the three circle theorem for Dirac-harmonic type systems developed in [19]. The idea is inspired from the work [21], which used a special case of the three circle theorem due to [25] to show that the tangential energy of the sequence on the long cylinder decays exponentially. To derive the exponential decay of the whole energy of spinor, we shall firstly conformally change the long cylinder to an annulus, then we apply a Hardy type inequality as in [11, 15] to obtain some differential inequality on this annulus.
According to Theorem 1.1, it is easy to see that the energy identities hold if and only if the following analytical condition is satisfied
A natural question then is whether we can exploit some geometric conditions to ensure that the limiting necks are some geodesics of finite length so that the energy identity follows immediately.
To achieve this, in analogy to the works on minimal hypersurfaces [23] and harmonic maps [18], we shall impose the assumptions that the Ricci curvature of the target manifold has a positive lower bound and the sequence of Dirac-harmonic maps has bounded Morse index (see Sect. 4). In the following, we state our second main result:
Theorem 1.4
Under the assumption of Theorem 1.1, suppose the Ricci curvature of the target manifold (N, g) has a positive lower bound, i.e. there exists a positive constant \(\lambda _0>0\) such that \(Ric_N\ge \lambda _0>0\) and assume the sequence \((\phi _n,\psi _n)\) has bounded index, then the limit of the map part of the necks consists of geodesics of finite length. Moreover, the energy identities hold, i.e.
We remark that a similar but more subtle and complicated analysis for \(\alpha \)-Dirac-harmonic maps was carried out in [15], that is, when the functional is perturbed in the sense of [22]. This problem naturally emerges in our context, because our existence scheme for Dirac-harmonic maps works with such a perturbation to control the asymptotic behavior of our elliptic-parabolic flow.
The rest of the paper is organized as follows. In Sect. 2, we shall review some geometric and analytic aspects of Dirac-harmonic maps. Then we establish the three circle theorem for Dirac-harmonic maps on long cylinders and derive the exponential decay of tangential energies of both the map and the spinor. In Sect. 3, we prove our main Theorem 1.2. In Sect. 4, we calculate the second variation formula for the functional L, provide the notion of index of Dirac-harmonic maps and then prove Theorem 1.4.
2 Preliminaries and some basic lemmas
In this section, we shall first recall the definition of Dirac-harmonic maps and some basic lemmas like the energy gap theorem, the small energy regularity theorem and so on. Then we will establish the three circle lemma for Dirac-harmonic maps on long cylinder which yields the energy exponential decay in the tangential direction.
Let \((M,h,\sigma )\) be a Riemann surface, equipped with a Riemannian metric h and with a fixed spin structure \(\sigma \), \(\Sigma M\) be the spinor bundle over M and \(\langle \cdot ,\cdot \rangle _{\Sigma M}\) be the metric on \(\Sigma M\) induced by the Riemannian metric h. Choosing a local orthonormal basis \({e_\alpha ,\alpha =1,2}\) on M, the usual Dirac operator is defined as , where \(\nabla \) is the spin connection on \(\Sigma M\). The usual Dirac operator on a surface can be seen as the Cauchy-Riemann operator. Consider \(\mathbb {R}^2\) with the Euclidean metric \(dx^2+dy^2\). Let \(e_1=\frac{\partial }{\partial x}\) and \(e_2=\frac{\partial }{\partial y}\) be the standard orthonormal frame. A spinor field is simply a map \(\psi :\mathbb {R}^2\rightarrow \Delta _2=\mathbb {C}^2\), and the action of \(e_1\) and \(e_2\) on spinors can be identified with multiplication with matrices
If \(\psi :=\begin{pmatrix}\psi _1 \\ \psi _2\end{pmatrix}:\mathbb {R}^2\rightarrow \mathbb {C}^2\) is a spinor field, then the Dirac operator is
where
For more details on spin geometry and Dirac operators, one can refer to [17].
Let \(\phi \) be a smooth map from M to another compact Riemannian manifold (N, g) with dimension \(n\ge 2\). Let \(\phi ^\star TN\) be the pull-back bundle of TN by \(\phi \) and then we get the twisted bundle \(\Sigma M\otimes \phi ^\star TN\). Naturally, there is a metric \(\langle \cdot ,\cdot \rangle _{\Sigma M\otimes \phi ^\star TN}\) on \(\Sigma M\otimes \phi ^\star TN\) which is induced from the metrics on \(\Sigma M\) and \(\phi ^\star TN\). Also we have a natural connection \(\widetilde{\nabla }\) on \(\Sigma M\otimes \phi ^\star TN\) which is induced from the connections on \(\Sigma M\) and \(\phi ^\star TN\). Let \(\psi \) be a section of the bundle \(\Sigma M\otimes \phi ^\star TN\). In local coordinates, it can be written as
where each \(\psi ^i\) is a usual spinor on M and \({\partial _{y^i}}\) is the nature local basis on N. Then \(\widetilde{\nabla }\) becomes
where \(\Gamma ^i_{jk}\) are the Christoffel symbols of the Levi-Civita connection of N. The Dirac operator along the map \(\phi \) is defined by .
We consider the following functional
The functional \(L(\phi ,\psi )\) is conformally invariant. That is , for any conformal diffeomorphism \(f:M\rightarrow M\), setting
Then \(L(\widetilde{\phi },\widetilde{\psi })=L(\phi ,\psi )\). Here \(\lambda \) is the conformal factor of the conformal map f, i.e. \(f^*h=\lambda ^2h\). Critical points \((\phi ,\psi )\) of the action functional L are called Dirac-harmonic maps from M to N.
The Euler–Lagrange equations of the functional L are
where \(R(\phi ,\psi )\) is defined by
Here \(R^m_{lij}\) stands for the Riemann curvature tensor of the target manifold (N, g).
By the Nash embedding theorem, we embed N into \(\mathbb {R}^K\). Then, the critical points \((\phi ,\psi )\) satisfy the Euler–Lagrange equations
where is the usual Dirac operator, A is the second fundamental form of N in \(\mathbb {R}^K\), and
Here \(P(\xi ;\cdot )\) denotes the shape operator, defined by \(\langle P(\xi ;X),Y\rangle =\langle A(X,Y),\xi \rangle \) for \(X,Y\in \Gamma (TN)\), and Re(z) denotes the real part of \(z\in \mathbb {C}\). We refer to [2, 6, 11, 24, 27] for more details.
Next, we recall some basic lemmas which will be used in this paper.
Lemma 2.1
(Lemma 3.4 in [28]). Let \((\phi ,\psi ):[T_1,T_2]\times S^1\rightarrow N\) be a Dirac-harmonic map. Then
is independent of \(t\in [T_1,T_2]\), where \(T(\phi ,\psi )\) is defined in (1.1).
Lemma 2.2
(Theorem 3.1 in [2]). Let M be a closed spin Riemann surface with a fixed spin structure and N be a compact Riemannian manifold. Then there is a small constant \(\epsilon _0>0\) such that if \((\phi ,\psi ):M\rightarrow N\) is a smooth Dirac-harmonic map satisfying
then \(\phi \) is a constant map and \(\psi \) is a tuple of harmonic spinors.
Lemma 2.3
(Theorem 3.2 in [2]). There is a small constant \(\epsilon _0>0\) such that if \((\phi ,\psi ):D\rightarrow N\) is a smooth Dirac-harmonic map where \(D\subset \mathbb {R}^2\) is the unit disk, satisfying
then
Lemma 2.4
(Theorem 4.6 in [3]). Let \((\phi ,\psi ):D{\setminus }\{0\}\rightarrow N\) be a smooth Dirac-harmonic map with finite energy \(E(\phi ,\psi ;D)\le \Lambda <\infty \), then \((\phi ,\psi )\) can be extended smoothly to the whole disk D.
Let \(L>0\) be a constant, denote \(P_i=[(i-1)L,iL]\times S^1\) and
Proposition 2.5
(Proposition 3.3 in [19]). Suppose \((u,v)\in C^\infty (P_{i-1}\cup P_i\cup P_{i+1})\) satisfy equations
with L is given and large. Then there exists a positive constant \(\delta _0\) such that if \(\Vert A^j\Vert _{L^\infty }\le \delta _0\), \(\Vert B^j\Vert _{L^\infty }\le \delta _0\) for \(j=1,\ldots ,6\) and
then
-
(a)
\(\Vert (u,v)\Vert _{L^2(P_{i+1})}\le e^{-\frac{1}{2}L}\Vert (u,v)\Vert _{L^2(P_i)}\) implies \(\Vert (u,v)\Vert _{L^2(P_i)}\le e^{-\frac{1}{2}L}\Vert (u,v)\Vert _{L^2(P_{i-1})}\);
-
(b)
\(\Vert (u,v)\Vert _{L^2(P_{i-1})}\le e^{-\frac{1}{2}L}\Vert (u,v)\Vert _{L^2(P_i)}\) implies \(\Vert (u,v)\Vert _{L^2(P_i)}\le e^{-\frac{1}{2}L}\Vert (u,v)\Vert _{L^2(P_{i+1})}\);
-
(c)
either \(\Vert (u,v)\Vert _{L^2(P_i)}\le e^{-\frac{1}{2}L}\Vert (u,v)\Vert _{L^2(P_{i+1})}\) or \(\Vert (u,v)\Vert _{L^2(P_i)}\le e^{-\frac{1}{2}L}\Vert (u,v)\Vert _{L^2(P_{i-1})}\).
Lemma 2.6
(Lemma 3.1 in [19]). Suppose \((u,v)\in C^\infty ([-2,2]\times S^1)\) satisfy (2.7)–(2.8). Assume \(A^j,B^j\in C^\infty ([-2,2]\times S^1)\), \(j=1,\ldots ,6\) and \(\sum _{j=1}^6\Vert A^j\Vert _{L^\infty }+\sum _{j=1}^6\Vert B^j\Vert _{L^\infty }\le C<\infty \), then
In the end of this section, we derive the exponential decay of the tangential energy on the long cylinder. Set
Lemma 2.7
Let N be a compact Riemannian manifold. Let \((\phi _n,\psi _n):[-T_n,T_n]\times S^1\rightarrow N\) be a sequence of Dirac-harmonic maps with uniformly bounded energy
where \([-T_n,T_n]\times S^1\) is a cylinder with standard flat metric \(ds^2=dt^2+d\theta ^2\) and \(T_n\rightarrow \infty \) as \(n\rightarrow \infty \).
If there is no energy concentration for \((\phi _n,\psi _n)\), then for any fixed \(k>0\) and for any \(t_n\in [-T_n+T+k, T_n-T-k]\), when n and T are sufficiently large, there holds
where \(\lim _{T\rightarrow \infty }\lim _{n\rightarrow \infty }o(n,T)=0\) and \(C=C(L)\) is a positive constant, L is the positive constant in Proposition 2.5.
Proof
The idea is similar to the argument in the proof of Theorem 1.4 in [19]. Since there is no energy concentration for \((\phi _n,\psi _n)\), by a standard contradiction argument in [10, 26], we have
This means that for any \(\epsilon >0\), there exist two positive integers \(T_\epsilon \) and \(N_\epsilon \) which are large enough such that when \(n\ge N_\epsilon \), there holds
Now, by (2.10) and Lemma 2.3, we have that for any small \(\epsilon >0\), when n and T are large enough, there holds
Denote
and
by a direct computation as in [19], we can prove that (u, v) satisfy Eqs. (2.7)–(2.8) (see equations (3.17) and (3.18) in [19]). Moreover, using the estimate (2.11), (u, v) satisfy the conditions in Proposition 2.5 (see also [19] for details).
For simplicity of notations, we also set
where \(L>0\) is a constant in Proposition 2.5. Without loss of generality, we may assume
where \(k_n\) is a positive integer which goes to infinity as \(n\rightarrow \infty \).
By (c) of Proposition 2.5, we obtain
Then, using the (a) and (b) of Proposition 2.5, by iterating, we have
This yields
Applying the interior estimates Lemma 2.6, we get
and
Then it is easy to see that the conclusion of the lemma follows immediately from the above decay estimates. In fact, there exist two positive integers \(i_1,i_2\), such that \(1\le i_1\le i_2\le k_n\) and
According to (2.14) and (2.15), we have
Lastly, by (2.11), it is easy to see that
We finished the proof of the lemma. \(\square \)
As a corollary of the above lemma, we have
Lemma 2.8
Let N be a compact Riemannian manifold. Let \((\phi _n,\psi _n):[-T_n,T_n]\times S^1\rightarrow N\) be a sequence of Dirac-harmonic maps with uniformly bounded energy
where \([-T_n,T_n]\times S^1\) is a cylinder with standard flat metric \(ds^2=dt^2+d\theta ^2\) and \(T_n\rightarrow \infty \) as \(n\rightarrow \infty \).
Suppose there is no energy concentration for \((\phi _n,\psi _n)\), then there hold
-
(1)
if \(\lim _{n\rightarrow \infty }|Re\ \alpha (\phi _n,\psi _n)|T_n=0\), then
$$\begin{aligned}\lim _{T\rightarrow \infty }\lim _{n\rightarrow \infty }E\big (\phi _n,\psi _n;[-T_n+T,T_n-T]\times S^1\big )=0;\end{aligned}$$ -
(2)
if \(\lim _{n\rightarrow \infty }\sqrt{|Re\ \alpha (\phi _n,\psi _n)|}T_n=0\), then
$$\begin{aligned}\lim _{T\rightarrow \infty }\lim _{n\rightarrow \infty }Osc_{[-T_n+T,T_n-T]\times S^1}\phi _n=0.\end{aligned}$$
Proof
Noting that
and
by Lemma 2.1, we have
We recall the notation
and without loss of generality, we assume \(2(T_n-T)=k_nL\) where L is the positive constant in Proposition 2.5 and \(k_n\) is a positive integer which will go to infinity as \(n\rightarrow \infty \).
By Lemma 2.7, we get
Similarly,
Combining (2.16) with (2.17) and (2.18), we obtain
In order to prove
taking a cut-off function \(\eta \in C^\infty _0((-T_n+T,T_n-T)\times S^1)\) such that
by the elliptic estimates for the Dirac operator, we have
where we used the Hölder inequality in the last estimate. Then (2.20) follows immediately from (2.19) and (2.10). Thus, we proved the statement (1) of the lemma.
For the statement (2), similar to the argument in (2.16), we may obtain
where the last inequality follows from (2.14) and (2.15).
Combining this with Lemma 2.3, we get
Therefore,
Then the conclusion of statement (2) follows immediately and we finished the proof of this lemma. \(\square \)
3 Convergence to geodesics
In this section, we will prove our main Theorem 1.2.
In fact, in [28], it was shown that the energy concentration at the nodes can be reduced to the study of the asymptotic behaviour of a sequence of Dirac-harmonic maps from long cylinders. Therefore, we just need to study the following problem:
Let \(P_n=[-T_n,T_n]\times S^1\) with standard metric \(ds^2=dt^2+d\theta ^2\) and \(T_n\rightarrow \infty \) as \(n\rightarrow \infty \). Given a sequence of Dirac-harmonic maps \((\phi _n,\psi _n)\) from \(P_n\) to N with uniformly bounded energy \(E(\phi _n,\psi _n)\le \Lambda <\infty \), which satisfies
and
does \(\phi _n\) converges to a geodesic? If so, how to compute the lengths of these curves?
Denote
Now, we state the main theorem in this section.
Theorem 3.1
Let N be a compact Riemannian manifold. Let \((\phi _n,\psi _n):[-T_n,T_n]\times S^1\rightarrow N\) be a sequence of Dirac-harmonic maps with uniformly bounded energy
where \([-T_n,T_n]\times S^1\) is a cylinder with standard flat metric \(ds^2=dt^2+d\theta ^2\) and \(T_n\rightarrow \infty \) as \(n\rightarrow \infty \). Suppose that
and
if there is no energy concentration for \((\phi _n,\psi _n)\), then we have
-
(1)
when \(0\le \mu <\infty \), \(\phi _n\) converges to a geodesic of length \(\sqrt{\frac{2}{\pi }}\mu \);
-
(2)
when \(\mu =\infty \), the neck contains at least an infinite length geodesic.
To show Theorem 3.1, we shall first prove some lemmas.
Lemma 3.2
Under the assumption of Theorem 3.1, let \(\lambda \in (0,1)\) and
then for any \(t_n\in [-\lambda T_n,\lambda T_n]\) and \(k>0\), we have
Proof
By Lemma 2.7, we have
Since \(\mu >0\), when n is big enough, there holds
Thus,
Letting \(n\rightarrow \infty \) and then \(T\rightarrow \infty \), we will get the conclusion of the lemma. \(\square \)
From the above proof, it is easy to see that a stronger property holds.
Remark 3.3
Under the assumption of Lemma 3.2, there holds
for any positive integer r.
Next, we will show that there is no concentration for some stronger energy norm of the spinor part. The proof is based on applying some Hardy-type inequality on \(\mathbb {R}^2\), as was done in [11, 15].
Lemma 3.4
Under the assumption of Theorem 3.1, there holds
Proof
The key of the proof is the Hardy-type inequality on \(\mathbb {R}^2\) that for any \(f\in C_0^\infty (\mathbb {R}^2{\setminus } \{0\})\), there holds
where the constant 1 is the best possible constant (for a simple proof, see [1]).
Firstly, we introduce a new coordinate system. Let \((r,\theta )\) be polar coordinates centered at 0. Let \(F:\mathbb {R}^1\times S^1\rightarrow \mathbb {R}^2\), \(F(t,\theta )=(e^{t},\theta )\) \((t,\theta )\in \mathbb {R}^1\times S^1\) where \(\mathbb {R}^1\times S^1\) is equipped with the metric \(g=dt^2+d\theta ^2\), which is conformal to the standard Euclidean metric \(ds^2\) on \(\mathbb {R}^2\). In fact,
For convenience, we will respectively denote
Denoting \(T_0:=-T_n+T\), \(T_1:=T_n-T\), then \(D_{e^{T_n-T}}{\setminus } D_{e^{-T_n+T}}\) changes to \(\Sigma :=[T_0,T_1]\times S^1\) and \((\Phi _n,\Psi _n):D_{e^{T_n-T}}{\setminus } D_{e^{-T_n+T}}\rightarrow N\) is also a Dirac-harmonic map.
We choose the cut-off function \(\eta \in C_0^\infty (D_{e^{T_n-T}}{\setminus } D_{e^{-T_n+T}})\) such that \(0\le \eta \le 1\) and \(\eta \equiv 1\) on \(D_{e^{T_n-T-1}}{\setminus } D_{e^{-T_n+T+1}}\) and
Taking \(f=\eta |\Psi _n|^2\) in the inequality (3.5), we get
On the one hand, from the equation or spinor and conformal invariance, we know
So, we have
On the other hand, by inequality (2.11), we have
Combining these, we get
Since we can take \(\epsilon \) sufficiently small, we then have
where we used (2.10) and (2.15).
Thus,
Combining this with (2.10) again, we have
\(\square \)
Combing Lemma 3.4 with the Hardy type inequality (3.5), we shall derive the exponential decay of the energy of spinor part on the neck region.
Lemma 3.5
Under the assumption of Theorem 3.1, then we have
which implies
Proof
Define
for any \(t_0\in (1,k_n)\) and \(0\le t\le \min \{t_0,k_n-t_0\}\).
For any \(\rho >0\), taking the cut-off function \(\eta \in C_0^\infty (D_{e^{(t_0+t)L}e^{-T_n+T}+\rho }{\setminus } D_{e^{(t_0-t)L}e^{-T_n+T}-\rho })\) such that \(0\le \eta \le 1\) and \(\eta \equiv 1\) on \(D_{e^{(t_0+t)L}e^{-T_n+T}}{\setminus } D_{e^{(t_0-t)L}e^{-T_n+T}}\) and \(|\nabla \eta |\le \frac{2}{\rho }\). Taking \(f=\eta |\Psi _n|^2\) in the Hardy inequality (3.5) and by (3.8), we get
Taking \(\epsilon >0\) sufficiently small such that \(C\epsilon \le \frac{1}{2}\), we have
where \(\rho \) is small and the last inequality is from Lemma 2.7.
Letting \(\rho \rightarrow 0\), we get
This is
Without loss of generality, we may assume \(t_0\le k_n-t_0\). Then, integrating the above differential inequality from 1 to \(t_0\), we get
where the second equality follows from Lemma 3.4 since
In the case of \(k_\alpha -t_0\le t_0\), we can apply similar arguments to get
Thus, we have proved (3.9). The estimate (3.10) is a consequence of (3.9) and (2.11). \(\square \)
Lemma 3.6
Under the assumption of Theorem 3.1, let \(\mu >0\) and \(\lambda \in (0,1)\), then there hold
Proof
We first prove (3.14). In fact, for any \(t\in [-\lambda T_n,\lambda T_n]\times S^1\) and \(k>0\), by Lemmas 2.3 and 3.5, we have
Noting that \(\mu >0\), when n is big enough, there holds
Then, we get
which implies (3.14) since \(\lambda \in (0,1)\).
For (3.13), we prove it by a contradiction argument which is similar to the proof of Lemma 2.7 in [7].
If it was false, then there would exist \(t_n\in [-\lambda T_n,\lambda T_n]\) and \(\theta _n\in [0,2\pi ]\) such that
By (2.21), for any \(t\in [-\lambda T_n,\lambda T_n]\times S^1\) and \(k>0\), when n is big enough, we have
Combining this with (3.15) and (3.17), since \(\lambda \in (0,1)\), when n is sufficiently large, we get
By small energy regularity Lemma 2.3, we obtain that for any \(\beta \in (0,1)\), there holds
Setting
then from (3.19), it is easy to see that
Combining this with the fact that \(u_n(0,0)=0\), we have
Noting that \(|\psi _n|\le C|Re\ \alpha (\phi _n,\psi _n)|\), it is easy to prove that \(u_n\) satisfies the following equation
Therefore, we know that after passing to a subsequence, there holds
where u is a harmonic function, i.e. \(\Delta u=0\).
Moreover, by Lemma 3.2, we get
Thus, we know that the harmonic function u must be of the form
where \(\overrightarrow{a}=(a^1,\ldots ,a^K)\in T_yN\). Let \(\lim _{n\rightarrow \infty }\theta _n=\theta _0\), then it is obvious that
However, by (3.16), we have
which is a contradiction. So, (3.13) holds and we finished the proof of the lemma. \(\square \)
Lemma 3.7
Under the assumptions of Theorem 3.1, let \(\mu >0\) and \(\lambda \in (0,1)\), then there holds
Proof
In fact, if (3.21) does not hold, then there exist \(t_n\in [-\lambda T_n,\lambda T_n]\) and \(\theta _n\in [0,2\pi ]\) such that
By similar argument as in the proof of Lemma 3.6, we may assume
where
with \(|\overrightarrow{a}|=d\). Then,
On the other hand, by Lemmas 2.1 and 3.2, we have
Combining (3.23) with (3.22), we get
which is also a contradiction. Thus, (3.21) holds and we finished the proof of this lemma. \(\square \)
Now, with the help of the previous lemmas, we can prove Theorem 3.1.
Proof of Theorem 3.1
When \(\mu =0\), then the conclusions of Theorem 3.1 follow immediately from Lemma 2.8. We just need to consider the case that \(\mu >0\).
Denote
where \(t\in [-\lambda T_n,\lambda T_n]\), \(\lambda \in (0,1)\).
By Lemma 2.3, it is easy to see that \(\gamma _n\) converges to some curve on N denoted by \(\gamma \). Next, we will show that \(\gamma \) is just a geodesic on N.
Denoting
by a direct computation, we have
Let s be the arc length parameter of \(\phi _n^*(t)\), i.e.
where \(t_0\in [-\lambda T_n,\lambda T_n]\). Without loss of generality, we assume \(s(t_0)=0\). By Lemmas 3.6 and 3.7, for any \(\lambda \in (0,1)\), we have
as \(n\rightarrow \infty \). Thus, there exists \(\lambda '\in (\lambda , 1)\) such that
whenever \(s\in (0,\frac{\lambda \mu }{\sqrt{2\pi }})\).
Computing directly, we obtain
On the one hand, by Lemmas 3.6, 3.7 and using the fact that
we have
as \(n\rightarrow \infty \).
On the other hand, also from Lemmas 3.6 and 3.7, it is easy to see that
as \(n\rightarrow \infty \).
Therefore, we obviously see that
Thus, \(\phi _n^*(s)\) will converge locally to a smooth vector valued function from [0, s] into \(\mathbb {R}^K\), denoted by \(\omega (s)\), in the sense of \(C^1\), i.e. \(\gamma _n|_{[-\lambda T_n,\lambda T_n]}\) converges locally to the curve \(\gamma \). Next, we will show that \(\gamma \) is a geodesic.
By Lemmas 3.6 and 3.7, we obtain
Combining (3.24) with (3.25), (3.26) and (3.27), we have
which implies
Therefore, we get that the Dirac-harmonic neck converges to a geodesic \(\gamma \) on the target manifold N.
Finally, we compute the length of the geodesic. We consider the following two cases.
Case 1: \(\mu <\infty \).
Suppose \(i_1\in [1,k_n]\) is a positive integer such that
By (2.22), there holds
Similarly,
Therefore, we get
Combining this with Lemma 3.6, the length of the limit geodesic is
Case 2: \(\mu =\infty \).
In this case, from the above argument, it is easy to see that the neck contains at least an infinite length geodesic. \(\square \)
In the end of this section, we give the proof of Theorem 1.2.
Proof of Theorem 1.2
By Theorem 3.1, we know that the images of the base map \(\phi (M)\) and the bubbles \(\omega ^{j,k}(S^2)\), \(k=1,\ldots ,K_j\), \(j=1,\ldots ,p\) are connected by geodesics on N. Next, we compute the sum of the lengths of these geodesics. By [28], the energy concentration at the punctures can be reduced to the study of \((\phi _n,\psi _n)\) on the long cylinders \(P_n=[T_n^1,T_n^2]\times S^1\) with uniformly bounded energy \(E(\phi _n,\psi _n;P_n)\le \Lambda \), where \(1\ll T_n^1\ll T_n^2\), i.e.
Moreover, there exists a constant \(K>0\) independent of n and 2K sequences \(\{a_n^1\}\), \(\{b_n^1\}\), \(\{a_n^2\}\), \(\{b_n^2\}\),..., \(\{a_n^K\}\), \(\{b_n^K\}\), such that
and \((b_n^i-a_n^i)\ll T_n^2\), i.e.
Denote
Then
(1) \(\forall i=0,1,\ldots ,K\),
The maps \(\phi _n\) on \(I_n^i\) are necks corresponding to collapsing homotopically nontrivial curves.
(2) \(\forall j=0,1,\ldots ,K\), there are finitely many Dirac-harmonic maps \((\sigma ^{j,l}\xi ^{j,l}):S^2\rightarrow N\), \(l=1,\ldots , L_j\), such that
By Theorem 3.1, we know that map parts \(\phi _n\) on \(I_n^i\) are converging to the geodesics on N of length
and the spinor parts \(\psi _n\) on \(I_n^i\) are converging to 0. By applying the neck analysis for Dirac-harmonic maps from a fixed domain in [19], the maps \(\phi _n\) on \(J_n^j\) are converging to a point, i.e., we get the no neck property. Thus, the maps \(\phi _n\) on the whole cylinder \(P_n\) converge to some geodesics on N. The sum of the lengths of these geodesics can be calculated as follows:
which implies the conclusions of the theorem immediately. \(\square \)
4 Proof of Theorem 1.4
In this section, we shall calculate the second variation formula for the functional L and define the notion of index of Dirac-harmonic maps. Similar calculation and definition for \(\alpha \)-Dirac-harmonic maps were given in [15]. Then, in analogy to [18], we shall give some geometric conditions on the target manifold which ensures that the energy identities hold for Dirac-harmonic maps from degenerating surfaces with bounded index.
Let \((\phi ,\psi ):M\rightarrow N\) be a Dirac-harmonic map. \(\phi ^{*}(TN)\) is the pull-back bundle over M. Let V be a section of L. Consider the following variation of \((\phi ,\psi )\):
It is well-known that the following second variational formula for the energy of the map holds [22]
where \(\tau (\phi )=\Delta \phi -A(\phi )(d\phi ,d\phi )\) is the tension field of the map \(\phi \).
Next, we compute
Choosing a local orthonormal basis \(\{e_\alpha \}\) on M such that \([e_\alpha ,\frac{\partial }{\partial \tau }]=0\), \(\nabla _{e_\alpha }e_\beta =0\) at a considered point, then we have
and
Noting that
we have
Combining these and using the equation , we get
By the fact that \(\tau (\phi )=R(\phi ,\psi )\) and
we obtain the following proposition:
Proposition 4.1
Let \((\phi ,\psi ):M\rightarrow N\) be a Dirac-harmonic map and V be a smooth section of \(\phi ^*TN\). Then the second variational formula of the functional \(L(\phi ,\psi )\) with respect to the variations (4.1) is
Definition 4.2
Let \(\Gamma (\phi ^*TN)\) denote the linear space of smooth sections of \(\phi ^*TN\). The index of \((\phi ,\psi )\) is defined as the maximal dimension of a linear subspace \(\Xi \) of \(\Gamma (\phi ^*TN)\) on which the second variation of L with respect to the variations (4.1) is negative, i.e., for any \(V\in \Xi \subset \Gamma (\phi ^*TN)\), there holds
Before giving the proof of Theorem 1.4, we first prove the following theorem.
Theorem 4.3
Let N be a compact Riemannian manifold. Let \((\phi _n,\psi _n):[-T_n,T_n]\times S^1\rightarrow N\) be a sequence of Dirac-harmonic maps with uniformly bounded energy
where \([-T_n,T_n]\times S^1\) is a cylinder with standard flat metric \(ds^2=dt^2+d\theta ^2\) and \(T_n\rightarrow \infty \) as \(n\rightarrow \infty \). Suppose there is no energy concentration for \((\phi _n,\psi _n)\), if \(\mu =\infty \) and \(Ric_N\ge \lambda _N>0\), then the index of \((\phi _n,\psi _n)\) tends to infinity.
Since \(\text{ Ric }_N\ge \lambda _0>0\), by the well-known Myers’s theorem, we know that, if
then there exists a tangent vector field \(V_0(s)\) on N, which is smooth on \(\gamma \), and is vanishing on \(\gamma |_{[0,\epsilon ]}\) and \(\gamma |_{[a-\epsilon ,a]}\), such that the second variation of length of \(\gamma \) satisfies
Recalling the curve
let \(s=s(t)\) be the arc-length parametrization of the curve \(\phi _n^*(t)\) with \(s(0)=0\). Set \(s(t_n^a)=a\), by results in Sect. 3, we know that \(\phi _n^*(s)\) converges to \(\gamma \) on [0, a]. Moreover, according to Lemma 3.7, we have
which implies
Lemma 4.4
Under the assumptions of Theorem 4.3, for sufficiently large n, there exists a section \(V_n\) of \(\phi _{n}^*(TN)\), which is supported in \([0,t_n^a]\), such that
Proof
Let P be projection from \(T\mathbb {R}^K\) to TN. We define
where s is the arc-length parametrization of \(\phi _{n}^*(t)\) with \(s(0)=0\). Then, it is easy to see that \(V_n\) is a smooth section of \(\phi _{n}^{*}(TN)\) which is supported in \([0,\, t_k^a]\times S^1\). Since \(\phi _n(s,\theta )\rightarrow \gamma (s)\) in \(C^1([0,a]\times S^1)\), we have
Next, we will show
By Proposition 4.1, we have
On one hand, using (4.3), it is easy to see that
On the other hand, we get
Noting
we infer from Lemma 3.7
For the term \(\mathbf {I}_2\), we have
For any given \(T>0\), we set
which tends to infinity as \(n\rightarrow \infty \). By (4.3), there holds
Hence, it follows that
In view of Lemma 3.2, we conclude that
Immediately, it follows that
Hence, for n large enough, we have the desired inequality
Thus, we complete the proof of this lemma. \(\square \)
Proof of Theorem 4.3
Since \(\mu =\infty \), then Theorem 3.1 tells us that the limit of the neck contains a geodesic of infinite length. For given \(t_0\), by Lemma 2.7, we can always choose a suitable positive constant \(t_n^1\) such that, when n is large enough, the arc length a of \(\phi ^*_n(t)\) on \([t_0,t_0+t_n^1]\) satisfies
Therefore, by Lemma 4.4, there exists a section \(V^1_n\) of \(\phi _n^{*}(TN)\), which is 0 outside \([t_0,t_0+t_n^1]\times S^1\), satisfying
By the same method, for \(t_1=t_0+t_n^1\), we can also pick \(t_n^2>0\) and construct a section \(V_n^2\), which is 0 outside \([t_1,t_1+t_n^2]\times S^1\), such that
Since the limit of the neck contains a geodesic of infinite length, then, when n is sufficiently large, there exist \(i_n\) with \(i_n\rightarrow \infty \) such that we can construct via the same way as above a series of sections \(\{V_n^3, V_n^4, \ldots , V_n^{i_n}\}\) satisfying that for any \(1\le i\le i_n\) there holds
Obviously, \(V_n^1\), \(V_n^2\), \(\ldots \), \(V_n^{i_n}\) are linearly independent. This means that the index of \((\phi _n,\psi _n)\) tends to infinity as \(n\rightarrow \infty \). Thus, we complete the proof of the theorem. \(\square \)
Now, we prove Theorem 1.4.
Proof of Theorem 1.4
By Theorem 4.3, we know that the limit of \(\phi _n\) on a neck domain consists of finite length geodesics. By [28], we can reduce the energy concentration at the nodes to the study of the asymptotic behaviour of a sequence of Dirac-harmonic maps from long cylinders \([-T_n,T_n]\times S^1\) as stated in Theorem 3.1. Moreover, according to Theorem 3.1, we have \(\mu <\infty \) which implies \(\lim _{n\rightarrow \infty }|Re\ \alpha (\phi _n,\psi _n)|T_n=0\). Then energy identities follow immediately from Lemma 2.8. The proof is finished. \(\square \)
Change history
25 September 2019
Unfortunately, the affiliation “Max Planck Institute for Mathematics in the Sciences” has not been added to the corresponding author Dr. Miaomiao Zhu in the author group. Now, the affiliation is included and the correct author group is given below.
References
Balinsky, A., Evans, W.: Some recent results on Hardy-type inequalities. Appl. Math. Inf. Sci. 4(2), 191–208 (2010)
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., 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., Sun, L., Zhu, M.: Dirac-geodesics and their heat flows. Calc. Var. Partial Differ. Equ. 54(3), 2615–2635 (2015)
Chen, Q., Jost, J., Wang, G., Zhu, M.: The boundary value problem for Dirac-harmonic maps. J. Eur. Math. Soc. (JEMS) 15(3), 997–1031 (2013)
Chen, L., Li, Y., Wang, Y.: The refined analysis on the convergence behavior of harmonic map sequence from cylinders. J. Geom. Anal. 22(4), 942–963 (2012)
Chen, J., Tian, G.: Compactification of moduli sapce of harmonic mappings. Comment. Math. Helv. 74, 201–237 (1999)
Ding, W.: Lectures on heat flow of harmonic maps. Lecture notes at CTS, NTHU, Taiwan (1998)
Ding, W., Tian, G.: Energy identity for a class of approximate harmonic maps from surfaces. Commun. Anal. Geom. 3(3–4), 543–554 (1995)
Jost, J., Liu, L., Zhu, M.: Geometric analysis of the action functional of the nonlinear supersymmetric sigma model. MPI MIS Preprint: 77/2015
Jost, J., Liu, L., Zhu, M.: A global weak solution of the Dirac-harmonic map flow. Ann. Inst. H. Poincare Anal. Non Lineaire 34(7), 1851–1882 (2017)
Jost, J., Liu, L., Zhu, M.: Blow-up analysis for approximate Dirac-harmonic maps in dimension 2 with applications to the Dirac-harmonic heat flow. Calc. Var. Partial Differ. Equ. 56(4), 26 (2017)
Jost, J., Liu, L., Zhu, M.: Energy identity for a class of approximate Dirac-harmonic maps from surfaces with boundary. Ann. Inst. H. Poincare Anal. Non Lineaire 36(2), 365–387 (2019)
Jost, J., Liu, L., Zhu, M.: Geometric analysis of a mixed elliptic-parabolic conformally invariant boundary value problem. MPI MIS Preprint 41/2018
Jost, J., Zhou, C., Zhu, M.: Vanishing Pohozaev constant and removability of singularities. J. Differ. Geom. 111(1), 91–144 (2019)
Lawson, H., Michelsohn, M.: Spin Geometry, vol. 38. Princeton University Press, Princeton (1989)
Li, Y., Liu, L., Wang, Y.: Blow-up behavior of harmonic maps with finite index. Calc. Var. Partial Differ. Equ. 56(5), 16 (2017)
Liu, L.: No neck for Dirac-harmonic maps. Calc. Var. Partial Differ. Equ. 52(1–2), 1–15 (2015)
Parker, T.H.: Bubble tree convergence for harmonic maps. J. Differ. Geom. 44, 595–633 (1996)
Qing, J., Tian, G.: Bubbling of the heat flows for harmonic maps from surfaces. Commun. Pure Appl. Math. 50(4), 295–310 (1997)
Sacks, J., Uhlenbeck, K.: The existence of minimal immersions of 2-spheres. Ann. Math. 113, 1–24 (1981)
Sharp, B.: Compactness of minimal hypersurfaces with bounded index. J. Differ. Geom. 106(2), 317–339 (2017)
Sharp, B., Zhu, M.: Regularity at the free boundary for Dirac-harmonic maps from surfaces. Calc. Var. Partial Differ. Equ. 55(2), 55:27 (2016)
Simon, L.: Asymptotics for a class of nolinear evolution equations with applications to geometric problems. Ann. Math. 118, 525–571 (1983)
Zhao, L.: Energy identities for Dirac-harmonic maps. Calc. Var. Partial Differ. Equ. 28(1), 121–138 (2007)
Zhu, M.: Regularity of weakly Dirac-harmonic maps to hypersurfaces. Ann. Glob. Anal. Geom. 35(4), 405–412 (2009)
Zhu, M.: Dirac-harmonic maps from degenerating spin surfaces. I. The Neveu-Schwarz case. Calc. Var. Partial Differ. Equ. 35(2), 169–189 (2009)
Zhu, M.: Harmonic maps from degenerating Riemann surfaces. Math. Z. 264(1), 63–85 (2010)
Acknowledgements
Open access funding provided by Max Planck Society.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Malchiodi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
M. Zhu was supported in part by National Natural 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., Liu, L. & Zhu, M. Asymptotic analysis for Dirac-harmonic maps from degenerating spin surfaces and with bounded index. Calc. Var. 58, 142 (2019). https://doi.org/10.1007/s00526-019-1557-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-019-1557-5