Next Article in Journal
The Standard Model of Particle Physics with Diracian Neutrino Sector
Next Article in Special Issue
Optical Helicity and Optical Chirality in Free Space and in the Presence of Matter
Previous Article in Journal
A New Model for Defining the Criteria of Service Quality in Rail Transport: The Full Consistency Method Based on a Rough Power Heronian Aggregator
Previous Article in Special Issue
Topologically Protected Duality on The Boundary of Maxwell-BF Theory

Symmetry 2019, 11(8), 993; https://doi.org/10.3390/sym11080993

Review
U-Dualities in Type II and M-Theory: A Covariant Approach
Moscow Institute of Physics and Technology, Institutskii per. 9, 141700 Dolgoprudny, Russia
Received: 12 June 2019 / Accepted: 23 July 2019 / Published: 3 August 2019

Abstract

:
In this review, a short description of exceptional field theory and its application is presented. Exceptional field theories provide a U-duality covariant description of supergravity theories, allowing addressing relevant phenomena, such as non-geometricity. Some applications of the formalism are briefly described.
Keywords:
T-duality; exotic branes; non-geometric backgrounds; exceptional field theory

1. Introduction

The notion of symmetry has been one of the most important drivers for theoretical physics in recent decades. Recently, of most interest have been duality symmetries relating different theories or different regimes of the same theory. The most well-known example of the former is the renowned AdS/CFT correspondence of Maldacena [1], and more generally gauge-gravity duality. This correspondence relates string theory on A d S 5 × S 5 at small coupling and the quantum N = 4 SYM at strong coupling. This is based on equivalence between two descriptions of the same near-horizon region of the D3-brane in terms of the open and closed strings, and allows addressing phenomena in CFT at strong coupling in terms of gravitational degrees of freedom at weak coupling.
String theory also possesses symmetries, called T- and S-dualities, which relate different regimes of the same theory. These allowed unifying five string theories, Type IIA/B, Type I, heterotic O ( 32 ) and E 8 × E 8 , into a duality web and to understand all these as different regimes of a single theory, usually addressed as M-theory [2,3]. T-duality is a perturbative symmetry of the fundamental string and is the oldest known duality in string theory. It manifests itself in the amazing fact that Type IIA and Type IIB string theories compactified on a 1-torus S 1 are equivalent at quantum level. Most transparently this can be seen when looking at the mass spectrum of the closed string on a background with one circular direction of radius R
M 2 = p 2 + n 2 R 2 + m 2 R 2 α 2 + 2 ( N + N ¯ 2 ) .
Here n is the number of discrete momenta of the string along the circular direction and m is the number of windings of the string around the cycle, N and N ¯ correspond to the numbers of higher level left and right modes on the string. One immediately notices that the mass spectrum is symmetric under the following replacement
R α R , m n .
The symmetry relates backgrounds with radii R and a / R upon switching string momentum and winding modes. More generally T-duality mixes metric and 2-form gauge field degrees of freedom, thus potentially completely messing up structure of space-time. In particular, the symmetry allows consistently defining string dynamics on such backgrounds, given by explicit metric G μ ν and the Kalb-Ramond field B μ ν that cannot be consistently described in terms of manifolds. Instead, these are related to as T-folds, which are defined as a set of patches glued by T-duality transformations, rather than diffeomorphisms [4]. Such backgrounds are called non-geometric and are of huge interest for cosmological model building as string vacua potentially capable of completely stabilizing scalar moduli ending up with a dS-like space with small cosmological constant.
T-duality is a perturbative symmetry of string theory seen already in the mass spectrum of string excitations. S-duality of Type IIB string theory provides an example of non-perturbative string symmetry. This relates strong and weak coupled regimes of the theory, and in addition relates heterotic SO ( 32 ) and Type I strings. The net of dualities between five string theories allows understanding them as different approximations to a single 11-dimensional theory called M-theory. The 11th direction arises in the strong coupling limit of Type IIA theory.
M-theory describes dynamics of M2 and M5 branes, which are fundamental 2 and 5 dimensional objects interacting with 3-form and 6-form gauge potentials dual to each other [3]. Low-energy limit of the theory is captured by 11-dimensional maximal supergravity, whose algebra of central charges is nicely interpreted in terms of M2 and M5 brane charges [3]. M-theory compactified on a circle S 1 gives Type IIA theory with the fundamental string arising from wrapped M2 brane. Compactifying M-theory on a 2-torus one recovers either Type IIA or Type IIB depending on the reduction scheme, which is the fundamental precursor for T-duality symmetry between these theory. In addition, modular symmetry of the torus gives rise to S-duality symmetry of Type IIB as will be explained in more details below. Together, T- and S-duality of the string combine into a set of U-duality symmetries, which appears to be a powerful tool for investigating properties and the internal structure of M-theory. This review is focused on duality symmetries of string and M-theory and in particular at approaches to supergravity covariant with respect to these symmetries.

1.1. Dualities in String Theory

S-duality is a hidden symmetry of the Type IIB string theory which relates strong and weak coupling regimes. On the field theory level this can be recovered by inspecting spectrum of massless modes of the Type IIB string, which includes
g , ϕ , B ( 2 ) , C ( 0 ) , C ( 2 ) , C ( 4 ) ,
where g is the metric, ϕ is the scalar field called the dilaton and the 4-form gauge field C ( 4 ) is defined to have self-dual field strength. With the action of the S-duality group SL ( 2 , R ) the fields drop into irreducible representations with g being a scalar, the 2-forms B ( 2 ) , C ( 2 ) combine into a doubled and the scalar fields ϕ , C ( 0 ) combine into the so-called axio-dilaton defined as
τ = C ( 0 ) + i e ϕ .
Axio-dilaton transforms non-linearly under S-duality
τ = a τ + b c τ + d , a b c d SL ( 2 , R ) .
The existence of this hidden symmetry of the Type IIB massless string spectrum suggests that the supergravity action can be rewritten in an SL ( 2 , R ) -covariant form, which is indeed possible and results in the following (see e.g., [5]):
S I I B = 1 2 d 10 x ( R 1 4 T r ( M M 1 ) + 3 4 H μ ν ρ I M I J H μ ν ρ J + 5 6 F μ ν ρ σ F μ ν ρ σ + 1 96 g ϵ I J C ( 4 ) H ( 3 ) I H ( 3 ) J ) ,
where the indices I , J , = 1 , 2 label the fundamental 2 representation of SL ( 2 ) and
M I J = 1 τ | τ | 2 τ τ 1 , H μ ν ρ I = [ μ B ν ρ ] I , F μ ν ρ σ κ = [ μ C ν ρ σ κ ] + 3 4 ϵ I J B [ μ ν I ρ B σ κ ] J .
One may notice that the transformation (5) has the form that of the transformation of complex structure of a 2-torus. This observation leads to the geometrical picture which is behind F-theory, a 12-dimensional field theory, whose compactification on a 2-torus gives an orientifold reduction of Type IIB theory (for more details see e.g., [6,7]). Freedom in definition of a complex structure on the 2-torus of F-theory is equivalent to the S-duality symmetry of the 10-dimensional theory. Such geometric interpretation of a symmetry of a theory goes along the line of the old Kaluza-Klein idea, where the U(1) gauge symmetry of Maxwell theory is lifted into reparametrisations of a small circle (1-torus) of a 5-dimensional gravitational theory with no electromagnetic degrees of freedom. In this short review we highlight basic features and list some applications of the so-called Doubled (Exceptional) Field Theory, which does the same to T(U)-dualities of string (M-)theory, i.e., provides a geometric interpretation of the duality symmetries in terms of geometry of an especially constructed higher dimensional space.
T-duality is a hidden symmetry of the 2-dimensional non-linear sigma model (string theory) which relates the theory on a torus with radius R x of a given direction x and the same theory on a torus with radius α / R x of the same direction. Under T-duality transformation of the string background, given by the metric, Kalb-Ramond 2-form field, the dilaton and the RR fields, partition function of the string does not change. Consider the action for the closed string on a background with one circular direction in the conformal gauge and adopt the light cone world-sheet coordinates σ ±
S 1 [ θ ] = d 2 σ G + B μ ν + X μ X ν = d 2 σ G θ θ + θ θ + E α ^ θ + X α ^ θ + E θ α ^ + θ X α ^ + E α ^ β ^ + X α ^ X β ^ .
Here μ , ν = 0 , , 9 label all ten space-time directions, θ = θ ( σ ± ) parametrizes the compact direction and α ^ , β ^ = 0 , , 8 parametrize the rest. For the background fields we define E = G + B . To see that the action above is invariant under replacing the circle S θ 1 of radius R by a circle S λ 1 of the inverse radius 1 / R parametrized by λ , one used the global symmetry θ θ + ξ and turns it into a local one. The gauging is performed by introducing a world-volume 1-form gauge field A = A + d σ + + A d σ and replacing normal derivatives by covariant e d θ D θ = d θ + A . To turn back to the correct counting of the degrees of freedom in the theory one must introduce a Lagrange multiplier to restrict the gauge field to pure gauge. Hence, one arrives at the following action
S 2 [ θ , λ , A ] = S 1 [ d θ D θ ] + λ F ,
where F = d A is the field strength for the gauge field A. Integrating the Lagrange multiplier λ out of the partition function one return back to the action S 1 [ θ ] . Alternatively, integrating out vector degrees of freedom A one arrives at (for more details see [8])
S 2 [ λ ] = d 2 σ G λ λ + λ λ + E α ^ λ + X α ^ λ + E λ α ^ + λ X α ^ + E α ^ β ^ + X α ^ X β ^ ,
with the new background E = G + B defined by the so-called Buscher rules
G λ λ = 1 G θ θ , E λ α ^ = 1 G θ θ E θ α ^ , E α ^ λ = 1 G θ θ E α ^ θ , E α ^ β ^ = E α ^ β ^ E α ^ θ 1 G θ θ E θ β ^ .
Since the partition function did not change during the above procedure, the physics of the string on two background related by the T-duality transformation (11) is the same. Taking into account the transformation of measure of the functional integral one supplements the above rules by the following transformation of the dilaton:
φ 1 4 ln det G = φ 1 4 ln det G .
In the more general case of the string on a background with d compact isometric directions the group of T-duality transformations can be shown to be O ( d , d ; Z ) . The most convenient tool for that is the so-called Duff’s procedure [9,10] which exploits hidden symmetry between equations of motion and Bianchi identities following from the action for the non-linear sigma model
S = d 2 σ h h a b G μ ν + ϵ a b B μ ν a X μ b X ν
For the metric and the B-field equations of motion and Bianchi identities can be rewritten in explicitly O ( d , d ; Z ) -covariant form
η M N Φ ˜ i N = H M N Φ i N .
Here we define combinations
Φ ˜ i M = ϵ a b b X μ ϵ a b b Y μ , Φ i M = h h a b b X μ h h a b b Y μ
of derivatives of the normal coordinates X μ and the dual coordinates Y μ . The equation (14) can be considered to be self-duality constraints, which remove half of the fields of the full doubled set X M = ( X μ , Y μ ) . The matrix H M N parametrizes the background fields in a T-duality covariant manner
H M N = G μ ν B μ ρ B ρ ν B μ ν B μ ν G μ ν O ( d , d ) O ( d ) × O ( d ) .
The invariant tensor of the O ( d , d ) group η M N is taken in the block-skew-diagonal form
η M N = 0 δ ν μ δ ν μ 0 .
At the level of string theory T-duality is a proper symmetry of the theory, which does not change physics upon a transformation. When reducing to the low-energy dynamics governed by 10-dimensional half-maximal supergravity, T-duality turns into a solution-generating symmetry, as it transforms a given string theory background into another one. In this case, the symmetry group O ( d , d ; R ) is defined over rational numbers rather than only integers. In what follows, we will always denote this group simply by O ( d , d ) , and add Z explicitly when needed.

1.2. U-duality in Maximal Supergravity

When combined into the web of dualities five string theories become a single 11-dimensional M-theory, encoded in dynamics of M2 and M5 branes. T- and S-duality symmetries lift into U-dualities of the membranes; however, these are much more complicated for a sigma model analysis. In the seminal paper by Cremmer, Julia, Lu and Pope [11,12] it has been shown that 11-dimensional supergravity compactified on a d-torus T d possesses hidden symmetry E d ( d ) . This is reflected in the fact that all bosonic field of the reduced theory can be collected into irreducible representations of the U-duality group, while fermionic fields transform under maximal compact subgroup of E d ( d ) . Here the notation d ( d ) means that one takes maximal real subgroup of complexification of the group E d .
The most transparent way to see the symmetry is to analyse spectrum of fields in the lower dimensional theory obtained by reduction of the 11-dimensional fields G μ ^ ν ^ , C μ ^ ν ^ ρ ^ say to 4 dimensions.
As it is shown in Figure 1 the resulting fields can be collected into the vector fields A μ M transforming in the 56 of E 7 , scalar coset M M N E 7 ( 7 ) / S U ( 8 ) , E 7 scalars G μ ν and a constant C μ ν ρ . Vector degrees of freedom ( A μ m , A μ m n ) coming from the metric and the 3-form field correspond 28 electric gauge potentials. To compose the 56 irrep of E 7 , which is representation of the lowest dimension, one adds magnetic potentials ( A ˜ μ m , A ˜ μ m n ) and imposes self-duality condition on the U-duality covariant field strength
F μ ν M = i 2 ϵ μ ν ρ σ Ω M N M N K F ρ σ K .
Here Ω M N is the symmetric invariant tensor of E 7 and M M N is the scalar matrix which parametrizes the coset space E 7 ( 7 ) / S U ( 8 ) and the antisymmetric tensor is usually chosen to be ϵ 0123 = i . The field strength is defined as usual as F μ ν M = 2 [ μ A ν ] M . As it has been explicitly shown in detail in [11], to end up with irreducible representations of the U-duality group one must dualize all tensor fields to the lowest possible rank. For the 2-form field B μ ν m one constructs gauge invariant 3-form field strength, whose Bianchi identities and equations of motion can be swapped by Hodge dualization to a 1-form field strength. This is associated with scalar fields. To keep covariancy and to recover tensor hierarchy one must add the same amount of 2-form fields and impose duality condition.
Finally, equations of motion for the 3-form field in 4 dimensions imply that the field strength is constant. It appears that this constant is not a scalar under the U-duality group, and one must either set it to zero or to turn on all constant belonging to its representation. This can be done consistently in embedding tensor formalism, which results in a deformed theory with non-abelian gauge symmetry [13].
In conventional supergravity U-duality symmetry is a global symmetry of the theory similar to the U(1) duality symmetry of equations of motion of electrodynamics. In exceptional field theories this symmetry receives a geometric interpretation as a symmetry of the underlying space-time. To carry a proper representation of a U-duality group E d space-time coordinates must be extended following a special rule based on winding of branes, both standard and exotic. In Section 2.1 the construction and local symmetries of the extended space will be explained in more details, in Section 2.3 field spectrum and action of exceptional field theories will be reviewed for a general U-duality group and for E 7 ( 7 ) as an explicit example. We will show that this theory reproduces the full 11D supergravity, Type IIA/B, D = 4 gauged and ungauged supergravities depending on the choice of solution of a special constraint called section condition. In Section 3.1 non-conventional solutions of this condition will be shown to lead to non-geometric backgrounds, i.e., such field configurations which are not globally or even locally well defined in terms of differential geometry. Finally, in Section 3.2 we consider exotic branes as T(U)-duality partners of the standard branes of string and M-theory, and review their description in terms of extended space and non-geometry in exceptional field theories.

2. Duality-Covariant Field Theories

2.1. Local Symmetries of Extended Space

Duality symmetries appear in toroidal reductions of supergravity and combine geometric symmetries of the torus (diffeomorphisms), gauge transformations and actual duality transformations mixing space-time and gauge degrees of freedom. To proceed with construction of a duality covariant theory, one understands the group of duality symmetries O ( d , d ) or E d ( d ) more fundamentally as descending from geometrical structure of the underlying space. Since d coordinates of the d-torus do not fit into an irreducible representation of the duality group, one has to consider an extended space.
In the previous section, we saw that T-duality symmetries relate winding and momentum modes of the string, and for the string on a torus T d the mass spectrum can be covariantly written as
M 2 = p 2 + H M N P M P N + ( N + N ¯ 2 ) ,
where H M N is the generalized metric and P M combines the momentum p m and winding w m of the string in an O ( d , d ) -covariant vector
P M = p m w m .
The first term p 2 contains momenta in “external” non-toroidal directions p 2 = η μ ν p μ p ν . Recalling Duff’s procedure, that operates with normal X m and dual Y m scalar fields on the world-volume of the string, it is natural to consider backgrounds, not necessarily toroidal that depend on the full set of T-duality covariant coordinates X M = ( x m , x ˜ m ) . Note that the generalized metric in the mass formula is constant since the background is toroidal, this is relaxed in exceptional field theory and the toroidal case is understood as the most symmetric background preserving all duality symmetries.
At the level of the non-linear sigma model extra degrees of freedom encoded by the dual scalar fields Y m are removed by the self-duality condition (14). Similarly, T-covariant field theory with fields depending on the doubled amount of coordinates must be augmented by a constraint that reduces the number of space-time direction. Apart from reference to the sigma model, this is necessary for further supersymmetric completion of the theory to avoid higher spin fields, which normally appear in supersymmetric theories in dimensions higher than 11. The condition naturally follows from construction of local diffeomorphism symmetry on the extended space parametrized by the coordinates X M which is defined by the so-called generalized Lie derivative
L Λ V M = Λ N N V M Λ M M V N + Y K L M N N Λ K V L ,
where V M = ( v m , ω m ) is a generalized vector combining a GL ( d ) vector v n and a 1-form ω m , the same for the transformation parameter Λ M = ( λ m , λ ˜ m ) . The tensor Y K L M N encoding deformation of the generalized Lie derivative away from the conventional GL ( d ) Lie derivative is subject to constraints following from consistency of algebra of transformation δ Λ V M = L Λ V M . These constraints have been analysed in [14] and can be summarized as
Y K L ( M N Y P Q R ) L Y P Q ( M N δ K R ) = 0 , for d 5 , Y K L M N = α d P K M L N + β d δ K M δ L N + δ L M δ K N , Y K B M A Y A L B N = ( 2 α d ) Y K L M N + ( D β d + α d ) β d δ K M δ L N + ( α d 1 ) δ L M δ K N .
Here d is the number of compact dimensions and P A B C D is the projector on the adjoint representation of the corresponding duality group. It is defined as P A B C D P D C K L = P A B K L and P A B B A = dim ( adj ) . The coefficients α d and β d depend on the duality group and for the cases in question take numerical values ( α 4 , β 4 ) = ( 3 , 1 5 ) , ( α 5 , β 5 ) = ( 4 , 1 4 ) , ( α 6 , β 6 ) = ( 6 , 1 3 ) . These conditions imply that the Y-tensor must be constructed from invariant tensors of the corresponding T- and U-duality groups (see Table 1).
The above still does not guarantee the algebra of transformations δ Λ V M is closed. Indeed, one writes
L Λ 1 L Λ 2 V M L Λ 2 L Λ 1 V M = L [ Λ 1 , Λ 2 ] C V M + F 0 M , F 0 M =
where the bracket [ Λ 1 , Λ 2 ] C = L L 1 Λ 2 L L 2 Λ 1 is a generalisation of the Courant bracket of the Hitchin’s generalised geometry. The obstruction F 0 M =for the algebra to close is proportional to terms of the type η M N M Φ 1 N Φ 2 , hence one naturally imposes the so-called section constraint
η M N M N = 0
where bullets stand for any combination of any fields. Similarly, one shows that the very same condition ensures satisfaction of the Jacobi identity for δ Λ .
The most natural and transparent solution of the section constraint is ˜ m = 0 , which is simply the condition that nothing depends on x ˜ m . This drops the generalized Lie derivative back to the conventional undoubled space-time and splits it into the usual Lie derivative and gauge transformations. More generally one can solve the section constraint by dropping dependence on all x ˜ m apart a given x ˜ d , and drop in addition dependence on the corresponding normal coordinate x d . Now one can use the set { x 1 , , x d 1 , x ˜ d } to measure distances, and hence these will correspond to geometric coordinates of the new frame. These two frames are related by a T-duality transformation along the direction d
T d : x d x ˜ d .
In the next subsection we construct Exceptional Field Theories, which do not distinguish between such frames, hence providing a local T(U)-duality covariant approach to supergravity.

2.2. Winding Modes and Exotic Branes

Before proceeding with the field theory construction it is suggestive to follow the logic of counting of winding modes of M-branes in M-theory in details. In contrast to the string, where the winding mode is always parametrized by a 1-form ω m irrespective of the number of compact directions, winding modes of branes follows more complicated pattern. To start with, one notices that winding modes of a p-brane can be parametrized by a p-form. Spectrum of M-theory contains M2, M5-branes, KK6-monopole and various additional (exotic) branes, whose counting will be useful for U-duality groups E 8 ( 8 ) and larger. Table 2 lists irreducible representations of U-duality groups for each dimension d of compact torus, governing transformation of extended coordinates X M and the corresponding generalized momentum P M . The normal geometric coordinates correspond to the usual momentum P of a state. Windings of M2 and M5 branes are given by 2- and 5-forms respectively and give C d 2 and C d 5 number of winding states, where C m n is the binomial coefficient. Hence, the M5 brane contributes only starting from dimension d = 5 , since it simply cannot wrap spaces of lower dimensions.
The Kaluza-Klein monopole K K 6 is an object with 6 + 1-dimensional worldvolume and one Taub-NUT direction corresponding to the Hopf cycle. This is magnetic dual of the graviton. Hence, it windings are represented by a mixed-symmetry tensor z ( 7 , 1 ) , which is a 7-form taking values in 1-forms and traceless. In components this is represented by the following tensor
z a 1 a 7 , b ,
where b must be equal to one of a i ’s for non-vanishing components. For d = 7 winding direction this amounts in 7 independent winding modes, while for the E 8 ( 8 ) case is is suggestive to contract z a 1 a 7 , b with Levi-Civita tensor as
z b a = z a 1 a 7 , b ϵ a 1 a 7 a .
In total z a b has 8 × 8 = 64 components and the condition z a a | no sum = 0 removes 8 more leaving only 56.
The important observation here is that the total number of momentum and winding modes for a d-torus with d < 8 sums up to dimension of an irreducible representation of the corresponding U-duality symmetry group. For d = 8 this apparently does not work, as summing winding modes of all branes up to the KK6 one obtains 148, while dimension of the smallest irrep is 248. To cure the result one first recalls that the spectrum of both string and M-theory contains exotic branes in addition to the normal (standard) branes. These are T(U)-duality partners of the normal branes and can be understood as sources of non-geometric backgrounds. Such backgrounds cannot be defined in terms of manifolds, instead these are described in terms of T(U)-folds [4,15,16], whose patches are glued by T(U)-duality transformations. At the level of field configurations this is realized as a monodromy when going around the point the exotic brane is placed [17].
It is convenient to label exotic branes in the same way as states of the 3D maximal supergravity are classified [3,17]. Hence, for any brane of string theory one adopts the notation b n ( c r c 1 ) , where b + 1 gives the number of world-volume directions, c i denote the number of special (quadratic, cubic etc.) directions and n gives the power of the string coupling constant g s in tension of the brane. Such brane completely wrapped on a torus would have tension given by
M b n ( c r c 1 ) = R i 1 R i b R j 1 2 R j c 1 2 g s n l s b + 2 c 1 + 3 c 2 + ( r + 1 ) c r + 1 ,
where R i denote radius of the i-th toroidal direction and l s is the string length. For example, for the NS5-brane, which has 6 world-volume directions, no special circles and whose tension scales as g s 2 , one would use the notation N S 5 = 5 2 0 5 2 . Kaluza-Klein monopole is denoted as K K 5 = 5 2 1 and has 6 worldvolume directions, one special circle corresponding to the Hopf fibre and its tension scales as g s 2 . In these notations duality symmetries of string theory act on such states as follows
T x : R x l s 2 R x , g s l s R x g s ; S : g s 1 g s , l s g s 1 2 l s .
The well-known example of a T-duality orbit containing exotic branes has been investigated in [18] (see also [19] for a review) and reads
5 2 0 5 2 1 5 2 2 5 2 3 5 2 4 .
The orbit starts with the NS5-brane, which is completely geometric and whose background can be consistently described both locally and globally in terms of the metric and the gauge field. Performing T-duality transformations along smeared transverse directions one obtains KK5-monopole 5 2 1 and then the exotic 5 2 2 -brane. The background of the 5 2 2 -brane cannot be described globally as it has non-trivial monodromy and is glued by T-duality. Going further along the orbit one recovers 5 2 3 -branes, whose background is not well defined even locally, and 5 2 4 -brane which is object of co-dimension-0. These branes, the corresponding backgrounds and their description in terms of T-duality covariant field theory will be considered in more details in Section 3.1.
Branes of M-theory completely wrapped on d compact direction with radii R i are in correspondence with massive BPS states of maximal ( 11 d ) -dimensional supergravity, and can be labelled b ( c r c 1 ) similarly to the branes of string theory. Tension of b ( c r c 1 ) -brane, or equivalently mass of the corresponding state, is then given by
M b ( c r c 1 ) = R i 1 R i b R j 1 2 R j c 1 2 l 11 b + 2 c 1 + 3 c 2 + ( r + 1 ) c r + 1 ,
where l 11 is the 11-dimensional Planck mass. In these notations the M2-brane is denotes as 2 0 2 , the KK6-monopole is denoted as 6 1 .
The exotic branes 5 3 , 2 6 and 0 ( 1 , 7 ) whose winding modes contribute counting for the E 8 ( 8 ) U-duality group, have three, six and 7 special Hopf-fiber-like direction. In addition, the 0 ( 1 , 7 ) brane has one cubic special circle. Interpretation of cubic circles is more subtle that that of the quadratic ones, some discussion of these for branes of the Type II theories can be found in [20]. Windings modes for these branes correspond to components of the following mixed symmetry tensors
5 3 : z a 1 a 8 , b 1 b 2 b 3 # = 56 2 6 : z a 1 a 8 , b 1 b 6 # = 28 0 ( 1 , 7 ) : z a 1 a 8 , b 1 b 7 , c 1 # = 8
where indices to the right after commas must be equal to the those to the left, i.e., for the last line we have c 1 = b 1 = a 1 and b’s = a’s. One immediately notices the reason these branes are the ones which are able to contribute the counting of winding for the E 8 ( 8 ) theory. Indeed, this U-duality group corresponds to d = 8 toroidal directions, hence 8 is the maximal number of antisymmetric indices one can have in a winding mode. Say for the 5 3 brane with 3 special directions this provides room for 5 longitudinal directions, while for the 0 ( 1 , 7 ) one is left with none, hence a 0-brane.
It is important to note that although one includes windings of exotic branes into the counting for the E 8 ( 8 ) case, components of the generalized momentum still do not sum up to 248, the smallest possible irrep being rather 240. This cannot be cured by adding more exotic branes, since no other such brane is able to fit the 8-torus. More importantly, as it will be clear from analysis of the field spectrum of exceptional field theory, the problem is much more than just counting of extra coordinates, a huge part of which would be dropped anyway. Vector fields of the theory must be in the same irrep as the generalized momentum to add up to a covariant derivative, hence one needs extra 8 field to build up an irrep. This is indeed what happens in the E 8 ( 8 ) ExFT: one introduces extra tensor fields and imposes conditions on them similar to the section constraint [21]. For E 9 ( 9 ) , which is an affine algebra with infinite-dimensional representations, one has to add infinitely many coordinates and fields. For larger U-duality groups the problem is even more complicated as first one encounters E 10 , which is an extension of the E 8 by two imaginary roots, and then E 11 , which must encode timelike direction as well. Some progress in the construction of such infinitely dimensional extended spaces and the corresponding theories has been made in [22,23,24,25].

2.3. Exceptional Field Theories

Consider a general exceptional field theory defined on D-dimensional space-time parametrized by coordinates x μ , which we will call “external” and N-dimensional extended space, which we will call “internal” parametrized by X M . It is important to note, however, that no compactification is assumed in formulation of the theory. Toroidal reductions of supergravity described in the previous subsection have been used exclusively for counting winding modes. In the framework of exceptional field theories, toroidal backgrounds represent a solution, which preserves the maximal amount of U-duality. In this respect, toroidal backgrounds for ExFT are the same as Minkowski for General Relativity. In what follows, all fields are allowed to depend on the whole set of coordinates ( x μ , X M ) .
On this space the following field content is defined: external metric g μ ν , N vector fields A μ M , generalized metric M M N and various external tensors B μ 1 μ r α transforming under an irrep of G the U-duality group. Generalized metric parametrized the coset space G / K , where K is the maximal compact subgroup of G. For supersymmetric theories one in addition defines fermions, transforming under an irrep of K.
Locally geometry of the extended space parametrized by X M is represented by the generalized Lie derivative L Λ , which defines generalized diffeomorphism transformations of generalized tensors along a generalized vector Λ M . Since, the vector Λ M = Λ M ( x , X ) depends both on the external and internal coordinates, partial derivative μ of a generalized tensor does not transform covariantly. To fix that one introduces long derivative following the usual approach of the Yang-Mills theory
D μ = μ L A μ .
Hence, the vector fields A μ M play the role of gauge connection in the theory. The corresponding field strength is defined in the usual way
[ D μ , D ν ] = L F μ ν .
One however faces a subtlety here noticing that such defined field strength F μ ν M is not a generalized tensor. This situation is familiar from the construction of maximal gauged supergravities, where one has to add p-form gauge field to a p-form field strength to build covariant expressions. Eventually, this leads to tensor hierarchy of the theory [26]. Hence, one defines
F μ ν M = F μ ν M + Y K L M N N B μ ν K L ,
using that L F μ ν L F μ ν up to the section constraint. In general, one shows that generalized vectors of the form Λ 0 M = Y K L M N N χ K L for any χ K L do not induce generalized diffeomorphisms when the section constraint is satisfied (for details see [27]). Hence, the 2-forms of the theory came from reduction of the 3-form of 11-dimensional supergravity are utulized in the covariant field strength.
If the 2-forms are dynamical, one needs to construct a covariant field strength for them, which will enter the fully covariant Lagrangian. For that, one considers Bianchi identity for the 2-form field strength, which can be written as
3 D [ μ F ν ρ ] M = Y K L M N N H μ ν ρ K L .
As before, such recovered field strength H μ ν ρ K L is covariant only when contracted with the Y-tensor, and hence needs additional contributions. One invokes 3-form potential C μ ν ρ M , K L , for whose field strength one needs a 4-form and so on. This tower of p-forms and their field strengths is called tensor hierarchy of exceptional field theories and drops to that of maximal gauged supergravities upon the Scherk-Schwarz reduction ansatz (see below). In principle, the hierarchy can go up to the top form; however it ends much earlier since at some point one no longer needs to construct yet another field strength since the corresponding gauge field is non-dynamical and does not enter the Lagrangian. Although the E 7 ExFT is more suitable for phenomenological applications, it has short tensor hierarchy and issues with self-duality. Hence, let us consider the construction of the SL(5) ExFT in more detail to illustrate the general idea.
Covariant field strength for the gauge field A μ m n that is recovered from the commutator of long derivatives and then shifted by a derivative of B μ ν m , takes the following form [28]
F μ ν m n = 2 [ μ A ν ] m n [ A μ , A ν ] C m n + 1 4 ϵ m n k l p k l B μ ν p ,
where ϵ m n k l p is the fully antisymmetric invariant tensor of SL(5). Explicit check shows that under generalized transformations of the fundamental fields A μ m n and B μ ν m such defined field strength transforms covariantly, i.e., δ Λ F μ ν m n = L Λ F μ ν m n .
Bianchi identity for the 2-form field strength has non-trivial RHS and which can be written as a full derivative of a tensor F μ ν ρ m
3 D [ μ F ν ρ ] m n = 1 16 ϵ i m n k l k l F μ ν ρ i .
This tensor however has a freedom in adding of terms of the type
m n C μ ν ρ m .
Indeed, in the Bianchi identity such term will give ϵ i m n k l k l i j C μ ν ρ j ϵ i m n k l [ k l i j ] C μ ν ρ j , which vanishes upon the section constraint of the theory
ϵ i m n k l m n k l = 0 .
To match tensor hierarchy of the maximal D = 7 gauged supergravity [29] one fixes a coefficient in front of the term and the covariant 3-form field strength reads
F μ ν ρ m = 3 D [ μ B ν ρ ] m + 3 2 ϵ m p q r s A [ μ p q ν A ρ ] r s 1 3 [ A [ μ , A ν ] E p q A ρ ] r s 1 4 m n C μ ν ρ n .
Now one notices by looking at the Figure 2 that there are too little degrees of freedom to compose both the 2-form and the 3-form gauge potentials. On the other hand, according to the prescription of [11] the three form C μ ν ρ should be dualized into a two form to complete the irrep 5 of SL(5). Speaking about covariant theories, one would like to keep information about the 3-form, which is done by taking into account an alternative prescription, which is to dualize the 2-forms B μ ν a into 3-forms to complete the irrep 5 ¯ of SL(5). Hence, one ends up with the same degrees of freedom encoded in the fields B μ ν m and C μ ν ρ m . The duality relation between these potentials can be written in the following covariant form
m m n F μ ν ρ n 1 4 ! ϵ μ ν ρ λ σ τ κ F λ σ τ κ m = 0 ,
where ϵ μ ν ρ σ κ λ τ is the Levi-Civita tensor in the external 7 directions and m m n is the inverse of the generalized metric m m n .
Since the 3-form field strength contains the same information as the 4-form field strength, the latter is considered to be non-physical and is not included into the Lagrangian. It appears only in the corresponding Bianchi identity
4 D [ μ F ν ρ σ ] m = 6 ϵ m p q r s F [ μ ν p q F ρ σ ] r s + n m F μ ν ρ σ n
and is needed to ensure invariance of the Lagrangian with respect to external diffeomorphisms. Note that the 3-form gauge potential containing in the 4-form field strength has been already used for construction of the 3-form covariant field strength (see Figure 2).
Lagrangian of the theory is schematically the same as the one for the maximal D = 7 gauged supergravity
L E F T = L E H ( R ^ ) + L s c ( D μ m k l ) + L V ( F μ ν m n ) + L T ( F μ ν ρ m ) + L t o p V ( m k l , g μ ν ) .
Here the kinetic part is given by the Einstein-Hilbert term, scalar kinetic term, and vector and tensor kinetic terms respectively. In addition, one includes the “scalar potential” V, which contains only terms with derivatives m n along extended coordinates, and the topological term L t o p which does not contain contractions with the metric. Explicitly the expressions read
L E H = e e α μ e β ν R ^ μ ν α β , L s c = 1 12 e g μ ν D μ M M N D ν M M N , L V = 1 4 e M M N F μ ν M F μ ν N = 1 8 e m m k m n l F μ ν m n F μ ν k l , L T = 1 3 · ( 16 ) 2 e m m n F μ ν ρ m F μ ν ρ n V = 1 13 M M N M M K L N M K L + 1 2 M M N M M K L L M N K 1 2 ( g 1 M g ) N M M N 1 4 M M N ( g 1 M g ) ( g 1 N g ) 1 4 M M N M g μ ν N g μ ν .
Here the modified Riemann curvature R ^ μ ν a b = R μ ν α β + F μ ν M e α ρ M e ρ β transforms covariantly under both generalized and external diffeomorphisms. The potential V is written in terms of the 10 × 10 generalized metric M M N which is related to the 5 × 5 metric m m n by
M m n k l = m m k m n l m m l m n k ,
i.e., each capital index M labelling the 10 is represented by an antisymmetric pair of indices [ m n ] each labelling the fundamental 5 of SL(5). In addition, one halves each contraction of capital indices when turning to pairs to avoid extra counting.
The topological part cannot be written in a covariant form, precisely as in the gauged supergravity case; however its variation can
δ L t o p = 1 16 · 4 ! ϵ μ ν ρ λ σ τ κ F μ ν ρ λ m m n Δ C σ τ κ n + 6 F μ ν m n F ρ λ σ m Δ B τ κ n 2 F μ ν ρ m F λ σ τ n δ A κ m n .
Transformations Δ of the fields denote external diffeomorphisms parametrized by a vector ξ μ , generalized diffeomorphisms parametrized by a generalized vector Λ m n and gauge transformations of the fields A μ m n , B μ ν m , C μ ν ρ m :
δ e μ a = ξ μ D ν e μ a + D μ ξ ν e ν a , δ M M N = ξ μ D μ M M N , δ A μ M = ξ ν F ν μ M + M M N g μ ν N ξ ν + D μ Λ m n + 1 16 ϵ i m n k l k l Ξ μ i , Δ B μ ν i = ξ ρ F ρ μ ν i + 2 D [ μ Ξ ν ] i 2 ϵ i m n p q Λ m n F μ ν p q m i Ψ μ ν m , Δ C μ ν ρ m = 1 3 ! e ϵ μ ν ρ σ κ λ τ ξ σ m m n F κ λ τ n + 3 D [ μ Ψ ν ρ ] m + 3 F [ μ ν m n Ξ ρ ] n + Λ m n F μ ν ρ n .
The amazing feature of exceptional field theories observed already in [30] is that the form of the Lagrangian is completely fixed by demanding invariance with respect to the above transformations. In contrast, in gauged supergravities one has to impose supersymmetry to fix all coefficients, although the general structure of the Lagrangian is completely the same. The non-trivial check is that supersymmetry works well for the Lagrangian of exceptional field theory fixed in such a way. This has been checked explicitly for E 7 and E 6 in [31,32], and is expected to work for all other cases as well.

2.4. The Section Constraint

Exceptional field theories are formulated on a space-time parametrized by d external (conventional) coordinates x μ and D “internal” extended coordinates X M . Since no reduction is assumed, these are theories on a d + D -dimensional space-time, which always has dimension greater than 11. To reduce the amount of degrees of freedom, and to ensure consistency of algebra of generalized diffeomorphism one has to impose condition, the section constraint, which is
Y K L M N M N ,
where • stands for any field or combination of fields. Y-tensors for different U-duality groups are listed in Table 1.
This condition restricts dependence of fields of the theory on the extended coordinates and can be solved in various ways. Consider as an example the E 7 theory for which the condition is
Ω M N M N = 0 , t α M N M N = 0
where Ω M N is the invariant symplectic form of E 7 < Sp ( 56 ) and t α are generators of the group. In [33] it has been shown that this condition has precisely two algebraic types of solutions: corresponding to embeddings of the D = 11 maximal supergravity and of Type IIB supergravity. All other follow from this two. In addition, there is a special way to relax this constraint by imposing the so-called Scherk-Schwarz ansatz.
Consider first the algebraic solution of the section constraint corresponding to embedding of the 11D maximal supergravity. In this case, one decomposes the fundamental 56 of E7 under the action of the G L ( 7 ) subgroup as
56 7 + 3 + 21 + 1 + 21 1 + 7 3 ,
where subscripts denote the GL(1) weight. For the coordinates X M this implies
X M = ( x m , y m n , y ˜ m n , x ˜ m ) .
Here and further in this subsection
M , N , K , = 1 , , 56 , label   the   56   of   E 7 , m , n , k = 1 , , 7 , label   the   7   of   SL ( 7 ) , a , b , c , d , = 1 , , 6 , label   the   6   of   SL ( 6 ) , α , β , = 1 , 2 , label   the   2   of SL ( 2 ) .
The section constraint then can be satisfied by imposing
y m n = 0 , y ˜ m n = 0 , x ˜ m = 0 ,
hence fields depend only on 7 coordinates x m and 4 coordinates x μ , in total 11. Field content of the E7 theory decomposed under the GL(7) subgroup apparently fits the field content of the 11 dimensional supergravity in the 7 + 4 split form, as the former was constructed from the latter initially. Type IIA supergravity is obtain from this theory by further S 1 reduction in the usual way.
The alternative solution of the section constraint is associated with decomposition under the embedding E 7 GL ( 6 ) × SL ( 2 ) , which implies for the fundamental irrep
56 ( 6 , 1 ) + 2 + ( 6 , 2 ) + 1 + ( 20 , 1 ) 0 + ( 6 , 2 ) 1 + ( 6 , 1 ) 2 .
For components of the extended coordinates this reads
X M = ( x a , y a α , y a b c , y ˜ a α , x ˜ a ) ,
and the field content will be decomposed accordingly, The SL(2) subgroup transforming subsets of dual coordinates correspond to S-duality symmetry of Type IIB supergravity. The section constraint implies
y a α = 0 , y a b c = 0 , y ˜ a α = 0 , x ˜ a = 0 ,
and the fields depend on 6 coordinates x a and 4 coordinates x μ , in total 10. After reduction, the SL(2) S-duality symmetry can be kept manifestly at the cost of the full 10-dimensional Lorenz symmetry. To restore the latter, one has to break the former.
A special solution to the section constraint trivially embedded into the above two classes is M = 0 , i.e., all fields do not depend on extended coordinates. This corresponds simply to d-dimensional maximal ungauged supergravity, i.e., a reduction of the 11-dimensional supergravity on a torus T 11 d . These are known to allow deformations, gaugings, producing a class of theories corresponding to various reductions of the initial 11-dimensional theory [26]. Exceptional field theories are able to reproduce such gauged supergravities as well under a special ansatz, which relaxes the differential section condition to an algebraic constraint. These will be considered in more detail in Section 3.1.

2.5. Double Field Theory

Double field theory, which is a T-duality covariant formulation of supergravity, also fits the above scheme. The duality group is O(n,n) with n + d = 10 , the Y-tensor then becomes Y K L M N = η M N η K L , where M , N , K , L = 1 , , 2 n for any n. Since algebraic structure of the theory does not depend on the number of “internal” dimensions, it is natural to extend all 10 coordinates of Type II supergravity. The generalized metric then
M M N O ( 10 , 10 ) O ( 1 , 9 ) × O ( 9 , 1 ) ,
and the rest of the construction is repeated identically.
Important remark here concerns the section constraint, which is
η M N M N = m ˜ m = 0 ,
where we introduce notation X M = ( x m , x ˜ m ) for extended coordinates. The above implies that for any pair of a normal coordinate x * and the corresponding dual coordinate x ˜ * fields are allowed do depend on one or another, but not on both. The choices are related by a T-duality transformation precisely as in the Duff’s procedure
T * : x * x ˜ * .
Hence, such defined T-duality means that one translates all upper indices * into lower indices *, and the coordinates x ˜ * becomes normal geometric coordinate in the new T-duality frame. Note however a different possibility, where one simply replaces dependence of background fields on x * by x ˜ * , still counting the latter as a non-geometric dual coordinate. This will turn a solution of supergravity equations of motion into a proper string background, which however (i) does not solve e.o.m.s, (ii) is non-geometric. This way DFT and ExFT allow addressing exotic branes and the corresponding non-geometric backgrounds. See further Section 3.2 for more details.

3. Applications

3.1. Non-Geometric Compactifications

Choosing a solution of the section constraint of exceptional field theory can be understood as a dimensional reduction as it drops dependence of fields of the theory on a subset of coordinates. E.g., the trivial solution M = 0 when all fields depend only on D external coordinates corresponds to reduction of the 11-dimensional supergravity on a 11 D -torus. Other toroidal reductions can as well be obtained in such a way by choosing a smaller subset of the extended coordinates to be dropped. However, exceptional field theory is able to incorporate more general reductions, in fact all parametrized in terms of embedding tensor.
Taking the general idea of twisted dimensional reduction of Scherk and Schwarz [34] one introduces the following generalized Scherk-Schwarz ansatz
V M ( x , X ) = U M A ( X ) V A ( x ) ,
where U M A ( X ) is usually referred to as the twist matrix. The ansatz tells that all information about dependence on the extended coordinates X M is contained in the twist matrix. Inserting this into the definition of generalised Lie derivative one obtains
L Λ V M = U M A ( X ) X B C A Λ A ( x ) V B ( x ) ,
which can be thought of as a definition of the tensor X A B C
X A B C 2 U M C U [ A N N U B ] M + Y E B C D U M E U D N N U A M ,
where U M C U C N = δ M N . In principle, this tensor depends on X M as it is constructed out of twist matrices and their derivatives; however, for now we will assume X A B C = const . Certainly this implies restrictions on the twist matrices which will be discussed in a moment.
Upon the generalised Scherk-Schwarz ansatz the closure constraint (23) and the condition for X A B C to transform covariantly boil down to the following simple algebraic constraint
[ X A , X B ] = X A B C X C .
Here we understand X A B C as a matrix labelled by A. The above looks as a commutation relation for an algebra with generators X A ; however, since X A B C is not necessarily antisymmetric, such simple interpretation does not work. Instead, one recognizes here the structure of gauged supergravities, with X A B C being the embedding tensor. Hence, the main line of the subsection is that Scherk-Schwarz reduction of exceptional field theories replaces the differential section constraint by the algebraic condition (64), which has precisely the same form as the quadratic constraint of gauged supergravity. Moreover, performing the reduction at the level of the action one reproduces precisely action of the corresponding D-dimensional gauged supergravity. This has been shown first for DFT in [35] and then for exceptional field theories SL(5), SO(5,5), E 6 , E 7 and the enhanced O(d,d) exceptional field theory in [36,37,38,39]. Let us now briefly describe structure of gauged supergravities and their relation to generalized Scherk-Shwarz reductions.
Gauged supergravities most straightforwardly can be described in the so-called embedding tensor formalism first developed in the context of three dimensional theories [40,41] and then constructed for other maximal supergravities (for review see [26,42,43]). When dimensionally reduced on a d-torus 11-dimensional supergravity produces maximally supersymmetric theory in D = 11 d dimensions, which contains n V vector fields A μ A , with A = 1 , , n V . The vector fields descent from the metric and the 3-form C-field in 11 dimensions precisely in the same way as the generalized vector fields of exceptional field theory (see Figure 1 and Figure 2). For toroidal reductions the resulting theory is abelian with the gauge group U ( 1 ) n V and gauge transformations
δ Λ A μ A = μ Λ A .
In addition, the lower dimensional theory has U-duality symmetry group G and the vector multiplet transforms under an irrep R V of dimension dim R V = n V . Reductions on more complicated manifolds endowed with torsion and/or curvature, and reductions in the presence of fluxes of gauge fields result in theories with less symmetry, and with vector multiplets belonging to adjoint representation of a non-abelian gauge group. Such reductions correspond to the diagonal arrow on Figure 3, while toroidal reductions correspond to the vertical arrow. Hence, it is natural to deform the abelian maximal theory introducing non-abelian interactions between the n V vector fields, preserving supersymmetry and local symmetries of the theory. A self-consistent algorithm for such a procedure is based on the notion of embedding tensor Θ , which defines embedding of the desired local gauge group G into the full global U-duality group G
Θ : G G .
One writes deformation of the gauge transformation rule for vector multiplets as follows
δ Λ A μ A = μ Λ A g X B C A Λ B A μ C ,
where g is the deformation parameter. The “structure constants” X A B C can be written in terms of the embedding tensor as
X A B C = Z A B C + X ^ A B X = Θ A α t α B C ,
where { t α } = b a s g is basis of generators of the global U-duality group G, and Z and X ^ are symmetric and antisymmetric in { A B } respectively. Hence, the embedding tensor indeed selects a subset of these generators to construct the constants X A B C , which define the non-abelian gauge transformation.
Certainly, such a deformation of the ungauged D-dimensional theory cannot be done in an arbitrary way and has rather to satisfy certain constraints. The first one is the linear constraint and comes from the condition that the resulting deformed equations of motion are still invariant under the full set of supersymmetries, i.e., the deformed gauged supergravity is a maximally supersymmetric theory. The linear constraint projects certain representations of G in the decomposition of the embedding tensor Θ A α R n V adj g , which can be schematically written as
P Θ = 0 .
As an example, one may consider the D = 4 theory constructed in [13,44], for which G = R + × E 7 , R n v = 56 , adj g = 133 and
Θ A α 56 133 = 56 + 912 + 6480 .
The linear constraint tells that for the theory to be maximally supersymmetric the embedding tensor cannot have the 6480 part
P 6480 Θ = 0 .
Please note that the duality group to be gauged contains a R + part, which correspond to global rescalings of the external metric. After the gauging procedure the corresponding generators correspond to the so-called trombone gauging. Certainly, theories with non-zero trombone part of the embedding tensor cannot be written in terms of an action, as rescalings are symmetries of equations of motion, rather than the action [44].
In addition to the linear constraint the embedding tensor must respect the so-called quadratic constraint, which follows from the condition of covariancy of the tensor under global transformations. These are nothing but (64)
[ X A , X B ] = X A B C X C .
Note that the LHS does not have the part symmetric in { A , B } , while the tensor X A B C has no symmetry in the lower indices in general. Hence, the above implies constraint on the symmetric part Z A B C X C D E = 0 . This condition is essential for the Jacobi identity for gauge transformations. Indeed, one discovers that the Jacobiator of gauge transformations has the conventional form
[ δ Λ 1 , δ Λ 2 , δ Λ 3 ] V A = 3 X ^ [ B C G X ^ D ] G E X E F A Λ 1 Λ 2 Λ 3 V F .
However, the commutation relations (64) restricted for the antisymmetric part only do imply the RHS of the above expression to vanish, which is usually the case for a conventional Lie algebraic structure constants. Instead one again finds the symmetric part
3 X ^ [ B C G X ^ D ] G E = Z G [ B E X C D ] G .
hence, the Jacobi identity is satisfied upon Z A B C X C = 0 similarly to the closure constraint.
Such rich algebraic structure of the deformations means that one is not simply dealing with a single gauge group, but rather with a set of gauge groups inside the full duality group G, defined by choosing the embedding tensor. Gauged supergravities for different dimensions have been constructed in the series of papers [13,29,44,45,46,47] which contain detailed analysis of the constraint briefly described above, construction of the corresponding effective action including the fermionic sector and analysis of some examples.
Solving the linear and quadratic constraints for the embedding tensor one ends up with a theory which can be in principle obtained as a dimensional reduction of the 11-dimensional supergravity on some manifold. For example, a particular choice of gaugings for the D = 4 theory correspond to embedding Θ : G SO ( 8 ) , which gives reduction on a S 7 sphere considered in [48,49]. In this case, components of the embedding tensor are equal to the integral value of the flux of the 7-form field strength on the sphere.
Such gaugings, which can be interpreted in terms of dimensional reductions are called geometric and are said to have higher dimensional origin. However, the full set of solutions to the quadratic and linear constraint contains gaugings which do not have apparent higher dimensional origin, moreover one can show that some cannot have any [50]. Although these still define consistent theories in lower dimensions and give masses and couplings for lower dimensional fields, one cannot come up with a dimensional reduction scheme starting from the 11D supergravity and ending up with these theories.
At this point, one turns back to the beginning of this subsection, where Scherk-Schwarz reduction of exceptional field theories have been shown to produce algebraic structures of the same type as those of gauged supergravities. In principle, since any gauging is given as an expression written in terms of twist matrices and their derivatives, as in (63), one may hope that it is possible to solve these equations and present twist matrices explicitly for each type of gauging. This has been shown to be true for D = 7 half-maximal gaugings and D = 8 maximal gaugings in [50], where full classification of the corresponding twist matrices was obtained. The most outstanding output of such analysis is that the so-called non-geometric gaugings, i.e., those which do not have higher standard dimensional origin, can be constructed out of generalized twist matrices. Moreover, the set of non-geometric gaugings itself is divided into normal and genuine non-geometric subsets. The former is defined to belong to a U-duality orbit of a geometric gauging, and hence the theory can be rotated to a frame, where no non-geometry is present. On the other hand, the latter do not belong to such an orbit and hence the theory is always non-geometric. At least for some examples, genuine non-geometric gaugings were shown to descent from twist matrices which break the section constraint.
At this point it is suggestive to return to the constraint (64) and recall that for that to satisfy one does not need to impose any conditions on dependence of twist matrices on the extended coordinates. Hence, in principle it is possible to break the section constraint, while satisfying the quadratic constraint that has been shown explicitly in [50]. Certainly, such twist matrices cannot be understood as defining a reduction of the conventional supergravity. Whether such configurations can be understood as proper string backgrounds is not clear, as all duality-covariant setups so far imply the section condition. However, genuine non-geometric gaugings look very promising for cosmological model building as these provide extra parameters in scalar potential of the lower dimensional theory, which may help to stabilize its moduli. Indeed, if one considers a setup with geometric gaugings which fails to stabilize certain subset of scalar moduli, any gaugings belonging to duality orbits of the initial ones would also fail to do so, since the physics must be duality invariant. In contrast, genuine non-geometric gaugings do not suffer from such constraints and hence can enhance the realm of possible models. This approach has been taken to analyse cosmological implications of exceptional field theories in application to some toy-model examples in [51,52,53,54,55].

3.2. Exotic Brane Backgrounds

Geometric gaugings of lower dimensional supergravities are equal to integral values of fluxes on the internal manifold, and hence, naturally acquire interpretation in terms of branes. Wrapped around cycles of the internal space, these source fluxes of gauge p-form fields, which then are subject of the usual Dirac quantisation condition (see e.g., [56] for review). Similarly, non-geometric fluxes can be interpreted as integrated values of field strengths of mixed symmetry potentials sourced by exotic branes. Algebraic-wise one finds good correspondence between mixed allowed symmetry potentials of lower dimensional supergravity (equivalently, exotic branes) and gaugings [57,58,59]. However, the conventional supergravity is known to be unable to properly describe backgrounds of such exotic branes and to provide a technique for calculating the corresponding non-geometric fluxes.
The well-known example comes from the T-duality orbit of the NS5-brane, starting with the H-flux [18,19]. This is known to contain non-geometric Q- and R-fluxes via the relation
H a b c T a f a b c T b Q a b c T c R a b c ,
where T * denotes T-duality transformation in the corresponding isometry direction. Since in the conventional supergravity T-duality transformation is defined only along a Killing direction and T-duality along the world-volume direction of the NS5-brane do not change the background, one has to smear on the four transverse directions to perform the transformation. The full NS5-brane background is characterized by the harmonic function H = H ( x 1 , x 2 , x 3 , x 4 ) in four Euclidean dimensions
Δ H ( x 1 , x 2 , x 3 , x 4 ) = h δ ( 4 ) ( x 1 , x 2 , x 3 , x 4 ) .
To have flat asymptotics at spatial infinity as r one defines the harmonic function as
H = 1 + h r 2 ,
where r 2 = ( x 1 ) 2 + ( x 2 ) 2 + ( x 3 ) 2 + ( x 4 ) 2 . To smear along say the direction z : = x 4 one considers harmonic function H = H ( x 1 , x 2 , x 3 ) which has apparent isometry along z and solves the equations of motion of supergravity with the same amount of flux. This procedure gives the following background of the smeared NS5-brane which we refer to as the H-monopole
d s 2 = d s 056789 2 + H d s 1234 2 , B = A d z , e 2 ( φ φ 0 ) = H 1 .
where H = 1 + h / r and the 1-form A = A i d x i is defined to be of a magnetic configuration
2 [ i A j ] = ϵ i j k k H ,
hence the name “H-monopole”. Performing T-duality along the compact direction z by simply applying the Buscher rules (11) one arrives at the background of KK-monopole
d s 2 = d s 056789 2 + H d s 123 2 + H 1 ( d x 4 + A ) 2 , B = 0 .
This background has vanishing B-field and the magnetic monopole configuration is given by the metric components g z i = A i . In three transverse directions { x 1 , x 2 , x 3 } such background behaves as the gravitational magnetic monopole.
Already at this step the backgrounds start to get tricky. Indeed, the Gross-Perry monopole solution, which describes the { t , x 1 , x 2 , x 3 , z } part of the KK5 background, is topologically a Hopf fibration with the special cycle given by the z direction [60]. Moving around this cycle one observes periodicity in 4 π h and glues the background by a diffeomorphisms transformation. This non-trivial topological structure is reflected by non-vanishing geometric flux f i j z , defined as structure constants of the algebra of local vielbeins
[ e a , e b ] = f a b c e c ,
where a , b = 1 , 2 , 3 , z and the vielbein is defined in the usual lower-triangular gauge as
e i a = H 1 2 H 0 0 0 0 H 0 0 0 0 H 0 A 1 A 2 A 3 1 .
To T-dualize further, one has to smear one more direction, say x 3 , which brings us to the set of co-dimension-2 solutions. These are not well defined field configurations as one cannot satisfy proper conditions at space infinity asymptotics. Formally, the harmonic function in two dimensions is H ( ρ ) = h 0 + h log ρ / ρ 0 , where ρ 2 = ( x 1 ) 2 + ( x 2 ) 2 , and diverges both at the core and at the infinity. For that renormalization procedure introduces a dimensionful parameters ρ 0 , h 0 , which somehow run when one approaches the singularity points [17]. In what follows, we will drop these parameters for simplicity and always assume the harmonic function of the form
H = 1 + h ˜ log ρ .
Performing T-duality transformation of the KK5-background smeared in such a way one arrives at the following background
d s 2 = H ( d ρ 2 + ρ 2 d θ 2 ) + H H 2 + h ˜ 2 θ 2 d s 34 2 + d s 056789 2 , B ( 2 ) = h ˜ θ H 2 + h ˜ 2 θ 2 d x 3 d x 4 , e 2 ( φ φ 0 ) = H H 2 + h ˜ 2 θ 2 ,
where { ρ , θ } are the polar coordinates in the transverse plane { x 1 , x 2 } . One immediately notices the non-trivial monodromy: when going around the brane θ θ + 2 π the background is glued by a T-duality transformation in the directions { x 3 , x 4 } . Such non-geometric configurations are believed to be sourced by exotic branes and are properly described on the language of T-folds [15,16,61]. In terms of the classification (28) the background (84) is sourced by the 5 2 2 -brane. Now it is easy to see that the two ”quadratic” directions in the mass formula correspond to the two special directions of the brane.
The monodromy gluing the torus { x 3 , x 4 } can be conveniently represented as a linear transformation of the corresponding generalized metric
H ( θ = θ + 2 π ) = O t r H ( θ ) O ,
where the matrix O encodes the non-geometric β -transform
O = 1 2 0 β ( θ ) 1 2
with β ( θ ) = h ˜ θ 3 4 . This suggests that it is more natural to use the β -frame of DFT [62] where the generalized metric parametrized by the space-time metric and a bi-vector field β a b instead of the 2-form Kalb-Ramond field. In these variables the background becomes
d s 2 = H ( d ρ 2 + ρ 2 d θ 2 ) + H 1 d s 34 2 + d s 056789 2 , β = β 34 x 3 x 4 .
This form naturally reflects the fact that the 5 2 2 -brane electrically interacts with the bi-vector field as was shown explicitly in [20,63,64]. Indeed, the bi-vector β a b is actually an 8-form taking values in two-vectors, which can be written in 10-dimensions as
β ( 8 , 2 ) = β μ 1 , μ 8 ν 1 ν 2 d x μ 1 d x μ 8 ν 1 ν 2 ,
with additional condition that all components with any of the upper indices repeating any of the lower indices vanish [58]. Hence, the corresponding Wess-Zumino term for the 5 2 2 -brane has the following structure
S W Z 5 2 2 = h d 6 ξ β α 1 α 6 12 34 d ξ α 1 d ξ α 6 ,
where ξ α are the world-volume coordinates.
Turning to the β -frame allows defining the corresponding flux explicitly as Q a b c = a β b c , which in 10 dimensions is represented by a ( 9 , 2 ) mixed symmetry tensor. Smearing one more direction x 2 one obtains linearly growing harmonic function, and T-dualising along x 2 arrives at the s-called R-monopole, the 5 2 3 -brane. This is a co-dimension-1 solution, a domain wall, which is even more peculiar. Non-vanishing R-flux R a b c = 3 β d [ a d β b c ] of the background reflects non-associativity of the closed string coordinates on such background [65,66].
One concludes that exotic brane backgrounds in the approach of the conventional supergravity are solutions fo equations of motion of co-dimension 2 , i.e., domain strings, walls and space-time filling objects. Co-dimension-2 solutions are characterized by non-trivial monodromy around the core of the object, which glues the background by a T-duality transformation. In the T-duality covariant approach of DFT one expects to describe a whole duality orbit as a single field configuration. This is indeed possible and has been shown explicitly for the orbit of the NS5-brane in [67,68] and for backgrounds of exotic branes of M-theory in [69,70,71] (for review see [72]).
In [67,68] it has been shown that all branes, both geometric and exotic, of the T-duality orbit starting with the NS5-brane are just different faces of a single object called DFT monopole. This background is a solution of DFT equations of motion, characterized by the generalized metric written in the form of a quasi-interval d s 2 = H M N d X M d X N (note that this is not an invariant expression and cannot be understood as a definition for distance in the doubled space) and the invariant dilaton d
d s D F T 2 = H ( 1 + H 2 A 2 ) d z 2 + H 1 d z ˜ 2 + 2 H 1 A i ( d y i d z ˜ δ i j d y ˜ j d z ) + H ( δ i j + H 2 A i A j ) d y i d y j + H 1 δ i j d y ˜ i d y ˜ j + η r s d x r d x s + η r s d x ˜ r d x ˜ s , e 2 d = H e 2 φ 0 .
Here the harmonic function and the vector A i are that of the H-monopole
H ( y ) = 1 + h δ i j y i y j , 2 [ i A j ] = ϵ i j k k H .
Of crucial importance here is the understanding of the coordinate dependence of the fields. First, one notes that the section condition is satisfied since the fields depend only on ( y 1 , y 2 , y 3 ) and do not depend on their duals ( y ˜ 1 , y ˜ 2 , y ˜ 3 ) . Second, the form of the solution as written above does not tell us which coordinates are geometric, i.e., used for measuring physical distances, and which are not. This is additional information which is given upon fixing position of the DFT monopole in the doubled space. Since nothing changes when replacing x r by x ˜ r , equivalently, when T-dualizing along the world-volume directions, one has five possible choices for geometric coordinates x μ listed in Table 3. Consider the Q-monopole, the 5 2 2 brane, for which the geometric set of transverse coordinates is ( z ˜ , y ˜ 1 , y 2 , y 3 ) . This implies that the harmonic function, which is always of the form (91), depends on one dual coordinate that is x ˜ 1 = y 1 in this case. Hence, one has properly defined harmonic function with nice asymptotic behaviour, which however is allowed to depend on dual coordinates. Please note that instead of the H-monopole background one may start with the full NS5-brane background and the harmonic function
H ( z , y ) = 1 + h z 2 + δ i j y i y j ,
which would imply that a 5 2 r -brane background is characterized by fields which depend on r dual coordinates. This number if also equal to the number of special circles.
The orbit starting at the NS5-brane was also considered in [67], where the background of the localised Kaluza-Klein monopole has been recovered from the DFT monopole. Such a background has been known before these results and was recovered from the usual Kaluza-Klein monopole background by taking into account backreaction from worldsheet instantons in the two-dimensional linear sigma model [73,74,75,76]. Similarly, worldsheet instanton corrections have been shown to localize the background of the 5 2 2 co-dimension-2 brane in dual space [77]. In Figure 4 relations between monopoles and their localized versions are shown schematically.

3.3. Deformations of Supergravity Backgrounds

Backgrounds of DFT depending on a dual coordinate and the possibility to parametrize the generalized metric in terms of exotic degrees of freedom, such as the bi-vector β μ ν , open a window to investigate issues related to integrability of the 2-dimensional sigma model. It is known that kappa symmetry of the two-dimensional sigma model does not imply strictly equations of motion of 10-dimensional supergravity, but leads to a more general setup. This has been elaborated in a series of paper (see e.g., [78,79,80,81]) and is usually referred to as the generalized supergravity. In this theory the degree of freedom represented by the dilaton and its derivative is replaced by a set of vectors ( X μ , Z μ , I μ ) , and the equations of motion of generalized supergravity drop to the conventional ones upon X μ = μ φ . The most amazing feature of this theory is that (at least some) solutions of its equations of motion can be obtained as integrable deformations of backgrounds of the conventional sugra.
Integrability of the two-dimensional sigma model on the A d S 5 × S 5 background has been shown in [82] by explicit construction of the corresponding Lax pair. Such sigma model gain the expected interpretation as Type II string theory living on the A d S 5 × S 5 background supported by non-vanishing flux of 5-form. In [83] a deformed version of the A d S 5 × S 5 sigma-model has been considered, which appeared to be also integrable for the so-called η -deformations. The η -deformed sigma model is very peculiar when understood as theory of string on a classical background. In this case, the corresponding background, which is commonly referred to as ( A d S 5 × S 5 ) η , does not satisfy equations of motion of 10-dimensional supergravity [84]. However, it still defines a proper background for string propagation due to Weyl invariance, and moreover the corresponding model is integrable. Such a deformed background was shown to satisfy equations of motion of generalized supergravity [81,85,86].
At the level of field theory, generalized supergravity can be obtained from the conventional Type II supergravity by considering equations of motion for background with one isometry direction x * and with dilaton, linearly depending on the isometry direction φ = φ 0 + a x * . T-dualizing solutions along x * by formally applying Buscher rules one obtains solutions of generalized supergravity. In Double Field Theory such procedure is reflected by just changing the role x * as a geometric coordinate to become non-geometric, as has been shown explicitly in [86,87]. Alternatively, one is able to reproduce generalized supergravity equations of motion by generalized Scherk-Schwarz reduction of exceptional field theory with twist matrices depending on one dual coordinate. This was explicitly shown for the E 6 ExFT in [88]; however, similar procedure can be performed for ExFTs with any U-duality group.
In addition to the nice incorporation of both generalized and normal supergravities in a single picture, DFT provides a simple and straightforward algorithm for generating deformed backgrounds from a given solution. This procedure has been mainly developed in [89,90,91,92,93,94] and is based on the so-called β -frame of DFT [95]. The basic idea of Bvs β frame is that the generalized metric of DFT as an element of the coset space O ( d , d ) / O ( d ) × O ( d ) can be parametrized in terms of the fields G μ ν , B μ ν or alternatively g μ ν , β μ ν
H M N = G μ ν B μ ρ B ρ ν B μ ν B μ ν G μ ν = g μ ν b μ ν b μ ν g μ ν β μ ρ β ρ ν .
This is equivalent to choosing the generalized vielbein to be of lower-triangular or upper-triangular form. In principle, one may keep both B μ ν and β μ ν fields in the metric; however this will duplicate gauge degrees of freedom and require either an additional constraint or change in the status of one of the fields. When substituted into the full action of DFT
S H H Z = d x d x ˜ e 2 d 1 8 H M N M H K L N H K L 1 2 H K L L H M N N H K M 2 M d N H M N + 4 H M N M d N d 1 2 .
the generalized metric in β -frame provides the action of the so-called β -supergravity. This theory has been initially developed to address non-geometric fluxes Q and R, which are more naturally written in terms of the bivector field, as in the previous subsection.
The matrix equality (93) can be written in terms of the fundamental fields in the following simple form
( G + B ) 1 = g 1 + β .
In the above one immediately recognizes the open-closed string map [96] that relates backgrounds as seen by the closed string to that seen by the open string. In this interpretation the field β μ ν on the RHS is understood as the non-commutativity parameter, usually denoted Θ μ ν .
The relation (93) can be understood as a deformation of a solution given by the metric background g μ ν by a coordinate-dependent parameter β μ ν (see Figure 5). One starts with a background with vanishing B-field, parametrized only by metric degrees of freedom g μ ν and the dilaton Φ . Since B μ ν = 0 , the corresponding generalized metric can be understood in either B or β -frame. Consider now a deformed generalized metric, which contains the metric g μ ν that solves conventional equations of motion, and the field β . Then, written in the B-frame this generalized metric encodes a solution of equations of motion of the conventional supergravity. Equivalently, this implies that the generalized metric solves equations of motion of DFT given the section constraint is satisfied. In the β -frame, given g μ ν is a solution, these equations of motion impose constraints on the bi-vector field β μ ν for the deformation to give a solution. In [93] these constraints have been obtained explicitly from equations of motion of β -supergravity of [97]. Given a general solution of these equations one is guaranteed to recover solutions of generalized supergravity after deformation, and in the special case, when μ β μ ν = 0 , these boil down to solutions of the conventional supergravity.
Of special interest are backgrounds with a set of isometries encoded by Killing vectors k a = k a μ μ , which form an algebra upon
[ k a , k b ] = f a b c k c .
For these the deformation parameter can be chosen in the bi-Killing form
β μ ν = k a μ k b ν r a b ,
where r a b is a constant antisymmetric matrix. Such deformed backgrounds satisfy equations of motion of supergavity if the r-matrix satisfied classical Yang-Baxter equation, which is the semi-classical limit of the quantum Yang-Baxter equation
r [ a | b | r c | d | f b d e ] = 0 .
A particular example of such deformation is given by the ( A d S 5 × S 5 ) η -background discussed above, which corresponds to deformations with r-matrix r a b f a b c = I c . The non-vanishing vector I c is a sign of the generalized supergravity equations of motion, and indeed μ β μ ν = k a ν I a .
The constraint imposed on couplings of the two-dimensional sigma-model by Weyl invariance has been uplifted to the full T-duality covariant sigma-model in [94,99] and proper local counter-terms have been constructed. The covariant approach implies a generalization of the bi-vector deformations described above into a full β -shift. This is a local transformation inside DFT, which can be applied to a solution with non-vanishing H-flux. The general procedure is as follows, one starts with a generalized metric H M N and a set of generalized Killing vectors K a M , the deformation then is given by
H M N = h M K H K L h N L , h M N = δ M N 2 η r a b K a M K b N ,
where η is a constant parameter of deformation. The generalized Killing vector should satisfy the algebraic section constraint (cf. that of [64])
η M N K a M K b N = 0 .
This ensures the matrix h M N to be a T-duality transformation, i.e., h O ( d , d ) . In the usual duality frame one chooses K a M = ( k a μ , 0 ) and the above transformation reduces to a β -deformation.

4. Conclusions and Discussion

In this short review, we have briefly described the structure of exceptional field theories (ExFT’s), which provide a (T)U-duality covariant approach to supergravity. These are based on symmetries of toroidally reduced supergravity; however are defined on a general background. From the point of view of ExFT the toroidal background is a maximally symmetric solution preserving all U-duality symmetries. In this sense the approach is similar to the embedding tensor technique, which is used to define gauge supergravity in a covariant and supersymmetry invariant form. Although any particular choice of gauging breaks certain amount of supersymmetry, the formalism itself is completely invariant. Similarly the U-duality covariant approach is transferred to dynamics of branes in both string and M-theory, whose construction has not been covered here.
In the text, we described construction of the field content of exceptional field theories from fields of dimensionally reduced 11-dimensional supergravity, and local and global symmetries of the theories. Various solutions of the section constraint giving Type IIA/B, 11D and lower-dimensional gauged supergravities have been discussed without going deep into technical details. For readers’ convenience references for the original works are present.
As a formalism exceptional field theory has found essential number of application, some of which have been described in this review in more details. In particular, we have covered generalized twist reductions of ExFTs, which reproduce lower-dimensional gauged supergravities, description of non-geometric brane backgrounds and an algorithm for generating deformations of supergravity backgrounds based on frame change inside DFT. However, many fascinating applications of the DFT and ExFT formalisms have been left aside. Among these are non-abelian T-dualities in terms of Poisson-Lie transformations inside DFT [100,101]; generating supersymmetric vacua and consistent truncations of supergravity into lower dimensions [102,103,104] (for review see [105]); compactifications on non-geometric (Calabi-Yau) backgrounds and construction of cosmological models [54,55,106,107].

Funding

This work was funded by the Russian state grant Goszadanie 3.9904.2017/8.9 and by the Foundation for the Advancement of Theoretical Physics and Mathematics “BASIS”.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Maldacena, J.M. The Large N limit of superconformal field theories and supergravity. Adv. Theor. Math. Phys. 1998, 2, 231–252. [Google Scholar] [CrossRef]
  2. Witten, E. String theory dynamics in various dimensions. Nucl. Phys. 1995, B443, 85–126. [Google Scholar] [CrossRef]
  3. Obers, N.; Pioline, B. U duality and M theory. Phys. Rept. 1999, 318, 113–225. [Google Scholar] [CrossRef]
  4. Hull, C. Global aspects of T-duality, gauged sigma models and T-folds. JHEP 2007, 0710, 057. [Google Scholar] [CrossRef]
  5. Bohm, R.; Gunther, H.; Herrmann, C.; Louis, J. Compactification of type IIB string theory on Calabi-Yau threefolds. Nucl. Phys. 2000, B569, 229–246. [Google Scholar] [CrossRef]
  6. Morrison, D.R.; Vafa, C. Compactifications of F theory on Calabi-Yau threefolds. 2. Nucl. Phys. 1996, B476, 437–469. [Google Scholar] [CrossRef]
  7. Sen, A. F theory and orientifolds. Nucl. Phys. 1996, B475, 562–578. [Google Scholar] [CrossRef]
  8. Musaev, E. U-Dualities in Type II String Theories and M-Theory. Ph.D. Thesis, Queen Mary, University of London, London, UK, 2013. [Google Scholar]
  9. Duff, M. Duality rotations in string theory. Nucl. Phys. 1990, B335, 610–620. [Google Scholar] [CrossRef]
  10. Duff, M.; Lu, J. Duality rotations in membrane theory. Nucl. Phys. 1990, B347, 394–419. [Google Scholar] [CrossRef]
  11. Cremmer, E.; Julia, B.; Lu, H.; Pope, C. Dualization of dualities. 1. Nucl. Phys. 1998, B523, 73–144. [Google Scholar] [CrossRef]
  12. Cremmer, E.; Julia, B.; Lu, H.; Pope, C.N. Dualization of dualities. 2. Twisted self-duality of doubled fields, and superdualities. Nucl. Phys. 1998, B535, 242–292. [Google Scholar] [CrossRef]
  13. De Wit, B.; Samtleben, H.; Trigiante, M. The Maximal D = 4 supergravities. JHEP 2007, 0706, 049. [Google Scholar] [CrossRef]
  14. Berman, D.S.; Cederwall, M.; Kleinschmidt, A.; Thompson, D.C. The gauge structure of generalised diffeomorphisms. JHEP 2013, 1301, 064. [Google Scholar] [CrossRef]
  15. Hull, C.M. A Geometry for non-geometric string backgrounds. JHEP 2005, 10, 065. [Google Scholar] [CrossRef]
  16. Hull, C.M. Doubled geometry and T-folds. JHEP 2007, 0707, 080. [Google Scholar] [CrossRef]
  17. De Boer, J.; Shigemori, M. Exotic Branes in String Theory. Phys. Rep. 2012, 532, 65–118. [Google Scholar] [CrossRef]
  18. Shelton, J.; Taylor, W.; Wecht, B. Nongeometric flux compactifications. JHEP 2005, 0510, 085. [Google Scholar] [CrossRef]
  19. Wecht, B. Lectures on Nongeometric Flux Compactifications. Class. Quant. Grav. 2007, 24, S773–S794. [Google Scholar] [CrossRef]
  20. Bergshoeff, E.; Kleinschmidt, A.; Musaev, E.T.; Riccioni, F. The different faces of branes in Double Field Theory. arXiv 2019, arXiv:1903.05601. [Google Scholar]
  21. Hohm, O.; Samtleben, H. Exceptional field theory. III. E8(8). Phys. Rev. 2014, D90, 066002. [Google Scholar] [CrossRef]
  22. Kleinschmidt, A.; Nicolai, H. Higher spin representations of K(E10). In Proceedings of the International Workshop on Higher Spin Gauge Theories, Singapore, 4–6 November 2015; World Scientific: Singapore, 2017; pp. 25–38. [Google Scholar] [CrossRef]
  23. Bossard, G.; Cederwall, M.; Kleinschmidt, A.; Palmkvist, J.; Samtleben, H. Generalized diffeomorphisms for E9. Phys. Rev. 2017, D96, 106022. [Google Scholar] [CrossRef]
  24. Bossard, G.; Ciceri, F.; Inverso, G.; Kleinschmidt, A.; Samtleben, H. E9 exceptional field theory. Part I. The potential. JHEP 2019, 03, 089. [Google Scholar] [CrossRef]
  25. Cederwall, M.; Palmkvist, J. L algebras for extended geometry. J. Phys. Conf. Ser. 2019, 1194, 012021. [Google Scholar] [CrossRef]
  26. Samtleben, H. Lectures on Gauged Supergravity and Flux Compactifications. Class. Quant. Grav. 2008, 25, 214002. [Google Scholar] [CrossRef]
  27. Abzalov, A.; Bakhmatov, I.; Musaev, E.T. Exceptional field theory: SO(5,5). JHEP 2015, 06, 088. [Google Scholar] [CrossRef]
  28. Musaev, E.T. Exceptional field theory: SL(5). JHEP 2016, 02, 012. [Google Scholar] [CrossRef]
  29. Samtleben, H.; Weidner, M. The Maximal D = 7 supergravities. Nucl. Phys. 2005, B725, 383–419. [Google Scholar] [CrossRef]
  30. Hohm, O.; Samtleben, H. Exceptional Field Theory I: E6(6) covariant Form of M-Theory and Type IIB. Phys. Rev. 2014, D89, 066016. [Google Scholar] [CrossRef]
  31. Godazgar, H.; Godazgar, M.; Hohm, O.; Nicolai, H.; Samtleben, H. Supersymmetric E7(7) Exceptional Field Theory. JHEP 2014, 1409, 044. [Google Scholar] [CrossRef]
  32. Musaev, E.; Samtleben, H. Fermions and supersymmetry in E6(6) exceptional field theory. JHEP 2015, 1503, 027. [Google Scholar] [CrossRef]
  33. Hohm, O.; Samtleben, H. Exceptional field theory. II. E7(7). Phys. Rev. 2014, D89, 066017. [Google Scholar] [CrossRef]
  34. Scherk, J.; Schwarz, J.H. How to Get Masses from Extra Dimensions. Nucl. Phys. 1979, B153, 61–88. [Google Scholar] [CrossRef]
  35. Graña, M.; Marqués, D. Gauged Double Field Theory. JHEP 2012, 1204, 020. [Google Scholar] [CrossRef]
  36. Berman, D.S.; Musaev, E.T.; Thompson, D.C. Duality Invariant M-theory: Gauged supergravities and Scherk-Schwarz reductions. JHEP 2012, 1210, 174. [Google Scholar] [CrossRef]
  37. Musaev, E.T. Gauged supergravities in 5 and 6 dimensions from generalised Scherk-Schwarz reductions. JHEP 2013, 1305, 161. [Google Scholar] [CrossRef]
  38. Baron, W.H. Gaugings from E7(7) extended geometries. Phys. Rev. 2015, D91, 024008. [Google Scholar] [CrossRef]
  39. Hohm, O.; Musaev, E.T.; Samtleben, H. O(d + 1, d + 1) enhanced double field theory. JHEP 2017, 10, 086. [Google Scholar] [CrossRef]
  40. Nicolai, H.; Samtleben, H. Maximal gauged supergravity in three-dimensions. Phys. Rev. Lett. 2001, 86, 1686–1689. [Google Scholar] [CrossRef]
  41. De Wit, B.; Samtleben, H.; Trigiante, M. On Lagrangians and gaugings of maximal supergravities. Nucl. Phys. 2003, B655, 93–126. [Google Scholar] [CrossRef]
  42. De Wit, B.; Nicolai, H.; Samtleben, H. Gauged supergravities in three-dimensions: A Panoramic overview. arXiv 2004, arXiv:hep-th/0403014. [Google Scholar]
  43. Trigiante, M. Gauged Supergravities. Phys. Rept. 2017, 680, 1–175. [Google Scholar] [CrossRef]
  44. Le Diffon, A.; Samtleben, H. Supergravities without an Action: Gauging the Trombone. Nucl. Phys. 2009, B811, 1–35. [Google Scholar] [CrossRef]
  45. De Wit, B.; Nicolai, H.; Samtleben, H. Gauged Supergravities, Tensor Hierarchies, and M-Theory. JHEP 2008, 0802, 044. [Google Scholar] [CrossRef]
  46. De Wit, B.; Samtleben, H.; Trigiante, M. The Maximal D = 5 supergravities. Nucl. Phys. 2005, B716, 215–247. [Google Scholar] [CrossRef]
  47. Bergshoeff, E.; Samtleben, H.; Sezgin, E. The Gaugings of Maximal D=6 Supergravity. JHEP 2008, 0803, 068. [Google Scholar] [CrossRef]
  48. Cremmer, E.; Julia, B. The SO(8) supergravity. Nucl. Phys. 1979, B159, 141–212. [Google Scholar] [CrossRef]
  49. De Wit, B.; Nicolai, H. N = 8 Supergravity with Local SO(8) × SU(8) Invariance. Phys. Lett. 1982, B108, 285–290. [Google Scholar] [CrossRef]
  50. Dibitetto, G.; Fernandez-Melgarejo, J.; Marques, D.; Roest, D. Duality orbits of non-geometric fluxes. Fortsch. Phys. 2012, 60, 1123–1149. [Google Scholar] [CrossRef]
  51. Danielsson, U.; Dibitetto, G. On the distribution of stable de Sitter vacua. JHEP 2013, 03, 018. [Google Scholar] [CrossRef]
  52. Damian, C.; Loaiza-Brito, O.; Rey, L.; Sabido, M. Slow-Roll Inflation in Non-geometric Flux Compactification. J. High Energy Phys. 2013, 2013, 109. [Google Scholar] [CrossRef]
  53. Blabäck, J.; Danielsson, U.; Dibitetto, G. Fully stable dS vacua from generalised fluxes. JHEP 2013, 08, 054. [Google Scholar] [CrossRef]
  54. Hassler, F.; Lust, D.; Massai, S. On Inflation and de Sitter in Non-Geometric String Backgrounds. arXiv 2014, arXiv:1405.2325. [Google Scholar] [CrossRef]
  55. Ma, C.T.; Shen, C.M. Cosmological Implications from O(D,D). Fortsch. Phys. 2014, 62, 921–941. [Google Scholar] [CrossRef]
  56. Blumenhagen, R.; Kors, B.; Lust, D.; Stieberger, S. Four-dimensional String Compactifications with D-Branes, Orientifolds and Fluxes. Phys. Rept. 2007, 445, 1–193. [Google Scholar] [CrossRef]
  57. Riccioni, F.; West, P.C. E(11)-extended spacetime and gauged supergravities. JHEP 2008, 0802, 039. [Google Scholar] [CrossRef]
  58. Kleinschmidt, A. Counting supersymmetric branes. JHEP 2011, 10, 144. [Google Scholar] [CrossRef]
  59. Lombardo, D.M.; Riccioni, F.; Risoli, S. P fluxes and exotic branes. JHEP 2016, 12, 114. [Google Scholar] [CrossRef]
  60. Gross, D.J.; Perry, M.J. Magnetic Monopoles in Kaluza-Klein Theories. Nucl. Phys. 1983, B226, 29–48. [Google Scholar] [CrossRef]
  61. Hull, C. Generalised geometry for M-theory. JHEP 2007, 0707, 079. [Google Scholar] [CrossRef]
  62. Andriot, D.; Hohm, O.; Larfors, M.; Lust, D.; Patalong, P. Non-Geometric Fluxes in Supergravity and Double Field Theory. Fortsch. Phys. 2012, 60, 1150–1186. [Google Scholar] [CrossRef]
  63. Chatzistavrakidis, A.; Gautason, F.F.; Moutsopoulos, G.; Zagermann, M. Effective actions of nongeometric five-branes. Phys. Rev. 2014, D89, 066004. [Google Scholar] [CrossRef]
  64. Blair, C.D.A.; Musaev, E.T. Five-brane actions in double field theory. JHEP 2018, 03, 111. [Google Scholar] [CrossRef]
  65. Andriot, D.; Larfors, M.; Lust, D.; Patalong, P. (Non-)commutative closed string on T-dual toroidal backgrounds. JHEP 2013, 06, 021. [Google Scholar] [CrossRef]
  66. Blair, C.D.A. Non-commutativity and non-associativity of the doubled string in non-geometric backgrounds. JHEP 2015, 06, 091. [Google Scholar] [CrossRef]
  67. Berman, D.S.; Rudolph, F.J. Branes are Waves and Monopoles. JHEP 2015, 05, 015. [Google Scholar] [CrossRef]
  68. Bakhmatov, I.; Kleinschmidt, A.; Musaev, E.T. Non-geometric branes are DFT monopoles. JHEP 2016, 10, 076. [Google Scholar] [CrossRef]
  69. Bakhmatov, I.; Berman, D.; Kleinschmidt, A.; Musaev, E.; Otsuki, R. Exotic branes in Exceptional Field Theory: The SL(5) duality group. JHEP 2018, 08, 021. [Google Scholar] [CrossRef]
  70. Fernández-Melgarejo, J.J.; Kimura, T.; Sakatani, Y. Weaving the Exotic Web. JHEP 2018, 09, 072. [Google Scholar] [CrossRef]
  71. Berman, D.S.; Musaev, E.T.; Otsuki, R. Exotic Branes in Exceptional Field Theory: E7(7) and Beyond. JHEP 2018, 12, 053. [Google Scholar] [CrossRef]
  72. Berman, D.S.; Musaev, E.T.; Otsuki, R. Exotic Branes in M-Theory. In Proceedings of the Dualities and Generalized Geometries, Corfu, Greece, 9–16 September 2018. arXiv 2019, arXiv:hep-th/1903.10247. [Google Scholar]
  73. Jensen, S. The KK-Monopole/NS5-Brane in Doubled Geometry. JHEP 2011, 1107, 088. [Google Scholar] [CrossRef]
  74. Gregory, R.; Harvey, J.A.; Moore, G.W. Unwinding strings and t duality of Kaluza-Klein and h monopoles. Adv. Theor. Math. Phys. 1997, 1, 283–297. [Google Scholar] [CrossRef]
  75. Tong, D. NS5-branes, T duality and world sheet instantons. JHEP 2002, 07, 013. [Google Scholar] [CrossRef]
  76. Harvey, J.A.; Jensen, S. Worldsheet instanton corrections to the Kaluza-Klein monopole. JHEP 2005, 10, 028. [Google Scholar] [CrossRef]
  77. Kimura, T.; Sasaki, S. Worldsheet instanton corrections to 5 2 2 -brane geometry. JHEP 2013, 08, 126. [Google Scholar] [CrossRef]
  78. Fradkin, E.S.; Tseytlin, A.A. Effective Field Theory from Quantized Strings. Phys. Lett. 1985, 158B, 316–322. [Google Scholar] [CrossRef]
  79. Callan, C.G., Jr.; Martinec, E.J.; Perry, M.J.; Friedan, D. Strings in Background Fields. Nucl. Phys. 1985, B262, 593–609. [Google Scholar] [CrossRef]
  80. Hull, C.M.; Townsend, P.K. Finiteness and Conformal Invariance in Nonlinear σ Models. Nucl. Phys. 1986, B274, 349–362. [Google Scholar] [CrossRef]
  81. Wulff, L.; Tseytlin, A.A. Kappa-symmetry of superstring sigma model and generalized 10d supergravity equations. JHEP 2016, 06, 174. [Google Scholar] [CrossRef]
  82. Bena, I.; Polchinski, J.; Roiban, R. Hidden symmetries of the AdS(5) x S**5 superstring. Phys. Rev. 2004, D69, 046002. [Google Scholar] [CrossRef]
  83. Delduc, F.; Magro, M.; Vicedo, B. An integrable deformation of the AdS5xS5 superstring action. Phys. Rev. Lett. 2014, 112, 051601. [Google Scholar] [CrossRef]
  84. Arutyunov, G.; Borsato, R.; Frolov, S. Puzzles of η-deformed AdS5 × S5. JHEP 2015, 12, 049. [Google Scholar] [CrossRef]
  85. Arutyunov, G.; Frolov, S.; Hoare, B.; Roiban, R.; Tseytlin, A.A. Scale invariance of the η-deformed AdS5 × S5 superstring, T-duality and modified type II equations. Nucl. Phys. 2016, B903, 262–303. [Google Scholar] [CrossRef]
  86. Sakamoto, J.i.; Sakatani, Y.; Yoshida, K. Weyl invariance for generalized supergravity backgrounds from the doubled formalism. PTEP 2017, 2017, 053B07. [Google Scholar] [CrossRef]
  87. Sakatani, Y.; Uehara, S.; Yoshida, K. Generalized gravity from modified DFT. JHEP 2017, 04, 123. [Google Scholar] [CrossRef]
  88. Baguet, A.; Magro, M.; Samtleben, H. Generalized IIB supergravity from exceptional field theory. JHEP 2017, 03, 100. [Google Scholar] [CrossRef]
  89. Araujo, T.; Bakhmatov, I.; Colgáin, E.Ó.; Sakamoto, J.I.; Sheikh-Jabbari, M.M.; Yoshida, K. Conformal twists, Yang–Baxter σ-models & holographic noncommutativity. J. Phys. 2018, A51, 235401. [Google Scholar] [CrossRef]
  90. Araujo, T.; Ó Colgáin, E.; Sakamoto, J.; Sheikh-Jabbari, M.M.; Yoshida, K. I in generalized supergravity. Eur. Phys. J. 2017, C77, 739. [Google Scholar] [CrossRef]
  91. Sakamoto, J.I.; Sakatani, Y.; Yoshida, K. Homogeneous Yang-Baxter deformations as generalized diffeomorphisms. J. Phys. 2017, A50, 415401. [Google Scholar] [CrossRef]
  92. Bakhmatov, I.; Ó Colgáin, E.; Sheikh-Jabbari, M.M.; Yavartanoo, H. Yang-Baxter Deformations Beyond Coset Spaces (a slick way to do TsT). JHEP 2018, 06, 161. [Google Scholar] [CrossRef]
  93. Bakhmatov, I.; Musaev, E.T. Classical Yang-Baxter equation from β-supergravity. JHEP 2019, 01, 140. [Google Scholar] [CrossRef]
  94. Sakamoto, J.I.; Sakatani, Y. Local β-deformations and Yang-Baxter sigma model. JHEP 2018, 06, 147. [Google Scholar] [CrossRef]
  95. Andriot, D.; Hohm, O.; Larfors, M.; Lust, D.; Patalong, P. A geometric action for non-geometric fluxes. Phys. Rev. Lett. 2012, 108, 261602. [Google Scholar] [CrossRef]
  96. Seiberg, N.; Witten, E. String theory and noncommutative geometry. JHEP 1999, 9909, 032. [Google Scholar] [CrossRef]
  97. Andriot, D.; Betz, A. NS-branes, source corrected Bianchi identities, and more on backgrounds with non-geometric fluxes. JHEP 2014, 07, 059. [Google Scholar] [CrossRef]
  98. Andriot, D.; Betz, A. β-supergravity: A ten-dimensional theory with non-geometric fluxes, and its geometric framework. JHEP 2013, 12, 083. [Google Scholar] [CrossRef]
  99. Fernández-Melgarejo, J.J.; Sakamoto, J.I.; Sakatani, Y.; Yoshida, K. Weyl Invariance of String Theories in Generalized Supergravity Backgrounds. Phys. Rev. Lett. 2019, 122, 111602. [Google Scholar] [CrossRef]
  100. Catal-Ozer, A. Non-Abelian T-duality as a Transformation in Double Field Theory. arXiv 2019, arXiv:1904.00362. [Google Scholar]
  101. Hassler, F. Poisson-Lie T-Duality in Double Field Theory. arXiv 2017, arXiv:707.08624. [Google Scholar]
  102. Baguet, A.; Hohm, O.; Samtleben, H. Consistent Type IIB Reductions to Maximal 5D Supergravity. Phys. Rev. 2015, D92, 065004. [Google Scholar] [CrossRef]
  103. Malek, E.; Samtleben, H.; Vall Camell, V. Supersymmetric AdS7 and AdS6 vacua and their minimal consistent truncations from exceptional field theory. Phys. Lett. 2018, B786, 171–179. [Google Scholar] [CrossRef]
  104. Malek, E.; Samtleben, H.; Vall Camell, V. Supersymmetric AdS7 and AdS6 vacua and their consistent truncations with vector multiplets. JHEP 2019, 04, 088. [Google Scholar] [CrossRef]
  105. Hohm, O.; Samtleben, H. The many facets of exceptional field theory. In Proceedings of the Dualities and Generalized Geometries, Corfu, Greece, 9–16 September 2018. arXiv 2019, arXiv:1905.08312. [Google Scholar]
  106. Blumenhagen, R.; Font, A.; Plauschinn, E. Relating Double Field Theory to the Scalar Potential of N = 2 Gauged Supergravity. arXiv 2015, arXiv:1507.08059. [Google Scholar] [CrossRef]
  107. Bosque, P.d.; Hassler, F.; Lust, D. Flux Formulation of DFT on Group Manifolds and Generalized Scherk-Schwarz Compactifications. arXiv 2015, arXiv:1509.04176. [Google Scholar] [CrossRef]
Figure 1. Reduction of 11D fields into four dimensions, dualization into the lowest possible rank tensor and recollection into the E 7 multiplet in the 56 and the coset space E 7 ( 7 ) / S U ( 8 ) . Both magnetic and electric vectors potentials are included in the counting (see the text).
Figure 1. Reduction of 11D fields into four dimensions, dualization into the lowest possible rank tensor and recollection into the E 7 multiplet in the 56 and the coset space E 7 ( 7 ) / S U ( 8 ) . Both magnetic and electric vectors potentials are included in the counting (see the text).
Symmetry 11 00993 g001
Figure 2. Reduction of 11D fields into seven dimensions, dualization into the lowest possible rank tensor and recollection into SL(5) multiplets. Dashed lines correspond to an alternative combination of the 2- and 3-forms into the 3-form C μ ν ρ m dual to B μ ν m in 7 dimensions (see the text). Here the small Latin indices m , n , k , label the fundamental irrep 5 of SL(5) and small Latin indices from the beginning of the alphabet label the fundamental irrep 4 of GL(4).
Figure 2. Reduction of 11D fields into seven dimensions, dualization into the lowest possible rank tensor and recollection into SL(5) multiplets. Dashed lines correspond to an alternative combination of the 2- and 3-forms into the 3-form C μ ν ρ m dual to B μ ν m in 7 dimensions (see the text). Here the small Latin indices m , n , k , label the fundamental irrep 5 of SL(5) and small Latin indices from the beginning of the alphabet label the fundamental irrep 4 of GL(4).
Symmetry 11 00993 g002
Figure 3. Relations between toroidal reductions of N = 1 D = 11 supergravity, gaugings and more complicated dimensional reductions involving geometric and non-geometric fluxes.
Figure 3. Relations between toroidal reductions of N = 1 D = 11 supergravity, gaugings and more complicated dimensional reductions involving geometric and non-geometric fluxes.
Symmetry 11 00993 g003
Figure 4. Systematics of backgrounds with H, geometric f and Q fluxes and their relations. Note that in [77] Q-monopole localised in both X 8 and X 9 has been constructed with both these directions being compact.
Figure 4. Systematics of backgrounds with H, geometric f and Q fluxes and their relations. Note that in [77] Q-monopole localised in both X 8 and X 9 has been constructed with both these directions being compact.
Symmetry 11 00993 g004
Figure 5. Relationships between the relevant theories and their solutions. b-frame refers to the standard supergravity (possibly generalised), while β -frame is the theory of [98]. Yang-Baxter deformation acts within usual supergravity, but we interpret it as a composition of the open/closed string map with a deformation by β m n . This leads to the constraints for β m n (essentially the CYBE) arising from supergravity field equations.
Figure 5. Relationships between the relevant theories and their solutions. b-frame refers to the standard supergravity (possibly generalised), while β -frame is the theory of [98]. Yang-Baxter deformation acts within usual supergravity, but we interpret it as a composition of the open/closed string map with a deformation by β m n . This leads to the constraints for β m n (essentially the CYBE) arising from supergravity field equations.
Symmetry 11 00993 g005
Table 1. Y-tensor for different T(U)-duality groups for string and M-theory on a d-torus. Here the Greek indices α , β , γ = 1 , , 5 label the representation 5 of S L ( 5 ) and the index i labels the 10 of S O ( 5 , 5 ) , n denotes dimension of the representation generalized vectors of the theory transform in.
Table 1. Y-tensor for different T(U)-duality groups for string and M-theory on a d-torus. Here the Greek indices α , β , γ = 1 , , 5 label the representation 5 of S L ( 5 ) and the index i labels the 10 of S O ( 5 , 5 ) , n denotes dimension of the representation generalized vectors of the theory transform in.
Duality GroupThe Y-TensorDimension of Extended Space
O(d,d) Y K L M N = η M N η K L n = 2 d
SL(5) Y K L M N = ϵ α M N ϵ α K L n = 10
SO(5,5) Y K L M N = 1 2 ( γ i ) M N ( γ i ) K L n = 16
E 6 ( 6 ) Y K L M N = 10 d M N R d K L R n = 27
E 7 ( 7 ) Y K L M N = 12 c M N K L + δ K ( M δ L N ) + 1 2 ϵ M N ϵ K L n = 56
Table 2. Counting of winding modes of branes of M-theory on a background of the form M 4 × T d with M 4 being a four-dimensional manifold. The first column contains dimensions of the compact torus, the second column lists the corresponding U-duality group, and the last column lists representations of G under which coordinates of the extended space transform.
Table 2. Counting of winding modes of branes of M-theory on a background of the form M 4 × T d with M 4 being a four-dimensional manifold. The first column contains dimensions of the compact torus, the second column lists the corresponding U-duality group, and the last column lists representations of G under which coordinates of the extended space transform.
dGPM2M5KK6 5 3 2 6 0 ( 1 , 7 ) R X
2SL(2)21-----3
3SL(3)×SL(2)33-----(3,2)
4SL(5)46-----10
5SO(5,5)5101----16s
6 E 6 ( 6 ) 6156----27
7 E 7 ( 7 ) 721217---56
8 E 8 ( 8 ) 828565656288248
Table 3. Possible choices for orientation of DFT monopole in the doubled space.
Table 3. Possible choices for orientation of DFT monopole in the doubled space.
CoordinatesBraneState
x μ = ( z , y 1 , y 2 , y 3 , x r ) | NS5-brane (H-monopole) 5 2 0
x μ = ( z ˜ , y 1 , y 2 , y 3 , x r ) | KK-monopole 5 2 1
x μ = ( z ˜ , y ˜ 1 , y 2 , y 3 , x r ) | Q-monopole 5 2 2
x μ = ( z ˜ , y ˜ 1 , y ˜ 2 , y 3 , x r ) | R-monopole 5 2 3
x μ = ( z ˜ , y ˜ 1 , y ˜ 2 , y ˜ 3 , x r ) | R’-monopole 5 2 4

© 2019 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
Back to TopTop