Abstract
This paper is devoted to the Hamiltonian analysis of bimetric gravity in the vierbein formulation. We identify all constraints and determine their nature. We also show the existence of an additional constraint so that the scalar mode can be eliminated.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Bimetric theories of gravity are based on the idea of joining the two tensors \(\hat{g}_{\mu \nu }\) and \(\hat{f}_{\mu \nu }\) in a symmetric way when each tensor has its own Einstein–Hilbert action and then couple these actions through a non-derivative mass term. The presence of this term reduces the separate coordinate invariances to a single one [1, 2].Footnote 1 If we set one metric as the background metric without any dynamics we find that the bimetric theory is reduced to a single metric massive gravity theory with a mass term that at the linear limit leads to the Fierz–Pauli free theory [3]. However, it was shown soon that this theory propagates ghost modes at non-linear level [4, 5]. On the other hand, a new form of the massive term was proposed recently in [6, 7, 10, 11], which was shown to be ghost free even at the non-linear level [9, 12]; see also [13, 40, 41].
This form of the massive gravity was further generalized in [14] where the dynamical gravity was coupled to the general reference metric. Then it was a small step to the generalization of the given construction to the bimetric gravity when the fixed reference metric becomes dynamical with its own Einstein–Hilbert action [15]. It was also argued there and in [12] that this theory is ghost free. However, this analysis was discussed in [34] where it was argued that the analysis performed in [12] does not show the existence of the additional constraint in the case of the bimetric gravity.Footnote 2
The non-linear massive gravity and bimetric gravity that are claimed to be ghost free are based on the specific form of the potential that contains the square root of \(\hat{g}^{\mu \nu }\hat{f}_{\nu \rho }\). This is a rather awkward structure, which makes very difficult to find an extra constraint that could eliminate the Boulware–Deser ghost. However, as was shown in a beautiful paper [8] the square root structure suggests that the vierbein variables \(E_\mu ^{ \ A}\) could be the appropriate ones for the formulation of consistent bimetric theories. In more detail, completely new multimetric interacting spin-2 theories were proposed in [8] using the powerful vierbein formulation of general relativity and corresponding mass terms. It was argued there that due to the specific form of the interaction terms the action is linear in the lapses and shifts, which implies the existence of additional constraints that could eliminate the non-physical modes. However, we suggest that the Hamiltonian analysis presented in the given paper was not complete. In particular, the constraints corresponding to the diagonal diffeomorphism were not identified and it was not shown that they are first class constraints.
The goal of this paper is to fill this gap and perform the Hamiltonian analysis of the bimetric gravity in vierbein formulation with the simplest form of the potential between two vierbeins \(E^\mu _{ \ A}\) and \(F_\mu ^{ \ A}\). We explicitly show that it is crucial to analyze the time developments of the constraints corresponding to breaking the spatial rotation. It is also important to stress that when we use the parametrization of the vierbein as in [8] we should interpret \(p_a\)—which will be defined below—as a dynamical variable with no time dependence in the action. As a result the conjugate momentum vanishes and is the primary constraint of the theory. Then the requirement of the preservation of the given constraint leads to another secondary constraint that is important for further analysis.
A very important point is to identify the constraints that could be generators of the diagonal diffeomorphism. To do this we follow [33] where we introduce new variables that are functions of \(N,N^i\) and \(M,M^i\), which are the lapses and the shifts in \(\hat{g}_{\mu \nu }\) and \(\hat{f}_{\mu \nu }\), respectively. Then we determine eight new secondary constraints where four of them could correspond to the generators of the diagonal diffeomorphism on the condition that the Poisson brackets between the new Hamiltonian constraint \(\bar{\mathcal {R}}\) are closed on the constraints surface, and when we add an appropriate combination of the second class constraints in order to Poisson commute with all set of constraints. A similar analysis was performed previously in the case of bimetric gravity formulated with metric variables in [35, 36]. It turns out that in the case of bimetric theory in the vierbein formulation the situation is more complicated and we have to take into account the presence of the new secondary constraints. Then we are able to show that the Poisson bracket between the Hamiltonian constraints vanish on the constraint surface. On the other hand one can ask the question why we should use the variables introduced in [33] in the case of bimetric gravity formulated with metric variables in the case of the bimetric gravity formulated using the vierbein formalism. The answer is that using this formalism we can easily see the analogy between bimetric theories formulated using either metric of vierbein variables.
With the help of this result we proceed to the analysis of the consistency of all constraints during the time development of the system. Now due to the very remarkable structure of the vierbein formulation of bigravity we find the existence of an additional constraint, which leads to the elimination of the scalar mode in the same way as in the case of non-linear massive gravity [9, 12]. This result confirms the results derived in [47]. More precisely, in [47] a canonical analysis of bimetric gravity formulated in the vierbein formalism where the spin connection is treated as an independent field was performed with elegant formulations of the secondary constraints that are responsible for the elimination of the ghosts. On the contrary, our analysis is more closely related to the formulation introduced in [8], where the spin connection is not considered as an independent field, however, the constraints responsible for the elimination of ghost are much more complicated.
This paper is organized as follows. In Sect. (2) we introduce the bimetric gravity in the vierbein formalism and find its Hamiltonian, identify all constraints, and determine their constraint structure. In Sect. (3) we outline our results. Finally in the appendix we review the Hamiltonian formulation of the general relativity action formulated in the vierbein formalism.
2 Vierbein formulation of bimetric gravity
The general vierbein can by written in the upper triangular form and we denote this vierbein with a hat:
where \(N\) and \(N^i\) are the four time-like components. The spatial vielbeins \(e_i^{ \ a}\) contain nine components, which are related to the spatial part of the metric by
Now by writing out the metric of this vierbein we find
which means that \(N\) and \(N^i\) are the usual lapse and shifts that appear in the ADM decomposition of the metric [25–27]. Note that the inverse metric has the form
Then by definitionFootnote 3
The upper triangular form does not fix the local Lorentz invariance since it leaves a residual spatial rotation. There are four components in \(N,N^i\) and nine in the spatial vielbein. The remaining three components of the vielbein have been fixed by using the upper triangular gauge choice. It is possible to formulate an arbitrary vierbein as the action of the same boost on the upper triangular vierbein. Note that for the \(3\)-dimensional vector \(p_a\) we define a standard Lorentz boost as
where \(p^a=\delta ^{ab}p_b\) and where by definition
so that
The boost takes the \(4\)-dimensional vector \((1,0,0,0)\) into the unit normalized \(4\)-vector
Then we write the general vierbein as the standard boost of the upper triangular vierbein,
We see that \(16\) components of the general vierbein are now parameterized by the four components of \(N\) and \(N^i\) together with nine components of the spatial vielbein \(e_i^{ \ a}\) and three components of \(p_a\).
It is important that the Einstein–Hilbert action is invariant under local Lorentz transformation. As a result it is possible to partially fix the gauge and express the Einstein–Hilbert action using the upper triangular form. This fact greatly simplifies the Hamiltonian formalism of general relativity in the vierbein formalism. The detailed analysis is performed in Appendix A.
Now we are ready to proceed to the vierbein formulation of the bimetric gravity when we consider bigravity with two metrics,
with Einstein–Hilbert actions for both of these metrics. Then without the interaction term the action is invariant under two separate local Lorentz transformations
The action is also invariant under two diffeomorphisms,
Then we consider the action in the form [8]
where \(\mu ^2=\frac{1}{8}m^2 M_{fg}^{2}\) and where \(S_n\) are symmetric polynomials whose explicit definitions can be found in [8]. It was shown there that they can be written in terms of traces of the matrix \(\mathbb {M}\) as
where \([\mathbb {M}]\) means the trace of the matrix \(\mathbb {M}\). In what follows we restrict ourselves to the simplest non-trivial case corresponding to \(\beta _0=\beta _2=\beta _3=\beta _4=0 , \beta _1=1\), which, however, captures the main property of the given theory.
Now we proceed to the Hamiltonian analysis of the bimetric theory in the vierbein formulation. We use the parametrization of the general vierbein introduced in (10). Explicitly
where
where \(g_{ij}=e_i^{ \ a}e_j^{ \ b}\delta _{ab}, f_{ij}=f_i^{ \ a}f_j^{ \ b}\delta _{ab}\).
To proceed we use the fact that bigravity is invariant under a diagonal local Lorentz transformation, which implies that we can partially gauge fix this gauge by imposing \(l_a=0\) [8]. Note also that since Einstein–Hilbert actions are invariant under local transformations the action depends on \(p_a\) through the potential term only. Explicitly we find
Using the Hamiltonian analysis performed in the appendix we find the following Hamiltonian:
where
and where \(\pi ^{ij}\) and \(\rho ^{ij}\) are the momenta conjugate to \(g_{ij}\) and \(f_{ij}\), respectively. Further \(\nabla _i\) and \(\tilde{\nabla }_i\) are covariant derivatives evaluated using the metric components \(g_{ij}\) and \(f_{ij}\), respectively. Finally note that \(\mathcal {G}^{ijkl}\) and \(\tilde{\mathcal {G}}^{ijkl}\) are de Witt metrics defined as
with inverse
which obey the relations
Also note that \(e\equiv \det e\). We have also included the primary constraints \(L_{ab}^{(g)}\approx 0,L_{ab}^{(f)}\approx 0\) into the definition of the Hamiltonian.
An important point is to identify four constraints with the property that their Poisson brackets vanish on the constraint surface and hence could be part of the generators of the diagonal diffeomorphism. In order to do this we proceed as in [33] and introduce the following variables:
Note that their conjugate momenta are the primary constraints of the theory
with the following non-zero Poisson brackets:
It is also important to stress that the absence of the time derivative of \(p_a\) in the action implies the following primary constraint:
where \(k^a\) is the momentum conjugate to \(p_a\) with non-zero Poisson bracket,
We also have to identify the constraints that are generators of the diagonal spatial rotations of the vielbeins \(e_i^{ \ a},f_i^{ \ a}\). These constraints are given as linear combinations of \(L_{ab}^{(g)},L_{ab}^{(f)}\) and \(k^a\). Explicitly, we introduce the following set of constraints:
where
where \(\pi ^i_{ \ a},\rho ^i_{ \ a}\) are momenta conjugate to \(e_i^{ \ a},f_i^{ \ a}\), respectively. Collecting all these terms we find the following form of the Hamiltonian:
where
where
Now we proceed to the analysis of the time development of the primary constraints (25) and (27),
Finally we have to check the preservation of the constraints \(L_{ab}^{\mathrm{diag}}\approx 0 , L_{ab}^{\mathrm{br}}\approx 0\). Firstly due to the fact that \(\mathcal {R}_0^{(g)},\mathcal {R}_0^{(f)},\mathcal {R}_i^{(g)},\mathcal {R}_i^{(f)}\) have vanishing Poisson brackets with \(L_{ab}^{(g)},L_{ab}^{(f)}\) according to (118) we find that they have also a vanishing Poisson brackets with both \(L_{ab}^{\mathrm{diag}}\) and \(L_{ab}^{\mathrm{br}}\). Then the non-zero contribution could follow from the Poisson bracket between \(L_{ab}^{\mathrm{diag}},L_{ab}^{\mathrm{br}}\) and \(\tilde{\mathcal {V}}\). Now with the help of the following Poisson brackets:
and also
we find that the constraint \(L_{ab}^{\mathrm{diag}}\approx 0\) is preserved during the time evolution of the system, while the requirement of the preservation of the constraint \(L_{ab}^{\mathrm{br}}\) implies
where we introduced new secondary constraints \(\mathcal {T}_{ab}=-\mathcal {T}_{ba}\)
As we will see below the existence of these constraints will be crucial for the consistency of the theory.
2.1 Calculation of the Poisson brackets between \(\bar{\mathcal {R}},\bar{\mathcal {R}}_i\)
Before we proceed to the analysis of the stability of all constraints we would like to show that the Poisson brackets between the constraints \(\bar{\mathcal {R}}\) and \(\bar{\mathcal {R}}_i\) vanish on the constraint surface spanned by all constraints. To begin with we introduce the smeared form of the constraint \(\bar{\mathcal {R}}\),
Then using the Poisson brackets given in (118) and the following similar analysis as in the case of metric formulations of bigravity we obtain [35, 36]
where
and where
Note also that we used the extended version of the constraint \(\bar{\mathcal {R}}_i\) given in (47) and we omitted terms proportional to \(L_{ab}^{(g)},L_{ab}^{(f)}\) given in (118).
Our goal is to show that \(\Sigma ^i[\mathcal {V}]\) vanishes on the constraint surface. To do this we use the fact that \(n^i\) can be expressed from the constraint \(\mathcal {K}^a\)
where \(H_a\) are functions that depend on the phase space variables whose explicit form is not important for us. To proceed we use the fact that from the constraint \(\mathcal {T}_{ab}\) we derive
Inserting this expression into (43) we find
up to terms proportional to \(\mathcal {T}_{ab}\) and \(\mathcal {K}^a\). Finally inserting this result into (42) and after some calculations we find the desired result,
Then collecting (40) together with (46) we find that the Poisson bracket between \(\bar{\mathcal {R}}\) is proportional to the constraints \(\bar{\mathcal {R}}_i,\mathcal {G}_n,\mathcal {S}_i,\mathcal {K}^a,\mathcal {T}_{ab}\), which means that it vanishes on the constraint surface. This is a very important result. Note also the importance of the constraints \(\mathcal {K}^a,\mathcal {T}_{ab}\) for the closure of the Poisson brackets between \(\bar{\mathcal {R}}\).
As the next step we calculate the Poisson brackets with the constraints \(\bar{\mathcal {R}}_i\). However, it turns out that it is more convenient to consider the following extension:
Let us define its smeared form,
Then we find the following Poisson brackets:
which shows that \(\mathbf {T}_S(N^i)\) is the generator of the diagonal spatial diffeomorphism.
Now we are ready to proceed to the calculation of the Poisson bracket between \(\mathbf {T}_S(N^i)\) defined in (48) and \(\mathbf {T}_T(N)\). In fact, using (49) we easily find
Finally, we should calculate the Poisson bracket between \(\mathbf {T}_S(N^i)\) and \(\mathcal {R}_i^{(f)},\mathcal {R}_i^{(g)}\) and \(\mathcal {R}_0^{(g)},\mathcal {R}_0^{(f)}\). This is really an easy task on using the results given in (118) so that we find
up to the terms proportional to the primary constraints \(L_{ab}^{(g)}\approx 0 , L_{ab}^{(f)}\approx 0\). In the same way we can find that
Using these results we are ready to proceed to the analysis of the stability of constraints.
2.2 Analysis of stability of constraints
In this section we perform the analysis of the stability of all constraints. Note that for the potential \(\tilde{\mathcal {V}}\) given in (33) the constraints \(\mathcal {G}_n,\mathcal {S}_i,\mathcal {K}^a\) have the form
It turns out that these constraints could be simplified considerably. First of all we have the following relation:
so that we can consider as an independent constraint the following one:
In the previous section we also found the relation
so that it is possible to define a new independent constraint \(\tilde{\mathcal {K}}^i\),
Then we have the following set of independent secondary constraints: \(\mathcal {G}'_n,\tilde{\mathcal {K}}^i,\mathcal {S}_i,\mathcal {T}_{ab}\), so that the total Hamiltonian has the form
Now we are ready to proceed to the analysis of the stability of all constraints. We begin with the constraints \(p_i\approx 0\),
which has the solution \(\Omega _i=0\), where \(\Omega _i\) is the Lagrange multiplier corresponding to the constraint \(\tilde{\mathcal {K}}^i\). In the case of \(p\) we find
Further, the requirement of the preservation of \(L_{ab}^{\mathrm{br}}\) takes the form
where \(\left\{ L_{ab}^{\mathrm{br}}(\mathbf {x}),\mathcal {T}_{cd}(\mathbf {y})\right\} =\triangle _{L_{ab}^{\mathrm{br}},\mathcal {T}_{cd}} (\mathbf {x})\delta (\mathbf {x}-\mathbf {y})\) and where we used the fact that \(\Omega _i=0\) together with
Then it can be explicitly checked that the matrix \(\triangle _{L_{ab}^{\mathrm{br}},\mathcal {T}_{cd}}\) is non-singular and hence the solution of (61) is \( \Gamma ^{cd}=0\).
Using these results it is easy to analyze the requirement of the preservation of the constraints \(k^a\approx 0\),
so that we obtain
This result, however, suggests us to consider as an independent constraint the following one:
and the following total Hamiltonian:
Repeating the analysis as above we find that \(p\) is trivially preserved and also \(\Omega _i=\Gamma ^{ab}=0\). Further, the time evolution of the constraint \(k^a\approx 0\) is given by the equation
which due to the fact that \(f_i^{ \ a}\) is non-singular implies that \(\Gamma ^i=0\). Finally it is also clear that \(\bar{P},P_i\) are trivially preserved.
Now we proceed to the analysis of the time evolution of the constraint \(\tilde{\mathcal {G}}_n,\mathcal {S}_i,\tilde{\mathcal {K}}^i\) together with \(\bar{\mathcal {R}}\) and \(\bar{\mathcal {R}}_i\). First of all it is easy to see that the secondary constraints \(\tilde{\mathcal {G}}_n,\mathcal {S}_i,\tilde{\mathcal {K}}^i,\tilde{\mathcal {G}}_{ab}\) are invariant under a diagonal spatial diffeomorphism. Then with the help of (51) and (52) we find that \(\bar{\mathcal {R}}_i\) are preserved during the time evolution of the system.
A more interesting situation occurs in the case of the time evolution of the constraints \(\tilde{\mathcal {G}}_n\) and \(\bar{\mathcal {R}}\), which is mainly determined by the following Poisson bracket:
where the explicit form of \(\tilde{\mathcal {G}}_n^{II}\), which is rather complicated, is not important for us; but it is important to stress that \(\tilde{\mathcal {G}}_n^{II}\) does not depend on \(n\) and it is proportional to \(\mu ^2\), which means that the given constraint vanishes in the decoupling case when \(\mu ^2=0\), which is expected.Footnote 4 Note that in the course of the calculation we use the fact that we can write \(\bar{\mathcal {R}}\) as
and we also used the fact that the Poisson bracket \(\left\{ \tilde{\mathcal {G}}_n(\mathbf {x}),\tilde{\mathcal {G}}_n(\mathbf {y})\right\} \) is weakly zero as follows from
However, it is a crucial and non-trivial fact that the Poisson bracket (68) does not contain terms proportional to \(M\partial _iN\) or \(M\partial _iN\) and it is linear in \(n\). Then the local form (68) is
so that there are no derivatives of the delta function on the right side of the previous equation. This fact is very important for the consistency of the given theory.
Now we are ready to proceed to the analysis of the consistency of the secondary constraints. In the case of \(\tilde{\mathcal {G}}_n\) we obtain
On the other hand the time evolution of the constraint \(\bar{\mathcal {R}}\) is equal to
using (40), (46), and (51), together with the fact that \(\Gamma ^i=\Gamma ^{ab}=\Omega _i=0\). Now it is crucial to find a non-trivial solution of (73). In the case when \(\tilde{\mathcal {G}}_n^{II}\) were constant on the whole phase space we would find that the only possible solution is \(\Gamma _n=0\). Then from (72) we would also find \(N=0\) and hence we should interpret \(\bar{\mathcal {R}}\) together with \(\tilde{\mathcal {G}}_n\) as second class constraints. However, this is a very unsatisfactory result, since it would imply the lack of the Hamiltonian constraint, while the theory is manifestly invariant under diagonal diffeomorphism. Fortunately \(\tilde{\mathcal {G}}_n^{II}\) depends on the phase space variables, so that it is more natural to obey (73) when we say that \(\tilde{\mathcal {G}}_n^{II}\) is an additional constraint imposed on the system.
Now with this interpretation we find that (72) vanishes on the constraint surface when \(\tilde{\mathcal {G}}_n^{II}\approx 0\). However, then we have to include the constraint \(\tilde{\mathcal {G}}_n^{II}\approx 0\) into the total Hamiltonian and analyze the stability of all constraints. Due to the fact that \(\tilde{\mathcal {G}}_n^{II}\) does not depend on \(n\) we find that \(p \approx 0\) is still a first class constraint. Now the time evolution of the constraint \(\tilde{\mathcal {G}}_n\approx 0\) is equal to
where \(\lambda ^{II}\) is the Lagrange multiplier corresponding to the constraint \(\tilde{\mathcal {G}}_n^{II}\approx 0\). Since it can be shown that \(\left\{ \tilde{\mathcal {G}}_n(\mathbf {x}),\tilde{\mathcal {G}}_n^{II}(\mathbf {y})\right\} \ne 0\) and it contains the derivative of the delta function we obtain the result that the only solutions of the equation above is \(\lambda ^{II}=0\). Then we also see that it is consistent to take the values of the Lagrange multipliers \(\Gamma ^i=\Gamma ^{ab}=\Omega _i=0\) that were derived before the constraint \(\tilde{\mathcal {G}}_n^{II}\) was included into the total Hamiltonian. Then using \(\lambda ^{II}=0\) we also find that the constraint \(\bar{\mathcal {R}}\approx 0\) is preserved during the time evolution of the system. Further, the time evolution of the constraint \(\tilde{\mathcal {G}}_n^{II}\approx 0\) has the form
Generally this equation reduces to a complicated differential equation for \(\Gamma _n\) and we presume that it can be solved, at least in principle.Footnote 5
As the next step we will analyze the requirement of the preservation of the constraints \(\mathcal {S}_i,\mathcal {T}_{ab},\tilde{\mathcal {K}}^i\), which, however, simplifies considerably due to the fact that \(\Gamma ^i=\Gamma ^{ab}= \Omega _i=0\). We start with the constraint \(\mathcal {S}_i\)
using also the fact that \(\left\{ \mathcal {S}_i(\mathbf {x}),L_{ab}^{\mathrm{br}}(\mathbf {y})\right\} =0\). Now due to the fact that the matrix \(f_i^{ \ a}\) is non-singular we find that this equation can be solved for \(v_a\).
In the case of the constraints \(\mathcal {T}_{ab}\) we find
where the matrix \(\triangle _{\mathcal {T}_{ab},k^c}\) is defined as
Now using the fact that the matrix \(\triangle _{\mathcal {T}_{ab},L^{\mathrm{br}}_{cd}}\) is non-singular and that \(v_a\) were determined by (76) we find that (77) can be explicitly solved for \(v^{ab}\).
Finally we proceed to the analysis of the equation of motion of the constraint \(\tilde{\mathcal {K}}^i\),
where we defined
We see that (79) can be solved for \(v^i\) knowing the Lagrange multipliers \(v_{ab},v_c,v_n\). Note that \(v_n\) is still undetermined, which is a reflection of the fact that \(p\approx 0\) is a first class constraint.
Let us outline our results and determine the physical degrees of freedom of the given theory. We have \(N_{\mathrm{f.c.c.}}=12\) first class constraints \(\bar{\mathcal {R}},\bar{\mathcal {R}}_i,\bar{P},P_i,L_{ab}^{\mathrm{diag}},p\).Footnote 6 Then we have \(N_{\mathrm{s.c.c.}}=20\) second class constraints \(p_i,k^a,L_{ab}^{\mathrm{br}},\tilde{\mathcal {G}}_n,\tilde{\mathcal {G}}_n^{II},\mathcal {S}_i,\tilde{\mathcal {K}}^i,\mathcal {T}_{ab}\). We also have \(N_{\mathrm{ph.s.d.f.}}=58\) phase space degrees of freedom \(\bar{N},\bar{P},\bar{N}^i,P_i, n,p,n^i, p_i,p_a,k^a,e_i^{ \ a}, \pi ^i_{ \ a},f_i^{ \ a},\rho ^i_{ \ a}\). Then the number of physical degrees of freedom \(N_{\mathrm{p.d.f.}}\) is [39]
which could be interpreted as two physical degrees of freedom of the massless graviton, five physical degrees of freedom corresponding to the massive graviton. In other words we have shown that the bigravity in the vierbein formulation is ghost free.
3 Conclusion
This paper was devoted to the Hamiltonian analysis of the bimetric theory of gravity in the form introduced in [8]. We found the corresponding Hamiltonian and determined the primary constraints of the theory. Then we analyzed the requirement of the preservation of these constraints and we determined the corresponding secondary constraints. Finally, we determined the conditions when these constraints are preserved and we found that there is an additional constraint. As a result the constraint structure of the given theory suggests that this theory is free of ghosts.
However, it is still important to stress that, even if the non-linear massive gravity is ghost free, this does not mean that the given theory is consistent. In fact, it was shown that non-linear massive gravity suffers from the superluminality in its decoupling limit [16–18]. It was also shown that generally it contains tachyonic modes [19, 20]. Further, the analysis of the cosmological properties of non-linear massive gravity showed that it exhibits the ghost instabilities about its homogeneous solutions [21–23]; see also [42, 43].Footnote 7 On the other hand it was shown very recently in [48] that a non-linear bimetric theory of gravity could lead to viable cosmology under some conditions. In fact, the bimetric theory of gravity has an important advantage with respect to non-linear massive gravity where the second metric is not fixed by hand but is dynamical as well. Clearly a bimetric theory of gravity is a very promising generalization of gravity that deserves to be studied further.
Notes
For a review of the vierbein formalism, see [32].
On general grounds we should expect that the given constraint is equivalent to the constraint derived in [47], when the canonical variables between these two formulations are properly identified.
There is one important subtlety with the given arguments, which is the possibility of the existence of the non-trivial solution of (74) due to the presence of the partial derivatives that are presented in the given equation. However, the existence of a given solution would imply the existence of an additional gauge symmetry, which, however, is not expected here. We believe that there is no such solution even if we were not able to show this explicitly. In light of these complicated results we mean that it is remarkable how efficient is the Hamiltonian analysis of the bimetric theory of gravity presented in [47].
Strictly speaking, we should include the appropriate combinations of the second class constraints listed below them in order to ensure that the constraints \(\bar{\mathcal {R}},\bar{\mathcal {R}}_i\) have vanishing Poisson brackets with all constraints. However, these corrected constraints coincide with the original one when the second class constraints strongly vanish, where, however, we have to replace Poisson brackets between phase space variables with corresponding Dirac brackets.
However, quite recently the improved version of non-linear massive gravity was proposed in [24], which is claimed to be unitary with all degrees of freedom propagating on a homogeneous, isotropic and self-accelerating de Sitter background.
Note that the spin connection has the following prescription when it acts on an object with upper and lower Lorentz indices:
$$\begin{aligned} \mathcal {D}_i X^a_{ \ b}=\partial _i X^a_{ \ b}+\omega ^{\ a}_{i \ c}X^c_{ \ b}-\omega ^{ \ c}_{i \ b}X^a_{ \ c}, \end{aligned}$$(104)
References
A. Salam, J.A. Strathdee, Nonlinear realizations. 1: the role of goldstone bosons. Phys. Rev. 184, 1750 (1969)
C.J. Isham, A. Salam, J.A. Strathdee, Spontaneous breakdown of conformal symmetry. Phys. Lett. B 31, 300 (1970)
M. Fierz, W. Pauli, On relativistic wave equations for particles of arbitrary spin in an electromagnetic field. Proc. R. Soc. Lond. A173, 211–232 (1939)
D.G. Boulware, S. Deser, Can gravitation have a finite range? Phys. Rev. D 6, 3368 (1972)
D.G. Boulware, S. Deser, Inconsistency of finite range gravitation. Phys. Lett. B 40, 227 (1972)
de Rham, C., Gabadadze, G., Tolley, A.J.: Resummation of massive gravity. Phys. Rev. Lett. 106, 231101 (2011). arXiv:1011.1232 [hep-th]
de Rham, C., Gabadadze, G., Tolley, A.J.: Ghost free massive gravity in the Stúckelberg language. Phys. Lett. B 711, 190 (2012). arXiv:1107.3820 [hep-th]
Hinterbichler, K., Rosen, R.A.: Interacting spin-2 fields. JHEP 1207, 047 (2012). arXiv:1203.5783 [hep-th]
Hassan, S.F., Schmidt-May, A., von Strauss, M.: Proof of consistency of nonlinear massive gravity in the Stúckelberg formulation. arXiv:1203.5283 [hep-th]
Hassan, S.F., Rosen, R.A.: Resolving the ghost problem in non-linear massive gravity. Phys. Rev. Lett. 108, 041101 (2012). arXiv:1106.3344 [hep-th]
Hassan, S.F., Rosen, R.A.: On non-linear actions for massive gravity. JHEP 1107, 009 (2011). arXiv:1103.6055 [hep-th]
Hassan, S.F., Rosen, R.A.: Confirmation of the secondary constraint and absence of ghost in massive gravity and bimetric gravity. JHEP 1204, 123 (2012). arXiv:1111.2070 [hep-th]
Kluson, J., Non-linear massive gravity with additional primary constraint and absence of ghosts. Phys. Rev. D 86, 044024 (2012). arXiv:1204.2957 [hep-th]
Hassan, S.F., Rosen, R.A., Schmidt-May, A.: Ghost-free massive gravity with a general reference metric. JHEP 1202, 026 (2012). arXiv:1109.3230 [hep-th]
Hassan, S.F., Rosen, R.A.: Bimetric gravity from ghost-free massive gravity. JHEP 1202, 126 (2012). arXiv:1109.3515 [hep-th]
Gruzinov, A.: All Fierz-Paulian massive gravity theories have ghosts or superluminal modes. arXiv:1106.3972 [hep-th]
Burrage, C., de Rham, C., Heisenberg, L., Tolley, A.J.: Chronology protection in Galileon models and massive gravity. JCAP 1207, 004 (2012). arXiv:1111.5549 [hep-th]
de Fromont, P., de Rham, C., Heisenberg, L., Matas, A.: Superluminality in the Bi- and multi-Galileon. arXiv:1303.0274 [hep-th]
Deser, S., Waldron, A.: Inconsistencies of massive charged gravitating higher spins. Nucl. Phys. B 631, 369 (2002). [hep-th/0112182]
Deser, S., Sandora, M., Waldron, A.: Nonlinear partially massless from massive gravity? Phys. Rev. D 87, 101501(R) (2013). arXiv:1301.5621 [hep-th]
De Felice, A., Gumrukcuoglu, A.E., Mukohyama, S.: Massive gravity: nonlinear instability of the homogeneous and isotropic universe. Phys. Rev. Lett. 109, 171101 (2012). arXiv:1206.2080 [hep-th]
De Felice, A., Gmrkog(lu), A.E., Lin, C., Mukohyama, S.: Nonlinear stability of cosmological solutions in massive gravity. JCAP 1305, 035 (2013) arXiv:1303.4154 [hep-th]
De Felice, A., Gumrukcuoglu, A.E., Lin, C., Mukohyama, S.: On the cosmology of massive gravity. arXiv:1304.0484 [hep-th]
De Felice, A., Mukohyama, S.: Towards consistent extension of quasidilaton massive gravity. arXiv:1306.5502 [hep-th]
Gourgoulhon, E.: 3+1 formalism and bases of numerical relativity. gr-qc/0703035 [GR-QC]
Arnowitt, R.L., deser, S., Misner, C.W.: The dynamics of general relativity. [gr-qc/0405109]
Chaichian, M., Oksanen, M., Tureanu, A.: Arnowitt–Deser–Misner representation and Hamiltonian analysis of covariant renormalizable gravity. Eur. Phys. J. C71, 1657 (2011) [Erratum-ibid. C 71 (2011) 1736]. arXiv:1101.2843 [gr-qc]
Peldan, P.: Actions for gravity, with generalizations: a review. Class. Quant. Grav. 11, 1087 (1994). [gr-qc/9305011]
H. Nicolai, H.J. Matschull, Aspects of canonical gravity and supergravity. J. Geom. Phys. 11, 15 (1993)
M. Henneaux, Poisson brackets of the constraints in the Hamiltonian formulation of tetrad gravity. Phys. Rev. D 27, 986 (1983)
J.M. Charap, M. Henneaux, J.E. Nelson, Explicit form of the constraint algebra in tetrad gravity. Class. Quant. Grav. 5, 1405 (1988)
Yepez, J.: Einstein’s vierbein field theory of curved space. arXiv:1106.2037 [gr-qc]
Damour, T., Kogan, I.I.: Effective Lagrangians and universality classes of nonlinear bigravity. Phys. Rev. D 66, 104024 (2002). [hep-th/0206042]
Kluson, J.: Is bimetric gravity really ghost free?. arXiv:1301.3296 [hep-th]
Kluson, J.: Hamiltonian formalism of general bimetric gravity. arXiv:1303.1652 [hep-th]
Kluson, J.: Hamiltonian formalism of particular bimetric gravity model. arXiv:1211.6267 [hep-th]
Soloviev, V.O., Tchichikina, M.V.: Bigravity in Kuchar’s Hamiltonian formalism. 1. The general case. arXiv:1211.6530 [hep-th]
Soloviev, V.O., Tchichikina, M.V.: Bigravity in Kuchar’s Hamiltonian formalism. 2. The special case. arXiv:1302.5096 [hep-th]
M. Henneaux, C. Teitelboim, Quantization of gauge systems (Princeton University Press, Princeton, 1992)
Comelli, D., Nesti, F., Pilo, L.: Massive gravity: a general analysis. arXiv:1305.0236 [hep-th]
Comelli, D., Nesti, F., Pilo, L.: Weak massive gravity. arXiv:1302.4447 [hep-th]
Berezhiani, L., Chkareuli, G., Gabadadze, G.: Restricted galileons. arXiv:1302.0549 [hep-th]
Berezhiani, L., Chkareuli, G., de Rham, C., Gabadadze, G., Tolley, A.J.: Mixed galileons and spherically symmetric solutions. arXiv:1305.0271 [hep-th]
A.H. Chamseddine, A. Salam, J.A. Strathdee, Strong gravity and supersymmetry. Nucl. Phys. B 136, 248 (1978)
Chamseddine, A.H.: Matrix gravity and massive colored gravitons. Phys. Rev. D 70, 084006 (2004). [hep-th/0406263]
Chamseddine, A.H.: Spontaneous symmetry breaking for massive spin two interacting with gravity. Phys. Lett. B 557, 247 (2003). [hep-th/0301014]
Alexandrov, S.: Canonical structure of tetrad bimetric gravity. Gen. Relat. Gravit. 46, 1639 (2014). arXiv:1308.6586 [hep-th]
De Felice, A., Gumrukcuoglu, A.E., Mukohyama, S., Tanahashi, N., Tanaka, T.: Viable cosmology in bimetric theory. arXiv:1404.0008 [hep-th]
Acknowledgments
I would like to thank S. Alexandrov for very useful discussions and for his finding of a crucial error in the first version of this paper. This work was supported by the Grant agency of the Czech republic under the grant P201/12/G028.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Hamiltonian formalism of general relativity in vierbein formulaton
Appendix A: Hamiltonian formalism of general relativity in vierbein formulaton
In this appendix we perform the Hamiltonian formalism of the general relativity in vierbein formulation. We mostly follow [28–31].
Let us consider the general relativity Lagrangian density written in the form
where
and where \(\mu ,\nu ,\dots =0,1,2,3\) and where \(A,B,\dots =0,1,2,3\). Note that by definition we have two covariant derivatives \(\hat{\mathcal {D}}_\mu \) and \(\hat{\nabla }_\mu \). \(\hat{\mathcal {D}}_\mu \) is covariant with respect to both general coordinate transformations in spacetime as well as local Lorentz transformations on the flat index, while \(\hat{\nabla }_\mu \) is covariant under general coordinate transformations. We have
We require that these covariant derivatives are compatible with the vierbein and the metric
where \(\hat{g}_{\mu \nu }=E_\mu ^{ \ A}E_{\nu }^{ \ B}\eta _{AB}\). Note that from (85) we obtain
From (85) and requiring \(\hat{\Gamma }_{[\mu \nu ]}^\rho =0\) it is possible to uniquely determine \(\hat{\Gamma }_{\mu \nu }^\rho \) and \(\hat{\omega }^{\ A}_{\mu \ B}\) as functions of the vierbein \(E_\mu ^{ \ A}\). Explicitly, the first equation in (85) can be solved as
Let us now consider following \(3+1\) decomposition of the tetrad:
where \(i,j,k,\dots =1,2,3\) and \(a,b,c,\dots =1,2,3\). The inverse vielbein obeys
Using this decomposition it is rather straightforward to perform the Legendre transform using this decomposition. However, it is more convenient to partly break the manifest Lorentz invariance in such a way that the vierbein takes the upper triangular form (1). In this case we identify \(V_i^{ \ a}\) with \(e_i^{ \ a}\) where \(e_i^{ \ a}\) defines the three dimensional metric \(g_{ij}=e_i^{ \ a}e_j^{ \ b}\delta _{ab}\).
Now using (88) and also the partial gauge fixing we obtain the following decomposition of \(\Omega ^{ABC}\):
The general relativity Lagrangian now takes the form
where \(e=\det e_i^{ \ a}\) and where we have the following convention:
Note that we can write
where \(\nabla _i\) is a covariant derivative compatible with \(g_{ij}\) so that \(\nabla _i g_{jk}=0\). Then neglecting the surface term we find that (91) has a form that is suitable for the Hamiltonian formulation,
where
Note that (92) implies
Then from (94) we find the momenta \(\pi ^i_{ \ a}\) conjugate to \(e_i^{ \ a}\)
so that
Then it is easy to express \(\Omega ^{0(ab)}\) as a function of \(\pi ^i_{ \ a}\) and \(e_i^{ \ a}\),
Using this result we easily find the Hamiltonian from (94) and hence the corresponding Hamiltonian
where
where \(\mathcal {D}_i\) is the covariant derivative compatible with \(e_i^{ \ a}\),
Note also that we neglected the total derivative terms in the Hamiltonian (100). It is also important to stress that (97) implies the following primary constraints:
By definition \(L_{ab}\) are antisymmetric so that there are three constraints \(L_{ab}\) in three dimensions.
To proceed further we need an explicit form of \(\mathcal {D}_i \pi ^j_{ \ a}\). Since \(\pi ^i_{ \ a}\) is a density of weight 1 we haveFootnote 8
so that
It is also convenient to introduce the notation
which is similar to the notation used in [30]. Then it is easy to see that the Hamiltonian constraint \(\mathcal {R}\) takes the familiar form,
where
which obey the relation
Note also that in the same way we can write
using the fact that
using also the fact that
By definition the canonical variables are \(e_i^{ \ a}\) and \(\pi ^j_{ \ b}\) with the following canonical Poisson brackets:
so that we obtain
On the other hand from (107) and from (114) we find
This result implies that there are additional terms when we calculate the Poisson brackets between the constraints as was in a nice way shown in [30]. More precisely, let us introduce the smeared form of the constraints \(\mathcal {R},\mathcal {R}_i\) and \(L_{ab}\)
Then, following [30] we find
where
We see that there are additional terms on the right side of the Poisson brackets between the constraints that are proportional to the primary constraints \(L_{ab}\). These terms also vanish on the constraints surface. For that reason we will not write the explicit form of these terms in the calculations performed in the main body of the paper.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Funded by SCOAP3 / License Version CC BY 4.0.
About this article
Cite this article
Klusoň, J. Hamiltonian formalism of bimetric gravity in vierbein formulation. Eur. Phys. J. C 74, 2985 (2014). https://doi.org/10.1140/epjc/s10052-014-2985-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-014-2985-1