N=(4, 4) Vector Multiplets on Curved Two-Manifolds

1 downloads 0 Views 178KB Size Report
Mar 24, 2016 - Localization techniques for supersymmetric quantum field theories on ... Demanding that supersymmetry transformations do not transform ...... additional components of the 6d gauge field become a quartet of ..... [34] J. A. Harvey, S. Murthy, and C. Nazaroglu, “ADE Double Scaled Little String Theories, Mock.
BRX-TH-6293 NSF-KITP-15-103

N = (4, 4) Vector Multiplets on Curved Two-Manifolds

arXiv:1509.00890v2 [hep-th] 21 Sep 2015

Albion Lawrencea,b and Masoud Sorousha,c,d

a Martin

A. Fisher School of Physics, Brandeis University Waltham, MA 02453, USA

b Kavli

Institute for Theoretical Physics, University of California Santa Barbara, CA 93106, USA c Department

of Mathematics, Brandeis University

Waltham, MA 02453, USA d Department

of Mathematics, Coppin State University Baltimore, MD 21216, USA

Abstract We study the necessary conditions for preserving N = (4, 4) supersymmetry on curved 2d backgrounds, following the strategy of Dumitrescu, Festuccia, and Seiberg. We derive the transformation laws and invariant action for off-shell Abelian vector multiplets. An explicit solution of the supersymmetry conditions is found on the round two-sphere.

April 2015 [email protected], [email protected]

Contents 1 Introduction

1

2 N = (4, 4) superalgebra

3

3 N = (4, 4) gravity multiplet

5

4 Consistency conditions for N = (4, 4) supersymmetry

7

5 N = (4, 4) vector multiplet

8

5.1

Flat space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8

5.2

Curved space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

9

6 N = (4, 4) on S 2

13

7 Conclusions

14

A Notations and conventions

15

B so(4) and su(2) × su(2)

16

1

Introduction

Localization techniques for supersymmetric quantum field theories on curved Euclidean backgrounds have yielded a remarkable set of exact results. Pestun’s pioneering work computed partition functions and Wilson line expectation values for supersymmetric gauge theories on S 4 [1]. There has since been a host of results for three-dimensional QFTs [2–9]. (For a review see [10].) In two dimensions, these techniques were used to compute the exact partition function on S 2 for N = (2, 2) gauged linear sigma models (GLSMs) [11, 12]. For GLSMs which flow to nonlinear sigma models with Calabi-Yau target spaces, these results were shown to yield the exact K¨ ahler potential on the moduli space of K¨ ahler deformations of the Calabi-Yau [13–16]. They have also been used to study 2d theories on spaces with boundaries [17, 18] and on nonorientable surfaces [19]. The starting point of these calculations is the realization of supersymmetry on curved backgrounds, which involves constraints on the supersymmetry parameters – for example, they might be Killing or conformal Killing spinors [1,11,12] – and a deformation of the flat space algebra. A systematic approach to finding these constraints and deformations was initiated for four-dimensional theories in [20–22]. In this approach, one considers off-shell supergravity multiplets in the limit that the Planck scale goes

1

to infinity. Demanding that supersymmetry transformations do not transform the background metric and gravitino constrains the spinors; allowed background auxiliary fields parametrize the deformations of the flat-space superalgebra.1 These constraints have been carefully analyzed in various cases in four [20–22, 25–27] and two dimensions [28], the latter for N = (2, 2) theories. In four dimensions, localization techniques been applied to study the dependence of the partition functions of these theories on the geometry of the spacetime manifold [25, 26]. N = (4, 4) backgrounds retain a great deal of interest – see for example [29–38]. In this article, we study manifestly N = (4, 4) supersymmetric quantum field theories on curved two-dimensional backgrounds, following the procedure in [20, 21].2 We will focus on theories of Abelian vector multiplets only. These have an off-shell realization with a finite number of auxiliary fields. Our eventual goal is to consider N = (4, 4) gauged linear sigma models which might for example realize An ALE spaces via hyperK¨ ahler quotients. The completely offshell hypermultiplets which transform linearly under gauge symmetries cannot be realized via a finite number of auxiliary fields; partially off-shell multiplets (which close on an off-shell central charge) with finite set of auxiliary fields do exist [39], as well as hypermultiplets which cannot be separately linearly gauged without breaking the SU (2) R-symmetry [39–41]. We found the story for vector multiplets to be sufficiently rich to merit its own treatment. This paper is organized as follows. In section 2, we review the ”large” N = (4, 4) superalgebra, as described in [42]. In section 3, we study the supersymmetry transformations of the field components of the gravity multiplet and derive the necessary conditions for preserving N = 4 rigid supersymmetry on a curved background. In section 4, we study the resulting constraints on 2d manifolds which admit N = (4, 4) supersymmetry. In section 5, we derive the supersymmetry transformations of the vector multiplet propagating on curved backgrounds, and show that they transform under the large N = (4, 4) superalgebra. In section 6, we explicitly solve the supersymmetry equations derived in section 3 on the two-sphere. Section 7 is devoted to our concluding remarks, and possible directions for future research. Appendix A summarizes our notations and conventions, and presents a list of useful identities used throughout the paper; Appendix B reviews the isomorphism of SO(4) and SU (2) × SU (2). 1 2

For earlier work applied to AdS4 backgrounds, see [23] and [24]. Equivariant elliptic genera for N = (4, 4) theories have been computed via localization when the worldsheet is a flat

torus, by writing the theory in N = (2, 2) language [36].

2

2

N = (4, 4) superalgebra

N = (4, 4) superconformal algebras come in a one-parameter family [42, 43] of algebras which generically contain the Kac-Moody algebra su(2) ⊕ su(2) ⊕ u(1), of which the su(2) components correspond to an R symmetry. Two particular values of this parameter correspond to well-known versions of N = (4, 4) algebras: • The ”large” N = 4 superconformal algebra with Kac-Moody subalgebra so(4) ≡ su(2)(+) ⊕ su(2)(−) and finite subalgebra osp(4|2). This corresponds to γ =

1 2

in [42]. The labels (±)

merely distinguish the two su(2) factors. • The ”small” superconformal algebra with Kac-Moody subalgebra su(2) and finite subalgebra su(2|1, 1). This corresponds to γ → 1 or γ → 0 in [42]. This is a subalgebra of the large algebra. In the limit γ → 1, the R-symmetry maps to su(2)(+) ; in the limit γ → 0, the R-symmetry maps to su(2)(−) . In all of the theories in [42], the supercharges G transform as a vector under so(4), with index a = 1, . . . , 4. If we write so(4) = su(2)(+) ⊕ su(2)(−) , the generators of so(4) can be written in terms (±)I

of generators αab 

of the two su(2) subalgebras, where I = 1, . . . 3 :

 α(±)I , α(±)J = −εIJK α(±)K , (±)I

A convenient representation for αab

(±)I

αab



 α(+)I , α(−)J = 0 ,



1 α(±)I , α(±)J = − δIJ . 2

(2.1)

is [42] =±

 1 1 I 4 δa δb − δbI δa4 + εIab , 2 2

(2.2)

with the understanding that the εIab symbol vanishes if any of its indices is equal to 4. Appendix B describes the decomposition of the vector of so(4) into a (2, 2) of su(2) ⊕ su(2). To set notation, we quote the chiral (left-moving) part of the “large” N = (4, 4) superconformal algebra [42]:  1 Lm , Ln = (m − n)Lm+n + c(m3 − m)δm+n , 12    Lm , φn = (dφ − 1)m − n φm+n ,   a 1 1 (−)I (−)I  (+)I (+)I Gm , Gbn = 2δab Lm+n + c δab δm+n m2 − + 2(n − m) αab An−m + αab An+m , 3 4  (±)I (±)J  1 IJ IJK (±)K Am , An =ε Am+n − c m δ δm+n , 6  (+)I (−)J  Am , An =0, 

3

(2.3)

  (±)I a   (±)I a  (±)I (±)I Am , Qn = αab Qbm+n , Am , Gn = αab Gbm+n ∓ Qbm+n ,  a (−)I (−)I  (+)I (+)I Qm , Gbn = 2 αab Am+n − αab Am+n + δab Um+n ,       Um , Qan = 0 , Um , Gan = m Qam+n , Um , An(±)I = 0 ,  a   1 1 Qm , Qbn = − c δab δm+n , Um , Un = − c mδm+n , 3 3

(2.4)

(±)I

Here c is the central charge of the superconformal algebra. In (2.3), {Lm , Gam , Am , Qam , Um } are generators of the left-moving chiral Virasoro algebra, chiral supersymmetry generators of dimension 3/2, chiral operators of dimension 1, chiral operators of dimension 1/2, and finally a single chiral operator of dimension 2, respectively. The lower alphabetical indices m are mode numbers for the currents; in the usual fashion, for a chiral operator of dimension dφ , O(z) =

X

On z −dφ −n

(2.5)

n

(±)I

The bosonic operators An

are generators of the su(2)(+) ⊕su(2)(−) ≡ so(4) Kac-Moody R-symmetry.

The indices (±) refer to the two su(2) factors; index i runs over {1, 2, 3}, labeling su(2) generators. The fermionic generators Gan , and Qan transform as vectors of the global part of the so(4) R-symmetry, (±)I

where a ∈ {1, 2, 3, 4}. φn is a collective notation for the fields Gan , Am , Qan , and Un , with the corresponding dimension dφ . Finally, in the full N = (4, 4) algebra, there is an equivalent antichiral (right-moving) algebra with (±)I ˜ a ˜ ˜m, G ˜ am , A˜m operators {L , Qm , Um }.

In this work the large N = (4, 4) theory will play an important role. Following [11–13], we imagine studying gauged linear sigma models which flow to nontrivial superconformal theories in the IR; only the finite subalgebra is realized at intermediate points of the renormalization group flow, and this is all that is required for localization. The chiral part of this algebra is generated by operators (±),I

{L0 , L±1 , Ga±1/2 , A0

}, and has the commutation relations:

   L1 , L−1 = 2L0 , L0 , L±1 = ∓L±1 ,     1 L1 , Ga+1/2 = 0 , L0 , Ga±1/2 = ∓ Ga±1/2 , 2     a a L1 , G−1/2 = G+1/2 , L−1 , Ga+1/2 = −Ga−1/2 ,    (±)I  L−1 , Ga−1/2 = 0 , =0, L0 , A0   (+)I (−)J  (±)I  L±1 , A0 =0, A0 , A0 =0,  (±)I (±)J    (±)K (±)I (±)I A0 , A0 = εIJK A0 , A0 , Ga±1/2 = αab Gb±1/2 ,  a  a (+)I (+)I (−)I (−)I  G±1/2 , Gb±1/2 = 2δab L±1 , G+1/2 , Gb−1/2 = 2δab L0 − 2 αab A0 + αab A0 . 

4

(2.6)

Note that in the global supersymmetry algebra realized away from the conformal point, only the vector-like su(2)(+) is generally realized (see for example [44]). The off-shell formalisms we will work with make the vector-like combination of the su(2)(+) Rsymmetry manifest. As we will review in Appendix B, the following complex linear combinations of supersymmetry generators will transform as doublets under su(2)(+) : 1 2 G− ±1/2 = G±1/2 + iG±1/2 ,

(2.7)

3 4 G+ ±1/2 = G±1/2 − iG±1/2

(2.8)

¯± We denote the complex conjugates of these as G α . In this basis, the supersymmetry algebra (2.6) becomes:  ± G+1/2 , G± −1/2 = 0 ,  ± (−)+ G+1/2 , G∓ , −1/2 = ±2iA0  + ¯+ G±1/2 , G ±1/2 = 4L±1 ,  ± (+)∓ ¯∓ G+1/2 , G , −1/2 = −2iA0  ± (+)3 (−)3 ¯± G+1/2 , G ∓ A0 ) , −1/2 = 4L0 ∓ 2i(A0

¯± ¯± , G G −1/2 = 0 , +1/2  ± (−)− ¯∓ ¯ G , +1/2 , G−1/2 = ∓2iA0  − ¯− G±1/2 , G ±1/2 = 4L±1 ,  ± (+)∓ ¯∓ G−1/2 , G , +1/2 = 2iA0  ± (+)3 (−)3 ¯± G−1/2 , G ∓ A0 ) , +1/2 = 4L0 ± 2i(A0 

(2.9)

where we have defined the raising and lowering operators of the su(2) part as (±)+

A0

3

(±)1

= A0

(±)2

+ iA0

,

(±)−

A0

(±)1

= A0

(±)2

− iA0

.

(2.10)

N = (4, 4) gravity multiplet

The off-shell N = 4 Poincar´e supergravity in two dimensions has the following field content [40, 45]: (eµa , ψµ,i , AIµ , g, h, b) ,

i = 1, 2 , I = 1, 2, 3 ,

(3.11)

where eµa , ψµ,i , AIµ , g, h, and b are the vielbein, the two Dirac gravitinos, an SU (2)-triplet one-form gauge field, an auxiliary real scalar, an auxiliary real scalar, and an auxiliary complex scalar field respectively. This can be derived by various routes [45]; one route is to start with conformal supergravity, add a conformal scalar multiplet, and fix the gauge freedom of local conformal transformations. Note that this multiplet makes a single SU (2) R-symmetry explicit; the corresponding Lie algebra is the vector-like combination of the su(2)(+) algebra discussed in the previous section. It would be interesting to consider the case that the R-symmetry of the full large N = 4 algebra is explicit after fixing gauge to arrive at Poincar´e supergravity.

5

The transformation laws of the graviton and the two gravitinos are given by3 1 1 δeµa = − ¯ǫi γ a ψµ,i + ψ¯µi γ a ǫi , 2 2

(3.12)

δψµ,i = Dµ ǫi − γµ ηi . where

1 Dµ ǫi = ∂µ ǫi + ωµab γab ǫi − iAIµ (σ I )i j ǫj ≡ ∇µ ǫi − iAIµ (σ I )i j ǫj , 4 i 1 i ηi = h γ3 ǫi − g ǫi − b γ3 ǫ∗i , 4 4 2

(3.13)

and σ I are the Pauli matrices. The gauge covariant derivative acting on the conjugate spinor is: 1 Dµ ¯ ǫi = ∂µ ǫ¯i − ωµ ab ǫ¯i γab + iAIµ (σ I )i j ǫ¯j ≡ ∇µ ǫ¯i + iAIµ (σ I )i j ¯ǫj 4

(3.14)

The transformations and field contents listed above are for the theory in Lorentzian signature. Once we have this picture, the Euclidean version proceeds by: • Promoting real fields to complex fields. • Promoting complex conjugate fields such as b, b∗ to independent complex fields. This means that we also take ǫ¯ to be independent of ǫ. Upon coupling the background supergravity fields to matter, the resulting action will not in general be real. Following [20, 21], in order to decouple gravity from the theory and to obtain a consistent rigid supersymmetric theory in a curved background, we set the gravitinos and their supersymmetry variations to zero: this ensures that the 2d metric and the background superfields are invariant under supersymmetry. When we ultimately couple the supergravity multiplet to matter, the metric and the auxiliary fields in the gravity multiplet will appear in the supersymmetry variations of the matter fields, leading to a consistent realization of supersymmetry on a curved background. Setting δψµ,i = 0 in (3.12), we arrive at the following constraint on the Dirac SU (2)-doublet spinors of the curved background Dµ ǫi = γµ ηi .

(3.15)

Rewriting (3.15) in its explicit form, we find the following conditions on the ǫi : 1 i i ∇µ ǫi = hγµ γ3 ǫi − gγµ ǫi − bγµ γ3 ǫ∗i + iAIµ (σ I )ji ǫj , 4 4 2 1 i i i i i ∇µ ǫ¯ = − hǫ¯ γ3 γµ + gǫ¯ γµ + b∗ ǫ¯i γ3 γµ − iAIµ (σ I )ij ǫ¯j . 4 4 2 3

(3.16)

We are using the notation in [45]; a summary of our conventions and a list of useful identities used throughout this

paper can be found in appendix A.

6

were the auxiliary fields h, g, and b acquire constant complex values. One difference from the N = (2, 2) case is that when b 6= 0, the right hand side of the first (second) line contains a term proportional to ǫ∗ (ǫ). A second difference is the appearance of the auxiliary SU (2) gauge field.

4

Consistency conditions for N = (4, 4) supersymmetry

As in [20–22, 28], the existence of spinors satisfying (3.16) places constraints on the 2d background Σ. We will focus on the case that maximal, global N = (4, 4) supersymmetry is preserved. This means there are two complex solutions {ǫi , λi } to (3.16) for each i. In flat space with no background fields, we could take



ǫi = 

ǫi+ 0





λi = 

 ;

0 λi−

 

(4.1)

In curved space, the solutions will not generally have definite chirality; but we will assume that at each point on Σ, ǫ, λ are linearly independent spinors. For oriented two-dimensional surfaces, the spacetime is automatically complex and K¨ ahler. Following [20, 21], we can build K¨ ahler forms from bilinears of the spinors ǫi , λj , but these will simply reproduce the canonical K¨ ahler form (the 2d volume form). Next, we can build a set of complex Killing vectors ξ A,µ using ǫi , ηi : ξ 1,µ = ǫ¯i γ µ ǫi ξ 2,µ = ǫ¯i γ µ λi ¯i γ µǫ ξ 3,µ = λ i ¯i γ µλ ξ 4,µ = λ i

(4.2)

There is no guarantee that these are independent. The supersymmetry conditions imply the Killing vector equation ∇µ ξ A,ν + ∇ν ξ A,µ − g µν ∇σ ξ A,σ = 0 .

(4.3)

Finally, we get constraints on the auxiliary fields by studying the commutator of covariant derivatives acting on the spinors [∇µ , ∇ν ]ǫi = =

1 1 R ab γab ǫi = R(x)εµν γ3 ǫi 4 µν 4 i i εµν γ ρ (∂ρ h + i∂ρ gγ3 ) ǫi − εµν γ ρ ∂ρ b ǫ∗i 4 2  1 2 2 ∗ I − εµν h + g + 4bb γ3 ǫi + iFµν σ I i j ǫj 8

(4.4)

where I Fµν = ∂µ AIν − ∂ν AIµ + 2εIJK AJµ AK ν

7

(4.5)

is the SU (2)-covariant field strength for A, and: 1 [∇µ , ∇ν ]ǫ¯i = − ¯ǫi γ3 R(x)εµν 4 i i εµν ǫ¯i γ ρ (∂ρ h − i∂ρ gγ3 ) − εµν ǫ¯i γ ρ ∂ρ b∗ = 4 2  1 I + εµν ǫ¯i γ3 h2 + g 2 + 4bb∗ − iǫ¯j σjI i Fµν 8

(4.6)

We have the same equations if we substitute ǫi → λi . Now if ǫi , λi are linearly independent spinors at each point on Σ, and we are working in Euclidean space so that ǫ¯i is independent of ǫi (that is, not built from the complex conjugate spinor), the integrability conditions are: 1. h, g, and b are all constant. I = 0. 2. Fµν

3. R(x) = −

 1 2 h + g 2 + 4bb∗ 2

On a compact two-dimensional surface, the flat connection corresponds to Wilson lines of the manifest SU (2) R-symmetry. As in [28], nontrivial Wilson lines will break supersymmetry, so we demand that AIµ is pure gauge. Note that the first and third condition requires constant curvature, and for spaces of constant positive curvature, we must take h or g to be imaginary, or let b, b∗ be independent. For our later use of constructing an invariant action on a curved space, we need to calculate the Laplacian of the Dirac spinor ǫi satisfying the supersymmetry condition (3.16). Using (3.16), it is straightforward to calculate the action of the Laplacian operator on Dirac spinor doublet ǫi Dµ Dµ ǫi =

 1  h2 g2 + + bb∗ ǫi . 2 4 4

(4.7)

N = (4, 4) vector multiplet

5

In this section, we will construct the supersymmetry transformations and invariant action for an Abelian vector multiplet propagating on a curved two-manifold. We will find that these transformations in general realize the “large” N = (4, 4) supersymmetry algebra acting on vector multiplets. Before considering the case of the curved space, we will briefly summarize the N = (4, 4) vector multiplet story in flat space, following [45].

5.1

Flat space

N = 4 vector multiplets in two dimensions have an off-shell formulation with a finite number of auxiliary fields; the multiplets and action can be obtained via dimensional reduction from N = 2 8

theories in four dimensions [45, 46]. The off-shell multiplet has 16 degrees of freedom, consisting of the following fields: ¯i ) , (A, B, C, C ∗ , Vµ , dI , χi , χ

i = 1, 2 , I = 1, 2, 3 ,

(5.1)

in which A and B are real propagating scalar fields, C is a complex propagating scalar field, Vµ is a U (1) gauge field, dI are an SU (2) triplet of auxiliary scalar fields, and χi are SU (2)-doublet Dirac spinors. We will find it useful to combine A, B into a complex field U = A + iB. The rigid supersymmetry transformation laws of the fields of the vector multiplet are given by [45] δC = ǫ¯i χi

,

¯i ǫ∗i δC ∗ = −χ

,

¯i P− ǫi δU = ǫ¯i P− χi + χ

,

¯i P+ ǫi , δU ∗ = ¯ǫi P+ χi + χ

1 1 1 i 1 δχi = ∂µ Cγ µ ǫ∗i − ∂µ U P− γ µ ǫi − ∂µ U ∗ P+ γ µ ǫi − F γ3 ǫi − dI (σ I )ij ǫj , 2 2 2 4 2 i 1 1 1 1 ¯i = ∂µ C ∗ ǫ¯i γ µ + ∂µ U ǫ¯i γ µ P− + ∂µ U ∗ ǫ¯i γ µ P+ − F ¯ǫi γ3 − dI (σ I )ij ¯ǫj , δχ 2 2 2 4 2 i i i ¯ γµ ǫ i ) , δVµ = (ǫ¯ γµ χi + χ 2 1 1 ¯ j γ µ ǫi . δdI = (σ I )ij ǫ¯j γ µ ∂µ χi − (σ I )ij ∂µ χ 2 2

(5.2)

wherfe P± = 12 (1 ± γ3 ). In (5.2), F is defined as F = εµν Fµν where Fµν is the field strength associated with the abelian vector field Vµ . The invariant Lagrangian which is preserved by supersymmetry transformations (5.2) is [45]: 1 1 1 1 ¯i γ µ ∂µ χi . L = ∂µ U ∂ µ U ∗ + ∂µ C ∂ µ C ∗ + Fµν F µν − dI dI − χ 2 2 4 2

(5.3)

and is invariant up to total derivatives.

5.2

Curved space

To find the transformation laws in the curved space, we replace ordinary derivatives with the appropriate covariant derivatives. We define the two following SU (2)-doublet covariant derivatives (Dµ )ji = ∇µ δij − iAIµ (σ I )ji

,

¯ µ )j = ∇µ δj + iAI (σ I )j , (D µ i i i

(5.4)

where δij is the Kronecker delta symbol. In analogy with (5.2), we take the supersymmetry transformation rules for the components of the vector multiplet to be: δC = ǫ¯i χi

,

¯i ǫ∗i δC ∗ = −χ

,

¯i P− ǫi δU = ǫ¯i P− χi + χ

,

¯i P+ ǫi , δU ∗ = ǫ¯i P+ χi + χ

1 1 1 i 1 (Dµ )ji (Cγ µ ǫ∗j ) − (Dµ )ji (U P− γ µ ǫj ) − (Dµ )ji (U ∗ P+ γ µ ǫj ) − F γ3 ǫi − dI (σ I )ij ǫj , 2 2 2 4 2 1 1 i 1 ¯ µ )i (C ∗ ǫ¯j γ µ ) + (D ¯ µ )i (U ǫ¯j γ µ P− ) + (D ¯ µ )i (U ∗ ǫ¯j γ µ P+ ) − F ¯ǫi γ3 − 1 dI (σ I ) i ǫ¯j , ¯i = (D δχ j j j j 2 2 2 4 2 i ¯ i γµ ǫ i ) , δVµ = (ǫ¯i γµ χi + χ 2 1 1 ¯ j γ µ ǫi ) . δdI = (σ I )ij ∇µ (ǫ¯j γ µ χi ) − (σ I )ij ∇µ (χ 2 2

δχi =

9

(5.5)

The following action is then invariant under (5.5): 1 1 i 1 i ¯i γ µ (Dµ )ji χj + h χ¯i γ3 χi − g χ ¯ χi L = ∇µ U ∇µ U ∗ + ∇µ C ∇µ C ∗ − χ 2 2 2 2   1  h2 g2 1  h2 g2 1 + + bb∗ U U ∗ + + + bb∗ CC ∗ + dI dI + 2 4 4 4 4 4 4 2 1 1 1 − F + (h − ig)U + (h + ig)U ∗ + b∗ C + b C ∗ , 4 2 2

(5.6)

I = 0 which follows from the integrability conditions in if in addition we impose the constraint Fµν

section 4. Given the above supersymmetry transformations, we can show that the commutator of these transformations close on the large N = (4, 4) algebra. A direct computation gives the first set as: 

 δǫ , δλ¯ U = Lξ U + ρ U − β+ U + β− U ,   δǫ , δλ¯ U ∗ = Lξ U ∗ + ρ U ∗ + β+ U ∗ − β− U ∗ ,   δǫ , δλ¯ C = Lξ C + ρ C − β+ C − β− C ,   δǫ , δλ¯ C ∗ = Lξ C ∗ + ρ C ∗ + β+ C ∗ + β− C ∗ ,   µ µ δǫ , δλ¯ V µ = (LA ξV) +∇ Λ   3 δǫ , δλ¯ χi = LA ξ χi + ρ χi − β− χi,L − β+ χi,R 2 1 ¯j µ ν 1 ¯j µ ν − (λ γ γ Dµ ǫi )γν χj + (λ γ γ Dµ ǫj )γν χi , 4 4  i  3 i ¯i ¯ = LA ¯ ¯i ¯i δǫ , δλ¯ χ ξ χ + ρ χ + β− χL + β+ χR 2 1 1 j ¯ i γ ν γ µ ǫ )χ ¯ j ν µ ¯i γ , − (Dµ λ j ¯ γν + (Dµ λ γ γ ǫj )χ ν 4 4  I  δǫ , δλ¯ d = Lξ dI + ρ dI  1 ∗ ¯j γµγν P ǫ U + D λ ¯j µ ν + (σ I )ij Dµ Dν λ + i ν γ γ P− ǫi U 4  ¯j P γ ν γ µD ǫ U − λ ¯j P γ ν γ µD ǫ U ∗ . −λ + ν i − ν i

(5.7)

where χi,L = P− χi ,

χi,R = P+ χi ,

1 1 ¯i µ ¯iγ µǫ  = 1 ∇ ξµ , γ ǫi , ρ = − ∇µ λ ξµ = − λ i µ 2 4 2   1 ¯iP ǫ + U ∗ λ ¯iP ǫ ¯iP γµǫ − λ ¯iP γ µD ǫ  , Λ = − i U λ β± = Dµ λ + i − i ± i ± µ i 4 2

10

(5.8)

and the action of the Lie derivatives acting on the field components are: Lξ (C, C ∗ , U, U ∗ ) = ξ µ ∂µ (C, C ∗ , U, U ∗ ) , A µ ν LA ξ V = Lξ V − d (ιξ A) = ξ Fµν dx ,

1 µ µν LA ξ χi = ξ Dµ χi + (∇µ ξν )γ χi , 4 1 µ ¯i ¯i ¯i µν , LA ξ χ = ξ Dµ χ − (∇µ ξν )χ γ 4

(5.9)

Lξ dI = ξ µ Dµ dI = ξ µ ∂µ dI .    i      ¯ , and δǫ , δ¯ dI vanish, using the Furthermore, the second lines of δǫ , δλ¯ V µ , δǫ , δλ¯ χi , δǫ , δλ¯ χ λ supersymmetry conditions (3.16) and the fact that γ µ γ ν γµ = 0. The next set of commutators are:  δǫ , δλ U = κ+ C ∗   δǫ , δλ U ∗ = κ− C ∗   δǫ , δλ C = κ− U + κ+ U ∗   δǫ , δλ C ∗ = 0    δǫ , δλ V µ = ∇µ υ C ∗   δǫ , δλ χi = −κ− χ∗i,L − κ+ χ∗i,R   1 ¯ j γ ν γ µ ǫi γν χ∗ + 1 Dµ ǫ¯j γ ν γ µ λi γν χ∗ − Dµ λ j j 4 4  i  ¯ =0 δǫ , δλ χ    1 ¯ j γ ν γ µ ǫi δǫ , δλ dI = − (σ I )ij ∇ν C ∗ ∇µ ǫ¯j γ ν γ µ λi − λ 4    1 ¯ j γ ν γ µ ǫi C ∗ − (σ I )ij ∇µ Dν ǫ¯j γ ν γ µ λi − Dν λ 4 

where κ± = −

(5.10)

 1 Dµ ǫ¯i P± γ µ λi − ǫ¯i P± γ µ Dµ λi 2

(5.11) i ¯i υ = λ ǫi 2 Equation (3.16) guarantees that the second line of the commutator acting on χ vanishes. The commutator acting on dI can be reduced to 

 i J δǫ , δλ dI = − (σ I σ J )ij εµν Fµν (¯ ǫj γ3 λi ) C ∗ 2

I = 0. which vanishes upon imposing the integrability condition Fµν

11

(5.12)

Finally, commutators of the conjugate spinors are:  δǫ¯, δλ¯ U = κ∗− C   δǫ¯, δλ¯ U ∗ = κ∗+ C   δǫ¯, δλ¯ C = 0   δǫ¯, δλ¯ C ∗ = κ∗− U ∗ + κ∗+ U    δǫ¯, δλ¯ V µ = ∇µ υ ∗ C   δǫ¯, δλ¯ χi = 0  i  ¯ = −κ∗− χ ¯iR ¯iL − κ∗+ χ δǫ¯, δλ¯ χ   δǫ¯, δλ¯ dI = 0 

(5.13)

While our formalism only makes a single vector su(2) R-symmetry manifest, we claim that the supersymmetry algebra here realizes the “large” N = (4, 4) superalgebra, with R-symmetry su(2)(+) ⊕ su(2)(−) , and su(2)(+) comprising the manifest R-symmetry. More precisely we find specific actions of the R-symmetry, translations, and dilatations, depending on the background auxiliary fields: the parameters ρ, β± , and κ± depend on the auxiliary fields via the supersymmetry conditions (3.16). In the case of the fermions, su(2)(+) acts on the doublet index i, while su(2)(−) acts on the doublets     (χ1 )∗ −(χ2 )∗     (5.14) χ2 χ1 This can be deduced from Appendix (B). In the case of the scalars, the left-moving su(2)(−) acts on the doublet   U   C while the right-moving su(2)(−) acts on the doublet   U∗   C

(5.15)

(5.16)

Given these identifications, Eq. (2.9) is consistent with Eqs. (5.7), (5.10), and (5.13), we see that • ξ corresponds to translations. • ρ corresponds to dilatations. ¯i via the term iξ µ Aµ,i j in LA • The vectorlike combination of su(2)+ acts on χi , χ ξ. (−)3

• β− , β+ corresponds to the left- and right-moving actions of A0 12

.

• κ− corresponds to the left-moving part of A(−)+ and κ+ to the right-moving part of A(−)+ . • κ∗− corresponds to the left-moving part of A(−)− and κ∗+ to the right-moving action of A(−)− . • Λ, vC ∗ , and v ∗ C are gauge transformations under the complexified gauge group of the abelian vector multiplet.

6

N = (4, 4) on S 2

A standard test case is to derive the supersymmetry conditions for S 2 [11, 12, 28]. Here we consider solutions to the spinor equations for general h, g, b, b∗ satisfying the integrability conditions in Section 4. We consider S 2 with the metric ds2 = r 2 dθ 2 + sin2 θdφ2



,

(6.1)

with zweibeins e1θ = r ,

e2φ = r sin θ ,

(6.2)

spin connection ωφ 1 2 = − cos θ , and Ricci scalar R =

2 . r2

(6.3)

In the Euclidean continuation, the gamma matrices become: γ12 = −iσ3 = iγ3 .

γ1 = σ2 , γ2 = σ1 ,

(6.4)

For simplicity, we define

r (h + ig) , 4 ˜ = r (h − ig) , (6.5) H 4 r ˜ = r b∗ . B B= b, 2 2 ˜ + BB ˜ = − 1 . In essence, H, H ˜ are the same The curvature constraint from section (4) becomes H H 4 H=

˜ in [28]. as H, H We define the spinors Ψi,α=± (where α is the spinor index) as:     ci ǫi,− − di ǫ∗ i,− Ψi,−  . = Ψi =  ˜ ǫi,+ + 2i(ci B − di H) ˜ ǫ∗ i,+ −2i(ci H + di B) Ψi,+

(6.6)

With these definitions, and the curvature constraint, the equations for χ are the standard Killing spinor equations: i ∇µ Ψi = γµ γ3 Ψi , 2 13

(6.7)

with solutions



Ψi = Ci eiφ/2 

cos

θ 2

i sin

θ 2





 + Di e−iφ/2 

sin



θ 2

−i cos

θ 2

 ,

(6.8)

where Ci and Di are constants of integration. Note that Ψi has the same form as the solutions in [11], for each element of the doublet; however, it is a complicated linear combination of the spinors ǫi , ǫ∗i .

7

Conclusions

There is obvious further technical work to be done. One is to study nonabelian vector multiplets. Another is to study hypermultiplets on curved backgrounds. As stated above, hypermultiplets which can be linearly gauged in a straightforward way (that is, the scalars are written as an SU (2) doublet of auxiliary fields) do not have completely off-shell, manifestly SU (2)R covariant representations with a finite number of auxiliary fields. There is, however, a partially off-shell multiplet in N = 2, d = 4 theories – see for example chapter 12 of [39] – which reduces to a N = (4, 4) hypermultiplet upon dimensional reduction, for which the supersymmetries close on an off-shell central charge. There are also other completely off-shell hypermultiplets whose supersymmetry transformations close on a finite number of auxiliary fields [40,41]. For instance in one case, the scalars form an SU (2) singlet and SU (2) triplet and so a single multiplet will not transform linearly under gauge transformations. Nonetheless, these are also worth studying. One could also study off-shell multiplets with infinite numbers of auxiliary fields coupled to supergravity, via harmonic [47–51] or projective [52, 53] superspace. An interesting extension of this work would be to study cases analogous to [28], with fewer unbroken supercharges, and nonvanishing AI , FI . Finally, it would be interesting to study various localization calculations in this framework; this should be possible at least for noncompact theories, after the fashion of [36].

Acknowledgements We would like to thank Thomas Dumitrescu, S. James Gates, Jim Halverson, Shamit Kachru, Martin Rocek, and David Tong for inspirational and useful discussions and correspondences. Part of this work was performed while A.L. was at the Aspen Center for Physics, which is supported by National Science Foundation grant PHY-1066293. Part of this work was performed while A.L. was visiting the KITP at UC Santa Barbara, supported in part by the National Science Foundation under Grant No. NSF PHY11-25915. A.L. would like to thank both institutions for providing stimulating environments 14

conducive to productive work. The research of A.L. is supported by DOE grant DE-SC0009987. The research of M.S. is supported by NSF FRG grant DMS 1159049 and NSF grant PHY 1053842.

A

Notations and conventions

In this section, we provide more details on our notation and conventions. In N = (4, 4) theory, the parameters of supersymmetry transformation are Dirac spinors which carry an SU (2) index of the Rsymmetry. The parameter of supersymmetry, ǫi , is an SU (2)-doublet Dirac spinor with two spinorial components. The SU (2) R-symmetry indices are raised and lowered by the totally antisymmetric tensor ǫij in the following way ǫi = εij ǫj

ǫi = ǫj εji = −εij ǫj .

,

(A.1)

The SU (2) totally antisymmetric tensor, ǫij , fulfills the following properties εij = εij

εji εik = −δjk .

,

(A.2)

Moreover, one can relate the product of two SU (2) Kronecker delta to Pauli matrices. The following identity turns out to be very useful 2 δli δkj = δki δlj + (σ I )ik (σ I )jl .

(A.3)

In the above equation, one performs a sum over the index I = 1, 2, 3. Also, one can easily show Ai Bj − Aj Bi = −εij Ak Bk

,

Ai B j − Aj B i = εij Ak Bk ,

(A.4)

where Ai and Bi could be both complex numbers, as well as Grassmanians. Complex conjugation raises and lowers the SU (2) R-symmetry indices as follows ǫ∗i ≡ (ǫi )∗

,

(ǫi )∗ = (εij ǫj )∗ = εij ǫ∗j = −ǫ∗i

,

(ǫi )∗∗ = −ǫi .

(A.5)

In particular, we notice in (A.5) that after two successive complex conjugations, a minus sign is produced. For spinors, we introduce two types of conjugation: namely the Majorana and the Dirac conjugations. These two spinors are respectively defined as ǫ¯i = −εij ǫT jC

,

ǫ¯i = εij (ǫj )† C ,

(A.6)

where ǫiT is the transpose spinor without complex conjugation, whereas (ǫi )† includes complex conjugation operation in addition to transposition. In (A.6), C is the two dimensional charge conjugation matrix which happens to coincide with the Pauli matrix σ 2   0 −i  . C = σ2 =  i 0 15

(A.7)

In our conventions, the γ-matrices which are two dimensional representations of the Clifford algebra are matrices with real entries. The two γ-matrices γ0 and γ1 together with the helicity matrix γ3 are defined by 

 0 −1  γ0 =  1 0

,

  0 1  γ1 =  1 0

,

  −1 0  . γ3 = γ0 γ1 =  0 1

(A.8)

Using the Clifford algebra, and the explicit representation of γ-matrices in (A.8), it is straightforward to derive the following useful properties among product of γ-matrices γµT C = −C γµ , {C , γ3 } = 0 , γ µ γ ν = gµν + γ µν = g µν + εµν γ3 ,

(A.9)

γ µ γν γµ = 0 , εµν γν = γ3 γ µ . Fierz identity for both the Majorana and Dirac conjugations takes the same form and in our notation is expressed in the following form  1 (¯ ǫχ)λ + (¯ ǫγ3 χ)γ3 λ + (¯ ǫγ µ χ)γµ λ , 2  1 (ǫ¯λ)χ = − (ǫ¯χ)λ + (ǫ¯γ3 χ)γ3 λ + (ǫ¯γ µ χ)γµ λ , 2 (¯ ǫλ)χ = +

(A.10)

in which ǫ, λ, and χ are all Dirac spinors in two dimensions. From the Fierz identity (A.10), we can derive the following useful relations between the product of spinor bilinears ¯ µ λ)(¯ ¯ µ γ3 λ)(¯ (λγ ǫγµ ǫ) + (λγ ǫγµ γ3 ǫ) = 0 , (¯ ǫγ µ ǫ)(¯ ǫγµ ǫ) + (¯ ǫγ µ γ3 ǫ)(¯ ǫγµ γ3 ǫ) = 0 , (¯ ǫǫ)(¯ ǫǫ) + (¯ ǫγ3 ǫ)(¯ ǫγ3 ǫ) = 0 , ¯ µ λ)(ǫ¯γ ǫ) + (λγ ¯ µ γ λ)(ǫ¯γ γ ǫ) = 0 , (λγ µ 3 µ 3

(A.11)

(ǫ¯γ µ ǫ)(ǫ¯γµ ǫ) + (ǫ¯γ µ γ3 ǫ)(ǫ¯γµ γ3 ǫ) = 0 , (ǫ¯ǫ)(ǫ¯ǫ) + (ǫ¯γ3 ǫ)(ǫ¯γ3 ǫ) = 0 .

B

so(4) and su(2) × su(2)

In this work we move between the SO(4) and SU (2) × SU (2) representations of the R-symmetry of the“large” N = 4 supersymmetry algebra. We provide a few details of this equivalence here in case it is useful to the reader.

16

The defining representation of the so(4) algebra consists of real 4×4 antisymmetric matrices, which we label as αβ Mab = δaα δbβ − δaβ δbα .

(B.1)

Here (a, b) = 1, . . . , 4 label the matrix indices, and α, β = (1, . . . , 4) label elements of the algebra. M αβ generates an infinitesimal rotation of a four-vector in the α − β plane. We can split the orthogonal axes of R4 in three different ways, corresponding to orthogonal pairs of two-planes. The two su(2) subalgebras correspond simultaneous rotations along both pairs of planes, (±)

with differing relative signs of the rotation. More specifically, we can rewrite the basis elements αab as: α(±)1 =M 23 ± M 14 , α(±)2 =M 31 ± M 24 ,

(B.2)

α(±)3 =M 12 ± M 34 . Given a vector V a in R4 , the linear combination     V (+)+ V 1 + iV 2 =   , V (+)− V 3 − iV 4 is a doublet under su(2)(+) , as is the complex conjugate. Similarly, the linear combination     (−)+ 1 2 V V + iV  =  , (−)− 3 4 V V + iV is a doublet under su(2)(−) , as is its complex conjugate.

17

(B.3)

(B.4)

References [1] V. Pestun, “Localization of gauge theory on a four-sphere and supersymmetric Wilson loops,” Commun. Math. Phys. 313 (2012) 71–129, arXiv:0712.2824 [hep-th]. [2] A. Kapustin, B. Willett, and I. Yaakov, “Exact Results for Wilson Loops in Superconformal Chern-Simons Theories with Matter,” JHEP 03 (2010) 089, arXiv:0909.4559 [hep-th]. [3] A. Kapustin, B. Willett, and I. Yaakov, “Nonperturbative Tests of Three-Dimensional Dualities,” JHEP 10 (2010) 013, arXiv:1003.5694 [hep-th]. [4] N. Drukker, M. Marino, and P. Putrov, “From weak to strong coupling in ABJM theory,” Commun. Math. Phys. 306 (2011) 511–563, arXiv:1007.3837 [hep-th]. [5] N. Drukker, M. Marino, and P. Putrov, “Nonperturbative aspects of ABJM theory,” JHEP 11 (2011) 141, arXiv:1103.4844 [hep-th]. [6] M. Marino and P. Putrov, “ABJM theory as a Fermi gas,” J. Stat. Mech. 1203 (2012) P03001, arXiv:1110.4066 [hep-th]. [7] A. Klemm, M. Marino, M. Schiereck, and M. Soroush, “Aharony-Bergman-Jafferis–Maldacena Wilson loops in the Fermi gas approach,” Z. Naturforsch. A68 (2013) 178–209, arXiv:1207.0611 [hep-th]. [8] H. Awata, S. Hirano, and M. Shigemori, “The Partition Function of ABJ Theory,” Prog. Theor. Exp. Phys. (2013) 053B04, arXiv:1212.2966. [9] S. Hirano, K. Nii, and M. Shigemori, “ABJ Wilson loops and Seiberg duality,” PTEP 2014 (2014) no. 11, 113B04, arXiv:1406.4141 [hep-th]. [10] K. Hosomichi, “A review on SUSY gauge theories on S 3 ,” arXiv:1412.7128 [hep-th]. [11] F. Benini and S. Cremonesi, “Partition Functions of N = (2, 2) Gauge Theories on S2 and Vortices,” Commun. Math. Phys. 334 (2015) no. 3, 1483–1527, arXiv:1206.2356 [hep-th]. [12] N. Doroud, J. Gomis, B. Le Floch, and S. Lee, “Exact Results in D=2 Supersymmetric Gauge Theories,” JHEP 05 (2013) 093, arXiv:1206.2606 [hep-th]. [13] H. Jockers, V. Kumar, J. M. Lapan, D. R. Morrison, and M. Romo, “Two-Sphere Partition Functions and Gromov-Witten Invariants,” Commun. Math. Phys. 325 (2014) 1139–1170, arXiv:1208.6244 [hep-th]. 18

[14] J. Gomis and S. Lee, “Exact Kahler Potential from Gauge Theory and Mirror Symmetry,” JHEP 04 (2013) 019, arXiv:1210.6022 [hep-th]. [15] Y. Honma and M. Manabe, “Exact Kahler Potential for Calabi-Yau Fourfolds,” JHEP 1305 (2013) 102, arXiv:1302.3760 [hep-th]. [16] B. Jia and E. Sharpe, “Curvature Couplings in N = (2, 2) Nonlinear Sigma Models on S 2 ,” JHEP 09 (2013) 031, arXiv:1306.2398 [hep-th]. [17] K. Hori and M. Romo, “Exact Results In Two-Dimensional (2,2) Supersymmetric Gauge Theories With Boundary,” arXiv:1308.2438 [hep-th]. [18] L. Di Pietro, N. Klinghoffer, and I. Shamir, “On Supersymmetry, Boundary Actions and Brane Charges,” arXiv:1502.05976 [hep-th]. [19] H. Kim, S. Lee, and P. Yi, “Exact partition functions on RP2 and orientifolds,” JHEP 02 (2014) 103, arXiv:1310.4505 [hep-th]. [20] G. Festuccia and N. Seiberg, “Rigid Supersymmetric Theories in Curved Superspace,” JHEP 06 (2011) 114, arXiv:1105.0689 [hep-th]. [21] T. T. Dumitrescu, G. Festuccia, and N. Seiberg, “Exploring Curved Superspace,” JHEP 08 (2012) 141, arXiv:1205.1115 [hep-th]. [22] C. Klare, A. Tomasiello, and A. Zaffaroni, “Supersymmetry on Curved Spaces and Holography,” JHEP 08 (2012) 061, arXiv:1205.1062 [hep-th]. [23] A. Adams, H. Jockers, V. Kumar, and J. M. Lapan, “N=1 Sigma Models in AdS 4,” JHEP 12 (2011) 042, arXiv:1104.3155 [hep-th]. [24] B. Jia and E. Sharpe, “Rigidly Supersymmetric Gauge Theories on Curved Superspace,” JHEP 04 (2012) 139, arXiv:1109.5421 [hep-th]. [25] C. Closset, T. T. Dumitrescu, G. Festuccia, and Z. Komargodski, “The Geometry of Supersymmetric Partition Functions,” JHEP 01 (2014) 124, arXiv:1309.5876 [hep-th]. [26] C. Closset, T. T. Dumitrescu, G. Festuccia, and Z. Komargodski, “From Rigid Supersymmetry to Twisted Holomorphic Theories,” Phys. Rev. D90 (2014) no. 8, 085006, arXiv:1407.2598 [hep-th]. [27] C. Closset and I. Shamir, “The N = 1 Chiral Multiplet on T 2 × S 2 and Supersymmetric Localization,” JHEP 03 (2014) 040, arXiv:1311.2430 [hep-th]. 19

[28] C. Closset and S. Cremonesi, “Comments on N = (2, 2) supersymmetry on two-manifolds,” JHEP 07 (2014) 075, arXiv:1404.2636 [hep-th]. [29] S. H. Katz, A. Klemm, and C. Vafa, “M theory, topological strings and spinning black holes,” Adv. Theor. Math. Phys. 3 (1999) 1445–1537, arXiv:hep-th/9910181 [hep-th]. [30] T. Eguchi, H. Ooguri, and Y. Tachikawa, “Notes on the K3 Surface and the Mathieu group M24 ,” Exper. Math. 20 (2011) 91–96, arXiv:1004.0956 [hep-th]. [31] M. C. N. Cheng, J. F. R. Duncan, and J. A. Harvey, “Umbral Moonshine,” Commun. Num. Theor. Phys. 08 (2014) 101–242, arXiv:1204.2779 [math.RT]. [32] J. A. Harvey and S. Murthy, “Moonshine in Fivebrane Spacetimes,” JHEP 01 (2014) 146, arXiv:1307.7717 [hep-th]. [33] R. Pandharipande and R. P. Thomas, “The Katz-Klemm-Vafa conjecture for K3 surfaces,” arXiv:1404.6698 [math.AG]. [34] J. A. Harvey, S. Murthy, and C. Nazaroglu, “ADE Double Scaled Little String Theories, Mock Modular Forms and Umbral Moonshine,” JHEP 05 (2015) 126, arXiv:1410.6174 [hep-th]. [35] M. C. N. Cheng and S. Harrison, “Umbral Moonshine and K3 Surfaces,” Commun. Math. Phys. 339 (2015) no. 1, 221–261, arXiv:1406.0619 [hep-th]. [36] J. A. Harvey, S. Lee, and S. Murthy, “Elliptic genera of ALE and ALF manifolds from gauged linear sigma models,” JHEP 02 (2015) 110, arXiv:1406.6342 [hep-th]. [37] S. Katz, A. Klemm, and R. Pandharipande, “On the motivic stable pairs invariants of K3 surfaces,” arXiv:1407.3181 [math.AG]. [38] M. C. N. Cheng, J. F. R. Duncan, S. M. Harrison, and S. Kachru, “Equivariant K3 Invariants,” arXiv:1508.02047 [hep-th]. [39] P. C. West, Introduction to supersymmetry and supergravity. 1990. [40] S. J. Gates, Jr., L. Lu, and R. N. Oerter, “Simplified SU(2) Spinning String Superspace Supergravity,” Phys. Lett. B218 (1989) 33. [41] S. J. Gates, Jr. and S. V. Ketov, “2-D (4,4) hypermultiplets,” Phys. Lett. B418 (1998) 111–118, arXiv:hep-th/9504077 [hep-th].

20

[42] A. Sevrin, W. Troost, and A. Van Proeyen, “Superconformal Algebras in Two-Dimensions with N=4,” Phys. Lett. B208 (1988) 447. [43] R. Gastmans, A. Sevrin, W. Troost, and A. Van Proeyen, “Infinite Dimensional Extended Superconformal Lie Algebras,” Int. J. Mod. Phys. A2 (1987) 195–216. [44] O. Aharony and M. Berkooz, “IR dynamics of D = 2, N=(4,4) gauge theories and DLCQ of ’little string theories’,” JHEP 10 (1999) 030, arXiv:hep-th/9909101 [hep-th]. [45] S. J. Gates, Jr., Y. Hassoun, and P. van Nieuwenhuizen, “Auxiliary Fields for d = 2, N = 4 Supergravity,” Nucl. Phys. B317 (1989) 302. [46] R. Grimm, M. Sohnius, and J. Wess, “Extended Supersymmetry and Gauge Theories,” Nucl. Phys. B133 (1978) 275. [47] A. Galperin, E. Ivanov, S. Kalitsyn, V. Ogievetsky, and E. Sokatchev, “Unconstrained N=2 Matter, Yang-Mills and Supergravity Theories in Harmonic Superspace,” Class. Quant. Grav. 1 (1984) 469–498. [Erratum: Class. Quant. Grav.2,127(1985)]. [48] A. S. Galperin, N. A. Ky, and E. Sokatchev, “N = 2 Supergravity in Superspace: Solution to the Constraints,” Class. Quant. Grav. 4 (1987) 1235. [49] A. S. Galperin, E. A. Ivanov, V. I. Ogievetsky, and E. Sokatchev, “N = 2 Supergravity in Superspace: Different Versions and Matter Couplings,” Class. Quant. Grav. 4 (1987) 1255. [50] S. Bellucci and E. Ivanov, “N=(4,4), 2-D supergravity in SU(2) x SU(2) harmonic superspace,” Nucl. Phys. B587 (2000) 445–480, arXiv:hep-th/0003154 [hep-th]. [51] G. Tartaglino-Mazzucchelli, “On 2D N=(4,4) superspace supergravity,” Phys. Part. Nucl. Lett. 8 (2011) 251–261, arXiv:0912.5300 [hep-th]. [52] S. M. Kuzenko, U. Lindstrom, M. Rocek, and G. Tartaglino-Mazzucchelli, “4D N = 2 Supergravity and Projective Superspace,” JHEP 09 (2008) 051, arXiv:0805.4683 [hep-th]. [53] G. Tartaglino-Mazzucchelli, “2D N = (4,4) superspace supergravity and bi-projective superfields,” JHEP 04 (2010) 034, arXiv:0911.2546 [hep-th].

21