Abstract
A detailed canonical analysis for three- dimensional massive gravity is performed. The construction of the fundamental Dirac brackets, the complete structure of the constraints and the counting of the physical degrees of freedom are reported. In addition, it is shown that the extended Hamiltonian is healed from Orstrogradki’s instabilities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is well-known that topological massive gravity [TMG] is a toy model, however, it is a great laboratory for testing new ideas which could be useful for the understanding of either the classical or quantum structure of gravity. TMG is constructed by the Einstein-Hilbert [EH] action coupled with a Chern-Simons term; at the linearized regime it describes the propagation of a single massive state of helicity \(\pm 2\) on a Minkowski background [1,2,3]. The theory breaks parity and it is not-unitary. In fact, it is claimed that if Newton’s constant is negative, then black hole states lead to non-unitary theory. Moreover, if Newton’s constant is positive and the Chern-Simons coupling is not tuned to the chiral point, then massive excitation lead also to non-unitarity. However, TMG theory is a dynamical model that is naively power counting renormalizable; all these features make the theory so interesting [4,5,6,7].
On the other hand, there are alternative models for describing the propagation of physical degrees of freedom in three dimensions, the so-called Minimal Massive Gravity [MMG] and New Massive Gravity [NMG] [8,9,10]. MMG is an extension of TMG that includes curvature-squared symmetric tensors and describes the propagation of a single local degree of freedom about an anti-de Sitter (AdS) vacuum, this propagation mode is physical; it is neither a tachyon nor a ghost. For this reason, MMG is an attractive model due to it can be explored in the (AdS) and quantum field holographic correspondence. On the other hand, NMG is a parity-conserving theory and describes the propagation of two massive degrees of freedom of helicity \(\pm 2\). These properties make the theory very interesting because it shares the same number of degrees of freedom with general relativity, considering the clear exception that in three dimensions the physical degrees of freedom are massive. The theory is constructed by employing the EH action together with squared terms of the Ricci tensor and the Ricci scalar; due to the presence of these squared terms, it is a higher-order theory that could suffer from Ostrogradski’s instabilities. In this respect, the theory was analyzed at Lagrangian level in [9], however, a detailed Hamiltonian analysis has not been reported in the literature. A Hamiltonian description of the theory would allow us to understand how to exorcise the apparently ghosts in NMG, and the canonical structure of the theory would help to make any progress in the quantization program. The usual method used for analyzing higher-order theories is by employing the Ostrogradski-Dirac [OD] method [11,12,13,14,15]. This is based on the extension of the phase space, where the fields and their temporal derivatives become the configuration variables, thus, it is introduced a generalization of the canonical momenta for the higher-temporal derivatives of the fields. However, it is claimed that the OD method does not allow direct identification of the complete structure of the constraints, so the constraints are fixed by hand to achieve consistency [3].
With all commented above, in this paper we will perform the canonical analysis of NMG by following a different scheme from that established in the OD framework. To this end, a set of variables will be introduced to reduce the second-order time derivatives to first-order. Then, by using the null vectors of the theory, the correct structure of the constraints is obtained without the need to fix them by hand as in other approaches is done [16,17,18]. Furthermore, we will introduce the Dirac brackets, thus the second-class constraints will be useful for either to build the extended Hamiltonian or healing the Ostrogradski sickness [19]. It is worth commenting, that usually the extended Hamiltonian is not built on a standard canonical analysis. In fact, if there are non-trivial second-class constraints, then its construction is a difficult task. For constructing the extended Hamiltonian, we need to calculate the Dirac brackets and identify all Lagrange multipliers associated with the second-class constraints, then, the second class constraints are used for obtaining the new structure of the Hamiltonian. Thus, the structure of the extended Hamiltonian will allow us to observe if the Ostrogradski instability could be healed. To complete the analysis, we will study a close model to NMG. This model will present a ghost and the trivial structure of the second-class constraints will implies that the Ostrogradski instability will not be healed, so the extended Hamiltonian will be unstable.
The paper is organized as follows: in Sect. 2, through the implementation of a set of auxiliary variables and their respective Lagrange multipliers, the canonical analysis of NMG will be performed. The correct structure of the constraints will be reported; with all constraints at hand, the Dirac brackets will be calculated and the extended Hamiltonian will be constructed. In addition, the counting of the physical degrees of freedom will be done and the Dirac algebra between the extended Hamiltonian and the first-class constraints is reported. To highlight the role of the extended Hamiltonian in the identification of ghosts, a close model to NMG in Appendix A is studied. The same auxiliary variables of Sect. 2 are introduced and the extended Hamiltonian is also constructed, then the differences between the theories are discussed. We finish the paper with the conclusions.
2 Hamiltonian analysis of new massive gravity
We start our analysis with the following action [9, 10]
where \(g_{\mu \nu }\) is the metric tensor, \(\alpha , \beta ,\ldots =0, 1, 2\); \(\kappa \) is a constant with dimension of mass in fundamental units \([\kappa ]=-1/2\), m is a ”relative” mass parameter and J is a higher-order term given by
From the action, the following equations of motion arise
where \(G_{\mu \nu }=R_{\mu \nu }-\frac{1}{2}Rg_{\mu \nu }\) is the Einstein tensor and \(J_{\mu \nu }\) is given by
here \(\Box \) is the D’Alambertian operator. We observe that the trace of (3) implies
For our aims, we will work by considering the standard perturbation of the metric around a Minkowski background, \( g_{\mu \nu }=\eta _{\mu \nu }+h_{\mu \nu }\). Hence, the linearized versions of the Ricci tensor and scalar curvature takes the form
In this manner, by using (6) into (3) and (5), the following linearized equations of motion arise
We observe that the first equation of motion is a Klein-Gordon equation for the linerarized Einstein tensor. The second one, is an implicit constraint that at Hamiltonian level enforces the presence of second-class constraints, this will be shown below.
Furthermore, another way for obtaining the linearized equations (7) is by the variation of the linearized version of (1), which gives the following Lagrangian
The Lagrangian (8) will be our subject of study. In fact, by performing the \(2+1\) decomposition, we obtain the following form of the Lagrangian
where
here \(\nabla ^{2}=\partial _{i}\partial ^{i}\). As far as we know, a complete canonical analysis of the Lagrangian (9) has not been reported in the literature. In this respect, we have commented above that the standard way for analyzing a higher-order theory is by using the OD framework [11, 12], however, this approach is long and the constraints are not under control. So, we will perform our analysis by introducing the following variables [20, 21]
these variables are an extrinsic curvature type. In this way, the Lagrangian is rewritten in the following new fashion
where \(\alpha ^{ij}\) are Lagrange multipliers enforcing the relation (10) and
The new canonical variables of the system are given by \(h_{\mu \nu }\), \(K_{ij}\), \(\alpha _{ij}\) and their corresponding canonical momenta given by \(\pi ^{\mu \nu }\), \(P^{ij}\) and \(\tau ^{ij}\). From the definition of the momenta, we identify the following relations
and the fundamental Poisson brackets between the canonical variables will be
From the Lagrangian (11) and the canonical momenta (12), we can construct the canonical Hamiltonian, it is given by
we can observe the presence of linear terms in the conjugate momenta \(\pi ^{ij}\), which could be related to an Ostrogradski’s instability. However, in further lines we will remove this apparently instability by means the Dirac brackets and the second-class constraints.
On the other hand, from the definition of the momenta, we identify the following primary constraints
we observe from the definition of the momenta (12) that the velocity \(\dot{K}\) can not be expressed in terms of the canonical momenta, then the constraint \(\psi \) arise. The constraint \(\psi \) is not trivial and it will be of second-class, this constraint will be useful at the end of the analysis for removing the apparent Ostrogradski’s instability. On the other hand, we calculate the non-zero Poisson brackets between primary constraints which are given by
Thus, the primary Hamiltonian reads
where \(u_{\mu \nu }\), \(\zeta _{ij}\) and \(\xi \) are Lagrange multipliers enforcing the primary constraints. With the primary Hamiltonian, we calculate the consistency conditions on the primary constraints, thus, we obtain
from these equations we can observe that \(S, S^i, W\) are secondary constraints while \(S^{ij}, Q^{ij}\) only give relations between the Lagrange multipliers. From consistency of the secondary constraints we find that
we can observe that not further constraints arise. Hence, the complete set of constraints is given by
With all constraints at hand, we can perform their classification into first and second-class. For this step we calculate the following matrix, whose entries are the Poisson brackets between all constraints
where the non-zero Poisson brackets between the constraints are given by
After a long calculation, we can see that the matrix (20) has a rank= 8 and 6 null vectors. From the null vectors we find the following 6 first-class constraints
which allow us to identify the following 8 s-class constraints
where \(\Gamma _{3}^{i}\) is the so-called Gauss constraint. With the classification of the constraints, we carry out the counting of physical degrees of freedom as follows: there are 24 canonical variables, eight second-class constraints and six first-class constraints, thus
these degrees of freedom corresponds to massive modes of helicities \(\pm 2\) [9].
We shall introduce the Dirac brackets. To achieve this, we first calculate the algebra between the second-class constraints, it is given by
and we express it in matrix form as follows
It is well known that the Dirac brackets play an important role in the quantization of any theory with second-class constraints. In fact, they are promoted to commutators and they can be used for the identification of observables. On the other hand, at classical level either the Dirac brackets or the second class constraints can be used for constructing the extended Hamiltonian. It is worth commenting, that the equations of motion obtained by means of the extended Hamiltonian are mathematically different from the Euler-Lagrange equations, but the difference is unphysical, thus, the construction of the extended Hamiltonian is important. In this manner, the Dirac brackets are defined as
where \(C^{\alpha \beta }\) is the inverse of (26) given by
Hence, we obtain the following non-trivial Dirac brackets
Now, we shall construct the extended Hamiltonian, which is a fundamental element in the canonical formulation. In fact, the extended Hamiltonian is a first-class function and it is used in the quantization program due to it contains all relevant information of the theory. The extended Hamiltonian is defined by
where \(w_{\alpha }\) are the Lagrange multipliers associated with the second-class constraints, these multipliers can be determined through [23, 24]
In this manner, by using the second-class constraints (23) and the matrix (28) the following expressions for the Lagrange multipliers are obtained
hence, by using the second-class constraints (23) and the Lagrange multipliers (32) into the extended Hamiltonian, it will take the following form
we can observe a squared term in the momenta \(\pi \) which implies that the Hamiltonian is bounded from below. This means that the two degrees of freedom are physical rather than ghosts, in agreement with the Lagrangian analysis reported in [9]. Furthermore, we can see that the inclusion of the second-class constraints fixes the Ostrogradski instability, hence, for obtaining detailed results in the canonical formalism of higher-order theories, it is mandatory to develop an analysis as has been done in this work. In this respect, we have added the appendix A where the system Klein-Gordon-Einstein (see 7) without the constraint has been analyzed. This theory is described by a higher-order Lagrangian and we will observe that its second-class constraints will have a trivial structure and the Ostrogradski instability will not be removed.
We complete our canonical analysis with the Dirac algebra between the first-class constraints and the extended Hamiltonian, this is given by
where we observe that the algebra is closed and the extended Hamiltonian is of first-class as expected. Furthermore, by using the Dirac brackets and the extended Hamiltonian it is possible to find the the following equations of motion
which is the relation between \(K_{ij}\) and \(h_{ij}\) given in (10), and
namely
that corresponds to the equation of motion . Hence, our analysis is complete and extends those results reported in literature.
3 Conclusions
In this paper a detailed canonical analysis of NMG has been performed. We observed that the introduction of the K’s-extrinsic curvature type variables allowed us to develop the analysis in a more economical way in comparison with the standard OD scheme. The Lagrangian was written as a function of its velocities and the null vectors of the theory allowed us to identify the complete structure of the constraints. The extended Hamiltonian was constructed, then we observed that the Dirac brackets and second-class constraints helped to identify if the Ostrogradski instabilities were present or not. We observed that the extended Hamiltonian does not present instabilities and the theory describes the propagation of two massive physical degrees of freedom. With all constraints under control, the results of this work will be useful for performing any progress in the quantization program. In fact, it is well known that the better dynamical description of any system is through the Hamiltonian analysis, then for developing the quantization study it is mandatory to perform a complete classical analysis as in this work has been done. In this respect, our results also could be extended for studying holography information by using the Dirac brackets. In fact, by coupling NMG minimally to matter we could to study if the extended theory presents non-local Dirac brackets just as massive gravity retains [25].
On the other hand, the analysis of EKG and the higher-order term of (1) were reported in appendix A and B respectively. In these theories the second-class constraints had a trivial structure, therefore, the Poisson brackets and Dirac ones coincide. In this manner, the extended Hamiltonians of these theories were not healed from the Ostrogradski sickness.
4 Appendix A
In this appendix we will perform the canonical study of the system whose equations of motion are given by
For this system there are not extra constraints. It is straightforward to see that these equations can be obtained from the action
where
In fact, the equations of motion that emerge from the varion of the action (39) are
hence, by considering the perturbation of the metric around the Minkowski background into (41) the Eq. (38) are obtained.
Furthermore, if we perform the linearization of the action (39) we can identify the following linearized Lagrangian
We observe that the system corresponds to a higher-order theory as expected. Moreover, if we perform the 2+1 decomposition and the variables (10) are introduced, then the Lagrangian is rewritten in the following new fashion
The canonical variables of the system are given by \(h_{\mu \nu }\), \(\alpha _{ij}\) and \(K_{ij}\), and its corresponding canonical momenta \(\pi ^{\mu \nu }\), \(\tau ^{ij}\) and \(P^{ij}\). Hence, by performing the canonical analysis, the main results are the following: the canonical Hamiltonian is given by
where we can observe that there is only a linear term in the canonical momenta \(\pi ^{ij}\) and this fact will be associated to the presence of ghosts degrees of freedom.
On the other hand, the complete set of constraints is given by the following six first-class constraints
and the following six second-class constraints
We can observe that the second-class constraints have a trivial structure, and it is easy to observe that the Dirac and Poisson brackets coincide to each other, thus we expect that the instability of the Hamiltonian (44) will be present. In fact, we can use the Dirac brackets and the second-class constraints for calculating the extended Hamiltonian, we obtain
In this case, we can see that second class constraints do not heal the instability and there will be ghosts. In fact, the counting of physical degrees of freedom is performed as follows: there are 24 canonical variables, six first-class and six second-class constraints, so
now there are two modes of helicity \(\pm 2\) and one mode of zero helicity being a ghost. Our results complete and extend those reported in [9].
5 Appendix B
In this appendix we will resume the canonical analysis of the higher-order term given in the action (1), this term is expressed by
By performing the linearization and the change of variables given in (10), we find the following Lagrangian
Hence, the results from the canonical analysis are the following: the canonical Hamiltonian is given by
where we observe again the linear term in the \(\pi ^{ij}\) momenta. Furthermore, the complete set of the constraints is given by the following eight first-class constraints
and the following six second-class constraints
It is worth commenting, that the second-class constraints have a trivial form just like the system analyzed in appendix A, therefore, the Dirac brackets will be trivial. In this manner, with the results obtained in previous sections we expect that the system (48) will present the Ostrogradski sickness. In this respect, we can carry out the counting of physical degrees of freedom as follows: there are 24 canonical variables, eight first-class constraints and six second-class constraints, thus
this degree of freedom corresponds to a ghost.
Data availability statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and no experimental data.]
References
S. Deser, R. Jackiw, S. Templeton. Phys. Rev. Lett. 48, 975 (1982). Ann. Phys., N Y 140, 372 (1982)
S. Deser, Z. Yang, Class. Quantum Gravity 7, 1603–1612 (1990)
J. Barcelos-Neto, T.G. Dargam, Z. Phys, C Part. Fields 67, 701–705 (1995)
W. Li, W. Song, A. Strominger, J. High Energy Phys. 04, 082 (2008)
A. Maloney, W. Song, A. Strominger, Phys. Rev. D 81, 064007 (2010)
S. Carlip, S. Deser, A. Waldron, D.K. Wise, Class. Quant. Gravit. 26, 075008 (2009)
D. Grumiller, N. Johansson, JHEP 0807, 134 (2008)
E. Bergshoeff, O. Hohm, W. Merbis, A.J. Routh, P.K. Townsend, Class. Quant. Gravit. 31, 145008 (2014)
E.A. Bergshoeff, O. Hohm, P.K. Townsend, PRL 102, 201301 (2009)
E.A. Bergshoeff, O. Hohm, P.K. Townsend, Phys. Rev. D 79, 124042 (2009)
M. Ostrogradsky, Mem. Ac. St. Petersbourg 14, 385 (1850)
M. Ostrogradski, In Variatsionnye printzipy mekhaniki, ed. by L.S. Polak (Fizmatgiz, 1959), p. 315
J. Lukierski, P. Stichel, W. Zakrzewski, Ann. Phys. 260, 224 (1997)
D. M. Gitman, I. V. Tyutin, Quantization of fields with constraints. Springer Series in Nuclear and Particle Physics (Springer, New York, 1990)
P. Mukherjee, B. Paul, Phys. Rev. D 85, 045028 (2012)
A. Escalante, I. García, Int. J. Geom. Methods Mod. Phys. 09, 1250053 (2012)
A. Escalante, V.A. Zavala-Pérez, Eur. Phys. J. Plus. 136, 766 (2021)
A. Escalante, A. Pantoja, Eur. Phys. J. Plus 134, 437 (2019)
A. Pais, G.E. Uhlenbeck, Phys. Rev. 79(1) (1950)
T. Frankel, The Geometry of Physics 3rd, Cambridge University Press, (2012)
H. Fuhri, S. Hortner, Phys. Rev. D 103, 105014 (2021)
B. Paul, Phys. Rev. D 96, 044035 (2017)
D.M. Gitman, I.V. Tyutin, Quantization of Fields with Constraints, Springer Series in Nuclear and Particle Physics (Springer, Berlin, Germany, 1990)
A. Hanson, T. Regge, C. Teitelboim, Constrained Hamiltonian Systems (Accademia Nazionale dei Lincei, Roma, 1978)
J. Chakravarty, D. Jain, A. Sivakumar, Holography of information in massive gravity using Dirac brackets. arXiv:2301.01075v2
Acknowledgements
We would like to thank Daniel Grumiller for the comments and cites recommended.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Escalante, A., Ocaña-García, P.F. Hamiltonian analysis for new massive gravity. Eur. Phys. J. C 83, 1034 (2023). https://doi.org/10.1140/epjc/s10052-023-12157-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-12157-8