For an arbitrary Dirac-harmonic map $(ϕ,ψ)$ between compact oriented Riemannian surfaces, we shall study the zeros of $|ψ|$. With the aid of Bochner-type formulas, we explore the relationship between the order of the zeros of $|ψ|$ and the genus of $M$ and $N$. On the basis, we could clarify all of nontrivial Dirac-harmonic maps from $S^2$ to $S^2$.
$α$-Dirac-harmonic maps are variations of Dirac-harmonic maps, analogous to $α$-harmonic maps that were introduced by Sacks-Uhlenbeck to attack the existence problem for harmonic maps from surfaces. For $α>1$, the latter are known to satisfy a Palais-Smale condtion, and so, the technique of Sacks-Uhlenbeck consists in constructing $α$-harmonic maps for $α>1$ and then letting $α\to 1$. The extension of this scheme to Dirac-harmonic maps meets with several difficulties, and in this paper, we start attacking those. We first prove the existence of nontrivial perturbed $α$-Dirac-harmonic maps when …
We study the existence of harmonic maps and Dirac-harmonic maps from degenerating surfaces to non-positive curved manifold via the scheme of Sacks and Uhlenbeck. By choosing a suitable sequence of $α$-(Dirac-)harmonic maps from a sequence of suitable closed surfaces degenerating to a hyperbolic surface, we get the convergence and a cleaner energy identity under the uniformly bounded energy assumption. In this energy identity, there is no energy loss near the punctures. As an application, we obtain an existence result about (Dirac-)harmonic maps from degenerating (spin) surfaces. If the energie…
The heat flow for Dirac-harmonic maps on Riemannian spin manifolds is a modification of the classical heat flow for harmonic maps by coupling it to a spinor. It was introduced by Chen, Jost, Sun, and Zhu as a tool to get a general existence program for Dirac-harmonic maps. For source manifolds with boundary they obtained short time existence and the existence of a global weak solution was established by Jost, Liu, and Zhu. We prove short time existence of the heat flow for Dirac-harmonic maps on closed manifolds.
In a previous paper, we showed that any Jacobi field along a harmonic map from the 2-sphere to the complex projective plane is integrable (i.e., is tangent to a smooth variation through harmonic maps). In this paper, in contrast, we show that there are (non-full) harmonic maps from the 2-sphere to the 3-sphere and 4-sphere which have non-integrable Jacobi fields. This is particularly surprising in the case of the 3-sphere where the space of harmonic maps of any degree is a smooth manifold, each map having image in a totally geodesic 2-sphere.
The spaces of harmonic maps of the projective plane to the four-dimensional sphere are investigated in this paper by means of twistor lifts. It is shown that such spaces are empty in case of even harmonic degree. In case of harmonic degree less than 6 it was shown that such spaces are path-connected and an explicit parameterization of the canonical representatives was found. In addition, the last section summarizes known results for harmonic maps of the two-dimensional sphere to the four-dimensional sphere of harmonic degree less than 6.
We study the growth of harmonic functions on complete Riemann-ian manifolds where the extrinsic diameter of geodesic spheres is sublinear. It is an generalization of a result of A. Kazue. We also get a Cheng and Yau estimates for the gradient of harmonic functions.
We study the existence or not of harmonic diffeomorphisms between certain domains in the Euclidean 2-sphere. In particular, we show harmonic diffeomorphisms from circular domains in the complex plane onto finitely punctured spheres, with at least two punctures. This result follows from a general existence theorem for maximal graphs in the Lorentzian product $M\times\mathbb{R}_1,$ where $M$ is an arbitrary $n$-dimensional compact Riemannian manifold, $n\geq 2.$ In contrast, we show that there is no harmonic diffeomorphism from the unit complex disc onto the once punctured sphere and no harmonic…
J. Eells and L. Lemaire introduced k-harmonic maps, and Wang Shaobo showed the first variational formula. When, k=2, it is called biharmonic maps (2-harmonic maps). There have been extensive studies in the area. In this paper, We study k-harmonic immersion into a sphere, and get the rerationship between radious and "k" of k-harmonic. And we also consider k-harmonic submersion, and genelarize Oniciuc's results. Futhermore we construct non harmonic k-harmonic by Hopf map.
Dirac-harmonic maps $(f,ϕ)$ consist of a map $f:M\to N$ and a twisted spinor $ϕ\inΓ(ΣM\otimes f^*TN)$ and they are defined as critical points of the super-symmetric energy functional. A Dirac-harmonic map is called \emph{uncoupled}, if $f$ is a harmonic map. We show that under some minimality assumption Dirac-harmonic maps defined on a closed domain are uncoupled.
Making use of Murakami's classification of outer involutions in a Lie algebra and following the Morse-theoretic approach to harmonic two-spheres in Lie groups introduced by Burstall and Guest, we obtain a new classification of harmonic two-spheres in outer symmetric spaces and a Weierstrass-type representation for such maps. Several examples of harmonic maps into classical outer symmetric spaces are given in terms of meromorphic functions on $S^2$.
We show that under some non-degeneracy assumption the only submersive harmonic morphism on a conformally flat $3-$sphere is the Hopf fibration. The proof involves an appropriate use the Chern-Simons functional.
Polyharmonic, or $r$-harmonic, maps are a natural generalization of harmonic maps whose study was proposed by Eells-Lemaire in 1983. The main aim of this paper is to construct new examples of proper $r$-harmonic immersions into spheres. In particular, we shall prove that the canonical inclusion $i: S^{n-1}(R)\to S^n$ is a proper $r$-harmonic submanifold of $S^n$ if and only if the radius $R$ is equal to $1/ \sqrt{r}$. We shall also prove the existence of proper $r$-harmonic generalized Clifford's tori into the sphere.
It is proved some results about existence and non existence of unit normal sections of submanifolds of the Euclidean space and sphere which associated Gauss maps are harmonic. Some applications to CMC hypersurfaces of the sphere and isoparametric submanifolds are obtained too.
We prove that a necessary condition for the existence of the remaining problem in the harmonic Hopf construction is also sufficient. We also give some topological applications based on our result.
We obtain the explicit representation of Legendre surfaces in the unit $5$-sphere with harmonic mean curvature vector field, under the condition that the mean curvature function is constant along a certain special direction.
We define two transforms between non-conformal harmonic maps from a surface into the 3-sphere. With these transforms one can construct, from one such harmonic map, a sequence of harmonic maps. We show that there is a correspondence between non-conformal harmonic maps into the 3-sphere, $H$-surfaces in Euclidean 3-space and almost complex surfaces in the nearly Kähler manifold $S^3\times S^3$. As a consequence we can construct sequences of $H$-surfaces and almost complex surfaces.
We show that the set of harmonic maps from the 2-dimensional stratified spheres with uniformly bounded energies contains only finitely many homotopy classes. We apply this result to construct infinitely many harmonic map flows and mean curvature flows of 2-sphere in the connected sum of two closed 3-dimensional manifolds $M_1\not=S^3$ and $M_2\not=S^3,\R¶^3$, which must develop finite time singularity.
In [5], together with J. C. Wood, the authors gave a completely explicit formula for all harmonic maps from $2$-spheres to the unitary group $U(n)$ in terms of freely chosen meromorphic functions on $S^2$. The simplest harmonic maps are the isotropic ones. Using Morse theory Burstall and Guest [1] showed that the harmonic maps come in clusters labeled by the isotropic ones. In this work, using the formula for harmonic maps aforementioned, we describe explicitly this procedure, showing how all harmonic maps can be built from the isotropic ones. [1] F.~E.\ Burstall and M.~A.\ Guest, \textit{Harm…
This paper aims to provide a description of totally isotropic Willmore two-spheres and their adjoint transforms. We first recall the isotropic harmonic maps which are introduced by Hélein, Xia-Shen and Ma for the study of Willmore surfaces. Then we derive a description of the normalized potential (some Lie algebra valued meromorphic 1-forms) of totally isotropic Willmore two-spheres in terms of the isotropic harmonic maps. In particular, the corresponding isotropic harmonic maps are of finite uniton type. The proof also contains a concrete way to construct examples of totally isotropic Willmor…
We give a complete classification of Riemannian and Lorentzian surfaces of arbitrary codimension in a pseudo-sphere whose pseudo-spherical Gauss maps are of 1-type or, in particular, harmonic. In some cases a concrete global classification is obtained, while in other cases the solutions are described by an explicit system of partial differential equations.
Nonexistence of quasi-harmonic spheres is necessary for long time existence and convergence of harmonic map heat flows. Let $(N,h)$ be a complete noncompact Riemannian manifolds. Assume the universal covering of $(N,h)$ admits a nonnegative strictly convex function with polynomial growth. Then there is no quasi-harmonic spheres $u:\mathbb{R}^n\ra N$ such that $$\lim_{r\ra\infty}r^ne^{-\f{r^2}{4}}\int_{|x|\leq r}e^{-\f{|x|^2}{4}}|\nabla u|^2dx=0.$$ This generalizes a result of the first named author and X. Zhu (Calc. Var., 2009). Our method is essentially the Moser iteration and thus very simpl…
This article studies the harmonicity of vector fields on Riemannian manifolds, viewed as maps into the tangent bundle equipped with a family of Riemannian metrics. Geometric and topological rigidity conditions are obtained, especially for surfaces and vector fields of constant norm, and existence is proved on two-tori. Classifications are given for conformal, quadratic and Killing vector fields on spheres. Finally, the class of metric considered on the tangent bundle is enlarged, permitting new vector fields to become harmonic.
Let $S$ be a surface with a metric $d$ satisfying an upper curvature bound in the sense of Alexandrov (i.e. via triangle comparison). We show that an almost conformal harmonic map from a surface into $(S,d)$ is a branched covering. As a consequence, if $(S,d)$ is homeomorphically equivalent to the 2-sphere $\mathbb S^2$, then it is conformally equivalent to $\mathbb S^2$.
We present an explicit description of all harmonic maps of finite uniton number from a Riemann surface into a complex Grassmannian. Namely, starting from a constant map $Q$ and a collection of meromorphic functions and their derivatives, we show how to algebraically construct all harmonic maps from the two-sphere into a given Grassmannian $G_p(\mathbb C^n)$. In this setting the uniton number depends on $Q$ and $p$ and we obtain a sharp estimate for it.
We prove that on a compact $n$-dimensional spin manifold admitting a non-trivial harmonic 1-form of constant length, every eigenvalue $λ$ of the Dirac operator satisfies the inequality $λ^2 \geq \frac{n-1}{4(n-2)}\inf_M Scal$. In the limiting case the universal cover of the manifold is isometric to $R\times N$ where $N$ is a manifold admitting Killing spinors.
For a sequence of coupled fields $\{(ϕ_n,ψ_n)\}$ from a compact Riemann surface $M$ with smooth boundary to a general compact Riemannian manifold with uniformly bounded energy and satisfying the Dirac-harmonic system up to some uniformly controlled error terms, we show that the energy identity holds during a blow-up process near the boundary. As an application to the heat flow of Dirac-harmonic maps from surfaces with boundary, when such a flow blows up at infinite time, we obtain an energy identity.
The absence of interesting harmonic sections for the Sasaki and Cheeger-Gromoll metrics has led to the consideration of alternatives, for example in the form of a two-parameter family of natural metrics shown to relax existence conditions for harmonicity. This article investigates harmonic Killing vector fields, proves their non-existence on S^2, obtains rigidity results for harmonic gradient vector fields on the two-sphere, classifies spherical quadratic gradient fields in all dimensions and determines the tension field, concluding with the discovery of a family of metrics making Hopf vector …
The Weierstrass representation for spheres in $\R^3$ and, in particular, effective construction of immersions from data of spectral theory origin is discussed. These data are related to Dirac operators on a plane and on an infinite cylinder and these operators are just representations of Dirac operators acting in spinor bundles over the two-sphere which is naturally obtained as a completion of a plane or of a cylinder. Spheres described in terms of Dirac operators with one-dimensional potentials on a cylinder are completely studied and, in particular, for them a lower estimate of the Willmore …
We show that any two left-invariant metrics on $S^3\cong\operatorname{SU}(2)$ which are isospectral for the associated classical Dirac operator $D$ must be isometric. In the case of left-invariant metrics of positive scalar curvature, we compute and use the smallest eigenvalue of $D^2$. We show analogous results for left-invariant metrics on $\operatorname{SO}(3)=S^3/\{\pm1\}$ for each of its two spin structures.
We consider the energy functional on the space of sections of a sphere bundle over a Riemannian manifold (M, <,>) equipped with the Sasaki metric and we discuss the characterising condition for critical points. Likewise, we provide a useful method for computing the tension field in some particular situations. Such a method is shown to be adequate for many tensor fields defined on manifolds M equipped with a G-structure compatible with <,>. This leads to the construction of a lot of new examples of differential forms which are harmonic sections or determine a harmonic map from (M,<,>) into its …
In this paper we study the properties of quasi-harmonic spheres from $\R^m, m>2$. We show that if the universal covering $\tilde N$ of $N$ admits a nonnegative strictly convex function $ρ$ with the exponential growth condition $ρ(y)\leq C\exp\left(\frac14\tilde d(y)^{2/m}\right)$ where $\tilde d(y)$ is the distance function on $\tilde N$, then $N$ does not admit a quasi-harmonic sphere, which generalize Li-Zhu's result \cite{Li2010non}. We also show that if $u$ is a quasi-harmonic sphere, then the property that $u$ is of finite energy ($\int_{\R^m}e(u)e^{-\abs{x}^2/4}\dif x<\infty$) is equival…
We relate the existence problem of harmonic maps into $S^2$ to the convex geometry of $S^2$. On one hand, this allows us to construct new examples of harmonic maps of degree 0 from compact surfaces of arbitrary genus into $S^2$. On the other hand, we produce new example of regions that do not contain closed geodesics (that is, harmonic maps from $S^1$) but do contain images of harmonic maps from other domains. These regions can therefore not support a strictly convex function. Our construction builds upon an example of W. Kendall, and uses M. Struwe's heat flow approach for the existence of ha…
We show that any Jacobi field along a harmonic map from the 2-sphere to the complex projective plane is integrable (i.e., is tangent to a smooth variation through harmonic maps). This provides one of the few known answers to this problem of integrability, which was raised in different contexts of geometry and analysis. It implies that the Jacobi fields form the tangent bundle to each component of the manifold of harmonic maps from $S^2$ to ${\bf C}P^2$ thus giving the nullity of any such harmonic map; it also has bearing on the behaviour of weakly harmonic $E$-minimizing maps from a 3-manifold…
Relating the Dirac operators on the total space and on the base manifold of a horizontally conformal submersion, we characterize Dirac morphisms, i.e. maps which pull back (local) harmonic spinor fields onto (local) harmonic spinor fields.
For any $n$-dimensional compact spin Riemannian manifold $M$ with a given spin structure and a spinor bundle $ΣM$, and any compact Riemannian manifold $N$, we show an $ε$-regularity theorem for weakly Dirac-harmonic maps . As a consequence, any weakly Dirac-harmonic map is proven to be smooth when n = 2. A weak convergence theorem for approximate Dirac-harmonic maps is established when $n = 2$. For $n \ge 3$, we introduce the notation of stationary Dirac-harmonic maps and obtain a Liouville theorem for stationary Dirac-harmonic maps in $R^n$. If, additions, $ψ\in W^{1,p}$ for some $p>2n/3$, th…
We establish a lower bound for the eigenvalues of the Dirac operator defined on a compact Kähler-Einstein manifold of positive scalar curvature and endowed with particular ${\rm spin}^c$ structures. The limiting case is characterized by the existence of Kählerian Killing ${\rm spin}^c$ spinors in a certain subbundle of the spinor bundle. Moreover, we show that the Clifford multiplication between an effective harmonic form and a Kählerian Killing ${\rm spin}^c$ spinor field vanishes. This extends to the ${\rm spin}^c$ case the result of A. Moroianu stating that, on a compact Kähler-Einstein man…
In this note, we show that some F-harmonic maps into spheres are global maxima of the variations of their energy functional on the conformal group of the sphere. Our result extends partially those obtained in [15] and [17] for harmonic and p-harmonic maps.
We give the twistor description of harmonic maps of the Riemann sphere into the Hilbert-Schmidt Grassmannian. The study of such maps is motivated by the harmonic spheres conjecture formulated in the beginning of this paper.
We show the smoothness of weakly Dirac-harmonic maps from a closed spin Riemann surface into stationary Lorentzian manifolds, and obtain a regularity theorem for a class of critical elliptic systems without anti-symmetry structures.
We study a functional, whose critical points couple Dirac-harmonic maps from surfaces with a two form. The critical points can be interpreted as coupling the prescribed mean curvature equation to spinor fields. On the other hand, this functional also arises as part of the supersymmetric sigma model in theoretical physics. In two dimensions it is conformally invariant. We call critical points of this functional magnetic Dirac-harmonic maps. We study geometric and analytic properties of magnetic Dirac-harmonic maps including their regularity and the removal of isolated singularities.
We discuss a method to construct Dirac-harmonic maps developed by J.~Jost, X.~Mo and M.~Zhu in J.~Jost, X.~Mo, M.~Zhu, \emph{Some explicit constructions of Dirac-harmonic maps}, J. Geom. Phys. \textbf{59} (2009), no. 11, 1512--1527.The method uses harmonic spinors and twistor spinors, and mainly applies to Dirac-harmonic maps of codimension $1$ with target spaces of constant sectional curvature.Before the present article, it remained unclear when the conditions of the theorems in J.~Jost, X.~Mo, M.~Zhu, \emph{Some explicit constructions of Dirac-harmonic maps}, J. Geom. Phys. \textbf{59} (2009…
We prove existence results for Dirac-harmonic maps using index theoretical tools. They are mainly interesting if the source manifold has dimension 1 or 2 modulo 8. Our solutions are uncoupled in the sense that the underlying map between the source and target manifolds is a harmonic map.
We establish the regularity theory for certain critical elliptic systems with an anti-symmetric structure under inhomogeneous Neumann and Dirichlet boundary constraints. As applications, we prove full regularity and smooth estimates at the free boundary for weakly Dirac-harmonic maps from spin Riemann surfaces. Our methods also lead to the full interior $ε$-regularity and smooth estimates for weakly Dirac-harmonic maps in all dimensions.
We construct large families of harmonic morphisms which are holomorphic with respect to Hermitian structures by finding heierarchies of Weierstrass-type representations. This enables us to find new examples of complex-valued harmonic morphisms from Euclidean spaces and spheres.
We introduce a functional that couples the nonlinear sigma model with a spinor field: $L=\int_M[|dϕ|^2+(ψ,\Dψ)]$. In two dimensions, it is conformally invariant. The critical points of this functional are called Dirac-harmonic maps. We study some geometric and analytic aspects of such maps, in particular a removable singularity theorem.
We study a new set of coupled field equations motivated by the non-linear supersymmetric sigma model of quantum field theory. These equations couple a map into a Riemannian manifold controlled by a harmonic map like action with a spinor field along that map. We study the solutions which we call Dirac-harmonic maps from a Riemann surface to a sphere $§^n$. We show that a weakly Dirac-harmonic map is in fact smooth, and prove that the energy identity holds during the blow-up process.
Uhlenbeck introduced an invariant, the (minimal) uniton number, of harmonic 2-spheres in a Lie group G and proved that when G=SU(n) the uniton number cannot exceed n-1. In this paper, using new methods inspired by Morse Theory, we explain this result and extend it to an arbitrary compact group G. The same methods also yield Weierstrass formulae for these harmonic maps and simple proofs of most of the known classification theorems for harmonic 2-spheres in symmetric spaces.
We describe both the Hodge - de Rham and the spin manifold Dirac operator on the spheres ${\rm S}^3$ and ${\rm S}^2$, following the formalism introduced by Kähler, and exhibit a complete spectral resolution for them in terms of suitably globally defined eigenspinors.