A Landscape of Field Theories

Studying a quantum field theory involves a choice of space-time manifold and a choice of background for any global symmetries of the theory. We argue that many more choices are possible when specifying the background. In the context of branes in string theory, the additional data corresponds to a choice of supergravity tensor fluxes. We propose the existence of a landscape of field theory backgrounds, characterized by the space-time metric, global symmetry background and a choice of tensor fluxes. As evidence for this landscape, we study the supersymmetric six-dimensional (2,0) theory compactified to two dimensions. Different choices of metric and flux give rise to distinct two-dimensional theories, which can preserve differing amounts of supersymmetry.


Introduction
This project is concerned with two closely related questions. The first question is quite classic: imagine a supersymmetric quantum field theory in D space-time dimensions. Can one classify the interesting rigid backgrounds for this theory? Usually the term "interesting" implies backgrounds that preserve some degree of supersymmetry. We will see that string theory suggests a more general class of interesting backgrounds. The term "background" usually refers to a choice of space-time metric and a choice of background for any global symmetries of the field theory. Again we will see that string theory suggests a more general notion of background.
The second question involves a special class of backgrounds, distinguished because they give rise to the degrees of freedom of a lower-dimensional quantum field theory in a Kaluza-Klein reduction. Included in this class are compact spaces, but the class is broader and can include non-compact spaces like a Taub-NUT manifold. This reduction provides a natural association between geometry and the lower-dimensional field theory derived by compactifying the parent theory. We will see that string theory suggests the existence of a landscape of field theories obtained from a parent theory by compactification on backgrounds that involve a choice of metric and a choice of flux.
There has been much progress on both these questions in recent years, starting with supersymmetric sphere compactifications and the use of localization to compute partition functions [1]. That spheres can preserve supersymmetry is surprising, and counter to the usual intuition that a supersymmetric background requires a killing spinor. The nicest explanation for the preserved supersymmetry comes from coupling the supersymmetric field theory to a non-dynamical background supergravity theory [2]. From this perspective, backgrounds admitting killing spinors are on-shell supergravity configurations. Many examples of this type can be found in string theory and M-theory by studying branes wrapping submanifolds of a ten or eleven-dimensional metric.
Backgrounds that do not admit killing spinors, but still preserve some supersymmetry, can be understood as off-shell supergravity configurations for which the supergravity auxiliary fields are not required to satisfy their equations of motion. We will argue that the beautiful structures that have been uncovered so far are part of a much larger landscape of supersymmetric and non-supersymmetric backgrounds. The generalization we have in mind is quite analogous to the discovery of flux vacua in string theory, which greatly enlarged the space of supersymmetric string vacua [3,4].
Both closely related questions are framed entirely within quantum field theory. However, it is going to be useful for us to support our claim by studying a particular class of examples that follow from M-theory. We will consider an M5-brane wrapping a 4-cycle of a Calabi-Yau 4-fold. The M5-brane supports the D = 6 (2, 0) theory. The theory has a Spin(5, 1) L × Spin(5) R Lorentz and R-symmetry group. Kaluza-Klein reduction gives a string supporting a D = 2 field theory. The preserved supersymmetry on the string, along with the spectrum of excitations, will depend on the following data: the topological type of the Calabi-Yau space, the choice of metric for the space, and the choice of supergravity fluxes.
Since this example is derived from M-theory, it falls into the on-shell category. Despite this restriction, we will still see evidence for a landscape of D = 2 theories obtained by including the flux degrees of freedom. We will comment on the relation between on-shell and off-shell backgrounds for theories with maximal supersymmetry at the close of this introduction. The reduction of the (2, 0) theory to D = 2 has a long history, including applications to black hole entropy [5,6], and more recently a prominent role in the program of associating geometry to field theory [7][8][9][10].
The paper is organized as follows: in section 2, we describe a class of M-theory flux vacua. In certain cases, there exist heterotic dual theories, which we also describe. This duality between certain M-theory flux backgrounds and heterotic string vacua provides the basic evidence for the field theory landscape. It will also help set our expectations for the kind of D = 2 sigma model geometry that can emerge from wrapped M5-branes in the presence of flux.
From the perspective of field theory, we understand how to introduce a background metric g µν . The metric couples to the field theory stress-energy tensor T µν . We would like a similar understanding for background fluxes. Namely, which operators are activated in the field theory? Unlike the background metric case, the flux couples to operators which are tensors under both the Spin(5, 1) L Lorentz symmetry and the Spin(5) R symmetry. It is natural to expect the operators to be part of the stress-tensor supermultiplet, constructed using the full (2, 0) superconformal symmetry. In section 3, we answer the question of how the flux couples to the (2, 0) theory by studying an M5-brane coupled to 11-dimensional supergravity. We describe the fixing of kappa symmetry and the emergence of a worldvolume field theory, the preserved world-volume supersymmetries, and we examine some aspects of the resulting equations of motion. Some of the early work on the coupling of fluxes to branes appears in [11,12] and for Euclidean M5-branes in [13].
There are a couple of observations and future directions worth mentioning in closing: • We study the on-shell case with fluxes that emerges from M-theory. However, we expect an off-shell extension to exist to some degree. Interestingly, it is unclear to what degree. By this we mean the following: theories with maximal supersymmetry currently do not admit fully off-shell superspace formalisms, with manifest maximal supersymmetry. This is true both for field theory and supergravity. This is unlike the case of half-maximal supersymmetry nicely studied in recent work [14]. The closest to an appropriate off-shell supergravity formalism in D = 6 is the (2, 0) conformal supergravity formulated in [15]. This formalism has been used to describe backgrounds for D = 5 supersymmetric Yang-Mills [16].
Our initial comparison of on-shell fluxes with off-shell auxiliary fields suggests that a subset of configurations that might be called off-shell supergravity configurations appear to be related to on-shell flux backgrounds with auxiliary fields identified with fluxes. The extent to which this is true is unclear, but it is something that needs to be understood more precisely.
• The computation of supersymmetric partition functions has been a significant advance in recent years [1]. We would like to be able to compute such partition functions on more general backgrounds that involve flux. There are hints that this might be possible. For example, it is not hard to construct many D = 2 theories with (0, 2) or more world-sheet supersymmetry. For such models, the elliptic genus is a computable quantity. Whether it, or a higher-dimensional generalization, is computable from the D = 6 (2, 0) theory perspective is an outstanding question.
• While we focus on reductions from D = 6 to D = 2, we expect the landscape enlargement to be much broader. There are already many more on-shell examples from string theory flux solutions to explore. It is not hard to imagine flux generalizations of compactifications with differing amounts of supersymmetry from D = 6 to D = 4 or lower dimensions, from D = 4 to D = 2, and so on. For example, potentially generalizing the D = 6 to D = 4 work of [17].
• Supersymmetric YM theories studied on rigid backgrounds give rise to interesting classes of vacuum equations; for example, Hitchin equations in various contexts. The solution spaces of the vacuum equations can be very interesting. A prime motivation for this work was to find vacuum equations for M5-branes in flux backgrounds because the D = 6 theory provides a tensor generalization of the SYM vacuum structure. In M-theory examples that possess heterotic dual descriptions, we can build the heterotic string from the wrapped M5-brane and its target space geometry is expected to capture both heterotic torsion as well as heterotic non-geometric physics [18][19][20][21][22].
This would be an alternative to doubled field theory as an approach to defining nongeometric backgrounds [23,24].
• The classification of supersymmetric solutions of supergravity, including flux, is the study of G-structures [25]. What we are proposing is a field theory version of the supergravity classification. There are fewer constraints on the field theory side. For example, many of the key tadpole constraints found in string theory and M-theory are relaxed. We might therefore reasonably expect interesting new classes of backgrounds in field theory.
• Most of our discussion involves choices of flux that preserve supersymmetry. However, one can also consider a choice that solves the SUGRA equations of motion but does not preserve supersymmetry. If a truncation to supergravity is permissible, namely that higher momentum couplings can be ignored, then turning on this kind of flux gives a background which is special from the bulk perspective, since it breaks supersymmetry at a scale below the Kaluza-Klein scale. From a purely field theory perspective, this construction suggests we should enlarge our notion of "interesting" backgrounds to include these special classes of non-supersymmetric backgrounds.
Note Added: During the final completion of this project, an interesting paper appeared which also discusses some aspects of branes in flux backgrounds [26].

M-theory on a CY 4-fold
Our motivation for considering more general field theory backgrounds that involve fluxes comes from string theory. We will begin by reviewing the structure of M-theory flux vacua based on Calabi-Yau 4-folds [3]. There are many other cases one might consider but we will focus on this case because it provides a great deal of intuition about how to include flux degrees of freedom.
Let us label 10 or 11-dimensional bosonic coordinates by M, N, . . . and spinor indices by a, b, . . .. We use the term "bosonic coordinates" here because we will later meet superspace Here w(y) is the warp factor which depends on the internal coordinates collectively denoted by y. The Minkowski metric for R 2,1 is denoted by ηdx 2 .
In addition to the manifold, we choose an internal space 4-form flux G int 4 . At a basic level, the cohomology class of the flux satisfies the quantization condition [27] G int However, we stress that supergravity does not see this quantization condition. At the level of supergravity, we can smoothly turn on and off fluxes. As we turn off any flux, the warp factor w(y) tends to zero and M 8 becomes Ricci flat. The last ingredient we need is a 3-form potential, where G 4 = dC 3 defines the potential. The purely space-time components of the potential are given by, where vol 3 is the volume form of R 2,1 . We will fix f (y) momentarily via equations of motion.
Supersymmetry, along with the supergravity equation of motion, requires that and also fixes the warp factor in terms of the flux: The Laplacian appearing in (2.7) is again defined with respect to the unwarped Calabi-Yau metric.
The right hand side of (2.7) vanishes only if G int = 0. If this is not the case, we have net membrane charge on M 8 , which requires M 8 to be non-compact. This is the usual no-go result prohibiting flux on a compact space in 11-dimensional supergravity. If we want to work strictly within the confines of supergravity then we should impose (2.7) and consider only non-compact spaces M 8 . This is not a terrible restriction from the perspective of wrapped branes. The field theory on the brane really only sees the local normal bundle to the submanifold on which it is wrapped. It effectively only sees a local geometry, rather than the entire compact space.
There are two ways to modify (2.7) to go beyond the restriction imposed by supergravity.
The first is to include 8 derivative couplings in the M-theory effective action [3], denoted X 8 below, and the second is to include N M2 explicit M2-branes [28]. This leads to the modified warp factor equation, For compact M 8 , the integrability condition for this equation requires vanishing of the total membrane charge: The Calabi-Yau background preserves 4 real supersymmetries, which we call N = 2 in 3 dimensions. The self-duality condition (2.5) and quantization condition (2.2) requires that a generic G int is, typically, an integral class with Hodge type: Preserving the full N = 2 supersymmetry requires a (2, 2) flux, which is also primitive with respect to the Kähler form J of the Calabi-Yau [4]: One can also preserve N = 1 supersymmetry by a choice of flux that is neither primitive nor (2, 2) but rather of the special form [29,30] with c 1 a constant and Ω the holomorphic top form of M 8 . This flux can also be viewed as spontaneously breaking N = 2 to N = 1.
Aside from these generic possibilities, we could also consider a space M 8 with a holonomy group properly contained in SU (4) so the space itself preserves more than N = 2 supersymmetry. The amount of supersymmetry preserved by the background would then depend on the particular choice of flux [4]. A nice case of this type is which will play a role in our subsequent discussion. This example preserves N = 4. To summarize this brief review: 11-dimensional supergravity admits a large set of non-compact Calabi-Yau flux vacua which preserve either N = 0, 1 or 2 supersymmetries in 3 dimensions.
Further, there is evidence for a large set of compact Calabi-Yau flux vacua in M-theory, which preserve some degree of supersymmetry.

Heterotic flux vacua
There are many generalizations of the flux story but for our purpose of understanding wrapped M5-branes, we only need to consider one other class of flux vacua. Consider a compactification of the heterotic or type I string to 3 dimensions with flux. For simplicity, we will use the language of the heterotic string. The general form of 3-dimensional heterotic flux vacua has not yet been described, though there has been considerable progress in [31,32].
Fortunately, we can get by with an understanding of certain special cases that include dual The connections A i determine the structure of the 3-torus fibration, where the torus itself has coordinates (θ 1 , θ 2 , θ 3 ). There is also, typically, a dilaton that varies with y as well as We are being fairly schematic about the form of these metrics because the detailed structure is not important for us.
What is important for us is a duality relating M-theory on a space M 8 that admits a K3fibration to the heterotic string on a torsional space with a metric of the form (2.12) [4,33].
This duality follows from the more basic 7-dimensional duality relating M-theory on a K3 surface to the heterotic string on T 3 to which we turn momentarily.
First there is a special case that deserves mention. Some spaces M 7 take the form M 7 = M 6 × S 1 with the S 1 isometry extending to a symmetry of both the H 3 -flux and the dilaton. Essentially, one of the circle fibrations in (2.12) is trivial. In these cases, we can decompactify the circle to find a 4-dimensional compactification of the heterotic string. If minimal N = 1 space-time supersymmetry is preserved then the two-dimensional world-sheet theory has (0, 2) supersymmetry. If an M-theory dual exists for this case, it corresponds to a geometry, M 8 , which admits an elliptic fibration, along with a choice of flux compatible with taking an F-theory limit.

Constructing the dual heterotic string
Let us revisit the duality between M-theory on a K3 surface and the heterotic string on T 3 . The generic space-time gauge fields visible on the heterotic side arise in M-theory from reducing the 3-form potential, C 3 , of 11-dimensional supergravity on the lattice of integral 2-forms of the K3 surface. This Kaluza-Klein reduction gives rise to 22 gaugefields associated to the cohomology lattice Γ 3,3 ⊕ Γ 16,0 . From the heterotic perspective, the lattice Γ 3,3 is associated to T 3 while Γ 16,0 is associated to the ten-dimensional gauge-fields.
To construct the dual heterotic string, we wrap an M5-brane on the K3 surface. The reduction of the M5-brane action on a K3 surface has been studied quite extensively [34,35]. Later in our discussion, we will extend those analyses to the case of more general 4-submanifolds of M 8 , including flux.
For the moment, we want to gain some intuition about wrapped M5-branes and flux so a more qualitative discussion will suffice. Including only the lowest order interactions in p , the bosonic light modes supported on an M5-brane consist of 5 scalars φ I and a 2-form gauge-field B 2 with self-dual 3-form field strength: There are also 16  We want to make two observations about this well-known duality. The first concerns the coupling to space-time gauge fields. In analogy to the F 2 − B 2 combination found on D-branes, the gauge-invariant combination of B 2 and C 3 found on M5-branes takes the form, The second comment concerns parameters. M-theory on K3 depends on two basic scales: p and the volume V 4 of the K3 surface. From these two parameters, one can determine the heterotic string length s and the 7-dimensional string coupling g s ; see [36] for a review: In the conventional field theory normalization for the (2, 0) theory, the scalars φ I have mass dimension 2 with kinetic terms proportional to, The scale p does not appear in the terms that involve 2 derivatives in the equations of motion, but only appears in terms involving higher derivative interactions. Reduction of (2.16) on K3 would not naturally give the usual string non-linear sigma model without The redefinition of φ I does not involve V 4 at all. In a standard field theory reduction, one would have arrived at dimensionless scalarsφ I = √ V 4 φ I . This is a caveat in comparing the natural reduction of the (2, 0) theory with expectations from a dual heterotic description. 3 Coupling an M5-brane to 11-dimensional Supergravity The world-volume of the M5-brane is described by its embedding into a target supermanifold, Z : Σ 6|0 → M 11|32 . Choosing coordinates on M, we can write Z as where σ i are coordinates on Σ. In addition to the embedding, the world-volume supports a two-form gauge potential B 2 (σ). Viewed as coordinates on the supermanifold M 11|32 , X and Θ are naturally assigned mass dimension −1 and −1/2, respectively. B 2 has mass dimension −1. This differs from the standard field theory dimensions, which would result from absorbing powers of the Planck length, p , into these fields. We will not perform this renormalization, however, for the discussion of this section.
Before proceeding, we should make a few remarks regarding our assumptions and our reliance on the example scenarios described in section 2. Throughout the following discussion, we will only assume that the 11-dimensional background admits at least one Killing spinor and that the M5-brane is Lorentzian. Beginning in section 3.2, for reasons described in that section, we will assume that the Note that X µ is not logically identified with the world-volume coordinate σ i before choosing static gauge. This notational distinction will be necessary for clarity in our later discussion. At times, we will also need to denote orthonormal frame indices, which we do by underlining the respective coordinate indices: i, M , etc. For more details regarding our spinor and gamma matrix conventions, see appendix A.
The action which describes the self-interaction of the M5-brane is complicated by the presence of a self-dual three-form, nonlinearly related to the field strength of B 2 . One strategy to overcome this complication-the PST formulation [38,39]-involves the introduction of an auxiliary scalar field a(σ) whose equation of motion is responsible for ensuring self-duality. The action is 1 (3. 2) The metric g ij is the induced metric on the world-volume: with E A A (Z) the supervielbeine of the 11-dimensional background. The auxiliary scalar only couples via its normalized derivative, which shows up in the definition of H ij : (3.5) As an effective field theory describing the interactions of the brane degrees of freedom, the PST action includes an infinite set of irrelevant deformations suppressed by powers of p , using the field theory normalization in which the two derivative terms are independent of p . In a trivial Minkowski supergravity background, truncating the PST action to the two derivative terms yields the superconformal action for a single, abelian (2, 0) tensor multiplet [40].
In the presence of a non-trivial supergravity background, the action for the tensor multiplet includes couplings to the background fields, like the case of topological twisting where 1 The tension of the M5-brane, T M 5 is 2π (2π p ) −6 couplings to the connection on the bulk tangent bundle act as background R-symmetry gauge fields in the field theory. Supergravity fluxes induce yet more field theory couplings.
For example, under the simplifying assumption that the 11-dimensional G 4 flux vanishes on pull-back to the classical brane configuration, 2 the quadratic action for the world-volume fermions takes an especially simple form [13], schematically: where ∇ (G) includes both the aforementioned couplings to the bulk connection as well as couplings to the bulk flux. Its precise form will be given later.
Our primary interest will be in the supersymmetries enjoyed by theories like the one above, when supplemented with the bosons. These supersymmetries descend from the superisometries of the background and are, in general, a subset of them. This is what we will describe next.

Symmetries of the M5-brane action
The M5-brane action enjoys both global and local symmetries. Among the global symmetries are the superisometries 3 of the 11-dimensional background, each of which is generated by a super-Killing vector K A (Z) and acts on the 11-dimensional coordinates as The superisometries include the bosonic isometries of the background as well as the fermionic symmetries generated by the Killing spinors .
Note that in terms of the world-volume fields X M and Θ a , these symmetries are generally nonlinearly realized, i.e. they are spontaneously broken symmetries. This will also apply to a subset of the local symmetries; thus, finding manifestly supersymmetric brane configurations is equivalent to finding backgrounds for which a subset of these nonlinearly realized symmetries are actually linearly realized when restricted to the physical degrees of freedom. We will always assume that the background admits odd superisometries, which we define as having a nonzero K a Θ=0 , though we will later make some comments on what happens when this is not true.
The local symmetries include world-volume diffeomorphisms and the fermionic kappasymmetry. The latter act on the embedding and world-volume fields as follows, Therefore, we require: Projecting onto the subspace unaffected by kappa symmetry yields the supersymmetric cycle condition, also called the calibration condition, of [42]: 4 The matrix Γ κ contains information on the embedding and the background fields, so this puts a constraint on which superisometries are respected by the brane plus background configuration. Or, put differently, the supersymmetric cycle condition tells us which brane embeddings in a given background preserve some supersymmetry.

Supersymmetric cycles
What can we learn from (3.12) about the supersymmetric embeddings of M5-branes? It turns out that submanifolds satisfying this condition are described by calibrated-or generalized calibrated-geometries [43,44]. There is a large literature on these topics, and it will be enough for our purposes to point out that solutions to (3.12) do exist and to discuss some of the properties of a few examples.
For now, let us restrict to the scenario described in section 2, which is that with M 8 conformally a Calabi-Yau 4-fold. Also, the M5-brane wraps a four-cycle Σ 4 ⊂ M 8 .
In this case, the Killing spinors of M 8 are conformally related to those of the CY 4 [3].
Furthermore, we will make the simplifying assumption that the pull-back of the 4-form flux to the brane world-volume, evaluated in the classical configuration, vanishes. This allows us to set the background value of H 3 to zero, which we will do. Under this last assumption, Γ κ takes a very simple form: where the indices 0 . . . 5 run over the directions of the world-volume in the orthonormal frame. Our conventions are described in appendix A. This is the same form that Γ κ takes in the absence of flux. It is the 11-dimensional gamma matrix that measures chirality along the world-volume, and the supersymmetric cycle condition reduces to the requirement that K has positive world-volume chirality.
We claim that in this case, the supersymmetric cycles of M 8 are simply related to those of the underlying CY 4 to which M 8 is conformally related. Let us motivate this with an example. Suppose Σ 4 ⊂ CY 4 is a Kähler cycle, i.e. a submanifold whose volume form is given by the restriction to Σ 4 of the square of the Kähler form J:  Starting with a generic Calabi-Yau 4-fold, which we take to have holonomy SU (4) and not a proper subgroup, the supersymmetric 4-cycles have been studied and classified. 5 We will focus on two types: Kähler and special Lagrangian. In the absence of flux, an M5-brane wrapping a Kähler cycle inside of a CY 4 yields a two-dimensional theory with N = (0, 2) supersymmetry. Alternatively, a special Lagrangian cycle yields N = (1, 1). There is a third possibility, which is to wrap a Cayley submanifold [46]. In this case, the resulting theory has N = (0, 1).
As described in section 2, the possible supersymmetric fluxes can preserve either all or half of the supersymmetries of the metric-only background. However, the flux that preserves two supersymmetries does not satisfy our assumption regarding its pull-back to the world-volume. As a reminder, this component of the flux is For either a Kähler or special Lagrangian cycle, this flux has a non-vanishing pull-back to the world-volume. Therefore, under our assumptions, we can only include the primitive (2, 2) flux. 5 See, for example, [45].
If the CY 4 is actually K3 × K3 and Σ 4 K3, the resulting two-dimensional theory has either N = (0, 4) or N = (2, 2) supersymmetry, without accounting for flux. As before, it is possible for fluxes to partially break the supersymmetry of the pure metric background [4].
In this case, they can preserve all, half, or one quarter of the supersymmetries. The most general, supersymmetric flux on a K3 × K3 appears in [30]: The constants a, c, f αβ ∈ R and b, h ∈ C but are otherwise unconstrained. The forms j, Re ω, and Im ω comprise a triplet of complex structures on K3. The forms l α are a basis of anti-self-dual two-forms. Let us restrict to the case of N = (0, 4) supersymmetry. To satisfy our assumptions regarding the pull-back of the flux, we must have 4a − 2c = 0, i.e.

World-volume supersymmetry
Next, we come to the question of determining the supersymmetry transformations of the physical fields on the world-volume. First, what are the physical fields on the worldvolume? We saw before that the kappa-symmetry renders only half of the Θ variables physical. We will fix the gauge so as to make this manifest. Additionally, the world-volume diffeomorphisms allow us to remove 6 of the 11 scalar degrees of freedom. Ultimately, the bosons φ I are a section of the normal bundle to Σ 6 in M 11 and the fermions Θ are a (chiral) section of the spin bundle associated to the pulled-back tangent bundle of the embedding Z:

(3.19)
To make this more precise, we fix the kappa-symmetry gauge. Define the projection matrices which project 11-dimensional spinors onto the subspaces with positive or negative chirality, defined with respect to the world-volume Σ 6 . Our gauge choice is Generically, kappa-transformations and superisometries move away from this gauge slice.
The subset which preserves the gauge choice satisfies This constraint determines the kappa-transformation, κ(K), which combines with K to preserve the gauge choice. Together, their action on P − Θ := Θ − give the supersymmetry transformations of Θ − : Only the subset of these transformations also satisfying (3.12) will be linearly realized.
To get a more concrete handle on these transformations, we decompose Γ κ in the chiral basis Γ = 1 0 To satisfy tr (Γ κ ) = 0 and Γ 2 κ = 1, Γ κ must take the form [47] with A and B commuting. Then, (3.22) is solved by The transformations of Θ − are then given by, Note that the dependence on κ − dropped out. We should also include a K-dependent world-volume diffeomorphism, whose role is to fix the gauge associated to the choice of scalar degrees of freedom; however, it will play no role in our analysis. Ignoring this diffeomorphism, the above expression is exact. We will be interested in expanding (3.27) in Θ to obtain the leading transformations. In appendix B, we obtain the following expansion of the superisometry: where solves the 11-dimensional gravitino variation condition, so it is a Killing spinor of the spacetime. Using (3.28), the leading-in-Θ transformation is We see that the supersymmetries associated to − are nonlinearly realized. In other words, the linear supersymmetries are chiral, as they are for the (2, 0) theory in a trivial background.
Returning to the bosons, the transformations of the φ I to leading order in a Θ-expansion where we have used the Θ-expansions of the supervielbeine and K A given in appendix B. We have retained the φ-dependent bulk vielbeine e to emphasize that we have not truncated to any order in φ. However, we have used the gauge freedom of world-volume diffeomorphisms and bulk frame rotations to simplify the expressions a little. Specifically, coordinates on M 11 are chosen so that the world-volume Σ 6 is isomorphic to the submanifold φ = 0.
The bulk metric restricted to this submanifold is block diagonal, and we can also choose a framing at φ = 0 which is block diagonal. So, in a φ expansion, only the first term would survive at leading order.
At leading order in Θ, the 2-form has the transformation After all of this discussion, we have yet to specify Γ κ and, hence, A and B. Let us remedy this. The kappa symmetry projector for the M5-brane appears in [39]: The matrices γ i are the pull-backs of the bulk gamma matrices. Specifically, These matrices furnish a representation of the six-dimensional Clifford algebra, 34) and the associated chirality matrix is Note that this generally differs from the pull-back of the matrix Γ. Only when φ = Θ = 0 do they agree.
Without employing some expansion, there is little more we can glean about the worldvolume supersymmetry from these expressions. A and B are the off-and on-diagonal components, respectively, and they have a complicated structure. In a Θ expansion of the supersymmetries, Γ κ contributes only bosonic terms at leading order, as can be seen from the discussion above. This doesn't necessarily make the expressions simpler, though, because the bosonic Γ κ still has a complicated form.
To get a more concrete handle on Γ κ , we will use a world-volume momentum expansion. This is the same expansion used in a similar context in [48]. In this expansion, we assign degree 1 to derivatives with respect to world-volume coordinates and degree 0 to the world-volume bosons, as well as to derivatives of bulk objects with respect to the normal coordinates. Additionally, the world-volume fermions are assigned degree 1/2, while the supersymmetry parameter has degree −1/2. Thus, This expansion is often employed in the expansion of supersymmetric effective field theories.
The leading supersymmetry transformations preserve this notion of degree, while higherorder transformations raise the degree.
Generally, this degree expansion is inconsistent with our truncation of the supersym- In [48], it was argued that it is consistent to assign degree 1 to all geometric objects unless they are associated with a subspace of M 11 that carries a product structure. To be more specific, suppose M 11 decomposes as where Σ 6 is a submanifold of M 6+p . In general bulk objects, like connections, that depend on the coordinates of M 5−p and derivatives with respect to those coordinates can be assigned degree 0. This assignment cannot be made consistently for objects with indices or derivatives involving M 6+p . For example, the formulae for relating Christoffel symbols to spin connections can mix derivative type, and therefore degree.
Similar care must be taken to define the degree of the 4-form flux, when there is a nonzero G 4 on the world-volume. This is because the components of C 3 on the world-volume mix with dB 2 and so must be given degree 1. On the other hand, the 4-form seems to appear along with connections in various formulae, and we would also like to assign the flux degree 1. These two considerations are in tension. However, if we assume that there is no 4-form along the world-volume, there are no inconsistencies associated with assigning degree 1 to G 4 . This has been our working assumption for several reasons, as we discussed above eq. (3.6).
With this prescription for the degree expansion, it is simple to include the O( Θ 2 ) terms that may contribute to the Θ transformation. Returning to the exact expression (3.27), the only important contribution will come from K − . This is because, as we will see, there is no degree 0 piece to A. Since we are interested in the linearly realized supersymmetries, which are parameterized by + , it is simple to deduce from (B.6) which parts of K − are important. They are It is a drastic simplification that these terms do not depend on G 4 .
To obtain the supersymmetries to leading order in this expansion, we need the degree expansions of the following quantities: The degree counting of the frame is subtle for the aforementioned reasons. We have also yet to (partially) fix the local Lorentz symmetry. This is accomplished by choosing e I µ (σ, φ) = 0, which leaves manifest only the SO(5, 1) × SO (5)  Furthermore, expanding this component of the vielbeine as well as e µ µ in degree is the same as expanding in φ, because higher-order in φ contributions have higher degree since they are related to curvatures on the world-volume. So, in a leading degree expansion, we are only forced to maintain the φ-dependence of e I I , and this is only necessary when the complement of Σ 6 in M 11 has the product the structure mentioned before. Note that these details are important for us since they directly affect one of our primary examples, The three-form expansion is more straightforward. All of the components of G 4 are of degree 1, so in the degree expansion of the three-form, we must retain all of the φdependence. To first order in degree: The last term is an exact form on the world-volume. We can fix the bulk gauge symmetry under which B 2 shifts by a two-form to remove this piece, leaving Assembling the above results, we find the leading supersymmetries on the world-volume: The derivative ∇ is the covariant derivative on the combined normal and tangent bundles.
The matricesγ are the pull-backs of Γ to the classical world-volume. Specifically, they are the previously defined γ matrices, evaluated at φ = Θ = 0. We have included terms in the last line that may be excluded if the space does not have a product structure, as mentioned earlier in this discussion. Also, in such a case, the inverse vielbeine, e I I (φ), should be replaced with their "hatted" versions, where "hatted" means evaluated at φ = 0.

Closure and equations of motion
We can use the closure of the supersymmetry algebra to derive equations of motion for the world-volume fields. Specifically, we demand that the commutator of two supersymmetry transformations acting on any field yields a bosonic symmetry action on that field, when we restrict to on-shell configurations. For simplicity, we will restrict our discussion to the supersymmetry transformations that are linear in φ and Θ.
Acting on the two-form, we find that supersymmetry closes onto isometries and gauge transformations only when the field strength of B ij is no longer self-dual. Specifically, To derive this result, it is necessary to make use of a particular constraint on the fluxes that results from the existence of a Killing spinor. This constraint says that the bulk fluxes, when restricted to φ = 0, i.e. the brane, satisfy The constraints of closure yield no new information when acting on the scalar fields.
Acting on the fermion fields, we can find the fermion equation of motion. However, it is easier to find the fermion equation of motion by acting with supersymmetry on the equation of motion for H − ijk , given in (3.40). In this case, we find the result: where the fluxed covariant derivative acting on Θ − is defined to bê This equation of motion agrees in qualitative form with the result found in [11].
The similarity of our supersymmetry variations and equations of motion to those listed in the D = 6 conformal supergravity formalism of [15] is quite interesting. In particular, our supersymmetry variations appearing in eq. (3.39) are very closely related to their equations after an identification of their auxiliary fields with our flux degrees of freedom. 6 The equations of motion also match after this identification. This suggests a surprising and fascinating relation between the off-shell formalism for coupling a D-dimensional field theory to a rigid D-dimensional supersymmetric background and the on-shell coupling of a brane to higher-dimensional supergravity. We hope to explore this relation further.

A Spinors and Gamma Matrices
Our 11-dimensional spinors will carry upper indices, so the Γ matrices will naturally be of the form Γ M a b . These matrices will be field-independent and satisfy the 11-dimensional Clifford algebra: In the presence of branes, we will want to group these matrices into those along and trans- Furthermore, it will be important to note that with respect to the basis in which Γ is diagonal, C is off-diagonal, which follows from C, Γ = 0, (A.7) which itself follows from the definition of C as an intertwiner. This means that for a spinor of given six-dimensional chirality Γ = ± , the charge conjugate spinor has the opposite chirality.

B Theta Expansions
The expansion of the bulk supervielbeine in the Θ coordinates is found in [49]. For reference: It will at times be more convenient to refer the combination T M N P QR G N P QR as G M in analogy with ω M . We will also need the inverse supervielbeine, which satisfy of N = 1 supergravity in 4-dimensions, this is described in [41], which refers to this combination of transformations as supergauge transformations. At low order in Θ, they were described in 11-dimensional supergravity in [50].
We are interested in the preserved supergauge transformations-those that leave invariant the bulk superfields. These will correspond to the supersymmetries of the component action that are preserved by a given background. In superspace, these satisfy with L A B a local Lorentz transformation and Λ 2 a super-two-form. Using the known Θ expansion of E A A , we can use (B.5) to find a Θ expansion of K A . Taking a fermionic K A , i.e. one whose Θ = 0 component is fermionic, the result up to order Θ 2 is: