Classical Weyl Transverse Gravity

We study various classical aspects of the Weyl transverse (WTDiff) gravity in a general space-time dimension. First of all, we clarify a classical equivalence among three kinds of gravitational theories, those are, the conformally-invariant scalar tensor gravity, Einstein's general relativity and the WTDiff gravity via the gauge fixing procedure. Secondly, we show that in the WTDiff gravity the cosmological constant is a mere integration constant as in unimodular gravity, but it does not receive any radiative corrections unlike the unimodular gravity. A key point in this proof is to construct a covariantly conserved energy-momentum tensor, which is achieved on the basis of this equivalence relation. Thirdly, we demonstrate that the Noether current for the Weyl transformation is identically vanishing, thereby implying that the Weyl symmetry existing in both the conformally-invariant scalar tensor gravity and the WTDiff gravity is a"fake"symmetry. We find it possible to extend this proof to all matter fields, i.e. the Weyl invariant scalar, vector and spinor fields. Fourthly, it is explicitly shown that in the WTDiff gravity the Schwarzshild black hole metric and a charged black hole one are classical solutions to the equations of motion only when they are expressed in the Cartesian coordinate system. Finally, we consider the Friedmann-Lemaitre-Robertson-Walker (FLRW) cosmology and provide some exact solutions.


Introduction
The physical importance of Weyl (local conformal) symmetry has not been clearly established in quantum gravity thus far. It is usually believed that if the energy scale under consideration goes up to the Planck mass scale, all elementary particles, which are either massive or massless at the low Dedicated to the memory of Mario Tonin. a e-mail: ioda@phys.u-ryukyu.ac.jp energy scale, could be regarded as almost massless particles where the Weyl symmetry would become a gauge symmetry and play an important role. However, it is true that a concrete implementation of the Weyl symmetry as a plausible gauge symmetry in quantum gravity encounters a lot of difficulties. For instance, if one requires an exact Weyl symmetry to be realized in gravitational theories at the classical level, only two candidate theories are deserved to be studied though they possess some defects in their own right. The one theory is the conformal gravity, for which the action is described in terms of the square term of the conformal tensor. The conformal gravity belongs to a class of higher derivative gravities so that it suffers from a serious problem, i.e. violation of the unitarity because of the emergence of massive ghosts, although it has an attractive feature as a renormalizable theory [1,2].
The other plausible candidate as a gravitational theory with the Weyl symmetry, which we consider in this article intensively, is the conformally invariant scalar-tensor gravity [3,4]. In this theory, a (ghost-like) scalar field is introduced in such a way that it couples to the scalar curvature in a conformally invariant manner. Even if this theory is a unitary theory owing to the presence of only second-order derivative terms, it suffers from a sort of triviality problem in the sense that when we take a suitable gauge condition for the Weyl symmetry (we take the scalar field to be a constant), the action of the conformally invariant scalar-tensor gravity reduces to the Einstein-Hilbert action of Einstein's general relativity. It is therefore unclear to make use of the conformally invariant scalar-tensor gravity as an alternative theory of general relativity. Of course, the conformally invariant scalar-tensor gravity is not a renormalizable theory like general relativity.
One reason why we would like to consider a gravitational theory with the Weyl symmetry stems from the cosmological constant problem [5], which is one of the most difficult problems in modern theoretical physics. The Weyl symmetry forbids the appearance of operators of dimension zero such as the cosmological constant in the action so it is expected that the Weyl symmetry might play an important role in the cosmological constant problem [6]. In this respect, a difficulty is that the Weyl symmetry is broken by quantum effects and its violation emerges as a trace anomaly of the energymomentum tensor [7,8]. Thus, the idea such that one utilizes the Weyl symmetry as a resolution of the cosmological constant problem makes no sense at the quantum level even if it is an intriguing idea at the classical level.
Here a naive but natural question arises: Is the Weyl symmetry always violated by radiative corrections? We think that it is not always so. What kind of the Weyl symmetry is not broken? In a pioneering work by Englert et al. [9], it has been clarified that the conformally invariant scalar-tensor gravity coupled to various matter fields is free of Weyl anomaly when the Weyl symmetry is spontaneously broken. This fact has been investigated and certified by subsequent papers [10][11][12][13][14][15][16][17][18]. Related to this work, in this article, we wish to put forward a new conjecture that the Weyl symmetry is not violated by radiative corrections if it is a fake Weyl symmetry and it is spontaneously broken. Here the word "fake" means that the corresponding Noether currents [19] vanish identically [6,20].
If our conjecture were really valid, we could have recourse to the Weyl symmetry as a resolution to the cosmological constant problem as follows: start with the conformally invariant scalar-tensor gravity, and gauge-fix the longitudinal diffeomorphism instead of the Weyl symmetry, by which the ghostlike scalar field can be removed from the physical spectrum, so that the unitarity issue does not occur. Consequently, we obtain the Weyl-invariant and transverse diffeomorphismsinvariant gravitational theory. We then find that the remaining Weyl symmetry is a fake symmetry, so it is not violated by quantum corrections according to our conjecture. By a detailed analysis, it turns out that this gravitational theory, which we call Weyl transverse (WTDiff) gravity [21][22][23][24][25][26][27], has a remarkable feature that the equations of motion can be rewritten to the same form as the standard Einstein's equations where the cosmological constant emerges as an integration constant as in unimodular gravity. In the unimodular gravity [28][29][30][31][32][33][34][35][36][37][38][39][40][41][42][43][44], the unimodular condition is implemented by using the Lagrange multiplier field, which plays a role as the cosmological constant and receives huge radiative corrections, so the cosmological constant problem is not solved. On the other hand, in the WTDiff gravity, there is no constraint like the unimodular condition and the unbroken Weyl symmetry severely prohibits the appearance of the cosmological constant. Hence, our conjecture would insist that in the WTDiff gravity, the cosmological constant problem is reduced to a mere problem of how to fix the initial value of the cosmological constant, which is an important first step for a resolution of the cosmological constant problem though we still have the new problem of how to fix its initial value. This paper is organised as follows: In Sect. 2, we clarify the equivalence relation among three kinds of gravitational theories, i.e. the conformally invariant scalar tensor gravity, Einstein's general relativity and the WTDiff gravity via the gauge-fixing procedure. This equivalence makes it possible to construct a covariantly conserved energy-momentum tensor and prove that the equations of motions in the WTDiff gravity can be transformed to the Einstein equations of general relativity. The possibility of making such an energymomentum tensor comes from the fact that the underlying theory behind the WTDiff gravity is the conformally invariant scalar-tensor gravity which is generally covariant.
In Sect. 3, we show that the Noether current for the Weyl transformation is identically vanishing, thereby implying that the Weyl symmetry existing in both the conformally invariant scalar tensor gravity and the WTDiff gravity is a "fake" symmetry. It is shown that it is possible to apply this proof for all the Weyl-invariant matter fields. It is explicitly shown in Sects. 4 and 5 that in the WTDiff gravity the Schwarzschild black hole metric and the charged black hole one are classical solutions to the equations of motion only when they are expressed in the Cartesian coordinate system. In Sect. 6, we consider the Friedmann-Lemaitre-Robertson-Walker (FLRW) cosmology and provide an exact solution. The final section is devoted to discussions. Our notation and conventions are summarized in Appendix A. From Appendix B to D, some proof and the details of calculations are presented.

Equivalence among three gravitational theories
We will start by recalling the well-known recipe for obtaining the conformally invariant scalar-tensor gravity from the Einstein-Hilbert action of general relativity. The Einstein-Hilbert action is of form in a general n space-time dimension (we assume n = 2 in this article). 1 whereĝ μν is a metric tensor. (The "hat" symbol is put for later convenience.) To let this action have the Weyl (local conformal) symmetry, one introduces a scalar field ϕ and supposes that the metric tensorĝ μν is composed of the scalar field ϕ and a new metric field g μν aŝ The key observation is that the metric tensorĝ μν is invariant under the following Weyl transformation: where (x) is a scalar parameter. Next, substituting (2) into the Einstein-Hilbert action (1) produces an action for the conformally invariant scalar-tensor gravity 2 Note that the scalar field ϕ is not normal but ghost-like owing to the positive coefficient 1 2 , but it is not a problem since the dynamical degree of freedom associated with ϕ can be nullified by taking a gauge condition.
This recipe for introducing the Weyl symmetry to a theory suggests that the Weyl symmetry obtained in this way might be a fake symmetry and the scalar field ϕ be a spurion field [20]. Indeed, as shown later, the Noether current for the Weyl symmetry is identically vanishing for both local and global Weyl transformations [6,20]. The physical property and the importance of this fake Weyl symmetry will also be discussed later in dealing with the Noether currents. Now let us invert the order of the above argument and this time start with the conformally invariant scalar-tensor gravity (4). It is easy to see that the gauge condition for the Weyl symmetry transforms the action (4) of the conformally invariant scalartensor gravity into the Einstein-Hilbert action (1) of general relativity (without the hat symbol). An interesting gauge condition not for the Weyl symmetry but for the longitudinal diffeomorphism is given by where we have defined |g| = −g because of g < 0. Here let us examine this gauge condition (6) more closely. Under the Weyl transformation (3), the RHS of Eq. (6) is transformed as which is the same transformation property as ϕ under the Weyl transformation as seen in (3). Thus, the gauge condition (6) does not break the Weyl symmetry. Instead, the gauge condition (6) does break the longitudinal diffeomorphism as explained in what follows: First, notice that with the gauge condition (6) the metric tensor (2) readŝ Taking the determinant of this metric reveals us thatĝ μν is the unimodular metric satisfying the unimodular condition 2 See Refs. [45][46][47][48] for various applications of this action.
Given the unimodular condition (9), any variation of the unimodular metric gives rise to an equation When one restricts the variation to be diffeomorphisms with∇ μ and ξ μ being the covariant derivative with respect to the metric tensorĝ μν and an infinitesimal parameter, respectively, Eq. (10) yields where we have used which comes from the unimodular condition (9). Equation (12) implies that the full group of diffeomorphisms (Diff) is broken down to the transverse diffeomorphisms (TDiff), 3 thereby showing that the gauge condition (6) certainly breaks the longitudinal diffeomorphism.
Inserting the gauge condition (6) to the action of the conformally invariant scalar-tensor gravity (4), one arrives at an action of the Weyl transverse (WTDiff) gravity It is straightforward to derive the equations of motion from this action. The detailed calculation is presented in Appendix C by means of two different methods. Then the equations of motion read where the energy-momentum tensor T (g)μν is defined as with ∇ μ ∇ ν |g| = ∂ μ ∂ ν |g| − ρ μν ∂ ρ |g|. Note that Eq. (15) is purely the traceless part of the standard Einstein equations. By an explicit calculation, it is possible to verify that the action (14) and the equations of motion (15) are invariant under the Weyl transformation (3) and the transverse group of diffeomorphisms. The proof is given in Appendix B.
The most important point associated with this energymomentum tensor (16) is that it is not covariantly conserved This is because the WTDiff gravity action (14) is not invariant under the full group of diffeomorphisms but only its subgroup, that is, the transverse diffeomorphisms (TDiff). However, our starting action (4) of the conformally invariant scalar-tensor gravity is generally covariant, so it should be possible to find an alternative energy-momentum tensor which is covariantly conserved (see Appendix D).
To find the desired energy-momentum tensor, let us begin by deriving the equations of motion of the conformally invariant scalar-tensor gravity (4). The equations of motion for the metric tensor g μν and the scalar field ϕ are, respectively, given by and where G μν = R μν − 1 2 g μν R is the Einstein tensor and ϕ = g μν ∇ μ ∇ ν ϕ. Equation (19) is the equation of motion for the spurion field ϕ so it is not an independent equation. Actually, taking the trace part of Eq. (18) naturally leads to Eq. (19). Thus, it is sufficient to take only the equations of motion (18) into consideration.
Next, we will rewrite (18) as where we have defined a new energy-momentum tensor T μν . Since the Einstein tensor G μν satisfies the Bianchi, identity the new energy-momentum T μν should satisfy the covariant conservation law Finally, substituting the gauge condition (6) into T μν , one has Note that the existence of the extra terms except T (g)μν makes it possible to hold the covariant conservation law (22). Indeed, it is straightforward to check that this energymomentum tensor (23) satisfies the covariant conservation law (22) by a direct calculation. Another indirect but easy proof is to consider the conservation law (22) in the local Lorentz frame where g μν = η μν and ∂ ρ g μν = 0. Then we can explicitly check that which implies the conservation law (22) in a curved spacetime.
One remarkable feature of this energy-momentum tensor T μν is that there exists a nontrivial relation between T μν and T (g)μν which stems from the fact that the actions of both the conformally invariant scalar-tensor gravity and the WTDiff gravity are invariant under the Weyl transformation. It is worthwhile to stress that our findings (23) critically depend on the classical equivalence between the conformally invariant scalartensor gravity and the WTDiff gravity. In other words, without this equivalence, it would be difficult, if not impossible, to construct the covariantly conserved energy-momentum tensor (23) which also satisfies the important relation (25). Now we are ready to show that the equations of motion of the WTDiff gravity, Eq. (15), reproduce the standard Einstein equations. To this aim, using Eq. (25), let us first replace the RHS in Eq. (15) with its covariantly conserved counterpart Taking the covariant derivative of this equation, and using the Bianchi identity (21) and the covariant conservation law (22), one obtains This equation says that R + 2 n−2 T is a constant, which we will call 2n n−2 , Eliminating T from Eq. (26) in terms of Eq. (28), one can reach the standard Einstein equations Although we have obtained the Einstein equations from the equations of motion of the WTDiff gravity in this way, the cosmological constant emerges as a mere integration constant and has nothing to do with any terms in the action or vacuum fluctuations. To put it differently, Eq. (26) does not include the cosmological constant and the contribution from radiative corrections to the cosmological constant cancels in the RHS of Eq. (26), thereby guaranteeing the stability of the cosmological constant against quantum corrections.
This feature of the emergence of the cosmological constant as an integration constant is a common feature of the WTDiff gravity and the unimodular gravity [28][29][30][31][32][33][34][35][36][37][38][39][40][41][42][43][44]. However, there is an important difference between the two theories. In the unimodular gravity, from the viewpoint of quantum field theories, the unimodular condition must be properly implemented via the Lagrange multiplier field, which turns out to correspond to the cosmological constant in the unimodular gravity, thereby rendering its initial value radiatively unstable. In this sense, the cosmological constant problem cannot be solved within the framework of the unimodular gravity.
On the other hand, in the WTDiff gravity, there is no constraint like the unimodular condition and the fake Weyl symmetry is expected to forbid operators of dimension zero such as the cosmological constant. Moreover, we have a plausible conjecture such that the fake Weyl symmetry might never be violated by quantum effects, that is, no Weyl anomaly, owing to its "fakeness". In other words, the fake Weyl symmetry could survive even at the quantum level, by which suppressing the radiative corrections to the cosmological constant. If our conjecture were true, the cosmological constant problem would amount to be a mere problem of how to fix the integration constant . From this point of view, we should clarify quantum aspects of the WTDiff gravity in the future.

Fake Weyl symmetry
In our previous article [6], motivated with the article [20] we have studied Weyl symmetry (local conformal symmetry) in the WTDiff gravity and the conformally invariant scalartensor gravity in four space-time dimensions, and we have shown that the Noether currents for both the local and the global Weyl symmetries are identically vanishing. In this sense, the Weyl symmetry existing in the WTDiff gravity and the conformally invariant scalar-tensor gravity is called a "fake" Weyl symmetry. In this section, we will generalize this study to not only an arbitrary space-time dimension but also all matter fields involving scalar, vector and spinor fields.

Gravity
Let us start with a gravitational sector and consider the action of the WTDiff gravity, Eq. (14). Here it is more convenient to work with the Lagrangian density than the action itself, which is invariant under the Weyl transformation up to a surface term as shown in Appendix B. Now we wish to calculate the Noether current for Weyl symmetry by using the Noether procedure [19]. We will closely follow the line of arguments in Ref. [20]. The general variation of the Lagrangian density (30) reads In this expression, let us note that the Lagrangian density under consideration includes second-order derivatives of g μν in the scalar curvature R. Setting (x) = e − (x) , the infinitesimal variation δL under the Weyl transformation (3) is given by where X μ 1 is defined as Next, using the equations of motion the variation δL in (31) can be cast into the form where K μ 1 is defined as Using this formula, an explicit calculation yields thereby giving us the result that the Noether current for the Weyl symmetry vanishes identically Incidentally, let us note that both the expressions X are gauge invariant under the Weyl transformation as seen in Eq. (33). This fact will be utilized later.
As an alternative derivation of the same result, one can also appeal to a more conventional method where the Lagrangian density in (30) does not explicitly involve second-order derivatives of g μν in the curvature scalar R. To do so, one makes use of the following well-known formula, which holds in general space-time dimensions: When one writes the scalar curvature the formula takes the form [49] where one has defined the following quantities: Here let us note that R 2 is free of second-order derivatives of g μν , which are now involved in the term including A μ . Using this formula, we can rewrite the Lagrangian density (30) to the form where L 0 is defined as We are now ready to show that the Noether current for the Weyl symmetry is also zero by the more conventional method. First of all, let us observe that the variation of L under the Weyl transformation (3) comes from only the total derivative term The total derivative terms are irrelevant to dynamics so in what follows let us focus our attention only on the Lagrangian L 0 , which is free of second-order derivatives of g μν . Second, by an explicit calculation we find that the Lagrangian L 0 is invariant under the Weyl transformation without any surface term Finally, applying the Noether theorem [19] for L 0 , we can derive the following result: Hence, the Noether current for the Weyl symmetry identically vanishes as before, At this stage, we should refer to an ambiguity associated with the Noether currents for local Weyl symmetry. Our calculation in this section is based on the first Noether theorem, which is applicable for global symmetries, and the second theorem, which can be applied to local (gauge) symmetries. Of course, the latter case includes the former one as a special case, and the two Noether theorems give the same result such that the Noether currents are identically vanishing. However, we should recall the well-known fact that the Noether currents for local (gauge) symmetries always reduce to superpotentials, which give us some ambiguity. Thus, the more reliable statement, which is obtained from our calculation at hand, is that the global Weyl symmetry has a vanishing Noether current, and hence neither charge nor symmetry generator.
Next, we shall provide a simpler proof that the Noether current for the Weyl symmetry in both the conformally invariant scalar-tensor gravity and the WTDiff gravity vanishes. This proof is based on the observation that via the metric (2) and the gauge condition (6), the two theories become equivalent, and the Noether currents are gauge-invariant quantities. For simplicity, we will consider the action which includes only first-order derivatives of the metric tensor g μν .
As the starting action, we will take the action (4) of the conformally invariant scalar-tensor gravity. As in the case of the WTDiff gravity, this action can be rewritten in the first-order derivative form where L 3 is defined by The total derivative term in S plays no role in bulk dynamics, so we will henceforth pay our attention to L 3 . It is easy to show that L 3 is invariant under the Weyl transformation without a surface term, which gives us Then the Noether theorem [19] provides us with Here we would like to give a simpler proof of K μ 3 = 0 without much calculations. The key observation for this proof is to recall that three kinds of gravitational theories are related to each other by a Weyl-invariant metric (2), from which, taking the differentiation, we can derive an equation Using this equation, one finds that From Eq. (53), Eq. (51) produces the expected result, As a result, the Noether current for the Weyl symmetry is vanishing This is our simpler proof of the vanishing Noether current for the Weyl symmetry in the conformally invariant scalartensor gravity. Since the current is gauge invariant, our proof can be directly applied to any conformally invariant gravitational theories such as the WTDiff gravity obtained via the trick (2) and the gauge condition (6). From our simple proof, we can also explain why the Weyl symmetry existing in both the conformally invariant scalar-tensor gravity and the WTDiff gravity is identically vanishing. It has been already shown in the previous section that these two gravitational theories are equivalent to general relativity, and the Noether currents for the Weyl symmetry are Weyl-invariant quantities. Since there is no Weyl symmetry in general relativity, the Noether current for the Weyl symmetry should be trivially zero in general relativity. The equivalence among the three theories and gauge invariance of the Noether currents naturally lead to a conclusion that the Weyl currents in the conformally invariant scalar-tensor gravity and the WTDiff gravity should be vanishing as well.
So far, we have confined our attention to only the gravitational sector. Since there are plenty of matters around us, it is natural to ask if effects of matter fields could change our conclusion or not. In the following subsections, we will show that the introduction of conformal matters does not modify the fact that the Weyl current vanishes.

Scalar field
First, let us turn our attention to a real scalar field φ in an n-dimensional curved space-time. The action is consisted of a kinetic term and a potential V (φ) Note that this action is manifestly invariant under the full group of diffeomorphisms (Diff). Under the Weyl transformation, the scalar field φ has the same transformation law as the spurion field ϕ, The trick to enlarge gauge symmetries from Diff to WDiff is now to make a Weyl-invariant scalar fieldφ = ϕ −1 φ in addition to the Weyl-invariant metric (2), and then replace the metric and the scalar field in the action (56) by the corresponding Weyl-invariant objects. As a result, a WDiffinvariant scalar action takes the form We shall calculate the Noether current for Weyl symmetry by the two different methods. One method, which is called the WDiff method, is to calculate the current in the WDiffinvariant action without gauge-fixing the Weyl symmetry like the conformally invariant scalar-tensor gravity. The other method, which is called the WTDiff method, is to gaugefix the longitudinal diffeomorphism by the gauge condition (6), by which the WDiff-invariant action is reduced to the WTDiff-invariant one, and then calculate the Noether current for the Weyl symmetry like the WTDiff gravity. The Weyl current is a gauge-invariant quantity, so the two methods should provide the same result.
First, let us calculate the Noether current for the Weyl symmetry on the basis of the WDiff matter action (58). It is easy to see that the action (58) is invariant under the Weyl transformation without a surface term, so we have Again, the Noether theorem [19] yields Next, the Weyl-invariant combinations (2) andφ = ϕ −1 φ give us the relations (61) Using these relations (61), K μ φ in (60) becomes zero, The Noether current for the Weyl symmetry is therefore vanishing This is a general result and even after gauge-fixing the longitudinal diffeomorphism this result should be valid since the Weyl current is gauge invariant under the Weyl transformation. Indeed, this is so by calculating the Weyl current in WTDiff scalar action below. Now let us take the gauge condition (6) for the longitudinal diffeomorphism, which does not break the local Weyl symmetry. Inserting the gauge condition (6) to the WDiffinvariant scalar action (58) leads to the WTDiff-invariant scalar action Since the action (64) is invariant under the Weyl transformation without a surface term, we have The Noether theorem [19] gives us the formula It is useful to evaluate each term in (66) separately to see its gauge invariance. In fact, the result is given by As promised, each term is manifestly gauge invariant under the Weyl transformation, since it is expressed in terms of only gauge-invariant quantities. Adding the two terms in (67), we have Thus, the Noether current for the Weyl symmetry in the WTDiff method is certainly vanishing, The two results in (63) and (69) clearly account for that the Noether current for the Weyl symmetry is vanishing in both the WDiff-invariant scalar action and the WTDiff-invariant one.

Vector field
Next, we will move on to spin 1 abelian gauge field, that is, the electro-magnetic field. It is well known that the Maxwell action for the electro-magnetic field is invariant in only four space-time dimensions, but not so in an arbitrary space-time dimension. It is therefore necessary to extend the Maxwell action in four dimensions in such a way it is also invariant under the Weyl transformation in general dimensions. We are now accustomed to the recipe for accomplishing this work: Start with a Diff-invariant action and then replace all fields with the corresponding Weyl-invariant fields, by which we have the WDiff-invariant action. Furthermore, the WTDiffinvariant action is obtained by selecting the gauge condition (6) for the longitudinal diffeomorphism. According to this recipe, let us start with the conventional Maxwell action which is invariant under Diff in n space-time dimensions: where F μν = ∂ μ A ν − ∂ ν A μ . The Weyl transformation for the vector field is defined as usual Then the WDiff-invariant action readŝ and the WTDiff-invariant action takes the form Based on these actions, it is again easy to evaluate the Noether current associated with the Weyl symmetry by the two methods. For instance, in the WTDiff method, since the WTDiff-invariant action is invariant without a surface term, we have The Noether theorem [19] again produces the formula where is the infinitesimal parameter for the Weyl trans- Hence, we have the vanishing Noether current It is straightforward to derive the same result on the basis of the WDiff-invariant action (72).

Spinor field
Finally, as one of matter fields, let us consider the Dirac spinor field. It is well known that in general n space-time dimensions, the action for massless Dirac spinor fields is invariant under the Weyl transformation [9]. We find it useful to recall the symmetry properties of the Dirac action whose Lagrangian density is 4 where e = det e aμ , D = γ μ D μ , and in the last equality we have used the integration by parts. In case of the massless Dirac field (m = 0), in general n space-time dimensions, the action d n xL ψ is invariant under the following Weyl transformation: In the presence of the scalar field ϕ, we can make even the mass term invariant under the Weyl transformation. To do so, as before, it is sufficient to introduce the Weyl-invariant 4 See Appendix A.2 for notation and some definitions related to spinors. fields and then replace each field in the Lagrangian (78) by the corresponding Weyl-invariant field. The Weyl-invariant fields are given bŷ By replacing each field with the corresponding Weylinvariant one in Eq. (78), we have the Weyl-invariant massive Dirac Lagrangian densityL ψ , Let us note that the first term has the same expression as before since the massless Dirac Lagrangian density is invariant under the Weyl transformation. The action d n xL ψ is invariant under both the Weyl transformation and the full group of Diff. To reduce the symmetries from WDiff to WTDiff, we will take the gauge condition (6) for the longitudinal diffeomorphism. The resulting Lagrangian density readŝ The Noether current for the Weyl symmetry should be calculated by using either action since the current is a gaugeinvariant quantity. We will use the Lagrangian density (82), which is invariant under the Weyl transformation without surface terms, i.e.
The Noether theorem gives us the expression where we have used the right-derivative notation with respect to the spinor field and the second-order formalism of gravity, that is, the spin connection has been regarded as a function of the vielbein. A straightforward calculation of each term in (84) yields both of which are gauge invariant as expected. Therefore, we have Accordingly, even in this case, we have the identically vanishing Noether current To close this section, we should comment on the trace or Weyl (conformal) anomaly. It is well known that in a curved space-time, certain matter fields, such as the electro-magnetic field in four dimensions and massless Dirac fields in any dimensions, exhibit Weyl (local conformal) invariance at the classical level as mentioned above. Weyl invariance of the action implies that the trace of the energy-momentum tensor is zero. We are also familiar with the fact that a theory based on a classical action which is Weyl invariant in general loses its Weyl invariance in the quantum theory as a result of renormalization, i.e. owing to the existence of the renormalization scale. The energy-momentum tensor therefore acquires a non-zero trace, known as the trace or Weyl (conformal) anomaly [7,8].
However, this well-known result does not generally hold in the present formalism where there is the spurion field ϕ. In our formalism, we keep the situation in mind such that the conformally invariant scalar-tensor gravity coexists with the various conformally invariant matter fields. In this situation, the spurion field ϕ is assumed to be broken spontaneously ϕ = ϕ + σ where the massless "meson" σ is the Goldstone boson restoring conformal symmetry, even if there is no potential for triggering the spontaneous symmetry breakdown. Note that σ = 0 corresponds to the "unitary gauge" leading to general relativity or the WTDiff gravity depending on the choice of ϕ . The key idea is that we can use the vacuum expectation value of the spurion field, ϕ , as the renormalization scale instead of the conventional fixed renormalization scale μ [9][10][11][12][13][14][15][16][17][18]. With this idea, we have a conformally invariant effective potential without trace anomaly and the coupling constants still run with the momentum scale [15].

Schwarzschild solution
In this section, we wish to show that the Schwarzschild metric is a classical solution to the equations of motion of the WTDiff gravity, Eq. (15), or equivalently Eq. (26). Before doing so, we soon realize that a notable feature of Eq. (15) is that the traceless Einstein tensor defined as G T μν = R μν − 1 n g μν R in the LHS has a beautiful geometrical structure, whereas the traceless energy-momentum tensor T T (g)μν = T (g)μν − 1 n g μν T (g) in the RHS has a complicated expression, and the presence of the metric determinant g and its derivative ∇ μ ∇ ν |g| reflects the fact that the equations of motion are not invariant under Diff, but only TDiff. It is therefore natural to fix the Weyl symmetry first by the gauge condition which is nothing but the unimodular condition (9). Since the traceless energy-momentum tensor in the RHS of Eq. (15) trivially vanishes, the resultant equations of motion read The space-time defined by Eq. (89) is called an Einstein space in four dimensions. The Riemannian spaces which are conformally related to Einstein spaces have been addressed for a long time [50]. Now we wish to show that the Schwarzschild metric in the Cartesian coordinate system is a classical solution to the equations of motion (89). For this purpose, we will look for a gravitational field outside an isolated, static, spherically symmetric object with mass M. In the far region from the isolated object, we assume that the metric tensor is in an asymptotically Lorentzian form, where η μν is the Minkowski metric, and the radial coordinate r is defined as with i running over spatial coordinates (i = 1, 2, . . . , n − 1). Let us recall that the most spherically symmetric line element in n space-time dimensions reads where A(r ) and C(r ) are positive functions depending on only r . Requiring the invariance under the time reversal t → −t leads to D = 0. As is well known, we can set C(r ) = 1 by redefining the radial coordinate r [51]. Thus, the line element under consideration takes the form in the Cartesian coordinate system From this line element (93), the non-vanishing components of the metric tensor are given by and the components of its inverse matrix are Moreover, using these components of the metric tensor, the affine connection is calculated to be where the prime denotes the differentiation with respect to r , for instance, A = d A dr . Here let us take the gauge condition (88) for the Weyl transformation into consideration. By means of the metric tensor (94), the gauge condition (88) is cast into the form Using this gauge condition (97) and Eqs. (94)-(96), the Ricci tensor and the scalar curvature can easily be calculated to be These results produce the concrete expressions for the nonvanishing components of the traceless Einstein tensor G T μν ≡ R μν − 1 n g μν R, Consequently, Eq. (89) reduces to the equation Noticing that the LHS of Eq. (100) can be rewritten as Eq. (100) is easily solved to be where M and a are integration constants. From the boundary condition (90), we have to choose a = 0, and we can obtain the expression for B(r ) in terms of the gauge condition (97). Accordingly, we arrive at the expressions for A(r ) and B(r ): Then the line element is of form In this way, we have succeeded in showing that the Schwarzschild metric in the Cartesian coordinate system is a classical solution in the WTDiff gravity as in general relativity. However, there is a caveat. The Schwarzschild metric in the Cartesian coordinate system, (104), can be rewritten in the spherical coordinate system as where d 2 n−2 = dθ 2 2 + sin 2 θ 2 dθ 2 3 + · · · + n−2 i=2 sin 2 θ i dθ 2 n−1 . (106) This form of the Schwarzschild metric is very familiar to physicists, but this is not a classical solution to the equations of motion of the WTDiff gravity, (89). The reason is that when transforming from the Cartesian coordinates to the spherical coordinates, we have a non-vanishing Jacobian factor which is against TDiff. To put it differently, while the determinant of the metric tensor in Eq. (104) is −1, the one in Eq. (105) is not so, which is against the gauge condition (88). In order to show that Eq. (105) is also a classical solution, one has to solve the equations of motion under the condition g = −1, which is at present a difficult task due to the complicated structure of the energy-momentum tensor.

Charged black hole solution
In the previous section, we have investigated classical solutions in the WTDiff gravity and found that the Schwarzschild metric is indeed a classical solution to the equations of motion of the WTDiff gravity. A study of the Schwarzschild solution is of physical importance since the Schwarzschild solution corresponds to the basic one-body problem of classical astronomy, and the reliable experimental verifications of the Einstein equations are almost all based on the Schwarzschild line element. Then it is natural to ask ourselves whether a charged black hole metric is also a classical solution to the equations of motion of the WTDiff gravity coupled to an electro-magnetic field or not. In this section, we will prove that it is indeed the case in general n space-time dimensions.
Our starting action is the sum of the WTDiff gravity action (14) and the WTDiff-invariant Maxwell action (73) It is worthwhile to point out that although the WTDiff gravity has been already shown to be equivalent to general relativity, the WTDiff-invariant Maxwell action for the vector field A μ is not equivalent to the conventional Maxwell action except in four dimensions and is its Weyl-invariant generalization. Thus, it is a nontrivial task to examine whether the action (107) possesses a charged black hole solution as a classical solution.
It is straightforward to derive the equations of motion for the gauge field A μ and the metric tensor g μν . The result is given by where the energy-momentum tensor T (g,A)μν is defined as This energy-momentum tensor T (g,A)μν is not covariantly conserved as T (g)μν in Eq. (16), but it is possible to construct a covariantly conserved energy-momentum tensor as before. Along the same line of arguments as in Sect. 2, the covariantly conserved energy-momentum tensor is found to be Moreover, as expected from Weyl invariance of the WTDiffinvariant Maxwell action, this covariantly conserved energymomentum tensor T μν satisfies the relation Hence, as in the case of the absence of the electro-magnetic field, even if we add the electro-magnetic field to the WTDiff gravity, we can derive the standard Einstein equations (29) where the cosmological constant appears as an integration constant.
Since we want to find a charged black hole solution, we look for a gravitational field outside an isolated, static, spher-ically symmetric object with mass M and electric charge Q. We again take the asymptotically Lorentzian space-time, Eq. (90), as a boundary condition for the metric tensor. We also work with the line element (93), and take the unimodular condition (88) as a gauge condition for the Weyl symmetry, so in this case we have perfectly the same equations as Eqs. (93)-(99). With the unimodular condition (88) for the Weyl symmetry, the Maxwell equation and the energymomentum tensor are, respectively, reduced to the form As for the electro-magnetic field A μ (x), we assume that it has a static, spherically symmetric electric potential where φ(r ) is a function of r . First, let us solve the Maxwell equation (113). With the ansatzes (93) and (115), the Maxwell equation (113) is cast into a single equation, which is easily integrated to be where Q, which corresponds to an electric charge, and c are integration constants. To fix the constant c, we will impose the boundary condition which uniquely determines c = 0. Thus, we obtain the final expression for φ(r ) Next, let us try to solve the traceless Einstein equations (109) with the unimodular gauge condition (88). For this purpose, we will calculate the traceless energy-momentum tensor defined as T T (g,A)μν ≡ T (g,A)μν − 1 n g μν T (g,A) whose result is summarized as Consequently, the traceless Einstein equations (109) reduce to the equation This equation can be rewritten as By performing an integration, A(r ) turns out to be where M and a are integration constants. From the boundary condition (90), we have to choose a = 0, and we can obtain the expression for B(r ) in terms of the gauge condition (97). As a result, we obtain the expressions for A(r ) and B(r ), Then the line element is of the form Hence, we have shown that the charged black hole metric in the Cartesian coordinate system is indeed a classical solution in the WTDiff gravity coupled to the WTDiff-invariant Maxwell theory in an arbitrary space-time dimension. Again we should make an important remark. The charged black hole metric (125) in the Cartesian coordinate system can be rewritten in a more familiar form in the spherical coordinate system, However, Eq. (126) is not a classical solution in the WTDiff gravity plus the WTDiff-invariant Maxwell theory. This situation is very similar to the Schwarzschild black hole metric. Namely, the dependence of classical solutions on the chosen coordinate system is a notable feature of the WTDiff gravity where there is no the full group of diffeomorphisms, but only TDiff.

Cosmology
As a final application of the classical WTDiff gravity, we would like to consider cosmology in the WTDiff gravity coupled with the WTDiff-invariant scalar matter. Before attempting to solve the traceless Einstein equations, following the same method as before we can construct the energymomentum tensor satisfying the covariant conservation law in this case as well. An interesting point here is that such a covariantly conserved energy-momentum tensor plays a critical role in the construction of classical solutions, which should be contrasted to the cases treated thus far where the covariantly conserved energy-momentum tensors are only needed to have a connection with the standard Einstein equations.
The action with which we begin is the sum of the WTDiff gravity action (14) and the WTDiff-invariant scalar action (64), From this action, the equations of motion for the scalar field and the metric tensor field are, respectively, calculated to be where the energy-momentum tensor T (g,φ)μν is defined as In deriving the energy-momentum tensor (130), we have used the equation of motion for φ, (128). The energy-momentum tensor T (g,φ)μν is not covariantly conserved, either, but it is again possible to construct a covariantly conserved energy-momentum tensor as before. The covariantly conserved energy-momentum tensor is now given by It turns out that this covariantly conserved energy-momentum tensor T μν satisfies the desired relation, Hence, although we add the scalar field to the WTDiff gravity, we can derive the standard Einstein equations (29) where the cosmological constant appears as an integration constant.
To simplify the energy-momentum tensor, we will again select the unimodular condition (88) as a gauge condition for the Weyl symmetry. This choice of the gauge condition provides us with an enormous simplification, since the energymomentum tensor (131) is reduced to the tractable form We now proceed to the study of cosmological solutions. It is usually assumed that our universe is described in terms of an expanding, homogeneous and isotropic Friedmann-Lemaitre-Robertson-Walker (FLRW) universe, given by the line element where a(t) is a scale factor and γ i j (x) is the spatial metric of the unit (n − 1)-sphere, unit (n − 1)-hyperboloid or (n − 1)-plane, and i, j run over spatial coordinates (i = 1, 2, . . . , n − 1). However, this metric ansatz does not satisfy the gauge condition (88), so the line element should be somewhat modified. A suitable modification, which satisfies the gauge condition (88), is to consider the following line element: where N (t) is a lapse function and the spatial geometry is chosen to be the (n − 1)-plane, i.e. the (n − 1)-dimensional Euclidean space. Note that the existence of the lapse function N (t) means that the time coordinate t does not coincide with the proper time of particles at rest. With this line element, the gauge condition (88) provides a relation between the lapse function N (t) and the scale factor a(t), Given the line element (135) and Eq. (136), it turns out that the non-vanishing components of the traceless Einstein tensor defined as G T μν = R μν − 1 n g μν R are given by where H =ȧ a is the Hubble parameter and we have defineḋ a = da(t) dt . In a similar way, the non-vanishing components of the traceless energy-momentum tensor, which is defined as T T μν = T μν − 1 n g μν T , read where we have specified the scalar field φ to be spatially homogeneous, that is, φ = φ(t). As a result, the traceless Einstein equations are cast into the form of a single equation, Moreover, using the line element (135) and Eq. (136), the equation of motion for the scalar matter field φ, Eq. (128), is simplified tö φ +2(n−1)Hφ +2 n−1 n−2 a −2(n−1) V 1 2 It is of interest to see that the traceless Einstein equations have yielded only the single Eq. (139), which is similar to the Raychaudhuri equation or the first Friedmann equation [52,53], which comes from all i j-components of the Einstein equations in general relativity though there is a slight difference in Eq. (139), which will be commented on shortly. However, in the present formalism, the (second) Friedmann equation stemming from the 00-components of the Einstein equations is missing. In order to solve Eq. (139), we need the conservation law of the energy-momentum tensor. In this respect, recall that in general relativity the first Friedmann equation can be viewed as a consequence of the (second) Friedmann equation and covariant conservation of energy, so that the combination of the (second) Friedmann equation and the conservation law, supplemented by the equation of state p = p(ρ) (which will appear later), forms a complete system of equations that determines the two unknown functions, the scale factor a(t) and the energy density ρ. In our formalism, instead of the (second) Friedmann equation, we have to use the first Friedmann equation like Eq. (139).
At this stage, we meet a new situation: As mentioned above, to solve Eq. (139), we must set up the conservation law of the energy-momentum tensor as an additional equation. It is the covariantly conserved energy-momentum tensor T μν in Eq. (133) that we have to deal with in this context. So far the covariantly conserved energy-momentum tensors are needed to make contact with the standard Einstein equations, but in the present situation, we must make use of the concrete expressions to find classical solutions. Then the nonvanishing components of T μν are easily evaluated to be where we have introduced energy density ρ(t) and pressure p(t) in a conventional way. Using these expressions, the covariant conservation law ∇ μ T μν = 0 leads to an equatioṅ To close the system of equations, which determines the dynamics of homogeneous and isotropic universe, we have to specify the equation of state of matter as usual, where w is a certain constant. Of course, the equation of state is not a consequence of equations of our formalism, but should be determined by the matter content in our universe. With the help of Eq. (143), Eq. (142) is exactly solved to be where ρ 0 is an integration constant. Equations (142)-(144) are the same expressions as in general relativity. Now, using Eqs. (141), (143) and (144), our Friedmann equation (139) is rewritten aṡ Since it is difficult to find a general solution to this Eq. (145), we will refer only to special solutions which are physically interesting. Looking at the RHS in Eq. (145), one soon notices that at w = −1 and w = −3, specific situations occur. Actually, at w = −1, Eq. (145) can be exactly integrated to be where a 0 is an integration constant and this solution describes the decelerating universe in four dimensions owing toä < 0.
In the case w = −3, Eq. (145) is reduced to the forṁ This equation includes a special solution describing an exponentially expanding universe, where H 0 is a constant defined as .
Finally, one can find a special solution such that the scale factor a(t) has the form of a polynomial in t, where α is a constant to be determined by the Friedmann equation (145). It is easy to verify that the constant α is given by so that in this case the scale factor takes the form Then the accelerating universeä(t) > 0 requires while the decelerating universe requires One might wonder how the obtained solutions are related to the solutions in general relativity. In particular, in general relativity we are familiar with the fact that the case w = −1 corresponds to the cosmological constant and the solution is then an exponentially expanding universe, whereas in our case the corresponding solution belongs to the case w = −3, which appears to be strange. But this is just an illusion, since we do not use the conventional form (134) of the line element but the line element (135) involving the nontrivial lapse function N (t).
In order to show that our result coincides with that in general relativity, let us focus our attention on the Friedmann equation (139). By means of Eq. (141), this equation is rewritten aṡ where we recovered the lapse function N (t) by using Eq. (136). On the other hand, with the conventional notation of the energy-momentum tensor and the line element (135), the Einstein equations in general relativity, become a set of Friedmann equations, Equation (158) allows us to rewrite this equation in the forṁ which precisely coincides with our Friedmann equation (155). This demonstration clearly indicates that our cosmological solution is just equivalent to that of general relativity specified in such a way that the line element is (135) and the lapse function is given by Eq. (136).

Discussions
In this article, we have clarified various classical aspects of the Weyl transverse (WTDiff) gravity in a general spacetime dimension. We have found that the Schwarzschild black hole is a classical solution to the equations of motion of the WTDiff gravity when expressed in the Cartesian coordinate system. We have also shown that the Reissner-Nordstrom black hole is a solution in the same coordinate system in four space-time dimensions. The generalization to higher space-time dimensions has required us to extend the conventional Maxwell action to the Weyl-invariant action since the Maxwell action is invariant under the Weyl (local conformal) transformation only in four dimensions. It is of interest that even in such an extended electro-magnetic action plus the WTDiff gravity action in higher dimensions there is a charged black hole solution which shares all features with the conventional Reissner-Nordstrom charge black hole solution in four dimensions. Furthermore, we have investigated the Friedmann-Lemaitre-Robertson-Walker (FLRW) cosmology and seen that the FLRW cosmology is a classical solution when the shift factor has a nontrivial scale factor and the spatial geometry is flat.
In the classical analysis of the WTDiff gravity, a novel feature is the classical relation among three gravitational theories, those are, the conformally invariant scalar-tensor gravity, Einstein's general relativity and the Weyl transverse (WTDiff) gravity, in a general space-time dimension. To put it concretely, starting with the conformally invariant scalartensor gravity, which is invariant under both the local Weyl transformation and the diffeomorphisms (Diff), we have gauge-fixed the longitudinal diffeomorphism, by which the full diffeomorphisms (Diff) are broken to the transverse diffeomorphisms (TDiff), and we have obtained the WTDiff gravity. It is explicitly verified that not only the resultant action of the WTDiff gravity but also its equations of motion are invariant under both the local Weyl transformation and the TDiff. On the other hand, beginning with the conformally invariant scalar-tensor gravity and gauge-fixing the Weyl transformation have yielded general relativity, which is invariant under Diff. In this sense, the three gravitational theories are classically equivalent and we then conjecture that this equivalence holds even in the quantum regime. In other words, the conformally invariant scalar-tensor gravity is the underlying theory with the maximum symmetry behind Einstein's general relativity and the WTDiff gravity.
As a bonus, the equivalence of the three theories has made it possible to construct covariantly conserved energymomentum tensors, by which we can prove that the traceless Einstein equations in the WTDiff gravity become equivalent with the standard Einstein equations in general relativity. Here one of the most remarkable things is that the cosmological constant emerges as an integration constant. This interesting phenomenon has already been observed in unimodular gravity and is expected to lead to a resolution to the cosmological constant problem. However, afterwards, it was revealed that this is not indeed the case for the following reason: In unimodular gravity, the unimodular condition plays an important role and this condition must be properly implemented by the method of Lagrange multipliers. Then it turns out that the Lagrange multiplier field is nothing but the cosmological constant and it receives huge radiative corrections.
On the other hand, in the WTDiff gravity under consideration, we have a chance of utilizing the phenomenon of the emergence of the cosmological constant as an integration constant for solving the cosmological constant problem. In the WTDiff gravity, we have neither additional conditions like the unimodular condition nor Lagrange multiplier fields, so we have no counterpart of the cosmological constant in the action. Moreover, the Weyl symmetry forbids the emergence of the cosmological constant of dimension zero in a quantum effective action, and if it were not violated at the quantum level, the cosmological constant appearing as an integration constant in the Einstein equations would keep its classical value in all energy scales. In this sense, the cosmological constant in the WTDiff gravity is radiatively stable. Thus, important remaining works amount to giving a proof that the fake Weyl symmetry is not broken by quantum effects and determining the initial value of the cosmological constant from some still unknown principle.
In a pioneering paper by Englert et al. [9], it is stated that the Weyl symmetry in the conformally invariant scalartensor gravity is free of Weyl anomaly when the Weyl symmetry is spontaneously broken, and this situation is unchanged when the Weyl-invariant matter fields are incorporated into the theory. Here "spontaneously broken" needs an explanation. Usually, it is necessary to have a Higgs potential to trigger the spontaneous symmetry breakdown, but it is in general difficult to set up such a potential for breaking the Weyl symmetry. Thus, as commented on around the end of Sect. 3, the meaning of "spontaneously broken" should be understood in the sense that the spurion field ϕ is assumed to be divided into two terms, ϕ = ϕ + σ where ϕ is the vacuum expectation value and σ is the Goldstone boson restoring conformal symmetry, respectively. Then the key technical idea in [9][10][11][12][13][14][15][16][17][18] is that the vacuum expectation value ϕ plays a role as the renormalization scale instead of the conventional fixed renormalization scale, by which the Weyl-invariant effective action can be obtained. Our conjecture that the fake Weyl symmetry has no anomaly is interpreted as a supplementary statement from the symmetry side, which supports this technical idea.
Anyway, as an important feature problem, we must understand quantum aspects of the WTDiff gravity. This is a very important step for the cosmological constant problem. We wish to consider this problem in the near future.
fact that the equations of motion for the metric tensor in the WTDiff gravity are traceless equations.
As mentioned in the article, the equations of motion in the WTDiff gravity is entirely described in Eq. (20), or equivalently Eq. (18). The equivalence between the conformally invariant scalar-tensor gravity and the WTDiff gravity via the gauge-fixing procedure demands that the equations of motion in the WTDiff gravity should be obtained from Eq. (20) by substituting the gauge condition (6). After a straightforward calculation, we find that It is easy to see that taking its traceless part, i.e. calculating G T μν ≡ R μν − 1 n g μν R, yields the equations of motion in the WTDiff gravity, Eq. (15) with the definition of the energymomentum tensor (16).

C.2 Derivation from variation of WTDiff gravity action (14)
In this subsection, we will derive the equations of motion (15) of the WTDiff gravity by taking the variation for the metric tensor step by step.
Let us first divide the action of the WTDiff gravity, Eq. Next, let us divide the second term in (C.5) into two parts and evaluate each term separately In what follows, to convert the covariant derivative ∇ μ to the partial derivative ∂ μ we repeatedly use the well-known formula where A μ is a generic vector field which includes ∂ μ |g| and ∇ ν δg μν etc. We will give a detailed derivation of I 1 below and only give the result of I 2 , since the calculation of I 2 is similar to that of I 1 . Neglecting total derivative terms and using Eq. (C.7) twice, we can proceed to calculate I 1 as follows: (C.10) The variation of S g with respect to the metric tensor can be calculated in a similar manner to be δS g δg μν = (n − 1)(n − 2) 8n 2 |g| × 1 |g| 2 ∂ μ |g|∂ ν |g| + g μν − 3n − 1 n 1 |g| 2 (∂ ρ |g|) 2 It is easy to check that adding the two results (C. 10

Appendix D: Covariantly conserved energy-momentum tensors
In this article, we mainly work with the Weyl transverse (WTDiff) gravity, which is not invariant under the general coordinate transformation (Diff) but only invariant under the Weyl transformation and TDiff. We find that the energymomentum tensor derived from the WTDiff gravity is not covariantly conserved, thereby making it unclear to make a connection with the standard Einstein equations. However, as shown in this paper, the WTDiff gravity can be obtained by gauge-fixing the longitudinal diffeomorphism existing in the conformally invariant scalar-tensor gravity, which is generally covariant, so there should be a covariantly conserved energy-momentum tensor. In this appendix, for completeness, we will give a (well-known) proof for the existence of the covariantly conserved energy-momentum tensor if the underlying gravitational theory is invariant under the general coordinate transformation (Diff). Let us note that only general coordinate invariance of the action plays a critical role in this proof.