Mimetic Horava Gravity
Ali H. Chamseddine, Viatcheslav Mukhanov, Tobias B. Russ

TL;DR
This paper demonstrates how mimetic gravity's scalar field can be used to formulate covariant models that reduce to Horava gravity in a specific gauge, providing a new perspective on diffeomorphism invariance and spatial tensor projection.
Contribution
It introduces a method to construct diffeomorphism invariant models related to Horava gravity using mimetic gravity's scalar field without adding new degrees of freedom.
Findings
Scalar field gradient defines a timelike vector for tensor projection
Models are covariant and reduce to Horava gravity in the synchronous gauge
No additional propagating degrees of freedom are introduced
Abstract
We show that the scalar field of mimetic gravity could be used to construct diffeomorphism invariant models that reduce to Horava gravity in the synchronous gauge. The gradient of the mimetic field provides a timelike unit vector field that allows to define a projection operator of four-dimensional tensors to three-dimensional spatial tensors. Conversely, it also enables us to write quantities invariant under space diffeomorphisms in fully covariant form without the need to introduce new propagating degrees of freedom.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Mimetic Hořava Gravity
Ali H. Chamseddine1,2 , Viatcheslav Mukhanov2,3,4 , Tobias B. Russ2
**
1Physics Department, American University of Beirut, Lebanon
**
2Theoretical Physics, Ludwig Maxmillians University,Theresienstr. 37, 80333 Munich, Germany
**
3MPI for Physics, Foehringer Ring, 6, 80850, Munich, Germany
**
4School of Physics, Korea Institute for Advanced Study, Seoul 02455, Korea
Abstract
We show that the scalar field of mimetic gravity could be used to construct diffeomorphism invariant models that reduce to Hořava gravity in the synchronous gauge. The gradient of the mimetic field provides a timelike unit vector field that allows to define a projection operator of four-dimensional tensors to three-dimensional spatial tensors. Conversely, it also enables us to write quantities invariant under space diffeomorphisms in fully covariant form without the need to introduce new propagating degrees of freedom.
It has been recognized for some time that in order to improve the UV behaviour of the graviton propagator and, thus, the renormalizability of gravity, it is necessary to add higher spatial derivatives to its Lagrangian but no higher time derivatives. Because this seems to contradict the relativistic local Lorentz invariance, it was thought necessary to break the symmetry between space and time. The most notable attempt is the one by Hořava [9], who constructed a model of quantum gravity with explicitly broken Lorentz symmetry, which allowed him to add to the action terms dependent on the spatial Ricci tensor and curvature scalar and their space derivatives (see e.g. [10] and references therein). This is a high price to pay because, although the Hořava model is renormalizable when projected into the product space this property is lost when the model is made covariant by adding one new field [6]. Various attempts were made to keep renormalizability of the models while restoring Lorentz invariance by adding a dynamical scalar or vector [8]. Such models exhibit additional propagating degrees of freedom, which limited their acceptance as a solution to the problem of renormalizability of gravity.
Mimetic gravity was proposed as a way of separating the scale factor from the metric and resulted in reproducing Einstein gravity in addition to half a degree of freedom which could be used to mimic dark matter [1]. The main observation is that one can define the metric tensor in terms of an auxiliary metric by the relation
[TABLE]
where is a scalar field. The metric is invariant under the scale transformation and, as can be easily shown, satisfies the constraint
[TABLE]
governing the evolution of . Thus, instead of introducing the mimetic field through the reparametrization (1), it is easier to consider directly the physical metric together with a constrained scalar field, enforcing (2) through a Lagrange multiplier [2]. This implies that out of the variables and there are only independent fields. In the ADM decomposition of ,
[TABLE]
where is the lapse function, is the shift vector, and is the metric on the spatial 3d hypersurface, the constraint (2) can be solved for in terms of the variables and , yielding
[TABLE]
In the synchronous gauge a solution of (2) is given by
[TABLE]
where is a constant. Since there exists a whole family of synchronous coordinate systems, corresponding to the freedom of choice of an initial hypersurface of constant time, this solution is not unique. On the other hand, can always be used as one particular synchronous time coordinate, fixing a unique slicing that we will use from now on. The timelike unit vector points in this time direction. In particular, we can define the projection operator
[TABLE]
satisfying the relations
[TABLE]
In the synchronous slicing from above we have
[TABLE]
showing that projects space-time vectors to space vectors. It is then clear that in mimetic gravity, using the projection operator and the vector , it is possible to construct four-dimensional tensors whose only non-zero components in the synchronous gauge are along space directions. For example, as we will show in the following, the expression
[TABLE]
coincides with the spatial curvature scalar of synchronous slices.
In previous works we have shown that in mimetic gravity, without the need to introduce any additional fields, we can build cosmological models [3] and solve the singularity problem for Friedmann, Kasner [4] and Black hole [5] solutions by using the idea of limiting curvature. More recently we have shown that the idea of asymptotic freedom can be implemented in mimetic gravity by introducing a dependent effective gravitational constant which vanishes at the limiting curvature [11]. Moreover, it was shown that such a dependence does not introduce higher time derivatives.
The purpose of this letter is to show that within mimetic gravity we can construct all the terms needed in Hořava gravity using four-dimensional tensors that reduce to the desired form in the synchronous gauge. We will thus show that in mimetic gravity it is possible to formulate Hořava gravity in a diffeomorphism invariant way without introducing ghost-like degrees of freedom.
The basic fields that appear in Hořava gravity are the three-dimensional tensors and scalars and their contractions needed to form space diffeomorphism invariant expressions. The extrinsic curvature of the synchronous slices is given by
[TABLE]
where dot denotes derivative and is the metric determinant. Using , it can be expressed covariantly as
[TABLE]
The non-vanishing components of the four-dimensional Riemann tensor are determined by
[TABLE]
where and are the covariant derivative and the Riemann tensor belonging to the metric . With the help of the above identities, we can construct the four-dimensional tensor
[TABLE]
whose only non-zero components are in the synchronous gauge. Next, we compute the Ricci tensor components
[TABLE]
These relations allow us to define the tensor
[TABLE]
whose non-zero components coincide with in the synchronous gauge. Contracting with , we arrive at (9).
We note in passing that the total derivative can be easily eliminated from the Lagrangian of Einstein-Hilbert gravity, leaving us with
[TABLE]
For manifolds with boundary consisting of closed spatial hypersurfaces of constant , this has precisely the same effect as adding the Gibbons-Hawking boundary term.
Space derivatives of the above tensors can be obtained by applying the operator . Note that the spatial components of coincide with in the synchronous gauge. To obtain a purely spatial tensor, one still must project all four-dimensional indices, i.e. one has to use Thus, we can now define the analogue of the three-dimensional Cotton tensor
[TABLE]
by writing
[TABLE]
whose only non-vanishing components in the synchronous gauge are
Another object that could be constructed is the Chern-Simons three form related to the Pontryagin topological invariant
[TABLE]
where and are the Christoffel connection one-form and the curvature two form, respectively. The four-form is not parity invariant. Up to a boundary term, its integral is given by
[TABLE]
This shows that such a contribution to the action is covariant and invariant under global shifts of . In the synchronous gauge the integrand reduces to
[TABLE]
where
[TABLE]
and are the Christoffel symbols calculated for . The term can be written as
[TABLE]
which coincides in the synchronous gauge with
[TABLE]
Thus, the purely three-dimensional Chern-Simons form can be incorporated in the action by adding the term
[TABLE]
All of these manipulations illustrate that any expression invariant under spatial diffeomorphisms can be written as a combination of four-dimensional tensors that reduces to it in the synchronous gauge.
We conclude by writing an exemplary Hořava action in mimetic gravity, in terms of four-dimensional tensors and thus completely preserving diffeomorphism invariance, without the need for new degrees of freedom:
[TABLE]
where . The case where and all other couplings vanish is just a rewritten form of General Relativity with mimetic matter. The constants could also be taken as functions of in such a way as to reproduce General Relativity in the low curvature limit.
There is no need to repeat calculations done for the Hořava models, as those could be thought of as a gauge fixed version of a diffeomorphism invariant theory in the synchronous gauge.
In the projectable Hořava models, the lapse function is assumed to depend on time only, These models coincide with the above family of actions in the synchronous gauge. Their renormalization analysis was carried out in references [6], [7], where they were shown to be renormalizable. When the same analysis was applied to the non-projectable case where the lapse function is , so that terms dependent on the vector can occur, it was found that these models become non-renormalizable. Attempts were made to construct diffeomorphism invariant Hořava models by adding a unit vector field , subject to the hypersurface orthogonality condition These models, however, have a spin-1 and spin-0 degree of freedom in addition to the graviton.
The synchronous gauge belongs to the family of temporal gauge, which for fluctuations of the metric takes the form , where and The main advantage of working in this gauge is that the model proposed above will be power counting renormalizable and that the ghosts associated with gauge fixing will decouple from the physical S-matrix. The disadvantage is the need to have an unambiguous prescription for the unphysical singularities of the form , (cf. [12]) and the difficulty in performing higher loop calculations. It is a challenging problem to perform a detailed analysis of the renormalization program, either in the synchronous gauge or in a covariant gauge, using the background field method and integrating out the mimetic constraint, along the lines of [6]. Even though an actual proof could be quite demanding, we expect the mimetic Hořava model presented here to be renormalizable.
Acknowledgments
The work of A. H. C is supported in part by the National Science Foundation Grant No. Phys-1518371. The work of V.M. and T.B.R. is supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2111 – 390814868.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] A. H. Chamseddine and V. Mukhanov, Mimetic Dark Matter, JHEP 1311 (2013) 135.
- 2[2] A. Golovnev, On the Recently Proposed Mimetic Dark Matter, Phys. Lett. B 728 (2014) 39.
- 3[3] A. H. Chamseddine, V. Mukhanov and A. Vikman, Cosmology with Mimetic Matter, JCAP 1406 (2014) 017.
- 4[4] A. H. Chamseddine and V. Mukhanov, Resolving Cosmological Singularities, JCAP 1703 (2017) 009.
- 5[5] A. H. Chamseddine and V. Mukhanov, Nonsingular Black Hole, Eur. Phys. J. C 77 (2017) 83.
- 6[6] A. Barvinsky, D. Blas, M. Herrero-Valea, S. Sibiryakov and C. Steinwachs, Renormalization of Hořava Gravity, Phys. Rev. D 93 (2016) 064022.
- 7[7] A. Barvinsky, M. Herrero-Valea and S. Sibiryakov, Towards the renormalization group flow of Hořava gravity in ( 3 + 1 ) 3 1 (3+1) dimensions, Phys. Rev. D 100 (2019) 026012.
- 8[8] C. Germani, A. Kehagias and K. Sfetsos, Relativistic Quantum Gravity at a Lifshitz point, JHEP 009 (2009) 060.
