Magnetic Dirac-harmonic maps (Q2260498)

Let \(M\) be a closed Riemannian spin surface with spin bundle \(\Sigma M\), \(N\) a closed manifold of dimension \(n\geq 3\), \(\phi:M\to N\) is a map and let \(\psi\) be a vector spinor, a section of the twisted bundle \(\Sigma M\otimes \phi^{-1}T N\). A magnetic Dirac-harmonic map is a critical point of the energy functional \(E_B(\phi,\psi)=\frac{1}{2}\int_M(|d\phi|^2+(\psi,D\!\!\!\!/)+2\phi^{-1}B)\), where \(D\!\!\!\!/\) is the twisted Dirac operator and \(B\) is a two-form on \(N\). In Section 2, using the Euler-Lagrange equation for \(\phi\), the equation of critical points of \(E_B\) is derived (Proposition 2.1, cf. (1.4) and (1.5)). The author says that the nonlinearity of this equation is worse than the nonlinearity of the harmonic map equation, but it already arises as part of the supersymmetric sigma model [\textit{C. M. Hull, C. Papalopoulos} and \textit{P. K. Townsend}, ``Potential for \((p,0)\) and \((1,1)\) supersymmetric sigma model with torsion'', Phys. Lett. B 316, 291--297 (1993; \url{doi:10.1016/0370-2693(93)90327-E})]. For both harmonic/Dirac-harmonic maps from a surface, there exists a holomorphic quadratic differential, the so-called Hopf differential. Its analogue for magnetic Dirac-harmonic maps is presented in Section 3 by introducing the energy momentum tensor (Definition 3.2, Proposition 3.4). In Section 4, the last one, weak magnetic harmonic maps are defined (Definition 4.1) and regularity of weak magnetic harmonic maps is shown (Theorem 4.6 and Corollary 4.7, cf. [\textit{Q. Chen} et al., Math. Z. 251, No. 1, 61--84 (2005; Zbl 1091.53042)]). Then it is shown that if \((\phi,\psi)\) is a magnetic Dirac-harmonic map on \(U\setminus\{p\}\) and has finite energy, then \((\phi,\psi)\) is extended to a magnetic Dirac-harmonic map on \(U\) (Theorem 4.4 on removable singularity). These are the main results of the paper.