Hidden Ghost in Massive gravity

The Hessian's determinant for a version of massive gravity given by an infinite expansion of a square root function of the induced metric, vanishes. We show that it allows us to eliminate one of four scalar fields used to generate the graviton mass. This, however, gives rise to the appearance of extra terms in the action with the squared time derivative of the metric, thus signaling that a nonlinear ghost survives.We demonstrate this phenomenon considering a simple system with constraint, which is supposed to reduces the number of physical degrees of freedom, however, we explicitly show how the constraint forces the metric to propagate an extra tachyonic state.


Introduction
There is now considerable amount of work on a consistent formulation of massive gravity [1]. The breakdown of diffeomorphism invariance implies that the two helicities ±2 of the massless graviton would be joined by four degrees to give six degrees of freedom [2]. This would then correspond to five degrees of freedom for the massive graviton in addition to a ghost degree of freedom for the time-like component of broken diffeomorphism. For the Fierz-Pauli choice of the massterm the ghost degree of freedom decouples in the lowest order [3]. This model for massive gravity can be made consistent breaking diffeomorphism invariance spontaneously by the use of four scalar fields φ A which will be absorbed by the massless graviton [4], [5] . The nonlinear Boulware-Deser ghost decouples up to the third order but reappears at higher orders [6], [7]. It is claimed that for one family of theories with the action given in terms of an infinite expansion of a square root function depending on the induced metric [8], the BD ghost decouples to all orders [9]. The Hessian of such action was shown to vanish, indicating that one degree of freedom might disappear, thus reducing the six naively expected physical degrees of freedom for the gravity and scalar fields to five and hence removing the nonlinear ghost to all orders of perturbation theory [10]. In this note we will investigate whether this really happens or not? The family of actions with vanishing determinant of the Hessian can be simplified by using auxiliary fields [11] . This allows us to explicitly compute the Hessian, establish that it has a zero mode, and then eliminate the corresponding degree of freedom expressing the action in terms of the physical variables. We will show that, however, the process of elimination of the non-physical scalar field induces new terms in the action which depend on the squared time derivatives of the metric, and as a result ghost degree of freedom re-emerges in a nontrivial way. To illustrate this phenomenon we consider a simple theory, where the constraint is introduced with the purpose to reduce the number of degrees of freedom for massive gravity. We show how in this theory the constraint causes the metric itself to propagate an additional tachyonic state.

Massive gravity in the simplified formulation
We consider an equivalent formulation of massive gravity [11] to that in reference [8], which avoids using an infinite expansion in terms of the induced metric. The equivalence, however, is only valid on shell. We first define where the sixteen vierbein fields e µ A are subject to the ten conditions where g µν is the inverse metric, which will be imposed through Lagrange multipliers. The action is given by [11] where we use the units in which 8πG = 1. One can also add to this action the terms [12] that do not influence the nature of the ghost decoupling. However, to simplify the calculations we will not consider them in our analysis. Variation of the action with respect to the metric g µν gives where or equivalently, The variation with respect to e µ A leads to Multiplying this equation with e µ B we have The symmetry of the tensor τ µν implies that the left hand side of the above equation is symmetric with respect to the indices A and B and thus or, equivalently (S + 1) (S AB − S BA ) = 0.
The possible solution when combined with equation (9) gives This is inconsistent with the vacuum solution [4]: for which S = 4. We thus assume that S = −1, and hence which implies that S ′ AB is also symmetric. Using the identity we conclude that, since S ′ AB is symmetric, Substitution of this expression in the action (4) leads on shell (i.e. after solving the constraint equations (3)) and (17)) to the infinite expansion given in [8].

Vanishing of the Hessian's determinant on shell
We now compute the Hessian of the terms depending on the scalar fields φ A in the action (4), defined as taking into account that 16 constraint equations which allow us to express e µ A in terms of the fields g µν and ∂ µ φ A . First we evaluate the variations and setting δI δe µ which gives the equation After some algebra we obtain for the second variation of the action where we have used g 00 = e 0 C e 0 C . One can only determine the functions Y µ AB perturbatively. To avoid this inconvenience, we first establish some properties of these functions, and then use them to simplify the expression of H CD . First, we differentiate g µν to obtain and, in particular, From (23) we get the relations Finally differentiating the identity S ′ and the e µ A equations of motion (9) then give Taking into account that S = −1 it follows from here that This implies that the last term in (29) vanishes. Going back to the expression for the Hessian, we note that The term before the last in (29 ) is tricky. To simplify it we first vary equation where we have defined It is clear from the definition of X µ ACD in equation (41) and the property of Y 0 Next we vary equation (30) to get Thus finally the Hessian simplifies to One can immediately see that H CD has the null eigenvector e 0 D , In addition H CD satisfy the property where To find the other eigenvectors we write and hence Therefore we have and the three eigenvectors (g 00 e i C − g 0i e 0 C ) has the same eigenvalue −βg 00 . To find β we write and after contracting with the inverse metric g µν one obtains Thus we have where The terms with second time derivative of the fields φ A has the form Let us define which can be inverted to determine ψ µ in terms of the metric g µν and the scalars φ A : where e C µ is the inverse of e µ C . Then the term (60) becomes Since the projection of e µ C H CD e ν D is zero if either µ = 0 or ν = 0, the above expression reduces to There are, however, couplings of ψ 0 to the derivatives of ∂ 0 e 0 C , e.g.
and, hence, the squared time derivatives of the metric appear signalling that the metric itself can propagate extra degree of freedom. On the other hand the term ∂ 0 e 0 C ∂ 0 e 0 C cannot be expressed only in terms of the metric, but will also involve the antisymmetric part of e 0 C . Moreover the action contains also the terms linear in (∂ 0 φ C ) which do not contribute to the Hessian. For example, after integrating by parts we obtain the following linear term which after eliminating the ψ 0 as auxiliary field gives complicated contributions which depend on the time derivatives of the metric. We conclude that although the determinant of the Hessian vanishes, eliminating the zero mode state ψ 0 introduces squared time derivatives of the metric signalling the propagation of the ghost states.

Hamiltonian analysis off shell
Having proved the equivalence of the on shell formulation of massive gravity to the square root action, one should be able to see that the metric acquires second time derivatives without having to go on shell. We again start with the action (4) but now treat e µ A as independent variable. To do the Hamiltonian analysis, we have to solve for the equations for conjugated momenta in terms of the fields φ A . From the previous analysis, it is clear that it is more convenient to use the variables ψ µ , defined via, instead of φ A . The part of the action containing scalars is then The term dependent on the second derivative of ψ µ is where (∂ 0 ψ 0 ) 2 drops out. The problem now is that there remains a term linear in ∂ 0 ψ 0 which is It is clear that the conjugated momentum for the field ψ 0 does not allow to solve for ∂ 0 ψ 0 , and therefore we first integrate the time derivative of ψ 0 by parts One can now solve the equations to express ∂ 0 ψ i in terms of the conjugated momentum π i . The action then becomes 1 2 where M ij = g 0i g 0j − g 00 g ij (75) The ψ 0 dependent terms take the form where is a second order differential operator with respect to the spacial coordinates, and we defined Similarly where All remaining terms would depend only on ψ i and their spacial derivatives and the momenta π i . Eliminating the ψ 0 results to and the full action becomes where and g −1 ij is the inverse of the three dimensional metric g ij , g ik g −1 kj = δ i j . We can easily see the metric dependent part of this action by setting ψ i = 0 : and The action is non-local because of the operator A −1 . We can simplify it further by assuming that e µ A depend only on time. Then we have and It is clear that in the linearized approximation, where g 00 = 1 + h 00 , the field h 00 acquires terms with second time derivatives, and thus become ghost like. The conclusion is that, the determinant of the Hessian indeed vanishes, indicating that one of the scalar fields, in this case ψ 0 , could be eliminated completely, but this turns out to be a curse rather than a blessing: new contributions to the metric appear which force the ghost modes in gravity, previously protected by diffeomorphism invariance, to propagate.

Constraints and induced degrees of freedom
We now illustrate the conclusions reached in the last two sections by considering the simple example of massive gravity where we explicitly impose a constraint on the system with the purpose to decrease the number degrees of freedom in the system. However, contrary to our expectations we discover that the previously "silent" gravitational degrees of freedom are forced by constraint to become propagating. This mimics the situation with vanishing Hessian's determinant.
Let us consider a massive gravity with four scalars φ A [5] subject to the constraint where We will now examine whether the above constraint really reduces the original six degrees of freedom to the five ones, required for the massive graviton.
We will analyze this system in different ways. First, we implement the condition h = 0 in the action expanded to the second order in perturbations Using the constraint h = h + 2∂ A χ A = 0 we can write where ∂ A χ A = 0.
To determine the propagators, we fix the gauge by choosing the following gauge conditions, which have to be imposed via corresponding delta functions in the path integral Next we add to the action the gauge fixing term and to simplify the expressions we set α = 1 to cancel the cross terms. The action then reduces to: where we have taken into account that h = h + 2∂ A χ A = 0. Substituting and finally the action reduces to Isolating the traceless part of h AB , we obtain for the trace part the following action which clearly contains a tachyonic mode of mass −2m 2 . In fact, the scalar mode has a propagator which represents a combination of a physical spin zero state of mass m and a spin zero tachyonic state of mass m √ 2. Together with two degrees of freedom of originally massless graviton and two degrees of freedom induced by a vector part of scalar fields this makes six degrees of freedom in total. Thus the imposed constraint did not reduce the number of the original degrees of freedom but, instead of that, forced the originally "silent" metric components to propagate. Now we will show how to arrive to the same conclusion by enforcing the constraint h = 0 through a Lagrange multiplier in the action Varying with respect to δg µν we obtain while the λ equation gives and the φ A equations are In the linearized approximation (with λ = 2 + λ to cancel zero order term) the above two equations become: and Equation (109) simplifies to Using the gauge fixing condition we obtain On the other hand, the curvature equation (108) taking into account the gauge condition, gives which is consistent with the divergence of equation (112). Trace of equation (113) leads to − ∂ 2 + m 2 h = 2m 2 λ.
The χ A equation can be written as which implies that Thus which is the same as equation of motion derived from equation (102). Thus we confirm the previous result. Finally and most directly, the tachyonic mode can be seen if we consider the equations of motion of linearized massive gravity [5], taking into account that which then take the following form Substituting into these equations the following ansatz one can verify that equations (118) and (119) are both satisfied provided that One can check that all other components of h µ ν satisfy the same equation, implying that the tachyonic mode with mass −2m 2 is propagating.

Conclusions
In this paper we have studied the action for massive gravity which is claimed to be ghost free [9] [10]. We have shown that in this theory the Hessian for the scalar fields, used to generate the graviton mass, has a vanishing determinant, thus implying that at least one of them can be eliminated. However, this does not reduce the number of degrees of freedom of the whole system because the originally silent component of the metric starts to propagate. We have argued then that this seems is a general behavior of massive gravity, whenever a constraint is imposed to reduce the number of degrees of freedom.