arxiv:hep-th/ v1 6 May 2004

Transcription

1 Topological mass in seven dimensions and dualities in four dimensions arxiv:hep-th/ v 6 May 2004 M. Betancourt and A. Khoudeir Centro de Física Fundamental, Facultad de Ciencias, Universidad de los Andes, Mérida 50, Venezuela February, 2008 Abstract The massive topologically and self dual theories en seven dimensions are considered. The local duality between these theories is established and the dimensional reduction lead to the different dualities for massive antisymmetric fields in four dimensions. The topological Chern Simons terms have played an important role in several physical models. For instance, they appear in the eleven dimensional supergravity in a natural way [] and arise in the anomalies cancellation for gauge and string theories. Also, they allow the formulation of genuine gauge theory for gravity.[2]. If they are included in the conventional theories for odd dimension D = 4k, it is possible formulate massive theories which are compatible with gauge invariance. Initially, this goal was formulated in three dimensions provide gauge invariant theories for massive spin and spin 2 fields [3]. These are called massive topologically theories. Alternatively, other formulations describe the same physical dynamics but in a non-gauge invariant way: the self dual theories [4][5] Eventually, it was established that they are essentially two ways for describing the same physics[6], i.e., they are related by duality[7]. Furthermore, the dual equivalence can be shown from the hamiltonian framework[8]. The self dual theories are gauged fixed versions of the topologically massive theories. Also, there exist analogues dualities for antisymmetric fields in four dimensions, [9],[0], which constitute alternative manners to describe massive scalar and vectorial fields through of gauge invariant topological BF terms. In this work, we will consider the dual equivalence between the topologically massive and self dual theories in seven dimensions. The basic field is a third order antisymmetric tensor. Recently, it was recognized the importance of these theories, when the eleven dimensional supergravity is dimensionally reduced in a consistent way on A d S 7 S 4 []. We perform the Hamiltonian analysis in order to achieve the local canonical duality between them. Besides, the duality minerba@ula.ve and adel@ula.ve

2 can be inferred through the existence of a first order master action. Finally, we will make the dimensional reduction of the topologically massive and self dual theories in seven dimensions, to obtain the several dualities for massive antisymmetric fields in four dimensions. The topologically massive theory is described by the following action I TM = 48 d 7 xg mnqq G mnpq µ 72 d 7 xε mnpqrst C mnp q C rst, () where C mnp is a third order antisymmetric field, G mnpq = m C npq + n C pmq + p C mnq + q C nmp its field strength and µ is a mass parameter. This action is invariant under gauge transformations: δc mnp = m Λ np + n Λ pm + p Λ mn. The field equations for the topologically massive theory are m G mnpq = µ 6 εmnpqrst m C rst. (2) On the other hand, the non gauge invariant self dual theory is also formulated with a third order antisymmetric field C mnp. Its action is I SD = d 7 xε mnpqrst C mnp q C rst d 7 xc mnp C mnp. (3) 72µ 2 From this action, we have the following field equations C mnp = 6µ εmnpqrst q C rst. (4) The thirty five components of C mnp can be decomposed in its transverse and longitudinal parts in the following manner C mnp = { C0ij b ij = b T ij + ρ ib T j ρ jb T i 5 = C ijk = C T ijk + ρ ic T jk + ρ jc T ki + ρ kc T ij 20 = 0 + 0, (5) where ρ i = i / 2. We can show that both theories propagate ten massive } C dynamical degrees of freedom contained in Cijk T T and CT ijk ){, i.e, ijk ( µ2 =0, the same number of degrees of freedom for a massless C mnp field and just the half of the massive C mnp field theory in seven dimensions. This suggest that they are dual equivalent, similar to the three dimensional case. Indeed, we can see the dual equivalence through the following master action I M = 36 where d 7 xχ mnp C mnp µ 72 d 7 xχ mnp C mnp 2 C T ijk d 7 xc mnp C mnp, (6) χ mnp ε mnpqrst q C rst. (7) Making independent variations on C mnp allow us determine C mnp in terms of C mnp C mnp = 6 χmnp. (8) 2

3 Substituting (8) into ( 6) we find the topologically massive action. Meanwhile, independent variations on C mnp tell us ε mnpqrst q (C rst µc rst ) = 0, (9) which can be (locally) solved as C mnp = µ C mnp + m A np + n A pn + p A mn (A mn being gauge degrees of freedom, which do not affect the local dynamics), then substituting into (6) we obtain the self dual action. Now, let us look the dual equivalence from a Hamiltonian framework. First, we consider the topologically massive theory. The conjugate momenta are π ijk = δl TM and δċijk = 6 (Ċijk + i C j0k + j C 0ik + k C i0j ) 72 µε ijklmnc lmn (0) π 0ij = δl TM δċ0ij = 0 φ ij. () This last is a primary constraint. The Hamiltonian is H = d 6 x(h + χ ij φ ij ) where H = π ijk Ċ ijk L is the Hamiltonian density and χ ij is a Lagrange multiplier. Preserving the primary constraint: φ ij = {φ ij (x), H(y)} 0, we obtain a secondary constraint φ 2ij = 3 k π kij 24 µε ijklmn k C lmn 0. (2) There is no more constraint, because φ 2ij = {φ 2ij (x), H(y)} 0. This set of constraints constitute a first class abelian gauge algebra: {φ αij, φ βkl } = 0 α, β =, 2, (3) which generate the gauge transformations for the topologically massive theory. Finally, the extended Hamiltonian density is given by H TM = 3π ijk π ijk + 48 µ2 C ijk C ijk + 48 G ijklg ijkl µεijklmn C lmn π ijk + χ ij φ ij + χ 2ij φ 2ij, (4) where, χ ij and χ 2ij are the Lagrange multipliers, associated to the constraints, φ ij and φ 2ij, respectively. We can solve the constraints of the topologically massive theory, after defining a good fixing gauge conditions, e.g., the Coulomb gauge C 0ij = 0, k C ijk = 0, and show that only the ten components C T ijk propagate massively: ( µ 2 )C T ijk = 0. For the self dual theory, we have the following conjugate momenta π ijk = L SD C = ijk 72µ εijklmn C lmn, (5) π 0ij = L SD C 0ij = 0. (6) 3

4 These are primary constraints The hamiltonian density is given by ψ ijk = π ijk 72 µε ijklmnc lmn 0 (7) ψ ij = π 0ij 0. (8) H = 2 C ijkc ijk C 0ij (6 k φ ijk + 4 C 0ij). (9) Note that C 0ij plays the role of a Lagrange multiplier. Preserving the primary constraint ψ ij ( ψ ij = {H, ψ ij } 0 with H = d 6 y[h + λ ijk ψ ijk + λ ij ψ ij ], λ s being Lagrange multipliers), we obtain a secondary constraint Θ ij 6 k π kij 2 C 0ij 0, (20) while the preservation of the other primary constraint, lead to the determination of the Lagrange multiplier λ ijk : λ ijk = 6 µε ijklmnc lmn ( i C 0jk + j C 0ki + k C 0ij ). (2) Preserving the secondary constraint, we find the value of the Lagrange Multiplier λ ij λ ij = k C kij. (22) The algebra of the constraints ψ ij, ψ ijk, Θ ij is second class, reflecting the non existence of gauge invariance in the self dual action: {ψ ijk, ψ lmn } = {Θ ij, ψ klm } = 36µ εijklmn δ 6 (x y), (23) 72µ εijklmn n δ 6 (x y), (24) {Θ ij, ψ lm } = 2 δij lm δ6 (x y). (25) Obviously, we can solve the constraints, for instance, making use of transverselongitudinal decomposition given by eq.(5). To show the dynamical propagation of C T ijk : ( µ2 )C T ijk = 0. The Hamiltonian density of the self dual theory can be written down (after redefining C ijk µc ijk ) as H SD = 2 µ2 C ijk C ijk + (2) 2 (εijklmn k C lmn ) 2. (26) Having found the Hamiltonians of the massive topologically and Self Dual Theories, we can establish the following relationship between them H TM = H SD + 3ψ ijk (ψ ijk + µ 8 ε ijklmnc lmn ) + + χ ij φ ij + χ 2ij φ 2ij. (27) 4

5 The two Hamiltonian densities are related by a specific combination of the second class constraint ψ ijk of H SD. This result shows the canonical duality equivalence. The self dual theory can be considered as a gauge fixed version of the topologically massive theory. In fact, we observe that 3 φ 2ij = k ψ kij 0 and π 0ij 0 can be considered as the first class constraints while Θ ij and ε ijklmn k ψ lmn 0 as the gauge fixing conditions. It s worth recalling that this is a local equivalence. If we consider a non trivial topological structure of space-time, then we would expect that global equivalence is not hold exactly. In this case, the partition functions will differ by a factor associated with the topologically sectors not present in the space of solutions of the self dual theory. This local duality equivalence is valid even in the presence of sources. Now, we will perform the dimensional reduction of the topologically massive and self dual theories in seven dimensions to four dimensions. First, we write the actions coupled to an arbitrary gravitational background: I TM = d 4+3 x ĝĝ MR ĝ NS ĝ PT ĝ QV Ĝ MNPQ Ĝ RSTV 48 µ d 4+3 xε MNPQRST Ĉ MNP Ĝ QRST (28) 72 and I SD = d 4+3 xε MNPQRST Ĉ MNP Q Ĉ RST 72µ d 4+3 x gĝ MQ ĝ NR ĝ PS Ĉ MNP Ĉ QRS, (29) 2 where ĝ = detĝmn. We will compactify the seven dimensional manifold on a four dimensional Mikownsky space time cross an internal compact three dimensional manifold, i.e, M 7 = M 4Mikownsky M 3 : ds 2 = g MN dx M dx N = η mn dx m dx n + g αβ dx α d β. (30) The indices m, n labels the Mikownskian indices and the greek indices α, β take values α, β =, 2, 3. The volume of the internal manifold is taken to be the unit (detg αβ = ). For the antisymmetric third order field ĈMNP, we make the following decomposition Ĉ mnp = C mnp (x) Ĉ mnα = Bmn(x) α Ĉ mαβ = ε αβγ A γ m(x) C αβγ = ε αβγ φ(x). (3) We drop all dependence of the internal coordinates. The respective strength fields are Ĝ mnpq = G mnpq = m C npq + n C pmq + m C npq + q C nmp, (32) Ĝ mnpα H α mnp = m B α np + n B α pm + p B α mn, (33) Ĝ mnαβ ε αβγ F γ mn = ε αβγ ( m A γ n n A γ m), (34) Ĝ mαβγ ε αβγ m φ. (35) 5

6 With this ansatz, it is straightforward to make the dimensional reduction process. For the topologically massive theory, we obtain the following reduced action to four dimensions I = d 4 x[ 4 F mn α F mnα 2 Hα mnp Hmnpα µ 4 εmnpq Bmn α F pq alpha ] + d 4 x[ 48 G mnpqg mnpq 2 mφ m φ µ 6 εmnpq φg mnpq ]. (36) The first integral is nothing but of a triplet of Cremmer-Scherk actions[2] and as is well known, it describes in a gauge invariant way, the dual equivalence between massive vector and second order antisymmetric fields in four dimensions[9]. This action allow us to obtain the non abelian Fredman-Townsend [3] model from the self interaction mechanism[4]. The second integral is just the gauge invariant master action which allow us to show the dual equivalence between massive scalar and a third order antisymmetric fields in four dimensions[0] On the other hand, the self dual action in seven dimensions is reduced to four dimensions in the following way I 2 = d 4 x[ 4 Bα mnb mnα 2 Aα ma mα 4µ εmnpq BmnF α pq] α + d 4 x[ 2 C mnpc mnp 2 φ2 + 6µ εmnpq φ m C mnp ], (37) from which the dualities just commented above, is easily inferred but in a non gauge invariant way. These dualities in four dimensions are established in a local way. Global aspects of the dual equivalences have been considered in [9] and [0]. Summarizing, we have discussed some hamiltonian aspects of the topologically massive and self dual theories in seven dimensions and we have stated that they are dual equivalent from the Hamiltonian framework. Both theories describe the same physical situation: the propagation of ten local degrees of freedom in seven dimensions, contained in the purely transverse part of C MNP (Cijk T ). The self dual theory can be considered as a fixed gauge version of the topologically massive theory. The dual equivalence can be seen in a covariant way using the master action(6). Since the constraints for higher antisymmetric field are reducible, these theories deserve a full Hamiltonian treatment. It will be interesting the BRST quantization of these theories. We have also obtained the different local dualities between antisymmetric fields in four dimensions, after making the dimensional reduction of the topologically massive and dual theories in seven dimensions. Acknowledgment The authors would like to thank to the Consejo de Desarrollo Científico y Humanistico de la Universidad de los Andes for institutional support under project C F. 6

7 References [] E. Cremmer, B. Julia and J. Scherk, Phys. Lett. B76, 409 (978) [2] E. Witten, Nucl. Phys. B, 46 (988/89); A. H. Chamseddine, Phys. Lett. B 233 (989) 29; Nucl. Phys. B (990); M. Bañados, R. Troncoso and J. Zanelli, Phys. Rev. D (996); R. Troncoso and J. Zanelli, Phys. Rev. D58 R0703 (998); J. Zanelli, hep-th [3] S. Deser, R. Jackiw, and S. Templeton, Phys. Rev. Lett. 48, 975 (982). [4] P. K. Townsend, K. Pilch, and Van Nieuwenhuizen, Phys. Lett. B (984). [5] C. Aragone and A. Khoudeir, Phys. Lett. B73, 4 (986); Rev. Mexicana de Física (993). [6] S. Deser, R. Jackiw, Phys. Rev. Lett.. B39, 37 (984). [7] J. Stephany, Phys. Lett. B390, 28 (997); J. Stephany and P. J. Arias J. Math. Phys (995). [8] R. Gianvittorio, A. Restuccia and J. Stephany, Mod. Phys. Lett. A6 22 (99). [9] P. J. Arias and L. Leal Phys. Lett. B404, (997). [0] P. J. Arias and A. Khoudeir, Mod. Phys. Lett. A4, 225 (999). [] H. Nastase, D. Vaman and P. Van Nieuwenhuizen, Nucl. Phys. B58, 79 (2000). [2] E. Cremmer and J. Scherk, Nucl. Phys.. B72, 7 (974). [3] D. Z. Freedman and P. K. Townsend, Nucl. Phys..B77, 282 (98). [4] A. Khoudeir, Mod. Phys. Lett. A, (996). 7