Nilpotence varieties

We consider algebraic varieties canonically associated to any Lie superalgebra, and study them in detail for super-Poincar\'e algebras of physical interest. They are the locus of nilpotent elements in (the projectivized parity reversal of) the odd part of the algebra. Most of these varieties have appeared in various guises in previous literature, but we study them systematically here, from a new perspective: as the natural moduli spaces parameterizing twists of a super-Poincar\'e-invariant physical theory. We obtain a classification of all possible twists, as well as a systematic analysis of unbroken symmetry in twisted theories. The natural stratification of the varieties, the identification of strata with twists, and the action of Lorentz and $R$-symmetry on the varieties are emphasized. We also include a short and unconventional exposition of the pure-spinor superfield formalism, from the perspective of twisting, and demonstrate that it can be applied to construct familiar multiplets in four-dimensional minimally supersymmetric theories; in all dimensions and with any amount of supersymmetry, this technique produces BRST or BV complexes of supersymmetric theories from the Koszul complex of the cone point over the coordinate ring of the nilpotence variety, possibly tensored with a module over that coordinate ring. In addition, we remark on a natural emergence of nilpotence varieties in the Chevalley-Eilenberg cohomology of supertranslations, and give two applications related to these ideas: a calculation of Chevalley-Eilenberg cohomology for the six-dimensional $\mathcal{N}=(2,0)$ supertranslation algebra, and a BV complex matching the field content of type IIB supergravity from the coordinate ring of the corresponding nilpotence variety.


GENERAL PHILOSOPHY
In this note, we study a general family of algebraic varieties associated to super Lie algebras. Such an algebra, as the reader will recall, takes the general form where the superscript refers to a grading by Z/2Z that determines the parity of the bracket according to the Koszul sign rule. Such algebras were originally defined in [1], and have been the subject of intense study since then.
Expanding out the bracket into its graded components, the adjoint action of A on itself implies that A 0 is an ordinary Lie algebra, A 1 carries a representation of A 0 , and the anticommutator map is an intertwiner of A 0 -representations.
Let Q denote an element of A 1 , and consider the equations over the ground field k of the algebra A. We will denote the corresponding affine variety by Y ⊂ A 1 . Such a projective variety Y is associated to any super Lie algebra; we call it the nilpotence variety of A.
Both definitions and many examples of such varieties have appeared in the literature before. The general study of the variety of nilpotent elements was introduced by [2], and used to prove various results about the cohomology of Lie superalgebras; her definitions were later generalized in [3] to include the "associated variety" of an A-module, which is a certain subvariety of Y (A) respecting its stratification. In those works, however, the emphasis was on simple or semi-simple super-Lie algebras, rather than super-Poincaré algebras.
Independently, in the physics literature, some of the varieties Y for super-Poincaré algebras have been studied in the context of the pure spinor formalism. 1 The most famous example is the variety associated to the ten-dimensional minimal supersymmetry algebra, which appears in the Berkovits pure spinor formalism [5,6]. Other examples have been studied for the purposes of generalizing the pure spinor formalism in [7][8][9][10][11] (just for example). Independently, and for different reasons, some very simple examples for theories with four supercharges were written down in [12]. We study all instances here systematically, though, and from a new perspective, which relates the varieties to one another and to the procedure of twisting a supersymmetric theory. As an additional benefit, this allows us to clarify the relationship between twisting and the pure spinor formalism.
The primary physics motivation for studying superalgebras is interest in supersymmetric, (locally) Lorentz-invariant field theories. Such a field theory admits the action of an algebra A taking a particular form. For non-conformally invariant theories, the relevant algebras are the (extended) super-Poincaré algebras; this means that where V ∼ = R n is the inner product space pointwise isomorphic to the tangent space of the space-time manifold (before complexification), so(V ) is the Lie algebra of the bilinear form on V , and R is some other ordinary Lie algebra with a non-degenerate invariant bilinear form.
One also demands that A 1 sits in a spinorial representation of so(V ) (or possibly consists of several copies of irreducible spin representations), and that the map (1.2) 1 In the literature, Y is often called a "pure spinor space;" we opt to reserve this term for the space of pure spinors as defined by Cartan [4]. See below ( §2.2).
arises from the standard bilinear mappings from spinors to the vector representation, V , as well as possibly to the trivial representation (in the presence of "central charges").
In fact, the Coleman-Mandula theorem [13] implies that the only finite-dimensional physically relevant possibilities for the algebra A 0 are those of the form (1.5), conformal algebras (which are of the form so(d + 1, 1) in Euclidean dimension d), and infinitedimensional algebras, such as the Virasoro and Kac-Moody algebras, relevant to twodimensional models. When one allows super Lie algebras, the first of these possibilities may be extended (according to Haag-Lopuszański-Sohnius [13]) by a spinorial representation in odd degree, as in (1.2). The second extends to those super Lie algebras appearing in Nahm's list of superconformal algebras [14], and there are correspondingly infinitedimensional superconformal algebras relevant to two-dimensional physics. Only the first possibility will be of concern in this article, although it would be interesting to repeat exactly the same set of exercises for the superalgebras appearing on Nahm's list. We leave that task to future work; a study of the variety Y relevant to the four-dimensional N = 2 superconformal algebra will appear in [15].
In the real physical theory, the inner product on V has Minkowski signature, so(V ) is the Lie algebra of the Lorentz group, and R generates a compact Lie group via its unitary representation on a complex Hilbert space, H . As a consequence of the positivity of the inner product on H , the kernel of the map (1.2) would be represented trivially on H , so that it is no loss to assume that the map is non-degenerate. In studying the representation theory of (1.1), it is also natural to view scalars as extended to C, and we will work with the complexified version of (1.1) throughout. We will denote the (henceforth complex) dimension of V by d, and sometimes write so(d) = so(d, C) for the associated Lie algebra for clarity.
While the letter R is meant to suggest R-symmetry, we leave open the possibility that R includes flavor symmetries and central charges; this will have no effect on the following discussion. By definition, a symmetry is termed an R-symmetry if it is represented nontrivially on A 1 , and a flavor symmetry otherwise. Since R commutes with so(V ), Schur's lemma allows us to write where the symbol denotes some direct sum of spinor representations S tensored with auxiliary vector spaces U carrying representations of R. We recall the standard pattern below in §2. Suffice it say for now that the "amount of supersymmetry" N is either a single integer or a pair of such integers when d = 2 mod 4. U also carries a (symmetric or anti-symmetric) non-degenerate inner product to accompany the map S ⊗ S → V in the definition of (1.2); R is, at least in the simplest cases, the subalgebra of gl(U) preserving this pairing.
Such super-Poincaré algebras can be constructed in various dimensions; however, due to physical considerations regarding the existence of representations that can be used to construct sensible field theories, one never considers cases where dim(A 1 ) > 16, implying in particular that d ≤ 10. The only exceptions are the algebras relevant to elevendimensional supergravity, for which d = 11 and dim(A 1 ) = 32, and those of type II supergravity theories in ten dimensions; these theories, though, automatically include dynamical metric degrees of freedom.
Supersymmetric theories admit various twists; the term refers to a standard procedure for extracting a subsector of the theory, which depends topologically or possibly holomorphically on the spacetime. Twisted theories have been of great interest, not only in physics, but also in mathematics (geometry and topology in particular). In the standard description one finds in the literature of this procedure, one tends to see a two-part story along the following lines: One would like to take cohomology of a supercharge, but (since supercharges are always in the spinor representation of the Lorentz group) one cannot.
Therefore, one modifies the action of the Lorentz group according to an embedding φ is thought of as a "twisting homomorphism." Having made this choice, it may be that A 1 contains one or more trivial representations of so(d) ′ ; such fermionic symmetries are then necessarily nilpotent, and one can pass to their cohomology to obtain a topological field theory.
It is perhaps slightly unfortunate that the word "twist" for this procedure is so thoroughly established in the mathematical physics literature. The word would be overburdened even without this usage, and the problem is only compounded by the fact that the piece of the apparatus that warrants the name "twisting" (the homomorphism φ) can in fact often be viewed as a consequence of the procedure, rather than an independent choice. One of the central philosophical points of this note is to take the perspective that the fundamental data of the twist is a choice of nilpotent Q ∈ A 1 ; once this data is given, all else (including the set of possible twist maps-φ need not be unique, but often is) in fact follows.
For us, then, to "twist" a theory means to take the invariants of a fermionic symmetry.
This procedure can be performed whenever the chosen symmetry operator Q is nilpotent; the invariants are then the cohomology of that operator (which can be thought of as all invariants, modulo those that are invariant for an uninteresting reason, and in fact belong to multiplets where Q is represented nontrivially). The set of possible such symmetry operators is thus the variety Y (d; N). In our notation, the pair (d; N) follows the standard physics convention of labeling the algebra A by the dimension and the integer (or pair of integers) giving the "amount of extended supersymmetry" as recalled before. There are two important and rather violent consequences of restricting the observables to Q-invariants of the theory. First of all, a subset of the bosonic symmetries in fact become Q-exact, and can be viewed as "pure gauge" in that sense. Specifically, let us For a super-Poincaré algebra, E will contain a non-trivial subspace of the translation generators V , and, by standard arguments, correlation functions of Q-closed operators will be independent of translations generated in that subspace. In a local theory, in which charges are integrated currents, the translations come from an exact energy-momentum tensor, and the correlation functions will be independent of deformations of certain components of the metric.
On the other hand, the symmetry algebra will also be broken to the commutant of Q, which is a subalgebra Z(Q) ⊆ A. (Other symmetries will not preserve Q, and therefore do not act on Q-cohomology.) In fact, to be precise, a larger algebra is left unbroken, the stabilizer of the line spanned by Q: It follows from the Jacobi identity that both Z(Q) and I(Q) are closed under the bracket.
Moreover, it is clear that Z(Q) ⊆ I(Q), and that E ⊂ Z(Q). 2 And it is not difficult to see The difference between the two can thus be summed up by saying that I(Q) may contain additional generators of U(1) symmetries, with respect to which Q transforms with definite (but nonzero) charge. I(Q) is therefore the relevant algebra to consider for questions related to gradings. For similar reasons as above, both of these also define natural families of algebras over Y (d; N). (The bracket above is the bracket of A, and so is to be understood as either a commutator or anticommutator, as appropriate to the parity of x.) With respect to either of the algebras Z(Q) and I(Q), Q is tautologically a scalar, perhaps carrying some definite U(1) charges. For general reasons, though, I(Q) can contain neither the generators of Lorentz nor any semisimple R-symmetry (in the first case, since A 1 must be a spinor, and in the second case by definition). Nonetheless, I(Q) R may contain a subalgebra so(d) ′ , isomorphic to the Lorentz algebra, but defined by the graph of some nontrivial homomorphism φ from the Lorentz group to the R-symmetry group, as in (1.7). When such a "twisted" Lorentz symmetry is unbroken, and additionally E = V , one obtains a "topological theory" by taking the Lorentz group to act on fields by so(d) ′ , in addition to taking Q-invariants: In the twisted theory, the correlation functions (of Q-cohomology classes) are independent of position. The theory can be defined on any Riemannian manifold, but its observables are also independent of deformations of the metric. Note that for any given nilpotent Q, there might be several possible twisting maps. Moreover, given the twisting map, there might be several different nilpotent scalar Q's.
More generally, though, the Lorentz algebra may simply be broken to some subalgebra.
Twists of this kind have recently attracted greater attention in the literature; see, just for example, [17][18][19]. In the case of a "holomorphic" twist, when d = 2n is even, the unbroken (real Lorentz) subgroup contains a factor isomorphic to U(n) ⊆ SO(2n, R), the subgroup preserving a particular complex structure. Since the branching rules for the spinor under U(n) always contains a scalar, this class of twists will occur even in theories with minimal supersymmetry. There may even be twists which are intermediate between holomorphic and topological, for which E ⊂ V is a coisotropic subspace that is neither maximal nor minimal; an example was studied in [20]. Additionally, it may happen that E = V , but (in spite of this) Z 0 (Q) R contains no so(d) ′ subalgebra. Examples will occur, for example, in dimensions eight and seven; the corresponding twists were first discussed by [21] and [22], respectively. In this case, one can define a topological theory that nonetheless only admits a formulation on manifolds of reduced holonomy. We will call such theories weakly topological.
This means that there is an interesting stratification of Y (d; N), by what type of twist a given operator generates-or, put differently, by the form of the stabilizer algebra I(Q). This stratification is precisely related to the jump loci of Q-cohomology in the family of chain complexes from above, and also to the decomposition of the variety into orbits of so(d) × R. We will see that the structure of these varieties contains a lot of information, both about the structure that is preserved by a given twist, and about how various twists sit in relation to one another. In particular, thinking about the nilpotence variety makes it clear when a "more topological" twist can be obtained by deforming away from a "less topological" one, giving rise to spectral sequences relating the operators of the corresponding twisted theories in cases where both are defined [12].
The local structure of Y (d; N) and its affine version can also be understood purely by studying the super-Poincaré algebra, in particular by analyzing the structure of commutant Z(Q) and stabilizer I(Q) at any point Q ∈ Y (d; N), and their variation as families of superalgebras over Y (d; N).
For instance, the space of first order deformations of Q-which is just the space of solutions of [Q, x] = 0 inside of A 1 -is by definition the tangent space to Y (d; N), and equal to the odd part of the stabilizer: where the last equality follows simply for degree reasons. Of course, Q ∈ Z 1 (Q) by nilpotence; we can therefore identify the (algebraic) tangent space to our projective variety at Q with the vector space Z 1 (Q)/Q. It is important to note that, since the variety may be singular, the fiber dimension of the tangent bundle is not necessarily everywhere constant! It jumps up precisely along the singular locus.
To understand this better, we note that the identification (1.11) fits into the exact In the context of twisted field theories, again, E determines those vector fields on which the correlators will not depend. Conversely, the cokernel V /E should be thought of as the set of "surviving" momenta. A central observation for the understanding of Y (d, N) is that E is a coistropic subspace of V , i.e. v, w = 0 for all v ∈ E implies that w ∈ E.
This statement follows as a simple consequence of the nature of the pairing (1.2) and will be explained below. Among other things, it implies (again) that the minimal twists, for which E is a half-dimensional Lagrangian subspace of V , are the holomorphic ones.
A related sequence is the sequence defining the subalgebra Z 0 (Q). One can express this as follows: At face value, (1.13) is just the odd version of (1.12). However, the two sequences can also be merged together into a longer sequence that is exact at every term except the middle one: 14) The kernel of Q in middle degree (i.e., in A 1 ) is, as indicated before, image consists of those supercharges obtained by acting on Q with elements of A 0 ; this is precisely the tangent space to the orbit of Lorentz and R-symmetry in which Q sits, which is exactly the stratum in which it sits. As a vector space, we can also express the . . . image of Q in A 1 as A 0 /Z 0 (Q). The homology in middle degree is therefore the algebraic normal bundle to the pure stratum inside of the whole space Y ; the sequence is otherwise exact.
One therefore expects that jumps in dimension of V /E are connected to jumps in the dimension of Z 0 (Q), and the two differ by an amount connected precisely to the codimension of the stratum. Tautologically, the action of the unbroken bosonic symmetries (i.e., those in Z 0 ) commutes with Q. In particular, E = {Q, A 1 } carries a natural action of Z 0 . And the twisting map (or set of possible twisting maps) can be computed by just considering the appropriate subalgebras of Z 0 (Q) R .
We emphasize that we study the sequence (1.14), just like the varieties Y (d, N), when A is defined over the complex numbers. Parts of the sequence, however, continue to make sense and are sometimes easier to understand over the reals. For example, for a minimal twist in d = 2n dimensions, the real version of Z 0 (Q) contains a factor isomorphic to u(n), as appropriate in a holomorphic theory. In the complex version, Z 0 is not the complexification gl(n), but rather a somewhat larger "parabolic" Lie algebra. This is related to a familiar story in the context of homogeneous spaces; the reader will recall that P 1 (C) = SU(2)/U(1) = SL(2, C)/B, (1.15) where B is the subgroup of upper-triangular matrices rather than C × . Figure 1 shows a diagram, listing relations between all of the varieties Y (d; N) we will consider. (For compactness, we omit seven-through nine-dimensional supersymmetry algebras; the reader will find it obvious where these would sit in the diagram.) The diagram contains two types of inclusion arrows, vertical and horizontal. The vertical are straightforward to understand: upon dimensional reduction, one takes the higher-dimensional variety and throws out some of its defining quadrics. The number of supercharges (and hence the ambient projective space) does not change. Thus, the higher-dimensional variety is a subvariety of the one that appears upon dimensional reduction.
The horizontal are also reasonably clear, although of a slightly different nature. The key fact is that the set of nilpotent supercharges in an extended supersymmetry algebra, in which only supercharges from a subalgebra with less supersymmetry appear, must be precisely the set of nilpotent supercharges in the smaller supersymmetry algebra of the same dimension. This means that the varieties with less-extended supersymmetry arise as hyperplane sections of the appropriate kind and dimension.
Considering the nilpotence varieties in different dimensions in unified fashion has several advantages. For example, we will see that the five-dimensional nilpotence variety Y (5; 2) is the union of the ten-dimensional nilpotence variety Y (10; 1, 0) and the six-dimensional nilpotence variety Y (6; 2). Similarly, we conjecture that the ninedimensional nilpotence variety Y (9; 2) is the union of the eleven-dimensional nilpotence variety Y (11; 1) and the ten-dimensional nilpotence variety Y (10; 2, 0). These pairs of varieties are linked, or in "liaison" with each other, implying several subtle relations between them. We can also understand twists (both topological and not) of theories with extended supersymmetry in lower dimensions as arising from dimensional reduction of holomorphic twists in higher-dimensional, minimally supersymmetric theories. See §2.3 below.
In summary, nilpotence varieties are interesting and important objects for at least three We expand on these statements in §11. Pursuing this program for the type IIB super-Poincaré algebra produces a BV complex with precisely the field content of type IIB supergravity; see §12.2.
Thirdly, they appear naturally just in the study of super-Poincaré algebras. The Chevalley-Eilenberg cohomology of the algebra of supertranslations can be shown to We announce a computation of this cohomology for the N = (2, 0) algebra in six dimensions; further results in this direction will appear in [62]. Lie algebra cohomology of the full super-Poincaré algebra, studied among others by [23][24][25], can then be computed from this by an application of the Hochschild-Serre spectral sequence [26,27].
As such, nilpotence varieties should be closely connected to recent work on "brane scans," which (following older work [28]) computes the spectrum of extended objects sourcing form fields in supergravity theories from Chevalley-Eilenberg cohomology. See e.g. [29][30][31].
A couple of small remarks on the above: Firstly, in the context of supersymmetric gauge theory, one is a priori interested, not in the entire theory of fields appearing in the Lagrangian, but in the truncation obtained by taking invariants of the (bosonic) gauge symmetry. To deal with this, though, one goes through the machinery of replacing this truncation by that to the invariants of a fermionic "BRST" symmetry. Since one is already in this setting, one often speaks of "adding Q to the BRST differential." It is worth remarking that that procedure produces the E ∞ page of the spectral sequence of the associated bicomplex, whereas taking the Q-invariants of the gauge invariants would produce the E 2 page. Of course, these don't necessarily agree; however, we are aware neither of any concrete example in which they fail to, nor of a theorem that guarantees collapse at E 2 . (Such a theorem might be expected to use facts about the typical support of BRST or BV complexes in a limited range of ghost numbers, and therefore might fail for higher-spin gauge fields or other exotic theories.) Secondly, we should emphasize that the role of the unbroken symmetry I(Q) (or the corresponding twisting homomorphism) is indeed crucial. The full theory, with an action of the symmetry algebra A, can of course only be formulated on the flat spacetime R d .
(Translations, for example, will be broken in other situations.) So it does not make sense to say that a topological twist of the theory on some more general manifold M arises from taking invariants of the full theory on M-the "full theory on M" does not admit an action of the algebra A, and this is therefore nonsensical. On the other hand, as is wellknown, it is possible to formulate theories with some amount of unbroken supersymmetry on manifolds of special holonomy. We will take the perspective that the holonomy group must act through the algebra I(Q) on the fields of the theory; as such, a theory for which so(d) ′ ⊆ I(Q) admits a formulation on any d-manifold, as one would expect for a topological field theory. By this reasoning, 2n-dimensional twisted theories for which only u(n) ⊂ I(Q) cannot be defined on general topological 2n-manifolds, but can be expected to make sense on Calabi-Yau n-folds, and so on.
Lastly, we emphasize that the variety Y (d; N) is the natural home for exactly those truncations of theories that take the form of Q-cohomology. While the vast majority of the invariants or restricted sectors of observables associated to supersymmetric theories are Q-cohomologies, some are not; the chiral ring of four-dimensional N = 1 theories, for example, proceeds by a seemingly slight variant of the same construction, which nonetheless is not the Q-cohomology of any supercharge, and therefore is not related to a twist of the theory in any standard sense. (See [12] for further remarks.) It would be interesting to form constructions that generalize the chiral ring, to prove classification theorems for a family of such objects, or to find comparison results relating them to more standard Q-cohomologies. However, we do not take this path in the current work.
Note: After this work was completed, [32] appeared while the manuscript was in preparation; a similar classification of twists in various dimensions is considered in that work, but with attention directed to the set of orbits or strata, rather than to the varieties themselves. A local formulation of twisting at the level of factorization algebras is also developed in that work. It would be interesting to understand spectral sequences between various twisted theories rigorously in the context of that formalism.

SPINORS
To develop a uniform notation with which to describe examples explicitly, we digress to recall some standard facts about spinors, supersymmetry algebras, and the nature of the decomposition in (1.6). For a more complete review, see [33], [34], or the more computationally oriented discussion in [35].
Let V be the complexified defining representation of so(d), with ·, · its invariant nondegenerate bilinear form. For any d, the (complex) space of Dirac spinors of V can be written as where L ⊂ V is a maximal isotropic subspace-that is, ·, · restricts to 0 on L, and L is of the greatest possible dimension (n = dim L = ⌊d/2⌋) with this property. This 2 n -dimensional space S carries a representation of the Clifford algebra Cl(V ), and in particular, a representation of so(V ) ∼ = ∧ 2 V .
In the event that d is even, we have where L ∨ is the dual to L under the bilinear form. L acts on S by wedging with a one-form and L ∨ acts by contraction with a vector (i.e., by raising and lowering operators). For d odd, we have where ω = L ⊥ /L. Then it is clear that this is, as a vector space, identical with Cl(V ). L ⊕ L ∨ acts on S as in the even case, As a representation of ∧ 2 V , S is irreducible when d is odd, and reducible when d is even, in which case we write for the two irreducible (chiral) pieces. The representation respects the natural inner product on S given by evaluation on the volume form, it pairs S ± each with itself. When d is odd, no such distinction is possible, and (·, ·) is a perfect pairing on S by itself.
The map S × S → V is described by in terms of (·, ·) by duality: {s, t}, v := (s, vt) (2.7) When d = 0 mod 4, the map restricts trivially to S + × S + and S − × S − and is non-trivial on S + × S − . Vice-versa for d = 2 mod 4. When d is odd, there is again no distinction.
The description (2.1) furnishes an obvious solution to the nilpotence equation Q 2 = 0: However, to build our super-Poincaré algebra, we need a non-trivial pairing on A 1 as explained before. Thus, when d = 0 mod 4, we need to include both S + and S − .
Moreover, we have to respect the symmetry properties of the pairings (2.6) and (2.7).
Their parity is given by When d is even, we write with the existence of the symmetric pairing on A 1 restricting the dimensions N ± := dim U ± and the nature of the pairing on U chosen according to Table I. When d is odd, we write with N := dim U and the pairing on U again restricted according to Table I.

Stratification and rank
As we pointed out above, Y (d; N) has an interesting stratification, which can be thought of as recording either different types of twist, jump loci for Q-cohomology, or the decomposition into orbits of Lorentz and R-symmetry; it will also be visible just in the structure of the variety itself, which will often be singular or reducible. In this section, we develop some tools which will help us to understand this stratification in later examples.
For the purposes of the present work, we will be content with a rough intuitive notion of what a stratified space is; since all of the Y (d; N) are concrete projective varieties, this will lead to no trouble. The reader with deeper interest in the topic is referred to [36] and references therein. Suffice it for now to remind the reader that a space is stratified when it is equipped with a continuous map to a poset P , which for us will always be finite. The Each pure stratum is required to be a smooth manifold of some fixed dimension; the dimension then defines a continuous map dim : P → N of partially ordered sets. Note that the continuity amounts to the statement that the composition of the two maps, as a map from Y to N, is lower semicontinuous. Note also that the cone on a P -stratified space is stratified over the cone on P , obtained by adjoining a minimal element.
Given the decomposition (1.6), it is immediate to see that an element Q ∈ A 1 can always be thought of as either a matrix or a pair of matrices. Applying the anticommutator map uses the pairing on U; one can therefore think of the result schematically as being an element in S⊗ S, where the nature and symmetry properties of the product depend on the dimension and amount of supersymmetry as above. Projection onto V ⊆ S⊗ S, accomplished by the gamma matrices, should be understood.
In dimensions four and six, this operation is closely related to usual matrix multiplication. In dimension four, for example, where U = C N . The gamma matrices witness an isomorphism of representations S + ⊗ S − ∼ = V . Therefore, we can think of the nilpotence condition as stating that two matrices (a 2 × N and an N × 2) multiply to zero.
In six dimensions, on the other hand, and U is equipped with an antisymmetric pairing ω. The isomorphism is now between V and ∧ 2 S + . This means that, for chiral supersymmetry-N = (1, 0) or (2, 0)-one can think of the nilpotence condition as demanding that the product of matrices QωQ t vanish identically. For N = (1, 1) supersymmetry, the condition is instead that In both of these dimensions, and especially in dimension four, we will find it useful to think of the rank of these matrices as an invariant determining the stratification of Y (d; N).
The poset over which nilpotence varieties in four dimensions are stratified is shown in The rank stratification in four dimensions is closely related to the zoo of harmonic superspaces [37]. A textbook account is given in [38], based on the pioneering work of [39].
In other dimensions (eight and seven), we may also refer to the rank of a given supercharge. The reader should always understand this to mean the rank of the matrix in S⊗ U with which it is identified.

Minimal supersymmetry and symmetric spaces
Using just the above generalities, we can understand the nature of Y (d; N) (as well as Z(Q), the stabilizer algebra) for certain minimal supersymmetry algebras-namely, those where d = dim V is as large as it can possibly be given the dimension of A 1 .
Recall that the Dirac spinor S = ∧ * L is a Clifford module, and is thus acted on by V as discussed above. In even dimensions, S is reducible as a module of the even Clifford algebra; V then maps S + to S − , but the annihilator of a chiral spinor can still be defined.
Given a nonzero element Q of an irreducible spinor, its annihilator Ann(Q) is an isotropic subspace of V . To show this, note that if v and w are in Ann(Q), then Hence v, w = 0. By definition, Q is a Cartan pure spinor when Ann(Q) is a maximal isotropic subspace of V . The space of all Cartan pure spinors PS 0 (V ) is then a smooth projective variety in P (S ± ) (when dim(V ) is even). In general, we could write This defines a family of projective varieties where PS k and PS k+1 are not necessarily distinct.
In dimensions four and six, all spinors are Cartan pure, and PS 0 is just P 1 or P 3 respectively. In dimension eight, where λ 6 is the zero locus of a single generic quadric in P 7 . The stratification (2.18) up to dimension twelve is described by Igusa in [40].
In fact, it is not hard to see that PS 0 will always be related to the symmetric space which is the Grassmannian of isotropic n-planes in V with respect to its bilinear pairing.
As above we will set n = ⌊d/2⌋, so that the maximal isotropic space L ∨ = Ann(Q) ⊂ V represents a point in OGr(n, d).
In even dimensions, with real Euclidean signature, the choice of L corresponds to a choice of complex structure R 2n ∼ = C n on V R . The unbroken Lorentz group is the subgroup U(n) ⊂ SO(2n) leaving this complex structure invariant; the complexified version of this statement corresponds to a parabolic subalgebra of so(2n, C), preserving the flag L ⊂ V .
(2.1) also makes clear a relation between the space Y (d; N) and the orthogonal Grassmannian, in the case where A 1 is just S + : Given any maximal isotropic subspace L ⊂ V , we can construct S + = ∧ ev (V ); the element Q = ∧ 0 V is, as we noted before, nilpotent.
So there is a well-defined map An inverse to this map does not always exist. Given any nilpotent Q, we can reconstruct an isotropic subspace Ann(Q); there is, however, no guarantee that this subspace is maximal.
We will see our first example of this in eleven dimensions. Note also that, by definition, This makes it immediate that Ann(Q) ⊆ E ⊥ . The opposite inclusion follows from nondegeneracy of the inner product on S. Since Ann(Q) is isotropic, it follows immediately not be disjoint for complex vector spaces.) Note that the assumption A 1 = S + is satisfied for minimal supersymmetry only when d = 2 mod 8. When the existence of a symmetric bilinear pairing forces us to consider a non-trivial product S⊗ U, the minimal nilpotence variety will be the product of OGr(n, d) with some other space, related to the properties of U in that dimension. We will make precise statements characterizing the nilpotence varieties of minimal supersymmetry algebras carefully below, in the dimensions (four, six, and ten) where they occur.

Dimensional reduction
In many cases, we can think of extended supersymmetry algebras as having arisen by dimensional reduction from higher dimensions, specifically from minimal supersymmetry in dimension four, six, or ten. To describe the dimensional reduction procedure, we write W for the fixed higher-dimensional spacetime (of dimension 2k) and for the orthogonal split into nondegenerate subspaces. Under this reduction, we view U in the decompositions (2.9) and (2.10) as spinorial representations of Z with its ∧ 2 Zinvariant pairing determined with the same rules as before by the codimension 2k − d.
One checks, in the case 2k = 10, that there is a isomorphism of Lie algebras so(Z) ∼ = R down to d = 4; for smaller d, the physical R-symmetry may differ [41].
Dimensional reduction means setting the momentum generators in Z to zero; equivalently, one takes the quotient of the original algebra A by Z. This doesn't affect A 1 or the pairing, so that Q continues to define the same flag But, to compute the space of exact translations in the dimensionally reduced theory, one has to take this is obviously still an isotropic subspace of V , but may not be maximal. Indeed, for minimal supersymmetry algebras, which (since d < 2k) corresponds to a non-maximal isotropic. Of course, the subspaces V and Ann W (Q) may not intersect generically. The image of the dimensional reduction map will thus be subject to a finer stratification in the nilpotence variety of the lowerdimensional algebra, including information about the dimension of the intersection.
When the intersection is generic, the commutant Z 0 (Q) R is also straightforward to compute. In the higher-dimensional supersymmetry algebra, the commutant is u(k). The Generically, though, we will get a structure on V that looks like an identification so that one "topological" direction is produced for each dimensionally reduced direction.
The corresponding unbroken subalgebra is (Note that this formula holds when d ≥ k.) One could also perform a similar computation, related to the realization of topological twists for brane worldvolume theories first proposed in [42]. For flat branes in type IIB string theory, these worldvolume theories are maximally supersymmetric Yang-Mills theories, and so can be constructed by the dimensional reduction procedure when k = 5. The key fact is that, since A 1 does not change under dimensional reduction, one could imagine a sort of reverse procedure, and consider the commutant of a nilpotent Q ∈ Y (d; N max ) inside of the ten-dimensional algebra A 0 ∼ = so(10)-even though that Q is not necessarily nilpotent in the ten-dimensional algebra itself.
The key point of [42] was that, since the R-symmetry space U of such a theory has a geometric interpretation as the fiber of the normal bundle to the brane, parallel transport also acts on U. For a general cycle C d ⊂ X 10 on which the brane is supported, the action of the Lorentz group will be twisted, so that the scalars of the theory (which, in flat space, parameterize normal displacements of the brane) transform correctly to be identified with the bundle describing a neighborhood of C in X. We expect to be able to see the identification of twist maps with classes of string theory backgrounds in [42] emerging just from the computation described above. However, we do not pursue the details of this argument in the present work.

LEITFADEN: THEORIES WITH FOUR SUPERCHARGES
In order to move smoothly into our discussion of examples, we'll begin with algebras that have four supercharges: N = 1 in four dimensions, and its dimensional reduction While these examples are simple enough to compute quickly by hand (and indeed have been written down before [12], as well as probably being an implicit part of standard knowledge), we review them here in order to emphasize the key structural principles of the general story as simply and concretely as possible.

Four dimensions: N = 1
This is an example of a minimal supersymmetry algebra, which cannot arise by dimensional reduction; four is the maximal dimension in which an algebra with four supercharges can be defined. Therefore, based on the general argument given above in §2.2, one expects that where the symbol ∼ indicates that Y (4; 1) may be the product of OGr(2, 4) with an auxiliary space, as we indicated above. Here, since d = 4 (mod 8), that auxiliary space is just two points, corresponding to the presence of two copies of the minimal spinor in the minimal supersymmetry algebra. Thus, we will find that in fact Indeed, it is not difficult to compute the variety explicitly and recover this. A general element of A 1 is given by Here, just for variety, we use standard index notation, paralleling that in e.g. [13]. The supersymmetry algebra immediately gives rise to the four quadrics which (to be perfectly explicit) are Equivalently, one can write (i.e., require each entry of the matrix P αβ to vanish.) These imply either u = 0 or v = 0, so we get two nonintersecting copies of P 1 (C) in P 3 (C).
This could have been seen easily from our discussion in §2.1. Here, the statement is that we have a two-by-one and a one-by-two matrix that multiply to zero. This immediately implies that one of the two matrices must vanish identically, reproducing the result computed above. The simplest way to obtain the relevant set of equations is by dimensional reduction.
One throws out two of the above quadrics, obtaining And a moment's thought shows that this consists of four lines in P 3 (C), intersecting pairwise. Two such correspond to A-twists, and two such to B-twists; they intersect in points (corresponding to a single chiral supercharge that is also an R-symmetry eigenstate) that define the holomorphic twists related to the elliptic genus in two dimensions. One can recall that such theories in principle have four different chiral rings [43], originally called (c, c), (c, a), (a, c), and (a, a); however, they are pairwise equivalent and define only two distinct truncations.
Several new phenomena appear here for the first time: first off, the variety has several irreducible components (or, more generally, strata), corresponding to different classes of twists. Secondly, it has a singular locus, at which the holomorphic (minimal) twists appear. Note that the holomorphic locus consists simply of points; one should remember that it now corresponds to the space of complex structures on R 2 , which is just a point, However, the lowest stratum consists of four such points, since N = (2, 2) supersymmetry is four times as large as the minimal supersymmetry algebra (N = (0, 1)) in two dimensions.
In fact, the singular nature of the tangent space at a holomorphic point is easy to see from a computation in the supersymmetry algebra. One may deform a left-moving supercharge by either of the right-moving R-symmetry eigenstates, but not by any linear combination thereof.
Additionally, two of the four components of our variety arise by dimensional reduction, as the image of the natural map In standard coordinate notation, the ten-dimensional supersymmetry algebra is where Q α is a Weyl spinor in the S − representation. In our previous notation, U − = C and U + = 0. Using this algebra, one trivially computes that a supercharge Q is nilpotent precisely when Based on previous discussion, it is straightforward to see that the space of solutions to the pure-spinor constraint is a ten-dimensional projective variety,  We'll adopt a standard index notation (Q, Q mn , and Q m ) for the decomposition of the S − spinor, and P m , P m for that of the vector; here, raised and lowered indices correspond to fundamental and antifundamental tensor indices for SU (5). Working out what the commutation relations of the algebra reduce to, one finds From the first line, it follows immediately that Furthermore, going to quadratic order in the algebra, one can see that a supercharge Q + u m Q m + u mn Q mn is nilpotent if and only if u m + ǫ mnpqr u np u qr = 0. (4.8) This gives explicit coordinates on a neighborhood of Q ⊂ Y (10; 1). Another equation arises from the holomorphic momentum, but it is implied by (4.8) [44]. The ten defining equations of OG(5, 10) + are given explicitly in [45].
The nilpotence variety Y (9; 1) is, of course, identical, up to the small subtlety mentioned before. We will return to dimensional reductions to dimensions eight and seven below in §6.

Six-dimensional minimal supersymmetry
In the six-dimensional minimal supersymmetry algebra, (N + , N − ) = (1, 0); the supercharges sit in the representation S + ⊗ U + with U + = C 2 . (This is the smallest possible U admitting a symplectic pairing; it is thus not possible to construct an algebra in six dimensions with only four supercharges.) A basis can thus can be written in the form Q i α , where α is an S + spinor index of SO(6) (the 4 of SU(4)), and i is an index for the 2 of SU(2). In such coordinates, the algebra is: From this, one can derive the collection of six quadratic equations Alternatively, one could say that it is the Segre embedding σ(P 1 × P 3 ) of P 1 × P 3 in P 7 .
One way to see this is to recall that the data of a rank-one matrix determines both a line in C 2 (its kernel) and a line in C 4 (its image).
As one would expect from §2.2, P 3 = SO(6)/U(3) = OGr(3, 6) appears as a factor, and the space is smooth. The additional P 1 factor is due to the fact that, as we noted above, no supersymmetry algebra can be constructed with a single copy of the minimal spinor of SO(6). So there is an "unavoidable" SU(2) R-symmetry, even though no extended supersymmetry is present. The P 1 is just the projectivization of U.
This nilpotence variety can be used in the pure-spinor superfield technique, as in §11, to produce the vector multiplet in six-dimensional super Yang-Mills theory from the cohomology of the structure sheaf. This computation was performed in [8].
The five-dimensional N = 1 variety Y (5; 1) is OGr(2, 5) × P 1 ∼ = P 3 × P 1 , which is identical to the six-dimensional nilpotence variety Y (6; 1, 0). The saturation of its defining ideal is the defining ideal in six dimensions. The supersymmetric partition function of the twisted theory on contact manifolds was computed in [46] using supersymmetric localization, inspired by previous work [47].
Upon reducing to four dimensions, though, one gets the N = 2 variety, which-just as we found upon reducing four-dimensional minimal supersymmetry to two dimensions-is in fact different. We turn now to analyze this example. For the first time, we encounter a genuinely interesting reducible variety. It can be obtained either by throwing out two quadrics from the above six, or by looking directly at the four-dimensional N = 2 algebra, perhaps studying it in terms of matrices as discussed in §3.1. We discuss it from each of these perspectives in turn.
Upon dimensional reduction, R-symmetry stays R-symmetry; the spinor of SO (6) decomposes as the Dirac spinor (2, 1) ⊕ (1, 2) of SO(4). In standard coordinate notation, We've thrown out two of the six minors of this matrix, though: the relevant minors for the dimensional reduction all mix left-and right-chiral spinors, and there are four such.
This means that new components of the variety can arise: they are precisely u = 0 and v = 0. Off of these loci, the matrix must have rank one, and we just recover the Segre variety arising from dimensional reduction.
The variety thus has three irreducible components. Two are just nonintersecting coordinate P 3 's in P 7 , and the third is Y (6; 1). The intersections of the coordinate P 3 's with the third component are along P 1 ×P 1 's. Again, based on general ideas about dimensional reduction of holomorphic twists, we expect the image of Y (6; 1) to include twists that are holomorphic in one and topological in two directions. And this is indeed the case.
These components can be fruitfully be organized by thinking about the stratification of the variety by rank, when formulating the choice of supercharge in terms of a pair of matrices as discussed above. Since N = 2, we are interested in a pair of two-by-two matrices that multiply to zero; the sum of the two ranks cannot exceed two, so that the rank stratification poset looks as follows: Here the * can again be thought of as representing the (absent) cone point. Recall, now, that each maximal element corresponds to an irreducible component of the variety, which is its downward closure. The (2, 0) components, as affine spaces, are obviously C 4 ⊂ C 8 ; its projectivization is thus P 3 , and the (1, 0) component, as a projective variety, is P 1 × P 1one factor corresponding to the image of the map and one factor to its kernel. (This can also be seen by noting that the determinant is a generic homogeneous quadric in four variables, and such a quadric in P 3 cuts out a P 1 × P 1 .) The stratification thus contains the following pieces: A similar pattern will recur in eight dimensions: we will obtain the ten-dimensional nilpotence variety, together with two disjoint coordinate planes.

Dimensional reduction to N = 4 in three dimensions
The Lorentz group is SO (3), which we think of (after passing to the spin group) as SU (2). The R-symmetry is SO(4) ∼ = SU(2) × SU (2); one factor can be thought of as coming from the R-symmetry in six dimensions, and another from SO(3) rotations in the three transverse coordinates. A peculiarity of three-dimensional N = 4 theories is that the two SU(2) factors in the R-symmetry group, although they appear symmetrically in the algebra, do not appear on an equal footing with regard to the structure of standard multiplets.
With respect to dimensional reduction from four dimensions, the Lorentz group SO (3) is the diagonal subgroup inside of the four-dimensional SU(2) × SU(2) ∼ = SO(4) Lorentz symmetry. So the relevant group action is SU(2) 3 in both four and three dimensions-but the group does not act in the same way.
The nilpotence variety Y (3; 4) consists of two copies of Segre-embedded P 1 × P 3 . One of these is the copy of Y (6; 1) coming from dimensional reduction; the other contains both coordinate P 3 's of Y (4; 2). The intersection of the two components (which is the singular locus of the variety) is Segre-embedded P 1 × P 1 × P 1 . This suggests organizing the eight parameters in a three-index tensor, corresponding to the weight labeling for the representation (2, 2, 2) of su(2) ⊕3 ⊂ A 0 .
A very similar structure will recur in the seven-dimensional nilpotence variety. There, dimensional reduction from ten dimensions produces one component; the other is a Segreembedded product of projective spaces, containing both of the coordinate planes from dimension eight.

Four-dimensional N = 3 supersymmetry
In matrix language, we now have a pair of 2 × 3 matrices, which are required to multiply (along the R-symmetry indices) to zero. The constraint on the rank now implies that r + + r − ≤ 3, so that the rank poset is truncated. can immediately see that one expects the variety to have two (isomorphic) irreducible components. We can schematically indicate the form of the stratification as follows: Here, entries in the table represent the downward closures Y ≤p of each stratum, rather than the pure strata Y p themselves; thus, the arrows represent the inclusion maps Y ≤p ֒→ Y ≤p ′ for any poset elements p ′ > p.
The nilpotence variety has two irreducible components B ± . They are both given by the intersection of 7 (nongeneric) quadrics in P 11 . Their intersection is This space looks like the intersection of OGr(5, 10) with four (generic) hyperplanes. The ten equations come from the four defining equations and two sets of three equations for the vanishing of the minors. The Hilbert series of E is We can obtain a description of the pure strata by using canonical factorizations of the supercharges, thought of as linear maps. For example, suppose that the rank is (2, 1).
Then we can write the factorization From this, there is an apparent affine description of the pure stratum: The factors that are projective spaces (more generally, they will be Grassmannians or flag varieties) come from the choices of kernel and image in the three columns of the diagram, whereas the GL groups come from choices of isomorphism along the horizontal maps of the diagram.
After taking the quotient by rescaling, which acts simultaneously on the GL factors, one can set the GL(1) factor to unity, obtaining the description of the open stratum B 7 \ (E 6 ∪ P 5 ). It is straightforward to see that the dimension agrees.
For the case of rank (1, 1), we would write a very similar diagram: Examining the columns and rows as above, we would compute that Now, the fiber (after dividing out by projective equivalence) is just C × . But it is more properly thought of as a copy of P 1 (C), where the poles correspond to the rank dropping from (1, 1) to (1, 0) or (0, 1). The variety E 6 can be thought of as a family over this P 1 , with generic fiber P 1 × P 1 × Flag(1, 2; C 3 ). At the poles, however, the fiber drops to P 2 × P 1 ; the map is one of the two forgetful maps from the full flag variety to P 2 , together with projection from the corresponding P 1 to a point.
Much of the interpretation of the strata is analogous to that of the case of N = 2 supersymmetry. For example, the strata (1, 0) and (0, 1) still correspond to the holomorphic twists, and the (1, 1) stratum to a half-holomorphic, half-topological twist. The P 5 strata are twists of Donaldson-Witten type, also obtained by regarding the N = 3 theory as an N = 2 theory. The only conceptually new ingredient is the (2, 1) stratum, which appears to correspond to a weakly topological twist of four-dimensional N = 3 theories.
As far as we know, this twist has not been considered in the literature before. Of course, it is worth mentioning that every CP T -invariant N = 3 theory of matter and gauge fields is in fact an N = 4 theory. Thus, the only interesting theories that are strictly N = 3 supersymmetric are supergravity theories.
We will return to the case of maximal supersymmetry in four dimensions after examining other theories with sixteen supercharges.

DIMENSIONAL REDUCTION: DIMENSIONS NINE, EIGHT AND SEVEN
We now consider dimensional reductions from the pure spinor space OGr(5, 10) in ten dimensions. As mentioned before, the story will bear some striking parallels to dimensional reductions of six-dimensional minimal supersymmetry.
In nine dimensions, as before, there is not much to say. The saturation of the defining ideal for the nilpotence variety in nine dimensions is equal to the defining ideal of the ten-dimensional nilpotence variety. There is a single type of twist, which is holomorphic in eight dimensions and topological in one. This is captured by the classical isomorphism OGr(4, 9) ∼ = OGr(5, 10) (6.1) at the level of varieties. It may be, though, that the algebraic distinction between the two cases has implications for the pure spinor superfield formalism.
Viewing V as 5⊕5 we call these quadrics Q i and Q i . The 9-dimensional nilpotence variety Y (9; 1) is defined by the ideal generated by Q i , Q i i = 0, 1, . . . , 4 and a linear combination of Q 5 and Q 5 . The quadrics satisfy the relation This implies that Q 5 Q 5 = 0 and hence the square of the other linear combination of Q 5 and Q 5 must vanish.

Eight dimensions, Spin(7), and division algebras
Analogous to Y (4; 2), we obtain a variety with three irreducible components. One of these is just Y (10; 1), appearing upon dimensional reduction; the others are disjoint coordinate P 7 's. Each of these P 7 components meets Y (10; 1) along the space Here, λ 6 means the zero set of a single generic quadric in P 7 ; this is the space SO(8)/U(4) of holomorphic twists, as we would have expected. The open strata of the P 7 ± components correspond to an 8d Spin(7) twisted theory [21]. The open stratum of other component, OGr (5,10), corresponds (by the general logic given in §2.3) to a twist which is holomorphic in three and topological in two dimensions.
For the two P 7 components, the commutant is easy to compute. The spinor S is sixteen dimensional; it decomposes as the sum of the Weyl spinors S + ⊕ S − of SO (8). We have U + = (U − ) ∨ = C; just as in four dimensions, the pairing is between S + and S − . This implies immediately that any element lying in S ± ⊂ A 1 ∼ = S is nilpotent; these are the two P 7 components we identified above. Now, the stabilizer of an element of S + ⊗ U + is just the stabilizer of an element of S + in SO (8), together with the stabilizer of an element of U + in R. The former, by definition, is the exceptional embedding of Spin (7) in SO (8); the latter is trivial, since the R-symmetry is just U(1) in this case. The exceptional Spin (7) embeddings can be thought of as arising from the standard embedding after a triality transformation that exchanges the roles of the vector with one of the Weyl spinors. Since there are two Weyl spinors, there are two exceptional Spin (7)  It is also worth remarking that we can give a uniform description of nilpotence varieties in dimensions 3, 4, 6, and 10 in terms of the real division algebras. As is well-known [33,50,51], if D is a normed division algebra over R, the spin groups Spin(dim D + 2) correspond to the groups SL(2, D), and the spinor representation can be thought of as corresponding to D 2 . In fact, we can formulate the equations of the corresponding nilpotence variety in terms of the division algebra. If (a, b) ∈ D 2 , then the equations take the form Since the first two are real, this is a total of dim D + 2 quadrics. Additionally, one should interpret the equations inside of D ⊗ R C-if one did not complexify, the solution set would be vacuous. Of course, the three-dimensional N = 1 variety is just the empty set; the symmetric square of the spinor of SO(3) is precisely the vector representation, so that no nilpotent supercharges can be found.
Upon dimensional reduction by two (i.e., to dim D dimensions), we can discard the two constraints on the norm, preserving the single equation It is easy to check that this generates two new irreducible components, the coordinate planes a = 0 and b = 0, as we have seen explicitly in two, four, and eight dimensions upon reduction from four, six, and ten respectively.

Seven dimensions and G 2
The spinor S of SO (7) is eight-dimensional and irreducible. The R-symmetry space U is C 2 , equipped with a symplectic pairing. (This is therefore the minimal supersymmetry algebra in dimension seven.) Thinking of Q ∈ S ⊗ U as an 8 × 2 matrix, there is an immediate way to satisfy the nilpotence condition: simply take Q to have rank one. Then Q is the tensor product of an element of S with an element of U, and the antisymmetry of the pairing on U means that Q is nilpotent. One expects this space to be isomorphic to P 1 × P 7 , corresponding to the kernel and the image.
Alternatively, one can allow the matrix to have rank two. The product Q 2 is then an element of the representation where 7 is the vector and 21 the adjoint of SO (7). The gamma matrices now witness not an isomorphism, but the projection of this onto the 7; nilpotence then means that the image of this map is entirely in the 21.
The commutant Z 0 (Q) is easy to compute for a generic Q on the rank-one component.
Indeed, its stabilizer is just the stabilizer in Spin (7) of a generic element of S, together with the stabilizer in C 2 of a generic element under the SU(2) R-symmetry. The former, essentially by definition, is G 2 , and the latter is obviously U(1). So twists of sevendimensional theories by supercharges in this stratum define theories that make sense on any seven-manifold of G 2 holonomy. This is the weakly topological twist of [22].
We remark that the n-th term in the Hilbert series of (6.7) (the coefficient of t n ) is the dimension of the representation of B 3 × A 1 with Dynkin label [0, 0, n; n]. Such behavior is typical for (products of) symmetric spaces.
For the component appearing upon dimensional reduction, the space of exact translations is also easy to compute. The surviving translations will be W ∩ E ∨ , which is an isotropic subspace of C 7 of minimal (generic) dimension two, and largest possible dimension three. When three translations survive, we are on the smallest stratum in seven dimensions; when two, we are considering a twist that is topological in three and holomorphic in four (i.e. two complex) directions.

EXTENDED SUPERSYMMETRY IN SIX DIMENSIONS
As we already discussed in §2.1, the essential technique in six dimensions is a generalization of the matrix technique we used in four dimensions. It relies on the fact that the gamma matrices witness isomorphisms of SO (6) representations. There is no projection to worry about in this dimension. Here, we take U + = U − = C 2 , each equipped with the standard symplectic pairing.
The odd part of the algebra is thus Importantly, the nilpotence variety now admits a map to V ∼ = C 5 , obtained by first projecting to S + ⊗ C 2 , and then taking the pairing. (By nilpotence, projecting to S − ⊗ C 2 would produce the negative of the same map.) The R-symmetry is SO(4), acting on the space U + ⊗ U − via the Dirac spinor representation.
Y (6; 1, 1) has two irreducible components, one being just OGr (5,10), and the other being a nine-dimensional variety, which of course contains the σ(P 1 × P 7 ) that appeared in seven dimensions. The intersection of the two components is some variety of dimension eight.
The pure spinor space, of course, is smooth, but the nine-dimensional component is singular. Its singular locus is a four-dimensional variety, containing two irreducible components, each in a distinct coordinate P 7 . (These two P 7 's correspond to a purely chiral choice of supercharge.) Each component is just a Segre-embedded P 1 × P 3 . The singular locus sits inside the intersection of the nine-dimensional component with the pure spinor space.
The nine-dimensional variety is obtained by taking the ideal consisting of the twelve quadrics, six of which define σ(P 1 × P 3 ) in one coordinate P 7 and the other six in the other. The result is not P 1 × P 3 × P 1 × P 3 , since only one scaling equivalence is taken.
Instead, it is a fibration over P 1 with generic fiber P 1 × P 3 × P 1 × P 3 . At each pole, one of the P 1 × P 3 's shrinks to a point, reproducing the singular locus we calculated above.
In fact, this structure is straightforward to understand: the defining equations (2.15) for the nilpotence variety were of the form The twelve defining equations of the nine-dimensional component are thus simply For the component arising from ten dimensions, the space of exact translations is now an isotropic subspace of C 6 of minimal (generic) dimension one, and largest possible dimension three. When three translations survive, we are on the smallest stratum, a We can sum these considerations up with the following partially ordered set: OGr (5,10) (2,0) (1,1) OGr(5, 10) ∩ X 9 (1,1) (1,0) (0,1) To obtain the N = (2, 0) algebra, we take U + = C 4 with a standard symplectic pairing ω, and U − to be empty. The R-symmetry is SO(5), acting on U + via the spin representation. A new feature is that After lowering an index with ω, one can consider Q as a map from S + to U + = C 4 .
The rank of this matrix must be either one or two; when it is one, the supercharge is automatically nilpotent, and we immediately obtain a description of the stratum as P 3 × P 3 . The larger stratum is contained in the rank-two locus of M 4×4 (C), but strictly. In fact, a rank-two Q is nilpotent if and only if its image is a Lagrangian subspace of (U, ω).
So (as for any linear map) we can consider the following canonical diagram: We can thus package the data of Q in terms of its image under the kernel and image maps (which land in Grassmannians), together with the choice of an isomorphism in GL(2, C).

So we have (for the open stratum) a description
Here Λ(U, ω) is the Lagrangian Grassmannian.
We can also obtain an algebrogeometric description of this component of the variety.
Take the rank-two locus in M 4×4 (C); there is an image map to subspaces of U. Take any two linearly independent columns u and v of Q; the Lagrangian constraint on the image amounts to the single quadric ω(u, v) = 0.
On the rank-one locus, we're in the setting of a holomorphic twist; one P 3 is the space OGr (3,6), and the other is the projectivization of U = C 4 . On the larger stratum, we obtain a twist that is topological in four and holomorphic in two (one complex) directions [52,53]. This can be easily seen as follows: A rank-two supercharge takes the form With respect to s, we can decompose S + = ∧ 0 L ⊕ ∧ 2 L, L ∨ = Ann(s). (7.10) Now, deforming to a rank-two corresponds to choosing t ∈ ∧ 2 L, and the common annihilator of t and s will then be a dimension-one subspace of L ∨ (spanned by t ∈ ∧ 2 L ∼ = L ∨ ).
As a pure spinor superfield, the structure sheaf of this nilpotence variety produces the N = (2, 0) tensor multiplet; this was demonstrated in [7]. We will review that result briefly in §12.1. A sketch of the stratification is shown below: The intersection of the two irreducible components is an irreducible variety of dimension nine. Its Hilbert series is Dimensionally reducing the holomorphic twist, one gets precisely two surviving translations, corresponding to a minimal twist in five dimensions. (The image of the dimensional reduction map from the holomorphic locus of Y (6; 1, 1) sits along a P 1 ⊔ P 1 ⊂ P 3 .) Upon dimensional reduction of the AGT twist of N = (2, 0), either one or zero translations survive; thus, the corresponding maximal stratum is a purely topological twist. Similarly, dimensional reduction from ten dimensions can leave either two, one, or zero surviving translations.

MAXIMAL SUPERSYMMETRY IN FOUR DIMENSIONS
For N = 4 supersymmetry, the whole rank stratification poset appears, so that the stratified decomposition of the variety looks as follows: OGr sing. (5, 10) OGr sing. (5, 10) We label the components with superscripts indicating their dimension; for the computa-  16 . One can immediately write diagrams, describing pure strata, that are the analogues of those we wrote down for N = 3 supersymmetry: From this, one gets the general description of the open stratum as a bundle: Recalling the standard dimension formula we can then compute a dimension formula for the stratum of the variety: The affine dimension of the algebraic tangent space T Q Y (4; N) is We call (2 − r + )(2 − r − ) the excess dimension. When N ≥ 2, it is nonzero precisely when the stratum in question lies in the singular locus of Y (4; N), which is therefore the downward closure of the (1, 1) locus. It is easy to check that, for the cone point, the formula (9.8) returns 4N, the dimension of A 1 .
Thus, it is tempting to identify this P 1 with the one appearing in [54], and look for a fibration over that space.
In fact, we can construct the variety Y (10; 1) explicitly as a singular fibration over P 1 .

THEORIES WITH 32 SUPERCHARGES
We study these examples in somewhat less detail than the previous ones, in part because of computational difficulties. The eleven-dimensional nilpotence variety was previously considered in [9,55]; that for IIB supergravity in [56]. We offer a conjectural description of the type IIA nilpotence variety which we believe to be new.
Both the type IIA and type IIB supersymmetry algebras have twists that are topological in four-dimensions and holomorphic in six dimensions. This is reflected in the classical duality between the topological string partition function on Calabi-Yau threefolds and higher derivative F-terms in the four-dimensional effective action of the compactification of type II string theory on the Calabi-Yau threefold [57,58]. This can be viewed as a 4d-6d correspondence. Berkovits considered the twist of the pure-spinor superstring in [59].
It would be interesting to perform the twist directly in the spacetime.
Similarly in eleven dimensions, topological M-theory [60] can be expected to compute F -terms in four-dimensional theory arising from G 2 compactifications. The theory was considered from the point of view of pure spinors in [61].

Eleven dimensions and G 2
In eleven dimensions, the nilpotence variety Y (11; 1) consists of the first two filtered pieces of the Cartan decomposition (2.18) of the minimal eleven dimensional spinor: The variety is twenty-two dimensional and its singular locus is the smooth variety OGr(5, 11) ∼ = OGr (6,12); on this locus, the unbroken symmetry algebra is Z 0 (Q) R = u(5).
The full stratification was determined by Igusa [40]. The stabilizer of a generic point Q ∈ Y (11, 1) is a parabolic subgroup with Levi factor G 2 × gl(2) [9,40]; in physical language, this corresponds to the holomorphic twist of the four-dimensional N = 1 theory resulting from compactification of M-theory on a G 2 manifold. The local geometry near the singular locus is described in [9] and [55]. The singular locus P S 0 ∼ = OGr(5, 11) can be explicitly described by the set of equations The degree of the nilpotence variety is 220.
where Z is a complete intersection of 10 quadrics in P 31 . The degree of Y (10; 1, 1) is 220, the same as the degree of the eleven-dimensional nilpotence variety. This is consistent with our conjectural description, because the degree of a reducible variety is the sum of the degrees of its top dimensional components. The Hilbert series appears in [25].
The degree of Y (10; 2, 0) is 292. The variety was studied in [56], where the SO(10)equivariant decomposition of its free resolution was calculated. Using the pure-spinor superfield technique, we can identify the list representations in [56] with the BV complex of type IIB supergravity. See §12.2 for a short exposition of this result; a fuller discussion is relegated to forthcoming work [62]. Closer study of both of these varieties should be related to the conjectural twists of type II supergravity theories studied in [18].

Nine dimensions and TQFT
Similar to the five-dimensional nilpotence variety Y (5; 2), we expect that the ninedimensional nilpotence variety Y (9; 2) is the union of the eleven-dimensional variety Y (11; 1) and the ten-dimensional nilpotence variety Y (10; 2, 0). The nine-dimensional nilpotence variety Y (9; 2) is a singular complete intersection of nine quadrics and hence has degree 2 9 = 512. This is equal to the sum of the degrees 512 = 220 + 292 of the eleven-dimensional and ten-dimensional type IIB nilpotence varieties. By the general arguments of §2.3, we expect that there is a (weakly) topological twist in this dimension, arising from the generic dimensional reduction of the larger stratum of Y (11; 1). It should be definable on the product of a G 2 manifold and a (topological) Riemann surface.

THE PURE SPINOR SUPERFIELD TECHNIQUE
In this section, we discuss the original motivation for the appearance of some of the varieties Y (d; N) in the physics literature: namely, the pure spinor superfield formalism.
We review the technique in our language, which is perhaps more mathematical than the standard, and point out some analogies with other ideas in the literature, in particular with the theorem of Borel-Weil-Bott. At the end, we will arrive with a clean definition of the pure-spinor superfield technique in terms of reasonably standard mathematical constructions. We begin with a brief discussion of supermanifolds, needed to construct the A-module Fun(C d|k ) (an unconstrained superfield) which will be of essential use later.
As is well-known, a manifold or a space can naturally be represented as some kind of commutative algebra; this can be expressed by saying that there is a contravariant functor from spaces to algebras, consisting of taking functions. This basic theme is expressed repeatedly in different settings all over twentieth-century mathematics; for example, it is at the core of algebraic geometry, but also appears in the theory of C * -algebras (the Gelfand-Naimark theorem characterizes the image of such a functor from locally compact Hausdorff spaces to C * -algebras, upgrading it to an equivalence of categories). By an application of the same intuition, a "supermanifold" is a space whose algebra of functions is graded by Z/2Z and commutative with respect to the Koszul sign rule. For basic references on supermanifolds and supergeometry, see e.g. [63][64][65].
The basic supermanifolds are the affine spaces C d|k , where d denotes the even and k the odd "dimension." From an algebrogeometric point of view, affine space is characterized by having a free polynomial algebra of functions: Similarly, an affine supermanifold has a free Z/2-graded algebra of functions: Here, we are content to ignore all analytic issues, and just think of polynomials in a naive way as a basis of some space of functions.
The super-Poincaré algebras we have been writing down act naturally on affine supermanifolds: when d = dim V and k = dim A 1 , then A is the algebra of affine symmetries of C d|k . It acts via a set of (super-)translation operators. (We identify C d = V ∨ and C k = (A 1 ) ∨ .) In fact, Fun(C d|k ) is equipped with two mutually commuting actions of supertranslations, on the left and on the right.
The corresponding operators are typically written Q and D, and are constructed as follows. Let s be a fixed element of A 1 . There are natural "derivative" maps which can just be thought of as the interior product. We can also consider the anticommutator map as defining a map

{·,·}
(∇,∧) (11.4) In the map at right, V acts by ∇, and A 1 by the wedge. One then takes s to act on Fun(C d|k ) by the operator One can then check that (11.6) so that this indeed defines a representation of A. One could also, however, define the operators And it is not difficult to see that these also define a representation of A such that the To express D in coordinate-free language, note that the linear coordinate functions are elements of N) . (11.10) They are, in fact, functions on the parity reversal of A 1 , which is the affine space in which Y (d; N) is defined. So they live in a space which is dual (as a vector space, ignoring grading and algebraic properties) to A 1 itself. There is thus a canonical element It is important to note, though, that the action of this element will have nothing to do with the algebraic structure on End(A 1 )! We now push forward along the map (11.10) to the coordinate ring on the (A 1 ) ∨ factor, giving us a canonical operator which is now nilpotent, since the ideal which is set to zero in O Y (d; N) is precisely the ideal where the anticommutator map on the first factor is nonzero. We can now allow (for example) the A 1 factor to act by the representation (11.7), and the O Y (d; N) factor to act by multiplication on itself, recovering (11.8).
But this discussion should make it clear that one could even twist (11.8) by any bundle over Y (d; N) that is equivariant with respect to the group action on the variety. To see this, recall that (by the Serre-Swan theorem) such a bundle is precisely a finitely-generated projective module over O Y (d; N) , after applying the functor of global sections. We constructed a nilpotent operator above by allowing the coordinate functions u α to act by multiplication; however, they might as well act on any other module. So we could generalize the above and write The requirement of equivariance ensures that Γ E → Y (d; N) will carry an action of A 0 , and therefore that Lorentz and R-symmetry will be preserved by the construction.
Similarly, M could a priori be any A-module whatsoever. But the module Fun(C d|k ) is special, in that it admits two actions of A. So, even after performing the global twist (11.8) along one action of A, the other action remains unbroken, and we obtain a chain complex of A-modules. In other words, the homology of (11.8) consists of supermultiplets. So it's immediate to try and start building familiar supermultiplets via global twists of the unconstrained superfield, of the form (11.14) Then, one can (hope to) understand classification of supermultiplets geometrically, just by studying bundles on nilpotence varieties-analogous to how the Borel-Weil-Bott theorem allows one to construct representations of Lie groups from line bundles on homogeneous spaces. This program was first implemented by Berkovits [5,6], in the case of tendimensional super Yang-Mills theory; in this instance, it is a special case of the pure spinor formalism for the superstring, which is also based on the space Y (10; 1). Generalizations have been pursued by Martin Cederwall and collaborators, among others, most extensively for theories with maximal supersymmetry; see for example [7,8], as well as [9]. A recent review, including discussion of actions for pure spinor superfields, is [66]. This allows one to construct an integration pairing on pure spinor superfields, and therefore to write down actions for theories constructed in this way. For more detail, the reader is referred to [66].

Nilpotence varieties and Chevalley-Eilenberg cohomology
Here, we remark on a simple theorem, which perhaps indicates why the nilpotence variety is of such interest in the study of the super-Poincaré algebra itself: it appears in a universal fashion when considering (super) Lie algebra cohomology. While we independently derived these results, they are certainly not new; they appear in some form, for instance, in [25], where Lie algebra cohomology of super-Poincaré algebras was considered in detail, as well as probably in earlier literature and/or standard folklore.
Recall that a super Lie algebra structure on a Z/2Z-graded vector space, which we will denote by is equivalent to a degree-one, Z/2Z-even nilpotent differential on the free (graded) commutative algebra on its dual, shifted by one: The resulting complex is graded by Z ⊕ Z/2Z, and parity is determined by the sum of the two gradings, modulo two. The differential acts on generators by the dual of the bracket map, and is extended as a derivation to the whole algebra. Nilpotence is equivalent to the (super) Jacobi identity. This complex, the Chevalley-Eilenberg complex, then computes the Lie algebra cohomology of g. (For a pedestrian review of some of these ideas, see [35]; a more complete review in the context of physics is [67], which also reviews related notions such as Koszul complexes.) algebra. That is, we take g − = A 1 , g + = V , and the only nontrivial bracket map to be the anticommutator. This is clearly a subalgebra of A, admitting an action by the Lorentz algebra so(d).
In this case, the a priori Z ⊕ Z/2Z grading lifts to a Z ⊕ Z grading, since we can remember the degree with respect to the odd and even generators separately: The unrefined Chevalley-Eilenberg degree is then p + q, and the parity is simply determined by p (mod 2). The (p, q)-degree of the Chevalley-Eilenberg differential is (−1, 2); it schematically takes the form 19) where v i are coordinates on V ∨ and u α on (A 1 ) ∨ . Of course, the form of the anticommutator appropriate to the situation can be read off in detail from Table I.
Now, note that one factor of the decomposition (11.18) is just the coordinate ring 11.20) of the affine space which is (the parity reversal of) A 1 . So, if we forget the q-grading, the spaces CE p = ⊕ q CE p,q define a chain complex of free R-modules, which is of the form Moreover, the differential is generated by extending (uniquely as a derivation) a single map from V ∨ → R, whose image is the ideal I ⊂ R defining the nilpotence variety! Thus, CE is just the Koszul complex [68] of the quadrics in the defining ideal, over R. Under the assumption that these quadrics form a regular sequence, this Koszul complex may be identified with the free resolution of R/I = O Y (d; N) as an R-module. (This was also observed in [25].) Just to remind the reader of the definition: Definition. Let R be a ring, and {ρ i } a finite set of n elements of that ring. The Koszul complex associated to this data is the commutative differential graded R-algebra (11.22) where ε i are anticommuting generators in degree one, and d is extended as a derivation.
Given the additional data of an R-module M, one may tensor the entire construction over R with M.
As is clear from the definition, CE also has a (graded) commutative algebra structure, which induces a multiplication operation on its cohomology, preserving the grading. This means that each of the spaces In this subsection, we work through the details of a very simple example. (After performing these computations, we found a related analysis of the vector multiplet for minimally supersymmetric Yang-Mills theories in [11].) One is interested in a very simple space, Y (4; 1), which is just two copies of C 2 ⊂ C 4 intersecting at the origin: (11.24) where the ideal consists of four quadrics, α, β ∈ {1, 2}. Now, as we emphasized above, to construct interesting supermultiplets, one can choose any equivariant module over this ring. In particular, functions on either irreducible component are a quotient of the ring, and therefore in a natural way a module over it. For example, we could take the module (11.25) where the action is the obvious one (i.e., u α acts by multiplication and v β by zero).
Applying the logic of the previous section, we take this module over O Y (4; 1) , together with the module Fun(C 4|4 ) over the super-Poincaré algebra, and look at the cohomology of the Berkovits operator: The computation of this cohomology can be simplified by first considering "zero-mode cohomology" [56,66], in which the spacetime variables x i are set to zero. This amounts to recalling that the following facts: First off, as a vector space, the pure-spinor superfield complex consists of Fun(C d|k )-which we could bigrade by the degrees of even and odd generators, just as in the Chevalley-Eilenberg example above-tensored by some module N) . Secondly, in the definition (11.7), D α is the sum of two terms, one of which (∇ α ) is independent of the even generators of Fun(C d|k ), and which have bidegree respectively (0, −1) and (−1, +1). So we could correspondingly separate D into its two bigraded pieces; computing the cohomology of the first is comparatively simple, since the Sym * (C d ) factor is just along for the ride. A spectral sequence, in which the bigrading is broken to a single grading, then accomplishes the passage to the full D cohomology; the unbroken grading is the standard one in supersymmetry, where even generators carry twice the weight of odd ones. We will see that this spectral sequence is often quite easy to understand: the E 1 page (zero-mode cohomology tensored with functions on spacetime) gives the field content of a particular theory or supersymmetry multiplet, while the differential appearing on that page and computing E 2 is identified with the BRST differential acting on those fields. 3 Higher differentials are, in the examples we are familiar with, absent for degree reasons. So the complex at page one is (up to a shift by one that restores the correct parity) a BRST or BV complex.
For zero-mode cohomology, the complex (11.26) then reduces to where we have used that C 0|4 ∼ = S + ⊕ S − , and θ α are coordinates on S + . Of course, we are implicitly tensoring with Sym * (C d ) everywhere. Since it does not appear in the differential, the factor ∧ * S − is also just along for the ride, and it is straightforward to check that the cohomology We can also construct the vector multiplet in a similar fashion, using just the structure sheaf O Y (4; 1) . The corresponding complex for zero-mode cohomology is with the factor Fun(C 4|0 ) implicit. In degree zero, we clearly just obtain a copy of C: (One could also refer to this more invariantly: the ideal of these generators is the maximal ideal corresponding to the cone point of Y (d; N).) The entire object is then tensored with functions on spacetime. Clearly, the whole Koszul complex could be tensored by an Omodule, corresponding to choosing a stratified bundle over the nilpotence variety. The mathematically inclined reader can take this as a concise definition of the pure spinor superfield formalism-however, ignoring the above discussion perhaps obscures why the result admits an unbroken representation of A.
Let us return to our simple example, though. In higher degrees, though, things become more interesting. In degree one, the kernel of D consists of the inverse image of the generating ideal u α v β under the differential; this is generated by the eight elements together with the antisymmetric combinations u 1 θ 2 − u 2 θ 1 and its analogue for the rightchiral variables.
The degree-two piece, however, looks like The antisymmetric combinations precisely cancel the two corresponding generators in degree one, and the image of S + ⊗ S − under the differential will cancel all antisymmetrized expressions of the form So the homology in degree one is generated by the four representatives (11.33) transforming in the vector representation of SO(4). We need to check that no higherorder terms in the variables of O survive; after the quotient by the defining ideal, these look like for a total of twelve generators which must arise from the sixteen generators of (S + ⊗ S − ), tensored with linear generators of O. And it is easy to check that all generators are cancelled in this way, so that the representatives (11.33) generate the homology over C.
By a similar computation, the degree-two cohomology is generated by expressions of the form v β θ 1 θ 2 , u αθ1θ2 (11.35) over C; the representation of Lorentz symmetry is thus that of a Dirac fermion. We leave it to the reader as an exercise to check that the homology in degree three is one-dimensional, corresponding to a standard auxiliary field, and that no higher homology is present.
There is one last twist left to consider: the differential on the E 1 page, which contains spacetime derivatives. For degree reasons, it can only act between the lowest homology (a scalar) and the Lorentz vector; by inspecting the form of (11.7), it's easy to see that this differential acts by the formula which could be rewritten as Of course, this is the familiar form of the BRST operator for an abelian gauge multiplet.

APPLICATIONS
In this section, with the aim of further justifying our interest in nilpotence varieties, we briefly mention some applications of the ideas developed in the bulk of this work.
The results announced here will be further developed in the forthcoming article [62]. We compute the Chevalley-Eilenberg cohomology of the six-dimensional N = (2, 0) supertranslation algebra, and identify the pure-spinor BV complex of the type IIB nilpotence variety as the field content of the corresponding supergravity theory.  In each case, the denominator of the Hilbert series is (1 − t) 11 .
When one applies the pure-spinor superfield technique to these two modules, the structure sheaf can be identified with the abelian tensor multiplet [7]. The E 1 page can be computed explicitly; the result is  Here, the vertical grading is ghost number, while the horizontal grading determines Grassmann parity. Note that the first of the pieces in (12.4) looks like the following complex: This is the BV complex of a two-form gauge field with self-dual field strength; the extra antifield is present in order to enforce the self-duality constraint. The second piece of (12.4) contains the five scalars and two chiral spinors of the N = (2, 0) tensor multiplet, together with their antifields.
In the dualizing module, the result of the computation is exactly the same, except that fields and antifields have been reversed. This leaves the matter content invariant, but flips the complex associated to the self-dual two-form to Ω 3 + (R 6 ) → Ω 4 (R 6 ) → Ω 5 (R 6 ) → Ω 6 (R 6 ). It would be interesting to explore the possiblity of writing an action of BF type, pairing the structure sheaf with its dualizing sheaf.

IIB supergravity theory
As a perhaps somewhat more spectacular combination of ideas from the last two sections, we conjecture a close connection between the IIB nilpotence variety and type IIB supergravity. The zero-mode cohomology of the IIB nilpotence variety can be computed with computer algebra software, most easily by considering the free resolution of the structure sheaf as a module over the polynomial ring. The result is as follows: Here, the numbers are the dimensions of the cohomology groups. In the context of the pure-spinor superfield formalism, the vertical grading becomes the ghost number or BV degree, and the horizontal grading determines the Grassmann parity. The BRST differential, as discussed above in §11, will act diagonally, and appears as the differential on the E 1 page; the typical example to keep in mind is where c is the ghost. Thus the BRST differential has ghost number +1. The physical field content appears in the fifth row of the table; we indicate this with horizontal lines.
This cohomology and its equivariant decomposition were computed in [56]; the decomposition into irreducibles of SO(10) is reproduced below: Here, V ω denotes the representation with the corresponding Dynkin label; the ω i are simple roots, so that V ω 1 = [1, 0, 0, 0, 0] is the vector, V ω 5 = [0, 0, 0, 0, 1] a chiral spinor representation, and so on. We have divided the matrix for typographical reasons, but the splitting also corresponds to the division into field and antifield multiplets, as will become apparent shortly.
We can divide the E 1 page (the off-shell field content) into the following complexes: Firstly, there is a piece of the form Ω 0 (R 10 ) Ω 1 (R 10 ) Ω 2 (R 10 ) Ω 3 (R 10 ) Ω 4 (R 10 ) Ω 5 − (R 10 ). (12.7) Here, we have boxed the physical component in ghost number zero, which is a four-form gauge field. It appears together with its complete higher-order ghost system. For this identification, one must remember that where the latter decomposition corresponds to the self-dual and anti-self-dual parts of the five-form. Note than an extra antifield appears; since antifields impose equations of motion or constraint equations, this can be interpreted as imposing the self-duality condition on the field strength of the physical four-form gauge field. Since the complex already contains equal numbers of off-shell bosonic and fermionic degrees of freedom, no antifield complex must appear. A similar self-dual complex appears in the tensor multiplet of the N = (2, 0) theory [7].

(12.9)
This represents an unconstrained two-form gauge field, together with its system of ghosts.
These match the two two-form fields (one in the NS-NS and one in the R-R sector) in type IIB supergravity. This complex (and in fact all complexes except the self-dual fourform) will appear together with its set of BV antifields.
Moving on, there is a complex that looks like T (R 10 ) where S 2 refers to a symmetric two-index tensor. This corresponds to the graviton, together with ghosts for its gauge invariance (corresponding to vector fields generating diffeomorphisms). Note that there are no ghosts for ghosts in this case. Also, one should remember that at the level of SO(10) representations, where the trivial representation is of course the (pure gauge) trace part. Finally, there are two additional scalars, which just look like V 0 , (12.12) and correspond to the dilaton and the Ramond-Ramond 0-form.
These are all of the bosonic degrees of freedom. As for the fermionic physical fields (which are of course of odd parity, and therefore appear in (12.6) shifted to the right by one), there are two copies of a complex of the form S + (R 10 ) T (R 10 ) ⊗ S + (R 10 ) , (12.13) Of course, we mean a spin-3/2 field with one vector and one spinor index, in the tensor product of the tangent bundle with the appropriate spinor bundle. At the level of Lorentz representations, one must remember that so that the physical content of this subcomplex is a reducible representation of Lorentz.
These correspond to the two gravitinos, together with their fermionic gauge invariances.
Finally, this leaves only two remaining simple complexes of the form S − (R 10 ) , (12.15) which are obviously to be interpreted as the two dilatinos. Of course, in this brief exposition, we have neither explicitly computed the pure-spinor differential, nor showed in detail that it agrees with the standard gauge invariances of the fields of type IIB. We look forward to reporting more thoroughly on this identification in forthcoming work [62].

OUTLOOK
In this work, we have tried to call attention to nilpotence varieties as natural objects of study, and to emphasize that they appear naturally in three a priori different contexts of interest in the study of supersymmetric field theories: as the natural moduli spaces parameterizing all possible twists; as crucial ingredients in the pure-spinor superfield formalism, which is a global version of a twisting construction applied to a free superfield; and in the study of the Chevalley-Eilenberg cohomology of the super-Poincaré algebra.
We have also indicated a couple of applications of these ideas.
There are naturally many open questions and promising directions for future work, and we list just a few of them here. First off, it would be interesting to construct other wellknown multiplets in terms of the geometric data of a stratified bundle on the nilpotence variety, to give a general algorithm for constructing such bundles (an inverse construction to the theorems of §11), or to prove a sharp analogue of Borel-Weil-Bott, demonstrating that all representations of super-Poincaré admit such a formulation. Many constructions of multiplets have been given in the literature; see just for example [8,9]. As briefly described in this note, the same construction for the structure sheaf of the IIB nilpotence variety reproduces the field content of the supergravity theory, and presumably its complete BRST/BV complex. We will study this in more detail in [62], in which we also hope to report on additional work in this direction.
It also seems promising to study the BV complex constructed in §12.2 to answer other questions about supergravity. For example, since the action of supersymmetry is known on all fields (including ghost sectors) and the untwisted differential can be computed, this complex could then be directly twisted, using a standard prescription. This might allow one to come to a better understanding of the conjectures of Costello and Li [18], who proposed a relation between a target-space twist of supergravity and Kodaira-Spencer theory. We hope to report progress in this direction soon.
Furthermore, it seems worthwhile to engage in broader study of twists of theories that are already formulated in pure-spinor superfield language. Apart from the appearance of the nilpotence variety in both contexts, several intriguing coincidences point to an interesting relation between action principles for pure spinor superfields and for twisted theories. For ten-dimensional super Yang-Mills theory, the pure-spinor superfield action is of Chern-Simons type [66, for example]. As was first computed in [69], the holomorphic twist is also of Chern-Simons type (see [18] and [35] for later work related to holomorphic twists of this theory). It would be interesting to construct the spectral sequence relating the free superfield to the complex (Ω 0, * (R 10 ),∂), and to understand why the action functional takes the same form at every step.
It would also be interesting to extend these techniques, whether for analyzing possible twists or for constructing supermultiplets, to the case of superconformal algebras. In this case, the relevant super Lie algebras are semisimple, so that the results of Gruson [2] should directly apply. The nilpotence variety of the four-dimensional N = 2 superconformal algebra has been computed explicitly, and will be studied in detail in forthcoming work [15] in the context of superconformal indices.
Lastly, as we have mentioned, it seems reasonable to expect a connection to recent work [29][30][31] constructing brane spectra in string and M-theories from an analysis of Chevalley-Eilenberg cohomology of algebras closely related to super-Poincaré. We plan to investigate these last points in the future, and hope that others are motivated to do so as well.