Abstract
We perform the maximal twist of eleven-dimensional supergravity. This twist is partially topological and exists on manifolds of \(G_2 \times SU(2)\) holonomy. Our derivation starts with an explicit description of the Batalin–Vilkovisky complex associated to the three-form multiplet in the pure spinor superfield formalism. We then determine the \(L_\infty \) module structure of the supersymmetry algebra on the component fields. We twist the theory by modifying the differential of the Batalin–Vilkovisky complex to incorporate the action of a scalar supercharge. We find that the resulting free twisted theory is given by the tensor product of the de Rham and Dolbeault complexes of the respective \(G_2\) and SU(2) holonomy manifolds as conjectured by Costello.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
In conclusion, two things remain to be done with our theory. First, we are studying the reduction to four dimensions... (Cremmer, Julia and Scherk [1]).
1 Introduction
Eleven-dimensional supergravity [1] is the low energy limit of M-theory, a conjectural theory that is believed to unify type I, II, and heterotic superstring theories [2]. It realizes the maximal dimension that has a supersymmetric representation with particles of spin at most two [3], and the action of eleven-dimensional supergravity is unique [1]. M-theory compactifications on manifolds with \(G_2\) holonomy result in four-dimensional field theories with minimal supersymmetry and have been intensely studied in relation to non-perturbative string dualities and phenomenology.
Over the past years, twists of supersymmetric field theories have mediated a lot of interactions between mathematics and physics. To this end, twisting can be used as a tool to construct new field theories which are topological or holomorphic in some spacetime directions from a given supersymmetric field theory. The observables of these twisted theories are often interesting mathematical invariants of the underlying spacetime manifold; the prime example here being the appearance of Donaldson polynomials as observables in Donaldson–Witten theory.
More recently, twisted supergravity theories have been studied in the light of the AdS/CFT correspondence [4,5,6,7,8]. As twisted theories are mathematically way more tractable than their untwisted versions, twisting on both sides of the correspondence is a promising way to provide rigorous manifestations of holography. Concretely, isomorphisms between certain algebras attached to the theories on each side of the correspondence have been established. Thus, for a thorough understanding of twisted holography, understanding twists of supergravity theories is crucial.
In this note, we consider a partial topological twist of eleven-dimensional supergravity on manifolds of \(G_2 \times SU(2)\) holonomy. Partial topological twists are a natural arena where off-shell representations of supersymmetry, supersymmetric localization, special holonomy manifolds, and elliptic moduli problems converge. A partial topological twist can only be performed on a manifold of special holonomy. The equations of motion after twisting often simplify to elliptic complexes that are specific to the special holonomy manifold on which the twist is defined.
A conjectured partial topological twist of eleven-dimensional supergravity on manifolds, \(M^7 \times M^4,\) of \(G_2 \times SU(2)\) holonomy is given in [5, 9, 10]. As a free BV theory, the twisted theory is described by the cochain complex
where the differential \(D^{\textrm{tw}}\) decomposes into
Here \(d_{M^7}\) is the de Rham differential on \(M^7\) and \(\bar{\partial }_{M^4}\) is the Dolbeault differential on \(M^4\). In principle, higher interaction terms will also be present, but here we restrict our attention to the free theory.
Already, twisted M-theory has had several applications to mathematical physics [5, 10]. While these works are rigorous mathematics in the sense of Jaffe–Quinn [11], our aim is to connect them to eleven-dimensional supergravity as originally envisioned by Cremmer–Julia–Scherk [1] and its more recent formulations in the pure spinor formalism [12, 13].
In this note we will show how to obtain the fields and BV differential by directly twisting the component fields of eleven-dimensional supergravity in the BV formalism [14]. After the twist, the three-form \(C^{(3)}\) with its ghost system \(C^{(2)},C^{(1)},C^{(0)},\) the spin-3/2 Rarita–Schwinger field \(\psi ,\) and all of their corresponding antifields organize into a differential form \(\mathcal {A}\in \Omega ^{\bullet }(M^7) \otimes \Omega ^{0,\bullet }(M^4)\), as conjectured by Costello. Its components are displayed in Table 1.
We will derive the conjectured form of the twisted fields and differential starting from the manifestly covariant formulation of eleven-dimensional supergravity [12, 13, 15, 16] in the pure spinor superfield formalism [17,18,19]. We use this formalism to obtain the BV complex of the three-form multiplet in eleven dimensional supergravity, including the full action of the supersymmetry algebra on the component fields. These results are then used to carry out the actual twist on the level of component fields. This gives an explicit understanding of the fields in the twisted theory as well as the formation of trivial pairs in terms of the fields of the untwisted supergravity multiplet.
The traditional approach to eleven-dimensional supergravity in superspace [20,21,22,23,24] starts with the supervielbein and imposes conventional constraints [25, 26] on torsions and curvatures. We will make some speculative remarks about the twist of the supervielbein at the end. A partially off-shell formulation of eleven-dimensional supergravity adapted to manifolds of \(G_2 \times SU(2)\) holonomy is given in [27,28,29] and is closely related to the twisted theory.
We will work in Euclidean signature. We hope to return to the twist of the higher order terms and the formulation in Lorentzian signature in subsequent work.
From the outset you know, more or less, what became of the three-form multiplet, so most of your curiosity is invested in the question of how it all came to pass. (Adapted from A.O. Scott.)
Organization:
The rest of this work is structured as follows. In Sect. 2 we review supersymmetric theories in the BV formalism and explain how to twist them with respect to a supercharge. We describe the types of twists in eleven-dimensional supergravity and the \(G_2 \times SU(2)\) invariant twist in detail. In Sect. 3 we specialize our general discussion of BV theories to eleven-dimensional supergravity. We introduce the BV complex for the three-form multiplet and describe the action of supersymmetry on its component fields. Finally, in Sect. 4 we describe the decomposition of the fields and supersymmetry transformations with respect to \(G_2 \times SU(2).\) We then use the decomposition to determine the fields surviving the partial topological twist and the resulting action of the modified BV differential. We conclude with some thoughts on further directions in Sect. 5.
Note added:
The authors thank Ingmar Saberi and Brian Williams for informing them of their related paper [30] and coordinating submission to the arXiv. Their work derives the holomorphic twist of the eleven-dimensional three-form multiplet. Starting from the holomorphic twist of Saberi–Williams, Ingmar Saberi, Surya Raghavendran and Brian Williams independently derive the \(G_2 \times SU(2)\) invariant twist in their forthcoming work [31]. Our work is complementary to that of Saberi–Williams and Raghavendran–Saberi–Williams in the sense that we determine the origin of the twisted fields in the untwisted theory, whereas their work cleverly bypasses the component fields of the untwisted theory. Further discussion of the relations between these different perspectives will appear in [32].
2 Twisting à la Costello
2.1 Supersymmetric field theories in the BV formalism
In the BV formalism, a field theory is described by a sheaf of cyclic (super) \(L_{\infty }\) algebras over a spacetime M. This sheaf models the space of solutions to the equations of motion up to gauge equivalence [14, 33, 34]. Here we are only concerned with free field theories, which means that all involved \(L_\infty \) algebras have no higher operations (\(\mu _i=0\) for \(i\ge 2\)) and hence simply are cochain complexes. Given such an \(L_\infty \) algebra L, the space \(\mathcal {E}\) of BV fields is obtained by a homological shift \(\mathcal {E} = L[1]\). The space of BV fields usually arises as the sections of a \(\mathbb {Z}\times \mathbb {Z}/2\mathbb {Z}\) graded vector bundle \(E \rightarrow M\) over the spacetime M,
where the differential D arises as a differential operator of degree \((1,+)\). The \(\mathbb {Z}\)-grading is usually called ghost number, while the \(\mathbb {Z}/2\mathbb {Z}\) grading corresponds to the usual parity distinguishing bosons and fermions. By assumption, E is equipped with a fiberwise non-degenerate, graded antisymmetric map of bidegree \((1,+)\)
which induces a pairing on compactly supported sections \(\mathcal {E}_c \subseteq \mathcal {E}\) via integration. Due to its degree, this pairing connects fields and antifields.
A free classical BV theory, specified by the data \((E,D,\omega )\), can also be described in a second way that is, in a sense, dual to the above description. The pairing \(\omega \) endows the functionals \(\mathcal {O}(\mathcal {E})\) of the fields with an odd Poisson bracket \(\{-,-\}\) of degree 1. The differential D induces a BV operator \(Q_{BV} : \mathcal {O}(\mathcal {E}) \rightarrow \mathcal {O}(\mathcal {E})\) that can be written in the form
for the BV action \(S_{BV}\), which satisfies the classical master equation \(\{S_{BV}, S_{BV}\} = 0\). As we are dealing with free theories, the BV action can be written as
Thus, for free theories and in the presence of a non-degenerate pairing \(\omega \), the BV operator \(Q_{BV}\), the differential D and the BV action \(S_{BV}\) all contain the same information.
An important subset of all functionals of the fields are the local operators: For any point \(x \in M\), we have local operators supported at x
where \(J^\infty \) denotes the infinite jet space. For example, given a field \(\phi \in \mathcal {E}\), the corresponding local operator in \(\mathcal {O}_x(\mathcal {E})\) evaluates \(\phi \) at the point x.
Corresponding to these two point of views, there are also two ‘dual’ ways of encoding the action of supersymmetry in the BV formalism. Let us start from the perspective of fields. The endomorphisms \(\textrm{End}(\mathcal {E})\), equipped with the commutator and the differential \([D,-]\), form a differential graded super Lie algebra. Inside \((\textrm{End}(\mathcal {E}), [D,-])\), there is a sub dg super Lie algebra denoted by \((\mathcal {D}(\mathcal {E}), [D,-])\), consisting of all endomorphisms of \(\mathcal {E}\) acting by differential operators.
Now let \(\mathfrak {p} = \mathfrak {p}_+ \oplus \mathfrak {p}_-\) denote a super Poincaré algebra. In a supersymmetric field theory, the action of supersymmetry is described on the fields by a map of super \(L_\infty \) algebras
As such \(\rho \) consists of component maps
of degree \(1-i\) satisfying the usual consistency relations for morphisms of super \(L_\infty \) algebras.
The action of supersymmetry can also be encoded on the operators of the theory. This is done by combining, for \(Q \in \mathfrak {p}\), \(\rho ^{(i)}(Q,\dots ,Q)^\vee \) the dual maps into a differential
Note that this is the same procedure as encoding a gauge symmetry in the BRST differential. We will see in Sect. 3.4 how to describe the action of the supersymmetry algebra in the pure spinor formalism.
2.2 Twisting in the BV formalism
Let us fix a square zero element \(Q \in \mathfrak {p}_-\) of the odd part of the supersymmetry algebra. Given a supersymmetric field theory in the BV formalism, the twist of the theory by Q is defined by deforming the BV operator
where \(t \in {\mathbb {C}}^{\times }\) and taking \({\mathbb {C}}^{\times }\)-invariants [35, 36]. After taking invariants, we specialize to \(t = 1.\) Equivalently, we can deform the BV action to
following [37]. This defines the twisted theory as a classical BV theory \((E, S^{Q}_{BV}, \omega )\) with the same space of fields and odd-symplectic pairing, but with a new action. Deforming the differential typically breaks the grading on E. Importantly, the presence of new terms in the differential often results in the formation of trivial pairs that decouple and thus play no role in the dynamics of the twisted theory and hence can be neglected. More precisely, one can pass over to a theory with a smaller space of fields, where all trivial pairs are omitted. This gives an equivalent formulation of the twisted theory, which is often drastically simplified. One usually also refers to this formulation as the twisted theory.
2.3 Twisting and the Nilpotence Variety
Eleven-dimensional supergravity can be twisted in two distinct ways that correspond to the two types of nilpotent supercharges. In this note, we are exclusively concerned with the maximal twist, which is possible on a manifold with \(G_2 \times SU(2)\) holonomy [5, 38, 39]. In addition, there is also a minimal (holomorphic) twist.
The possible twists of a supersymmetric field theory are described by the variety of square zero elements Y inside the supersymmetry algebra of the theory. The nilpotence variety
has a natural stratification such that each stratum can be identified with a twisted theory [40]. Different strata can be distinguished by the commutant
which is constant along the strata.
Recall that, in any dimension, the Dirac spinor representation S is obtained from a maximal isotropic subspace \(L \subset V\) by setting
S forms a Clifford module for Cl(V) and thus in particular a representation of \(\mathfrak {so}(V)\). In the case where \(d= \textrm{dim}(V)\) is odd, this representation is irreducible. As we are interested in eleven-dimensional supergravity, we restrict to this case for the moment.
For \(Q \in S\), the annihilator with respect to Clifford multiplication
gives an isotropic subspace \(\textrm{Ann}(Q) \subset V\). Q is called a Cartan pure spinor if \(\textrm{Ann}(Q)\) is maximal isotropic. Every Cartan pure spinor is square zero. The converse, however, is in general not true as we will see below. More generally, one can define the varieties
which define a filtration
2.4 Two families of twists
In eleven dimensions, the variety of square zero supercharges is described in coordinates by the eleven equations
This variety is closely related to the variety of Cartan pure spinors. In fact, one finds \(Y = \textrm{PS}_3\) [40]. The variety of Cartan pure spinors sits inside Y as a subvariety \(\textrm{PS}_0 \subset \textrm{PS}_3 = Y\). Furthermore, \(\textrm{PS}_0\) is the singular locus of Y and can be described by imposing the additional equations
For Q on the singular locus, the degree zero part of the commutant is \(Z^0(Q) = \mathfrak {u}(5)\). This corresponds to the holomorphic twist of eleven-dimensional supergravity. Away from the singular locus, the commutant is an algebra with Levi factor \(\mathfrak {g}_2 \times \mathfrak {gl}(2)\). This corresponds to the maximal twist of eleven-dimensional supergravity that we will study.
Let us elaborate a little further on the maximal twist. The spinor representation in eleven dimensions decomposes as
The Dirac Spin representation in four dimensions, \(S_{4},\) decomposes into Weyl spinor representations \(S_+\) and \(S_-\):
Identifying the group \(Spin(4) \cong SU(2)_{+} \times SU(2)_{-},\) \(S_{+}\) and \(S_{-}\) are the fundamental representations of \(SU(2)_{+}\) and \(SU(2)_{-},\) respectively. On a manifold \(M^7\) with \(G_2\) holonomy, the spinor representation \(S_{7}\) further decomposes as
where \(V_{G_2}\) is the seven-dimensional representation of \(G_2.\) Thus we have the decomposition
As a representation of \(G_2 \times SU(2)_- \times U(1)_L\), where \(U(1)_L\) is the Cartan subgroup of \(SU(2)_+\) this gives
Here we introduced Dynkin labels for the \(G_2\)-representation. \(SU(2)\times U(1)\)-representations are labeled by the dimension of the SU(2)-representation, with the U(1) charge as a subscript. To study the maximal twist, we choose a square zero supercharge
Thus, we immediately see that Q is invariant under the action of \(G_2 \times SU(2)_{-}\) and has \(U(1)_L\) charge \(-1,\).
The normal space to the nilpotence variety is spanned by the supercharges
They satisfy the anticommutator relations
Here we already used that the vector representation decomposes under \(G_2 \times SU(2) \times U(1)\) as
Our conventions are that indices \(m,n, \dots \) are indices for the seven-dimensional vector representation, while \(\dot{\alpha },\dot{\beta },\dots \) correspond to \(SU(2)_-\).
The above anticommutator relations state that translations on \(M^7\) and anti-holomorphic translations on \(M^4\) are exact. Therefore, one can see already at this point that the twisted theory will depend only on the topological structures of \(M^7\), but will be sensitive to holomorphic ones of \(M^4\). Hence this twist is “partially topological” or “holomorphic-topological”.
3 Eleven-Dimensional Supergravity in the Pure Spinor Superfield Formalism
In this section, we give a short review of eleven-dimensional supergravity in the pure spinor superfield formalism. The pure spinor superfield formalism has been developed in the physics literature, in particular by Berkovits [41] and Cederwall [19]. In the context of eleven-dimensional supergravity, we in particular refer to [12, 13] and the references therein. The pure spinor superfield formalism was reinterpreted from a more modern mathematical perspective in [39]. For a detailed treatment in modern language, we refer to our forthcoming work [32]. Here we only use the pure spinor formalism as a tool to describe the action of supersymmetry on the BV complex of eleven-dimensional supergravity and therefore only give a brief treatment, exclusively tailored to the example of eleven-dimensional supergravity.
3.1 General remarks
The general idea of the pure spinor superfield formalism is to replace the usual BV complex \((\mathcal {E},D)\) by a much larger object, which we will denote by \((A,\mathcal {D})\), encoding the same information. In the case of eleven-dimensional supergravity, the construction can be carried out in the following way. Let \(R= \mathcal {O}(S_{11}) = \mathbb {C}[\lambda ^1,\dots ,\lambda ^{32}]\) be the ring of polynomial functions on the eleven-dimensional spin representation \(S_{11}\) and
the ideal generated by the defining equation of the nilpotence variety. The quotient R/I can then be identified with the ring of functions on the nilpotence variety Y. Furthermore, let T denote the supertranslation subgroup of the super Poincaré group. There are two commuting actions of T on the smooth functions \(C^\infty (T)\) on T, namely acting by left and right translations. Infinitesimally, these actions are described by Lie algebra maps
We denote the images of a basis of \(\mathfrak {t}_-\) under L and R by \(\mathcal {Q}_\alpha \) and \(\mathcal {D}_\alpha \). Introducing coordinates \(\theta ^\alpha \) on \(\mathfrak {t}_-\) and \(x^\mu \) on \(\mathfrak {t}_+= V_{11}\), these vector fields are the usual left and right translations on superspace.
Now we can define
Note that the defining equation of the ideal I ensures that the differential \(\mathcal {D}\) is indeed square zero. In coordinates, an element of this complex can be thought of as a function \(\Psi (x,\theta ,\lambda )\) and is called a pure spinor superfield. With these coordinates, A takes the form
The differential \(\mathcal {D}\) has an obvious decomposition
where \(\mathcal {D}_0 = \lambda ^\alpha \frac{\partial }{\partial \theta ^\alpha }\). This makes \((A,\mathcal {D})\) into a bicomplex. Note that
is simply the Koszul complex of R/I tensored with smooth functions on \(V_{11}\).
The usual component field description is obtained by taking the cohomology with respect to \(\mathcal {D}_0\) and transferring all relevant structures like the differential \(\mathcal {D}_1\) (which gives to the differential D on the component field in the sense of Sect. 2.1), the action of the supersymmetry algebra (which gives rise to the \(L_\infty \) module structure on the component fields), and possibly higher terms of an \(L_\infty \) structure (which would rise to an \(L_\infty \) structure encoding interactions on the component field level). For a systematic account of this perspective, we refer the reader to our future work [32]. In the next subsection, we will explain how the \(\mathcal {D}_0\)-cohomology can be computed and how the action of supersymmetry can be transferred for the case of eleven-dimensional supergravity.
3.2 \(\mathcal {D}_0\)-cohomology and representatives
The \(\mathcal {D}_0\)-cohomology can be identified with the tensor product
where \(L^\bullet \) is the minimal free resolution of R/I in R-modules. In our case the minimal free resolution of R/I takes the form
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00220-022-04516-5/MediaObjects/220_2022_4516_Figa_HTML.png)
The resolution differential was already described in [12]. Let us choose a basis \((e_\mu )\) of \(V_{11}\) and \((s_\alpha )\) of \(S_{11}\). We will need the maps \(d_1, \dots d_5\). In this basis they take the following form.
![](http://media.springernature.com/lw668/springer-static/image/art%3A10.1007%2Fs00220-022-04516-5/MediaObjects/220_2022_4516_Equ40_HTML.png)
We do not specify the tensor \(M_{\mu \nu }^{\alpha \beta }\) here, but just remark that it is a rather complicated expression in terms of \(\Gamma \)-matrices. The \(\mathcal {D}_0\)-cohomology is bigraded by \(\lambda \) and \(\theta \). The component fields organize according to degree in \(\lambda \) and \(\theta \) according to Table 2. We will call the \(\lambda \) degree the BV degree. This convention is non-standard because it places the physical fields in BV degree three. However, we will see that it simplifies other aspects of our presentation.
To find explicit representatives for the cohomology classes corresponding to the component fields we define the adjoint differential
Representatives can then be found by applying the resolution differential and \(\mathcal {D}_0^\dagger \) iteratively. This was already noted in [42] and will be elaborated on in [32]. For example we find for the one-form
![](http://media.springernature.com/lw263/springer-static/image/art%3A10.1007%2Fs00220-022-04516-5/MediaObjects/220_2022_4516_Equ42_HTML.png)
such that the one-form field is represented by \((\lambda \Gamma ^\mu \theta ) C^{(1)}_\mu \).
Similarly one finds for the two-form
![](http://media.springernature.com/lw621/springer-static/image/art%3A10.1007%2Fs00220-022-04516-5/MediaObjects/220_2022_4516_Equ43_HTML.png)
such that the two-form is represented by \((\lambda \Gamma ^\nu \theta )(\lambda \Gamma ^\mu \theta ) C^{(2)}_{\mu \nu }\). Likewise, the three-form is represented by \((\lambda \Gamma ^\nu \theta )(\lambda \Gamma ^\mu \theta ) (\lambda \Gamma ^\rho \theta ) C^{(3)}_{\mu \nu \rho }\).
Let us continue with the vector ghost v
![](http://media.springernature.com/lw575/springer-static/image/art%3A10.1007%2Fs00220-022-04516-5/MediaObjects/220_2022_4516_Equ44_HTML.png)
Thus the representative is \((\lambda \Gamma _\mu \theta )(\lambda \Gamma ^{\mu \nu } \theta ) v_\nu \). For the graviton we find with a similar calculation \((\lambda \Gamma _\mu \theta )(\lambda \Gamma ^{\mu (\nu } \theta )(\lambda \Gamma ^{\rho )}\theta ) g_{\rho \nu }\).
Performing this procedure one can find representatives for the gravitino and its ghost. The results are summarized in Table 3.
3.3 The BV differential
The differential D acting on the component fields is obtained by transferring \(\mathcal {D}_1\) to the \(\mathcal {D}_0\)-cohomology. In general, this is done by a homotopy transfer of \(D_\infty \)-algebras but here we are only interested in the lowest order term that acts on the representatives simply by the usual formula of \(\mathcal {D}_1\),
This gives part of the differential, that is first order in derivatives. For example, we can act on the \(C^{(0)}\) ghost
Thus we see that the differential corresponds to the de Rham differential. This obviously generalizes to \(C^{(1)}\) and \(C^{(2)}\) such that we see that the ghost system of the three-form indeed corresponds to the usual ghost system of a higher form field. Moving on to the diffeomorphism ghost \(v_\mu \) for the graviton, we find
From our calculations of the representatives, we know that only the part where \(\rho \) and \(\nu \) are symmetrized corresponds to a non-trivial cohomology class. Thus we find
Written dually in terms of operators, we find that the BV operator acts by
which is indeed the expected gauge transformation for the graviton.
A similar story also holds for the gravitino and its ghost. There we find
This gives a gauge transformation
Thus we see that \(\mathcal {D}_1\) encodes the usual gauge transformations, expected for the field content. Furthermore, one expects \(\mathcal {D}_1\) to encode the Rarita–Schwinger equation between the gravitino and its antifield. In addition, homotopy transfer is expected to induce a second order differential giving the linearized equations of motions of the graviton and the three-form field.
3.4 The action of supersymmetry
As explained in Sect. 2.1, the supersymmetry algebra usually does not act strictly on the component fields. This is indeed the case for eleven-dimensional supergravity. Instead there is a \(L_\infty \) map
The components of \(\rho \) can be obtained from the action of \(Q_\alpha \) by left translation using a homotopy transfer procedure. The strict part is simply obtained by letting (3.3) act on the representatives. For an element \(Q= \epsilon ^\alpha Q_\alpha \) of the supersymmetry algebra, this means
For the second order part one finds
Here i is the inclusion map from the \(\mathcal {D}_0\)-cohomology to the total complex (3.4) (mapping a component field to its representative, as computed above) and p is the projection back onto the \(\mathcal {D}_0\)-cohomology. The presence of \(\rho ^{(2)}\) signals that the supersymmetry transformations only close up to the equations of motions and gauge transformations. In fact, \(\rho ^{(2)}\) nullhomotopes the failure of the supersymmetry algebra to be represented strictly and thus exactly corresponds to what is called a “closure term” in the physics literature. Higher order components will not appear for eleven-dimensional supergravity. In [12], a close connection between the resolution differential and the non-derivative supersymmetry transformations and their closure terms was conjectured. We will explain this claim in modern language and provide a proof in [32]. Here it suffices to say that, as we will see momentarily, one can obtain the non-derivative part of \(\rho \) by replacing \(\lambda \) with \(\epsilon \) in the resolution differential at appropriate places. Now let us start deriving the action of the supersymmetry algebra on the BV fields. The strict part gives the usual supersymmetry transformations known from the literature [12].
3.4.1 The three-form ghost system
We begin with the ghost system of the three-form. From degree reasons, it is obvious that \(\rho ^{(1)}\) acts trivially on the ghost system for the three-form. Thus we have
However, this will be corrected by higher order contributions. There we find
Thus we find a map
Here we also see the relation to the resolution differential: \(d_1\) acts on the one-form by \(C^{(1)} \rightarrow (\lambda \Gamma ^\mu \lambda ) C^{(1)}_\mu ,\) thus replacing \(\lambda \) with \(\epsilon \) we obtain \(\rho ^{(2)}\).
Written dually for operators, this gives a supersymmetry transformation rule
With similar calculations, we also see that there are higher order transformations
and
However, these transformations will not cancel any components in the twist since there the relevant supercharge satisfies \(\{Q,Q\} = 0\) and thus the above maps all vanish.
3.4.2 The diffeomorphism ghost
The only non-derivative transformation for the diffeomorphism ghost appears in \(\rho ^{(2)}\). It takes the form
and thus gives a transformation rule
In addition, there is a \(\rho ^{(1)}\)-piece involving a derivative that can be seen to give rise to the usual supersymmetry transformation between the diffeomorphism and supertranslation ghost [12]
3.4.3 The gravitino ghost
For the gravitino ghost, we obtain
Again, note the relation to the free resolution. This gives two supersymmetry transformations
By now the methodology should be clear. In this style, one can derive the full higher order corrections to the supersymmetry transformations and encode them in the differential \(\delta \).
We summarize the full non-derivative supersymmetry transformations in Table 4. These results first appeared in [12].
In addition, we list the transformations including derivatives for the gravitino and its ghost in Table 5.
4 Twisting the Free Theory
In this section, we will show that the fields of the twisted theory arrange into a differential form
The strategy to establish this result is clear: we restrict the supersymmetry transformations from Table 4 to our \(G_2 \times SU(2)\) invariant supercharge and look for fields that form trivial pairs under \(\delta \). In the twisted theory these fields decouple and can be neglected. To find such cancellations we have to decompose the field content as well as the supersymmetry transformations equivariantly under \(G_2 \times SU(2) \times U(1)\).
As a result, we will see that only certain components of the three-form, the three-form ghost system, the gravitino, and the corresponding antifields play a role in the twisted theory. These fields then arrange into the differential form described above.
We will see that the twisted differential takes the form
The fields in the untwisted theory have a have a \(\mathbb {Z}\times \mathbb {Z}\)-grading given by the BV degree \(d_{BV}\) and the \(U(1)_L\) charge \(d_{U(1)_L}.\) After twisting, the new BV operator \(Q_{BV} + \delta _Q\) breaks the \(\mathbb {Z}\times \mathbb {Z}\)-grading on the space of fields E to the \(\mathbb {Z}\)-grading
in the twisted theory. Note that \(D^{\textrm{tw}}\) is not homogenous with respect to this grading since \(\bar{\partial }_{M^4}\) operator carries \(U(1)_L\) charge -1. The new BV degree of a component of \(\mathcal {A}\) is simply its de Rham form degree on \(M^7\). Alternatively, note that the twisted BV differential preserves the total form degree and we can assign a total form degree to the components of \(\mathcal {A}.\) We observe that for component fields in \(\mathcal {A}\) the total form degree agrees with their original \(\theta \)-degree. However, interactions might not preserve these degrees.
4.1 Decomposition of the field content
We now decompose the field content into representations of \(G_2 \times SU(2)_- \times U(1)_L\). To do this, recall the following sequence of inclusions
The branching of the relevant representations from Spin(11) to \(Spin(7) \times SU(2)_- \times U(1)_L\) is described by Table 6.
Here we are using Dynkin labels to identify the Spin(11) and Spin(7) representations. We identify \(SU(2) \times U(1)\)-representations by the dimension of the SU(2)-representation and denote the U(1) charge as a subscript. Recall that the vector representation \(V_{11}\) has Dynkin label (10000) and its second and third exterior powers are labeled by (01000) and (00100). The spinor representation \(S_{11}\) has Dynkin label (00001). Furthermore, the gravitino representation already decomposes as a Spin(11) representation according to
Finally, the graviton transforms in the representation
We also need the branching rules for \(Spin(7) \rightarrow G_2,\) which we collect in Table 7.
We see that the three-form and its ghosts \(C^{(p)}\) split into forms in \(\Omega ^i(M^7) \otimes \Omega ^{j_1,j_2}(M^4),\) where \(i + j_1 +j_2 = p\) is the total form degree. Thus, in the light of the conjecture, we expect all components with non-zero holomorphic form degree (\(j_1 \ne 0\)) to cancel in the twisted theory.
We now consider the decomposition of the gravitino field \(\psi _{\mu }^{\alpha }\). It transforms in the product of the Spin(11) vector and spinor representations. We first consider its decomposition under \(Spin(11) \rightarrow Spin(7) \times SU(2)_{-}\). We will later see that the only components that survive in the twisted multiplet have index \(\mu \) transforming in a Spin(7)-vector representation whose components we denote by m.
On a manifold of \(G_2\) holonomy the de Rham complex splits into three sub-complexes [43]
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00220-022-04516-5/MediaObjects/220_2022_4516_Figb_HTML.png)
To define the space of differential forms \(\Omega ^k_l\), recall that we can identify the differential forms \(\Omega ^k\) in the de Rham complex with sections of the k-th exterior power of the cotangent bundle of \(M^7.\) When \(M^7\) has \(G_2\) holonomy the exterior powers of the cotangent bundle decompose into irreducible representations of \(G_2\) and we denote the sections by \(\Omega ^k_l\), where the subscript denotes the respective dimension of the \(G_2\)-representation.
The spin 1/2 and spin 3/2 fields on \(M^7\) decompose as [44, 45]
Using the above decomposition and the \(Spin(11) \rightarrow Spin(7) \times SU(2) \times U(1)_L\) branchings in Table 6, and the isomorphisms
we see that the gravitino, given by a pair of spin 3/2 and spin 1/2 fields on a \(G_2\) holonomy manifold, can be identified with a pair of two- and three-forms on the manifold. We will find that the components of the gravitino that survive the twist are contained in the representation
However, not all of these components survive. We will find that the surviving components are \(\Omega ^3 \otimes \wedge ^0 L_{4}^\vee \), \(\Omega ^3 \otimes S_{-}\), and \(\Omega ^2 \otimes \wedge ^2 L_{4}^\vee .\) The gravitino has BV degree 3 in the untwisted theory and the representations \(\wedge ^0 L_{4}^\vee , S_{-}, \wedge ^2 L_{4}^\vee \) have U(1) charge \(-1,0,\) and 1, respectively. Thus their new BV defined by Eq. (4.3) are 4, 3, and 2. The components surviving the twist are therefore in \(\Omega ^4(M^7) \otimes \Omega ^{0,0}(M^4)\), \(\Omega ^3(M^7) \otimes \Omega ^{0,1}(M^4),\) and \(\Omega ^2(M^7) \otimes \Omega ^{0,2}(M^4),\) where we have used the isomorphism \( \Omega ^3 \cong \Omega ^4\) to ensure that the gravitino has its correct twisted BV degree.
The components of the three-form and its ghosts \(C^{(p)}\), \(p = 0 \dots 3\) and the gravitino along with their antifields that survive the twist therefore give exactly the right field content to be described by a form
4.2 Decomposition of the supersymmetry transformations
We now determine the supersymmetry transformations for the scalar supercharge Q. For the moment we are only interested in the supersymmetry transformations without derivatives since these are the ones responsible for the formation of trivial pairs. The transformations with derivatives will later be used to determine the twisted BV differential. Recall that the spin representation \(S_{11}\) decomposes as
This means that we can decompose the parameter \(\epsilon \) from Table 4 into
Here m is an index for the seven-dimensional representation of \(G_2\). To act by Q, we specify \(\epsilon _{-} = 1\) and set all other components to zero.
On general grounds, these transformation take a very simple form. As explained above, the supercharge Q is invariant under \(G_2 \times SU(2)\) and has U(1) charge \(-1\). As a consequence, \(\delta _Q\) is an \(G_2 \times SU(2)\)-equivariant map. By decomposing the field content into irreducible \(G_2 \times SU(2)\)-representations, \(\delta _Q\) splits up as a map between these irreducibles. However, since \(\delta _Q\) is equivariant, we can apply Schur’s lemma and find, first, that there can not be any non-trivial maps between non-isomorphic components and, second, transformations between isomorphic \(G_2 \times SU(2)\)-representations are always of the form \(\alpha \cdot \textrm{id}\) for some \(\alpha \in {\mathbb {C}}\). Thus, to check whether there are any trivial pairs, we only have to see if there is a non-vanishing map between isomorphic representations. In addition, \(\delta _Q\) carries a U(1) charge that simply equals minus the number of \(\epsilon \)’s appearing in the transformation, which can be used as a further criterion to establish that certain maps vanish.
To check whether or not supersymmetry transformation yields a trivial pair we need to decompose \(\Gamma \)-matrices.
4.2.1 Gamma matrix decomposition
In eleven dimensions the symmetric square of the spin representation decomposes as
Accordingly, there are maps denoted by \(\Gamma ^\mu \), \(\Gamma ^{\mu \nu }\) and \(\Gamma ^{\mu _1 \dots \mu _5}\) given by projecting onto the summands in this decomposition. So for example, \(\Gamma ^\mu \) is given by the composition
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00220-022-04516-5/MediaObjects/220_2022_4516_Figc_HTML.png)
Recall the spin representation \(S_{11}\) decomposes under \(G_2 \times SU(2) \times U(1)\) as
We are interested in \(\epsilon _- \Gamma ^\mu \epsilon \) and \(\epsilon _- \Gamma ^{\mu \nu } \epsilon \), where \(\epsilon _- \in 1_{-1}\) in the above decomposition and \(\epsilon \) is arbitrary. This means we are looking at a map \(1_{-1} \otimes S_{11} \rightarrow V_{11}\) or \(1_{-1} \otimes S_{11} \rightarrow \wedge ^2 V_{11},\) respectively. The representations \(V_{11}\) and \(\wedge ^2 V_{11}\) decompose as
We can now compare this with the decomposition of \(1_{-1} \otimes S_{11}\) and read off the following results for \(\Gamma ^\mu \):
For \(\Gamma ^{\mu \nu }\) we find:
For example, we immediately see that all terms of the form \(\epsilon _- \Gamma ^\mu \epsilon _-\) vanish and hence do not affect the twist. This is also a direct consequence of Q being nilpotent.
Let us start examining the supersymmetry transformations. Note that we are ignoring any potential non-zero scalar coefficients \(\alpha \) as we are only interested in the formation of trivial pairs.
Furthermore, we are only considering cancellations between the fields of the multiplet as well as between the gravitino and its antifield. Since the action of supersymmetry respects the pairing on the BV complex, the same cancellations also occur for the respective antifields.
4.2.2 The zero-form \(C^{(0)}\)
For the zero-form ghost, we obviously have \(\delta _Q C^{(0)} = 0\). Since there is no supersymmetry transformation generating \(C^{(0)}\), it will become a field in the twisted theory.
4.2.3 The diffeomorphism ghost v
Next we consider the diffeomorphism ghost \(v_\mu \). It decomposes into components
We have a supersymmetry transformation of the form
The gravitino ghost \(\omega \) lives in the spinor representation and hence decomposes according to Eq. (4.15). From the \(\Gamma \)-matrix decomposition in Eq. (4.20), we know that \(\epsilon _- \Gamma _\mu \omega \) is only non-vanishing for the components \(\omega _{\dot{\alpha }}\) and \(\omega _{+m}\) of \(\omega \). Thus we get up to potential non-zero prefactors
and
Finally we have,
Thus we already find that some components of the diffeomorphism ghost v form trivial pairs with parts of the gravitino ghost. In addition, it is interesting to note that \(\delta _Q v_{+ \dot{\alpha }} = 0\). As \(v_{+ \dot{\alpha }}\) will not be part of the twisted three-form multiplet, we expect it to be in the image of \(\delta _Q\), forming a trivial pair with another field. Indeed, we will momentarily find that \(v_{+ \dot{\alpha }}\) cancels the holomorphic part of the one-form \(C^{(1)}\).
4.2.4 The one-form \(C^{(1)}\)
For the field \(C^{(1)},\) we have a supersymmetry transformation rule
From the \(\Gamma \)-matrix decomposition, we know \(\epsilon _- \Gamma _{\mu \nu } \epsilon _- \in 1_{-2}\). Thus we immediately find
and
In addition, we have
This shows that \(C^{(1)}_{- \dot{\alpha }}\) and \(v_{+ \dot{\alpha }}\) form a trivial pair and thus do not appear in the twisted theory. Recall that the choice \((\epsilon _{-} , \epsilon _{+} , \epsilon _{\dot{\alpha }}) = (1,0,0)\) defines a complex structure on \(\mathbb {R}^4 \cong {\mathbb {C}}^2\). The four-dimensional vector representation decomposes as
The representation \(2_{-1}\) corresponds to holomorphic and \(2_1\) to the antiholomorphic components. Thus we see that, for this complex structure, the components \(C^{(1)}_{- \dot{\alpha }}\) form the holomorphic parts of the one-form ghost \(C^{(1)}\). As expected, only the anti-holomorphic part of the one-form plays a role in the twisted theory.
We can alternatively describe the cancellation using holomorphic geometry. With respect to the complex structure on \({\mathbb {C}}^2\),
defines a holomorphic (2, 0)-form. Introducing coordinates \((z^{\dot{\alpha }}, \bar{z}^{\dot{\alpha }})\) on \(V = 2_{-1} \oplus 2_1\), the holomorphic (2, 0)-form simplifies to
This allows us to rewrite the supersymmetry transformation of the one-form ghost as
Thus, we again see that the holomorphic components of \(C^{(1)}\) cancel with the diffeomorphism ghost.
4.2.5 The two-form field \(C^{(2)}\)
Let us continue with the supersymmetry transformation of the two-form
The two-form and the graviton decompose into components
Consulting the \(\Gamma \)-matrix decomposition in Eq. (4.21), we get
Thus we find that the components
do not appear in the twisted multiplet, while
are in the kernel of \(\delta _Q\) and thus, since there are no supersymmetry transformations that could make these exact, part of the twisted multiplet. Note again that this matches with the expectation that only \((0,*)\)-forms on \(M^4\) play a role in the twisted multiplet.
Note that we can rewrite the piece of the supersymmetry transformation (4.35) involving the graviton using the holomorphic (2,0)-form \(\Omega \) as
However, due to the symmetry properties of the graviton, this transformation alone does not cancel all holomorphic component of the two-form. So one really needs the supersymmetry ghost to cancel the singlet \(C^{(2)}_0\).
4.2.6 The three-form field \(C^{(3)}\)
For the three-form field, we have a supersymmetry transformation of the form
The three-form decomposes into components
To decompose this transformation, we write for the gravitino
where \(\xi ^\alpha \) takes values in \(S_{11}\) and \(\chi _\mu \) in \(V_{11}\). From (4.21), we see that \(\xi ^\alpha \) has to live in
to get a non-zero result. Decomposing \((1_{-1} \oplus 1_{1} \oplus (10) 2_0) \otimes V_{11}\) into irreducibles, we can identify the decomposed transformations. The results are listed in Table 8.
4.2.7 The supersymmetry ghost \(\omega \)
The non-derivative part of the supersymmetry transformation of \(\omega _\alpha \) reads
Again decomposing the gravitino as we did for the three-form field and using the decomposition (4.20), we find that \(\xi ^\alpha \) has to take values in
Tensoring with the vector representation \(V_{11}\) and identifying matching representations gives the result listed below.
4.2.8 The graviton \(g_{\mu \nu }\)
The supersymmetry transformation
again only allows for \(\xi \) to come from \(2_0 \oplus (10)1_1\). As before, we just list the results in Table 8.
In Table 8, we collect all decomposed non-derivative supersymmetry transformations. Here M is an index for the 14-dimensional representation (01) of \(G_2\). It appears in the variation
where the notation describes the decomposition \(\wedge ^2 (10) \rightarrow (10) \oplus (01)\) of \(G_2\)-representations.
4.3 Supersymmetry variation of the gravitino
The non-derivative supersymmetry transformation of the gravitino reads
This transformation reflects the fact that the supersymmetry algebra acts only up to the equations of motions of the gravitino. Correspondingly, there is a quadratic term in antifields appearing in the BV action [12, 46]
The transformation (4.49) is responsible for the remaining cancellations between of the gravitino. To argue that indeed the correct components of \(\psi \) cancel, we change our strategy. As the structure of \(M^{\alpha \beta }_{\mu \nu }\) is very complicated, we will not decompose it directly under \(G_2 \times SU(2)\). Instead we give an indirect argument.
For this, recall that (4.49) is precisely the term that corrects for the failure of the linearized supersymmetry transformation to act strictly. Denoting the linearized part of the supersymmetry transformation by \(\delta _Q^{\textrm{lin}}\) and the quadratic transformation of the gravitino by \(\delta _Q^{\textrm{quad}}\), we have
where we have used the fact that Q is square zero in the second equality.
Thus, for \(\psi \) outside of the kernel of \(Q_{BV}\),
For such components there can not be any cancellations between \(\psi \) and \(\psi ^\dagger \). Furthermore this reasoning suggests to view the cancellations between components of the gravitino and its antifield as a two-step procedure. First, the linearized transformation identifies a piece of \(\psi \) with a component of \(G^{(4)} = dC^{(3)}\). Then we can act with another linearized transformation to obtain a component of \(\psi ^\dagger \). Clearly the U(1) charges of components connected in this way satisfy
Now recall that the linear part of supersymmetry transformations on the three-form and the gravitino are
However, from Table 8 we know that the components
are in the kernel of \(\delta _Q\). Thus the pieces of \(\psi \), which are mapped to the corresponding field strengths by (4.54) are annihilated by applying the second linear transformation (4.55) and hence satisfy \(\{\delta _Q^\textrm{lin}, \delta _Q^{\textrm{lin}}\} \psi = 0\).
With this information, we can analyze the components of the gravitino. In Table 9, we display the \(G_2 \times SU(2)\)-equivariant decomposition of the gravitino, its antifield, and the field strength organized by U(1) charges. All components of \(\psi \) and \(\psi ^\dagger \) that form trivial pairs with other fields according to Table 8 are indicated with an arrow.
We immediately see that the components of \(\psi \) with U(1) charge 1 cannot be canceled and thus are part of the twisted multiplet. We circle these components in blue.
Furthermore, we can take a look at the remaining components of \(\psi \) with U(1) charge \(-1\). There we have a representation
which maps under \(\delta _Q\) to \(d_{M^7} C^{(3)}_{mnp}\). This means the corresponding components are part of the twisted multiplet. With similar reasoning the components
with U(1) charge zero transform to the field strength of \(d_{M^7} C^{(2)}_{mn + \dot{\alpha }}\) and \(\bar{\partial } C^{(3)}_{mnp}\) under \(\delta _Q\) and hence are also part of the twisted multiplet.
On the other hand, we see that different pieces of the gravitino are mapped to components of the field strength which are not part of the kernel of \(\delta _Q\). These than can have \(\{\delta _Q^\textrm{lin}, \delta _Q^{\textrm{lin}}\} \psi \ne 0\), such that a cancellation is possible. In Table 9 we indicate such components, the corresponding intermediate components of the field strength and the respective partners from \(\psi ^\dagger \) with green rectangles.
Nevertheless one has to remain careful. As we explained above, these arguments only hold outside of the kernel of \(Q_{BV}\). For U(1) charge zero, there is a component (00)(2) boxed in green. This can be viewed as a differential form
The corresponding field strength, however, does come from \(C^{(3)}_{mn +\dot{\alpha }}\) which is in the kernel of \(\delta _Q\). This is not a contradiction, since the corresponding representation (00)(2) is in the kernel of \(Q_{BV}\). The trivial representation \((00) \subset \Omega ^3(M^7)\) corresponds to a covariantly constant spinor inside the tensor product \((TM^7)^{\mathbb {C}}\otimes SM^7\) [44], which is a zero-mode for the BV operator \(Q_{BV}\) which acts as the Rarita–Schwinger operator. This means that the above argument does not apply here, in the light of the results so far and the conjecture, we nevertheless expect this component to cancel. An explicit investigation using a decomposition of the tensor \(M^{\alpha \beta }_{\mu \nu }\) would still be interesting.
4.4 Summary of cancellations
We summarize the cancellations obtained in the previous sections in Table 10. The fields that do not form trivial pairs are circled in blue. They form the multiplet \(\mathcal {A}\in \Omega ^{\bullet }(M^7) \otimes \Omega ^{0,\bullet }(M^4)\) and appear in Table 1. The bi-directional strike-through arrows indicate cancellations that occur between \(\psi \) and its anti-field \(\psi ^{\dagger }\) found in Sect. 4.3.
Special care should be taken for the variations of the components of \(C^{(2)}\) that cancel with a linear combination of components of the graviton and supersymmetry ghost
that occur in Eq. (4.37). A subsequent variation yields
which is consistent with \(\delta _Q^2 C^{(2)}= 0\). These extra cancellations are indicated by the strike-through arrows with labels x and y.
4.5 The twisted differential
Recall that the BV differential of the twisted theory is the sum of two terms
We already examined how the non-derivative part of \(\delta _Q\) leads to the formation of various trivial pairs; now we turn towards the parts containing derivatives in order to see how they act on the twisted multiplet.
The BV operator \(Q_{BV}^{\textrm{tw}}\) is dual to a differential \(D^{\textrm{tw}}\) acting on the fields of the twisted multiplet. We already know that D acts as the de Rham differential on the three-form ghost system. Under \(G_2 \times SU(2)\) the de Rham differential decomposes
As only \((0,*)\)-forms are part of the twisted multiplet, this restricts to
In addition, D acts on the gravitino by the Rarita–Schwinger equation. Identifying the gravitino as a spinor valued one-form, \(\psi \in \Omega ^1(M) \otimes S_{11}\), the Rarita–Schwinger operator can be understood as a composition of the exterior differential and Clifford multiplication [45]. From this one can see that it also acts by \(d_{M^7} + \bar{\partial }_{M^4}\) on the relevant pieces of the gravitino.
Finally, there is a contribution to \(D^{\textrm{tw}}\) coming from the supersymmetry transformation (4.55). This transformation also acts by \(d_{M^7} + \bar{\partial }_{M^4}\) and provides the missing differential between \(C^{(3)}\) and \(\psi \).
In summary, the twisted multiplet can thus be described by the cochain complex
as conjectured by Costello.
Interestingly, the form of the differential can also be deduced directly from the explicit formulas in the pure spinor formalism. Recall that \(\mathcal {D}_1\) acts on the representatives by
and that the one-form was represented by the cohomology classes \(C^{(1)}_\mu (\lambda \Gamma ^\mu \theta )\). As we already know that the twisted multiplet forms the exterior algebra \(\Omega ^{\bullet }(M^7) \otimes \Omega ^{0,\bullet }(M^4)\), we see that \(\mathcal {D}_1\) simply acts by taking derivatives and wedging with the corresponding component of the one-form, i.e. precisely by \(d_{M^7} + \bar{\partial }_{M^4}\).
In addition the derivative part of the supersymmetry transformation acts by
From the Gamma matrix decomposition (4.15), we see
Identifying the corresponding components with \(d\bar{z}^{\dot{\alpha }}\) and \(dx^m,\) we once again see that \(Q_{\partial _x}\) acts as desired.
A more roundabout way of understanding the appearance of the de Rham differential is as follows. Recall that the gravitino field on \(M^7\) can be organized into \(\Omega ^2 \oplus \Omega ^3\) when \(M^7\) has \(G_2\) holonomy. Since there are \(b^2(M^7) + b^3(M^7)\) zero modes of the gravitino on \(M^7\) [44, 45, 47, 48], we see that the BV differential acts by the de Rham differential
This is similar to the holomorphic twist of ten-dimensional abelian super Yang–Mills theory on \({\mathbb {C}}^5\). In that case, the analogous BV differential between the gaugino and its antifield expresses the Dirac equation. The relevant part of the differential in the twisted theory is
and only involves the Dolbeault operator on \(\Omega ^{0,\bullet }({\mathbb {C}}^5)\).
5 Conclusions and Future Directions
Eleven-dimensional supergravity in the pure spinor formalism incorporates both the three-form and super-vielbein multiplets. We have seen how the twist of the three-form multiplet is given by a differential form
The super-vielbein multiplet has the graviton, gravitino, and 4-form field strength \(G^{(4)}\) as its physical fields. It is used in the traditional superspace formulation of supergravity. It is natural to expect that the twisted fields of the super-vielbein multiplet organize into a differential form
with leading component \(v_{+ \dot{\alpha }}\) from the diffeomorphism ghost. In future work [32], we plan to directly twist Cederwall’s pure spinor action [13] and compare to Costello’s conjectural action [5, 10] for the twisted theory.
The conjectural twist of type IIB supergravity was developed by Costello and Li to give a precise formulation of a sub-sector of AdS/CFT with rigorously defined mathematical objects [4, 49]. We hope that a similar approach can be used to derive the holomorphic twist of M-theory and Costello–Li’s conjectural form of the twist of type IIB supergravity as a BCOV theory using the presymplectic BV formalism of [50].
The AdS/CFT conjecture is a holographic duality between string and M-theory on anti-de Sitter spaces and gauge theories. In a particular limit it relates weakly coupled type IIB supergravity on products of five-dimensional AdS space \(AdS_5\) with arbitrary Sasaki-Einstein manifolds \(SE^5\) to four-dimensional supersymmetric gauge theories. A different form of the conjecture relates the weak coupling limit of M-theory on the products \(AdS_4 \times SE^7\) to three-dimensional supersymmetric gauge theories. The cone over the Sasaki–Einstein manifold is a local Calabi–Yau manifold. One corollary of the conjecture is the equivalence of the superconformal index [51, 52] under gauge-gravity duality. The gravity superconformal index was computed in terms of holomorphic invariants of the Calabi–Yau manifold in [53, 54]. The corresponding field theory index was later shown to be most directly computed in the holomorphic twist [40, 55]. Thus a full derivation of the holomorphic twist of type IIB supergravity and eleven–dimensional supergravity should reproduce the index calculations of [53, 54]. This would serve as a natural bridge between physical and mathematical approaches to holography.
We hope that a further twist of the one considered in this paper can be used to derive twisted M-theory in the \(\Omega \)-background [5] following [56]. This could provide a physical origin for the applications in [57, 58] by coupling a twisted M5-brane [50] to twisted M-theory. Finally, we hope that twisted M-theory can shed new light on topological M-theory [59,60,61,62,63], which is believed to unify the Kähler [64] and Kodaira–Spencer theories of topological gravity.
References
Cremmer, E., Julia, B., Scherk, J.: Supergravity theory in eleven-dimensions. Phys. Lett. B 76, 409–412 (1978). https://doi.org/10.1016/0370-2693(78)90894-8
Witten, E.: String theory dynamics in various dimensions. Nucl. Phys. B 443, 85–126 (1995). https://doi.org/10.1016/0550-3213(95)00158-O. arXiv:hep-th/9503124
Nahm, W.: Supersymmetries and their Representations. Nucl. Phys. B 135, 149 (1978). https://doi.org/10.1016/0550-3213(78)90218-3
Costello, K., Li, S.: Twisted supergravity and its quantization. arXiv:1606.00365 [hep-th]
Costello, K.: M-theory in the Omega-background and 5-dimensional non-commutative gauge theory. arXiv:1610.04144 [hep-th]
Costello, K., Gaiotto, D.: Twisted Holography. arXiv:1812.09257 [hep-th]
Ishtiaque, N., Faroogh Moosavian, S., Zhou, Y.: Topological holography: The example of the D2–D4 brane system. SciPost Phys. 9(2), 017 (2020). https://doi.org/10.21468/SciPostPhys.9.2.017. arXiv:1809.00372 [hep-th]
Costello, K., Paquette, N.M.: Twisted supergravity and Koszul duality: a case study in AdS\(_3\). Commun. Math. Phys. 384(1), 279–339 (2021). https://doi.org/10.1007/s00220-021-04065-3. arXiv:2001.02177 [hep-th]
Costello, K.: Twisted M theory, the Maulik-Okounkov Yangian, and the AdS dual of the Beem-Rastelli twist of the (2,0) theory. http://www.birs.ca/events/2015/5-day-workshops/15w5154/videos/watch/201505251537-Costello.html
Raghavendran, S., Yoo, P.: Twisted S-Duality. arXiv:1910.13653 [math-ph]
Jaffe, A., Quinn, F.: Theoretical mathematics: toward a cultural synthesis of mathematics and theoretical physics. Bull. Am. Math. Soc. (N.S.) 29(1), 1–13 (1993). https://doi.org/10.1090/S0273-0979-1993-00413-0
Berkovits, N.: Towards covariant quantization of the supermembrane. JHEP 09, 051 (2002). https://doi.org/10.1088/1126-6708/2002/09/051. arXiv:hep-th/0201151
Cederwall, M.: D=11 supergravity with manifest supersymmetry. Mod. Phys. Lett. A 25, 3201–3212 (2010). https://doi.org/10.1142/S0217732310034407arXiv:1001.0112 [hep-th]
Batalin, I.A., Vilkovisky, G.A.: Gauge algebra and quantization. Phys. Lett. B 102, 27–31 (1981). https://doi.org/10.1016/0370-2693(81)90205-7
Cederwall, M.: Towards a manifestly supersymmetric action for 11-dimensional supergravity. JHEP 01, 117 (2010). https://doi.org/10.1007/JHEP01(2010)117. arXiv:0912.1814 [hep-th]
Berkovits, N., Guillen, M.: Equations of motion from Cederwall’s pure spinor superspace actions. JHEP 08, 033 (2018). https://doi.org/10.1007/JHEP08(2018)033. arXiv:1804.06979 [hep-th]
Berkovits, N.: Super Poincare covariant quantization of the superstring. JHEP 04, 018 (2000). https://doi.org/10.1088/1126-6708/2000/04/018. arXiv:hep-th/0001035
Berkovits, N.: Pure spinor formalism as an N=2 topological string. JHEP 10, 089 (2005). https://doi.org/10.1088/1126-6708/2005/10/089. arXiv:hep-th/0509120
Cederwall, M.: Pure spinor superfields—An overview. Springer Proc. Phys. 153, 61–93 (2014). https://doi.org/10.1007/978-3-319-03774-5_4. arXiv:1307.1762 [hep-th]
Brink, L., Howe, P.S.: Eleven-dimensional supergravity on the Mass-Shell in Superspace. Phys. Lett. B 91, 384–386 (1980). https://doi.org/10.1016/0370-2693(80)91002-3
Cremmer, E., Ferrara, S.: Formulation of Eleven-Dimensional Supergravity in Superspace. Phys. Lett. B 91, 61–66 (1980). https://doi.org/10.1016/0370-2693(80)90662-0
Cederwall, M., Gran, U., Nielsen, M., Nilsson, B.E.W.: Generalized 11-dimensional supergravity. In: International Conference on Quantization, Gauge Theory, and Strings: Conference Dedicated to the Memory of Professor Efim Fradkin. 10 (2000). arXiv:hep-th/0010042
Cederwall, M., Gran, U., Nielsen, M., Nilsson, B.E.W.: Manifestly supersymmetric M theory. JHEP 10, 041 (2000). https://doi.org/10.1088/1126-6708/2000/10/041. arXiv:hep-th/0007035
Cederwall, M., Gran, U., Nilsson, B.E.W., Tsimpis, D.: Supersymmetric corrections to eleven-dimensional supergravity. JHEP 05, 052 (2005). https://doi.org/10.1088/1126-6708/2005/05/052. arXiv:hep-th/0409107
Gates, S.J., Jr., Stelle, K.S., West, P.C.: Algebraic Origins of Superspace Constraints in Supergravity. Nucl. Phys. B 169, 347–364 (1980). https://doi.org/10.1016/0550-3213(80)90037-1
Gates, S.J., Jr., Siegel, W.: Understanding constraints in superspace formulations of supergravity. Nucl. Phys. B 163, 519–545 (1980). https://doi.org/10.1016/0550-3213(80)90414-9
Becker, K., Becker, M., Butter, D., Guha, S., Linch, W.D., Robbins, D.: Eleven-dimensional supergravity in 4D, \(N = 1\) superspace. JHEP 11, 199 (2017). https://doi.org/10.1007/JHEP11(2017)199. arXiv:1709.07024 [hep-th]
Becker, K., Becker, M., Butter, D., Linch, W.D.: \(N=1\) supercurrents of eleven-dimensional supergravity. JHEP 05, 128 (2018). https://doi.org/10.1007/JHEP05(2018)128. arXiv:1803.00050 [hep-th]
Becker, K., Butter, D., Linch, W.D., Sengupta, A.: Components of Eleven-dimensional Supergravity with Four Off-shell Supersymmetries. arXiv:2101.11671 [hep-th]
Saberi, I., Williams, B.R.: Twisting pure spinor superfields, with applications to supergravity. arXiv:2106.15639 [math-ph]
Raghavendran, S., Saberi, I., Williams, B.R.: Twisted eleven-dimensional supergravity. arXiv:2111.03049 [math-ph]
Eager, R., Hahner, F., Saberi, I., Williams, B.R.: Perspectives on the pure spinor superfield formalism. arXiv:2111.01162 [hep-th]
Costello, K.: Renormalization and Effective Field Theory, vol. 170 of Mathematical Surveys and Monographs. American Mathematical Society, Providence (2011). https://doi.org/10.1090/surv/170
Costello, K., Gwilliam, O.: Factorization Algebras in Quantum Field Theory, vol. 2 of New Mathematical Monographs. Cambridge University Press, Cambridge (2021)
Witten, E.: Topological quantum field theory. Commun. Math. Phys. 117, 353 (1988). https://doi.org/10.1007/BF01223371
Costello, K.J.: Notes on supersymmetric and holomorphic field theories in dimensions 2 and 4. Pure Appl. Math. Quart. 09(1), 73–165 (2013). https://doi.org/10.4310/PAMQ.2013.v9.n1.a3. arXiv:1111.4234 [math.QA]
Elliott, C., Safronov, P., Williams, B.R.: A Taxonomy of Twists of Supersymmetric Yang–Mills Theory. arXiv:2002.10517 [math-ph]
Movshev, M.V.: Geometry of a desingularization of eleven-dimensional gravitational spinors. arXiv:1105.0127 [hep-th]
Eager, R., Saberi, I., Walcher, J.: Nilpotence varieties. Annales Henri Poincare 22(4), 1319–1376 (2021). https://doi.org/10.1007/s00023-020-01007-y. arXiv:1807.03766 [hep-th]
Eager, R., Saberi, I.: Holomorphic field theories and Calabi-Yau algebras. Int. J. Mod. Phys. A 34(16), 1950071 (2019). https://doi.org/10.1142/S0217751X19500714. arXiv:1805.02084 [hep-th]
Berkovits, N.: Covariant quantization of the superparticle using pure spinors. JHEP 09, 016 (2001). https://doi.org/10.1088/1126-6708/2001/09/016. arXiv:hep-th/0105050
Xu, R., Schwarz, A., Movshev, M.: Integral invariants in flat superspace. Nucl. Phys. B 884, 28–43 (2014). https://doi.org/10.1016/j.nuclphysb.2014.04.009. arXiv:1403.1997 [hep-th]
Joyce, D.D.: Riemannian Holonomy Groups and Calibrated Geometry. Oxford Graduate Texts in Mathematics, vol. 12. Oxford University Press, Oxford (2007)
Guio, T.C.daC., Jockers, H., Klemm, A., Yeh, H.-Y.: Effective action from M-theory on twisted connected sum G\(_{2}\)-manifolds. Commun. Math. Phys. 359(2), 535–601 (2018). https://doi.org/10.1007/s00220-017-3045-0. arXiv:1702.05435 [hep-th]
Homma, Y., Semmelmann, U.: The Kernel of the Rarita-Schwinger Operator on Riemannian Spin Manifolds. Commun. Math. Phys. 370(3), 853–871 (2019). arXiv:1804.10602 [math.DG]
Baulieu, L., Bellon, M.P., Ouvry, S., Wallet, J.-C.: Balatin-Vilkovisky analysis of supersymmetric systems. Phys. Lett. B 252, 387–394 (1990). https://doi.org/10.1016/0370-2693(90)90557-M
Font, A.: Heterotic strings on \(G_2\) orbifolds. JHEP 11, 115 (2010). https://doi.org/10.1007/JHEP11(2010)115. arXiv:1009.4422 [hep-th]
Wang, M.Y.: Preserving parallel spinors under metric deformations. Indiana Univ. Math. J. 40(3), 815–844 (1991). https://doi.org/10.1512/iumj.1991.40.40037
Costello, K., Li, S.: Quantization of open-closed BCOV theory, I. arXiv:1505.06703 [hep-th]
Saberi, I., Williams, B.R.: Constraints in the BV formalism: six-dimensional supersymmetry and its twists. arXiv:2009.07116 [math-ph]
Romelsberger, C.: Counting chiral primaries in N = 1, d=4 superconformal field theories. Nucl. Phys. B 747, 329–353 (2006). https://doi.org/10.1016/j.nuclphysb.2006.03.037. arXiv:hep-th/0510060
Kinney, J., Maldacena, J.M., Minwalla, S., Raju, S.: An Index for 4 dimensional super conformal theories. Commun. Math. Phys. 275, 209–254 (2007). https://doi.org/10.1007/s00220-007-0258-7. arXiv:hep-th/0510251
Eager, R., Schmude, J., Tachikawa, Y.: Superconformal indices, sasaki-einstein manifolds, and cyclic homologies. Adv. Theor. Math. Phys. 18(1), 129–175 (2014). https://doi.org/10.4310/ATMP.2014.v18.n1.a3. arXiv:1207.0573 [hep-th]
Eager, R., Schmude, J.: Superconformal Indices and M2-Branes. JHEP 12, 062 (2015). https://doi.org/10.1007/JHEP12(2015)062. arXiv:1305.3547 [hep-th]
Saberi, I., Williams, B.R.: Superconformal algebras and holomorphic field theories. arXiv:1910.04120 [math-ph]
Oh, J., Yagi, J.: Chiral algebras from \(\Omega \)-deformation. JHEP 08, 143 (2019). https://doi.org/10.1007/JHEP08(2019)143. arXiv:1903.11123 [hep-th]
Gaiotto, D., Oh, J.: Aspects of \(\Omega \)-deformed M-theory. arXiv:1907.06495 [hep-th]
Oh, J., Zhou, Y.: A domain wall in twisted M-theory. arXiv:2105.09537 [hep-th]
Hitchin, N.J.: The geometry of three-forms in six dimensions. J. Differ. Geom. 55(3), 547–576 (2000) arXiv:math/0010054
Gerasimov, A.A., Shatashvili, S.L.: Towards integrability of topological strings. I. Three-forms on Calabi-Yau manifolds. JHEP 11, 074 (2004). https://doi.org/10.1088/1126-6708/2004/11/074. arXiv:hep-th/0409238
Dijkgraaf, R., Gukov, S., Neitzke, A., Vafa, C.: Topological M-theory as unification of form theories of gravity. Adv. Theor. Math. Phys. 9(4), 603–665 (2005). https://doi.org/10.4310/ATMP.2005.v9.n4.a5. arXiv:hep-th/0411073
Grassi, P.A., Vanhove, P.: Topological M theory from pure spinor formalism. Adv. Theor. Math. Phys. 9(2), 285–313 (2005). https://doi.org/10.4310/ATMP.2005.v9.n2.a3. arXiv:hep-th/0411167
Becker, K., Becker, M., Guha, S., Linch, W.D., Robbins, D.: M-theory potential from the \(G_{2}\) Hitchin functional in superspace. JHEP 12, 085 (2016). https://doi.org/10.1007/JHEP12(2016)085. arXiv:1611.03098 [hep-th]
Bershadsky, M., Sadov, V.: Theory of Kähler gravity. Int. J. Mod. Phys. A 11, 4689–4730 (1996). https://doi.org/10.1142/S0217751X96002157. arXiv:hep-th/9410011
Acknowledgements
R.E. and F.H. would like to thank I. Saberi, J. Walcher, and B. Williams for collaboration on related projects and K. Costello, W. Linch, and S. Raghavendran for discussions. The work of F.H. is supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC 2181/1 - 390900948 (the Heidelberg STRUCTURES Excellence Cluster).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by C. Schweigert.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Eager, R., Hahner, F. Maximally Twisted Eleven-Dimensional Supergravity. Commun. Math. Phys. 398, 59–88 (2023). https://doi.org/10.1007/s00220-022-04516-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04516-5