Printer Friendly

Pure spinor superfields, with application to D = 3 conformal models/Puhtad spiinor-supervaljad ja nende rakendused D = 3 konformsetes mudelites.

There is a close relationship between supermultiplets and pure spinors. The algebra of covariant fermionic derivatives in flat superspace is generically of the form

{[D.sub.[alpha]],[D.sub.[beta]]] = -[T.sub.[alpha][beta].sup.c][D.sub.c] = - 2[[gamma].sup.c.sub.[alpha][beta]][D.sub.c]. (1)

If a bosonic spinor [[lambda].sup.[alpha]] is pure, i.e., if the vector part ([lambda][[gamma].sup.a][lambda]) of the spinor bilinear vanishes, the operator Q = [[lambda].sup.[alpha]][d.sub.[alpha]] becomes nilpotent and may be used as a Becchi-Rouet-Stora-Tyutin (BRST) operator. This is, schematically, the starting point for pure spinor superfields. (The details of the course depend on the actual space-time and the amount of supersymmetry. The pure spinor constraint may need to be further specified. Equation (1) may also contain more terms, due to super-torsion and curvature.) The cohomology of Q will consist of supermultiplets, which in case of maximal supersymmetry are on-shell. The idea of manifesting maximal supersymmetry off-shell by using pure spinor superfields [PSI](x, [theta], [lambda]) is to find an action whose equation of motion is Q[PSI] = 0.

The fact that pure spinors had a role to play in maximally supersymmetric models was recognized early by Nilsson [1] and Howe [2,3]. Pure spinor superfields were developed with the purpose of covariant quantization of superstrings by Berkovits [4-7] and the cohomological structure was independently discovered in supersymmetric field theory and supergravity, originally in the context of higher-derivative deformations [8-17]. The present lecture only deals with pure spinors for maximally supersymmetric field theory.

The canonical example of pure spinors is in D = 10. There is only one non-gravitational supermultiplet, namely super-Yang-Mills, so this is what we expect to obtain. Expanding a field [PSI](x, [theta], [lambda]) in powers of [lambda], one has

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (2)

The implementation of the pure spinor constraint is as an Abelian gauge symmetry, where the generators ([lambda][[gamma].sup.a][lambda]) act multiplicatively. The field [PSI] is defined modulo the ideal generated by the constraint. A 'canonical' representative of the gauge orbits is provided by superfields [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (x, [theta]) which, in addition to being symmetric, are completely [gamma]-traceless, i.e., in the modules (000n0) of the Lorentz algebra (where [[lambda].sup.a] is in (00001) and Da in (00010), the two spinor chiralities).

In order to calculate the cohomology, we start by finding the cohomology of zero-modes, x-independent fields. This cohomology is easy to calculate (a purely algebraic calculation), and gives information about the full cohomology. It is worth noting that the zero-mode cohomology (which clearly would have been empty for an unconstrained [lambda]) may be read off from the partition function for a pure spinor. It is in one-to-one correspondence (for a concrete explanation of this fact, using the reducibility of the pure spinor constraint, see the appendix of [5] and [18]) with the six terms in the nominator of the partition function

Z(t) = 1 - 10[t.sup.2] + 16[t.sup.3] - 16[t.sup.5] + 10[t.sup.6] - [t.sup.8]/[(1 - t).sup.16] = (1 + [t.sup.2])(1 + 4t + [t.sup.2])/[(1 - t).sup.11]. (3)

(This partition function only counts the dimension of the space of monomials in [lambda] with degree of homogeneity p as the coefficient of [t.sup.p]. A more refined partition function, specifying the actual Lorentz modules appearing, can of course be written down; for this I refer to [18].) The zero-mode cohomology is illustrated in Table 1. There, each column represents a field in the expansion 2, and the vertical direction is the expansion in [theta]. The columns have been shifted so that the components on the same row have the same dimension, i.e., so that Q acts horizontally. Since [lambda] carries ghost number 1 and dimension -1/2, the component field [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] has ghost number gh([PSI]) - n and dimension dim([PSI]) + n/2. It is natural to let gh([PSI]) = 1 and dim([PSI]) = 0 and take [PSI] to be fermionic. Then the scalar (ghost number 1, dimension 0) in the first column is interpreted as the Yang-Mills ghost and the vector and spinor in the second column are interpreted as the fields of the super-Yang-Mills multiplet (the field [[psi].sub.[alpha]] of ghost number 0 and dimension 1/2 is the lowest-dimensional connection component [A.sub.[alpha]] in a superfield treatment of super-Yang-Mills). The remaining fields are the corresponding antifields, in the Batalin-Vilkovisky (BV) sense. It is striking that one inevitably is led to the BV formalism. It of course exists also in a component formalism, but when one uses pure spinors, it is not optional. This means that any action formed in this formalism will be a BV action, and that the appropriate consistency relation (encoding the generalized gauge symmetry) is the master equation.

To go from the zero-mode cohomology to the complete cohomology, one easily convinces oneself that component fields in the modules contained in the zero-mode cohomology will be subject to differential constraints in the modules of the zero-mode cohomology in the next column to the right. This gives the proper relations for the linearized on-shell super-Yang-Mills multiplet. (If a multiplet is an off-shell representation of supersymmetry, as is generically the case for half-maximal or lower supersymmetry, there will consequently be no anti-fields in the cohomology. These, instead, come in a separate pure spinor superfield [13].)

This far, we have not considered the actual solutions of pure spinor constraint, but rather regarded the pure spinor as a book-keeping device. When one wants to write down an action, this is no longer possible. For an action, a measure is needed. The linearized action should be '[integral][PSI]Q[PSI]' for some suitable definition of '[integral]'. Clearly, '[integral]' must have ghost number -3. In the cohomology, there is a singlet at [[lambda].sup.3][[theta].sup.5]. Defining a measure as a 'residue', picking the corresponding component, has the right ghost number, and also the correct dimension. However, it is singular, so components of [PSI] with high enough power in [lambda] or [theta] drop out of the putative action defined in this manner, and the equation of motion Q[PSI] = 0 does not follow. Still, the corresponding tensorial structure can be used for an invariant integral over [lambda]. It is clear from the partition function (3) that [lambda] contains 11 degrees of freedom (out of the 16 for an unconstrained spinor). Explicit solution of the pure spinor constraint also shows that when imposed on a complex spinor, only five out of the ten constraints are independent (see, e.g., [5] for details). Defining the scalar at [[lambda].sup.3][[theta].sup.5] as [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], where T thus is a Lorentz invariant tensor, one defines the conjugate invariant tensor [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], and the integration is

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (4)

In [7], Berkovits solved the problem of how to make sense of this integration and use it as part of a nonsingular measure for the pure spinor superspace. The solution involves a non-minimal set of pure spinor variables, which in addition to [[lambda].sup.[alpha]] contains a bosonic conjugate spinor [[bar.[lambda]].sub.[alpha]] (which in Euclidean signature can be viewed as the complex conjugate of [[lambda].sup.[alpha]]) obeying ([bar.[lambda]][[gamma].sup.a][bar.[lambda]]) = 0 and a fermionic spinor [r.sub.[alpha]] with ([bar.[lambda]] [[gamma].sup.a]r) = 0. The new BRST operator is Q = [[lambda].sup.[alpha]][D.sub.[alpha]] + [partial derivative]/[partial derivative [[lambda].sub.[alpha]], and its cohomology is independent of [bar.[lambda]] and r. One assigns ghost number -1 and dimension 1/2 to [bar.[lambda]] and ghost number 0 and dimension 1/2 to r. The measure for [bar.[lambda]] is the complex conjugate to the one defined in Eq. (4) for [lambda], and for r:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (5)

Using these integration measures, and the ordinary ones for x and [theta], we list the dimensions and ghost numbers for the theory after dimensional reduction to D dimensions in Table 2. So, the ghost numbers match, and also the dimensions (1/[g.sup.2] has dimension D - 4 in D dimensions).

The [lambda] and [bar.[lambda]] integrations are non-compact and need regularization. In [7] this is achieved, following [19], by the insertion of a factor N = [e.sup.{Q,[chi]}]. Since this differs from 1 by a Q-exact term, the regularization is independent of the choice of the fermion [chi]. The choice [chi] = - [[bar.[lambda]].sub.[alpha]][[theta].sup.[alpha]] gives [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and regularizes the bosonic integrations at infinity. At the same time, it explains how the term at [[theta].sup.5] is picked out; this follows after integration over r. N has definite ghost number 0 for the assignments for ghost number and dimension above (although any other assignment gives the correct ghost number and dimension for the non-Q-exact part).

An action for ten-dimensional super-Yang-Mills (or any dimensional reduction) can now be written in the Chern-Simons-like form [5]

S = 1/2[g.sup.2] [integral] <[PSI], Q[PSI] + 1/3[[PSI], [PSI]] > adj. (6)

Note that there is no 4-point coupling. The component field 4-point coupling arises after elimination of unphysical components. One must, however, remember that this is a classical BV action. It obeys the classical master equation (S, S) = 0, where the anti-bracket takes the simple form

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (7)

In order to perform quantum calculations with path integral over [PSI], gauge fixing has to be implemented. This involves traditional gauge fixing (of the component gauge field), as well as elimination of the anti-fields. I will comment briefly on gauge fixing towards the end of the paper.

As already mentioned, pure spinor formulations are relevant for BV action formulations of any maximally supersymmetric model (exceptions being models containing self-dual tensors). I would now like to illustrate how they can be used for 3-dimensional conformal models. The pure spinor actions turn out to have a much simpler structure than the component actions. There has recently been much interest in conformal 3-dimensional theories. Following the discovery of the existence of a maximally supersymmetric (N = 8) interacting theory of scalar multiplets coupled to Chern-Simons, the Bagger-Lambert-Gustavsson (BLG) theory [20-23], much effort has been spent on trying to generalize the construction and to interpret it in terms of an anti-de Sitter (AdS) boundary model of multiple M2-branes. The interesting, but restrictive, algebraic structure of the model, containing a 3-algebra with antisymmetric structure constants, turned out to have only one finite-dimensional realization [24,25], possible to interpret in terms of two M2-branes [26,27] (see, however, [28-30] dealing with the infinite-dimensional solution related to volume-preserving diffeomorphisms in three dimensions).

It then became an urgent question how the stringent requirements in the BLG theory could be relaxed. There are different possibilities. One may let the scalar product on the matter representation be degenerate [31]. This works at the level of equations of motion, but does not allow for an action principle. One may also go one step further, and add further null directions to that degenerate case, which leads to scalar products with indefinite signature [32-34] (and consequently to matter kinetic terms with different signs). Or, finally, one may reduce the number of supersymmetries, specifically to N = 6, as proposed by Aharony, Bergman, Jafferis, and Maldacena (ABJM) [35] or maybe even to lower N [36,37]. The N = 6 models were further studied in [38-44] (among other papers). The literature on the subject is huge, and I apologize for omissions of references to relevant papers.

The superfield formulation of the BLG model was given in [45] (see also [46], where the on-shell superfields were constructed for the example of the BLG model based on the infinite-dimensional algebra of volume-preserving diffeomorphisms in three dimensions). A superfield formulation with N = 1 superfields was given in [47] and with N = 2 superfields in [48]. In [45] we constructed an action in an N = 8 pure spinor superspace formulation of the BLG model, which covers all situations with N = 8 above, except the ones with degenerate scalar product. The construction was essentially performed by using minimal pure spinor variables, and the issue of the integration measure was more or less neglected (the measure was assumed to exist). In the subsequent paper [49] also the N = 6 ABJM models were treated, and integration measures were defined by using non-minimal variables for both types of models.

Let us first briefly review the results of [45]. Since the BLG model is maximally supersymmetric, component formulations and also usual superspace formulations are on-shell. There is no finite set of auxiliary fields. A pure spinor treatment is necessary in order to write an action in a generalized BRST setting.

The Lorentz algebra in D = 3 is so(1,2) [approximately equal to] sl(2, R). The N = 8 theory has an so(8) R-symmetry, and we choose the fermionic coordinates and derivatives to transform as (2,8s) = (1)(0010) under sl(2) [direct sum] so(8). This representation is real and self-conjugate. The pure spinors transform in the same representation and are written as [[lambda].sup.A[alpha]], where A is the sl(2) index and [alpha] the so(8) spinor index. As usual, a BRST operator is formed as Q = [[lambda].sup.A[alpha]][D.sub.A[alpha]], D being the fermionic covariant derivative. The nilpotency of Q demands that

([[lambda].sup.A][[lambda].sup.B]) = 0, (8)

where (...) denotes contraction of so(8) spinor indices, since the superspace torsion has to be projected out. This turns out to be the full constraint (1). As will soon be clear, it is essential that not only ([[lambda].sup.A][[sigma].sub.IJKL][[lambda].sup.B]) but also [[epsilon].sub.AB]([[lambda].sup.A][[sigma].sub.IJ][[lambda].sup.B]) is left non-zero. These pure spinors are similar to those encountered in [50].

The 'pure spinor wave function' for the Chern-Simons field is a fermionic scalar [PSI] of (mass) dimension 0 and ghost number 1. For the matter multiplet we have a bosonic field [[PHI].sup.I] in the so(8) vector representation (0)(1000) of dimension 1/2 and ghost number 0. In addition to the pure spinor constraint, the matter field is identified modulo transformations

[[PHI].sup.I] [right arrow] [[PHI].sup.I] + ([[lambda].sup.A][[sigma].sup.I][[rho].sub.A]) (9)

for arbitrary [rho]. (This type of additional gauge invariance is typical of fields in some non-trivial module of the structure group. Without it the cohomology would be the tensor product of the module with the cohomology of a field in the trivial module.)

In this minimal pure spinor formulation the fields are expanded in power series in [lambda], i.e., in decreasing ghost number. The pure spinor partition function is easily calculated to be

[Z.sub.1](t) = 1 - 3[t.sup.2] + 3[t.sup.4] - [t.sup.6]/[(1 - t).sup.16] = [(1 + t).sup.3]/[(1 - t).sup.13]. (10)

The partition for a matter field is

[Z.sub.8] = 8 - 16t + 16[t.sup.3] - 8[t.sup.4]/[(1 - t).sup.16] = 8 (1 + 1)/[(1 - t).sup.13]. (11)

These expressions seem to imply that the number of independent degrees of freedom of a pure spinor is 13, i.e., that the pure spinor constraint in this case is irreducible. This is verified by a concrete solution of the constraint (for a complex [lambda]) [49]. As for the D= 10 pure spinors, the partition functions can of course be refined to include not only the number of fields, but also modules of the structure group.

The field content (ghosts, fields and their antifields) is read off from the zero-mode BRST cohomology given in Tables 3 and 4 for the Chern-Simons and matter sectors, respectively.

We observe that the field content is the right one. In [PSI] we find the ghost, the gauge connection, its antifield, and the antighost. The antifield has dimension 2 (as opposed to, e.g., D = 10 super-Yang-Mills, where it has dimension 3), indicating equations of motion that are first order in derivatives. It is quite striking that the (bosonic) Chern-Simons model has a natural supersymmetric off-shell extension, although the supersymmetry becomes trivial on-shell. It is not meaningful to talk about a gaugino field. In [PHI] we find the eight scalars [[phi].sup.I], the fermions [[chi].sup.A[alpha]], and their antifields. In addition, the field [PSI] transforms in the adjoint representation adj of some gauge group and [[PHI].sup.I] in some representation R of the gauge group. The corresponding indices are suppressed.

In order to derive the equations of motion for the physical component fields, one starts from the ghost number 0 part of the fields (i.e., [[PHI].sup.I] [right arrow] [[phi].sup.I] (x, [theta]) and [PSI] [right arrow] [[lambda].sup.[alpha]][A.sub.[alpha]](x, [theta]), respectively) and examines the content of the [theta] expansion by repeated application of fermionic covariant derivatives, using the pure spinor constraint and the reducibility 9 when they occur. As a guideline one has the cohomology at ghost number 1; these representations are the only ones where an equation of motion may sit, for obvious reasons. In this manner, one derives the linearized component equations [][[phi].sup.I] = 0, [??][[chi].sup.A] = 0 for the scalar multiplet, and dA = 0 for the Chern-Simons field, and also the interacting equations from the actions below.

In [45] it was assumed that a non-degenerate measure can be formed by using a non-minimal extension of the pure spinor variables along the lines of [7]. This measure, including the 3-dimensional integration, should carry dimension 0 and ghost number -3, and should allow 'partial integration' of the BRST charge Q. It was then shown that the Lagrangian of the interacting model is of a very simple form, containing essentially a Chern-Simons-like term for the Chern-Simons field, minimally coupled to the matter sector:

S = [integral] <[PSI], Q[PSI] + 1/3 [[PSI], [PSI]]>[sub.adj] + [integral]1/2 [M.sub.IJ] <[[PHI].sup.I], Q[[PHI].sup.J] + [PSI] * [[PHI].sup.I] > [sub.R]. (12)

The brackets denote (non-degenerate) scalar products on adj and R, [*,*] the Lie bracket of the gauge algebra, and T * x the action of the Lie algebra element in the representation R. [M.sub.IJ] is the pure spinor bilinear [[epsilon].sub.EB]([[lambda].sup.A][[sigma].sub.IJ][[lambda].sup.B]), which is needed for several reasons: in order to contract the indices on the [PHI]'s antisymmetrically, to get a Lagrangian of ghost number 3, and to ensure invariance in the equivalence classes defined by Eq. (9).

The invariances of the interacting theory (equivalent to the classical master equation (S, S) = 0), generalizing the BRST invariance in the linearized case, are

[delta][PSI] = Q[PSI] - [[LAMBDA], [PSI]] - [M.sub.IJ]{[[PHI].sup.I], [[XI].sup.J]}, [delta][[PHI].sup.I] = -[LAMBDA] * [[PSI].sup.I] + (Q + [PSI] *)[[XI].sup.I], (13)

where [lambda] is an adjoint boson of dimension 0 and ghost number 0, and [[XI].sup.I] a fermionic vector in R of dimension 1/2 and ghost number -1. Here we also introduced the bracket {*,*] for the formation of an adjoint from the antisymmetric product of two elements in R, defined via <x, T * y>[sub.R] = <T, {x, y}>adj. The invariance with parameter [LAMBDA] is manifest. The transformation with [XI] has to be checked. One then finds that the transformation of the matter field [PHI] gives a 'field strength' contribution from the anticommutator of the two factors Q + [PSI], which is cancelled against the variation of the Chern-Simons term. The single remaining term comes from the transformation of the [PSI] in the covariant matter kinetic term, and it is proportional to [M.sub.IJ][M.sub.KL] <{[[PHI].sup.I], [[PHI].sup.J]], {[[PHI].sup.K], [[XI].sup.L]]>[sub.adj]. Due to the pure spinor constraint, [M.sub.[IJ][M.sub.KL] = 0. This was shown in [45], by using the simple observation that the only sl(2) singlet at the fourth power of [lambda] is in the sl(2) [direct sum] so(8) representation (0)(0200)--the four-index antisymmetric tensors (0)(0020) or (0)(0002) do not occur. So if the structure constants of the 3-algebra defined by <{x, a}, {b, c}>[sub.adj] = <x, [[a, b, c]]>[sub.R] are antisymmetric, this term vanishes. It was also checked that the commutator of two [XI]-transformations gives a [LAMBDA]-transformation together with a transformation of the type (9). In this way, one is naturally led to the 3-algebra structure with a minimal amount of input, essentially a 'minimal coupling'. I would like to stress that although the pure spinor action contains at most 3-point couplings, the full component action with up to 6-point interactions will arise when unphysical component fields are eliminated.

For the N = 6 ABJM models, the results are very similar. Due to lack of space, I will not go into details, but refer to [49]. The end result is a weaker condition on the structure constants of the '3-algebra', which is just the appropriate one [42]. The classification of such algebraic structures was performed in [43]. It is satisfactory that the structure of the pure spinors in both cases gives the necessary and sufficient algebraic structure by the vanishing of a single term in the transformation of minimally coupled matter.

In both the N = 8 and N = 6 theories in D = 3, the naive measure sits at [[lambda].sup.3][[theta].sup.3]. In analogy with the 10-dimensional case, we need the number of irreducible constraints on the pure spinors to equal the number of [theta]'s. Indeed, as mentioned, the constraints, which in both cases sit in the vector representation of so(1,2), turn out to be irreducible, which is straightforward to check (explicit solutions were given in [49]).

We can write the invariant tensors as

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (14)

in the N = 8 case, and as a similar expression when N = 6. The integration measures are constructed by using these invariant tensors in a manner completely analogous to the measure in D = 10.

Let us examine the dimensions and ghost numbers of the total measures. The analogies of Table 2 are obtained by simple counting (the N = 6 case is included for completeness) and are given in Table 5.

In both cases we get a non-degenerate measure of dimension 0 and ghost number -3, as desired for a conformal theory. Also here, the measures of course have to be regularized in the same way as in [7]. We insert a factor N = [e.sup.{Q[chi]}], where [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] for N = 8 (and similarly for N = 6).

To conclude, I have presented manifestly supersymmetric formulations of the N = 8 BLG models and the N = 6 ABJM models. I have also performed a detailed analysis of the pure spinor constraints and provided proper actions based on non-degenerate measures on non-minimal pure spinor spaces. I hope that these formulations may be helpful in the future, e.g., for the investigation of quantum properties [51,52] of the models. In order to perform path integrals, one has to gauge fix. Gauge fixing in the pure spinor formalism for the superparticle includes the 'b-ghost', with the property {Q,b} = []. The b-ghost is a composite operator in the pure spinor formalism, since [p.sup.2] = 0 is not an independent constraint. This operator has singularities at [lambda] = 0, which need to be regularized. Proposals for resolving this issue and allowing for calculation of string amplitudes at arbitrary loop level have been made in [53,54], but lead to complicated expressions. It is possible that some simpler approach exists.

I believe that much more is to be learnt from pure spinor superspace formulations, especially of maximally supersymmetric theories. One very interesting example, largely unexplored, is the issue of such formulations of supergravities. I think that the treatment of the scalar multiplet actions in the present work may contain clues to supergravity, both considering the extra gauge invariances and the extra factors of [lambda] in the action. Work is in progress.

doi: 10.3176/proc.2010.4.05

ACKNOWLEDGEMENT

I would like to thank Bengt E. W. Nilsson, Ulf Gran, Dimitrios Tsimpis, Pierre Vanhove, Nathan Berkovits, Niclas Wyllard, and Pietro Antonio Grassi for discussions and comments.

REFERENCES

[1.] Nilsson, B. E. W. Pure spinors as auxiliary fields in the ten-dimensional supersymmetric Yang-Mills theory. Class. Quantum Grav., 1986, 3, L41.

[2.] Howe, P. S. Pure spinor lines in superspace and ten-dimensional supersymmetric theories. Phys. Lett. B, 1991, 258, 141-144.

[3.] Howe, P. S. Pure spinors, function superspaces and supergravity theories in ten and eleven dimensions. Phys. Lett. B, 1991, 273, 90-94.

[4.] Berkovits, N. Super-Poincare covariant quantization of the superstring. J. High Energy Phys., 2000, 04, 018; arXiv:hep-th/0001035.

[5.] Berkovits, N. Covariant quantization of the superparticle using pure spinors. J. High Energy Phys., 2001, 09, 016; arXiv:hep-th/0105050.

[6.] Berkovits, N. ICTP lectures on covariant quantization of the superstring. Proceedings of the ICTP Spring School on Superstrings and Related Matters, Trieste, Italy, 2002, arXiv:hep-th/0209059.

[7.] Berkovits, N. Pure spinor formalism as an N = 2 topological string. J. High Energy Phys., 2005, 10, 089; arXiv:hep-th/0509120.

[8.] Cederwall, M., Nilsson, B. E. W., and Tsimpis, D. The structure of maximally supersymmetric super-Yang-Mills theory constraining higher order corrections. J. High Energy Phys., 2001, 06, 034; arXiv:hep-th/0102009.

[9.] Cederwall, M., Nilsson, B. E. W., and Tsimpis, D. D = 10 super-Yang-Mills at o(0'2). J. High Energy Phys., 2001, 07, 042; arXiv:hep-th/0104236.

[10.] Cederwall, M., Nilsson, B. E. W., and Tsimpis, D. Spinorial cohomology and maximally supersymmetric theories. J. High Energy Phys., 2002, 02, 009; arXiv:hep-th/0110069.

[11.] Cederwall, M. Superspace methods in string theory, supergravity and gauge theory. Lectures at the XXXVII Winter School in Theoretical Physics "New Developments in Fundamental Interactions Theories", Karpacz, Poland, Feb. 6-15, 2001, arXiv:hep-th/0105176.

[12.] Movshev, M. and Schwarz, A. On maximally supersymmetric Yang-Mills theories. Nucl. Phys. B, 2004, 681, 324-350; arXiv:hep-th/0311132.

[13.] Cederwall, M. and Nilsson, B. E. W. Pure spinors and D = 6 super-Yang-Mills. arXiv:0801.1428, 2008.

[14.] Cederwall, M., Gran, U., Nielsen, M., and Nilsson, B. E. W. Manifestly supersymmetric M-theory. J. High Energy Phys., 2000, 10, 041; arXiv:hep-th/0007035.

[15.] Cederwall, M., Gran, U., Nielsen, M., and Nilsson, B. E. W. Generalised 11-dimensional supergravity. In Quantization, Gauge Theory and Strings. Proceedings of the International Conference Dedicated to the Memory of Professor Efim Fradkin, Vol. 1 (Semikhatov, A., Vasiliev, M., and Zaikin, V., eds). Scientific World, Moscow, 2001, 94-105. arXiv:hep-th/0010042, 2000.

[16.] Cederwall, M., Gran, U., Nilsson, B. E. W., and Tsimpis, D. Supersymmetric corrections to eleven-dimensional supergravity. J. High Energy Phys., 2005, 05, 052; arXiv:hep-th/0409107.

[17.] Howe, P. S. and Tsimpis, D. On higher order corrections in M theory. J. High Energy Phys., 2003, 09, 038; arXiv:hep-th/0305129.

[18.] Berkovits, N. and Nekrasov, N. The character of pure spinors. Lett. Math. Phys., 2005, 74, 75-109; arXiv:hep-th/0503075.

[19.] Marnelius, R. and Ogren, M. New symmetric inner products for physical states in BRST quantization. Nucl. Phys. B, 1991, 351, 474-490.

[20.] Bagger, J. and Lambert, N. Modeling multiple M2's. Phys. Rev. D, 2007, 75, 045020; arXiv:hep-th/0611108.

[21.] Gustavsson, A. Algebraic structures on parallel M2 branes. Nucl. Phys. B, 2009, 811, 66-76; arXiv:0709.1260.

[22.] Bagger, J. and Lambert, N. Gauge symmetry and supersymmetry of multiple M2-branes. Phys. Rev. D, 2008, 77, 065008; arXiv:0711.0955.

[23.] Bagger, J. and Lambert, N. Comments on multiple M2-branes. J. High Energy Phys., 2008, 02, 105; arXiv:0712.3738.

[24.] Papadopoulos, G. M2-branes, 3-Lie algebras and Plucker relations. J. High Energy Phys., 2008, 05, 054; arXiv:0804.2662.

[25.] Gauntlett, J. P. and Gutowski, J. B. Constraining maximally supersymmetric membrane actions. arXiv:0804.3078, 2008.

[26.] Lambert, N. and Tong, D. Membranes on an orbifold. Phys. Rev. Lett., 2008, 101, 041602; arXiv:0804.1114.

[27.] Distler, J., Mukhi, S., Papageorgakis, C., and van Raamsdonk, M. M2-branes on M-folds. J. High Energy Phys., 2008, 05, 038; arXiv:0804.1256.

[28.] Ho, P.-M. and Matsuo, Y. M5 from M2. J. High Energy Phys., 2008, 06, 105; arXiv:0804.3629.

[29.] Bandos, I. and Townsend, P. K. Light-cone M5 and multiple M2-branes. Class. Quantum Grav., 2008, 25, 245003; arXiv:0806.4777

[30.] Bandos, I. and Townsend, P. K. SDiff gauge theory and the M2 condensate. J. High Energy Phys., 2009, 02, 013; arXiv:0808.1583.

[31.] Gran, U., Nilsson, B. E. W., and Petersson, C. On relating multiple M2 and D2-branes. J. High Energy Phys., 2008, 10, 067; arXiv:0804.1784.

[32.] Gomis, J., Milanesi, G., and Russo, J. G. Bagger-Lambert theory for general Lie algebras. J. High Energy Phys., 2008, 06, 075; arXiv:0805.1012.

[33.] Benvenuti, S., Rodriguez-Gomez, D., Tonni, E., and Verlinde, H. N = 8 superconformal gauge theories and M2 branes. J. High Energy Phys., 2009, 01, 071; arXiv:0805.1087.

[34.] Ho, P.-M., Imamura, Y., and Matsuo, Y. M2 to D2 revisited. J. High Energy Phys., 2008, 07, 003; arXiv:0805.1202.

[35.] Aharony, O., Bergman, O., Jafferis, D. L., and Maldacena, J. N = 6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals. J. High Energy Phys., 2008, 10, 091; arXiv:0806.1218.

[36.] Gaiotto, D. and Witten, E. Janus configurations, Chern-Simons couplings, and the theta-angle in N = 4 super-Yang-Mills theory. arXiv:0804.2907, 2008.

[37.] Hosomichi, K., Lee, K.-M., Lee, S., Lee, S., and Park, J. N = 4 superconformal Chern-Simons theories with hyper and twisted hyper multiplets. J. High Energy Phys., 2008, 07, 091; arXiv:0805.3662.

[38.] Benna, M., Klebanov, I., Klose, T., and Smedback, M. Superconformal Chern-Simons theories and AdS4/CFT3 correspondence. J. High Energy Phys., 2008, 09, 072; arXiv:0806.1519.

[39.] Nishioka, T. and Takayanagi, T. On type IIA Penrose limit and N = 6 Chern-Simons theories. J. High Energy Phys., 2008, 08, 001; arXiv:0806.3391.

[40.] Minahan, J. and Zarembo, K. The Bethe Ansatz for superconformal Chern-Simons. J. High Energy Phys., 2008, 09, 040; arXiv:0806.3951.

[41.] Hosomichi, K., Lee, K.-M., Lee, S., Lee, S., and Park, J. N = 5,6 superconformal Chern-Simons theories and M2- branes on orbifolds. J. High Energy Phys., 2008, 09, 002; arXiv:0806.4977.

[42.] Bagger, J. and Lambert, N. Three-algebras and N = 6 Chern-Simons gauge theories. Phys. Lett. D, 2009, 79, 025002; arXiv:0807.0163.

[43.] Schnabl, M. and Tachikawa, Y. Classification of N = 6 superconformal theories of ABJM type. arXiv:0807.1102, 2008.

[44.] Nilsson, B. E. W. and Palmkvist, J. Superconformal M2-branes and generalized Jordan triple systems. Class. Quantum Grav., 2009, 26, 075007; arXiv:0807.5134.

[45.] Cederwall, M. N = 8 superfield formulation of the Bagger-Lambert-Gustavsson model. J. High Energy Phys., 2008, 09, 116; arXiv:0808.3242.

[46.] Bandos, I. NB BLG model in N = 8 superfields. Phys. Lett. B, 2008, 669, 193-195; arXiv:0808.3562.

[47.] Mauri, A. and Petkou, A. C. An N = 1 superfield action for M2 branes. Phys. Lett. B, 2008, 666, 527-532; arXiv:0806.2270.

[48.] Cherkis, S. and Samann, C. Multiple M2-branes and generalized 3-Lie algebras. Phys. Lett. D, 2008, 78, 066019; arXiv:0807.0808.

[49.] Cederwall, M. Superfield actions for N = 8 and N = 6 conformal theories in three dimensions. J. High Energy Phys., 2008, 10, 070; arXiv:0809.0318.

[50.] Fre, P. and Grassi, P. A. Pure spinor formalism for OSp(N|4) backgrounds. arXiv:0807.0044, 2008.

[51.] Gustavsson, A. One-loop corrections to Bagger-Lambert theory. Nucl. Phys. B, 2009, 807, 315-333; arXiv:0805.4443.

[52.] Bedford, J. and Berman, D. A note on quantum aspects of multiple membranes. Phys. Lett. B, 2008, 668, 67-71; arXiv:0806.4900.

[53.] Berkovits, N. and Nekrasov, N. Multiloop superstring amplitudes from non-minimal pure spinor formalism. J. High Energy Phys., 2006, 12, 029; arXiv:hep-th/0609012.

[54.] Grassi, P. A. and Vanhove, P. Higher-loop amplitudes in the non-minimal pure spinor formalism. J. High Energy Phys., 2009, 05, 089; arXiv:0903.3903.

Most of the material is covered by the papers arXiv:0808.3242 and arXiv:0809.0318. This is the written version of a talk given at the 4th Baltic-Nordic workshop 'Algebra, Geometry and Mathematical Physics', Tartu, Estonia, 9-11 October 2008.

(1) The vanishing of the 'torsion representation'--the vector part of the spinor bilinear--is necessary, but does not always give the full pure spinor constraint. One example where further constraints are needed is N = 4, D = 4 super-Yang-Mills theory.

Martin Cederwall

Fundamental Physics, Chalmers University of Technology, SE 412 96 Goteborg, Sweden; martin.cederwall@chalmers.se

Received 14 October 2009, accepted 6 April 2010
Table 1. The cohomology of the D = 10 super-Yang-Mills complex

               n = 0      n = 1      n = 2      n = 3      n = 4
dim = 0       (00000)

      1/2        *          *
      1          *       (10000)       *
      3/2        *       (00001)       *          *
      2          *          *          *          *          *
      5/2        *          *       (00010)       *          *
      3          *          *       (10000)       *          *
      7/2        *          *          *          *          *
      4          *          *          *       (00000)       *
      9/2        *          *          *          *          *

Table 2. The dimensions and ghost numbers of the D = 10 measure

                        gh#        dim

[d.sup.D]x               0             -D
[d.sup.16][theta]        0              8
[d[lambda]]              8             -4
[d[bar.[lambda]]]       -8              4
[dr]                    -3             -4
Total                   -3       -(D - 4)

Table 3. The cohomology of the scalar complex

  gh# =           1           0          -1          -2          -3

dim = 0       (0)(0000)
      1/2         *           *
      1           *       (2)(0000)       *
      3/2         *           *           *           *
      2           *           *       (2)(0000)       *           *
      5/2         *           *           *           *           *
      3           *           *           *       (0)(0000)       *
      7/2         *           *           *           *           *

Table 4. The cohomology of the vector complex

  gh# =           0          -1         -2        -3        -4

dim = 1/2     (0)(1000)
      1       (1)(0001)       *
      3/2         *           *          *
      2           *       (1)(0001)      *         *
      5/2         *       (0)(1000)      *         *         *
      3           *           *          *         *         *
      7/2         *           *          *         *         *

Table 5. The dimensions and ghost numbers of the N = 8
and N = 6 measures

                         N = 8             N = 6

                      gh#      dim      gh#      dim

[d.sup.3]x              0       -3       0       -3
[d[theta]]              0        8       0        6
[d[lambda]]            10       -5       6       -3
[d[bar.[lambda]]]     -10        5      -6        3
[dr]                   -3       -5      -3       -3
Total                  -3        0      -3        0
COPYRIGHT 2010 Estonian Academy Publishers
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2010 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Title Annotation:MATHEMATICS
Author:Cederwall, Martin
Publication:Proceedings of the Estonian Academy of Sciences
Article Type:Report
Geographic Code:4EUSW
Date:Dec 1, 2010
Words:5707
Previous Article:On the K-theory of the [C.sup.*]-algebra associated with a one-sided shift space/Uhepoolse nihkeruumiga assotsieeritud [C.sup.*]-algebra K-teooriast.
Next Article:A global, dynamical formulation of quantum confined systems/Tokestatud kvantsusteemide globaalne dunaamiline formuleering.
Topics:

Terms of use | Privacy policy | Copyright © 2021 Farlex, Inc. | Feedback | For webmasters |