Abstract
The dynamical structure of topologically massive gravity in the context of the Faddeev–Jackiw symplectic approach is studied. It is shown that this method allows us to avoid some ambiguities arising in the study of the gauge structure via the Dirac formalism. In particular, the complete set of constraints and the generators of the gauge symmetry of the theory are obtained straightforwardly via the zero modes of the symplectic matrix. In order to obtain the generalized Faddeev–Jackiw brackets and calculate the local physical degrees of freedom of this model, an appropriate gauge-fixing procedure is introduced. Finally, the similarities and relative advantages between the Faddeev–Jackiw method and Dirac’s formalism are briefly discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Theories of interacting spin-2 fields, such as massive gravity, have been considerably studied in the literature, with particular focus on their symmetries and physical degrees of freedom [1–12]. The construction of a unitary and renormalizable theory of gravity with propagating degrees of freedom has been a long-sought goal toward our understanding of gravitation. In this context, it is well known that the Fierz–Pauli theory provides a consistent description of the linear fluctuations of a massive graviton on a flat space-time [13]. The Boulware–Deser (BD) ghost mode was exactly found for the Fierz–Pauli theory taken at the nonlinear level [14, 15], which violates the unitarity of the theory (a condition of consistency in quantum gravity). For this reason, the construction of an action for nonlinear massive gravity must ensure the absence of any ghost-like unphysical degrees of freedom, thereby rendering a stable and consistent theory. Strictly speaking, the theory must possess the necessary dynamical constraints for removing the ghost degrees of freedom, Nonetheless, it would be interesting if one could systematically obtain the constraints that eliminate such ghost fields. This approach would also be helpful to understand the gauge structure and the physical content of this kind of theories. In this work, we are interested in the study of the three-dimensional version of a massive gravity theory.
It is well known that the key ingredient for understanding the physical content of a gauge dynamic system lies in the identification of the physical degrees of freedom along with observable quantities and symmetries. Therefore, in a gauge theory it is essential to make the distinction between gauge-invariant (gauge-dependent) quantities, which do (do not) correspond to observable quantities [16, 17], though the former are not necessarily present at the quantum level. The task of identifying the symmetries and observable quantities in a physical theory is, in general, non-trivial, specially in gauge theories with general covariance, such as general relativity. Nevertheless, there are two approaches to obtain in a systematic way the symmetries and conserved quantities of a particular physical theory: Dirac’s formalism [18] and the Faddeev–Jackiw [FJ] method [19]. In the former approach, it is necessary to classify all constraints into first- and second-class ones. As a consequence, the physical degrees of freedom can be exactly counted, and a generator of the gauge symmetry can be constructed as a suitable combination of the first-class constraints in order to identify the physical observables [20]. Furthermore, the brackets to quantize a gauge system (Dirac’s brackets) can be obtained by getting rid of the second-class constraints [21, 22]. On the other hand, the F-J method provides a symplectic approach for constrained systems based on a first-order Lagrangian. The basic feature of this approach is that it is not necessary to classify the constraints into first- and second-class ones. Still, several essential elements of a physical theory, such as the degrees of freedom, the gauge symmetry, and the quantization brackets (generalized F-J brackets) can also be obtained (see [23, 24, 27–29] for a review). In this framework, the non-null F-J brackets emerge from the symplectic matrix. For a gauge system, this matrix remains singular unless a gauge-fixing procedure is introduced. In addition, the generators of the gauge symmetries are given in terms of the zero modes of this symplectic matrix. In this respect, the F-J symplectic method provides a straightforward effective tool to deal with gauge theories because it is algebraically simpler than Dirac’s formalism. In particular, if secondary, tertiary, or higher order constraints are present.
Quite recently, the F-J symplectic method has proved useful in the study of many physical theories, for instance in the construction of Maxwell-inspired SU(3)-like and \(SU(3)\otimes SU(2)\otimes U(1)\) non-Abelian theories [30], as well as noncommutative gauge theories [31]. Furthermore, this approach not only has been useful to study non-Abelian systems [32], hidden symmetries [33], and self-dual fields [34], but also to quantize massive non-Abelian Yang–Mills fields [35] fields and to study the extended Horava–Lifshitz gravity [36]. For other work on the F-J symplectic approach we refer the interested reader to Refs. [37–39].
The purpose of the present work is to present a detailed study of three-dimensional topologically massive gravity (TMG) in a completely different context to that presented in [40, 42, 43, 47]. It is well known that the canonical analysis of TMG is a large and tedious task since there are present secondary, tertiary and quartic constraints with a complicated algebra [43, 47]. On the other hand, it is possible that if one step of the Dirac formalism is either incorrectly applied or omitted [48, 50], the results could be incorrect [42, 47]. In this respect, we will apply the F-J symplectic approach to systematically obtain the constraints necessary to remove the unphysical degree of freedom of the theory, the gauge symmetries, and the fundamental F-J brackets by introducing an appropriate gauge-fixing procedure. Moreover, the similarities and relative advantages between this procedure and Dirac formalism will be discussed. It also will be shown that the physical degrees of freedom, the gauge symmetries and the brackets to quantize agree with those found via the Dirac method in [42, 43, 47].
The rest of the paper has been organized as follows. In Sect. 2, we show that the F-J symplectic method applied to TMG leads to an alternative way for identifying the dynamical constraints. In Sect. 3, the gauge transformations are obtained using the zero modes of the symplectic two-form matrix. In Sect. 4, we show that both the fundamental F-J brackets and the physical degrees of freedom are obtained by introducing a gauge-fixing procedure. In Sect. 5, we present a summary and the conclusions.
2 Faddeev–Jackiw symplectic approach to TMG
The action for TMG can be written as [42, 43, 47]
where \(\mu \) is the Chern–Simons parameter, \(\theta = {1}/{16G}\), and \(A^{i}=A_{\mu }{^{i}}\mathrm{d}x^{\mu }\) is a connection one-form valued on the adjoint representation of the Lie group SO(2, 1), which admits an invariant totally antisymmetric tensor \(f_{ijk}\). Furthermore \(e^{i}=e_{\mu }^{i}\mathrm{d}x^{\mu }\) is a triad one-form that represents the gravitational field and \(F^{i}\) is the curvature two-form of the connection \(A^{i}\), i.e., \(F_{i}\equiv \mathrm{d}A_{i}+\frac{1}{2}f_{ijk}A^{j}\wedge A^{k}\). Finally \(\lambda ^{i}\) is a Lagrange multiplier one-form that ensures that the torsion vanishes \(T_{i}\equiv de_{i}+f_{ijk}A^{j}\wedge e^{k}=0\).
The equations of motion that arise from the variation of the action (1) with respect to the dynamical variables \(e_{\alpha }{}^{i}\), \(A_{\alpha }{^{i}}\), and \(\lambda _{\alpha }{^i{}}\) are given, in addition to some total derivative terms, by
From the second and third equation in (2), the Lagrange multiplier \(\lambda _{\mu }{^{i}}\) can be solved in terms of the Schouten tensor of the manifold \(\mathcal {M}\)
The manifold is endowed with a space-time metric, \(g_{\mu \nu }=e_{\mu }{^{i}}e_{\nu }{^{j}}\eta _{ij}\). Furthermore, since the torsion vanishes, the spin-connection \(A_{\mu }{^{i}}\) is a function of the dreibein \(e_{\mu }{^{i}}\)
where \(\Gamma _{\alpha \mu }^{\beta }\) is the Christoffel symbol. Inserting Eq. (3) into the first equation of (2), one gets the usual field equation of TMG [2–4, 40] in the second-order formalism
where \(G_{\mu \nu } \equiv R_{\mu \nu }-\frac{1}{2}g_{\mu \nu }R\) is the Einstein tensor, and \(C_{\mu \nu } \equiv \epsilon _{\mu }{^{\alpha \beta }}\nabla _{\alpha }S_{\beta \nu }\) is essentially the (symmetric traceless ) Cotton tensor obtained from varying the gravitational Chern–Simons term with respect to the metric, with \(\nabla =\partial +\Gamma \) the covariant derivative for the Christoffel connection. In addition, the particle content of this theory can be seen by performing a linearized approximation to the field equations about a Minkowski background [2–4, 41] (see Appendix A).
In order to perform the symplectic analysis, we will assume that the manifold \(\mathcal {M}\) is topologically \(\Sigma \times \mathfrak {R}\), where \(\Sigma \) corresponds to a Cauchy surface without boundary \((\partial \Sigma = 0)\) and \(\mathfrak {R}\) represents an evolution parameter. Here, the \(x^{\mu }\) are the coordinates that label the points of the three-dimensional manifold \(\mathcal {M}\). In our notation, Greek letters run from 0 to 2, while the lower case letters (i, j, k, ...) run from 1 to 3.
By performing the \(2 + 1\) decomposition of our fields without breaking the internal symmetry, we can write the action (1) as
where \(F_{ab}{^{i}}=\partial _{a}A_{b}{^{i}}-\partial _{b}A_{a}{^{i}}+f^{i}{_{jk}}A_{a}{^{j}}A_{b}{^{k}}\), \(T_{ab}{^{i}}=D_{a}e_{b}{^{i}}-D_{b}e_{a}{^{i}}\), and the covariant derivative of \(\lambda _{a}{^{i}}\) is defined as \(D_{a}\lambda _{b}{^{i}}=\partial _{a}\lambda _{b}{^{i}}+f^{i}{_{jk}}A_{a}{^{j}}\lambda _{b}{^{k}}\). Here \(a,b = 1,2\) are space coordinate indices (the dot represents a derivative with respect to the evolution parameter). From (6) we can identify the following first-order Lagrangian density:
From the variational principle applied to the Lagrangian density (7), it is possible to write the symplectic equations of motion as
where \(f_{ij}^{(0)}=\frac{\delta }{\delta \xi ^{(0)i}}a_{j}^{(0)}(\xi )-\frac{\delta }{\delta \xi ^{(0)j}}a_{i}^{(0)}(\xi )\), which is clearly antisymmetric, is known as the symplectic two-form, which yields the following symplectic variable set: \({\xi }{^{(0)i}} = (A^{i}{_{a}}, A^{i}{_{0}}, e^{i}{_{a}},\) \(e^{i}{_{0}}, \lambda ^{i}{_{a}}, \lambda ^{i}{_{0}})\), the corresponding symplectic one-form \({a}^{(0)}{_{i}} = (2\theta \epsilon ^{ab}e_{bi}+\frac{\theta }{\mu }\epsilon ^{ab}A_{bi}, 0, \epsilon ^{ab}\lambda _{bi}, 0,\) 0, 0), and the symplectic potential \(V^{(0)}\) given by
By using the symplectic variables, we find that the symplectic matrix \(f^{(0)}_{ij}\) can be written as
Clearly \(f^{(0)}_{ij}\) is degenerate, which means that there are more degrees of freedom in the equations of motion (8) than physical degrees of freedom in the theory. We thus have a constrained theory, with constraints that must remove the unphysical degrees of freedom. The zero modes of this matrix turn out to be \((v_{1}^{(0)})^{T}_{i}= (0,v^{A{^{i}{_{0}}}}, 0, 0, 0, 0)\), \((v_{2}^{(0)})^{T}_{i}=(0, 0, 0, v^{e{^{i}{_{0}}}}, 0, 0)\), and \((v_{3}^{(0)})^{T}_{i}=(0, 0, 0, 0, 0, v^{\lambda {^{i}{_{0}}}})\), where \(v^{A{^{i}{_{0}}}},v^{e{^{i}{_{0}}}}\) and \(v^{\lambda {^{i}{_{0}}}}\) are arbitrary functions. By multiplying the two sides of (8) by these zero modes, we can obtain the following primary constraints:
Following the prescription of the symplectic formalism, we will analyze whether there are new constraints. To this aim, we impose a consistency condition on the constraints (11) as in the Dirac method:
which means that these constraints must be preserved in time. The consistency condition on the primary constraints (12) and (8) can be rewritten as
where
Thus the new symplectic matrix \(f_{kj}^{(1)}\) is given by
Although \(f_{kj}^{(1)}\) is not a square matrix, it still has the following linearly independent zero modes:
where \(v^{m}, v^{e_0^{j}}, v^{A_0^{j}}, v^{\lambda ^{j}_0}\) are arbitrary functions. On the other hand, the matrix \(Z_{k}^{(1)}\) is given by
By performing the contraction of the two sides of (13) with the zero modes (16), we can obtain the following constraints:
The substitution \(\Omega ^{(0)}=0\) guarantees that these constraints will drop from the remainder of the calculation. After a lengthy but straightforward calculation, from (18) we obtain the explicit form of the secondary constraints
This agrees completely with what was found in [43] by using the Dirac approach, however, in this formalism the constraints (19) arise as tertiary and quartic constraints, respectively. Furthermore, we can impose the consistency conditions on (19) to obtain the following system:
where we have now
It is easy to see that, even after calculating the symplectic matrix \(f_{kj}^{(2)}\) and inserting the above constraints (19), the zero modes do not yield new constraints, which means that there are no further constraints in the theory, and thus our procedure comes to an end. We can now introduce the Lagrange multipliers for the constraints (11) and (19) into the Lagrangian density (7) in order to construct a new one,
where the new symplectic potential \(V^{(3)}\) vanishes since it is a linear combination of constraints reflecting the general covariance of the theory, namely, \(V^{(3)}=V^{(0)}\mid _{\Omega ^{(0)}, \Omega ^{(1)}=0}=0\). On the other hand, the new Lagrange multipliers enforcing the constraints are \(\dot{\alpha }{^{i}}=e_{0}^{i}\), \(\dot{\beta }{^{i}}=A_{0}^{i}\), \(\dot{\Gamma }{^{i}}=\lambda _{0}^{i}\), \(\dot{\varphi }\), and \(\dot{\varphi }^{0a}\). Therefore, the new symplectic variable set is taken as
Thus, the corresponding symplectic one-form is
By using these symplectic variables, an explicit calculation yields a singular symplectic matrix \(f^{(3)}_{ij}=\frac{\delta }{\delta \xi ^{(3)i}}a_{j}^{(3)}(\xi )-\frac{\delta }{\delta \xi ^{(3)j}}a_{i}^{(3)}(\xi )\). However, we have shown that there are no more constraints, therefore, the theory must have a local gauge symmetry. The zero modes of \(f^{(3)}_{ij}\) turn out to be
3 Gauge symmetry
It is well known that the gauge symmetry determines the physical content of any gauge theory, therefore we need to know explicitly the fundamental gauge transformations of the theory. In agreement with the prescription of the symplectic formalism [24–26, 33], the zero modes correspond to the generators of the gauge symmetry of the original theory (1) (see Appendix B), i.e.
where \(\{(v_{l}^{(3)})^{iT}\}\) is the whole set of zero modes of singular symplectic matrix \(f_{ij}^{(3)}\) and \(\epsilon ^{l}\) stand for arbitrary infinitesimal parameters. By using this fact, the generators (25) yield the following fundamental gauge transformations of the basic fields:
where \(\zeta ^{i}\), \(\kappa ^{i}\), and \(\varsigma ^{i}\) are the time-dependent gauge parameters. It is worth remarking that (27) correspond to the gauge symmetry of the theory, but not to diffeomorphisms. Nevertheless, it is known that an appropriate choice of the gauge parameters does, indeed, generate diffeomorphism (on-shell) [44, 47, 49]. Thus, we can redefine the gauge parameters as
where \(\varepsilon ^{\mu }\) is an arbitrary three-vector. In this manner from the fundamental gauge symmetry (27) and the mapping (28), we obtain
which are (on-shell) diffeomorphisms. On the other hand, diffeomorphism invariant theories have the Poincaré transformations, as off-shell symmetries, by construction [45, 46]. Thus, in order to recover the Poincaré symmetries, we need to map the gauge parameters of the fundamental gauge symmetries ‘\(\delta _{G}\)’ (27) into those of the Poincaré symmetries. This is achieved through the field-dependent map between the gauge parameters (27) and the Poincaré ones [44]:
where \(\varepsilon ^{\mu }\) and \(\omega ^{i}\) are the parameters of translations and local Lorentz rotations, respectively, which together constitute the 6 gauge parameters of Poincaré symmetries in 3D. By using this map, it is seen that the gauge symmetries indeed reproduce the Poincaré symmetries, but modulo terms proportional to the equations of motion,
where the equations of motion \(\left( \delta e\right) ^{\nu i}\), \(\left( \delta A\right) ^{\nu i}\), and \(\left( \delta \lambda \right) ^{\nu i}\) are defined in (2). We thus conclude that the Poincaré symmetry (31) as well as the diffeomorphisms (28) are contained in the fundamental gauge symmetry (27) only on-shell. In addition, the generators of such gauge transformations can be represented in terms of the zero modes, thereby making evident that the zero modes of the symplectic two-form encode all the information as regards the gauge structure of this theory.
4 Faddeev–Jackiw brackets
Finally, in order to invert the symplectic matrix and obtain the generalized Faddeev–Jackiw brackets and identify the physical degrees of freedom, we must introduce a gauge-fixing procedure, that is, new “gauge constraints”. For convenience, we use the temporal gauge, namely, \(A^{i}{_{0}}=0\), \(e^{i}{_{0}}=0\), \(\lambda ^{i}{_{0}}=0\), and \(\varphi =cte\) (i.e. \(\dot{\varphi }=0\)). As a direct consequence, the term \(\Lambda _{0a}\) vanishes in the Lagrangian density. In this manner, we also introduce new Lagrange multipliers that enforce the gauge conditions, namely, \(\rho _{i}\), \(\omega _{i}\), \(\tau _{i}\), and \(\sigma \). Then the final one-form Lagrangian density reduces to
Thus, we can identify the final symplectic variable set
with the corresponding symplectic one-form
After some algebra, we obtain the explicit form of the symplectic two-form \(f^{(4)}_{ij}\)
which is non-singular and has the following inverse \(f^{(4)}{_{ij}}{^{-1}}\):
where
The generalized Faddeev–Jackiw bracket \(\{,\}_{F{\text {-}}J}\) between two elements of the symplectic variable set (33), is defined as
We thus arrive at the non-vanishing Faddeev–Jackiw brackets for TMG,
These F-J brackets coincide with the Dirac brackets reported in [43]. In addition, we can carry out the counting of degrees of freedom as follows. There are 18 canonical variables \((e^{i}{_{a}}, \lambda ^{i}{_{a}}, A^{i}{_{a}})\), and 17 independent constraints \((\Xi _{i}^{(0)},\Theta _{i}^{(0)}, \Sigma _{i}^{(0)}, \Lambda , e^{i}{_{0}}, A^{i}{_{0}}, \varphi )\). Thus, we conclude that 3D TMG has one physical degree of freedom (number of canonical variables − number of independent constraints), corresponding to the massive graviton, as expected.
5 Summary and conclusions
In this paper, the dynamical structure of TMG theory has been studied via the F-J framework. We have obtained the fundamental gauge structure as well as the physical content of this theory in an alternative way to that reported in [42, 43, 47]. It was shown that in the F-J approach is not necessary to classify the constraints into first- and second-class ones. In this respect, all the constraints are treated at the same footing. The correct identification of the constraints of TMG theory allowed us to show that there is one local physical degree of freedom, and obtain the gauge generators that yield the Poincaré symmetries and the diffeomorphisms by mapping the gauge parameters appropriately. Thereafter, the quantization brackets (F-J brackets) were obtained. Our results coincide with what has been previously obtained via the Dirac approach [43]. It is worth mentioning that there is no one-to-one correspondence between the constraints that we have obtained via the F-J method and those found via the Dirac formalism [43], though both approaches yield the same results. Our study suggests that the F-J method turns out to be more economical, unambiguous, and straightforward than Dirac’s one. Finally, we would like to comment that according to our results the F-J approach could be useful for studying interesting features of models of massive gravity, which include TMG as a particular sector, for instance, topologically massive AdS gravity. This idea is in progress and will be the subject of forthcoming work [51].
References
S. Deser, R. Jackiw, S. Templeton, Three-dimensional massive gauge theories. Phys. Rev. Lett. 48, 975 (1982)
S. Deser, R. Jackiw, S. Templeton, Ann. Phys. 140, 372 (1982)
S. Deser, R. Jackiw, S. Templeton, Ann. Phys. 185, 406 (1988)
S. Deser, R. Jackiw, S. Templeton, Ann. Phys. 281, 409 (2000)
E.A. Bergshoeff, O. Hohm, P.K. Townsend, Massive gravity in three dimensions. Phys. Rev. Lett. 102, 201301 (2009)
V.A. Rubakov, P.G. Tinyakov, Infrared-modified gravities and massive gravitons. Phys. Usp. 51, 759 (2008)
K. Hinterbichler, Theoretical aspects of massive gravity. Rev. Mod. Phys. 84, 671 (2012)
C. de Rhan, Massive gravity. Living Rev. Rel 17, 7 (2014)
H.R. Afshar, E.A. Bergshoeff, W. Merbis, Interacting spin-2 fields in three dimensions. JHEP 01, 040 (2015)
S. del Pino, G. Giribet, A. Toloza, J. Zanelli, From Lorentz-Chern-Simons to massive gravity in 2+1 dimensions. JHEP 06, 113 (2015)
O. Miskovic, R. Olea, Background-independent charges in topologically massive gravity. JHEP 12, 046 (2009)
C. Deffayet, J. Mourad, G. Zahariade, Covariant constraints in ghost free massive gravity. JCAP 01, 032 (2013)
M. Fierz, W. Pauli, On relativistic wave equation for paticles of arbitrary spin in an electromagnetic field. Proc. R. Soc. Lond. A. 173, 211 (1939)
D. Boulware, S. Deser, Can gravity have a finite range? Phys. Rev. D. 6, 3368 (1972)
P. Carmelli, A. Nicolis, M. Papucci, E. Trincherine, Ghost massive gravity. JHEP 0509, 003 (2005)
C. Rovelli, Partial observables. Phys. Rev. D. 65, 124013 (2002)
R. Banerjee, S. Gangopadhyay, P. Mukherjee and D. Roy, Symmetries of topological gravity with torsion in the hamiltonian and lagrangian formalisms, JHEP 02 (2010)
P.A.M. Dirac, Lectures Notes on Quantum Mechanics (Yeshiva University, New York, 1964)
L.D. Faddeev, R. Jackiw, Hamiltonian reduction of unconstrained and constrained systems. Phys. Rev. Lett. 60, 1692 (1988)
L. Castellani, Symmetries in the contrained Hamiltonian system. Ann. Phys. 143, 357 (1982)
T. Hanson, A. Egge, C. Teitelboim, Constraints Hamiltonian Systems (Accademia Nazionale dei Lincei, Roma, 1978)
M. Henneaux, C. Teitelboim, Quantization of Gauge Systems, Princeton (Princeton University Press, New Jersey, 1991)
J. Barcelos-Neto et al., Symplectic quantization of constrained systems. Mod. Phys. Lett. A. 7, 1737 (1992)
J. Barcelos-Neto, C. Wotzasek, Faddeev-Jackiw quantization and constraints. Int. J. Mod. Phys. A. 7, 4981 (1992)
H. Montani, R. Montemayor, Lagrangian approach to a symplectic formalism for singular systems. Phys. Rev. D. 58, 125018 (1998)
H. Montani, C. Wotzasek, Faddeev-Jackiw quantization of nonabelian systems. Mod. Phys. Lett. A. 8, 3387 (1993)
J. Antonio, Garcia, Josep M. Pons Equivalence of Faddeev-Jackiw and Dirac approaches for gauge theories. Int. J. Mod. Phys. A. 12, 451 (1997)
L. Liao, Y.C. Huang, Non-equivalence of Faddeev-Jackiw method and Dirac-Bergmann algorithm and the modification of Faddeev-Jackiw method for keeping the equivalence. Ann. Phys. 322, 2469 (2007)
R. Bufalo, B.M. Pimentel, Higher-derivative non-Abelian gauge fields via the Faddeev-Jackiw formalism. Eur. Phys. J. C 74, 2993 (2014)
E.M.C. Abreu, A.C.R. Mendes, C. Neves, W. Oliveira, R.C.N. Silva, QCD gauge symmetries through Faddeev-Jackiw symplectic method. JHEP. 06, 098 (2013)
Z.-W. Long, J. Jing, Faddeev-Jackiw approach to the noncommutativity. Phys. Lett. B. 560, 128 (2003)
E.M.C. Abreu, A.C.R. Mendes, C. Neves, W. Oliveira, R.C.N. Silva, C. Wotzasek, Obtaining non-Abelian field theories via the Faddeev-Jackiw symplectic formalism. Phys. Lett. A. 375, 3603 (2010)
C. Wotzasek, Faddeev-Jackiw approach to hidden symmetries. Ann. Phys. 243, 73 (1995)
D.S. Kulshreshtha, H.J.W. Muller-Kirsten, Faddeev-Jackiw quantization of selfdual fields. Phys. Rev. D. 45, 393 (1992)
Y.-C. Huang, J.-L. Yang, Modified Faddeev-Jackiw quantization of massive non-Abellian Yang-Mills fields and Lagrange multiplier fields. Phys. Lett. B. 668, 438 (2008)
S. Koh, S. Shin, Hamiltonian analysis of linearized extension of Horava-Lifshitz gravity. Phys. Lett. B. 696, 426 (2011)
A. Escalante, J. Manuel-Cabrera, Faddeev-Jackiw quantization of an Abelian and non-Abelian exotic action for gravity in three dimensions. Ann. Phys. 361, 585 (2015)
A. Escalante, M. Zárate, Dirac and Faddeev-Jackiw quantization of a five-dimensional Stüeckelberg theory with a compact dimension. Ann. Phys. 353, 163 (2014)
A. Escalante, O. Rodríguez-Tzompantzi, Dirac’s and generalized Faddeev-Jackiw brackets for Einstein’s theory in the \(G\rightarrow 0\) limit. Ann. Phys. 364, 136 (2016)
D. Grumiller, R. Jackiw, N. Johansson, Canonical analysis of cosmological topologically massive gravity at the chiral point, MIT-CTP 3957, UUITP-12/08, (2008). arXiv:0806.4185
W. Li, W. Song, A. Strominger, Chiral gravity in three dimensions. JHEP 0804, 082 (2008)
M.-I. Park, Constraint dynamics and gravitons in three dimensions. JHEP 0809, 084 (2008)
M. Blagojevic, B. Cvetkovic, Canonical structure of topologically massive gravity with a cosmological constant. JHEP 05, 073 (2009)
M. Blagojevic, Gravitation and Gauge Symmetries (IOP, Bristol, 2002)
T.W.B. Kibble, Lorentz invariance and the gravitational field. J. Math. Phys. 2, 212 (1961)
R. Utiyama, Invariant theoretical interpretation of interaction. Phys. Rev. 101, 1597 (1956)
S. Carlip, Constraint algebra of topologically massive AdS gravity. JHEP 0810, 078 (2008)
A. Escalante, L. Carbajal, Hamiltonian study for Chern-Simons and Pontryagin theories. Ann. Phys. 326, 323–339 (2011)
A. Escalante, O. Rodríguez Tzompantzi, Hamiltonian dynamics and gauge symmetry for three-dimensional Palatini theory with cosmological constant, JHEP 05, 073 (2014)
A. Escalante, I. Rubalcava-Garcia, A pure Dirac’s canonnical analysis for four-dimensional BF theories. Int. J. Geom. Methods Mod. Phys. 09, 1250053 (2012)
A. Escalante, O. Rodríguez-Tzompantzi (work in preparation)
R. Floreanini, R. Jackiw, Self-dual fields as charge-density solitons. Phys. Rev. Lett. 59, 1873 (1987)
Acknowledgments
This work was supported by CONACyT under Grant No. CB-2014-01 / 240781. We would like to thank D. Grumiller for valuable comments and R. Cartas-Fuentevilla for a discussion of the subject and reading of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Linearized analysis in metric formalism
In this appendix, using the metric formulation of TMG given by the Eq. (5), we study the linearized theory as a perturbation of the metric about a Minkowski background solution, writing
where \(\bar{g}_{\mu \nu }\) is the Minkowski metric and \(h_{\mu \nu }\) is the perturbation. To first-order in this perturbation, the Ricci tensor and the Ricci scalar are given by
here \(h\equiv \bar{g}^{\mu \nu }h_{\mu \nu }\), and \(\bar{\nabla }\) is the covariant derivative constructed with the background metric. Using these expressions one can build the first-order correction of the Einstein, and Cotton tensors as
On the other hand, the linearized Bianchi identity becomes
The last term in the right hand side of (A5) is totally antisymmetric on \(\mu \) and \(\nu \), and therefore merely subtracts the antisymmetric piece from the first term in the right hand side of (A5). We alternatively have
Note also that it is not hard to verify that
Then the first-order correction of Eq. (5) is given by
Furthermore from the trace of this equation one finds that: \({R}^{(1)}=0\), independent of \(\mu \). Substituting this back, we therefore find that Eq. (A9) can be written as
Now we consider the transverse (divergenceless) and traceless conditions on the Minkowski background as
By making use of these conditions (A11), Eq. (A10) may be recast into the following form:
Furthermore, this equation can be expressed compactly as
by introducing two mutually commuting operators as
Since the two operators conmute, Eq. (A13) has two branches of solutions. First, we have the massive graviton \(h^{M}_{\mu \nu }\), given by
The other branch is the massless graviton \(\breve{h}_{\mu \nu }\), given by
which is also solution of Einstein gravity: \(G_{\mu \nu }=0\). Now, let us define the linear operator \(\mathcal {O}(-\mu )_{\mu }^{\beta }\equiv \delta _{\mu }^{\beta }-\frac{1}{\mu }\epsilon _{\mu }{^{\alpha \beta }}\bar{\nabla }_{\alpha }\), which conmutes with \(\mathcal {O}(\mu )\). By acting on (A15) with \(\mathcal {O}(-\mu )\), we get the second-order equation for the massive graviton,
Similarly, in the massless case, the second-order equation is given by
Then the mass of the massive graviton can be identified by comparing the second-order equation of motion of the massive graviton with that of the massless graviton, therefore, the mass of the massive graviton is \(m=\sqrt{\mu ^{2}}\). In addition, Eq. (A15) propagates a single mode, which has spin-2, because h is a symmetric traceless second-order tensor, therefore, Eq. (A17) is exactly the Fierz–Pauli equation describing a massive spin-2 field in Minkowski spacetime.
Appendix B: Gauge symmetry
We will assume that all the FJ constraints have been identified and therefore only the zero modes associated with gauge symmetries are still present. In this manner, the final symplectic Lagrangian can be written as
here the \(\Omega ^a\) are the complete set of FJ constraints and either the \(\xi \) or the \(\gamma \) form a set of gauge fields. Now, the symplectic matrix, namely \(\bar{f}_{kl}\), constructed with the \(\xi ^i\) variables, is not singular, hence \(det \bar{f}_{kl}\ne 0\). Now let us call f the symplectic matrix constructed out by using the \(\xi \) and the \(\gamma \); that symplectic matrix is singular and will be given by
hence (B2) may have M zero modes of the form
where \((1^a)\) is a \((M \times 1)\) column of zeros except its ath entry [26]. Now, let us assume that the gradient of the potential is orthogonal to all zero modes, hence, they must be the generators of the symmetry transformation that leave the action invariant. In this manner, the symmetry of the action over the constraint surface is given by
Here the \(\epsilon _{l}\) form a set of infinitesimal parameters that characterize the transformations. It is important to comment that these transformations may reflect either the gauge or reparametrization properties of an invariant theory [26]. In fact, the first relation of the transformations (B4) is equivalent to one of the Dirac gauge transformations obtained from the first-class constraints. The latter does not have an easy description in the canonical formalism, this can be seen in models such as the Floreanini and Jackiw chiral boson and 2D Maxwell fields [52].
Furthermore, let us finish the appendix showing the invariance of the action. In fact, it is well known that the symmetries are defined by those variations \(\delta \xi \) such that the functional variation of the action vanishes,
Therefore, this expression defines the gauge symmetry; if there exists some variation \(\delta \xi _{k}\) satisfying Eq. (B5), then the transformation
is a symmetry of the action S. Hence, we can construct a variation \(\delta \xi _{k}\) satisfying (B5) on the constraints surface, given as
Therefore, since \((v^{l})_{i}\) are the zero modes on the constraints surface, they must satisfy the equation of motion, i.e.
And this shows that the action is invariant under displacements in directions orthogonal to the gradient of the potential.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Escalante, A., Rodríguez-Tzompantzi, O. On the Faddeev–Jackiw symplectic framework for topologically massive gravity. Eur. Phys. J. C 76, 577 (2016). https://doi.org/10.1140/epjc/s10052-016-4425-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-016-4425-x