The Functional of Super Riemann Surfaces – A “Semi-Classical” Survey

This article provides a brief discussion of the functional of super Riemann surfaces from the point of view of classical (i.e., not “super-”) differential geometry. The discussion is based on symmetry considerations and aims to clarify the “borderline” between classical and super differential geometry with respect to the distinguished functional that generalizes the action of harmonic maps and is expected to play a basic role in the discussion of “super Teichmüller space”. The discussion is also motivated by the fact that a geometrical understanding of the functional of super Riemann surfaces from the point of view of super geometry seems to provide serious issues to treat the functional analytically.


Introduction
In this section, we give a brief account on the functional of "super harmonic maps", which will be discussed afterwards in some detail from a classical differential geometrical setting in view of Dirac operators and symmetry considerations. Accordingly, in this section, we are intentionally sketchy with the aim to only provide some motivation for what is following without cluttering the brief outline with too many technical details. A more rigorous and clear exposition, especially with respect to the mappings and geometrical constructions, as well as the notation used in this section, will be postponed to subsequent sections.
To begin with, let pM k , g k q be Riemannian manifolds pk " 1, 2q where M 1 is assumed to be closed compact and orientable. Also, let ϕ : M 1 Ñ M 2 be a smooth mapping.
The functional of harmonic maps is known to play a basic role in geometric analysis. Here, }α b w} 2 ptq :" g * 1 | t pα, αq g 2 | ϕptq pw, wq for all α b w P 1 pM 1 , ϕ * T M 2 q, where g * 1 denotes the metric on the co-tangent bundle of M 1 . The study of the functional (1) has a long history, actually (e.g., see [6,7] and the references therein).
In fact, for M 1 :" r0, 1s Ă R, the minimizers of (1) are the geodesics of pM 2 , g 2 q. Furthermore, the functional of harmonic maps plays a basic role in the analytical treatment of minimal surfaces and generalizations thereof.
A particularity of the case where M 1 is two-dimensional is that the functional (1) is not only diffeomorphism invariant but also conformally invariant. This crucial feature allows to apply the action functional (1) to the study of Teichmüller space, which is a contractible covering of the moduli space of compact one-dimensional complex manifolds. For instance, for harmonic maps between surfaces, the "energy-momentum tensor", defined by the variation of (1) with respect to g 1 , can be geometrically interpreted as a tangent vector to the Teichmüller space at the point M 1 . Moreover, it can be shown using (1) that the tangent space to the Teichmüller space at M 1 can be identified with holomorphic quadratic differentials on M 1 .
The functional (1) has then been extended, for instance, by including spinors, to the functional of Dirac harmonic maps (cf. [2,3]) (2) Here, the field ψ is a section of the twisted spinor bundle π E : E :" S b ϕ * T M 2 Ñ M 1 . Consequently, one has to assume that M 1 is a spin manifold, and there is a fiber metric x¨,¨y S on a corresponding spinor bundle π S : S Ñ M 1 , such that the Dirac operator is symmetric. The Dirac operator is the "quantized" Clifford connection ∇ E on the twisted spinor bundle E that arises from the Levi-Civita connections on pM 1 , g 1 q and pM 2 , g 2 q, respectively. Also, the fiber metric reads x¨,¨y E " x¨,¨y S b ϕ * g 2 .
In the study of Dirac harmonic maps, it is decisive to use representations of the Clifford algebra Cl 0,2 to construct the Dirac operator. Otherwise, the real-valued "Dirac action" (3) vanishes in the case where dim M 1 " 2. Contrary to what is custom in the study of Dirac harmonic maps, we will work with representations of Cl 2,0 and look at other ways to prevent the vanishing of the Dirac action (3). The major challenge is that the Clifford algebra Cl 2,0 of the Euclidean plane R 2,0 has no skew-symmetric representation on the underlying real spinor module. In physics, real spinors are called Majorana spinors. We adopt this terminology. The consequences of the vanishing of (3) in case of Majorana spinors will be explained in some detail in what follows. Especially, we shall discuss the usual way out of this flaw by the assumption of odd ("anti-commuting") spinors (see below). Indeed, the functional (3) becomes non-trivial even for real anti-commuting Majorana spinors on Riemann surfaces. Furthermore, incorporating anti-commuting spinors, the action functional (2) is not only invariant under diffeomorphims and conformal re-scaling of the metric g 1 (i.e., "Weyl transformations") but also with respect to the variations of (2) that are defined to first order by so-called supersymmetry transformations Here, the variational spinor fields s P hol pM, Sq are restricted to arbitrary (odd) holomorphic sections.
To avoid this restriction will bring us eventually to the even more enhanced (real-valued) functional of super harmonic maps (6) with the section χ P 1 pM 1 , Sq being termed gravitino. Again, the notation used will be explained in more detail in the next section. Notice also that the functional of super harmonic maps is older than the functional of Dirac harmonic maps as it has been studied already in the seventies in the context of nonlinear super symmetric sigma models and string theory (see [1,4]).
Besides, the diffeomorphism and conformal invariance (for dim M 1 " 2q, the functional (6) carries an additional symmetry. In fact, it is also invariant with respect to super Weyl transformations χ pvq Þ ÝÑ χ pvq`γ pv 5 qs, for all tangent vectors v P T M 1 and arbitrary spinor field s P pM 1 , Sq.
In the two-dimensional case and for odd spinors, the functional (6) has the crucial property that it does not depend on the metric connection on M 1 appearing in the Clifford connection ∇ E . One may therefore replace by the Dirac operator with torsion. As a consequence, the functional (6) becomes invariant also with respect to the enhanced supersymmetry transformations δ s e k :"´4xδ 7 s, χpe k qy S P pM 1 , T M 1 q pk " 1, 2q, provided g 2 is flat and the torsion factorizes by the gravitino as A " xγ pχq, χy S P 1 pM 1 q.
Here, e 1 , e 2 P pM 1 , T M 1 q denotes an arbitrary (oriented) local g 1 -orthonormal frame. Notice that in contrast to (4,5), the supersymmetry transformations (8)-(11) are generated by a completely arbitrary (odd) variational spinor field s P pM 1 , Sq. The somewhat simplifying assumption of g 2 being flat can be omitted, actually, by adding an appropriate curvature term to the integrand of (6). In what follows, however, we restrict ourself to the case where pM 2 , g 2 q is flat to keep things more straightforward.
What is the geometrical meaning of the somewhat ad hoc looking functional (6) and how is it related to the functional (1) of Dirac harmonic maps? For more than 30 years, there is the conjecture that the functional of super harmonic mappings (6) is related to the moduli space of super Riemann surfaces similar to how the functional of harmonic maps (1) is related to the moduli space of Riemann surfaces (see however [5]).
Recall that a super Riemann surface is a complex super manifold M of dimension 1|1 together with a rank 0|1 dimensional distribution D Ă T M, such that D bD » C T M{D. Furthermore, in [9], it has been shown how the functional (6) of super harmonic maps can be re-written on super Riemann surfaces as where : M Ñ N is a mapping between families of super manifolds which is the analogue of ϕ : M 1 Ñ M 2 in the case of (1). The formal similarity between (13) and (1) is apparent. Within the super setting, the supersymmetry transformations (8)-(11) have the geometrical meaning of a specific (infinitesimal) diffeomorphism on the super Riemann surface M. For details, we refer to [8] and, especially, to [9]. There, it is shown, for the first time, in all details that the functional (13) is indeed well-defined on the moduli space of super Riemann surfaces like (1) is well-defined on Teichmüller space. Moreover, the geometrical meaning of the gravitino is shown to be related to the embedding of an underlying Riemann surface into M. Finally, the variation of (6) with respect to the gravitino is demonstrated to have the geometrical meaning of a tangent vector field on the moduli space of super Riemann surfaces in "odd" directions, similar to the energy-momentum tensor is known to be tangent to the "even" directions. In a way the geometrical meaning of the functional (6) has been fully clarified in terms of super differential geometry. Yet, one may pose the question to what extend the functional (6) and super Riemann surfaces can also be motivated within the setting of "classical" (i.e., non-super) differential geometry. In fact, in [8], it is discussed how super Riemann surfaces are related to spinor bundles over Riemann surfaces together with the gravitino field χ . This classical geometrical background seems more suitable for geometrical analysis than the super setting. One reason for this might be the fact that within the super setting the functional (6) is not longer real-valued but has to be understood as a mapping between super manifolds. Actually, this seems to be unavoidable when one insists on supersymmetry also within the classical frame as it is exposed below.
In this work, we review on how much of the classical setup can be retained to understand the functional of super harmonic maps (6) together with the super Weyl and supersymmetry transformations (7)- (11). Although much is known on this matter, already, it still seems worth presenting a detailed account on how supersymmetry enforces super geometry. In fact, our discussion should be understood as being complementary to what has been presented in [8] and, in particular, in [9].

The Geometrical Setup
In this section, we summarize the geometrical background and fix the notation already used in the previous section. The assumption that M 1 is two-dimensional and orientable has far reaching consequences.
Let pM 1 , g 1 q be a two-dimensional orientable Riemannian manifold (Riemann surface). The induced Riemannian volume form ω 1 " dvolpg 1 q P 2 pM 1 q yields an almost complex structure I P EndpT M 1 q via Of course, the almost complex structure would be the same for the metric rescaled by a positive function. In other words, there is a one-to-one correspondence between almost complex structures and conformal classes of metrics on M 1 . This well-known fact can also been inferred from the fact that both almost complex structures and conformal classes of metrics on M 1 yield the same reduction of the structure group of the frame bundle by R`Ŝ Op2q Ă GLp2, Rq.
It is particular to the two-dimensional case that any such almost complex structure is integrable. Consequently, M 1 may be regarded as a one-dimensional complex manifold. It follows that the complexified tangent bundle splits into the holomorphic and anti-holomorphic vector fields on M 1 . That is, Clearly, the realification of T p1,0q M 1 is but T M 1 . As Spinp2q » SOp2q, the real rank two Majorana spinor bundle π S : S Ñ M 1 associated to a chosen spin structure on M 1 is also equipped with a symmetric scalar product and an antisymmetric bilinear form. Those are given by the lifts of the metric g 1 and the volume form ω 1 on T M 1 and will be denoted by the same symbol on S. Consequently, similar to (14), there is an almost complex structure I on S that depends only on the conformal class of g 1 .
The complexification S " S b C is called the complex bundle of Dirac spinors and splits into the eigenspaces of I of eigenvalue˘i, such that The mutually complex conjugate sub-vector bundles W (eigenvalue`i) and W (eigen-value´i) are called Weyl spinor bundles. The complex line bundle W is isomorphic as a complex line bundle to S, where the complex structure on the latter is given by the almost complex structure I. Furthermore, as the chosen spin structure consists of a fiber wise double cover Spinp2q Ñ SOp2q, one obtains the following identities of complex line bundles: In fact, the choice of a line bundle W with the property (17) is equivalent to the choice of a spin structure. A corollary of (17) is that W is a holomorphic line bundle on the complex manifold M 1 .
Clearly, the factorization of the holomorphic vector fields on a Riemann surface into spinors (17) corresponds to the basic property of a super Riemann surface. That is, the choice of a 0|1-distribution D Ă T M in the "super world" reduces on the "classical" side to the choice of a spin structure on M 1 . Indeed, one can show that trivial families of super Riemann surfaces are in one-to-one correspondence to Riemann surfaces with chosen spin structure, see, e.g., [10,Proposition 4.2.2.]. To also capture non-trivial families of super Riemann surfaces, one needs the gravitino field χ that appeared already in the first section.
We will now turn to the study of differential forms with spinor values, the bundle of which χ is a section.
The twisted Dirac spinor bundle π SbT * M 1 : Here, the real sub-bundle π SbG : S b G Ñ M 1 refers to the canonical real structure on S b T * M C 1 . Notice that the rank two complex vector bundle with total space W 3 ' W 3 has a canonical real structure G in contrast to the complex line bundle with total space W (or W ). The latter has a real structure if and only if it is trivial. Notice that G is the realification of the complex line bundle As an upshot also the real twisted spinor bundle π SbT * M 1 : Explicitly, the corresponding projection operators read Here, and in the sequel, we take advantage of Einstein's summation convention. Also, e 1 , e 2 is a local (oriented) frame on T M 1 with dual frame denoted by e 1 , e 2 . Finally, denotes a Clifford map. We also make use of the common notation: γ k " γ pe k q, whenever e 1 , e 2 is an oriented orthonormal basis with respect to g * 1 . In more abstract terms, the complementary projection operators p and q " 1´p are given by the following two mappings: Since δ γ˝δ " 1, one may define p :" δ ˝δ γ . We call δ γ the quantization map and simply write δ γ pαq " γ pαq P EndpSq for all α P T * M 1 .
Notice that the projection operators p and q are self-adjoint, such that the decomposition becomes orthogonal. Let 7{5 : T * M 1 » T M 1 be the "musical" isomorphisms defined by g 1 and its dual g * 1 , such that, for instance, g * 1 pα, βq " g 1 pα 7 , β 7 q for all α, β P T * M 1 . We define for all s P S the canonical inclusion S ãÑ S b T M 1 by δ 7 s :" 1 2 γ k s b e k P S b T M 1 . Notice that every Clifford map (21) induces a canonical one-form P 1 pM 1 , EndpSqq that is given by pvq :" 1 2 γ pv 5 q for all v P T M 1 . Explicitly, " 1 2 δ ij γ i b e j . Accordingly, we put 7 :" 1 2 γ k b e k . Any g 1 -orthonormal frame e 1 , e 2 for T M 1 yields the hermitian frames e " pe 1í e 2 q{ ?
2 of T p1,0q M 1 and e " pe 1`i e 2 q{ ? 2 for T p0,1q M 1 . Similarly on S, a g 1orthonormal frame s 1 , s 2 gives rise to a hermitian frame w " ps 1´i s 2 q{ ?
2 on W and w " ps 1`i s 2 q{ ?
2 on W . We suppose furthermore that the frame for S covers the frame for T M 1 , i.e., w b w " e. For the dual spaces pT p1,0q M 1 q˚and pT p0,1q M 1 q˚, we use the dual basis of e, e, denoted by θ and θ , respectively. Then, by construction of (19), it holds that The orthogonal decomposition (20) is but the irreducible decomposition of the twisted Majorana bundle SbT * M 1 into its spin-1/2 and a spin-3/2 parts. That is, every z P SbT * M 1 has a unique decomposition z " δ s`g, where s P S is uniquely determined by s :" δ γ pzq. Likewise, the spin-3/2 spinor g P G is uniquely determined by δ γ pgq :" 0. It is amazing that the classical realm discussed so far can be basically subsumed by the fact that the Clifford algebra Cl 2,0 of the Euclidean plane R 2,0 decomposes as and by the equality Spinp2q " SOp2q. The latter identification allows to regard both the metric g 1 and the symplectic form ω 1 " dvolpg 1 q as being inner products on S. That is, the notation x¨,¨y S for the metric on the spinor bundle is but g 1 . The different notation used is just to indicate on whether g 1 acts as an inner product on spinors or on tangent vectors. As mentioned already, in the usual approach to the action of Dirac harmonic maps (2), one considers the Clifford algebra Cl 0,2 , instead of Cl 2,0 . This is to avoid the flaw of a vanishing Dirac action. Here, one takes into account that Cl 0,2 » R H and identifies the latter, as a vector space, with C 2 . Notice that the only spinor module of Cl 0,2 is given by the Clifford algebra Cl 0,2 itself. Hence, in the usual approach to Dirac harmonic maps on Riemann surfaces, one identifies spinors with sections of a complex vector bundle of rank two. Clearly, this spinor module carries a skew-hermitian representation of the Clifford action. However, in this approach, one loses much of the structure contained in the decomposition (24). In particular, one loses the factorization (17), which is at the very heart of the definition of super Riemann surfaces and the notion of gravitinos. The meaning of the latter within the classical realm will be discussed next.

Torsion on Riemann Surfaces
With a connection ∇ on the tangent bundle of an arbitrary smooth manifold M, there are associated two different geometrical objects: the curvature and the torsion of this connection. The torsion may be defined as where, respectively, d ∇ and Id P 1 pM, T Mq are the exterior covariant derivative with respect to the connection ∇ and the canonical one-form that corresponds to the soldering form on the frame bundle of M. On an n-dimensional orientable Riemannian manifold pM, gq, one may describe the torsion of a metric connection equivalently in terms of a one-form A P 1 pM, sopnqq via τ ∇ pu, vq ": Apuqv´Apvqu pu, v P T Mq.
In particular, in the case of a Riemann surface the torsion of the most general metric connection reads τ ∇ " A b I, with A P 1 pM 1 q being an ordinary one-form. Accordingly, the torsion can be lifted to the (real) spinor bundle S as 1 2 A b γ 1 γ 2 P 1 pM 1 , EndpSqq. Notice that the most general metric connection on M 1 reads where pe k q :" g M p∇ LC e k e 1 , e 2 q pk " 1, 2q is the connection form of the Levi-Civita connection with respect to an arbitrary (oriented) g 1 -orthonormal basis. We denote the induced connection on the (real) spinor bundle by B A :" ∇ S`1 2 A b γ 1 γ 2 , with ∇ S loc. " d`1 2 b γ 1 γ 2 being the ordinary spin connection on S.
In [11], it has been demonstrated how the functional can be derived from a specific class of Dirac operators. Here, respectively, is the quantized connection B A and F A :" dA is the curvature form associated to the torsion τ ∇ . Even more, for smooth mappings ϕ : M 1 Ñ M 2 between arbitrary Riemann manifolds, it has been also shown in [11] how the functional of Dirac harmonic maps with torsion (26) naturally fits with the geometry of Dirac operators of simple type.
However, in the two-dimensional case, the part that involves the scalar curvature on M 1 becomes a topological invariant (Euler characteristic). Up to this constant, the functional (26) is known to be Weyl invariant if and only if F A " 0. In this case, one may always find a gauge (i.e., a frame), such that torsion vanishes, locally (cf. (25)). Hence, by imposing conformal invariance (26) reduces to the functional (2) of Dirac harmonic maps. This demonstrates how the latter naturally fits with the geometry of Dirac operators of simple type. Let us point out, however, that by the geometrical construction indicated the (local) vanishing of torsion on Riemann surfaces is implemented by a co-homological condition instead put in by hand right-a-way. This co-homological condition may be viewed as the analogue of the independency of the functional of super harmonic maps (6) from the torsion, although torsion is around due to (11).
How does the gravitino enter the classical stage? The answer is provided by the factorization condition (12) imposed on the torsion by the demand of supersymmetry.
Indeed, one has the following Proposition 1 On a Riemann surface every A P 1 pM 1 q factorizes by a section χ P pM 1 , S b T * M 1 q, i.e., A " xγ pχq, χy S .
Proof The proof basically takes advantage of the factorizations (17)-(18). Explicitly, let A be given by A " a 1 e 1`a 2 e 2 " aθ`āθ P 1 pM 1 q in terms of s P SecpM 1 , Sq. We may define the spinor s and the gravitino g in terms of A as follows as 1´I m ? as 2 " a 1 s 1`a2 s 2 P S, Apparently, the coefficients of the gravitino g transform with respect to a 3{2representation of Spinp2q " SOp2q, whereas the coefficients of s with respect to the fundamental representation of the spin group. One calculates that xs, gy S " A.
Alternatively, one may write Clearly, given χ P 1 pM 1 , Sq, the formula (27) defines a torsion. Yet, the correspondency between the torsion and the gravitino (i.e., A Ø χ ) is far from being unique. Of course, the assumption F A " 0 (enforced by ordinary conformal symmetry) remedies this factorization ambiguity, for it guarantees that the functional (26) does not depend at all on torsion. Indeed there are many ways to factorize torsion in terms of the section χ . One may thus pose the question what is the invention of torsion good for when looking at the functional of Dirac harmonic maps from the classical point of view? In the language of physics, the answer can be expressed as follows. The factorization of torsion by gravitino fields allows to introduce additional "couplings" (i.e., invariants) in terms of the gravitino which would not appear otherwise. Of course, these additional invariants should be compatible with all the symmetries imposed. Especially, the couplings should obey conformal symmetry. When further restricted to at most quadratic invariants one ends up with the following three conformal invariants: Super Weyl invariance eventually allows to reduce these couplings further to exactly the two coupling terms that appear in the functional of super harmonic maps (6). Indeed, the conformal invariant (29) is ruled out by imposing invariance also under (7). We stress that the invariance of (28) under super Weyl transformations is guaranteed by the orthogonal decomposition (22).
Having clarified how the functional of super harmonic mappings may be motivated within the geometrical setup of classical differential geometry, we now turn to the question how to motivate the supersymmetry transformations (8)- (11) from this point of view. This is mainly due to the triviality of the Dirac action for real spinors, as will be discussed next.

The Dirac Action on Riemannian Surfaces and Supersymmetry
In the case of a (closed compact) two-dimensional Riemannian manifold, the Dirac action (3) vanishes in the case of Majorana (i.e., real) spinors. The reason for this is that the Clifford algebra Cl 2,0 has no skew-symmetric Majorana representations. In fact, the real spinor module only allows for symmetric representations of Cl 2,0 . Hence, the standard spin Dirac operator is skew-symmetric when acting on Majorana fields. Therefore, when switching to Dirac (i.e., complex) spinors, one may replace by to obtain a hermitian Dirac operator. However, in this case, the functional of super harmonic maps is not guaranteed to be real, which makes an analytical treatment of this functional more complicated.
The main motivation for this sign rule is that it remedies the main cause for the vanishing of the Dirac action, namely the non-existence of skew-symmetric representations for Cl 2,0 . It holds that every g 1 -symmetric Majorana representation of Cl 2,0 isω 1 -skew-symmetric and vice versa: g 1 ps, γ pαqs 1 q " g 1 pγ pαqs, s 1 q ôω 1 pŝ, γ pαqŝ 1 q "´ω 1 pγ pαqŝ,ŝ 1 q for all α P T M 1 and s, s 1 P S (either "ordinary", or "odd" spinors). Indeed, it is possible to obtain non-trivial Dirac actions usingω 1 , see Lemma 1 below. In super algebra, the vector bundleŜ is constructed by extending the scalars to some anti-commuting ring. But, how can (31) be understood within the classical setting, thereby avoiding the notion of super algebra and super manifolds? A kind of "cheap" way in doing so is to assume that also the target manifold M 2 has a symplectic structure ω 2 and to use a twisted spinor bundle. More precisely, we replace ϕ * g 2 by ϕ * ω 2 to obtain on the twisted spinor bundle π E : E :" the symmetric inner product pφ, ψq E " kl ω 2 pφ k , ψ l q " pψ, φq E .
Here, the symplectic form ω * 1 on the dual spinor bundle is defined in terms of the dual of the Riemannian volume form on M 1 . Furthermore, we set kl " ω1 pe k , e l q for any symplectic orthonormal basis s 1 , s 2 P S˚. As a matter of notation, we use the shorthand such that formally the coefficients of the spinor fields ψ " s k b ψ k and φ " s l b φ l anti-commute, i.e., φ k¨ψl "´ψ k¨φl .
One then proves the following

Lemma 1 For every Clifford connection on the twisted spinor bundle E (see (33)), the Dirac action (3) is a real-valued non-trivial functional. Furthermore, the Dirac action (3) does not depend on the metric connection used on the spinor bundle.
Proof The prove of the statement relies crucially on (32). Consequently, for k " 1, 2, one gets pψ, γ k γ 1 γ 2 ψq E " 0.
Hence, Consequently, the action functionals of Dirac harmonic maps (2) and super harmonic maps (6) can be realized also for the Clifford algebra Cl 2,0 using the twisted spinor bundle E instead of E in the Dirac action. We put emphasize that already in this setting both functionals have all desired symmetry properties besides supersymmetry. In particular, the Dirac action does not vanish and the functional (6) is still real-valued as opposed to its supersymmetric analogue. Notice, however, that the realization of E provides a severe restriction on the target manifolds of the map ϕ. For example, it does not work in the most simple case pM 2 , g 2 q " R.
We now want to check whether the action functional of Dirac harmonic map is invariant to the first order under the supersymmetry transformations δ s ϕ " ψpsq " ω S * pψ,sq P SecpM 1 , ϕ * T M 2 q, δ s ψ " δ γ pdϕqs P SecpM 1 , Eq. (34) Here, s P pM 1 , Sq denotes an arbitrary spinor field ands P pM 1 , S * q its symplectic dual that is defined bys :" ω 1 ps,¨q.
Notice that our convention for the symplectic dual is the following: for given symplectic orthonormal basis s 1 , s 2 P S, with dual basis s 1 , s 2 P S * , the symplectic dual reads:s k :" ω 1 ps k ,¨q " kj s j P S * . Similarly, we defines l :" ω * 1 p¨, s l q "´ li s i P S, such that for all k, l " 1, 2, we haves l ps k q :"s k ps l q "´s l ps k q "´δ l k . To simplify the discussion, we restrict ourselves to the simple case of a trivial spinor bundle over M 1 " C. Although the integral (2) is not well defined in this case, the variation of the integrand is of course.
Proposition 2 Let s 0 be a constant spinor field. The variation of the functional of Dirac harmonic maps (2) that is defined to first order by the supersymmetry transformations (34) is given by with the local tangent vector fields J ϕ , J ψ P pM 1 , T M 1 q being given by 2J ϕ :" xψ,s 0 b grad ϕy E , 2J ψ :"´2`ψ, 7 x γ pdϕqs 0˘E .
Proof The statement is shown to hold true by a straightforward calculation.
The statement clearly demonstrates that, using p¨,¨q E instead of x¨,¨y E for the Diracterm, the functional of Dirac-harmonic maps is not invariant with respect to the supersymmetry transformations (34) even for constant variational spinor fields. The detailed calculation demonstrates the failure in vanishing of the variation has its origin in the different inner products used on the twisted spinor bundle for the "bosonic" and "fermionic" parts of the functional of Dirac harmonic maps. Of course, this holds also true in the case of non-trivial spinor bundles and the more general functional (6) with supersymmetry transformations (8)- (11).
On the other hand, the only way to circumvent a trivial Dirac action on Riemann surfaces (for real spinors) consists in the usage of the symplectic form on the (real) spinor bundle instead of the usual metric. Again, this guarantees (symplectic) skew-symmetry of the Clifford action necessary for a symmetric Dirac operator.
We thus proceed with a geometrical construction very similar to what has been used in order to derive certain functionals, like (26), from Dirac operators of simple type (cf. [11]). The symmetry property (31) alone has not proven sufficient to reproduce super symmetry. Therefore, we specify more properties of odd spinors and give another construction of p¨,¨q E . That is, for given Grassmann algebra , we consider the Grassmann extension of the twisted spinor bundle (33) Similarly, one may replace the ordinary tangent bundle by its Grassmann extension T M 1 b Ñ M 1 , etc.. Clearly, the Grassmann extension of any vector bundle contains the latter as a distinguished sub-vector bundle. For instance, (35) contains (33) because of the canonical embedding Of course, this holds true similarly for every Grassmann extension. Accordingly, by a slight abuse of notation, we do not make a distinction between a vector bundle and its Grassmann extension. That is, for given , every (real) vector bundle is considered to be contained into its Grassmann extension. By construction, all vector bundles are naturally Z 2 -graded. By an "even/odd" section, we thus mean a section restricted to ˘.
We consider the following graded inner (fiber) product with values in the Z 2 -graded ring : p¨,¨q E : Here, for all homogeneous elements z k " s * k b y k P E pk " 1, 2q, we put xs * 1 b y 1 , s * 2 b y 2 y E :" ω * 1 ps * 1 , s * 2 qϕ * g 2 py 1 , y 2 q P R. It follows that for all elements of definite parity pz, wq E "´p´1q |z||w| pw, zq E .

Lemma 2 The twisted spin-Dirac operator
, restricted to odd sections, is symmetric with respect to the scalar product ppφ, ψqq :" Proof The proof is straightforward and makes use of being a quantized Clifford connection. Hence, Furthermore, the Clifford action is skew-symplectic. Therefore, Altogether the calculation yields with the (even) tangent vector field J P pM 1 , T M 1 q being given by J :" 2pφ, 7 ψq.
As a consequence, the Dirac action for odd (twisted) Majorana spinors is non-trivial as opposed to the case of even Majorana spinors. Similar to Lemma 1, one may prove that the Dirac action is actually independent of the metric connection used on the spinor bundle.

Proposition 3
Assume that the odd variational spinor field s P hol pM 1 , S´q is holomorphic and pM 2 , g 2 q be flat. The functional (38) is stationary with respect to the variation determined to first order by the supersymmetry transformations (34).
Proof As the integrand in (38) is conformally invariant, we are allowed to work in coordinates x 1 , x 2 on M 1 such that g 1 " pdx 1 q 2`p dx 2 q 2 . Furthermore, as the integrand does not depend on A, we will work with A " 0. It follows that in the specific coordinates chosen, the covariant derivative can be expressed as d ∇ s " ds. For arbitrary but fixed t P M 1 , we denote the (oriented) orthonormal frame B x 1 , B x 2 by e 1 , e 2 P T t M 1 and consider the following -valued smooth mappings: whereby to first order for all v P T t M 1 d ps, tqv :" dϕptqv`sdψpsqptqv`opsq P T ϕptq M 2 , ps, tq :" ψptq`sγ pdϕptqqsptq`opsq P Et .
Since 2γ k γ pdϕqdspe k q " qpdsqgrad ϕ, the statement follows from (23). Indeed, with θ " dz, for the holomorphic coordinate z " x 1`i x 2 and s " uw, it holds that 0 " qpdsq " q`pB z uqθ b w`pB z uqθ b w˘" pB z uqθ b w.
Notice that even though the last equation is obtained using particular local coordinates, due to conformal invariance, it glues to the global condition that s be holomorphic.
The statement of Proposition 3 can be generalized, actually. By a similar but (much) more involved calculation (analogous to the corresponding calculation presented in all details in [9], see also [1]), one may finally prove the following Proposition 4 Let, again, pM 2 , g 2 q be flat. Also, let s P pM 1 , S´q be an arbitrary odd spinor field ands P pM 1 , S * q its symplectic dual. The functional (39) with χ P 1 pM 1 , S´q, is stationary to first order with respect to δ s ϕ :" ψpsq P pM 1 , ϕ * T M 2 q, δ s ψ :" δ γ pdϕ´evpψ, χqqs P pM 1 , E´q, δ s e k :"´4ω * 1 pδ 7 s, χpe k qq P pM 1 , T M 1 q pk " 1, 2q, δ s χ :" d A s P 1 pM 1 , S´q,
The realization of anti-commutative spinors (31) by Grassmann extension of ordinary spinors thus allows a "semi-classical" interpretation of the functional of super harmonic maps and its symmetries, including supersymmetry. The prize to be paid is to deal with functionals taking values in a non-commutative ring instead of being real-valued. This is rather close, indeed, to super geometry. Indeed, one can show that the action functional A SRS from (39) is equivalent to the action functional I SDH -studied in [8] under the assumption of a trivial family of super Riemann surfaces. It seems unavoidable to use the full language of super geometry, in particular ringed spaces involving anti commutative variables, and reminiscent to the supersymmetry transformations, which seem to have a clear geometrical interpretation only within the realm of super geometry.
In contrast, the functional (6) and the factorization (12) of the torsion were shown to be already well-motivated by pure symmetry considerations also within the realm of ordinary differential geometry.