arxiv: v4 [hep-th] 8 Mar 2018

Transcription

1 Exceptional M-brane sigma models and η-symbols Yuho Sakatani and Shozo Uehara arxiv: v4 [hep-th 8 Mar 218 Department of Physics, Kyoto Prefectural University of Medicine, Kyoto , Japan Abstract We develop the M-brane actions proposed in arxiv: by using η-symbols determined in arxiv: Introducing η-forms that are defined with the η-symbols, we present U-duality-covariant M-brane actions which describe the known brane worldvolume theories for Mp-branes with p =, 2, 5. We show that the self-duality relation known in the double sigma model is naturally generalized to M-branes. In particular, for an M5-brane, the self-duality relation is nontrivially realized, where the Hodge star operator is defined with the familiar M5-brane metric while the η-form contains the self-dual 3-form field strength. The action for a Kaluza-Klein monopole is also partially reproduced. Moreover, we explain how to treat type IIB branes in our general formalism. As a demonstration, we reproduce the known action for a p, q-string. address: yuho@koto.kpu-m.ac.jp address: uehara@koto.kpu-m.ac.jp

2 Contents 1 Introduction 2 2 Double sigma model A brief review of double sigma model Our approach M-branes in exceptional spacetime Action for an Mp-brane M-brane M2-brane M5-brane Results from the superembedding approach Self-duality relation for M5-brane Action for a Kaluza Klein Monopole Comments on duality symmetry Obstacle to manifest U-duality covariance Duality covariance On dual coordinates Type IIB branes in exceptional spacetime Action for a p, q-string Exotic branes and gauge fields in the external space 4 6 Conclusion 42 A Conventions 44 A.1 Differential forms A.2 E dd algebra and the R n -representation A.3 η-symbols in the M-theory parameterization

3 1 Introduction String theory compactified on a d-torus has the Od, d T -duality symmetry, but the duality is not manifest in the conventional formulation. A T -duality manifest formulation for strings, called the double sigma model DSM, was originally developed in [1 6, where the dimensions of the target spacetime are doubled by introducing the dual winding coordinates. Utilizing the idea of the doubled spacetime, a manifestly T -duality-covariant formulation of low-energy superstrings was developed in [4, 7 1, which is nowadays known as the double field theory DFT. More recent studies on the DSM include [ Other than the fundamental string, higher-dimensional objects also transform covariantly under T -duality. A T -duality-covariant action for D-branes was constructed in [15 see also [5 and a covariant action for a family of type II 5-branes [i.e. NS5-brane, Kaluza Klein Monopole KKM, and the exotic brane was constructed in [16. In fact, string theory compactified on a d 1-torus or M-theory on a d-torus has a larger duality symmetry generated by the E dd U-duality group. As a natural generalization of the T -duality-covariant string theory, U-duality-covariant membrane theory was first investigated in [17. Moreover, by generalizing the idea of DFT, a manifestly U-duality-covariant formulation of supergravity, called the exceptional field theory EFT, was developed in [ Utilizing DFT/EFT, unified treatments of brane solutions were studied in [ Further attempts at U-duality-manifest M-brane theories were made in [38 45, but some obstacles to the manifestation of the whole U-duality symmetry are reported in [46 48 see Sect. 3.6 for more details on this point. Thus, it remains to be investigated whether we can formulate brane actions in a U-duality-covariant manner. In this paper, we develop the worldvolume theories for M-branes proposed in [49. The proposed theory is based on the geometry of the exceptional spacetime introduced in EFT and can reproduce the conventional worldvolume theories for the M2-brane and M5-brane in a uniform manner. The action for an Mp-brane takes the form S = 1 [ 1 p M X P I γ P J + Ω p Σ p+1 However, the U-duality covariance has not been manifest in Ω p+1. In this paper, by using the η-symbols recently determined in [5, we introduce a covariant object η, to be called the η-form, and propose a duality-covariant action that reproduces the above action. As we shall argue later, the η-form can be regarded as a natural generalization of the Od, d-invariant metric η in DFT or DSM. Indeed, we show that the self-duality relation in DSM, η P J = H γ P J, 1.2 2

4 can be naturally generalized to η P J = M γ P J 1.3 for an Mp-brane. Moreover, we argue that the action for a KKM can also be naturally reproduced in our formalism, although the whole action is not reproduced due to limitations of our analysis. We also demonstrate that our formalism can reproduce brane actions for type IIB branes. The present paper is organized as follows. In Sect. 2, we briefly review the DSM constructed in [12 and explain a slight difference from our approach. In Sect. 3, we apply our approach to M-branes; M, M2, M5-branes and KKM. In Sect. 4, we explain how to apply our formalism to type IIB branes and reproduce the action for a p, q-string. A possible application to exotic branes is discussed in Sect. 5. Section 6 is devoted to conclusions and discussion. 2 Double sigma model In this section, we review the standard construction of the DSM and explain a slight difference from our approach. The difference is not significant in the DSM, but it becomes important when we consider higher dimensional objects in the following sections. 2.1 A brief review of double sigma model Let us begin with a brief review of Lee and Park s DSM [12 known as the string sigma model on the doubled-yet-gauged spacetime. The action takes the form S = 1 [ H X DX I γ DX J + η DX I A J, 2.1 where η Σ 2 is the Od, d-invariant metric, γ ab σ is the intrinsic metric on the worldsheet, X I σ is the embedding function of the string into the doubled spacetime, and H X is the generalized metric satisfying the section condition K K H =. According to the section condition or equivalently the coordinate gauge symmetry [51, there are d generalized Killing vectors, which take the form i i = 1,..., d when H depends only on the x i coordinates. Associated to the isometries, we introduce 1-form gauge fields A I σ satisfying A I σ I T x = 2.2 3

5 for an arbitrary supergravity field T x, and define the covariant derivative DX I σ dx I σ A I σ. In order to see the equivalence to the conventional string sigma model, let us consider a duality frame where k H = is realized. In such frame, 2.2 requires A I and DX I to have the following form: A I σ = A i σ, DX I = dx I A I = By further using the parameterization of the generalized metric dx i d X i A i. 2.3 G B G 1 B ij B G 1 j i H =, 2.4 G 1 B i j G ij the action becomes S = 1 [ G ij dx i γ dx j B ij dx i dx j d 2 X i dx i 2.5 Σ Gij A i d X i + B ik dx k G ik γ dx k γ Aj d X j + B jl dx l G jl γ dx l. Eliminating the gauge fields A i, we obtain the action S = 1 [ G ij X dx i γ dx j B ij X dx i dx j d 2 X i dx i, 2.6 Σ 2 which is the familiar sigma model action for the bosonic string up to a total-derivative term. The DSM is thus classically equivalent to the conventional string sigma model. The action 2.1 is manifestly invariant under global Od, d rotations and worldsheet diffeomorphisms. It is also invariant under generalized diffeomorphisms in the target doubled spacetime [ Our approach In this paper, we basically follow the approach of Lee and Park, but there are slight differences. Following [5, we introduce a set of null generalized vectors λ a a = 1,..., d satisfying λ a I η λ b J =. 2.7 These λ a specify a solution of the section condition, and an arbitrary supergravity field T x must satisfy the linear section equation [5 λ a I η J T x =

6 Figure 1: Fluctuations of a string as active generalized diffeomorphisms. For example, a choice λ a λ a λ a I i δ a = i λ i; a 2.9 corresponds to the section where supergravity fields satisfy i T x =. For a given set of null generalized vectors λ a that specifies a section, we express the condition 2.2 for A I as A I σ λ a I =. 2.1 This is a minor difference though it becomes important when we consider brane actions. A major difference is in the parameterization of fluctuations. In the DSMs known in the literature, fluctuations of a string are described by the embedding function X I σ, but we take a different approach, which is important in the generalization to branes. We first choose the section 2.9, where all fields and gauge parameters depend only on the physical coordinates x i. We then prepare a static string worldsheet, where the tangent vectors to the worldsheet take the form Ē a Ē I a = δ i a a =, 1, 2.11 where the bar represents that the string is static. If we introduce a 1-form dσ a Ē I Ē a I dσ a =., 2.12 it corresponds to dx I σ of a string in the static gauge, X σ = σ and X 1 σ = σ 1. In order to describe a fluctuation of the string, we perform a finite active diffeomorphism along a gauge parameter ξ I x = ξ i, ξ i satisfying i ξ I = see Figure 1. Under the section 2.9, a generalized diffeomorphism e ˆ ξ a usual diffeomorphism e ˆ ξ = can be decomposed into a B-field gauge transformation and δ i k F ik x δ k i 5 x k x j x j x k, 2.13

7 where x i = e ξj j x i, F ij i A j j A i, and A i are complicated functions of ξ I which coincide with ξ i when ξ i =. The usual diffeomorphism maps Ē I as Ē I σ and the B-field gauge transformation further maps it as Ē I σ diffeo. dx i σ dx i σ, 2.14 B-field gauge trsf. dx i σ F ij X σ dx j σ We thus introduce a generalized vector E I σ, which describes fluctuations of a string, as E I σ dx i σ F ij Xσ dx j σ, 2.16 where the prime has been removed for simplicity. The scalar fields X i describe fluctuations of a string inside the d-dimensional physical subspace of the doubled target space with coordinates x i, while the 1-form A i describes the fluctuation along the dual directions in the doubled spacetime. In general, since the integrability condition is violated, i.e. τ E σ σ E τ I, we cannot find the embedding functions X I σ that realize E I σ = dx I σ. However, inside the physical subspace, the integrability condition, τ E σ σ E τ i =, is satisfied and the worldsheet is a manifold described by X i σ as usual. Thus, the violation in the dual components may be related to the gerbe structure discussed in [52. In this paper, instead of assuming the existence of the embedding functions X I σ, we parameterize fluctuations of a string by using the diffeomorphism parameters ξ I, or equivalently {X i σ, A i Xσ }. Since E I is obtained by acting a generalized diffeomorphism on a generalized vector Ē I, E I also transforms as a generalized vector. Such behavior of E I is ensured as long as F ij transforms like the B-field as δ V F ij = v F ij + i ṽ j j ṽ i δv A i = v k F ki + ṽ i, 2.17 under an infinitesimal diffeomorphism. It should also be noted that E I is a null generalized vector; η E I E J =. Assuming the null property, our parameterization 2.16 is the most general parameterization up to duality rotations. Now, our action is given by S = 1 2 Σ 2 [ 1 2 H X P I γ P J + η P I A J,

8 which is simply obtained from 2.1 with the replacements dx I E I, DX I P I E I A I In the duality frame 2.9, the condition 2.1 leads to A I =, P I = E I A I dx i dx i =, 2.2 A i F ij Xσ dx j A i and, in the following, we consider P i as the fundamental variable rather than A i. If we rewrite the action as S = 1 2 Σ 2 [ 1 2 H X P I γ P J + η P I E J, 2.21 we observe that F ij appears only in the second term. In the second term, since the only quantity with an upper index is dx i other than the Kronecker delta, we see that F ij appears only through the pullback, F 2 σ da 1 σ, A 1 σ A i Xσ dx i Indeed, we can explicitly expand the second term as S = 1 [ H X P I γ P J + P i dx i 2 F Therefore, the fundamental fields in our action are Σ 2 {X i σ, A 1 σ, P i σ, γ ab σ} Namely, not all components of A i Xσ appear in the action only the pullback A1 σ does. Eliminating the auxiliary fields P i σ by using their equations of motion, we obtain S = 1 [ G ij X dx i γ dx j B ij X dx i dx j F Σ 2 Σ 2 The main difference from Lee and Park s action is in the last term. The last term in 2.6 reproduces our F 2 if we regard d X i as F ij dx j. Let us comment on the symmetry of the action The invariance under the worldsheet diffeomorphism is manifest. Under an infinitesimal generalized diffeomorphism, E I transforms as a generalized vector and A I is also supposed to transform as a generalized vector. Then, since H and η are generalized tensors, 2.18 is manifestly invariant under generalized diffeomorphism. The action is also formally covariant under global Od, d rotations. In the Od, d rotated frame, λ a I no longer takes the form 2.9, and supergravity fields depend on 7 P i

9 another set of d coordinates, which may contain the dual coordinates. The parameterization of the generalized vector E I is also changed since the physical subspace and the generalized diffeomorphism are changed see Sect. 3.6 for more details. For later convenience, let us also comment on the self-dual relation [1, 5, 6, 12. The equations of motion for the auxiliary fields can be written as P i = G ij γ dx j + B ij dx j A duality-covariant rewriting of this equation is known as the self-dual relation, and takes the form η P J = H X γ P J In this paper, we find a similar self-dual relation for M-branes that determines all of the auxiliary fields in terms of the conventional fields. 3 M-branes in exceptional spacetime In this section, we consider worldvolume actions for M-branes. We decompose the elevendimensional spacetime into an 11 d-dimensional external space and a d-dimensional internal space, and enlarge the internal space into an exceptional space with dimension D = dim R 1, where R 1 is a fundamental representation of the E dd group see Appendix A.2. For simplicity, we disregard the external space and consider dynamics of branes in the internal space only. This assumption becomes less restrictive as d becomes larger. In order to describe the time evolution, we include the time direction in the internal space. In Sect. 3.1, we construct the brane actions for Mp-branes p =, 2, 5. The detailed properties and the equivalence to the conventional theories are studied in Sects The action for a KKM is discussed in Sect In Sect. 3.6, we discuss the U-duality covariance of our actions. 3.1 Action for an Mp-brane In order to describe M-branes, we parameterize the generalized coordinates in the E dd exceptional spacetime d 7 as x I = x i, y i 1 i 2, y i 1 i 5, y i 1 i 7, i, 3.1 5! 7! 8

10 where i = 1,..., d and I = 1,..., dim R 1. We also parameterize the generalized metric M as follows by using the fields in the eleven-dimensional supergravity [22, 37, 53: M = L T ˆM L G 1 9 d M, L e 1 3! C i 1 i 2 i 3 R i 1 i 2 i 3 e 1 6! C i 1 i 6 R i1 i 6, 3.2 G ij ˆM G 1 G i 1i 2, j 1 j 2 9 d, 3.3 G i 1 i 5, j 1 j 5 G i 1 i 7, j 1 j 7 G ij e 1 3! C i 1 i 2 i 3 R i 1 i 2 i 3 δ i j Ci 1 i 2 j 5!δk 1 k 5 i C k1 k 1 i 5 2 k 3 C k4 k 5 j 7!δk 1k 1p 1p 2p 3q 1q 2 i 1 i 7 e 1 6! C i 1 i 6 R i 1 i 6 L = 3! 5! C ik1 k 2 C p1 p 2 p 3 C q1 q 2 j 3! 3! 7! δ j1j2 i 1i 2 5!δ j 1 j 2 k 1 k 2 k 3 i C k1 k 1 i 5 2 k 3 3! 5! 7!δ j 1 j 2 k 1 k 2 l 1 l 2 l 3 i C ik1 k 1 i 7 2 C l1 l 2 l 3 3! 7! δj i δ j1j2 i 1i 2 C i1 i 5 j 5! δ j1 j5 i 1 i 5 7! δj 1j 2k 1 k 5 i 1 i 7 C ik1 k 5 5! 7! δ j1 j7 i 1 i 7 δ j i δ j1 j5 i 1 i 5 7!δ j1 j 5 k 1 k 2 i C ik1 k 1 i 7 2 5! 7! δ j1 j7 i 1 i 7 δ j i, 3.4, 3.5 δ i j Ci 1 i 2 j δ j1j2 i 1i 2 C i1 i 5 j 5C [i1 i 2 i 3 C i4 2δ j 1 j 2 C i 5 j [i 1 i i3 i 2 4 i 5 5! 5! 21C i[i1 i 2 C i3 i 7 j 5 3 Ci 3 i 4 i 5 C i 6 i 7 j 7! 42δj 1 j 2 C [i 1 i i i3 i 2 7 5C i i3 i 4 C i5 i 6 i 7 7!δ j1 j 5 C [i i6 i 1 i 5 7 i 7! δ j1 j5 i 1 i 5 5! 7! δ j1 j7 i 1 i 7 δ j i. 3.6 Here, G ij, C i1 i 2 i 3, C i1 i 6 are the conventional fields in the eleven-dimensional supergravity, G detg ij, and R i 1i 2 i 3 I J and R i 1 i 6 I J are E dd generators in the R 1 -representation see Appendix A.2 for the details. We also defined δ i 1 i p j 1 j p δ [i 1 [j 1 δ ip j p and G i 1 i p, j 1 j p G i 1k1 G ipkp δ j 1 j p k 1 k p. Similar to the case of the DSM, we specify the section by introducing a set of null generalized vectors λ a I a = 1,..., d satisfying [5 where the explicit forms of η ; I and Ω λ a I η ; I λ b J =, λ a I Ω λ b J =, 3.7 are given in Appendix A.3. For a given λ a I, the linear section equations for arbitrary supergravity fields and gauge parameters T x become λ a I η ; I J T x =, λ a I Ω J T x =. 3.8 Using the same λ a, we can express a condition for A I as A I σ λ a I =, 3.9 9

11 which corresponds to 2.1 in the DSM. For a natural choice of λ a, λ a I = λ a i λ i 1 i 2 ; a λ i 1 i 5 ; a 5! λ i 1 i 7, i; a 7! δ a i =, 3.1 supergravity fields depend only on the physical coordinates x i and A I takes the form A A I i1 i 2 = A i1 i ! 5 A i1 i 7, i 7! Similar to the DSM, we describe fluctuations of a p-brane by using the 1-form-valued null generalized vector E I σ. In the case of the exceptional sigma model, we parameterize the null generalized vector as dx j E I σ = L I J = where we defined dx i F i1 i 2 j dx j F i1 i 5 j+5 F [i1 i 2 i 3 F i4 i 5 j dx j 5! 21 F i[i1 i 2 F i3 i 7 j+ 5 3 Fi 3 i 4 i 5 F i 6 i 7 j dx j 7!, 3.12 F i1 i 2 i 3 x 3 [i1 A i2 i 3 x, F i1 i 6 x 6 [i1 A i2 i 6 x, L L I J e 1 3! F i 1 i 2 i 3 R i 1 i 2 i 3 e 1 6! F i 1 i 6 R i 1 i As in the string case, X i, A i1 i 2, and A i1 i 5 are understood as functions of the diffeomorphism parameters ξ I that fluctuate a static brane. In order for E I to transform as a generalized vector, F i1 i 2 i 3 and F i1 i 6 should transform as δ V F i1 i 2 i 3 = v F i1 i 2 i 3 3 [i1 v i2 i 3 δv A i1 i 2 = v k F ki1 i 2 v i1 i 2, δ V F i1 i 6 = v F i1 i 6 3 [i1 v i2 i 3 F i4 i 5 i 6 6 [i1 v i2 i δv A i1 i 5 = v k F ki1 i 5 5 v [i1 i 2 F i3 i 4 i 5 v i1 i 5, under an infinitesimal generalized diffeomorphism along V I = v i, v i 1 i 2, v i 5! 1 i 5, v i 1 i 7, k 7!. Now, we define the generalized vector P I σ as P I E I A I = dx i F i1 i 2 j dx j A i1 i 2 F i1 i 5 j+5 F [i1 i 2 i 3 F i4 i 5 j dx j A i1 i 5 5! 21 F i[i1 i 2 F i3 i 7 j+ 5 3 Fi 3 i 4 i 5 F i 6 i 7 j dx j A i1 i 7, i 7! dx i P i1 i 2 P i1 i 5 5! P i1 i 7, i 7!,

12 and regard {P i1 i 2, P i1 i 5, P i1 i 7, i} as the fundamental fields instead of {A i1 i 2, A i1 i 5, A i1 i 7, i}. Unlike the doubled case, the η-symbols η ; I in the E dd exceptional spacetime contain an additional index I [5. Then, in order to describe a p-brane, we introduce a p 1-form Q I that transforms in the R 2 -representation, and define a p 1-form-valued η-symbol which we call the η-form. η η ; I Q I, 3.16 In particular, when we consider an Mp-brane p =, 2, 5, we choose Q I as follows: dx i F 3 dx i dx Q I M, Q I M2 µ 2, Q I M5 µ i1 i 4 5 4!, where F 3 1 3! F i 1 i 2 i 3 dx i 1i 2 i 3, µ p are constants representing the brane charge, and we have introduced an abbreviated notation dx i 1 i p dx i 1 dx ip Then, we propose the following actions: S = 1 M X P I γ P J, 2 Σ 1 S 2 = 1 [ 1 3 Σ 3 2 M X P I γ P J P I η M2 E J, S 5 = 1 [ M X P I γ P J P I η M5 E J, Σ where η Mp η ; I Q I Mp. Note that the M5-brane charge 3.17 has been obtained from the static purely M5-brane charge Q I M5 through the active generalized diffeomorphism 3.12, F 3 dx i dx Q I M5 µ i1 i 4 dx 5 4! Q I M5 = L I J 5 Q J M5 = Q I M5 µ i1 i 4 5 4!, where the transformation matrix L I J for the R 2 -representation is given by see Appendix A.2 L I J e 1 3! F i 1 i 2 i 3 R i 1 i 2 i 3 e 1 6! F i 1 i 6 R i 1 i 6 I J

13 The M2-brane charge is invariant under the active diffeomorphism, L I J Q J M2 = QI M2. As long as F i1 i 2 i 3 and F i1 i 6 behave as in 3.14, Q I Mp transforms as a generalized vector in the R 2 -representation and hence the η-form η transforms as a generalized tensor. In our actions, the generalized metric M X includes an overall factor GX 1 9 d, which is important for the duality covariance in EFT. However, it does not play an important role in the worldvolume theory because it can be absorbed into the intrinsic metric γ ab. convenience, we introduce an independent scalar field e ωσ inside M X and regard the combination, e ωσ e ωσ GX 1 9 d, as a new fundamental field. Namely, in the following, when we denote M X in the worldvolume action, it means For M X = e ωσ M X, 3.22 and e ωσ is an independent field. For a p-brane p 1, the action has a local symmetry, e ωσ Ω 1 p σ e ωσ, γ ab σ Ω 2 σ γ ab σ, 3.23 and e ωσ is not a dynamical field. Indeed, as we see later, e ω disappears from the action after eliminating γ ab by using the equation of motion. Only for the case of a string p = 1 in type IIB theory does the new scalar field e ω play an important role see Sect Let us summarize the fundamental fields in our M-brane actions. There are always scalar fields X i σ, auxiliary fields {P i1 i 2 σ, P i1 i 5 σ, P i1 i 7, iσ}, and the intrinsic metric γ ab σ. In addition, the generalized vector E I contains quantities like F i1 i 2 j dx j and F i1 i 5 j dx j. As we explained in the doubled case, since all of the indices of F i1 i p+1 in the action, only their pullbacks are contracted with dx i F 3 σ da 2 σ, A 2 σ 1 A i 1 i 2 Xσ dx i 1 i 2, F 6 σ da 5 σ, A 5 σ 1 5! A i 1 i 5 Xσ dx i 1 i 5, 3.24 can appear in the action. Then, from the dimensionality, for example, F 6 cannot appear in the M2-brane action, and the fundamental fields can be summarized as follows: M-brane : {X i σ, P i1 i 2 σ, P i1 i 5 σ, P i1 i 7, iσ, γ ab σ, ωσ}, M2-brane : {X i σ, P i1 i 2 σ, P i1 i 5 σ, P i1 i 7, iσ, γ ab σ, ωσ, A 2 σ}, M5-brane : {X i σ, P i1 i 2 σ, P i1 i 5 σ, P i1 i 7, iσ, γ ab σ, ωσ, A 2 σ, A 5 σ}. Our action for an Mp-brane p =, 2, 5 can be summarized as S p = 1 p + 1 Σ p+1 [ 1 2 M X P I γ P J P I η Mp E J, η M =, η M2 = µ 2 2 η ; k dx k, η M5 = µ ! η ; k1 k4 dx k 1 k 4 + F 3 η ; k dx k

14 This action is manifestly invariant under a generalized diffeomorphism along V I, δ V M = ˆ V M, δ V X i = v i, δ V A 2 = ι v F 3 v 2, δ V A 5 = ι v F v 2 F 3 v 5, 3.27 where v i is restricted to be tangent to the worldvolume and we have defined v 2 1 v i 1 i 2 dx i 1i 2 and v 5 1 5! v i 1 i 5 dx i 1 i 5. The covariance of our action under global U-duality rotations is discussed in Sect where In order to expand the action explicitly, it is convenient to define the untwisted vector ˆP i1 i 2 = P i1 i 2 C i1 i 2 j dx j, ˆP I dx i ˆP i1 i 2 ˆP i1 i 5 5! ˆP i1 i 7,i 7! L I J P J, 3.28 ˆP i1 i 5 = P i1 i P [i1 i 2 C i3 i 4 i 5 + C i1 i 5 j 5 C [i1 i 2 i 3 C i4 i 5 j dx j, ˆP i1 i 7,i = P i1 i 7, i + 21 P [i1 i 5 C i6 i 7 i 21 P [i1 i 2 C i i3 i 7 5 C i i3 i 4 C i5 i 6 i C i[i1 i 2 Ci3 i 7 j 5 3 C i 3 i 4 i 5 C i6 i 7 j dx j. Then, we can expand the first term of the action as M P I γ P J = e ω [G ij dx i γ dx j + 1 Gi 1i 2, j 1 j 2 ˆPi1 i 2 γ ˆPj1 j ! Gi 1 i 5, j 1 j 5 ˆPi1 i 5 γ ˆPj1 j ! Gi 1 i 7, j 1 j 7 G ij ˆPi1 i 7, i γ ˆPj1 j 7, j We can also calculate the second term of the action as where P I η M2 E J = 1 P i 1 i 2 dx i 1i 2 3 F = 1 ˆP i1 i 2 dx i 1i C 3 F 3, 3.31 P I η M5 E J = 1 5! P i 1 i 5 dx i 1 i P i 1 i 2 dx i 1i 2 F 3 6 F 6 = 1 5! ˆP i1 i 5 dx i 1 i ˆP i1 i 2 dx i 1i 2 H C 6 F C 3 F 3, 3.32 H 3 F 3 C

15 Note that P I η M2 E J and P I η M5 E J expressed in the above forms are the same as Ω 2 and Ω 5 introduced in [49 up to conventions, and the actions presented above can be understood as a rewriting of the actions in [49 making the duality covariance manifest. For later convenience, we also define Z I M P J, Ẑ I L T I J Z J = M ˆPJ M-brane Let us consider the simplest example, the action for a particle in M-theory, sometimes called the M-brane. The action is simply given by see also [54,55 for particle actions in extended spacetimes S = 1 M X P I γ P J Σ 1 The equations of motion for the auxiliary fields P i1 i 2, P i1 i 5, and P i1 i 7, i give ˆP i1 i 2 =, ˆPi1 i 5 =, ˆPi1 i 7, i =, 3.36 and by eliminating the auxiliary fields, we obtain S = dτ 1 2v G ijx τ X i τ X j, 3.37 where v e ω γ ττ γ ττ. By considering v as the fundamental variable instead of the redundantly introduced fields ω and γ ττ, this is the bosonic part of the superparticle action discussed in [56. Type IIA branes: D-brane For completeness, we review how to reproduce the D-brane action from the above particle action [56. By considering the reduction ansatz Grs G rm e 2 3 φ g rs + e 4 3 φ C r C s e 4 3 φ C r G ij = G Ms G MM e 4 3 φ C s e 4 3 φ δ t = r C r e 2 3 φ g tu δ u s, e 4 3 φ C s 1 where r, s = 1,..., d 1 and x M represents the M-theory direction, the action 3.37 becomes S = dτ 1 [ e 2 3 φ g rs X τ X r τ X s + e 4 3 φ τ X M + C r τ X r v 14

16 From the equations of motion for X M, we obtain e 4 3 φ τ X M + C r τ X r = µ v, 3.4 where µ is the integration constant, and using this, the action becomes S = dτ 1 2 [ e 2 3 φ v g rs X τ X r τ X s v µ 2 e 4 3 φ µ dτ C r τ X r Here, we have added a total-derivative term µ τ X M. Using the equation of motion for v, v 2 µ 2 = e 2 3 φ g rs X τ X r τ X s, 3.42 we obtain the standard D-brane action S = µ dτ e φ g rs X τ X r τ X s µ C 1, 3.43 where C 1 C r τ X r dτ. 3.3 M2-brane Let us next consider the action for an M2-brane S 2 = 1 [ 1 3 Σ 3 2 M P I γ P J P I η M2 E J = 1 [ M P I γ P J µ 2 ˆP i1 i 2 dx i 1i 2 + µ 2 C 3 F Σ 3 Σ 3 We derive the conventional action for the usual fields X i by using the equations of motion for auxiliary fields P i1 i 3, P i1 i 5, P i1 i 7, i, and γ ab. The equations of motion for P i1 i 5 P i1 i 7, i can be written as and ˆP i1 i 5 =, ˆPi1 i 7, i = Using these, the equation of motion for P i1 i 2 becomes e ω G i 1i 2, j 1 j 2 γ ˆPj1 j 2 µ 2 dx i 1i 2 = These equations of motion completely determine ˆP I and ẐI in terms of X i and γ ab, dx i e ω G ij dx j ˆP µ 2 e I ω G i1 i 2, j 1 j 2 γdx j 1 j 2 = µ 2 γdx i 1 i 2, ẐI =

17 The intrinsic metric γ ab can also be determined by using its equation of motion, Indeed, from this and the above solutions for ˆP I, we obtain M P I a P J b = This leads to h ab G ij a X i b X j = 1 Gi 1i 2, j 1 j 2 ˆPa; i1 i 2 ˆPb; j1 j 2 = µ 2 e ω 2 c G i1 i 2, j 1 j 2 ε 1 c 2 d a ε 1 d 2 b c1 X i 1 c2 X i 2 d1 X j 1 d2 X j 2 = µ 2 e ω 2 det h γ h 1 γ det γ ab det γ det h = µ 2 e ω 6, µ 2 e ω 4 hγ 1 h γ 1 b = δ b a a. 3.5 Note that if we define a matrix R a b µ 2 e ω 2 hγ 1 a b, it cannot vary i.e. δr a b = because of R 2 a b = δ b a. Therefore, if R a b = δ b a is satisfied at an initial time, it must be always satisfied, namely γ ab = µ 2 e ω 2 h ab Using the above equations of motion, the action for X i becomes S 2 = µ Σ 3 ˆP i1 i 2 dx i 1i 2 + µ 2 C 3 F 3 Σ 3 = 1 e ω 3 Σ 3 2 Gi 1i 2, j 1 j 2 ˆPi1 i 2 γ ˆPj1 j 2 + µ 2 C 3 F 3 Σ 3 = 1 e ω G ij dx i γ dx j + µ 2 C 3 F 3 3 Σ 3 Σ 3 = µ 2 d 3 σ det h + µ 2 C 3 F Σ 3 Σ 3 This is the bosonic part of the well-known membrane action [57. Now, let us show the self-duality relation. Using the equations of motion, we can show µ2 2 e 2ω G 2 ki, k1 k 2 dx k γ dx k 1k 2 e ω G ij γ dx j η M2 ˆP µ 2 dx J i 1 i 2 µ 2 dx = i 1 i 2 = = γ Ẑ I This relation straightforwardly leads to the self-duality relation η M2 P J = M γ P J

18 Type IIA branes: D2-brane and F-string For completeness, let us review the derivation of the actions for a D2-brane and a fundamental string from the M2-brane action. In order to obtain the D2-brane action, we follow the procedure of [56. We first rewrite the action 3.52 as S 2 = µ 2 det h d 3 σ v + µ 2 C 3 F Σ 3 v Σ 3 by introducing an auxiliary field v. Under the reduction ansatz Grs G rm e 2 3 φ g rs + e 4 3 φ C r C s e 4 3 φ C r G ij = =, G Ms G MM e 4 3 φ C s e 4 3 φ C 3 = C 3 B 2 C 1 + B 2 dx M + C 1, 3.56 the action becomes S 2 = µ 2 2 where Y 1 dx M + C 1 and we used the identity [ e d 3 2φ det h σ 1 + e 2φ h ab Y a Y b v Σ 3 v + µ 2 Σ 3 [ C3 + B 2 Y 1 C 1 F 3, 3.57 det h = e 2φ deth ab + e 2φ Y a Y b = e 2φ det h 1 + e 2φ h ab Y a Y b hab g rs a X r b X s By introducing a Lagrange multiplier A 1 that imposes the constraint dy 1 rewrite the action as S 2 = µ [ 2 e d 3 2φ det h σ 1 + e 2φ h ab Y a Y b v 2 Σ 3 v [ + µ 2 C3 + B 2 F 2 Y 1 C 1 F 3 Σ 3 = µ [ 2 e d 3 2φ det h σ 2 Σ 3 v + µ 2 d 3 det h σ h [Y ab a + 2 Σ 3 v dc 1, we can v hcd h ef F cd F ef + µ 2 C3 + F 2 C 1 F 3 Σ3 µ 2 v [ 2 µ 2 det h h ac ɛ cde F de Y b + µ 2 v 2 µ 2 det h h bf ɛ fgh F gh, 3.59 where we defined F 2 da 1 and F 2 da 1 B 2, and Y 1 is regarded as a fundamental field. By eliminating Y a and using hcd h ef F cd F ef = deth + F det h,

19 we obtain S 2 = µ 2 2 [ e d 3 2φ det h σ v Σ 3 v deth + F + µ 2 C3 + F 2 C 1 F det h Σ 3 Finally, using the equation of motion for v, we obtain the well-known D2-brane action S 2 = µ 2 d 3 σ e φ deth + F + µ 2 C3 + F 2 C 1 F Σ 3 Σ 3 On the other hand, when we derive the string action, we first make an ansatz, X r σ a = X r σ, σ 1, X M σ a = σ 2, ι σ 2 A 2σ a = A 1 σ, σ Then, we can easily reproduce the Nambu Goto-type action for a fundamental string S 1 = µ 1 d 2 σ det h + µ 1 B 2 F 2, 3.64 Σ 2 Σ 2 where µ 1 µ 2 2πR M, F 2 da 1, and det h dethã b ã, b =, M5-brane Let us next consider an M5-brane action S 5 = 1 [ 1 6 Σ 6 2 M P I γ P J P I η M5 E J = 1 [ 1 6 Σ 6 2 M P I γ P J µ 5 5! + µ 5 Σ 6 ˆP i1 i 5 dx i 1 i 5 µ 5 ˆP i1 i 2 dx i 1i 2 H 3 C 6 F C 3 F 3, 3.65 where H 3 = F 3 C 3. The equations of motion for P i1 i 7, i and P i1 i 5 give ˆP i1 i 7, i =, e ω G i 1 i 5, j 1 j 5 γ ˆPj1 j 5 µ 5 dx i 1 i 5 = From these, the equation of motion for P i1 i 2 takes the following form: = M i 1i 2 J γ P J µ 5 dx i 1i 2 F 3 = e ω G i 1i 2, j 1 j 2 γ ˆPj1 j 2 + eω 3! δi 1i 2 [j 1 j 2 A j3 j 4 j 5 G j 1 j 5, k 1 k 5 γ ˆPk1 k 5 µ 5 dx i 1i 2 F 3 = e ω G i 1i 2, j 1 j 2 γ ˆPj1 j 2 µ 5 dx i 1i 2 H

20 Then, the equations of motion for auxiliary fields can be summarized as dx i e ω G ij dx j ˆP µ 5 e ω G i1 i 2, j 1 j 2 γdx j 1 j 2 H 3 I = µ 5 e ω G i1 i 5, j 1 j 5 γdx j1 j 5, ẐI = 5! µ 5 γdx i 1 i 2 H 3 µ 5 γdx i 1 i 5 5! It should be noted that if we compute Z I = L T J I Ẑ J for d 6 as [ e ω G ij dx j µ 5 γ ιi C 3 H 3 + ι i C ι 2 ic 3 C 3 Z I = µ 5 γdx i 1 i 2 F 3 µ 5 γdx i 1 i 5 5!. 3.68, 3.69 its time component appears to be reproducing the generalized momenta, Eq. 2.9 in [58, obtained in the Hamiltonian analysis. The equation of motion for γ ab and the above solution for ˆP I give h ab G ij a X i b X j = 1 Gi 1i 2, j 1 j 2 ˆPai1 i 2 ˆPbj1 j 2 1 5! Gi 1 i 5, j 1 j 5 ˆPai1 i 5 ˆPbj1 j 5 = 1 G µ 5 e ω i 1 i 2, j 1 j 2 ε c 1 c 5 a c1 X i 1 c2 X i 2 µ 5 e ω H c3 c 3! 4 c 5 ε d 1 d 5 b d1 X j 1 d2 X j 2 H d3 d 3! 4 d 5 µ 5 e ω 2 G i1 i 5! 5, j 1 j 5 ε c 1 c 5 a c1 X i1 c5 X i 5 ε d 1 d 5 b d1 X j1 d5 X j 5 = µ 5 e ω 2 det h det γ [ 2 3 hc 3c 4 c 5 e, d 3 d 4 d 5 f H c3c4c5 H d3d4d5 γ ae γ bf + γ h 1 γ ab = µ 5 e ω 2 det h det γ γ ac θ c d h 1 γ d b, 3.7 where we have defined h a 1 a n, b 1 b n h a 1c1 h ancn δ b 1 b n c 1 c n θ a b 1 + trh2 6 By rewriting this as and δ a b 1 2 H2 a b, H 2 a b h ae h c 1d 1 h c 2d 2 H ec1 c 2 H bd1 d γ 2 γ 1 h γ 1 h a b = µ 5 e ω 2 h 2 θ a b, 3.72 and taking the square root, we obtain γ γ 1 h a b = µ 5 e ω h θ 1 2 a b, 3.73 or γ ab = µ 5 e ω 1 2 det θ a b 1 8 θ 1 2 ab, γ h 2 = µ 5 e ω 3 det θ a b

21 Here and hereafter, we raise or lower the worldvolume indices a, b by using the induced metric h ab. The trace of 3.73 gives G ij dx i γ dx j = γ d 6 σ γ 1 h a a = µ 5 e ω h d 6 σ trθ 1 2, 3.75 and the action becomes S 5 = µ Σ 6 5! ˆP i1 i5 dx i 1 i ˆP i1i2 dx i 1i 2 H 3 + µ 5 C C 3 F 3 F 6 Σ 6 = 1 e ω 6 Σ 6 5! Gi 1 i 5, j 1 j 5 ˆPi1 i 5 γ ˆPj1 j 5 + eω Gi 1i 2, j 1 j 2 ˆPi1 i 2 γ ˆPj1 j 2 + µ 5 C Σ 6 2 C 3 F 3 F 6 = 1 e ω G ij dx i γ dx j + µ 5 C Σ 6 Σ 6 2 C 3 F 3 F 6 = µ 5 d 6 σ h trθ µ 5 C Σ C 3 F 3 F This is the action obtained in [49, and, as was shown there, at least in the weak field limit H 3 1, this theory is equivalent to the conventional M5-brane theory. In the following, we will check the equivalence at the non-linear level. Σ Results from the superembedding approach A variation of our action 3.76 with respect to A 2 becomes up to a boundary term δs 5 = µ [ 5 a h C [a c H b 1b 2 c σ 5 4 3! ɛa 1 a 4 b 1 b 2 a1 C a2 a 3 a 4 δa b1 b 2, 3.77 where Σ 5 C a b trθ δ a b θ 1 2 a b, σ 5 µ 5 µ By using the covariant derivative D a associated with h ab, the equation of motion becomes D a [ C [a d H bcd σ 5 h H 3 abc = This is consistent with the non-linear self-duality relation [49 C [a d H bcd = σ 5 h H 3 abc, 3.8 2

22 although the self-duality relation cannot be derived from our action. under a simultaneous variation, δx i = v i and δa 2 = 1 vi C ij1 j 2 dx j 1j 2 On the other hand, see [59, the action 3.76 changes up to a boundary term as { δ v S 5 = d 6 σ µ 5 [ h G ij G ab a b X j + D a G ab b X j + 1 Σ 6 2 3! F iabc C [a d H bcd µ 5 ɛ a 1 a 6 1 6! F ia 1 a } 2 3! 3! F ia 1 a 2 a 3 H a4 a 5 a 6 v i, 3.81 where we have defined G ab trθ h ab + θ 1 2 c d 6 [ 1 2 H2 ab δc d H2 a c h bd + H ade H b ce, a b X i D a b X i + Γ i kl a X k b X l, Γ i jk 1 2 Gil j G kl + k G jl l G jk, 3.82 F 4 dc 3, F 7 dc C 3 F 4, F ia1 a p F ij1 j p a1 X j1 ap X jp. Namely, we obtain the equations of motion G ab a b X i ɛ a 1 a 6 1 = σ 5 h 6! F i 1 a 1 a ! 3! F i a 1 a 2 a 3 H a4 a 5 a ! F i abc C [a d H bcd D a G ab b X i In order to evaluate the last term, we recall the invariance of the action under a worldvolume diffeomorphism, δ ξ X i = ξ a a X i and δ ξ A 2 = ξ A 2, δ ξ S 5 = µ 5 h D a G ab σ 5 ɛ a 1 a 6 h bc F ca1 a Σ 6 3! 3! 2 a 3 H a4 a 5 a 6 ξ b =, 3.84 h where a boundary term is neglected because it is irrelevant. Since the diffeomorphism parameter ξ a σ is arbitrary, we obtain [59 D a G ab = σ 5 ɛ a 1 a 6 h bc F ca1 a 3! 3! 2 a 3 H a4 a 5 a h Using this identity and the non-linear self-duality relation 3.8, we can express the equations of motion 3.83 as G ab a b X i = σ 5 ɛ a 1 a 6 h 1 6! F j a 1 a ! 3! F j a 1 a 2 a 3 H a4 a 5 a 6 P j i, 3.86 where we defined a projection, P j i δ i j G jk h ab a X k b X i, 3.87 satisfying P i k P k j = P i j where we used h ab h 1 ab and h ab = G ij a X i b X j. 21

23 In order to compare the above equations of motion with the known ones, let us review the familiar results obtained in the superembedding approach [6,61. In the superembedding approach, we introduce a self-dual 3-form field satisfying We then define h h abc = h abc m ab h ab 2 k ab, k ab = h a cd h bcd An important relation that relates h abc and the 3-form field H 3 F 3 C 3 is The above quantities satisfy [6 We also define h a1 a 2 c h b 1b 2 c = δ b 1b 2 a 1 a 2, m 1 ab = k a a =, k a c k c b = k2 6 δb a. h abc = 1 4 m [a d H bcd k2 h ab + 2 k ab, 3.91 K k k2, Q k2 = 2 K + 1, 3.92 and then we can show the following nontrivial relations [62, 63: k ab 1 [ = H 2 ab trh2 h ab, 8 K K H a1 a 2 c H b 1b 2 c = 2 K 2 1 δ b 1b 2 a 1 a K k [b 1 [a 1 k b 2 a K K + 1 δ[b 1 [a 1 k b 2 a 2, H 2 ab = 8 K K + 1 k ab + 4 K 2 1 h ab, trh 2 = 24 K 2 1, H 4 ab H 2 ac H 2 b c = 2 3 trh2 [h ab H2 ab, [ trh 4 = 4 trh trh2, H a1 a 2 c H b1 b c 2 H 2 a 2b 2 = H 4 a1 b 1. If we introduce the 5-brane co-metric as [ C ab Q 1 m a c m cb = K h ab 2 K + 1 k ab, 3.94 it satisfies the following relations [62, 63: C ab = K [ trh2 h ab 1 4 H2 ab, det C b a = 1, [ C 1 ab = K 1 h ab H2 ab, trc = trc 1 = 6 K, C 2 ab = h ab H2 ab, C 2 ab = 1 + trh2 6 h ab 1 2 H2 ab, C 1 ab = C ab + 2 K h ab, H a1 a 2 c H b1 b 2 c C 1 a 2b 2 = K 1 H H4 a 1 b

24 Note that the 5-brane co-metric is proportional to the open membrane co-metric studied in [64, 65. Using the co-metric, we can express the non-linear self-duality relation for H 3 as [59 62 C d [a H bcd = h H abc The equations of motion for scalar fields are obtained as [6, 61 C ab a b X i = ɛa 1 a 6 h 1 6! F j a 1 a ! 3! F j a 1 a 2 a 3 H a4 a 5 a 6 P j i From the relations 3.93, we can easily see θ 1 2 a b = C a b, C a b = 2 K δ a b C 1 a b = C a b, 3.98 and the known non-linear self-duality relation 3.96 is equivalent to our relation 3.8. We can also show the nontrivial relation G ab = K h ab trθ = K h ab K 2 H2 ab K H 2 ab θ 2 cb H 2 a c θ 2 c d H ade H b ce H ab 4 H4 = 2K2 1 K hab 1 4 K H2 ab = C ab This indicates that the known equations of motion 3.97 are equivalent to ours Namely, as long as the relations 3.88 and 3.9 are satisfied at an initial configuration, the equations of motion of our theory describe the same time evolution as the conventional M5-brane theory. It is also interesting to note that the intrinsic metric naturally reproduced the 5-brane metric or the open membrane metric up to a Weyl rescaling e 1 2 ω γ ab = µ C 1 ab, 3.1 as a result of the equations of motion. Moreover, it is interesting to note that, by using 3.95, our action 3.76 becomes S 5 = µ 5 which takes the same form as the action studied in [59, 66. Σ 6 [ h K σ 5 C C 3 F 3 F 6, Self-duality relation for M5-brane In this subsection, we show the self-duality relation for the M5-brane η M5 P J = M γ P J

25 Instead of directly showing the relation, in the following we show an equivalent relation, Using the equations of motion, the left-hand side becomes = µ 2 5 e ω 5 L T η M5 L 1 ˆP J = ẐI L T η M5 L 1 ˆP J = µ 5 [ L T η k1 k 5! F [k1 k 2 k 3 η k4 L 1 dxk 1 k 4 ˆP J = µ 5 ηk1 k 5! H [k1 k 2 k 3 η k4 dxk 1 k 4 ˆP J [ G j1 j 2, k 1 k 2 H 3 dx [j 1 δ j 2 i γ dx k 1k 2 H 3 + G j 1 j 5, k 1 k 5 δ [j1 i dx j2 j 5 γdx k1 k 5 4! 2 µ 5 dx i 1 i 2 H µ2 5 e ω G j1 j 2, k 1 k 2 dx i 1 i 2 j 1 j 2 γdx k 1 k 2 H 3 5 µ 5 dx i 1 i 5 5! Then, our task is to show that this generalized vector is equal to e ω G ij γ dx j µ 5 dx i 1 i 2 H 3 γ Ẑ I = µ dx i1 i 5 5! The nontrivial relations are the first and the second rows, G ij γ dx j = µ2 5 e 2ω 5 + µ2 5 e 2ω 5 G j1 j 2, k 1 k 2 H 3 dx [j 1 δ j 2 i γ dx k 1k 2 H 3 }{{} N 1 G j1 j 5, k 1 k 5 δ [j 1 i dx j 2 j 5 γ dx k 1 k 5, }{{ 4! } N 2 dx i 1i 2 H 3 = 2 5 dxi 1i 2 H 3 + µ 5 e ω G j1 j 1 2, k 1 k 2 dx i 1i 2 j 1 j 2 γ dx k 1k 2 H 3 }{{} N We show that N 1 = µ 2 5 e 2ω G ik b X k H 2 b d γ dσ d, N 2 = µ 2 5 e 2ω [ 5 G ik γ dx k + G ik b X k H 2 b d γ dσ d, 3.17 N 3 = 3 5 dxi 1i 2 H 3, and then the relations 3.16 are proven. 24

26 In order to show 3.17, we need to use various relations displayed in Sect , such as 3.95 and By using we can simplify N 1 as dσ a 1 a 5 = ε a 1 a 5 c γ dσ c, h dσ a = N 1 G j1 j 2, k 1 k 2 H 3 dx [j 1 δ j 2 i γ dx k 1k 2 H 3 = G j1 k 1 G ik2 1 = 5! 3! 3! G ik b2 X k H a1 a 2 a 3 H b3 b 4 b 5 h a 1a 2 a 3 ce, b 2 b 5 d γ cd h γ γ dσ a, ! H a 1 a 2 a 3 a4 X j 1 b1 X k 1 b2 X k 1 2 3! H b 3 b 4 b 5 dσ a 1 a 4 γ dσ b 1 b 5 h h dσ e γ = 2 3! G ik b2 X k H a 1a 2 a 3 H b3 b 4 b 5 δ b 3b 4 b 5 b 2 d a 1 a 2 a 3 ce 1 γd c γ e 1 e 2 = µ 2 5 e 2ω 3 det h det γ γ dσ e 2 [ G ik b X k trh 2 δce bd 1 6 H 2 [b [c δd e Habd H ace1 γd c γ e 1 e 2 γ dσ e 2 = µ 2 5 e 2ω G ik b X [trh k 2 γ2 b e 2 trγ γe b [H 2 γ 2 be2 trγ H 2 γ be2 trγ H 2 γ be2 + γ H 2 γ be H adb H ace1 γd c γ e 1 e 2 γ dσ e 2 = µ 2 5 e 2ω G ik b X k H 2 b d γ dσ d Similarly, N 2 becomes N 2 1 4! G j 1 j 5, k 1 k 5 δ [j 1 i dx j 2 j 5 γ dx k 1 k 5 = 1 4! G ik 1 G j2 j 5, k 2 k 5 a1 X j2 a4 X j 5 b1 X k1 b5 X k 5 dσ a 1 a 4 γ dσ b 1 b 5 = 1 4! G ik b1 X k h a1 a 4, b 2 b 5 ε a 1 a 4 c h d h dσ d ε b 1 b 5 e γ ec γ = 2 G ik b1 X k h cd, b 1e h γ ec h dσ d γ Finally, N 3 becomes N 3 µ 5 e ω 1 = det h det γ G ik b X k [ h 1 γ h 1 γ + trγ h 1 γ b d γ dσ d = µ 2 5 e 2ω G ik b X k [ δ b d 1 2 H2 b d + 6 δ b d H2 b d γ dσ d = µ 2 5 e 2ω[ 5 G ik γ dx k + G ik b X k H 2 b d γ dσ d G j1 j 2, k 1 k 2 dx i 1i 2 j 1 j 2 γ dx k 1 k 2 H 3 25

27 = µ 5 e ω 1 = µ 5 e ω 1 = µ 5 e ω 5 G j1 j 2, k 1 k 2 a1 X i 1 a2 X i 2 a3 X j 1 a4 X j 2 b1 X k 1 b2 X k 1 2 3! H b 3 b 4 b 5 dσ a 1 a 4 γ dσ b 1 b 5 h a1 X i 1 a2 X i 2 1 h a3 a γ 4, b 1 b 2 3! H b 3 b 4 b 5 ε a 1 a 4 c 2 d ε b 1 b 5 c 1 γ c1 c 2 h dσ d h a1 X i 1 a2 X i 2 H a 1a 2 d h c 1c 2 3 H c 1[a 1 a 2 h dc 2 γ c1 c γ 2 h dσ d = 3 5 dxi 1i 2 H In this way, we have shown the nontrivial self-duality relation for the M5-brane. 3.5 Action for a Kaluza Klein Monopole As the last example, let us consider a KKM in M-theory. In fact, a KKM couples to the mixed-symmetry potential C i1 i 8, j, but this potential appears in the generalized metric M of the E dd exceptional spacetime only when d 8. Therefore, we cannot reproduce the whole brane action for a KKM [67, 68 due to our limitation, d 7. In this section, by neglecting the gauge fields, we demonstrate that our action can reproduce the dominant part of the action for a KKM, S d 7 σ k 2 Σ 7 det G ij D a X i D b X j The main difference from the previously considered M-branes is that a KKM requires the existence of an isometry direction generated by a generalized Killing vector k I. In this case, employing the standard procedure in the gauged sigma model, we introduce an additional 1-form gauge field a 1 σ and include it in A I, In other words, the generalized vector P I is modified as A I A I + a 1 k I P I P I a 1 k I Supposing that the generalized Killing vector takes the form k I = k i,,...,, we have P I = We then consider the action S KKM = 1 7 Σ 7 DX i P i1 i 2 P i1 i 5! 5 P i1 i 7,i 7!, DXi dx i a 1 k i [ 1 2 M X P I γ P J P I η KKM E J,

28 where η KKM takes the following form by neglecting the gauge fields: η KKM µ K 6! η ; k 1 k 5 i, j DX k 1 DX k 5 k i k j More explicitly, we consider the following action: S KKM = 1 [ M P I γ P J µ K 6! P i 1 i 7, i DX i 1 i 6 k i 7 k i Σ 7 Since we are neglecting the background gauge fields, the first term simply becomes M P I γ P J = e ω [G ij dx i γ dx j + 1 Gi 1i 2, j 1 j 2 P i1 i 2 γ P j1 j 2 The equation of motion for P i1 i 7, i gives + 1 5! Gi 1 i 5, j 1 j 5 P i1 i 5 γ P j1 j ! Gi 1 i 7, j 1 j 7 G ij P i1 i 7, i γ P j1 j 7, j e ω G i 1 i 7, j 1 j 7 G ij P j1 j 7, j + 7 µ K DX [i 1 i 6 k i 7 k i =, 3.12 and the equations of motion for P i1 i 5 and P i1 i 2 give Using these, the equation of motion for γ ab becomes P j1 j 5 =, P i1 i 2 = G ij D a X i D b X j = 1 7! Gi 1 i 7, j 1 j 7 G ij P a; i1 i 7, i P b; j1 j 7, j where k 2 G ij k i k j. If we define = 7 6! µ K 2 e 2 ω k 2 G i1 i 7, j 1 j 7 ε c 1 c 6 a ε d 1 d 6 b D c1 X i1 D c6 X i 6 k i 7 D d1 X j1 D d6 X j 6 k j 7, Π ij G ij k i k j k 2, π ab G ij D a X i D b X j = Π ij D a X i D b X j, the above equation can be expressed as π ab = µ K 2 e 2 ω k 2 2 6! Π i1 i 6, j 1 j 6 ε c 1 c 6 a ε d 1 d 6 b D c1 X i1 D c6 X i 6 D d1 X j1 D d6 X j 6 = µ K 2 e 2 ω k 2 2 det π det γ γ π 1 γ ab, and we obtain γ 1 π γ 1 π a b = µ K 2 e 2 ω k 2 2 det π det γ δa b

29 This leads to γ γ 1 π a b = µ K e ω k 2 π δ a b, γ γ ab G ij D a X i D b X j = γ γ 1 π a a = 7 µ K e ω k 2 π, and we finally obtain S KKM = 1 µ K 7 Σ 7 6! P i 1 i 7, i DX i 1 i 6 k i 7 k i = 1 e ω G ij DX i γ DX j = µ K d 7 σ k 2 π Σ 7 Σ 7 In this way, we can reproduce the well-known action for a KKM. In order to introduce the worldvolume gauge fields, we need to modify the η-form, η KKM = η ; I QI KKM, QI KKM µ K 6 dx [i1 i 5 k i 6 k k 6 6!, by performing the active diffeomorphism Q I KKM QI KKM LI J Q J KKM, where LI J is defined in The resulting η-form, η KKM η ; I Q I KKM, transforms covariantly under generalized diffeomorphisms. In our approach, the action is invariant under gauge transformations, and we expect that by introducing all of the gauge fields in the E 88 case, we will straightforwardly reproduce the whole action for a KKM. In the E 77 case, we cannot consider exotic branes since there are no winding coordinates or auxiliary fields P i1 i 8, j 1 j 2 j 3 and P i1 i 8, j 1 j 6 for these branes. However, in the E 88 case, we can consider similar actions like S 5 3 = 1 [ 1 6 Σ 6 2 M X P I γ P J P I η 53 E J, S 2 6 = 1 [ M X P I γ P J P I η 26 E J, Σ although the explicit forms of the η-symbols, η 53 and η 26, are not yet determined. In the E 88 case, the generalized metric does not contain the potentials C i1 i 9, i 1 i 2 i 3 and C i1 i 9, i 1 i 6 that couple to the exotic 5 3 -brane and the 2 6 -brane, but we can consider the truncated action like the KKM action presented in this subsection. In order to reproduce the whole action for a 5 3 -brane and a 2 6 -brane, we are led to consider the E 99 exceptional spacetime. Another possibility to describe a KKM or exotic branes in d 7 is discussed in Sect

30 3.6 Comments on duality symmetry In the previous sections, we have discussed our sigma model actions only in the usual section, where the set of null vectors λ a take the simple form, λ a I = δa i,,...,. In such cases, E I, A I, and P I transform covariantly under generalized diffeomorphisms which do not change the section λ a, and our action was manifestly invariant. Since a subgroup of the T - or U- duality group, known as the geometric subgroup, can be realized as a rigid part of generalized diffeomorphisms, invariance of our action under the geometric subgroup is also manifest. In this subsection, we consider global duality transformations that change the section λ a, and show that E I, A I, and P I transform covariantly. In the conventional formulation of string theory/m-theory, such duality symmetry exists only in constant background, and we assume here that the supergravity fields are constant unless otherwise stated Obstacle to manifest U-duality covariance Let us begin with a brief review of the obstacle to describing the equations of motion in a manifestly duality-covariant form [46, 47. In the DSM defined in a constant background, the equation of motion for P i gives and taking the exterior derivative, we obtain P i = G ij γ dx j + B ij dx j, 3.13 dp i = G ij d γ dx j =, where we used the equation of motion for X i in the last equality. Namely, for a given solution, we can at least locally find X i σ that satisfies P i = d X i. Then, we can express P I P I = dx I, where X I X i, Xi, and the equations of motion become This is manifestly covariant under a global Od, d rotation [1 η dx J = H γ dx J dx I Λ 1 I J dx J, H Λ K I Λ L J H KL Λ K I Λ L J η KL = η On the other hand, in the case of an M2/M5-brane in a constant background, as we can easily see from 3.53 or 3.15, the equations of motion give d γ Ẑ I = and thus d γ P I =. Then, the self-duality relation, η Mp P J = M γ P J, and dη Mp = lead to η Mp dp J = as 29

31 Remarkably, unlike the case of the DSM, this does not mean dp I =. Indeed, as was pointed out in [47, if we consider a solution of an M2-brane for d 4 {X i } = {σ, α σ 1 cosω σ, α σ 1 sinω σ, β σ 2,,..., } α, β, ω : constant, we find that dp i1 i 2 although is satisfied. The only exception is the M2-brane in d = 3, called the topological membrane [47. In that case, the equations of motion give dx i dx i P I = =, C i1 i 2 j dx j G i1 i 2, j 1 j 2 h dx j 1 j 2 C i1 i 2 j dx j ε i1 i 2 j dx j where ε ijk G ɛ ijk, and dp I = is automatically satisfied. Then, at least locally, we can find the dual coordinates Y i1 i 2 satisfying P i1 i 2 = dy i1 i 2 and the self-duality equation becomes η M2 dx J = M γ dx J, X I X i, Y i 1 i This is covariant under the whole U-duality group E 33 = SL3 SL2 [47. In general cases with d 4, although we cannot express P i1 i 2 as P i1 i 2 = dy i1 i 2, the self-duality relation η M2 P J = M γ P J is itself still satisfied, and it is formally covariant under E dd transformations P I Λ 1 I J P J, M Λ K I Λ L J M KL, η M2 Λ K I Λ L J η M2 KL In particular, under global U-duality transformations generated by R i1 i 2 i 3 we call the ω-transformations, P I is transformed as and R i1 i 6, which P I P I e 1 3! ωi 1 i 2 i 3 R i1 i 2 i 3 e 1 6! ωi 1 i 6 R i1 i 6 I J P J, 3.14 and, for example in d = 4, we have dx i P I = P i1 i 2 P I = dx i 1 2 ωij 1j 2 P i1 i 2 P i1 i The problem discussed in [47 is basically that if we continue to use the parameterization dx i P I =, P i 1 i 2 the non-closedness dp i1 i 2 leads to the non-integrability of dx i dp i = d 2 X i = 1 2 ωij 1j 2 dp j1 j

32 Then, the conclusion of [47 was that ω-transformations are not allowed and is covariant only under the geometric subgroup generated by {K i j, R i 1i 2 i 3, R i 1 i 6 } i.e., coordinate transformations GLd and constant shift of C 3 and C 6. In the following, we stress that the parameterization P I = dx i, integrability condition dp i = should be modified as which is important to allow for the whole duality symmetry. P i1 i 2 should be changed under ω-transformations, and the d λ a I P I =, Duality covariance Let us consider the DSM, where the duality group is Od, d. The Od, d group is generated by 2d2d 1 generators, {T 2 α } { } K j i, R ij, R ij, whose matrix representations are K l k I δk J i δl j, R k 1k 2 I δ j J, R k1 k k δl i 2 δ k1k2 2 I 2 δ ij k J 1k ij Here, the K i j correspond to general coordinate transformations GLd and the R ij = R [ij correspond to the B-field gauge transformations, and these generate the geometric subgroup. The correspondents of the ω-transformations, which change the section λ a, are called β- transformations that are generated by the remaining generators R ij = R [ij. In the following, we show that E I σ transforms covariantly E I σ = dx i F ij dx j E I σ = δ i j β ij dx j δ j i F jk dx k, under a global β-transformation. In order to determine the transformation rule, let us rewrite the definition of E I σ in terms of the β-rotated frame. Since the original section has been specified by λ a I = δa i,, in the β-rotated frame λ a takes the form λ a I = δ j β ij and the linear section equations 2.8 give i δ i j δ a j = δ a i β ia, λ a I η J T x = a β ai i T x =, where T x represents a supergravity field or a diffeomorphism parameter in the doubled spacetime. Originally, E I was defined as E I = e ˆ ξ Ē I by using the static Ē I defined in