Fluxes in Exceptional Field Theory and Threebrane Sigma-Models
Athanasios Chatzistavrakidis, Larisa Jonke, Dieter Lust, Richard J. Szabo
aa r X i v : . [ h e p - t h ] M a y LMU–ASC 06/19MPP–2019–6EMPG–19–01
Fluxes in Exceptional Field Theoryand Threebrane Sigma-Models
Athanasios Chatzistavrakidis α,β, Larisa Jonke α,β, Dieter L¨ust β,γ, Richard J. Szabo δ, α Division of Theoretical Physics, Ruder Boˇskovi´c InstituteBijeniˇcka 54, 10000 Zagreb, Croatia β Arnold Sommerfeld Center for Theoretical PhysicsDepartment f¨ur Physik, Ludwig-Maximilians-Universit¨at M¨unchenTheresienstraße 37, 80333 M¨unchen, Germany γ Max-Planck-Institut f¨ur Physik, Werner-Heisenberg-InstitutF¨ohringer Ring 6, 80805 M¨unchen, Germany δ Department of Mathematics, Heriot-Watt UniversityColin Maclaurin Building, Riccarton, Edinburgh EH14 4AS, UKMaxwell Institute for Mathematical Sciences, Edinburgh, UKThe Higgs Centre for Theoretical Physics, Edinburgh, UK
Abstract
Starting from a higher Courant bracket associated to exceptional generalized geome-try, we provide a systematic derivation of all types of fluxes and their Bianchi identitiesfor four-dimensional compactifications of M-theory. We show that these fluxes maybe understood as generalized Wess-Zumino terms in certain topological threebranesigma-models of AKSZ-type, which relates them to the higher structure of a Lie al-gebroid up to homotopy. This includes geometric compactifications of M-theory with G -flux and on twisted tori, and also its compactifications with non-geometric Q - and R -fluxes in specific representations of the U-duality group SL (5) in exceptional fieldtheory. [email protected] [email protected] [email protected] [email protected] ontents SL (5) Exceptional Generalized Geometry . . . . . . . . . . . . . . . . . . . 5 SL (5) M-Theory Fluxes 7 SL (5) Exceptional Field Theory Fluxes 247 Conclusions and Outlook 27
A general string or M-theory background may carry non-vanishing vacuum expectationvalues for some of its NS–NS or RR field strengths, commonly known as background fluxeswhich are widely used in all modern attempts to relate string theory to low-energy phe-nomenology [1]. Apart from the standard geometric settings, where one may also includethe possibility of non-vanishing torsion, the T- and U-dualities of closed string and M-brane theories reveal the existence of exotic fluxes that cannot be described in the contextof standard geometry. These are commonly known as non-geometric fluxes; see [2] for arecent review in the context of string theory with a complete list of references, and also [3]for a review of some of the mathematical features in the setting of the present paper.In the context of M-theory, the full set of fluxes for its seven-dimensional compactifications was determined in [4] using SL (5) exceptional field theory [5], and studied further also fordimensions up to seven in [6–10]. The latter is the M-theory analogue of double fieldtheory [11–13], in that both theories are proposals for a duality-invariant formulation, be itT-duality in the string theory case or U-duality in the M-theory case. This exceptional fieldtheory is related by construction to a generalized geometry on the tangent bundle extended For clarity, the seven dimensions here refer to the external spacetime.
1y 2-forms [14,15]. This bundle can be equipped with a bracket [16–20], the higher analogueof the Courant bracket defined in [21] whose properties are collected in the structure of aCourant algebroid [22]. In string theory, the Courant bracket was used to systematicallydetermine the general expressions for the full set of geometric and non-geometric fluxestogether with their Bianchi identities [23,24]; indeed, one can subsequently show that theseexpressions coincide with the local form of the axioms of a Courant algebroid.On the other hand, the axioms of a Courant algebroid also coincide with the conditions forgauge (or BRST) invariance and on-shell closure of the algebra of gauge transformationsfor a first-order action functional for Wess-Zumino terms in three dimensions, called theCourant sigma-model [25–29]. This may be neatly phrased in the language of the BV field-antifield formalism [30, 31], where the structure of a general gauge theory is encoded in themaster equation: The axioms of a Courant algebroid are equivalent to the classical masterequation of the Courant sigma-model. The Courant sigma-model falls in the general classof topological sigma-models constructed geometrically in [32], called AKSZ sigma-models.The utility of membrane sigma-models as a fundamental microscopic description of closedstrings in non-geometric flux backgrounds was originally suggested by [23], and furtherelucidated in [33–36].The upshot is that the general expressions for the fluxes and Bianchi identities of a genericstring compactification are in direct correspondence to the axioms of a Courant algebroidand to the generalized Wess-Zumino terms of Courant sigma-models. One may then wonderwhether this “triple point” also exists for M-theory compactifications. The main purposeof this paper is to investigate this problem for the SL (5) case of M-theory flux compactifi-cations to seven dimensions.Our approach comprises two steps. In a first step, we consider the higher Courant bracketon the extended bundle E = T M ⊕ V T ∗ M and identify its possible twists, which in thephysical case where dim M = 4 turn out to be G ijkl , F ij k , Q ijkl and R i,jklm . (1.1)These are the higher counterparts of the more familiar set of NS–NS fluxes H ijk , F ijk , Q ijk and R ijk encountered in string compactifications. The first two are associated to geometriccompactifications of M-theory, while the last two are non-geometric fluxes [37] sourcedby exotic branes [38]. In particular, the last entry is the higher analogue of the locallynon-geometric 3-vector R -flux, and presently it necessarily has the structure of a mixed-symmetry 5-vector of type (1 , E we determine the general expressions for the fluxes (1.1) and their correspondingBianchi identities in terms of a vielbein, a 3-form and a 3-vector.In a second step, we employ the construction of topological field theories of AKSZ-typein four worldvolume dimensions (an open threebrane), studied in [39, 40]. The classicalmaster equation for the corresponding threebrane sigma-model yields a set of conditions,which are then used to define the higher structure of a Lie algebroid up to homotopy [39]—see also [41–43] for a somewhat more general construction. Such threebrane sigma-modelswere already used in [44] to relate AKSZ theories of M2-branes in topological M-theory toexceptional generalized geometry and fluxes. Here we show that by choosing the extendedbundle E in which the fields of the sigma-model take values, accompanied by a projection2o SL (5) tensors, the local coordinate expressions for the axioms of a specific Lie algebroidup to homotopy on E reproduce the expressions for the M-theory fluxes and their Bianchiidentities for compactifications to seven dimensions. Therefore we conclude that the sameset of equations underlies the SL (5) M-theory fluxes and their Bianchi identities, the gaugestructure of a topological sigma-model in four worldvolume dimensions, and the axioms ofa specific Lie algebroid up to homotopy.This paper is organized as follows. In Section 2 we briefly recall the necessary backgroundmaterial on the higher Courant bracket for extended bundles of the type E p = T M ⊕ V p T ∗ M , and the construction of a generalized metric for the physically relevant case p = 2which accounts for SL (5) exceptional generalized geometry. In Section 3 we use the higherCourant bracket to determine the general expressions for the fluxes and their Bianchiidentities, and explain how in the case dim M = 4 they indeed yield the correct SL (5) tensorstructures. In Section 4, topological sigma-models on an open threebrane are discussed,together with their relation to the structure of a Lie algebroid up to homotopy; we furtherpresent some simple examples and their relation to M-theory backgrounds. In Section 5the relation between the general M-theory fluxes and generalized Wess-Zumino terms ofthe topological sigma-models is established. Section 6 contains a first step towards thegeneralization of our results to the extended geometry of exceptional field theory; here thedimensionality of the target space is extended from four to ten and the general expressionsfor the SL (5) exceptional field theory fluxes up to the section condition are determined,though we have not yet found the appropriate extension of our threebrane sigma-modelwhose Wess-Zumino terms support the exceptional field theory fluxes. Finally, Section 7contains our conclusions and an outlook toward some open problems related to our work. We begin with a brief description of higher analogues of Courant algebroids (see for ex-ample [16–20]), and their uses in defining a generalized metric associated to exceptionalgroup structures on their underlying vector bundle [14] which extends the correspondingconstruction in generalized complex geometry [45, 46].The starting point is a d -dimensional manifold M and a vector bundle E p → M , which isthe extension of its tangent bundle by p -forms, E p = T M ⊕ V p T ∗ M , (2.1)where p is a non-negative integer. For p = 1 this is simply the vector bundle correspondingto a splitting of the exact sequence0 −→ T ∗ M ρ ⊤ −−→ E ρ −−→ T M −→ ρ ⊤ : T ∗ M → E denotes the transposeof the anchor map ρ . For any p ≥
1, sections of the vector bundle E p correspond to a formal3um of vectors and p -forms,Γ( E p ) ∋ A = X + η with X ∈ Γ( T M ) , η ∈ Γ( V p T ∗ M ) . (2.3)The vector bundle E p can be endowed with a non-degenerate symmetric fiber pairing h · , · i : E p × E p −→ V p − T ∗ M , (2.4)which is given in terms of a symmetrization of contractions between vectors and p -forms, h X + η, Y + ξ i = ( ι X ξ + ι Y η ) , (2.5)resulting in a ( p − p = 1, this is a map to C ∞ ( M ) and it definesa metric with split signature ( d, d ), which is invariant under the continuous T-duality group O ( d, d ).A binary operation on sections of E p can also be defined, either in terms of a higher Dorfmanbracket, which we denote here as a circle product( X + η ) ◦ ( Y + ξ ) = [ X, Y ] + L X ξ − ι Y d η , (2.6)or in terms of its antisymmetrization, a higher Courant bracket[ X + η, Y + ξ ] = [ X, Y ] + L X ξ − L Y η − d( ι X ξ − ι Y η ) . (2.7)Here L X denotes the Lie derivative along the vector field X . For p = 1 these are preciselythe standard Dorfman and Courant brackets, and they are formally given in terms of thesame expressions for higher p .We further define a smooth bundle map ρ : E p → T M , which could be for instance theprojection to the tangent bundle, such that the quadruple ( E p , h · , · i , [ · , · ] , ρ ) satisfies thefollowing properties: • Modified Jacobi identity:[[
A, B ] , C ] + cyclic( A, B, C ) = d N ( A, B, C ) ; (2.8) • Homomorphism property: ρ [ A, B ] = [ ρ ( A ) , ρ ( B )] ; (2.9) • Modified Leibniz rule:[
A, f B ] = f [ A, B ] + (cid:0) ρ ( A ) f (cid:1) B − d f ∧ h A, B i ; (2.10) • Compatibility condition: L ρ ( C ) h A, B i = h [ C, A ] + d h C, A i , B i + h A, [ C, B ] + d h C, B ii , (2.11)4here the Nijenhuis operator is defined by N ( A, B, C ) = h [ A, B ] , C i + cyclic( A, B, C ) , (2.12)for any A, B, C ∈ Γ( E p ) and f ∈ C ∞ ( M ). The last condition, expressing the compatibilitybetween the pairing and the bracket, is somewhat modified as compared to the p = 1 case,in the sense that a Lie derivative appears on the left-hand side. Evidently, this conditionreduces to the standard one for a Courant algebroid in the p = 1 case.When the anchor map ρ is the projection to T M , the higher Courant bracket may betwisted by a closed ( p + 2)-form H as[ X + η, Y + ξ ] H = [ X + η, Y + ξ ] + ι X ι Y H . (2.13)The twist yields an additional p -form term in the bracket. In string theory, where therelevant structure is p = 1, the twist is a closed 3-form; it is customarily identified with theNS–NS flux whose de Rham cohomology class is the ˇSevera class which classifies the exactCourant algebroids over M . In that case, one can also consider more general twists, usuallydenoted as ( H, f, Q, R ) corresponding to a 3-form H , a vector-valued 2-form f , a bivector-valued 1-form Q and a trivector R . The relevant bracket is then the Courant-Roytenbergbracket and the underlying structure corresponds to a general Courant algebroid wherethe anchor is not simply the projection to the tangent bundle, or equivalently to a proto-bialgebroid [34, 47, 48]. However, for p >
1, the twisting is more restricted. For instance,the analogue of a twisted Poisson structure (which would be a twisted Nambu-Poissonstructure) does not exist [20]. Nevertheless, one can directly infer from the entries of thebracket what are the five possible additional types of twists that could in principle be con-sidered apart from a ( p + 2)-form: a vector-valued 2-form, a ( p + 1)-vector-valued 1-form, a p -vector-valued ( p + 1)-form, a 2 p -vector-valued p -form, and a (2 p + 1)-vector. The precisestructure of such twists will be explained in the ensuing sections.For our purpose of investigating the flux content of M-theory for four-dimensional compact-ification manifolds, giving rise to dimensional reductions to seven dimensions, the relevanthigher structure is simply the one with p = 2 which corresponds to extending string chargesfor p = 1 to M2-brane charges [14]. We shall also find it necessary to formulate these higherCourant algebroids more generally later on by replacing the tangent bundle T M and thecotangent bundle T ∗ M by a Lie algebroid E over M and its dual E ∗ . In order to investigatecases with d > p = 2 and d = 4, although some of our results will be valid for any compactificationdimension d as we indicate. SL (5) Exceptional Generalized Geometry
Let us recall that in the more familiar p = 1 case, a generalized metric on E that combinesa Riemannian metric g and a 2-form B on T M may be defined [46]. One way to do this is tostart from the O ( d, d )-structure that preserves the fiber pairing of the Courant algebroid.5he O ( d, d ) T-duality transformations split into three types. The first corresponds tosmooth bundle automorphisms f : T M → T M and their inverse transpose f −⊤ : T ∗ M → T ∗ M , acting on a section of E = T M ⊕ T ∗ M as X + η f ( X ) + f −⊤ ( η ), or in GL ( d ) ⊂ O ( d, d ) matrix form F (cid:18) Xη (cid:19) = (cid:18) f f −⊤ (cid:19) (cid:18) Xη (cid:19) . (2.14)The second set of transformations are the B -transforms acting as X + η X + η + ι X B ,or e B (cid:18) Xη (cid:19) = (cid:18) B (cid:19) (cid:18) Xη (cid:19) . (2.15)The third type are the β -transforms which act via a bivector β on T ∗ M as X + η X + η + ι η β , or e β (cid:18) Xη (cid:19) = (cid:18) β (cid:19) (cid:18) Xη (cid:19) . (2.16)The geometric subgroup of these O ( d, d )-transformations preserving the Courant bracketis GL ( d ) ⋉ Ω , the semi-direct product of diffeomorphisms of M with closed 2-form trans-formations which act as bundle automorphisms (2.15) preserving the pairing (2.5).Then an O ( d, d )-covariant generalized metric H may be parametrized in terms of g and B as H = (cid:18) g − B g − B − B g − g − B g − (cid:19) , (2.17)which is a B -transform of the induced Riemannian metric g ⊕ g − on T M ⊕ T ∗ M . This is notthe most general parametrization of H , since O ( d, d )-transformations generate fractionallinear transformations of g + B , while field redefinitions allow for instance an expressionof the generalized metric in terms of a metric ˜ g and a bivector β on T ∗ M [49]. Thegeneralized metric for p = 1 yields a reduction of the structure group O ( d, d ) of E to itsmaximal compact subgroup O ( d ) × O ( d ), and thus the moduli space of such reductions isthe d -dimensional coset O ( d, d ) /O ( d ) × O ( d ),A similar prescription was followed in [14] to define a generalized metric for p = 2 and d = 4. In that case, the group of transformations acting on E = T M ⊕ V T ∗ M is theU-duality group SL (5), and the geometric subgroup preserving the higher Courant bracketis the semi-direct product of diffeomorphisms of M with closed 3-form transformationsΩ . The action can be decomposed into four types, in a similar way as before. The 15-dimensional SL (4) subgroup acts separately on vectors, in the representation , and on2-forms, in the representation , which combine into the antisymmetric representation of SL (5). A 3-form C ∈ Γ( V T ∗ M ) acts as X + η X + η + ι X C ( C -transform) and a3-vector Ω ∈ Γ( V T M ) acts as X + η X + η + ι η Ω ( Ω -transform). Both the 3-form andthe 3-vector have four independent components in four dimensions. The matrix versionsof these transformations are very similar to those of the p = 1 case above, thus we do notwrite them explicitly. Finally, a scaling transformation X + η α X + α η with α ∈ R × guarantees closure of the group action. As before, a generalized metric H can then beparametrized in terms of a metric g and a 3-form C on T M in the form [14] H = g + C g − ∧ g − C − C g − ∧ g − − g − ∧ g − C g − ∧ g − ! . (2.18)6n the present case the structure group of E is SL (5), its maximal compact subgroup is SO (5), and the moduli space of reductions by H is the corresponding 14-dimensional coset SL (5) /SO (5). SL (5) M-Theory Fluxes
To determine the general form of the fluxes in M-theory for 7 + 4 dimensions, where thefour internal dimensions are compactified, we follow a strategy similar to the one suggestedin [23] for non-geometric fluxes in generalized geometry. Recall that in generalized geometrythe expressions for all the types of fluxes may be found upon acting with the twist operator e B e β (which is an element of O ( d, d )) on the local holonomic basis spanned by ∂ i = ∂∂x i and d x i [24, 50]. This gives ∂ i e B e β −−−→ e i := ∂ i + B ij d x j , (3.1a)d x i e B e β −−−→ e i := d x i + β ij ∂ j + β ij B jk d x k = d x i + β ij e j . (3.1b)Then, computing the untwisted Courant brackets of the new basis, one obtains[ e i , e j ] = H ijk e k + F ij k e k , (3.2a)[ e i , e j ] = F ikj e k + Q ijk e k , (3.2b)[ e i , e j ] = Q kij e k + R ijk e k , (3.2c)and the fluxes are identified with the generalized structure constants appearing on theright-hand side. Their explicit expressions are H ijk = 3 ∂ [ i B jk ] , (3.3a) F ij k = β kl H lij , (3.3b) Q kij = ∂ k β ij + β il β jm H lmk , (3.3c) R ijk = 3 β [ il ∂ l β jk ] + β il β jm β kn H lmn , (3.3d)where underlined indices do not participate in the antisymmetrization. The correspondingBianchi identities may be obtained by using the Jacobi identity for this bracket [24].For later reference, let us recall that in a general non-holonomic basis the above expressionstake the form H abc = 3 ∇ [ a B bc ] , (3.4a) F abc = f abc + β cd H abd , (3.4b) Q abc = ∂ a β bc + β bd f adc − β cd f adb + β bd β ce H ade , (3.4c) R abc = 3 β [ ad ∇ d β bc ] + β ad β be β cf H def , (3.4d)7here ∇ a is the covariant derivative with respect to a vielbein e a = e ai ∂ i , and its dual e a = e ai d x i , acting as ∇ a B bc = ∂ a B bc − Γ abd B dc − Γ acd B bd , (3.5)and f abc = 2 e cj e [ ai ∂ i e b ] j =: 2 Γ [ ab ] c (3.6)is the purely geometric torsion flux, appearing for example in string compactifications ontwisted tori [51].Following the same prescription in the present case, we consider a local basis { e I } , I =1 , . . . , d ( d +1)2 ( I = 1 , . . . ,
10) of sections of the vector bundle E , which may be split in a d + d ( d − (4 + 6) fashion as { e I } = { e i , e ij } , i, j = 1 , . . . , d ( i, j = 1 , , , , (3.7)with e ij = − e ji . Then we compute the untwisted higher Courant bracket[ e I , e J ] = T IJ K e K , (3.8)and identify the corresponding M-theory fluxes with the local structure constants T IJ K .Explicitly, the brackets are generally given as[ e i , e j ] = G ijkl e kl + F ij m e m , (3.9a)[ e i , e jk ] = e F ilmjk e lm + Q ijkm e m , (3.9b)[ e ij , e kl ] = e Q mnij,kl e mn + R ij,kl,n e n . (3.9c)Following the terminology of the string theory case, we refer to G , F and e F as geometricfluxes and to Q , e Q and R as non-geometric fluxes. Compared to the string theory casethere is a proliferation in that F and Q do not repeat in two different brackets, but rathertwo apparently new fluxes appear, e F and e Q . We shall determine their relation to the fluxes F and Q below, where we will see that they are not independent. There is further a prolif-eration in the index structure; for instance, the previously trivector flux R now becomes a(mixed-symmetry) tensor with five indices (a 5-vector, but not fully antisymmetric—a com-pletely antisymmetric tensor would anyway vanish in four dimensions) and index structure(2 , , ,
4) [4, 6–10], it is natural to ask what is the relation between the two.We shall return to this point after computing the explicit expressions for these fluxes.As in the string theory case, we begin with the coordinate basis of sections of E = T M ⊕ V T ∗ M , spanned by ∂ i and d x i ∧ d x j , and twist them by SL (5) transforma-tions corresponding to the action of a 3-form C = C ijk d x i ∧ d x j ∧ d x k and a 3-vector Ω = Ω ijk ∂ i ∧ ∂ j ∧ ∂ k to get ∂ i e C e Ω −−−→ e i := ∂ i + C ijk d x j ∧ d x k , (3.10a) d x i ∧ d x j e C e Ω −−−→ e ij := d x i ∧ d x j + Ω ijk e k . (3.10b) Everything that follows holds for an arbitrary dimensionality d of M , as indicated; however, thephysically relevant case is only the one with d = 4, specified in parentheses. For higher d , the physical caserequires a different extension of the tangent bundle, as already mentioned.
8e now compute the untwisted higher Courant brackets of the new basis { e i , e ij } andcomparing with (3.9a)–(3.9c) we formally obtain G ijkl = 4 ∂ [ i C jkl ] , (3.11a) F ij m = − G ijkl Ω klm , (3.11b) e F ilmjk = G ilmn Ω njk , (3.11c) Q ijkm = (cid:0) ∂ i Ω jkm − Ω jkn G inps Ω psm (cid:1) , (3.11d) e Q mnij,kl = − (cid:0) δ l [ m ∂ n ] Ω ijk − δ k [ m ∂ n ] Ω ijl − δ j [ m ∂ n ] Ω ikl + δ i [ m ∂ n ] Ω jkl + Ω ijp G pp ′ nm Ω p ′ kl (cid:1) , (3.11e) R ij,kl,n = ˆ ∂ i [ j Ω kln ] − ˆ ∂ j [ i Ω kln ] − ˆ ∂ k [ l Ω ijn ] + ˆ ∂ l [ k Ω ijn ] − Ω ijm Ω klp Ω rsn G mprs , (3.11f)where we defined ˆ ∂ ij := Ω ijk ∂ k . These expressions were derived without using the restric-tion d = 4. One may directly observe that the fluxes e F and e Q are not independent from F and Q , as there are the trace relations e F ijllk = F ij k , (3.12) e Q imjk,lm = d Q ijkl + d − Ω jkp G ipqr Ω qrl − δ [ ji ∂ n Ω k ] ln + δ li ∂ n Ω jkn . (3.13)For general d , the flux Q ijkl is not completely antisymmetric in its three vector indices.Let us now specialize to the four-dimensional case. First, it is then inevitable that onlythe contracted parts of e F and e Q play a role, since they both have more than four indicesin total. Specifically, the expression (3.13) for e Q results in e Q imjk,lm = Q ijkl − δ [ ji Q nk ] ln + δ li Q njkn . (3.14)Second, in four dimensions, the flux Q ijkl is necessarily completely antisymmetric in itsthree vector indices, in agreement with expectations. Another important observation isthat the last term in (3.11f) is identically zero in four dimensions for any antisymmetric3-vector Ω . Thus it is useful to define the (1 ,
4) mixed-symmetry combination R i,jklm = ˆ ∂ i [ j Ω klm ] , (3.15)which allows us to write the R -flux obtained by the higher Courant bracket in terms of the R -flux as R ij,kl,n = R i,jkln − R j,ikln − R k,lijn + R l,kijn . (3.16)Thus unlike the string theory case where all indices of the trivector R -flux participate inthe antisymmetrization, here the right-hand side contains terms with derivatives of thetrivector Ω where one index is outside the antisymmetrization. Studying all possibilitiesfor index assignments, it turns out that in all cases we necessarily end up with only one Note that the trace of the second term in e Q , namely Ω jkp G pqrs Ω qrs , vanishes in four dimensions. and the R -flux is a (1 ,
4) mixed-symmetry tensor, in agreement with expectations.We discuss this point further in the extended case of Section 6, where we shall comparewith previous results in the literature. For the time being, we can already conclude thatby studying the higher Courant bracket, the types of geometric and non-geometric fluxeswhich arise in the four-dimensional case are G ijkl , F ij k , Q ijkl and R i,jklm . (3.17)Finally, the expressions above are written in the holonomic frame. The correspondingexpressions in a non-holonomic frame may be obtained similarly, by considering a vielbein e a and e ab = e a ∧ e b . We present them only for the relevant fluxes in the four-dimensionalcase, which are G abcd = 4 ∇ [ a C bcd ] , (3.18a) F abc = f abc − G abde Ω dec , (3.18b) Q abcd = (cid:0) ∂ a Ω bcd + 3 Ω e [ bc f aed ] − Ω def δ [ ba f ef c ] − Ω e [ bc G aefg Ω d ] fg (cid:1) , (3.18c) R ab,cd,e = b ∇ a [ b Ω cde ] − b ∇ b [ a Ω cde ] − b ∇ c [ d Ω abe ] + b ∇ d [ c Ω abe ] , (3.18d)where b ∇ ab = Ω abc ∇ c , and we used the definitions and facts explained before. Once more,one should keep in mind that the R -flux effectively contains only one term. Bianchi identities for the above fluxes can be obtained upon calculating the Jacobiator forthe higher Courant bracket using the basic property[[
A, B ] , C ] + cyclic( A, B, C ) = d (cid:0) h [ A, B ] , C i + cyclic( A, B, C ) (cid:1) . (3.19)To calculate the Jacobiator it is useful to write down the pairing h A, B i for the basiselements (3.10a) and (3.10b), which reads as h e i , e j i = 0 , (3.20a) h e i , e jm i = δ [ ji d x m ] , (3.20b) h e ij , e mn i = Ω [ ijm δ n ] l d x l . (3.20c)Using these expressions, the modified Jacobi identity containing only the basis elements e i ,[[ e i , e j ] , e m ] + cyclic( i, j, m ) − d (cid:0) h [ e i , e j ] , e m i + cyclic( i, j, m ) (cid:1) = 0 , (3.21) The argument works as follows. Fix i = i ∈ { , , , } . If i = j then obviously the R -flux vanishes;if i = k , then R ij,kl,n = ˆ ∂ i [ j Ω i ln ] , and similarly if i = l ; if i = n then R ij,kl,n = ˆ ∂ i [ j Ω kli ] . If i = j, k, l, n , then fix j = j and repeat the argument. Upon dimensional reduction over the M-theory circle, the four-dimensional fluxes (3.18a)–(3.18d) re-duce to the NS–NS fluxes (3.4a)–(3.4d) in three dimensions. In higher dimensions this is not generallytrue, as the G -flux can reduce to either the NS–NS H -flux or the 4-form RR flux depending on whether ornot the 4-form G has a leg along the M-theory circle. ∂ [ m G ijkl ] = − G np [ ij e F m ] klnp − F [ ijn G m ] nkl , (3.22a) ∂ [ m F ij ] l − ˆ ∂ lk G ijmk = − G nk [ ij Q m ] nkl − F [ ijk F m ] kl . (3.22b)As in Section 3.1, these formulas hold in any dimension d . However, for the physicallyinteresting case d = 4, the first identity becomes algebraic, since the left-hand side isidentically zero (five antisymmetrized indices in four dimensions), and taking into accountthe trace relation (3.12) between e F and F , the result is G n [ lij F mk ] n = 0 . (3.23)The rest of the Jacobi identities, involving different combinations of the basis elements e i and e ij , give six additional Bianchi identities for all fluxes which read as3 ∂ [ i e F jp ] rmn − δ [ n [ r ∂ p ] F ij m ] + ˆ ∂ mn G ijpr + Ω ks [ m δ n ][ p ∂ r ] G ijks = G ijkl e Q prkl,mn + F ijk e F kprmn + 2 e F kl [ imn e F j ] prkl + 2 Q [ imnk G j ] kpr , (3.24a)2 ∂ [ i Q j ] mnp + ˆ ∂ mn F ijp − ˆ ∂ p [ n F ijm ] − ˆ ∂ lp e F ijlmn + Ω kl [ m ˆ ∂ n ] p G ijkl = G ijkl R kl,mn,p + 3 F [ ijk Q k ] mnp + 2 e F kl [ imn Q j ] klp , (3.24b)3 ∂ [ i e Q st ] jk,mn − ˆ ∂ jk e F istmn − ( { jk } → { mn } )= 2 e F iprjk e Q stpr,mn − e F istpr e Q prjk,mn + 2 Q ijkp e F pstmn + R jk,mn,p G pist − ( { jk } → { mn } ) , (3.24c) ∂ i R jk,mn,s − ˆ ∂ jk Q imns − ˆ ∂ ps e Q ipjk,mn − ( { jk } → { mn } )= 2 e F iprjk R pr,mn,s + F pis R jk,mn,p + 2 Q ijkp Q pmns − e Q prjk,mn Q iprs − ( { jk } → { mn } ) , (3.24d) ∂ [ t R ij,kl, [ m δ n ] s ] + ˆ ∂ mn e Q stij,kl + Ω [ prm δ n ][ s ∂ t ] e Q prij,kl + cyclic( ij, kl, mn )= R ij,kl,p e F pstmn + e Q prij,kl e Q stpr,mn + e Q prij,kl δ [ n [ s (cid:0) Q t ] prm ] + Ω pra G t ] abc Ω m ] bc (cid:1) + cyclic( ij, kl, mn ) , (3.24e)ˆ ∂ mn R ij,kl,q + ˆ ∂ pq R ij,kl, [ m δ n ] p + Ω [ prm ˆ ∂ n ] q e Q prij,kl + cyclic( ij, kl, mn )= 2 R ij,kl,p Q pmnq + 2 e Q prij,kl R pr,mn,q + e Q prij,kl Ω dq [ n (cid:0) Q dprm ] + Ω pra G dabc Ω m ] bc (cid:1) + cyclic( ij, kl, mn ) . (3.24f)Again these expressions are given in the holonomic frame. The Bianchi identities in anon-holonomic frame may be found in the same way. Let us begin with an explanation of which precise question we aim at answering in thefollowing. To this end let us go back to the string theory case, and the expressions for11uxes and Bianchi identities there. As already mentioned, they may be determined withthe same approach as the one we used in Section 3 for M-theory. The essential point wewould like to recall is as follows. First we note that the fluxes and Bianchi identities in theholonomic frame for generalized geometry may be written in the compact form ρ iI ∂ i ρ j J − ρ iJ ∂ i ρ j I − η KL ρ j K T LIJ = 0 , (4.1)4 ρ i [ L ∂ i T IJK ] + 3 η MN T M [ IJ T KL ] N = 0 , (4.2)where indices i, j, . . . run over 1 , . . . , d while I, J, . . . run through 1 , . . . , d . Here ρ iI =( δ ij , β ij ), η IJ is the O ( d, d )-invariant metric, and the 3-form T IJK corresponds to the fourfluxes H ijk , F ij k , Q ijk and R ijk depending on the index position. We supplement theseequations with a third one, η IJ ρ iI ρ j J = 0 , (4.3)which is identically satisfied as long as β ( ij ) = 0, namely β ij are components of an an-tisymmetric 2-vector (not necessarily a Poisson bivector). These three equations may beinterpreted in three different but related ways: • As the fluxes and Bianchi identities in the NS–NS sector of general string theorycompactifications. • As the local form of the axioms of a Courant algebroid on E [40]. • As the conditions arising from the classical master equation in the BV–BRST quan-tization of generalized Wess-Zumino terms, or equivalently as the conditions forgauge invariance and on-shell closure of gauge transformations for the Courant sigma-model [25].Read differently, the above statements say the following: given a Courant algebroid, one canuniquely write down a membrane sigma-model which gives the BV–BRST action for Wess-Zumino terms which appear as fluxes in string theory compactifications. This statement isbased on [25–29]. In particular, in [29] the precise relation with topological sigma-modelsof AKSZ-type [32] is demonstrated.Moving one worldvolume dimension higher, from the closed string to the closed M2-brane,we have already found the expressions for the fluxes and their Bianchi identities in Sec-tion 3. This allows us to pose the following question: given a higher analogue of an exactCourant algebroid, can one write down uniquely a threebrane sigma-model which gives theBV–BRST action for generalized Wess-Zumino terms that appear as fluxes in M-theorycompactifications?In other words, we would like to have a set of expressions much like (4.1)–(4.3), whichcan be interpreted again in three different ways: as M-theory fluxes and Bianchi identi-ties, as the local form of the properties of the higher Courant bracket, and as conditionsthat guarantee the classical master equation for some topological threebrane sigma-model(or, equivalently, its gauge invariance and on-shell closure of gauge transformations). Weaddress this question in Section 5 below. In the present section we first discuss the con-struction of threebrane sigma-models as the higher analogue of Courant sigma-models.12 .2 Topological Threebrane Sigma-Models
The threebrane sigma-model that corresponds to the topological AKSZ theory for openthreebranes, or in other words the BV–BRST action for a 4-form Wess-Zumino term, wascontructed explicitly in [39]. We shall not review the full construction here, but insteadwe consider just the zero-ghost topological action for the AKSZ topological sigma-modelin four dimensions, which will be enough to make our main point. Its general form readsas S [ X, α, A, F ] = Z Σ (cid:0) F i ∧ d X i − α I ∧ d A I + ρ iI ( X ) F i ∧ A I + S IJ ( X ) α I ∧ α J (4.4)+ T I JK ( X ) α I ∧ A J ∧ A K + G IJKL ( X ) A I ∧ A J ∧ A K ∧ A L (cid:1) . Let us spell out the ingredients in this sigma-model action. We have a theory of maps froma threebrane worldvolume Σ to a d -dimensional target space M (we shall mostly consider d = 4 later, but the discussion here holds for any d ), X = ( X i ) : Σ −→ M with i = 1 , . . . , d , (4.5)and F ∈ Ω (Σ , X ∗ T ∗ M ) is an auxiliary worldvolume 3-form taking values in the pullbackof the cotangent bundle of M by the map X . In addition, there is a worldvolume 1-form A ∈ Ω (Σ , X ∗ E ) and a worldvolume 2-form α ∈ Ω (Σ , X ∗ E ∗ ). They take values in thepullback of a vector bundle E → M and its dual E ∗ → M respectively. For example thiscould be the tangent bundle, but not necessarily so (see below). Here I is a bundle indexwhen a basis of local sections { e I } of E is chosen, with corresponding dual basis { e I } for E ∗ ,while ρ iI are the components of an anchor map ρ : E → T M , and S IJ is symmetric in itstwo bundle indices, which defines a symmetric bilinear pairing on sections of E ∗ (possiblydegenerate). Finally, T I JK are structure constants of an antisymmetric bracket on sectionsof E and G IJKL is a generalized 4-form on E . The quantities S , T and G are all functionsof X ( σ ), where σ α are the local coordinates of the threebrane worldvolume, and they willbe understood as generalized Wess-Zumino couplings in the present setting.There is a hierarchy of structures and fields exhibited in the following table: dim Σ AKSZ σ -model 0-forms 1-forms 2-forms 3-forms2 Poisson X i F i ∈ Γ( X ∗ T ∗ M ) — —3 Courant X i A I ∈ Γ( X ∗ E ) F i ∈ Γ( X ∗ T ∗ M ) —4 Threebrane X i A I ∈ Γ( X ∗ E ) α I ∈ Γ( X ∗ E ∗ ) F i ∈ Γ( X ∗ T ∗ M ) Specifically, the AKSZ theory in two dimensions corresponds to the BV–BRST action forthe Poisson sigma-model (the first order formulation of the topological bosonic string B -field amplitude), in three dimensions to the Courant sigma-model and in four dimensions Along the usual lines of the BV–BRST formalism this consists in considering the BRST symmetry byreplacing gauge parameters by ghosts, higher gauge parameters by ghosts-for-ghosts, and introducing thecorresponding antifields required of the BV formalism. In the full space of fields, ghosts and antifields, anantibracket is defined and a BV–BRST action in constructed in terms of superfields on a graded manifold,which is required to satisfy the classical master equation imposing BRST-invariance.
13o the threebrane sigma-model that we discuss here. This is of course part of a semi-infinitestaircase of (higher) geometric structures and topological sigma-models. More details maybe found for example in the review [40].The action (4.4) comes with a host of conditions stemming from the classical masterequation—or, equivalently, from gauge invariance. Recall that in the two-dimensional casethese conditions are equivalent to the vanishing of the Schouten-Nijenhuis bracket for abivector field, which is the condition for a Poisson structure on M or the Lie algebroid ax-ioms for the cotangent bundle T ∗ M equipped with the Koszul-Schouten bracket, while inthe three-dimensional case they are equivalent to the axioms of a Courant algebroid. In thefour-dimensional case the conditions found in [39, 41] define a higher algebroid structure,called a Lie algebroid up to homotopy in [39] or more generally an H -twisted Lie algebroidin [41] (see also Refs. [42, 43]). Instead of providing the geometric axioms defining such astructure, we find it more illuminating at this stage to reside on the equivalent local co-ordinate conditions imposed by the classical master equation; the two approaches anywayreflect the same structure. The action (4.4) is invariant under the gauge transformationsparametrized by scalar, 1-form and 2-form gauge parameters ǫ , ζ and t : δX i = − ρ iI ǫ I , (4.6a) δA I = d ǫ I + S IJ ζ J − T I JK A J ǫ K , (4.6b) δα I = d ζ I + ρ iI t i + T J IK ζ J ∧ A K + T J IK α J ǫ K + G IJKL ǫ J A K ∧ A L , (4.6c) δF i = − d t i + ∂ i ρ jI (cid:0) ǫ I F j + t j ∧ A I (cid:1) − ∂ i T J LI ǫ I α J ∧ A L − ∂ i G IJKL ǫ I A J ∧ A K ∧ A L + ∂ i T I JK ζ I ∧ A J ∧ A K + ∂ i S IJ ζ I ∧ α J , (4.6d)provided the following conditions are met: ρ iI S IJ = 0 , (4.7a) ρ iI ∂ i S JK + S LJ T K IL + S LK T JIL = 0 , (4.7b) ρ iI ∂ i ρ j J − ρ iJ ∂ i ρ jI − ρ j K T K IJ = 0 , (4.7c)3 ρ i [ I ∂ i T J KL ] + S JM G KLIM − T J M [ K T M LI ] = 0 , (4.7d) ρ i [ I ∂ i G JKLM ] + T N [ IJ G KLM ] N = 0 . (4.7e)Therefore, given a set of structure functions that solve these conditions, the correspondingtopological threebrane sigma-model is uniquely determined. One can then reconstruct theanchor, bracket and 4-form on the vector bundle E , as well as the pairing on its dual E ∗ ,as derived brackets [39].These relations define a homotopy deformation of a Lie algebroid on E : Setting S = G = 0 reduces the conditions (4.7a)–(4.7e) to the usual axioms of a Lie algebroid, withthe remaining non-trivial identities (4.7c) and (4.7d) corresponding to the homomorphismproperty, Leibniz rule and Jacobi identity for the anchor map and bracket on E . Generally,the bracket [ · , · ] on E extends to give a higher analog of the (twisted) Courant bracketon sections of E ⊕ V E ∗ , which can again be computed as a derived bracket and for S = 0is given by [39][ s + γ , s + γ ] G = [ s , s ] + L s γ − L s γ − d E ( ι s γ − ι s γ ) + ι s ι s G , (4.8)14here s , s ∈ Γ( E ) and γ , γ ∈ Γ( V E ∗ ). Here L s i = d E ι s i + ι s i d E and d E : Γ( V p E ∗ ) → Γ( V p +1 E ∗ ) is the usual Lie algebroid differential defined by(d E ω ) I I ··· I p = ρ i [ I ∂ i ω I ··· I p ] + T J [ I I ω I ··· I p − ] J (4.9)for ω = p ! ω I ··· I p e I ∧· · ·∧ e I p . Then (4.7d) (with S = 0) is the nilpotency condition d E = 0,while (4.7e) is just the closure condition d E G = 0 which states that the twisting 4-form G represents a class in the degree 4 Lie algebroid cohomology of M ; this classifies the Liealgebroids up to homotopy over M with S = 0 [39].The relation of the threebrane sigma-model to the higher Courant bracket may also beestablished as follows. First recall that the generalized Wess-Zumino term for Courantsigma-models is Z Σ X ∗ ( T IJK ) A I ∧ A J ∧ A K = Z Σ X ∗ (cid:0) h e I , [ e J , e K ] i (cid:1) A I ∧ A J ∧ A K , (4.10)where the components T IJK are directly related to the twisted Courant-Roytenberg bracketin a local basis { e I } of E = T M ⊕ T ∗ M as T IJK = 2 h e I , [ e J , e K ] i [29]. In a similar fashion,the last two terms in the action (4.4) may be written as T I JK ( X ) α I ∧ A J ∧ A K = X ∗ (cid:0) h e I , [ e J , e K ] i (cid:1) α I ∧ A J ∧ A K , (4.11a) G IJKL ( X ) A I ∧ A J ∧ A K ∧ A L = X ∗ (cid:0) h e I , h e J , [ e K , e L ] ii (cid:1) A I ∧ A J ∧ A K ∧ A L , (4.11b)where as before { e I } and { e I } are local bases of sections of E and E ∗ respectively, thebracket is the higher Courant bracket on E ⊕ V E ∗ and the bilinear form corresponds tosymmetric contraction as in (2.5): h s + γ , s + γ i = ( ι s γ + ι s γ ) . (4.12)Thus the higher geometric operations introduced above and in Section 2.1 directly dictatethe generalized Wess-Zumino terms in the threebrane sigma-model. This will be furtherexemplified in a number of examples below.Therefore, the question we posed in Section 4.1 may be rephrased as follows: What is therelation of the conditions (4.7a)–(4.7e) to the fluxes and Bianchi identities that we foundin Section 3? Before we delve into the answer, we first discuss some (known and new)characteristic examples for this structure. We indicated explicitly the pullback by X here, in order to avoid confusion, in contrast to the customaryshort-hand notation h A, [ A, A ] i for the integrand in (4.10) used e.g. in [36]; the latter notation shouldbe treated with caution, since the fields A live in the pullback bundle X ∗ E , which unlike E itself is notendowed naturally with a Courant algebroid structure. Thus the notation [ A, A ] can be misleading, sinceno such bracket is defined on X ∗ E , and we refrain from using it here. In (4.11b) the two bilinear forms are in principle different: the first (“inner”) bilinear form is definedon E ⊕ V E ∗ , while the second (“outer”) bilinear form is the canonical pairing between the vector bundle E and its dual E ∗ . Since in both cases the corresponding contractions are understood from the context,we refrain from establishing a separate notation for these two operations. .3 Examples Homotopy tangent algebroids.
The simplest possibility is to choose E = T M with theusual Lie bracket of vector fields. Then the bundle index I is identified with the coordinateindex i , in a local basis { e i } of the tangent bundle. The worldvolume 1-form A i = A iα d σ α is valued in the pullback of the tangent bundle X ∗ T M over Σ and the worldvolume 2-form α i = α i αβ d σ α ∧ d σ β is valued in the pullback of the cotangent bundle X ∗ T ∗ M .We begin with an analysis of the conditions (4.7a)–(4.7e) that define a Lie algebroid up tohomotopy. The condition (4.7a) reads as ρ ik S kj = 0 . (4.13)If the pairing S ij is non-degenerate, this implies ρ ij = 0. This is a legitimate option,especially in the case that the base manifold M is a point and the algebroid structure isreduced to an algebra. Such cases were examined in [39]. For our purposes, it is moreinteresting to consider instead the case that the anchor is non-degenerate, in which caseone concludes that S ij = 0 . (4.14)Then (4.7a) and also (4.7b) are satisfied automatically. Since ρ is non-degenerate, withinverse ρ ij , the condition (4.7c) requires that T ijk = 2 ρ li ρ m [ j ∂ m ρ lk ] . (4.15)Finally, the relations (4.7d) and (4.7e) resemble Bianchi identities and they explicitly readas ρ l [ i ∂ l T j mn ] − T j l [ m T lni ] = 0 , (4.16a) ρ n [ i ∂ n G jklm ] + T n [ ij G klm ] n = 0 . (4.16b)We distinguish two particularly interesting cases below. G -flux. Choose the anchor to be the projection to the tangent bundle, namely ρ =id, or more explicitly ρ ij = δ ij . Then (4.7c) implies immediately that T ijk = 0, whichautomatically satisfies (4.7d); in this case the derived bracket (4.8) reproduces (for G = 0)the higher Courant bracket on E = T M ⊕ V T ∗ M from (2.7). Finally (4.7e) is the Bianchiidentity which simply states that the 4-form G is closed, ∂ [ i G jklm ] = 0 , (4.17)or d G = 0, implying that G defines a class in the degree 4 de Rham cohomology of M .The corresponding threebrane sigma-model becomes S [ X, α, A, F ] = Z Σ (cid:0) F i ∧ (d X i + A i ) − α i ∧ d A i + G ijkl ( X ) A i ∧ A j ∧ A k ∧ A l (cid:1) . (4.18)16n accord with the discussion at the end of Section 4.2, the Wess-Zumino term is associatedto the higher Courant bracket on E = T M ⊕ V T ∗ M by means of the relation G ijkl ( X ) = X ∗ (cid:0) h e i , h e j , [ e k , e l ] ii (cid:1) , (4.19)where the bracket and the bilinear form are given by (3.9a) and (3.20b) respectively. It isuseful to add a boundary term S ∂ [ X, A ] = I ∂ Σ g ij ( X ) A i ∧ ∗ A j , (4.20)where the Hodge duality operation ∗ is in three dimensions, sending 1-forms to 2-forms. Atopological boundary term of the form S ∂, top [ X, A, α ] = I ∂ Σ h ij ( X ) α i ∧ A j (4.21)is also possible, as well as boundary terms of type α ∧ ∗ α and A ∧ A ∧ A , however we donot include them in this example. The field equation for the auxiliary 3-form F i gives A i = − d X i , (4.22)which with G = d C leads locally to the M2-brane action S ∂ [ X ] = I ∂ Σ (cid:0) g ij d X i ∧ ∗ d X j + C ijk d X i ∧ d X j ∧ d X k (cid:1) . (4.23)This is recognized as the action for a closed M2-brane coupled to a 3-form C -field, whosefield strength is the 4-form G -flux. This example, without the metric term, was consideredin [39], and recently in more detail in [44] where the double dimensional reduction of theWess-Zumino term for wrapped threebranes along the M-theory circle is shown to reproducethe standard Wess-Zumino membrane coupling to an NS–NS H -flux. M-theory on twisted tori.
Motivated by Scherk-Schwarz reductions of M-theory ontwisted tori, studied in detail in [37], we can choose ρ ij to be equal to the components ofa globally defined coframe E ij ( X ) for a twisted torus. The simplest example, but by nomeans the only one, is to take a twisted 4-torus which is a trivial circle bundle over thethree-dimensional Heisenberg nilmanifold, see for example [4, 6–10]. Then T ijk is simplygiven by (4.15) and it is constant, corresponding to the structure constants of the associatednilpotent Lie algebra. Due to the Jacobi identity, the condition (4.7d) is identically satisfied.One may further choose G = 0, in which case (4.7e) is also an identity and all conditionsare solved.The sigma-model is S [ X, α, A, F ] = Z Σ (cid:0) F i ∧ (d X i + E ij A j ) − α i ∧ d A i + T ijk α i ∧ A j ∧ A k (cid:1) , (4.24) As explained in e.g. [36], one has to choose an isomorphism E : T N → T M between the tangent bundlesof M and the twisted torus N with corresponding components E mi , whose inverse E − : T M → T N hascomponents E mi , and identify the anchor with those. We present a short-cut version of this constructionhere, hoping that no confusion is caused. T ijk = X ∗ (cid:0) h e i , [ e j , e k ] i (cid:1) , (4.25)and we add the same boundary term as before. The equation of motion for F i yields A i = − E i = − E j i d X j with d E i = − T ijk E j ∧ E k , (4.26)where we used the Maurer-Cartan equations. Inserting this in the action, the bulk termscancel completely and the boundary term becomes S ∂ [ X ] = I ∂ Σ g ij E i ∧ ∗ E j , (4.27)which is the correct M2-brane action for an M-theory background with purely geometrictorsion flux T ijk .One may already consider a more general situation, by allowing a non-vanishing constant4-form G . Then one would simply obtain the same model decorated with an additional G -flux, subject to the algebraic identity T n [ ij G klm ] n = 0 , (4.28)due to (4.7e). This is a special case of the algebraic Bianchi identity (3.23), and it iswelcoming to see that the very same condition was considered in the context of Scherk-Schwarz reductions with both fluxes turned on, see [37, Eq. (2.5)], where it ensures thatthe flux G = G ijkl E i ∧ E j ∧ E k ∧ E l is closed. In the present context this identity is imposedby the gauge invariance of the threebrane sigma-model via the classical master equation,and it ensures closure of the Wess-Zumino term X ∗ ( G ). Homotopy cotangent algebroids.
An option that has not been explored so far is thechoice of vector bundle E = T ∗ M . As we shall see, this is the analogue of the R -flux withPoisson structure in the case of (contravariant) Courant algebroids [52], which leads to a geometric R -flux. The difference is that in the Courant algebroid, the analogues of thefields α and A are treated symmetrically because they are both degree 1 fields. Here this“symmetry” breaks down.We choose a local coframe { e i } for the cotangent bundle, with dual local frame { e i } ofthe tangent bundle. According to the explanations of Section 4.2, the worldvolume 1-form A = A i e i with A i = A i α d σ α is now valued in X ∗ T ∗ M , while the worldvolume 2-form α = α i e i with α i = α iαβ d σ α ∧ d σ β is valued in X ∗ T M . In the case of exact Courantalgebroids, where E = E = T M ⊕ T ∗ M , taking instead the dual E ∗ = T ∗ M ⊕ T M doesnot lead to any difference but a renaming of the fields; however, this is not the case here,since the fields have different degrees.Let us proceed with the analysis of the conditions for a Lie algebroid up to homotopy.First, the anchor components ρ iI now become ρ ij and they correspond to a bivector. Thecondition (4.7a) becomes ρ ij S jk = 0 , (4.29)18hich implies S ij = 0 if as before we assume that the anchor is a non-degenerate map.Once more, the condition (4.7b) is then automatically satisfied. On the other hand, therelation (4.7c) becomes ρ li ∂ l ρ jk − ρ lk ∂ l ρ ji − ρ jl T lik = 0 . (4.30)This is solved by identifying ρ ij = Π ij with the components of a Poisson bivector Π ,satisfying [ Π, Π ] SN = 0 with respect to the Schouten-Nijenhuis bracket on multivectorfields, and T ijk = − Q ijk := − ∂ i Π jk . (4.31)This Q -flux satisfies the Bianchi identity (4.7d), Π l [ i ∂ l Q j km ] = Q j l [ k Q lmi ] . (4.32)If we allow a non-vanishing generalized 4-form G , which in the present case is a tetravector,it has to satisfy the Bianchi identity (4.7e) which reads as Π l [ i ∂ l G jkmn ] + Q l [ ij G kmn ] l = 0 , (4.33)which may be written in the suggestive formd Π G := [ Π, G ] SN = 0 . (4.34)This is reminiscent of the Bianchi identity [ Π, R ] SN = 0 in the case of the Poisson Courantalgebroid. In this case the higher Courant bracket (4.8) on E ∗ = T ∗ M ⊕ V T M is writtenusing the Lichnerowicz differential d E = d Π = [ Π, · ] SN defined on multivector fields, to-gether with the Koszul-Schouten bracket on E = T ∗ M which for 1-forms τ , τ ∈ Γ( T ∗ M )reads as [ τ , τ ] Π = L ι τ Π τ − L ι τ Π τ − d ι τ ι τ Π . (4.35)Then the twisting 4-vector G defines a class in the degree 4 Poisson cohomology of M .Now that we have satisfied all the conditions for a Lie algebroid up to homotopy, we are allset to write down the threebrane sigma-model for the above data. It is given by the action S [ X, α, A, F ] = Z Σ (cid:0) F i ∧ d X i − α i ∧ d A i + Π ij F i ∧ A j − Q jki α i ∧ A j ∧ A k + G ijkl A i ∧ A j ∧ A k ∧ A l (cid:1) . (4.36)The equation of motion for F i gives d X i = − Π ij A j , (4.37)which can be inverted due to the non-degeneracy of the Poisson bivector to get A i = − Π − ij d X j . (4.38)Choosing local Darboux coordinates in which both G ijkl and Π ij are constant, and addinga suitable boundary term, one obtains the M2-brane sigma model S ∂ [ X ] = I ∂ Σ (cid:0) g ij − Π − ik g kl Π − lj (cid:1) d X i ∧ ∗ d X j + I ∂ Σ G pqrs Π − ip Π − jq Π − kr Π − ls X i d X j ∧ d X k ∧ d X l . (4.39)19his is a non-trivial example of a Lie algebroid up to homotopy that generalizes to openthreebranes the Poisson R -flux model for the open membrane. In the present case, the4-form flux is controlled by a 4-vector G that satisfies [ Π, G ] SN = 0.We stress that this is not the analogue of the non-geometric R -flux in M-theory, as it doesnot correspond to the lift of the nonassociative closed string R -flux deformation along theM-theory circle. It is simply the analogue of the Poisson Courant algebroid [34, 36, 52] atone level higher in the geometric staircase, and it is a geometric model. The analogue ofthe non-geometric R -flux will be discussed below. We would now like to address the question posed in Section 4.1, and relate the generalM-theory fluxes and their Bianchi identities computed in Section 3 to the threebrane sigma-models presented in Section 4.2. This question can now be stated in more precise terms asfollows: do the conditions (4.7a)–(4.7e) generate all the fluxes and Bianchi identities? Wewill answer this question in the affirmative and thus enable ourselves to write down thecorresponding threebrane sigma-model.The answer is that in the context of the threebrane sigma-model we should consider thevector bundle E = E = T M ⊕ V T ∗ M . Although this choice seems very reasonablein view of our previous discussion, one should appreciate that it is not the most naturalchoice, which is perhaps the reason that it has not been considered before. This may beexplained by invoking the analogy with the Courant sigma-model. In that case, one hastwo different worldvolume 1-forms, say q i and p i , taking values in dual bundles, say L and L ∗ respectively. However, since they are of the same degree, they can be combined in asingle 1-form A I taking values in E = L ⊕ L ∗ , so that L is a maximally isotropic subbundleof E with respect to the symmetric contraction pairing. Then the natural choice would be L = T M , which gives rise to the generalized tangent bundle. (The second choice L = T ∗ M leads to the same bundle, as we already mentioned before.) On the contrary, in the presentcase, the two fields taking values in dual bundles E and E ∗ are of different degree and theycannot be combined. The most natural choice for E , the direct analogue of L = T M above,would be either the tangent or cotangent bundle, the two choices being now inequivalent.But this is exactly what we have already done in Section 4.3. There we saw that thiscan account for the G -flux and for the geometric torsion flux f ijk , but not for the rest ofthe SL (5) fluxes. We also saw that there is a consistent case with a 4-vector flux, whichhowever is not one of the SL (5) fluxes.Here our sole purpose is to find under which conditions the general theory yields insteadthe full set of SL (5) fluxes and nothing more. In contrast to the case of Courant algebroids,where the O ( d, d )-structure is intrinsic, the structure group for a general Lie algebroid upto homotopy is not naturally tailored for the U-duality group SL (5) in four dimensions.Thus additional projections to SL (5) tensors are needed to make contact with the SL (5)fluxes. This is actually a strength of the present formalism, as there is some room for thesame expressions below to also give a subset of the fluxes in higher dimensions for otherexceptional U-duality groups. 20s in the examples of Section 4.3, based on E = T M and E = T ∗ M respectively, wedirectly set S IJ = 0, since this pairing does not play any further role in the identifications.Once more, this assumption takes care of the conditions (4.7a) and (4.7b). As we now show,this means that the relevant SL (5) fluxes are determined by the structure constants of asuitable Lie algebroid on E = E , whose bracket is specified by these structure constants.Considering the bundle E over a four-dimensional target space M means that its localbasis index I takes 10 values, split into sets of 4 and 6 as before, namely a lower (upper) I becomes either a lower (upper) i or a set of upper (lower) [ ij ] indices, with i, j = 1 , , , ρ as( ρ iI ) = ( ρ ij , ρ ijk ) , (5.1)and for our purposes here we further identify ρ ij = δ ij and ρ ijk = Ω ijk , (5.2)where we assume that ρ ijk is a completely antisymmetric 3-vector, but not necessarily aNambu-Poisson tensor. Then the condition (4.7c) yields three different equations. For both I, J being i, j the equation is T mij + Ω mkl T klij = 0 , (5.3)which is precisely the expression (3.11b), provided we make the identifications T kij = F kij and T ijkl = G ijkl . The latter identification is non-trivial, since T ijkl is not completelyantisymmetric a priori , but instead it is a reducible mixed-symmetry tensor of type (2 , G -flux, we consider only the irreduciblefully antisymmetric component to be non-vanishing. This is a legitimate assumption, aslong as the consistency conditions are satisfied, which is the case here. In a certain sense,it corresponds to a projection to SL (5) representations.Second, for I = i and J being (upper) [ jk ] (or vice-versa), the equation we obtain is T ijkl = ∂ i Ω jkl − Ω lmp T mpijk . (5.4)This instructs us to identify T ijkl = Q ijkl and T mpijk = e F mpijk . This looks like (3.11d),provided that we manage to fix e F properly with the remaining equations. Third, taking I to be (upper) [ ij ] and J to be (upper) [ kl ], we obtain T mijkl + Ω mpq T pqijkl = Ω nkl ∂ n Ω mij − Ω nij ∂ n Ω mkl . (5.5)This expression indicates the identifications T ijklm = R jk,lm,i and T pqijkl = e Q pqij,kl . Whetheror not it is identical to (3.11f) remains to be shown, provided we are able to fix e Q fromwhat follows.We now move on to the condition (4.7d), whose middle term is zero by assumption. Taking I, K, L as single indices and J as a doubled index, we obtain directly the Bianchi identity(3.22a) with the same identifications as above. This is then solved by taking e F to be as in(3.11c), in which case indeed (5.4) becomes identical to (3.11d). Similarly, from (4.7d) wealso identify e Q as in (3.11e), and thus (5.5) is identical to (3.11f).21inally, in the present context (4.7e) is redundant and we can take a vanishing twist G IJKL = 0. By (4.11b), the vanishing locus of G defines an isotropic subbundle of E = T M ⊕ V T ∗ M . It is precisely on this isotropic subbundle that the Bianchi iden-tities coming from the higher Courant bracket in Section 3.2 give the second condition(4.7d) coming from gauge invariance of the threebrane action with our projection.Thus we conclude that indeed the sought-for equations for the fluxes and Bianchi iden-tities are the conditions (4.7a)–(4.7e) under the above identifications. This provides acorrespondence between the higher Courant bracket and this special case of the generalAKSZ threebrane sigma-model. Let us therefore use this correspondence to write down thesigma-model explicitly. First, the 1-form A and the 2-form α have components A I = ( A i , A ij ) =: ( q i , p ij ) , (5.6a) α I = ( α i , α ij ) =: ( p i , q ij ) , (5.6b)involving 1-forms taking values in (the pullback bundles of) T M and V T ∗ M , and 2-formstaking values in T ∗ M and V T M respectively. It would therefore appear that we haveintroduced an overabundance of worldvolume fields. However, our assumption that onlythe fully antisymmetric component of the reducible tensor T ijkl survives and is identicalto the G -flux indicates that the 2-form q ij is decomposable, namely q ij = c q i ∧ q j , wherewe choose a convenient scaling factor c ∈ R × . What is more, the fact that we restrictthe target space dimension to be four, and that the fluxes e F and e Q obey the relations(3.12) and (3.13), dictates that q i ∧ p ij = c p j , where ˜ c ∈ R × . Thus we are not dealingwith an arbitrary threebrane sigma-model of the type discussed in Section 4, but ratherwith a special case of it dictated by the relation to the M-theory fluxes. In the quantumtheory, this would mean projecting the domain of the path integral to worldvolume fieldconfigurations constrained in this way.Therefore, putting the above ingredients together, the sought-for threebrane sigma-modelreads explicitly as S = Z Σ (cid:16) F i ∧ d X i − ˜ c q i ∧ p ij ∧ d q j − c q i ∧ q j ∧ d p ij + F i ∧ q i + Ω ijk F i ∧ p jk + (cid:0) c + ˜ c (cid:1) F mjk q i ∧ q j ∧ q k ∧ p im + c G ijkl q i ∧ q j ∧ q k ∧ q l + (cid:0) ˜ c + 2 c (cid:1) Q lijk q l ∧ q m ∧ p mi ∧ p jk + c R jk,lm,i q n ∧ p ni ∧ p jk ∧ p lm (cid:17) , (5.7)up to boundary terms. This is indeed a sigma-model that contains all types of fluxes G , F , Q and R . Due to the conditions we have imposed, it depends only on two first order fields q i and p ij , which are both 1-forms on Σ . One could think of them as the first order variablesfor spacetime coordinates X i and their dual wrapping coordinates e X ij , although a truly e X -inclusive model requires extension of the base manifold M as in exceptional field theory,which is not the case here. With our specific projections in the threebrane sigma-model,it is straightforward if a bit lengthy to check that the projected threebrane action (5.7) isinvariant under the corresponding restriction of the gauge transformations (4.6a)–(4.6d).We now observe that the G -flux model may be obtained in an alternative way using (5.7).One simply takes Ω = 0, i.e. the anchor to be the projection to the tangent bundle of M ,22nd the only non-vanishing flux to be G . The field equation for F i leads to q i = − d X i andthe threebrane sigma-model reduces on-shell to S G [ X ] = I ∂ Σ g ij d X i ∧ ∗ d X j + Z Σ G ijkl d X i ∧ d X j ∧ d X k ∧ d X l , (5.8)where we consider the case that the threebrane has a non-empty closed M2-brane boundaryand, using ˜ c q i ∧ p ij = p j and c = , we imposed the boundary condition p i = − c g ij ∗ d X j on ∂ Σ . (5.9)This is the same as the sigma-model with G -flux that we obtained in a different way inSection 4.3. Here the symmetric term corresponds to the upper-left entry of the generalizedmetric (2.18) for C = 0.Alternatively, one may consider the completely dual situation, where the anchor maps tothe tangent bundle only through the trivector Ω , i.e. taking ρ ij = 0. For simplicity, letus suppose that Ω is a constant non-degenerate trivector, and that the only non-vanishing(constant) flux is R . Then the field equation for F i isd X i = − Ω ijk p jk . (5.10)This implies Ω ijk d p jk = 0 for all i , and hence, by our assumption that Ω ijk is non-degenerate, that d p jk = 0. This means that locally we can define functions e X ij on Σ through p ij = d e X ij . (5.11)This is not meant to be a wrapping coordinate, however the notation is indicative of whatone would expect in the case of an extended base manifold. Then on-shell the threebranesigma-model reduces to S R [ e X ] = I ∂ Σ g ijkl d e X ij ∧ ∗ d e X kl + Z Σ R jk,lm,i q n ∧ d e X ni ∧ d e X jk ∧ d e X lm , (5.12)where, taking into account q ij = q i ∧ q j , we imposed the boundary condition q ij =
112 ˜ c g ijkl ∗ d e X kl on ∂ Σ , (5.13)with g ijkl = g ik g jl − g il g jk . (5.14)This is indeed the metric naturally appearing in M2-brane duality rotations [53], and italso corresponds to the lower-right entry of the generalized metric (2.18).An integrability problem in realizing the full SL (5) U-duality group in the worldvolumetheory for a closed M2-brane was identified in [54], based on previous work of [53]. It wouldbe interesting to see whether the simple constructions we presented here can be generalizedto include the M2-brane wrapping modes and shed some light on the problem of defininga manifestly U-duality invariant sigma-model.23 SL (5) Exceptional Field Theory Fluxes
Going one step further, we would now like to determine in a systematic way the fluxes in SL (5) exceptional field theory, as first discussed in [4]. In that case, the base manifold M isextended to include coordinates conjugate to both the momentum and wrapping modes ofclosed M2-branes. In the present case the extended space M is 10-dimensional with localcoordinates x I = ( x i , ˜ x ij ) . (6.1)Explicitly, x I = x ¯ a ¯ b = − x ¯ b ¯ a are coordinates in the antisymmetric representation of SL (5) with ¯ a, ¯ b = 1 , , , ,
5. The spacetime coordinates are given by x i = − x i = x i with i = 1 , , , x ij = ǫ ijkl x kl infour dimensions. A field in the antisymmetric representation of SL (5) is a section of thegeneralized tangent bundle E = T M ⊕ V T ∗ M , so a local model for the extended spacemay be taken to be the total space M = V T ∗ M of the bundle of 2-forms on M , with x i local coordinates on the base M and ˜ x ij = − ˜ x ji local fibre coordinates. Correspondingly,dual derivatives are defined in addition to the standard ones, ∂ I = ( ∂ i , ˜ ∂ ij ) . (6.2)It is instructive at this point to recall that the local symmetries of exceptional field theoryare generated by a generalized Lie derivative L ξ A I = ξ J ∂ J A I − A J ∂ J ξ I + Y IJKL A K ∂ J ξ L , (6.3)where ξ I is a gauge generator for generalized diffeomorphisms and Y IJKL is an invarianttensor of the U-duality group, here SL (5). It reads as Y IJKL = ǫ ¯ aIJ ǫ ¯ aKL . (6.4)The role of this tensor becomes evident when closure of the algebra of gauge transformationsis imposed. This happens when a section condition is satisfied, which reads as Y IJKL ∂ I ⊗ ∂ J = 0 . (6.5)This operator equation expresses the fact that when it acts on any field or product of fieldsthe result should vanish. Restricting to fields satisfying this section condition, one finds[ L ξ , L ξ ] = L [[ ξ ,ξ ]] , (6.6)where the bracket appearing on the right-hand side is defined as[[ ξ , ξ ]] = ( L ξ ξ − L ξ ξ ) . (6.7)This bracket is the SL (5) covariantization of the higher Courant bracket (2.7), in the sameway that the O ( d, d ) covariantization of the standard Courant bracket is the C-bracket ofdouble field theory [55]. Indeed, when solving the section condition (6.5) by setting the dualderivatives ˜ ∂ ij to zero, the bracket of (6.7) becomes precisely the higher Courant bracket(2.7), and moreover L ξ · = ξ ◦ · is given by the higher Dorfman bracket (2.6). This is24xactly how this bracket was originally constructed in [56] and used in [6] to relate thegeometric formulation of SL (5) exceptional field theory to the embedding tensor formalismof seven-dimensional gauged supergravity, where the embedding tensor is related to thefluxes and in turn to the structure constants of the algebra of generalized diffeomorphisms.For our purposes, we employ the procedure given in [57] for double field theory fluxes. Arepresentation of the algebra (3.9a)–(3.9c) can be given by the Lie bracket of certain vectorfields which are sections of the tangent bundle T M of the extended manifold of exceptionalfield theory. We introduce two such fields in the holonomic basis, given by D i = ∂ i + C ijk ˜ ∂ jk , (6.8a)˜ D jk = ˜ ∂ jk + Ω jkl D l , (6.8b)and calculate their Lie brackets. Here the components of the 3-form C = C ijk d x i ∧ d x j ∧ d x k and the 3-vector Ω = Ω ijk ∂ i ∧ ∂ j ∧ ∂ k can depend on both physical and wrappingcoordinates. The result is [ D i , D j ] = G ijkl ˜ D kl + F ij m D m , (6.9a)[ D i , ˜ D jk ] = e F ilmjk ˜ D lm + Q ijkm D m , (6.9b)[ ˜ D ij , ˜ D kl ] = R ij,kl,n D n + e Q mnij,kl ˜ D mn , (6.9c)where we defined the exceptional field theory fluxes G ijkl = 4 ∂ [ i C jkl ] + 2 C mn [ i ˜ ∂ mn C jkl ] , (6.10a) F ij m = − G ijkl Ω klm + ˜ ∂ mk C ijk , (6.10b) e F ilmjk = G ilmn Ω njk − ˜ ∂ jk C ilm , (6.10c) Q ijkm = (cid:0) ∂ i Ω jkm + C iln ˜ ∂ ln Ω jkm + Ω lnm ˜ ∂ jk C iln + Ω ljk ˜ ∂ mn C iln − Ω jkn G inps Ω psm (cid:1) , (6.10d) e Q mnij,kl = (cid:0) Ω ijp G pp ′ mn Ω p ′ kl + Ω klr ˜ ∂ ij C rmn − Ω ijr ˜ ∂ kl C rmn (cid:1) − (cid:0) δ l [ m ∂ n ] Ω ijk − δ k [ m ∂ n ] Ω ijl − δ j [ m ∂ n ] Ω ikl + δ i [ m ∂ n ] Ω jkl (cid:1) (6.10e) − (cid:0) δ l [ m C n ] sp ˜ ∂ sp Ω ijk − δ k [ m C n ] sp ˜ ∂ sp Ω ijl − δ j [ m C n ] sp ˜ ∂ sp Ω ikl + δ i [ m C n ] sp ˜ ∂ sp Ω jkl (cid:1) ,R ij,kl,n = ˆ ∂ i [ j Ω kln ] − ˆ ∂ j [ i Ω kln ] − ˆ ∂ k [ l Ω ijn ] + ˆ ∂ l [ k Ω ijn ] − Ω ijm Ω klp Ω rsn G mprs + C mpr (cid:0) Ω mi [ j ˜ ∂ pr Ω kln ] − Ω mj [ i ˜ ∂ pr Ω kln ] − Ω mk [ l ˜ ∂ pr Ω ijn ] + Ω ml [ k ˜ ∂ pr Ω ijn ] (cid:1) + (cid:0) Ω stn Ω ijr ˜ ∂ kl − Ω stn Ω klr ˜ ∂ ij + 2 Ω ijt Ω klr ˜ ∂ ns (cid:1) C rst , (6.10f)and ˆ ∂ ij = ˜ ∂ ij + Ω ijk ∂ k . These expressions rely on the section condition, as also happensin the case of double field theory. As in the case of exceptional generalized geometry,these expressions are valid for any d , in which case the dimension of the extended space is d + d ( d − , however they simplify for the physically relevant case of d = 4, where e F and e Q can be related to F and Q respectively. 25o write these expressions in a non-holonomic frame, we introduce a vielbein e a = e ai ∂ i whose components e ai can depend on both physical and wrapping coordinates, togetherwith the dual vector fields ˜ e ab = e [ ai e b ] j ˜ ∂ ij . Then the fluxes acquire additional terms andin the four-dimensional case they read as G abcd = 4 ∇ [ a C bcd ] + 2 C ef [ a e ∇ ef C bcd ] , (6.11a) F abc = f abc + C de [ a ˜ Γ deb ] c − Ω dec G abde + e ∇ cd C dab , (6.11b) Q abcd = ∂ a Ω bcd − ˜ Γ [ bcad ] + Ω e [ bc f aed ] + C aef e ∇ ef Ω bcd − C efg ˜ Γ ef a [ d Ω bc ] g + ˜ Γ dee [ c δ b ] a + Ω def C fgh ˜ Γ ghe [ c δ b ] a − Ω def f ef [ c δ b ] a + Ω efd e ∇ bc C aef + Ω bce e ∇ df C aef − Ω e [ bc Ω d ] fg G aefg , (6.11c) R ab,cd,e = b ∇ a [ b Ω cde ] − b ∇ b [ a Ω cde ] − b ∇ c [ d Ω abe ] + b ∇ d [ c Ω abe ] + C fgh (cid:0) Ω fa [ b e ∇ gh Ω cde ] − Ω fb [ a e ∇ gh Ω cde ] − Ω fc [ d e ∇ gh Ω abe ] + Ω fd [ c e ∇ gh Ω abe ] (cid:1) + (cid:0) Ω fge Ω abh e ∇ cd − Ω fge Ω cdh e ∇ ab + 2 Ω abg Ω cdh e ∇ ef (cid:1) C hfg , (6.11d)where we defined the dual connection˜ Γ abcd = e dk e [ ai e b ] j ˜ ∂ ij e kc , (6.12)and e ∇ ab C cde = ˜ ∂ ab C cde − ˜ Γ abcf C fde − ˜ Γ abdf C cfe − ˜ Γ abef C cdf , (6.13a) b ∇ ab = e ∇ ab + Ω abc ∇ c , (6.13b)are the dual covariant derivatives.Finally, let us compare our results with the SL (5) fluxes described in [4, 10], where a grouptheoretical derivation in terms of SL (5) representation theory was used. Based on the em-bedding tensor formalism for gaugings of seven-dimensional maximal supergravity [58], therelevant representations of SL (5) are ⊕ ⊕ , and therefore the fluxes should exhaustthese representations. This may be confirmed by using their branching decompositionsunder the embedding SL (5) ⊃ SL (4) × R + , which read as (cid:12)(cid:12) SL (4) = ⊕ , (6.14a) (cid:12)(cid:12) SL (4) = ⊕ ⊕ , (6.14b) (cid:12)(cid:12) SL (4) = ⊕ ⊕ ⊕ . (6.14c)The available fluxes that should be matched with these representations are the 4-form G -flux G abcd , the geometric torsion flux f abc , the Q -flux Q abcd and the R -flux R a,bcde . Clearly,the only singlet in these decompositions corresponds to the 4-form G -flux. Moreover, the R -flux, as a mixed-symmetry (1 ,
4) tensor, lives in one of the three representations of SL (4)—the one in the decomposition of . The torsion flux f abc has 24 components and We refrain from presenting the additional R + charges here. ⊕ , corresponding to its trace and traceless parts. The flux Q abcd , antisymmetric in its upper three indices, has 16 components, corresponding to therepresentations ⊕ , again containing a trace and a traceless part. What remains is thetrace part of the dual torsion flux ˜ Γ abbc , which contains a symmetric and an antisymmet-ric part with a total of 16 components living in the representations ⊕ . The last representation corresponds to the determinant of the seven-dimensional metric, and thisexhausts all representations of SL (4) appearing above. Therefore, the geometric approachbased on the higher Courant bracket reproduces all the fluxes obtained using the grouptheoretical approach. Motivated by the relation between T-duality and non-geometric fluxes in closed stringtheory, the properties of the Courant bracket in generalized geometry, and the gauge struc-ture of AKSZ-type topological membrane sigma-models, in this paper we have investigatedwhether such relations extend to the case of U-duality and fluxes in M-theory, the higherCourant bracket in exceptional generalized geometry, and AKSZ-type topological three-brane sigma-models. We established that upon a certain projection to SL (5) tensors, thelocal coordinate form of the axioms for a specific Lie algebroid up to homotopy based on theextended bundle T M ⊕ V T ∗ M coincides with the general expressions for geometric andnon-geometric fluxes in (7 + 4)-dimensional compactifications of M-theory, together withtheir Bianchi identities. The same expressions are also interpreted as the conditions forgauge invariance and closure of gauge transformations for a topological threebrane sigma-model, where the fluxes appear as generalized Wess-Zumino terms. It would be interestingto understand better the geometric features of the algebroid structure defined by our SL (5)projection of the Lie algebroid up to homotopy on T M ⊕ V T ∗ M . Given that the higherCourant algebroid structure on this extended bundle has a well-known realization as an L ∞ -algebra, see for example [18, 19, 59], it is an interesting problem to see how our spe-cific Lie algebroid up to homotopy fits into recent discussions of the L ∞ -algebra structureof gauge symmetries underlying the tensor hierarchy in exceptional field theory, see forinstance [60–62].This observation can serve as a first step toward a new geometric understanding of theworldvolume approach to M-theory. This requires extension of the analysis presented herein several directions. In this paper we focused on the case of the exceptional group SL (5),which is the (continuous) U-duality group for M-theory compactified on a four-dimensionaltorus. Obviously, a more complete treatment would require studying the fluxes for lower(higher) number of external (internal) dimensions, where the U-duality group is larger. Astandard complication in that case is that M5-brane charges emerge, and the extendedbundles are larger and not of the type T M ⊕ V p T ∗ M , while the corresponding topologicalsigma-model that encodes the fluxes as Wess-Zumino terms is expected to be more com-plicated as U-duality now exchanges charged objects of different dimensionalities. Somediscussions of these issues can be found in [44, 61, 63].Another open problem is to construct a threebrane sigma-model with an extended basespace, similarly to double field theory where the coordinates are doubled, whose gener-27lized Wess-Zumino terms would accomodate the exceptional field theory fluxes, derivedfor the U-duality group SL (5) in Section 6. In the SL (5) case this would require a ten-dimensional extended space, and even higher-dimensional for larger U-duality groups. Tar-get space exceptional field theories with manifest U-duality invariance were constructed inrecent years in [64–68], however the corresponding worldvolume problem remains open [54].Applying the strategy developed in [36] for the construction of T-duality invariant mem-brane sigma-models could be helpful in that case, although its precise implementation isnot straightforward. In addition, one should then deal with the section condition andunderstand its geometric origin in the context of weaker algebroid structures, similar tothe (pre-)DFT algebroids defined in [36] and formulated in [69] in terms of an AKSZ-typeconstruction.Finally, another issue that we did not discuss in the present paper is the nonassociativity ofthe M2-brane phase space, which is deformed by the presence of the locally non-geometricM-theory R -flux [7,8]. This problem requires the extension of the base manifold M and fallsin the same line of discussion as previously. In other words, one would have to include thewrapping coordinates of closed M2-branes in order to see how nonassociativity manifestsitself in the worldvolume approach. Similarly, it would be interesting to find a geometricinterpretation for the fact that the phase space of M-theory, when R -flux is turned on, isdimensionally reduced from eight to seven dimensions due to the absence of momentummodes along the M-theory circle [7–10]. Acknowledgements.
We thank Ralph Blumenhagen, Mark Bugden, Fech Scen Khoo,Zolt´an K¨ok´enyesi, Emanuel Malek, Erik Plauschinn, Felix Rudolph and Marc Syv¨ari forhelpful discussions. We acknowledge support by COST (European Cooperation in Scienceand Technology) in the framework of the Action MP1405 QSPACE. The work of A.Ch. issupported by the Croatian Science Foundation Project “New Geometries for Gravity andSpacetime” (IP-2018-01-7615). A.Ch. and L.J. are partially supported by the EuropeanUnion through the European Regional Development Fund – The Competitiveness andCohesion Operational Programme (KK.01.1.1.06) and by the H2020 CSA Twinning ProjectNo. 692194 “RBI-T-WINNING”. The work of D.L. was partially supported by the ERCAdvanced Grant “Strings and Gravity” (Grant No. 320045). The work of R.J.S. wassupported by the Consolidated Grant ST/P000363/1 from the UK Science and TechnologyFacilities Council.
References [1] M. Gra˜na, “Flux compactifications in string theory: A comprehensive review,” Phys.Rept. (2006) 91–158 [arXiv:hep-th/0509003].[2] E. Plauschinn, “Non-geometric backgrounds in string theory,” arXiv:1811.11203 [hep-th].[3] R. J. Szabo, “Higher quantum geometry and non-geometric string theory,” PoSCORFU (2018) 151 [arXiv:1803.08861 [hep-th]].284] C. D. A. Blair and E. Malek, “Geometry and fluxes of SL (5) exceptional field theory,”JHEP (2015) 144 [arXiv:1412.0635 [hep-th]].[5] D. S. Berman and M. J. Perry, “Generalized geometry and M-theory,” JHEP (2011) 074 [arXiv:1008.1763 [hep-th]].[6] P. du Bosque, F. Hassler, D. L¨ust and E. Malek, “A geometric formulation of excep-tional field theory,” JHEP (2017) 004 [arXiv:1605.00385 [hep-th]].[7] M. G¨unaydin, D. L¨ust and E. Malek, “Nonassociativity in non-geometric string and M-theory backgrounds, the algebra of octonions, and missing momentum modes,” JHEP (2016) 027 [arXiv:1607.06474 [hep-th]].[8] V. G. Kupriyanov and R. J. Szabo, “ G -structures and quantization of non-geometricM-theory backgrounds,” JHEP (2017) 099 [arXiv:1701.02574 [hep-th]].[9] D. L¨ust, E. Malek and R. J. Szabo, “Non-geometric Kaluza-Klein monopolesand magnetic duals of M-theory R -flux backgrounds,” JHEP (2017) 144[arXiv:1705.09639 [hep-th]].[10] D. L¨ust, E. Malek and M. Syv¨ari, “Locally non-geometric fluxes and missing momentain M-theory,” JHEP (2018) 050 [arXiv:1710.05919 [hep-th]].[11] W. Siegel, “Two vierbein formalism for string inspired axionic gravity,” Phys. Rev. D (1993) 5453–5459 [arXiv:hep-th/9302036].[12] W. Siegel, “Superspace duality in low-energy superstrings,” Phys. Rev. D (1993)2826–2837 [arXiv:hep-th/9305073].[13] C. M. Hull and B. Zwiebach, “Double field theory,” JHEP (2009) 099[arXiv:0904.4664 [hep-th]].[14] C. M. Hull, “Generalised geometry for M-theory,” JHEP (2007) 079[arXiv:hep-th/0701203].[15] P. Pires Pacheco and D. Waldram, “M-theory, exceptional generalised geometry andsuperpotentials,” JHEP (2008) 123 [arXiv:0804.1362 [hep-th]].[16] Y. Hagiwara, “Nambu-Dirac manifolds,” J. Phys. A (2002) 1263–1281.[17] G. Bonelli and M. Zabzine, “From current algebras for p -branes to topological M-theory,” JHEP (2005) 015 [arXiv:hep-th/0507051].[18] M. Zambon, “ L ∞ -algebras and higher analogues of Dirac structures and Courant al-gebroids,” J. Sympl. Geom. (2012) 563–599 [arXiv:1003.1004 [math.SG]].[19] Y. Bi and Y. Sheng, “On higher analogues of Courant algebroids,” Sci. China Math.A (2011) 437–447 [arXiv:1003.1350 [math.DG]].[20] P. Bouwknegt and B. Jurˇco, “AKSZ construction of topological open p -brane actionand Nambu brackets,” Rev. Math. Phys. (2013) 1330004 [arXiv:1110.0134 [math-ph]]. 2921] T. J. Courant, “Dirac manifolds,” Trans. Amer. Math. Soc. (1990) 631–661.[22] Z.-J. Liu, A. Weinstein and P. Xu, “Manin triples for Lie bialgebroids,” J. Diff. Geom. (1997) 547–574 [arXiv:dg-ga/9508013].[23] N. Halmagyi, “Non-geometric backgrounds and the first order string sigma-model,”arXiv:0906.2891 [hep-th].[24] R. Blumenhagen, A. Deser, E. Plauschinn and F. Rennecke, “Bianchi identities fornon-geometric fluxes – From quasi-Poisson structures to Courant algebroids,” Fortsch.Phys. (2012) 1217–1228 [arXiv:1205.1522 [hep-th]].[25] N. Ikeda, “Chern-Simons gauge theory coupled with BF-theory,” Int. J. Mod. Phys.A (2003) 2689–2702 [arXiv:hep-th/0203043].[26] J.-S. Park, “Topological open p -branes,” in: Symplectic Geometry and Mirror Symme-try , eds. K. Fukaya, Y.-G. Oh, K. Ono and G. Tian (World Scientific, 2001), pp. 311–384 [arXiv:hep-th/0012141].[27] C. Hofman and J.-S. Park, “BV quantization of topological open membranes,” Com-mun. Math. Phys. (2004) 249–271 [arXiv:hep-th/0209214].[28] D. Roytenberg, “On the structure of graded symplectic supermanifolds and Courantalgebroids,” Contemp. Math. (2002) 169–186 [arXiv:math.SG/0203110].[29] D. Roytenberg, “AKSZ–BV formalism and Courant algebroid-induced topological fieldtheories,” Lett. Math. Phys. (2007) 143–159 [arXiv:hep-th/0608150].[30] M. Henneaux, “Lectures on the antifield-BRST formalism for gauge theories,” Nucl.Phys. Proc. Suppl. (1990) 47–106.[31] J. Gomis, J. Paris and S. Samuel, “Antibracket, antifields and gauge theory quantiza-tion,” Phys. Rept. (1995) 1–145 [arXiv:hep-th/9412228].[32] M. Alexandrov, M. Kontsevich, A. Schwarz and O. Zaboronsky, “The geometry ofthe master equation and topological quantum field theory,” Int. J. Mod. Phys. A (1997) 1405–1429 [arXiv:hep-th/9502010].[33] D. Mylonas, P. Schupp and R. J. Szabo, “Membrane sigma-models and quantization ofnon-geometric flux backgrounds,” JHEP (2012) 012 [arXiv:1207.0926 [hep-th]].[34] A. Chatzistavrakidis, L. Jonke and O. Lechtenfeld, “Sigma-models for genuinely non-geometric backgrounds,” JHEP (2015) 182 [arXiv:1505.05457 [hep-th]].[35] T. Bessho, M. A. Heller, N. Ikeda and S. Watamura, “Topological membranes, currentalgebras and H -flux– R -flux duality based on Courant algebroids,” JHEP (2016)170 [arXiv:1511.03425 [hep-th]].[36] A. Chatzistavrakidis, L. Jonke, F. S. Khoo and R. J. Szabo, “Double field theory andmembrane sigma-models,” JHEP (2018) 015 [arXiv:1802.07003 [hep-th]].3037] C. M. Hull and R. A. Reid-Edwards, “Flux compactifications of M-theory on twistedtori,” JHEP (2006) 086 [arXiv:hep-th/0603094].[38] I. Bakhmatov, D. S. Berman, A. Kleinschmidt, E. T. Musaev and R. Otsuki, “Exoticbranes in exceptional field theory: The SL (5) duality group,” JHEP (2018) 021[arXiv:1710.09740 [hep-th]].[39] N. Ikeda and K. Uchino, “QP-structures of degree 3 and 4 D topological field theory,”Commun. Math. Phys. (2011) 317–330 [arXiv:1004.0601 [hep-th]].[40] N. Ikeda, “Lectures on AKSZ sigma-models for physicists,” in: Noncommutative Ge-ometry and Physics 4 , eds. Y. Maeda, H. Moriyoshi, M. Kotani and S. Watamura(World Scientific, 2017), pp. 79–170 [arXiv:1204.3714 [hep-th]].[41] M. Gr¨utzmann, “ H -twisted Lie algebroids,” J. Geom. Phys. (2011) 476–484[arXiv:1005.5680 [math.DG]].[42] M. Gr¨utzmann and T. Strobl, “General Yang-Mills type gauge theories for p -formgauge fields: From physics-based ideas to a mathematical framework or From Bianchiidentities to twisted Courant algebroids,” Int. J. Geom. Meth. Mod. Phys. (2014)1550009 [arXiv:1407.6759 [hep-th]].[43] U. Carow-Watamura, M. A. Heller, N. Ikeda, T. Kaneko and S. Watamura, “Off-shell covariantization of algebroid gauge theories,” PTEP (2017) 083B01[arXiv:1612.02612 [hep-th]].[44] Z. K¨ok´enyesi, A. Sinkovics and R. J. Szabo, “AKSZ constructions for topologicalmembranes on G -manifolds,” Fortsch. Phys. (2018) 1800018 [arXiv:1802.04581[hep-th]].[45] N. Hitchin, “Generalized Calabi-Yau manifolds,” Quart. J. Math. (2003) 281–308[arXiv:math-dg/0209099].[46] M. Gualtieri, “Generalized complex geometry,” PhD Thesis, University of Oxford[arXiv:math-dg/0401221].[47] D. Roytenberg, “Courant algebroids, derived brackets and even symplectic superman-ifolds,” PhD Thesis, University of California at Berkeley [arXiv:math.DG/9910078].[48] Y. Kosmann-Schwarzbach, “Quasi, twisted, and all that . . . in Poisson geometry andLie algebroid theory,” Progr. Math. (2005) 363–389 [arXiv:math.SG/0310359].[49] D. Andriot, M. Larfors, D. L¨ust and P. Patalong, “A ten-dimensional action for non-geometric fluxes,” JHEP (2011) 134 [arXiv:1106.4015 [hep-th]].[50] A. Chatzistavrakidis, L. Jonke and O. Lechtenfeld, “Dirac structures on nilmanifoldsand coexistence of fluxes,” Nucl. Phys. B (2014) 59–82 [arXiv:1311.4878 [hep-th]].[51] C. M. Hull and R. A. Reid-Edwards, “Flux compactifications of string theory ontwisted tori,” Fortsch. Phys. (2009) 862–894 [arXiv:hep-th/0503114].3152] T. Asakawa, H. Muraki, S. Sasa and S. Watamura, “Poisson-generalized geometry and R -flux,” Int. J. Mod. Phys. A (2015) 1550097 [arXiv:1408.2649 [hep-th]].[53] M. J. Duff and J. X. Lu, “Duality rotations in membrane theory,” Nucl. Phys. B (1990) 394–419.[54] M. J. Duff, J. X. Lu, R. Percacci, C. N. Pope, H. Samtleben and E. Sezgin, “Membraneduality revisited,” Nucl. Phys. B (2015) 1–21 [arXiv:1509.02915 [hep-th]].[55] C. M. Hull and B. Zwiebach, “The gauge algebra of double field theory and Courantbrackets,” JHEP (2009) 090 [arXiv:0908.1792 [hep-th]].[56] D. S. Berman, H. Godazgar, M. Godazgar and M. J. Perry, “The local symmetriesof M-theory and their formulation in generalised geometry,” JHEP (2012) 012[arXiv:1110.3930 [hep-th]].[57] R. Blumenhagen, X. Gao, D. Herschmann and P. Shukla, “Dimensional oxidation ofnon-geometric fluxes in type II orientifolds,” JHEP (2013) 201 [arXiv:1306.2761[hep-th]].[58] H. Samtleben and M. Weidner, “The maximal D = 7 supergravities,” Nucl. Phys. B (2005) 383–419 [arXiv:hep-th/0506237].[59] D. Baraglia, “Leibniz algebroids, twistings and exceptional generalized geometry,” J.Geom. Phys. (2012) 903–934 [arXiv:1101.0856 [math.DG]].[60] M. Cederwall and J. Palmkvist, “ L ∞ -algebras for extended geometry from Borcherdssuperalgebras,” arXiv:1804.04377 [hep-th].[61] A. S. Arvanitakis, “Brane Wess-Zumino terms from AKSZ and exceptional generalisedgeometry as an L ∞ -algebroid,” arXiv:1804.07303 [hep-th].[62] Y. Cagnacci, T. Codina and D. Marques, “ L ∞ -algebras and tensor hierarchies in excep-tional field theory and gauged supergravity,” JHEP (2019) 117 [arXiv:1807.06028[hep-th]].[63] D. S. Berman, E. T. Musaev and R. Otsuki, “Exotic branes in exceptional field theory: E and beyond,” JHEP (2018) 053 [arXiv:1806.00430 [hep-th]].[64] D. S. Berman, H. Godazgar, M. J. Perry and P. West, “Duality invariant actions andgeneralised geometry,” JHEP (2012) 108 [arXiv:1111.0459 [hep-th]].[65] O. Hohm and H. Samtleben, “Exceptional form of D = 11 supergravity,” Phys. Rev.Lett. (2013) 231601 [arXiv:1308.1673 [hep-th]].[66] O. Hohm and H. Samtleben, “Exceptional field theory I: E -covariant form of M-theory and type IIB,” Phys. Rev. D (2014) 066016 [arXiv:1312.0614 [hep-th]].[67] O. Hohm and H. Samtleben, “Exceptional field theory II: E ,” Phys. Rev. D (2014) 066017 [arXiv:1312.4542 [hep-th]].3268] O. Hohm and H. Samtleben, “Exceptional field theory III: E ,” Phys. Rev. D (2014) 066002 [arXiv:1406.3348 [hep-th]].[69] Z. K¨ok´enyesi, A. Sinkovics and R. J. Szabo, “Double field theory for the A/B-modelsand topological S-duality in generalized geometry,” Fortsch. Phys.66