Symmetries and conservation laws of a nonlinear sigma model with gravitino

We show that the action functional of the nonlinear sigma model with gravitino considered in a previous article [18] is invariant under rescaled conformal transformations, super Weyl transformations and diffeomorphisms. We give a careful geometric explanation how a variation of the metric leads to the corresponding variation of the spinors. In particular cases and despite using only commutative variables, the functional possesses a degenerate super symmetry. The corresponding conservation laws lead to a geometric interpretation of the energy-momentum tensor and supercurrent as holomorphic sections of appropriate bundles.


Introduction
The main motivation for the introduction of the two-dimensional nonlinear supersymmetric sigma model in quantum field theory, or more specifically super gravity and super string theory, are its symmetries, see for instance [3,9]. Furthermore, as argued in [20], the functional is determined by its symmetries together with suitable bounds on the order of its Euler-Lagrange equations. While super symmetric models are usually formulated using anti-commutative variables, in [18] an analogue of the two-dimensional nonlinear supersymmetric sigma model using only commutative variables was introduced. Here we would like to give a detailed geometric account of the symmetries of the purely commutative model considered in [18].
In physics as well as in geometry, symmetries of a system always have important implications. In particular, differentiable symmetries of a system give rise to conservation laws-this is basically what the famous Noether's theorem states, see e.g. [14,Chapter 1], [15,Section 2.3.2] and [11]. To see how Noether's principle helps, let us take a closer look at the harmonic map theory as an example; this will also be the prototype for our work.
The Dirichlet energy for a smooth map φ : (M, g) → (N, h) from a Riemannian surface to a Riemannian manifold is given by dx where g ∨ denotes the dual metric on the cotangent bundle and φ * h the induced metric on the pullback bundle φ * T N . The critical points of the energy functionals are named harmonic maps in [10], the study of which has been among the central topics in mathematics for a long time.
Essential in the study of harmonic maps are the diffeomorphism invariance 1 of the Dirichlet energy and as a peculiarity in the case that the domain is two dimensional, the conformal invariance E(φ; e 2u g) = E(φ; g), ∀u ∈ C ∞ (M ).
Those two symmetries link the theory of harmonic maps on a Riemann surface to the Teichmüller theory, see [16]. The conservation laws corresponding to diffeomorphism invariance and conformal invariance are expressed in terms of the energy-momentum tensor. The energy-momentum tensor is defined as the variation of the Dirichlet energy with respect to the metric, that is, for a smooth family (g t ) of Riemannian metrics on M , Explicitly the energy-momentum tensor is a symmetric 2-tensor T (φ; g t ) = T αβ dx α ⊗ dx β given by The energy-momentum tensor is symmetric and traceless-though this is clear from the expression, it roots in the fact that we are taking variations in the symmetric 2-tensors and that the energy functional is conformally invariant in dimension two. Actually, consider the conformal family (g t = e 2tu g), the conformal invariance says that E(φ; e 2tu g) = E(φ; g), and consequently which is equivalent to say that Tr g (T (φ; g)) = 0 since the function u can be arbitrary. The conservation law corresponding to the diffeomorphism invariance of the Dirichlet energy is that the energy-momentum tensor is divergence-free on shell 2 . Indeed, for a differentiable family (f t ) of diffeomorphisms of M with f 0 = Id M and a harmonic map φ, we have When we denote the generator of f t by X ∈ Γ(T M ) the differential of the metric is given by the following Lie-derivative d dt t=0 g ft = L X g.
Consequently, when the map φ is harmonic, we have 0 = M L X g, T (φ; g) dvol g = −2 M X, div g (T (φ; g)) dvol g , where the second equality is recalled in Section 4. As the vector field X could be arbitrary, it follows that the energy-momentum tensor is divergence-free.
for any x ∈ M and any X, Y ∈ Γ(T M ), which is commonly referred to as "pullback metric" when f is an immersion in differential geometry. We reserve the symbol f * g for the induced metric on the pullback bundle f * T M . 2 Here we use the phrase "on shell", as it is common in physics, to say that the Euler-Lagrange equations are satisfied.
The fact that the energy-momentum tensor is symmetric, traceless and divergence-free has important geometric and analytic consequences. For instance, the space of symmetric, traceless and divergence-free 2-tensors can be identified with the space of holomorphic quadratic differentials. Using existence results of harmonic maps and the Theorem of Riemann-Roch, one can then show that the Teichmüller space is a ball of dimension 6p − 6, where p is the genus of the surface.
The action functional in [18] extends the Dirichlet energy to include spinor fields: a Dirac-term in the field ψ and additional terms inolving the gravitino field χ. While the Euler-Lagrange equations for ψ yield a Dirac-type equation, the gravitino is more considered as a parameter in the theory, similar to the metric g. By analogy to the models studied in physics we expect conformal invariance, super Weyl invariance (an analogue to conformal invariance affecting the gravitino) and diffeomorphism invariance. We will show that the functional introduced in [18] possesses indeed the aforementioned symmetries. The major difficulty in the study of those symmetries is that spinors depend on the metric. In order to express the variation of the spinors in terms of the variation of the metric we use the methods developped in [2]. In contrast to the original physical model, the functional studied here possesses only a "degenerate supersymmetry" in special cases.
The conservation laws corresponding to those four symmetries are expressed in terms of the energy-momentum tensor and the supercurrent, which is the variation of the action with respect to the gravitino. We show that rescaled conformal and super Weyl invariance lead to algebraic constraints on the energy-momentum tensor T and the supercurrent J. Diffeomorphism invariance and degenerate supersymmetry yield equations for the divergences of T and J. All four symmetries together allow for an interpretation of T and J as holomorphic sections of appropriate bundles. This is in full analogy to the super geometric setting, where T and J constitute tangent vectors to the moduli space of so-called super Riemann surfaces, see [17,19].
The article is organized as follows: First we consider a Dirac action as a toy model, as well as to set up the notation for later use. The Weyl symmetry and the diffeomorphism invariance are checked and the corresponding conservation laws are obtained. Then we put the main effort to study the nonlinear sigma model with gravitino in [18], and the four kinds of symmetries mentioned above are discussed. We give explicit computation of the energy-momentum tensor and supercurrent in that case. The corresponding conservation laws are derived and explained. Finally we make a supplement about the divergence operators, both on symmetric 2-tensors and on spinors, which are frequently used in the context.

Dirac action and its conservation laws
In this section we consider a Dirac action. While various Dirac actions play a prominent role in physics, we will use the Dirac action as an elaborate toy model. At the example of the Dirac action we will set up the notation and theory necessary to study symmetries and conservation laws of a sigma-model involving spinors.
The geometric setup is as in [18]. Let (M, g) be a closed oriented Riemannian surface and let ξ : P Spin (M, g) → P SO (M, g) be a spin structure on (M, g). The irreducible representation of the Clifford bundle Cl 0,2 induces the real spin representation µ : Spin(2) → GL(V ) where V is a representation space and is isomorphic to R 4 . From this one can form the associated spinor bundle Note that here by the lower index in S g we emphasize the dependence on the Riemannian metric g. There are a canonical fiberwise real inner product denoted by g s , and a canonical metric connection ∇ s . The connections on Γ(S g ) and on the algebra bundle Cl(M, −g) satisfy a Leibniz rule, see e.g. [21]. Choosing an isomorphism between V and Cl 0,2 we get a Clifford map denoted by γ : T M → End(S g ) which satisfies the Clifford relation for all X, Y ∈ Γ(T M ).
Sections of S g will be referred to as (pure) spinors, which is used to describe matter fields with non-integer spins in physics. On the spinor bundle S g there is a spin Dirac operator / ∂ g : Γ(S g ) → Γ(S g ) which is defined by where (e α ) is a local oriented g-orthonormal frame. It is easily to check that / ∂ g is well-defined, that is, independent of the g-orthonormal frame. This Dirac operator is an elliptic self-adjoint operator, and has a real spectrum which is unbounded in either side in R. A spinor q ∈ Γ(S) is called harmonic if it is in the kernel of / ∂ g , i.e. / ∂ g q = 0. One can refer to [13,1] for more knowledge about harmonic spinors.
Here we consider a Dirac action 3 as a functional defined on spinors and Riemannian metrics by where Met(M ) denotes the space of all Riemannian metrics on M . From the facts above on the spectrum about / ∂ g one knows that this action functional cannot be bounded from either side. Recall that the spin Dirac operator / ∂ g is self-adjoint with respect to the L 2 -inner product. An easy calculation shows that for a smooth family (σ t ) t of spinors, Thus the Euler-Lagrange equation for the Dirac action is / ∂ g σ = 0, that is, the critical spinors are the harmonic spinors.
2.1. Rescaled conformal invariance of the Dirac action. First observe that mathematically rigorously, one can not keep the spinor σ fixed while varying the metric, because the spin structure depends on the metric g and so do the spinor bundle S g and the Dirac operator / ∂ g . To overcome this difficulty we take the approach developed in [2].
Let g and g be two Riemannian metrics on M . There is a unique self-adjoint endomorphism H ∈ End(T M ) such that g (·, ·) = g(H·, ·). Thus if we set is an isometry of Riemannian vector bundles. More explicitly, g(·, ·) = g (b(·), b(·)).
Next we lift the isomorphism b to the spin level. Since b : (T M, g) → (T M, g ) is SO(2)equivariant, it defines a principal bundle isomorphism b : P SO (M, g) → P SO (M, g ) which lifts to an isomorphismb : P Spin (M, g) → P Spin (M, g ) on the spin level which covers b. Here it is important to assume that P Spin (M, g ) corresponds to the same topological spin structure as P Spin (M, g). Let now S g and S g be spinor bundles associated to P Spin (M, g) and P Spin (M, g ) via the same representation µ : Spin → SO(V ). Sinceb is Spin(2)-equivariant, it induces an isometry between the spinor bundles as Riemannian vector bundles, denoted by β ≡ β g g : S g → S g , which is to say, g s (·, ·) = g s (β(·), β(·)). Moreover, note that for a vector v ∈ T M and a spinor σ ∈ S g , where γ denotes the Clifford map with respect to the metric g .
Next we consider the conformal behavior of the Dirac action. First recall the following Proposition: Proposition 1 (see [12,Prop. 1.3.10]). Let u ∈ C ∞ (M ), then g = e 2u g is a Riemannian metric conformal to g. The spin Dirac operators / ∂ g and / ∂ g satisfy where m = dim M . Moreover, after a rescaling by e − m−1 2 u , the Dirac operator transforms homogeneously: This implies that the dimension of the space of harmonic spinors is a conformal invariant. Let us now specify to the surface case, m = 2. The map β allows us to transform the spinor according to the change of the metric. However, by Proposition 1 an additional rescaling is necessary to make the Dirac action invariant. Indeed, DA(βσ; e 2u g) = M e u g s (σ, / ∂ g σ) dvol g , which is in general not equal to DA(σ; g). In contrast, if the rescaling by e − m−1 2 u = e − 1 2 u is taken into account the Dirac action is invariant: DA(e − 1 2 u βσ; e 2u g) = M g s e − 1 2 u βσ, e − 3 2 u β( / ∂ g σ) e 2u dvol g = DA(σ; g).
Hence, strictly speaking the Dirac action is not conformally invariant. We will rather use the term "rescaled conformal invariance" for the invariance given in Equation (1).

2.2.
The energy-momentum tensor of the Dirac action. We need to calculate the variation of the Dirac action with respect to the Riemannian metric. To this end we need a parametrized version of the theory presented in the last subsection. Let (g t ) t be a smooth family of Riemannian metrics parametrized by t in a neighborhood of zero in R such that g 0 = g. The t-derivative at t = 0 is a smooth symmetric 2-form, say k ∈ Γ(Sym(T * M ⊗ T * M )). Conversely, any k ∈ Γ(Sym(T * M ⊗ T * M )) can be represented in this way, for instance, (g t := g + tk) t is such a family for |t| small enough.
As before there is a unique family of self-adjoint endomorphisms (H t ) t ⊂ End(T M ) such that g t (·, ·) = g(H t ·, ·). We will denote by b t ≡ b g gt and β t ≡ β g gt : where K is the endomorphism associated to k by metric dualization, which is also the t-derivative of H t at t = 0. Let {e α } be a local oriented g-orthonormal frame, then {E α (t) = b t (e α )} is a local oriented g t -orthonormal frame, and We also need to consider the volume forms of different metrics: Transport the Dirac operator / ∂ gt : Γ(S gt ) → Γ(S gt ) via the isometry β t to obtain a differential operator on Γ(S g ): From [2] and [22], we know that where the g-divergence div g (k) is recalled in Section 4. Now we are ready to derive the variation of the Dirac action for the metric g while keeping the spinors essentially "unchanged". The variation formula for metrics can be obtained in the following way: where T (σ; g) = T αβ e α ⊗ e β is the energy-momentum tensor, with coefficients By construction the energy-momentum tensor is symmetric, but not necessarily traceless; in fact, This can be explained by the conservation law associated to the rescaled conformal invariance as follows.
The conservation law to the rescaled conformal invariance prescribes the trace of the energymomentum tensor. As the Dirac action is in general not conformally invariant, the trace is non-zero. Notice that on shell the energy-momentum tensor is traceless.

Diffeomorphism invariance of the Dirac action.
While diffeomorphism invariance of the Dirac action may seem obvious at first glance, we need a precise formulation to obtain the corresponding conservation law. Let f be a smooth diffeomorphisms of M . Pull the metric g back via f to get a Riemannian metric g f on T M . The differential T f of f is an isometry of Riemannian vector bundles which covers the map f ; that is, the following diagram commutes: This induces a map on the orthonormal frame bundles, which is also denoted by and P Spin (M, g f ) is given by the pullback of the cohomology class corresponding to P Spin (M, g). Hence, in general, the topological spin structures corresponding to P Spin (M, g) and P Spin (M, g f ) do not need to coincide. The situation is summarized the following commutative diagram in the left: (2) An irreducible spin representation µ : Spin(2) → SO(V ) will give rise to spinor bundles associated to the above principal Spin(2)-bundles, and the isomorphism T f induces an isometry F of the corresponding spinor bundles, as shown in the commutative diagram above in the right.
In particular note that F being an isometry means that for any y ∈ M with f (y) ≡ x ∈ M , and for any σ 1 , σ 2 ∈ (S g ) x , As a result, the Dirac operators / ∂ g on S g and / ∂ g f on S g f are the "same" up to the isometry F in the sense that Remark. One should note that this formula holds because F is induced by an isometry f : (M, g f ) → (M, g). Then T f preserves the Levi-Civita connections on the tangent bundles, and hence F preserves the spin connection. As a comparison, although the morphism β constructed in the previous subsection is also an isometry, it will not preserve the Dirac operator. Indeed, the map b preserves the metrics but not the Lie brackets (this can be seen already in the case of a conformal perturbation of the Riemannian metric), hence b does not preserve the Levi-Civita connection and consequently β does not necessarily preserve the spin connections. This is the reason why a change of the Riemannian metric will give rise to a change of the Dirac operator, which we have used before.
Now we explain the diffeomorphism invariance. The claim is that which is clear from the diagram (2). Then we have Thus the claim (3) is confirmed.
To obtain the corresponding conservation law, we take a (local) one-parameter group of diffeomorphisms For example, the flow generated by X is such a family; the flow is global since M is assumed to be compact.
and denote the pullback metrics on M by g t ≡ g ft . The differential T f t is again an isometry and hence can be viewed as a map of the principal SO(2)-bundles. Note that M t = M and hence g is also a Riemannian metric on T M t . These two metrics can be related by an isometry b t ≡ b g gt : (T M t , g) → (T M t , g t ) as before and can be lift to the corresponding principal Spin(2)-bundles. In order to construct the lift, we notice that a diffeomorphism homotopic to the identity preserves the topological spin structure. Therefore we have the following commutative diagram: The bottom line exhibits the pointwise behavior of the maps on base manifolds. Note that in this diagram all the horizontal maps are diffeomorphisms/isomorphisms. The associated commutative diagram of spinor bundles is given by The diffeomorphism invariance of the Dirac action says that for any t, Taking linearizations of both sides, we get Then, from the invariance (3) it follows that Here the expression div σ is a formal analogue of the divergence for spinors, explained in Section 4. As X can be arbitrary, it follows that for any σ, the conservation law reads In particular, along critical spinors which are the harmonic spinors, the energy-momentum tensor is divergence-free. This confirms our expectation: the energy-momentum tensor is divergence-free on shell.

Conclusions and remarks.
We summarize our discussion about the Dirac action in the following theorem.
Theorem 1. Let S g be a spinor bundle over (M, g), and consider the following Dirac action defined on pure spinors σ ∈ Γ(S g ) and Riemannian metrics g by (1) The total variation formula is where the Euler-Lagrange equation for the spinor is EL(σ) = / ∂ g σ = 0, and the energymomentum tensor in a local oriented orthonormal frame (e α ) is (2) This Dirac action is invariant under rescaled conformal transformations. That is, any u ∈ C ∞ (M ) induces a conformal metric g = e 2u g and there is a map β : S g → S g such that DA(e − 1 2 u βσ; g ) = DA(σ; g). there is an induced map F : The energy-momentum is a symmetric 2-tensor, with trace Tr g (T ) = − σ, / ∂ g σ gs . When σ is harmonic, T is traceless and divergence-free, hence corresponds to a holomorphic quadratic differential on M .
The methods we presented here do generalize to higher dimensions and all results except the rescaled conformal invariance do hold there. It is also straightforward to adapt the theory presented here to models with mass-term or other terms which do not involve derivatives of spinor fields.

The case of the nonlinear sigma model with gravitinos
We now turn to the full nonlinear sigma model with gravitino as considered in [18]. Let us first briefly recall its construction. As before φ : (M, g) → (N, h) is a map from a Riemann surface to a Riemannian manifold, and a fixed spin structure P Spin (M, g) ξ − → P SO (M, g) has been chosen. (S g , g s ) is a rank-four real a spinor bundle associated to this spin structure.
On the twisted vector bundle S g ⊗ φ * T N there is the induced metric g s ⊗ φ * h and induced metric connection, denoted by ∇. A section ψ of this bundle, called a "vector spinor", will serve as a super partner of the map φ. Note that a spin Dirac operator / D g can be defined in the same manner as above, i.e., Let {y i } be a local coordinate of N , then ψ can be locally written as ψ = ψ j ⊗ φ * ∂ ∂y j , where each ψ j is a (local) pure spinor. The Dirac operator then acts as A super partner of the Riemannian metric g is given by a gravitino χ, which is a section of the bundle S g ⊗ T M . This bundle splits into two orthogonal summands, with the projections given by For further geometric properties of gravitinos in super geometry we refer to [17].
Then the action functional is given by where R N stands for the pullback of the curvature of N under φ, and the curvature term in the action is defined by The Euler-Lagrange equation of A are computed in [18]: Here τ (φ) is the tension field of the map φ and SR(ψ) is a term involving the curvature of the target and is of third order in ψ. The term S∇R(ψ) involves derivatives of R N and is of fourth order in ψ. For the precise form of the curvature terms we refer to [18]. From the case of the Dirac action treated before and the analogous two-dimensional nonlinear super symmetric sigma model considered in super string theory (see for example [3,9]) that the model is invariant under (rescaled) conformal transformations, super Weyl transformations and diffeomorphisms. We will see that this expectation is met. The corresponding conservations laws will be formulated with the help of the energy-momentum tensor and the supercurrent which is given by the variation of the action with respect to the gravitino. The rescaled conformal and super Weyl symmetry lead to algebraic properties of energy-momentum tensor and supercurrent respectively. The diffeomorphism invariance leads to a coupled differential equation for the energy-momentum tensor and the supercurrent which holds on shell. At first sight it might be surprising that the conservation law for the diffeomorphism invariance couples the energymomentum tensor and the supercurrent. Notice, however, that by "on shell" we only assume that the equations of motion for the map φ and the vector spinor ψ hold.
An important feature of the model considered in physics is super symmetry. As the model introduced in [18] was built only with commuting variables, full supersymmetry cannot be expected. However, we show that in special cases there is a remainder of super symmetry, which we call "degenerate supersymmetry". The conservation law associated to degenerate super symmetry leads to a differential equation for the supercurrent. Together with the conservation law from diffeomorphism invariance we can conclude in this special case that energy-momentum tensor and supercurrent are holomorphic quantities.
One sees immediately that the Dirac-harmonic functional introduced in [4,5] and some of its variants [6,7] are special cases of this action functional. Hence the computations presented here contain the several variants of the Dirac-harmonic action functional. This leads to an interesting application of degenerate super symmetry to Dirac-harmonic maps, showing that two known simple solutions are actually related by degenerate super symmetry.

3.1.
Rescaled conformal symmetry and super Weyl symmetry. As explained before the spin structure, spinor bundle and Dirac operator depend on the chosen metric g. If we now choose a metric g = e 2u g that is conformal to g we also need the isometric bundle isomorphisms b : (T M, g) → (T M, g ) and β : (S g , g s ) → (S g , g s ) defined in Section 2.1. Furthermore, as in the case of the Dirac action an additional rescaling of the spinors is needed. Hence we obtain the following rescaled conformal invariance: (7) A φ, e − 1 2 u (β ⊗ 1)ψ; e 2u g, e − 1 2 u (β ⊗ b)χ = A (φ, ψ; g, χ) .
Indeed, under the conformal transformations, the volume form rescales as dvol g = e 2u dvol g . The harmonic term behaves as in the classical theory and the Dirac term is very similar to the case considered in Section 2.1. The three remaining terms can be checked easily using the fact that b and β are isometries. For the third term it holds: For the fourth term notice |Q (β ⊗ b)e − 1 2 u χ| 2 g s ⊗g |(β ⊗ 1)e − 1 2 u ψ| 2 g s ⊗φ * h = e −2u |Qχ| 2 gs⊗g |ψ| 2 gs⊗φ * h . The curvature term again uses that β is an isometry: This completes the verification of the rescaled conformal invariance. In contrast to the rescaled conformal invariance, super Weyl invariance affects only the gravitino. As only Qχ enters the action functional, we have (10) A (φ, ψ; g, χ + ζ) = A (φ, ψ; g, χ) .
for Qζ = 0. The property (10) is called super Weyl invariance. We now take the opportunity to recall some properties of the bundle S g ⊗ T M and of the projections P and Q, which have been presented in detail in [18]. The Riemann surface M possesses an almost complex structure J M such that g(J M X, Y ) = dvol g (X, Y ) for all vector fields X and Y . Left multiplication of spinors by the negative volume form −ω = −e 1 · e 2 ∈ Cl (M, −g) yields an almost complex structure on S g that is compatible with J M , that is γ(J M X)s = −γ(X)ωs for all spinors s. The decomposition of S g in even and odd part yields S g = Σ ⊕ Σ, where both summands are isomorphic as associated vector bundles to P Spin (M, g). The almost complex structure ω restricts to Σ and the restriction will be denoted by J Σ . For the complex line bundle W = (Σ, J Σ ) it holds that W ⊗ C W = T * M . With this preparation we can now identify the summands in S g ⊗ T M = ker Q ⊕ Im Q to be Hence both ker Q and Im Q are naturally holomorphic vector bundles.
3.2. Supercurrent. The supercurrent is the variation of the action with respect to the gravitino. As the gravitino enters the action only algebraically, computation of the supercurrent is straightforward. Fix (φ, ψ) as well as the metric g and vary the gravitino via This can be computed as follows.
Hence setting the supercurrent to be J = J α ⊗ e α ∈ Γ(S g ⊗ T M ) with The conservation law associated to the super Weyl symmetry is obtained as follows. For any ζ ∈ Γ(S g ⊗ T M ), we have QP ζ = 0 and hence Since ζ can be arbitrary, we conclude that J satisfies P J = 0, and hence J ∈ Γ(Im Q).
Remark. Note that for a section ζ = ζ α ⊗ e α ∈ Γ(S g ⊗ T M ), the followings are equivalent: which are all equivalent to say that ζ = ζ α ⊗ e α lies in Im Q = (S g , J Σ ⊕ J Σ ) ⊗ C T M , where J Σ is the complex structure on Σ. Note that the bundle Im Q is a holomorphic vector bundle over the Riemann surface M . Later we will show that in some particular cases J is actually an holomorphic section.
3.3. Energy-momentum tensor. Let (g t ) t be a family of Riemannian metrics on M with and let K ∈ End(T M ) be the associated endomorphism. As in the discussions of Dirac actions, the spinor bundles change theoretically with the metrics, so the vector spinors and gravitinos need to be carried using isometries along with the variation of metrics. Thus, one needs to calculate the linearization where the roman numerals I, . . . , V denote the summands under integral of the action functional. We calculate them as follows.
(i) The energy of the map can be analyzed as usual: (ii) Locally write the vector spinor as ψ = ψ j ⊗ φ * ∂ ∂y j , then is a section of S gt ⊗ φ * T N . Recall the definition of the twisted Dirac operator (4), and consequently Taking derivative with respect to t gives where the second equality follows from the fact that for any vector field X ∈ Γ(T M ), due to the skew-adjointness of the Clifford multiplications, and the last equality holds since K is symmetric. (iii) Next we consider the third summand of the action functional, which mixes all the fields together. Actually, since γ(e α )χ η ⊗ φ * e β + γ(e η )γ(e β )χ η ⊗ φ * e α , ψ gs⊗φ * h (iv) For the fourth term we conclude as in (8) that The curvature term is analogous to (9): (vi) We still need to consider the change in the volume form. As in Section 2.1, we have that d dt t=0 dvol gt = 1 2 Tr g (K) dvol g = 1 2 K β α δ α β dvol g Consequently we have Summing the contributions from (i) to (vi) up we obtain Here the inner product under integral is the induced one on symmetric covariant 2-tensors, T α β = g αη T ηβ and T = T αβ e α ⊗ e β , where Being a quantity rising from the variation of a symmetric 2-tensor, the energy-momentum tensor is naturally symmetric, as the expression clearly shows. One can verify that the energy-momentum tensor is in general not traceless. This is due to the fact that the action functional is not invariant under conformal transformations on g, that is, for g = e 2u g in general ψ; g, χ) . Instead, the action functional is invariant under the rescaled conformal invariance, see (7). As in the case of the Dirac action the conservation law corresponding to the rescaled conformal invariance prescribes the trace of the energy-momentum tensor: u Tr g (T ) + ψ, EL(ψ) + 1 2 χ, J dvol g As the integral has to vanish for all functions u, we conclude where EL(ψ) denotes the Euler-Lagrange equation for ψ computed in [18]. Notice, if the Euler-Lagrange equation for ψ is satisfied and either χ or J vanish, then T is actually traceless.
In that case T can be identified with a smooth section of T * M ⊗ C T * M , that is a quadratic differential. We will later show that under certain conditions T is actually a holomorphic quadratic differential.
3.4. Diffeomorphism invariance. It will be shown that the super action functional is invariant under diffeomorphisms if the fields are "pulled back" in an appropriate way. Let f ∈ Diff(M ) and consider the following diffeomorphism transformations: where F : (S g f , g f s ) → (S g , g s ) is the isomorphism introduced in Section 2.3. Then we claim that A(φ , ψ ; g , χ ) = A(φ, ψ; g, χ). To see this, suppose that under the diffeomorphism f , y → x = f (y). Then as in the harmonic map case . For those terms involving spinors, we note that for any spinor σ ∈ Γ(S), where γ denotes the Clifford multiplications with respect to the metric g = g f . From this we will see that the other terms are also invariant: (i) First consider the Dirac term Moreover, (ii) For the gravitino, from (14) it follows that gs⊗g . For the mixed term, note that Then it is immediate that , ψ(x) gs⊗φ * h . Therefore, by the change of variable formula, the diffeomorphism invariance of A is confirmed.
The symmetry of diffeomorphism invariance will give another conservation law. Actually, let X ∈ Γ(T M ) generate a global flow (f t ) as in Section 2.3. Then we have Note that for the vector spinor we have to take the covariant derivative to obtain the variation field which is abbreviated as δψ(X) in the last formula, which is the same approach we took in [18]. Here the Lie derivative on S g ⊗ T M is the one defined in [2]; that is, under a local orthonormal frame (e α ), for χ = χ α ⊗ e α , Notice, that on the vector part of χ the above t-derivative will not result in the ordinary Lie derivative on tangent vectors, see also [2]. From Section 4 one knows that Therefore, along solutions of the Euler-Lagrange equations, the following identity holds: where the formal divergence operator div χ is defined in Section 4.
Remark. If the gravitino vanishes, then from (15) we know that, along solutions of the Euler-Lagrange equations, This tells us that T is divergence-free, and hence the energy-momentum tensor corresponds to a holomorphic quadratic differential.
Before going to the discussion on super symmetry, we summarize the results obtained up to now in the following theorem.  where the Euler-Lagrange equations are given in (6) and the energy-momentum tensor T is given by (12) and the supercurrent J is given by (11). (2) This action functional is invariant under rescaled conformal transformations: Consequently, Tr g (T ) = − ψ, EL(ψ) − 1 2 χ, J , even off shell. (3) This action is invariant under super Weyl transformations. That is, for any ζ ∈ Γ(S g ⊗ T M ), it holds that A(φ, ψ; g, χ + P ζ) = A(φ, ψ; g, χ). Consequently, P J = 0, or equivalently, J is a smooth section of S g ⊗ C T M . (4) This action functional is invariant under diffeomorphisms. That is, it is invariant under the transformation (13) for f ∈ Diff(M ). Consequently, along solutions of the Euler-Lagrange Equations (6), the coupled conservation law holds div g (T ) + div χ (J) = 0.
(5) If either χ = 0 or J = 0, then along solutions of the Euler-Lagrange equations, the energymomentum tensor T is symmetric, traceless and divergence-free. Hence it corresponds to a holomorphic quadratic differential on M .

3.5.
Degenerate super symmetry. The action functional (5) is motivated from the action functional of two-dimensional super symmetric sigma models [3] also called the super conformal action functional in [17]. The major reason for the introduction of those models was super symmetry. As was argued in [20] super symmetry requires anti-commutative variables. Hence a full super symmetry cannot be expected for the action functional (5). Surprisingly, the following special case of super symmetry, which we will call degenerate super symmetry, persists: Proposition 2. Let q be a section of S g . The action functional (5) is invariant under the following infinitesimal transformations where (∇ s q) ≡ ∇ s eα q ⊗ e α ∈ Γ(S g ⊗ T M ), given that χ = 0 and the following holds: The last condition is in particular fulfilled if the target manifold N is flat.
Remark. The degenerate super symmetry transformations of Proposition 2 coincide up to the sign of δψ and δχ with the super symmetry transformations given in [19] for the super conformal action functional. The sign difference is necessary to compensate for the use of the opposite Clifford algebra in this work.
Theorem 3. Suppose as in Proposition 2 that χ = 0 and condition (16) is fulfilled. In addition we assume that φ and ψ fulfill the Euler-Lagrange equations. Then div g J = 0. In particular, the supercurrent J can be identified with a holomorphic section of T M ⊗ C S.
Proof. In the particular case that φ and ψ fulfill the Euler-Lagrange equations, we know that for all super symmetry parameters q: In the remainder of this subsection we give an application of the degenerate super symmetry to the action functional of Dirac harmonic maps, with or without curvature term. Recall that the functional of Dirac-harmonic maps with curvature term in [6] can be obtained from the functional (5) by setting the gravitino to zero. It is a Corollary of Proposition 2 that the functional of Dirac-harmonic maps with or without curvature terms also has a degenerate super symmetry.
Corollary 1 (Degenerate super symmetry of the functional of Dirac-harmonic maps with curvature term). Let q ∈ Γ(S g ) be a twistor spinor. The functional of Dirac-harmonic maps with curvature term is invariant under the following infinitesimal transformations δφ = q, ψ gs δψ = −γ(grad φ)q provided that the curvature condition (16) holds.
Proof. The calculation proceeds as in the proof of Proposition 2 with the additional condition that the term that describes the variation of the gravitino needs to be zero. The term of δA(φ, ψ; g, χ) that arises from the variation of the gravitino is M 2 γ (e α ) γ (e β ) ∇ s eα q ⊗ φ * e β , ψ dvol g = − M 2 2∇ s e β q + γ (e β ) / ∂ g q ⊗ φ * e β , ψ dvol g .
This term vanishes if q is a twistor spinor, i.e. for all vector field X it holds ∇ s X q + 1 2 γ(X) / ∂ g q = 0.
Remark. Notice that it is particular to the two-dimensional setup that the condition to be a twistor spinor or a holomorphic spinor are identical. Hence, Corollary 1 does not come as a surprise, as also for super Riemann surfaces a holomorphic super symmetry leaves the 3 2 -part of the gravitino invariant, see [19,Chapter 11.1].
Recall that the Dirac-harmonic map functional in [5] does not include the curvature term of the target manifold. But note that a curvature term will arise when taking variations.
In [5] two seemingly unrelated critical Dirac-harmonic maps have been constructed: The trivial solution (φ 0 , 0), where φ 0 is a harmonic map and the twistor spinor solution (φ 0 , ψ) where ψ = −γ(e α )q ⊗ φ * e α is constructed from a twistor spinor q and the harmonic map φ 0 . We will now show that those two solutions are related via degenerate super symmetry.
Consider the family defined on the time interval [0, 1] given by for a twistor spinor q ∈ Γ(S g ). The family (φ t , ψ t ) interpolates between the trivial and the twistor spinor solution via a family of degenerate super symmetries. Indeed for every t = τ we have d dt t=τ φ t = 0 = q, ψ τ d dt t=τ ψ t = −γ(e α )q ⊗ φ * e α = −γ(grad φ)q.
Fortunately the condition (17) is fulfilled along this family, and hence we conclude that (φ t , ψ t ) is critical for all t ∈ [0, 1]. Consequently, we have a critical family of degenerate super symmetries and the twistor spinor solution should be considered equivalent to the trivial solution.
We expect that more non-trivial critical Dirac-harmonic maps can be constructed with the help of super symmetry. The difficulty lies in the construction of suitable families (φ t , ψ t ).
3.6. Conclusion. We have shown that the functional of Dirac-harmonic maps with gravitino is invariant under the rescaled conformal transformations, super Weyl transformations and diffeomorphisms. The energy-momentum tensor and the supercurrent of the action have been calculated. We found that the rescaled conformal invariance prescribes the trace of the energymomentum tensor, whereas super Weyl invariance assures that J is a section of S g ⊗ C T M off shell. The diffeomorphism invariance leads on shell to a coupled differential equation of divergence type involving the energy-momentum tensor and the supercurrent.
Furthermore, we have shown that in the case of vanishing gravitino and under certain conditions on the curvature of the target manifold a degenerate super symmetry leaves the action functional invariant infinitesimally. The restricting conditions on the curvature and of the vanishing gravitino cannot be lifted in the setting of Dirac-harmonic maps but only in the world of super geometry. The degenerate super symmetry leads on shell to a divergence-free supercurrent.
Hence, in that case the energy-momentum tensor can be identified with a holomorphic quadratic differential and the supercurrent with an holomorphic section of T M ⊗ C S g .
Finally, we want to mention that the functional A also possesses a U (1)-gauge symmetry. A particular special case of this gauge symmetry is A(φ, ψ; g, χ) = A(φ, −ψ; g, −χ).