A No-Go Theorem for Rotating Stars of a Perfect Fluid without Radial Motion in Projectable Ho\v{r}ava--Lifshitz Gravity

Ho\v{r}ava--Lifshitz gravity has covariance only under the foliation-preserving diffeomorphism. This implies that the quantities on the constant-time hypersurfaces should be regular. In the original theory, the projectability condition, which strongly restricts the lapse function, is proposed. We assume that a star is filled with a perfect fluid with no-radial motion and that it has reflection symmetry about the equatorial plane. As a result, we find a no-go theorem for stationary and axisymmetric star solutions in projectable Ho\v{r}ava--Lifshitz gravity under the physically reasonable assumptions in the matter sector. Since we do not use the gravitational action to prove it, our result also works out in other projectable theories and applies to not only strong gravitational fields, but also weak gravitational ones.


I. INTRODUCTION
that the energy density is a piecewise-continuous and non-negative function of the pressure and that the pressure at the center is positive. Their result is powerful, because it does not depend on the gravitational action.
To construct star solutions, we have to change at least one of their assumptions for the matter sector, the symmetry of spacetime, the projectability and the invariance under the foliation-preserving diffeomorphism. Greenwald, Papazoglou and Wang found spherically symmetric static solutions, which are filled with a perfect fluid with radial motion and a class of an anisotropic fluid in the projectable Hořava-Lifshitz gravity without the detailed balance condition [30].
It seems that static solutions are too simple to describe realistic stars, which are generally rotational. In this paper, we investigate a stationary and axisymmetric star in projectable Hořava-Lifshitz gravity. We find a no-go theorem that the stationary and axisymmetric star filled with a perfect fluid without radial motion in the reflection symmetry about the equatorial plane does not exist under the physically reasonable conditions on the matter sector. Since we do not use the gravitational action to prove it, our result also works out in other projectable theories [5,32] and applies to not only strong gravitational fields, like neutron stars, but also weak gravitational ones, like planets or moons. Our proof implies another ill behavior of the projectability condition if we follow a principle that stars should be described by stationary solutions of a low-energy effective theory. On the other hand, even if we do not follow this principle, our result would be useful to investigate rotating-star solutions in this theory and then to compare the solutions with the corresponding ones in Einstein gravity for astrophysical tests of this theory. This paper is organized as follows. In Section 2, we shall describe the definitions, the basic equations and the properties of Hořava-Lifshitz gravity. In Section 3, we give the main result that there are no stationary and axisymmetric star solutions with a perfect fluid, which does not have the radial component of the four-velocity under a set of reasonable assumptions in the matter sector. In Section 4, we summarize and discuss our result. In Appendix A, we show the explicit expression for the equation of motion. In Appendix B, we show the triad components of the extrinsic curvature tensor. In this paper, we use the units in which c = 1.

II. PROPERTIES OF HOŘAVA-LIFSHITZ GRAVITY
In this section, we shall describe the definitions, the basic equations and the properties of Hořava-Lifshitz gravity. Hořava-Lifshitz gravity does not have general covariance, since the Lifshitz-type anisotropic scaling treats time and space differently. Instead, this theory is invariant under the foliation-preserving diffeomorphism: This means that the foliation of the spacetime manifold by constant-time hypersurfaces has a physical meaning. Thus, the quantities on the constant-time hypersurfaces, such as the extrinsic curvature tensor and the shift vector, must be regular.
It is useful to describe the line element in the Arnowitt-Deser-Misner (ADM) form [33]: The action proposed by Hořava [1] is given by: where I m is the matter action, R is the Ricci scalar of g ij , R ij is the Ricci tensor of g ij , D i is the covariant derivative compatible with g ij , K ij is the extrinsic curvature of a constant-time hypersurface, defined by: ε ikl = ǫ ikl / √ g is the antisymmetric tensor, which is covariant with respect to g ij , and κ, ω, µ, λ and Λ W are constant parameters. We can rewrite the gravitational action (2.4): where parameters α, β, γ, ζ, η, ξ and σ are given by: If we take λ = 1 to recover the apparent form of general relativity and the apparent Lorentz invariance, we can compare this action to that of general relativity. Then, we obtain: where Λ is the cosmological constant and G is Newton's constant.
Under the infinitesimal coordinate transformation: g ij , N i and N transform as: where L ζ is the Lie derivative along ζ i (t, x). L ζ g ij and L ζ N i are given by: By the variation of the action with respect to N, we get the Hamiltonian constraint: where: and: Here, n µ is defined as: Notice that due to the projectability condition N = N(t), the Hamiltonian constraint is global in Hořava-Lifshitz gravity, while it is local in general relativity.
From the variation of the action with respect to N i , we obtain the momentum constraint: where: By the variation of the action with respect to g ij , we get the equation of motion: where: The explicit expression for the equation of motion is given in Appendix A.
By the invariance of the gravitational action and the matter action under the infinitesimal transformation (2.10), we get the energy conservation: and the momentum conservation: where α represents g or m.
In the next section, we will only use the momentum conservation of the matter to show that no stationary and axisymmetric star solution exists. Therefore, our result does not depend on the gravitational action.

III. NO STATIONARY AND AXISYMMETRIC STAR SOLUTIONS
In this section, we show a no-go theorem for stationary and axisymmetric star solutions in projectable Hořava-Lifshitz gravity. To prove it, we assume that a star is filled with a perfect fluid, which does not have the radial component of the four-velocity, that it has the reflection symmetry about the equatorial plane, that the energy density is a piecewise-continuous and non-negative function of the pressure, that the pressure is a continuous function of r and that the pressure at the center of the star is positive.

A. Stationary and Axisymmetric Configuration
We consider stationary and axisymmetric configurations with the timelike and spacelike Killing vectors, respectively, given by: Under the stationary configurations, the lapse function, N, does not depend on t. In the original theory, the projectability condition N = N(t) is proposed [1]. This condition means that the lapse function, N, does not depend on the spatial coordinates, x i , but only can do so on the temporal coordinate, t. Thus, the lapse function, N, is a constant.
The timelike Killing vector, t µ , implies everywhere: The spacelike Killing vector, φ µ , implies that: is a geometrical invariant.
As a part of the gauge condition, we take: Under this gauge condition, the general form for the spatial line element is described by [34]: where ψ, A, B and ξ are functions of r and θ, but neither t nor φ for stationarity and axisymmetry.
Now we assume that the spacetime has a rotation axis, where sin θ = 0. This means: there [35].

B. Triad Components of Shift Vector
We define triad basis vectors e (i) . e (1) is along the radial direction; e (3) is along the axial Killing vector and e (2) is fixed by the orthonormality and the right-hand rule. The coordinate components for the orthonormal triad are: where we have used the spatial line element (3.6). The projection of the shift vector on the triad is related to its coordinate components by:

C. Regularity Conditions at the Origin
Here, we give the regularity conditions of the shift vector, N i , near the origin. A tensorial quantity is regular at r = 0 if and only if all its components can be expanded in non-negative integer powers of x, y and z in locally Cartesian coordinates, defined by: x ≡ r sin θ cos φ (3.14) The Lie derivative of the shift vector, N i , along the spacelike Killing vector vanishes, or: In locally Cartesian coordinates, the spacelike Killing vector is written as: Then, its components of Equation (3.17) are: The general regular solution of these equations is: where F 1 , F 2 and F 3 are independent and regular functions, which depend on z and ρ 2 ≡ Now, transforming N i back to the spherical coordinates, r, θ and φ, we get the spherical components: On the rotation axis (sin θ = 0), thus, we obtain: Here, we additionally assume the reflection symmetry about the equatorial plane z = 0 or θ = π/2. Then, N x and N y must be even functions of z, and N z must be an odd function of z. This implies that F 1 , F 2 must be even functions of z, and F 3 must be an odd function of z. Since N r is an odd function of z on the rotation axis (sin θ = 0), we get: at the origin.

D. Matter Sector and Momentum Conservation
For simplicity, we assume that the matter consists of a perfect fluid. The stress-energy tensor is given by: T µν = (ρ + P )u µ u ν + P g µν (3.33) where P and ρ represent the pressure and the energy density, respectively. We assume the four-velocity given by: where: is the normalization factor and ω is a function of r and θ. For the four-velocity, u µ , to be timelike, we shall have We set α = m, and then, the momentum conservation equation (2.28) of the matter becomes: After some calculation, we obtain the r component: Now, we use the projectability condition N = N(t). As we mentioned above, the projectability condition means that the lapse function, N, does not depend on the spatial coordinates, x i , but only can do on the temporal coordinate, t. Thus, the r component of the momentum conservation equation (3.37) becomes: We do not use the θ and φ components to prove that no stationary and axisymmetric star exists.
Here, we concentrate on the r component of the momentum conservation of the matter on the rotation axis sin θ = 0. On the rotation axis, g φφ and g φφ,r vanish from Equation

E. Contradiction of Momentum Conservation
We assume that the star has the reflection symmetry about the equatorial plane θ = π 2 , that the energy density, ρ, is a piecewise-continuous and non-negative function of the pressure, P , that the pressure, P is a continuous function of r and that the pressure at the center of the star P c ≡ P (r = 0) is positive. Thus, ρ + P is a piecewise-continuous function of r. We have assumed that the energy density, ρ, is non-negative everywhere and that the pressure at the center, P c , is positive; hence, ρ + P is positive at the center. We define r s as the minimal value of r for which at least one of (ρ + P )| r=rs , lim r→rs−0 (ρ + P ) and lim r→rs+0 (ρ + P ) is nonpositive.
Dividing the momentum conservation equation (3.40) by 1 2 (ρ + P ), we have: Under the assumption that the energy density is a function of the pressure, ρ = ρ(P ), integrating the momentum conservation equation (3.41) over the interval 0 ≤ r < r s , we obtain: where P s ≡ P (r = r s ).
The definition of r s implies that at least one of (ρ + P )| r=rs , lim r→rs−0 (ρ + P ) and lim r→rs+0 (ρ + P ) is nonpositive. Since we have assumed that P (r) is a continuous function and that ρ is non-negative everywhere, P s = lim r→rs−0 P = lim r→rs+0 P is non-positive.
Thus, we get: This implies that the right-hand side of Equation and we obtain from Equations (3.28), (3.32) and (3.39): at the center of the star. This contradicts that the right-hand side of Equation (3.42) is positive.

IV. DISCUSSION AND CONCLUSIONS
Hořava-Lifshitz gravity is only covariant under the foliation-preserving diffeomorphism.
This means that the foliation of the spacetime manifold by the constant-time hypersurfaces has a physical meaning. As a result, the regularity condition at the center of a star is more restrictive than the one in a theory that has general covariance.
Under the assumption that a star is filled with a perfect fluid that has no radial motion, that it has reflection symmetry about the equatorial plane and that the matter sector obeys the physically reasonable conditions, we have shown that the momentum conservation is incompatible with the projectability condition and the regularity condition at the center for stationary and axisymmetric configurations. Since we have not used the gravitational action to prove it, our result is also true in other projectable theories [5,32]. Note that our result is true under not only strong-gravity circumstances, like neutron stars, but also weakgravity ones, like planets or moons. However, it is not certain that star solutions can exist in non-projectable theories. Since we have used the covariance under the foliation-preserving diffeomorphism, the projectability condition and the assumptions of the matter sector to prove the no-go theorem for stationary and axisymmetric stars, our proof will not apply if we do not assume all the above.
Izumi and Mukohyama found that no spherically symmetric and static solution filled with a perfect fluid without radial motion exists in this theory under the assumption that the energy density is a piecewise-continuous and non-negative function of the pressure and that the pressure at the center is positive [29]. They concluded that a spherically symmetric star should include a time-dependent region near the center. Although we cannot deny that stars should be described by dynamical configurations, the fact that we cannot find simple stationary and axisymmetric star solutions with the four-velocity generated by the Killing vectors will be an unattractive feature of this theory.
Greenwald, Papazoglou and Wang found static spherically symmetric solutions with a perfect fluid plus a heat flow along the radial direction and with a class of an anisotropic fluid under the assumption that the spatial curvature is constant in a projectable theory without the detailed balance condition [30], although it is doubtful that the constant-spatialcurvature solutions represent realistic stars. This, however, implies that rotating star solutions with a perfect fluid plus a radial heat flow and with an anisotropic fluid can also exist.
We might get star solutions by introducing an exotic matter with a negative pressure, but it seems that the physical justification to introduce it is difficult.
Our result does not imply the non-existence of rotation star solutions in this theory.
However, it would be useful to investigate rotating-star solutions in this theory and then to compare the solutions with the corresponding ones in Einstein gravity for astrophysical tests of this theory. Furthermore, although we do not disprove the existence of rotation star solutions with radial motion, it is doubtful whether such star solutions describe realistic astrophysical stars.
Recently, the property of matter in the non-projectable version of the extended Hořava-Lifshitz gravity [28] at both classical and quantum levels has been investigated by Kimpton and Padilla [36]. Although the gravity sector in Hořava-Lifshitz has been investigated eagerly, the matter sector has not, relatively. It is left as future work to answer the question of whether or not the no-go theorem applies at a quantum level.
In this theory, the triad components of the extrinsic curvature tensor also should be regular. The Lie derivative of g ij along N i is: The extrinsic curvature tensor (2.5) and (B1) yield: where: By projecting Equation (B2) onto the triad (3.8)-(3.10), we obtain the following equations [34]: where: