arxiv: v2 [hep-th] 4 Jun 2015

Transcript

1 On the N = 4, d = 4 pure spinor measure factor Thales Azevedo arxiv: v2 hep-th 4 Jun 2015 ICTP South American Institute for Fundamental Research Instituto de Física Teórica, UNESP - Univ. Estadual Paulista Rua Dr. Bento T. Ferraz 271, , São Paulo, SP, Brasil. Abstract In this work, we obtain a simple measure factor for the λ and θ zero-mode integrations in the pure-spinor formalism in the context of an N = 4, d = 4 theory. We show that the measure can be defined unambiguously up to BRST-trivial terms and an overall factor, and is much simpler than (although equivalent to) the expression obtained by dimensional reduction from the N = 1, d = 10 measure factor. We also give two explicit examples of how to obtain the dual to a vertex operator using this measure. 1 Introduction The prescription for computing tree-level open superstring scattering amplitudes in a manifestly super-poincaré covariant manner was given by Berkovits some time ago, in the same paper in which the pure spinor superstring was introduced 1. In this formalism, the unintegrated vertex operators are in the ghost-number 1 cohomology of the BRST operator Q = 1 2πi dzλˆα dˆα (1.1) and are functions of the ten-dimensional superspace coordinates x µ and θˆα for µ = 0 to 9 and ˆα = 1 to 16. More information on notations and conventions can be found in Appendix A. thales@ift.unesp.br 1

2 In (1.1), λˆα is a pure-spinor ghost variable, i.e. λˆα satisfies λγ µ λ = 0, and dˆα = pˆα 2 α x µ (θγ µ )ˆα (θγµ θ)(θγ µ )ˆα, where pˆα is the conjugate momentum to θˆα. The OPE s pˆα (z)θˆβ(w) δˆβ ˆα z w and x µ (z, z)x ν (w, w) α 2 ηµν log z w 2 imply dˆα (z)f(x(w),θ(w)) 1 z w DˆαF(x(w),θ(w)), (1.2) where Dˆα = θˆα +(θγ µ )ˆα µ and F(x,θ) is any superfield. Hence, we write QF = λˆα Dˆα F. In addition to knowing the vertex operators and OPE s, one needs to know how to perform the integrations of the λ and θ zero modes. They can be performed by means of the following BRST-invariant measure factor: (λγ µ θ)(λγ ν θ)(λγ ρ θ)(θγ µνρ θ) = 1. (1.3) More precisely, the integration is done by keeping only the terms proportional to three λ s and five θ s in this combination. Thus far, we have written everything in an N = 1, d = 10 notation. In order to compute superstring scattering amplitudes in an N = 4, d = 4 theory such as the gauge theory describing the effective world-volume degrees of freedom of a D3-brane, for instance using the pure-spinor formalism, one needs to know how to perform the integrations of the λ and θ zero modes in that case. In other words, one needs to find a BRST-invariant measure factor analogous to (1.3). At first, it might seem to be just a matter of dimensional reduction. However, although the particular combination of λ s and θ s of (1.3) is special in ten flat dimensions, since it is the unique (up to an overall factor) SO(9,1) scalar which can be built out of three λ s and five θ s, there is no reason why its dimensional reduction should be preferred over any other BRSTinvariant, SO(3, 1) SU(4) scalar in four dimensions. Therefore, it is important to investigate whether there is any ambiguity in the definition of the N = 4, d = 4 measure factor. In this paper, this issue is studied in detail. In section 2, we write the most general fourdimensional expression with three λ s and five θ s and derive the conditions for it to be BRST invariant. In section 3, we find the independent BRST-trivial combinations of the terms introduced in section 2. In section 4, we present the main results of this paper. We find that the N = 4, d = 4 measure factor is unique up to BRST-trivial terms and an overall factor. Moreover, we show that the measure can be written in a much simpler form than the dimensional reduction of (1.3) the latter has twelve terms, whereas the former has only three. In section 5, we give two examples of the use of this measure factor. Finally, section 6 is devoted to our conclusions. 2

3 2 BRST equations In four-dimensional notation, the most general SO(3, 1) SU(4)-invariant, real expression one can write with three λ s and five θ s is (λ 3 θ 5 ) := c 1 ε mnjl ( λ i λk )(λ m θ n )(θ i θ j )(θ k θ l ) + c 2 ( λ j λk )( λ l θi )(θ i θ j )(θ k θ l )+c 3 ε mnjl ( λ i θk )(λ k θ l )(λ m θ n )(θ i θ j ) + c 4 ( λ l λk )(λ j θ l )(θ i θ k )( θ i θj )+c 5 ( λ i θk )( λ j θl )(λ k θ l )(θ i θ j ) (2.1) + c 6 ε mnlk (λ i θ k )(λ j θ l )(λ m θ n )( θ i θj ) + H.c., where c 1,...,c 6 are arbitrary constants and H.c. means Hermitian conjugate. We use the standard d=4 two-component spinor notation as described in Appendix A.1. In particular, i,j,... = 1 to 4 and α, α = 1 to 2. One can convince oneself these are the only non-zero independent terms which can be constructed, keeping in mind that λ αi λ α i = 0 and (λ i λ j ) = 1 2 εijkl ( λ k λl ), (2.2) which are the dimensional reduction of λγ µ λ = 0. More details on dimensional reduction can be found in Appendix A.2. The notation we are going to use throughout the paper is such that (λ 3 θ 5 ) =: 6 c n T n +H.c., (2.3) n=1 i.e. we define T 1,...,T 6 to be the independent possible terms as appearing in (2.1). For example, T 3 ε mnjl ( λ i θk )(λ k θ l )(λ m θ n )(θ i θ j ). The T n and their Hermitian conjugates T n form a basis for four-dimensional expressions made of three λ s and five θ s. For example, it is not difficult to show the dimensional reduction of (1.3) gives (2.1) with c 1 = 1, c 2 = c 4 = 4, c 3 = 3, c 5 = 12 and c 6 = 2, up to an overall factor. Since we are looking for the pure spinor measure, we are interested in expressions which are annihilated by λˆα Dˆα = λ αp D αp + λ αp D αp. This requirement yields equations for the constants in (2.1). We begin with λˆα Dˆα (λ 3 θ 5 ) = θ 4 θ λαp D αp c 1 T 1 + λ αp D αp c 2 T 2 +c 3 T 3, (2.4) 0 where the subscript θ 4 θ0 means contributions with four θ s and no θ. The explicit calculation 3

4 gives: λ αp D αp T 1 = ε mnjl ( λ i λk ) (λ m λ n )(θ i θ j )(θ k θ l )+(λ m θ n )(θ i λ j )(θ k θ l ) + (λ m θ n )(θ i θ j )(θ k λ l ) = 4( λ i λk )( λ j λl )(θ i θ j )(θ k θ l ), (2.5) where we used (2.2) and λ αi λ β j = 1 2 εαβ (λ i λ j ). Moreover, λ αp D αp T 2 = ( λ j λk )( λ l λi )(θ i θ j )(θ k θ l ) (2.6) and λ αp D αp T 3 = 0. Therefore Proceeding to the next order, we have λˆα Dˆα (λ 3 θ 5 ) = 0 c θ 4 θ 0 2 = 4c 1. (2.7) λˆα Dˆα (λ 3 θ 5 ) = θ 3 θ λαp D αp c 2 T 2 +c 3 T 3 + λ αp D αp c 4 T 4 +c 5 T 5 +c 6 T 6. (2.8) 1 The T 2 -contribution is easy to compute. We get For T 3, we obtain λ αp D αp T 2 = ( λ j λk )( λ l θi )(λ i θ j )(θ k θ l ). (2.9) λ αp D αp T 3 = ε mnjl ( λ i θk ) (λ k λ l )(λ m θ n )(θ i θ j ) (λ k θ l )(λ m λ n )(θ i θ j ) (λ k θ l )(λ m θ n )(θ i λ j ) = 4( λ j λl )( λ i θk )(λ k θ l )(θ i θ j ). (2.10) The T 4 - and T 5 -contributions are also simple to calculate: λ αp D αp T 4 = ( λ l λk )(λ j θ l )(θ i θ k )( λ i θj ), (2.11) λ αp D αp T 5 = ( λ i θk )( λ j λl )(λ k θ l )(θ i θ j ). (2.12) Finally, λ αp D αp T 6 = 0. In all, we get our second equation for the coefficients: λˆα Dˆα (λ 3 θ 5 ) = 0 c θ 3 θ c 3 = c 4 +c 5. (2.13) 4

5 We now analyze the contributions with equal number of θ s and θ s: λˆα Dˆα (λ 3 θ 5 ) = θ 2 θ λαp D αp c 4 T 4 +c 5 T 5 +c 6 T 6 + λ αp D αp c 4 T c 5T 5 + c 6T 6. (2.14) Again, it is straightforward to compute the contributions from T 4 and T 5 : The T 6 -contribution yields λ αp D αp T 4 = ( λ l λk )(λ j θ l )(λ i θ k )( θ i θj ), (2.15) λ αp D αp T 5 = ( λ i θk )( λ j θl )(λ k λ l )(θ i θ j ). (2.16) λ αp D αp T 6 = ε mnlk ( θ i θj ) (λ i λ k )(λ j θ l )(λ m θ n ) (λ i θ k )(λ j λ l )(λ m θ n ) + (λ i θ k )(λ j θ l )(λ m λ n ) These in turn imply, by Hermitian conjugation, = 4( λ l λk )(λ i θ k )(λ j θ l )( θ i θj ). (2.17) λ αp D αp T 4 = (λl λ k )( λ j θl )( λ i θk )(θ i θ j ), (2.18) λ αp D αp T 5 = (λi θ k )(λ j θ l )( λ k λl )( θ i θj ), (2.19) λ αp D αp T 6 = 4(λl λ k )( λ i θk )( λ j θl )(θ i θ j ). (2.20) Thus we obtain our last equation: as well as its complex conjugate. λˆα Dˆα (λ 3 θ 5 ) = 0 c θ 2 θ 2 5 = c 4 +4c 6, (2.21) Note that the vanishing of the orders θ 1 θ3 and θ 0 θ4 implies the complex conjugates of (2.7) and (2.13), since they are just the Hermitian conjugates of the orders θ 3 θ1 and θ 4 θ0, respectively. In summary, we have the following system of equations: λˆα Dˆα (λ 3 θ 5 ) = 0 as well as their complex conjugates. c 2 = 4c 1 c 2 +4c 3 = c 4 +c 5, (2.22) c 5 = c 4 +4c 6 5

6 3 BRST-trivial combinations In the last section, we found the equations which the constants in (2.1) have to satisfy for the expression to be BRST-invariant. Because there are less equations than constants, one might think the N = 4, d = 4 pure spinor measure factor is then not unambiguously defined. Fortunately, that is not the case, and the seemingly independent expressions are actually related by BRST-trivial terms, as we show in the following. In order to find the independent BRST-trivial combinations of the T n, i.e. the combinations which equal λˆα Dˆα of something, we start by looking for all independent possible terms with two λ s and six θ s. Keeping (2.2) in mind, we find that there are five: χ 1 := (λ i θ j )(θ k θ l )( λ k θl )( θ i θj ), χ 2 := ε ijkl (λ i θ j )(λ m θ k )(θ l θ n )( θ m θn ), χ 3 := ε ijkl ( λ i θj )( λ m θk )( θ l θn )(θ m θ n ), χ 4 := ε mnjl ( λ i θk )(λ m θ n )(θ i θ j )(θ k θ l ), χ 5 := ε mnjl (λ i θ k )( λ m θn )( θ i θj )( θ k θl ). (3.1a) (3.1b) (3.1c) (3.1d) (3.1e) Acting with λˆα Dˆα = λ αp D αp + λ αp D αp on these terms, we obtain BRST-trivial expressions made of three λ s and five θ s. We begin with the first one: λ αp D αp χ 1 = (λ i θ j )(θ k λ l )( λ k θl )( θ i θj ) = 1 T 4 2 T 5, (3.2) λ αp D αp χ 1 = (λ i θ j )(θ k θ l )( λ k θl )( θ i λj ) = 1 2 T 5 T 4. (3.3) Thus we find the first BRST-trivial expression: T 4 T 5 +T 5 T 4 = λˆα Dˆα 2χ 1. (3.4) Of course, we could multiply the expression on the left-hand side of this equation by any constant and it would remain BRST-trivial. The same applies to the other boxed expressions we find in the following. 6

7 For the second term in (3.1), we have λ αp D αp χ 2 = ε ijkl ( θ m θn ) (λ i λ j )(λ m θ k )(θ l θ n ) (λ i θ j )(λ m λ k )(θ l θ n ) + (λ i θ j )(λ m θ k )(λ l θ n ) (λ i θ j )(λ m θ k )(θ l λ n ) = 4T 4 T 6, (3.5) λ αp D αp χ 2 = ε ijkl (λ i θ j )(λ m θ k )(θ l θ n )( θ m λn ) = T 3. (3.6) Therefore, T 3 +4T 4 T 6 = λˆα Dˆα χ 2. (3.7) Since the third term in (3.1) is equal to χ 2, For the fourth term, T 3 +4T 4 T 6 = λˆα Dˆα χ 3. (3.8) λ αp D αp χ 4 = ε mnjl ( λ i θk ) (λ m λ n )(θ i θ j )(θ k θ l )+(λ m θ n )(θ i λ j )(θ k θ l ) (λ m θ n )(θ i θ j )(λ k θ l )+(λ m θ n )(θ i θ j )(θ k λ l ) = 4T 2 T 3, (3.9) λ αp D αp χ 4 = ε mnjl ( λ i λk )(λ m θ n )(θ i θ j )(θ k θ l ) = T 1. (3.10) Therefore, T 1 +4T 2 T 3 = λˆα Dˆα χ 4. (3.11) Finally, the last term in (3.1) is equal to χ 4, so T 1 +4T 2 T 3 = λˆα Dˆα χ 5. (3.12) 7

8 4 The N = 4, d = 4 measure factor in a simple form We are now in position to show the N = 4, d = 4 measure factor is unique up to BRST-trivial terms and an overall factor. Consider once again the most general real expression with three λ s and five θ s of (2.1). One has (λ 3 θ 5 ) = c 1 T 1 +c 2 T 2 +c 3 T 3 +c 4 T 4 +c 5 T 5 +c 6 T 6 +H.c.. (4.1) If this is BRST-invariant, then the constants satisfy the equations (2.22) and their complex conjugates. We are free to add BRST-trivial terms to the above expression. If we add c 1 T 1 +4T 2 T (c 4 +c 5 )T 3 +4T 4 T 6 +H.c. to (λ 3 θ 5 ), we get 1 (λ 3 θ 5 ) = c 5 T 4 +c 5 T (c 5 + c 5 )T 6 +H.c., (4.2) where we used (2.22). Furthermore, if c 5 = α+iβ, with α,β R, then we can add the BRST-trivial term iβ T 5 T 5 T 4 +T 4 to (λ 3 θ 5 ), thus obtaining (λ 3 θ 5 ) = α T 4 T T 6 +H.c.. (4.3) This shows that the measure is unique up to BRST-trivial terms and an overall factor. The measure can be even further simplified, provided that we relax its manifest reality condition. By adding the BRST-trivial terms α T 4 T 5 +T 5 T αt 3 +4T 4 T 6, (4.4) we arrive at (λ 3 θ 5 ) = 1 T 2 α 3 +4T 5 +T 6, (4.5) 1 Note the equal sign here means equal up to BRST-trivial terms. 8

9 or, more explicitly, ε mnjl ( λ i θk )(λ k θ l )(λ m θ n )(θ i θ j ) + 4( λ i θk )( λ j θl )(λ k θ l )(θ i θ j ) + ε mnlk ( λ i θk )( λ j θl )( λ m θn )(θ i θ j ) = 1 240, (4.6) where we recovered the explicit form of each term and used the normalization of (1.3). This simple N = 4, d = 4 pure spinor measure factor is the main result of this work. Note that, while the dimensional reduction of (1.3) yields twelve independent terms, this expression has only three. In the next section, we give two explicit examples of how to obtain the dual to a vertex operator using this measure factor. 5 Examples 5.1 Gluino Consider the following vertex operator from 2: Ṽ gluino = 1 4 (λγµ θ)(λγ ν θ)(θγ µν ξ ), (5.1) where ξ ˆα is the zero-momentum gluino antifield.2 It is easy to show this operator is annihilated by Q. The dimensional reduction yields Ṽ gluino = 2( λ j λk )(θ j θ l )(θ k ξl )+3( λ i θj )(θ i θ k )( λ k ξ j ) 2( λ j θi )(θ i θ k )( λ k ξ j ) 6( λ i θj )(λ j θ k )(θ i ξk ) ε ijkl(λ i θ j )(λ n θ l )(θ k ξn)+4( λ j θi )(λ k θ i )(θ j ξk ) 2( λ i θj )(λ k θ i )(θ j ξk )+( λ i λj )(θ k θ i )( θ k ξ j ) 3ε ijkl (λ m θ i )(λ k θ l )( θ m ξ j ) + 2ε ijkl (λ i θ j )(θ l θ m )( λ m ξ k ) + H.c.. (5.2) We can simplify this expression by adding BRST-trivial terms. For example, Q ε ijkl (λ i θ j )(θ n θ l )(θ k ξn) = 4( λ l λk )(θ n θ l )(θ k ξ n) ε ijkl (λ i θ j )(λ n θ l )(θ k ξ n) 2 We choose to work at zero-momentum for the sake of simplicity, and also because only in this computation is the explicit form of the measure factor needed. Momentum corrections at higher θ-orders can in principle be obtained from the ten-dimensional expressions by carrying out the same steps as in this section (dimensionally reducing, simplifying by adding BRST-trivial terms and then looking for the dual to the vertex operator), but beyond zero-momentum one just has to impose that the terms with more than five θ s in the amplitude cancel. 9

10 = 4t 1 t 5, (5.3a) where t N refers to the N-th term in Ṽgluino as appearing in (5.2), without the numerical factor (e.g. t 1 ( λ j λk )(θ j θ l )(θ k ξ l )). So the combination 4t 1 + t 5 is BRST-trivial. Of course, this implies 4t 1 +t 5 is also BRST-trivial. One can also show Q ( λ i θj )(θ j θ k )(θ i ξk ) = t 1 t 4 t 6, (5.3b) Q ( θ i θj )(λ j θ k )(θ i ξk ) = t 4 +t 2 t 8, (5.3c) Q ( θ i θj )(λ k θ i )(θ j ξk ) = t 6 +t 7 +t 3 +t 8, (5.3d) Q ε ijkl (λ i θ j )(θ l θ m )( θ m ξ k ) = 3t 8 t 9 t 10, (5.3e) as well as their Hermitian conjugates. Then we can add the BRST-trivial amount 2t 1 3t 2 +2t 3 9t 4 +t 5 4t 6 +2t 7 t 8 2t 9 2t 10 +H.c. (5.4) to Ṽgluino to obtain a BRST-equivalent vertex operator given by Ṽ gluino = 15( λ i θj )(λ j θ k )(θ i ξ k ) 5ε ijkl(λ m θ i )(λ k θ l )( θ m ξ j )+H.c.. (5.5) Finally, multiplying by an overall factor and dropping the prime, we arrive at the simplest form Ṽ gluino = 3( λ i θj )(λ j θ k )(θ i ξ k )+ε ijkl(λ m θ i )(λ k θ l )( θ m ξ j )+H.c.. (5.6) Now we may look for the dual to this vertex operator, meaning the BRST-closed expression with one λ and two θ s whose product with Ṽgluino gives something proportional to the measure (4.6). The dual is certainly going to contain the gluino field ξˆα, and the substitution ξ ˆβξˆα δˆαˆβ (5.7) can be used to determine it. Comparing (5.6) with (4.6), we expect the dual to contain a term with ε ijkl. It is easy to see there is only one such term: V 1 gluino = κ 1ε ijkl (λ i θ j )(θ k ξ l ), (5.8) 10

11 where κ 1 is a constant to be determined. Then, using (5.7), we obtain Ṽ gluino V 1 gluino = κ 1 3T 3 +3T 5. (5.9) To obtain a term proportional to T 6, we need a term with λ. There are not many, and it is not difficult to show the following one works: V 2 gluino = κ 2( λ i θj )(θ i ξ j ), (5.10) for a constant κ 2 to be determined shortly. Making use of (5.7) once again, we get Hence, if κ 1 = 1 3 and κ 2 = 1, we have Ṽ gluino V gluino := which means the dual to Ṽ gluino is given by Ṽ gluino V 2 gluino = κ 2 3T 5 +T 6. (5.11) Ṽgluino(V 1 gluino +V2 gluino ) = T 3 +4T 5 +T 6, (5.12) V gluino = 1 3 ε ijkl(λ i θ j )(θ k ξ l ) ( λ i θj )(θ i ξ j ). (5.13) One can show this expression is BRST-invariant, as it should be. 5.2 Gluon We now derive, for the gluon, expressions analogous to those obtained for the gluino in the previous subsection. The vertex operator for the zero-momentum gluon antifiled a b (b = 0 to 3) can also be found in 2, and is given by Ṽ gluon = 1 4 (λγµ θ)(λγ ν θ)(θγ b µν θ)a b. (5.14) Again, it is easy to show this operator is annihilated by Q. The dimensional reduction can be easily obtained from the gluino case, by noting that ξ (γ b θ)a b = Ṽgluino Ṽgluon. One gets Ṽ gluon = 3( λ j λk )(θ j θ l )(θ k a θl ) 3( λ i θj )(θ i θ k )(θ j a λk )+2( λ j θi )(θ i θ k )(θ j a λk ) 8( λ i θj )(λ j θ k )(θ i a θk ) 4ε ijkl (λ i θ j )(λ n θ l )(θ k a θn )+4( λ j θi )(λ k θ i )(θ j a θk ) 11

12 2ε ijkl (λ i θ j )(θ l θ m )(θ k a λm ) + H.c., (5.15) where (θ i a λj ) = θ αi a α α λ α j, with a α α = (σb ) α α a b. To simplify this expression, one can add combinations of the following BRST-trivial terms: Q ε ijkl (λ i θ j )(θ n θ l )(θ k a θn ) = 4u 1 u 5 +u 7, (5.16a) Q ( λ i θj )(θ j θ k )(θ i a θk ) = u 1 +u 3 u 4 u 6, (5.16b) Q (θ j θ k )( θ k θj )(θ i a λi ) = 2(u 2 +u 3 +u 4 +u 6 ), (5.16c) as well as their Hermitian conjugates, where u N refers to the N-th term in Ṽgluon as appearing in (5.15), without the numerical factor (e.g. u 1 ( λ j λk )(θ j θ l )(θ k a θl )). Then one can show the following vertex operator is equivalent to Ṽgluon: Ṽ gluon = 6u 5 +12u 6 +H.c.. (5.17) Finally, multiplying by an overall factor and dropping the prime, we arrive at the simplest form Ṽ gluon = ε ijkl (λ i θ j )(λ n θ l )(θ k a θn ) 2( λ j θi )(λ k θ i )(θ j a θk )+H.c.. (5.18) The dual to this vertex operator is a BRST-closed expression with one λ and one θ whose product with Ṽgluon gives something proportional to the measure (4.6). This expression should also contain the gluon field a b. It is easy to see there is only one possibility: V gluon = (θ i a λ i ). (5.19) Then, using a b a c η bc, it is not difficult to show ṼgluonV gluon is indeed proportional to (4.6). 6 Conclusion In this work, we have obtained a simple measure factor for the λ and θ zero-mode integrations in the pure-spinor formalism in the context of an N = 4, d = 4 theory. We have shown that the measure can be defined unambiguously up to BRST-trivial terms and an overall factor, and 12

13 is much simpler than (although equivalent to) the expression obtained by dimensional reduction from the N = 1, d = 10 measure factor. We have also given two explicit examples of how to obtain the dual to a vertex operator using this measure. We expect these results to be useful for the computation of disk scattering amplitudes of states propagating in the world-volume of a D3-brane, as well as open-closed superstring amplitudes of states close to the AdS 5 boundary 6. It would also be interesting to make contact with recent results obtained for ten-dimensional superstring amplitudes, such as those in 7, 8, 9. Acknowledgements: I would like to thank Thiago Fleury, Renann Jusinskas and my advisor Nathan Berkovits for useful discussions and suggestions. This work was supported by FAPESP grants 2010/ and 11/ A Appendix A.1 Two-component spinor notation The four-dimensional Lorentz group SO(3, 1) is locally isomorphic to SL(2, C), which has two distinct fundamental representations. One of them is described by a pair of complex numbers 3 ψ α = ( ψ 1 ψ 2 ), (A.1) with transformation law ψ α = Λβ α ψ β, Λ SL(2,C), (A.2) and is called ( 1 2,0) or left-handed chiral representation. The other fundamental representation, called ( 0, 1 2) or right-handed chiral, is obtained by complex conjugation: ψ α = Λ β α ψ β, Λ β α = (Λβ α). (A.3) The dot over the indices indicates the representation to which we refer. The indices with and without dot are raised and lowered in the following way: ψ α = ε αβ ψ β, χ α = ε α β χ β; (A.4a) ψ α = ε αβ ψ β, χ α = ε α β χ β, (A.4b) 13

14 where ε is antisymmetric and has the properties ε 12 = ε 1 2 = ε 12 = ε 1 2 = 1 = ε αβε βγ = δ γ α, ε α β ε β γ = δ γ α. (A.5) For spinorial derivatives, raising or lowering the indices involve an extra sign. For example, D α i = ε αβ D βi. The convention for contraction of spinorial indices is ψ α λ α =: (ψλ), χ α ξ α =: ( χ ξ). (A.6) In SL(2, C) notation, a four-component Dirac spinor is represented by a pair of chiral spinors: Ψ D = ( ψ α χ α ). (A.7) For a Majorana spinor, χ α = (ψ α ). The Dirac matrices are Σ a = ( 0 (σ a ) α α ( σ a ) αα 0 where the matrices σ a (a = 0,...,3) are defined as ), (A.8) (σ a ) α α = ( I 2, σ) α α, ( σ a ) αα = ε α βε αβ (σ a ) β β = ( I 2, σ) αα, (A.9) with I 2 the 2 2 identity matrix and σ the Pauli matrices ( ) ( ) ( σ =, σ 2 0 i =, σ 3 = 1 0 i 0 and have the following properties: ), (A.10) (σ a ) α α ( σ a ) ββ = 2δ β αδ β α, (σ a) α α ( σ b ) αα = 2δ b a, σ a σ b = η ab +σ ab, σ a σ b = η ab + σ ab, σ ab = σ ba, σ ab = σ ba, (σ ab ) α α = ( σ ab ) α α = 0, (A.11) with η ab = diag( 1,1,1,1). These properties imply {Σ a,σ b } = 2η ab I 4. A.2 Dimensional reduction 14

15 Since in the text we write expressions both in ten- and four-dimensional notation, it is important to clarify our notation and conventions. Breaking the SO(9, 1) Lorentz symmetry to SO(3,1) SO(6) SO(3,1) SU(4), an SO(9,1) vector v µ (µ = 0,...,9) decomposes as v µ (v a,v ij ), (A.12) where v a (a = 0,...,3) transforms under the representation 4 of SO(3,1) and v ij = v ji (i,j = 1,...,4) transforms under the 6 of SU(4). The relation between the 6 of SU(4) and the 6 of SO(6) is given by the SO(6) Pauli matrices (ρ I ) ij = (ρ I ) ji (I = 1,...,6) in the following way: v ij = 1 2i (ρ I) ij v I+3. (A.13) These matrices have the properties 4 (ρ I ) ij (ρ J ) jk +(ρ J ) ij (ρ I ) jk = 2η IJ δ i k, (ρ I ) ij = 1 2 ε ijkl(ρ I ) kl, (A.14) (ρ I ) ij (ρ I ) kl = 2ε ijkl, where η IJ = diag(1,1,1,1,1,1) and ε ijkl is the SU(4)-invariant, totally antisymmetric tensor such that ε 1234 = 1. Analogously, one can define the tensor ε ijkl such that ε 1234 = 1. These satisfy the relation ε ijkl ε klmn = 4δi m δn j. (A.15) A left-handed Majorana-Weyl spinorξˆα (ˆα = 1,...,16) transforming under the 16 ofso(9,1) decomposes as ξˆα (ξ αi, ξ α j ), (A.16) where we use the standard two-component notation for chiral spinors (α = 1,2; α = 1, 2) and ξ αi (resp. ξ j α ) transforms under the representation 4 (resp. 4) of SU(4). Analogous conventions apply to right-handed Majorana-Weyl spinors of SO(9,1). We also need to know how to translate the SO(9,1) Pauli matrices (γ µ )ˆαˆβ and (γ µ )ˆαˆβ to the language of SO(3, 1) SU(4). Based on 5, we propose the following ansatz for the non-vanishing components: (γ a ) (αi)( α j) = δ j i (σa ) α α = (γ a ) ( α j)(αi) (γ kl ) (αi)(βj) = 2ε αβ δ k i δl j (A.17) 15

16 (γ kl ) ( α i)( β j) = ε α βε ijkl for (γ µ )ˆαˆβ and (γ a ) (αi)( α j) = δ i j ( σa ) αα = (γ a ) ( α j)(αi) (γ kl ) (αi)(βj) = ε αβ ε ijkl (A.18) (γ kl ) ( i)( α j) β = 2ε α βδ k i δl j for (γ µ )ˆαˆβ. It is straightforward to show that the above matrices satisfy the usual relation (γ µ )ˆαˆβ(γ ν )ˆβˆγ +(γ ν )ˆαˆβ(γ µ )ˆβˆγ = 2η µν δˆγˆα, (A.19) with η ijkl := 1 2 εijkl. As an example, we show how to obtain the dimensional reduction of the pure spinor constraints λγ µ λ = 0 using (A.17). For λγ a λ = 0, we have λˆα (γ a )ˆαˆβλˆβ = 0 λ αi (γ a ) (αi)( j) λ α j + λ α j(γ a ) ( α j)(αi) λαi = 2λ αi (σ a ) α α λ α i = 0, whence For λγ ij λ = 0, we have λ αi λ α i = 0. (A.20) λˆα (γ ij )ˆαˆβλˆβ = 0 λ αk (γ ij ) (αk)(βl) λ βl + λ α k (γij ) ( α k)( β l) λ β l = 2(λi λ j ) ε ijkl ( λ k λl ) = 0, whence (λ i λ j ) = 1 2 εijkl ( λ k λl ). (A.21) 16

17 References 1 N. Berkovits, Super-Poincare Covariant Quantization of the Superstring, JHEP 0004 (2000) 018, arxiv:hep-th/ N. Berkovits, T. Fleury, Harmonic Superspace from the AdS 5 S 5 Pure Spinor Formalism, JHEP 1303 (2013) 022, arxiv:hep-th/ J. Wess, J. Bagger, Supersymmetry and Supergravity, Princeton Univ. Press (1992). 4 M. Green, J. Schwarz, E. Witten, Superstring Theory: Volume 2, Loop Amplitudes, Anomalies and Phenomenology, Cambridge Univ. Press (1987). 5 J. Harnad, S. Shnider, Constraints and Field Equations for Ten-Dimensional Super Yang Mills Theory, Commun. Math. Phys. 106 (1986) T. Azevedo, N. Berkovits, Open-closed superstring amplitudes using vertex operators in AdS 5 S 5, JHEP 1502 (2015) 107, arxiv:hep-th/ S. Stieberger, Open & Closed vs. Pure Open String Disk Amplitudes, arxiv:hep-th/ C. Mafra, O. Schlotterer, S. Stieberger, Complete N-Point Superstring Disk Amplitude I. Pure Spinor Computation, Nucl. Phys. B 873 (2013) 419, arxiv:hep-th/ C. Mafra, O. Schlotterer, Towards one-loop SYM amplitudes from the pure spinor BRST cohomology, Fortschritte der Physik 63 (2015) 105, arxiv:hep-th/