Abstract
The most general Lagrangian describing spin 2 particles in flat spacetime and containing operators up to (mass) dimension 6 is carefully analyzed, determining the precise conditions for it to be invariant under linearized (transverse) diffeomorphisms, linearized Weyl rescalings, and conformal transformations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Particle physics interactions, when considered at very high energy (probing then smaller and smaller distances), are expected to be independent of the individual masses of the particles themselves, which are negligible in comparison with the energy scale. Some sort of scale invariance is expected to be at work there. The same thing happens in second order phase transitions. The correlation length diverges, and again, scale invariance is at work. In fact in many known cases (in all unitary theoriesFootnote 1) this symmetry is upgraded to full conformal symmetry [2]. There is however a caveat. In quantum field theory the well-known need to renormalize the bare quantities implies that an arbitary mass must be introduced. This is the origin of the dependence of coupling constants with the energy scale, encoded in the correspondiong beta-functions.
It is however only recently that the precise relationship between scale invariance, conformal invariance and Weyl invariance has been clarified (cf. [3, 4] and references therein). This includes the precise conditions for scale invariant theories to become conformal invariant and also the existence of the so-called a-theorem for renormalizable theories (cf. [5] and [6] for a recent review). Most of the work done so far has been in flat spacetime, where the gravitational field is absent, or at most, non-dynamic.
When such a gravitational field is present [7] there are two possible generalizations of scale invariance. The most direct of those is the algebra of conformal Killing vector fields (CKV), that is, those that obey
the fact that
implies that the set of all CKV generate an algebra, which for Minkowski spacetime is the conformal algebra, SO(2, n). In fact, the maximal possible dimension of the conformal algebra is precisely
which is attained by conformally flat spacetimes (the ones with vanishing Weyl tensor [8, 9]). Unfortunately, however, this property is not generic; that is, an arbitrary metric does not support any CKV, and the corresponding algebra has to be studied for each particular spacetime by itself.
The next most natural symmetry to study is Weyl invariance, the invariance of the action under local rescalings of the metric tensor.
this invariance, besides, can still be studied in the linear limit, when the gravitational field manifests itself as a perturbation of the Minkowski metric.
Given that the previous expansion is exact, the linearized Weyl symmetry of the metric perturbation can be written as
Let us remark the appearance of an order h piece in the variation of the perturbation that will be relevant in our analysis.
In order for a flat spacetime theory to be scale invariant, the (Rosenfeld) energy-momentum tensor must be a total derivative (on-shell)
where \(V^\mu \) is the virial current [10,11,12]. This is enough to guarantee the existence of a conserved scale current
In the particular case when the virial current is itself a divergence, that is, when
then the theory is conformally invariant under the group O(2, n), and the conserved current reads
which also implies that the energy-momentum tensor can be improved.
In the present paper we want to clarify the precise relationship between Weyl invariant theories (WIFT) and conformal invariant theories (CFT) for systems where the gravitational field is dynamic, but still approachable as a fluctuation of flat spacetime. Our analysis then concerns mostly spin 2 theories in flat spacetime as described by a rank two symmetric field in Minkowski space. Our plan is to do it systematically, determining the conditions for scale invariance (which is still meaningful in flat space), conformal invariance and Weyl invariance.
We analyze first the most general Lagrangian containing dimension 4 operators, and then we do the same analysis for dimension 6 operators, containing two and four derivatives respectively (operators appearing in the weak field expansion of gravitational theories linear and quadratic in the curvature). We then study dimension 5 and dimension 6 operators with two derivatives. The analysis is, in some sense, the continuation of the one in [13, 14] and also in [15]. Recent works regarding conformal invariance and Weyl invariance include [16,17,18]. We are always (with the only exception of our discussion of the improvement of the energy-momentum tensor) refering to actions defined as spacetime integrals, so that we allow for integration by parts, in other words, when we claim that an expression vanishes, we mean this only up to total derivatives.
2 Symmetries of the low energy spin 2 action
Let us revisit the possible symmetries of low dimension kinetic operators in spin 2 theories [13] in flat spacetime where the graviton is represented by a symmetric tensor \(h_{\mu \nu }\). Lorentz invariance will be assumed throughout the paper. If we want the field equations to be given by differential operators of (at least) second order, then the Lagrangian has got to incorporate at least two derivatives. Let us begin our study with the operators of lowest possible dimension.
2.1 Dimension 4 operators
Our building blocks are the gravitational field, \(h_{\alpha \beta }\) (assumed to be of mass dimension 1) and the spacetime derivatives, \(\partial _\mu \). There are four different dimension four operators with two derivatives
There is another operator
which is equivalent to \(\mathcal{D}_2\) modulo total derivatives:
Then, the most general action principle involving dimension 4 derivative operators reads
First, we are going to consider invariance under linearized diffeomorphisms, LDiff gauge symmetry. This is the one implemented in the pioneering work by Fierz–Pauli
The variation of the fragment of the action containing the \(\mathcal{D}\) terms only (that is, with \(m_i^2=\lambda _\alpha =0\)) and upon integration by parts, yields
so that linearized diffeomorphisms (LDiff henceforth) imposes some relations among the coupling constants
this is, \(\alpha _i=1\,\forall i\).
The second case we are analyzing is the invariance under transverse linearized diffeomorphisms (LTDiff henceforth), that is, diffeomorphisms such that their generating vector fields obey
These conditions impose
but allow for arbitrary values of \(\alpha _3\) and \(\alpha _4\).
In third place, under linearized Weyl transformations, LWeyl, the variation of the metric reads
and after integration by parts,Footnote 2
where we have multiplied by \(\dfrac{\kappa }{2}\) for simplicity. The invariance under LWeyl puts further constraints on the coupling constants, namely
In [13] we have dubbed WTDiff to the theory with TDiff invariance enhanced with linearized Weyl symmetry, LWeyl. This is the particular case of the above, corresponding to \(\alpha _1=\alpha _2=1\) and
A consistent non-linear completion of the actions which fullfill these requirements are the ones explained in the Appendix (110) namely actions proportional to
Finally, we could consider only traceless graviton fields, \(h_{\alpha \beta }\) such that \(h\equiv \eta ^{\alpha \beta } h_{\alpha \beta }=0\). Obviously, in this case, \(\mathcal{D}_3=\mathcal{D}_4=0\), and for consistency, we can only implement TDiff with the coupling constants fixed to
2.1.1 Scale and conformal invariance
The most general Lagrangian we are considering (without the mass terms) is obviously scale invariant under
with the assigned scaling dimensions. In order to make a full analysis of the scale and conformal invariance of the theory we have to compute the energy momentum tensor of these theories. In this case, and neglecting total derivatives, the metric (or Rosenfeld’s) energy momentum tensor has the form
whose trace reads
The equations of motion (eom) read
In fact we know that, as explained in the introduction, scale invariance implies that the trace of the energy momentum tensor can be written, on-shell, as a total derivative, that is, as the divergence of the virial (7). What happens is that whereas two Lagrangians that differ by a total derivative still generate the same eom, the specific form of the virial does depend on the particular form of the Lagrangian. This, in turn, also determines whether the virial itself can be written as a total derivative. Examining the contributions of the whole set of total derivative operators, leads to the convenient action
The trace of the energy momentum tensor can then be rewritten as
so that on-shell, we can express the trace as \(T =\partial _\mu V^\mu \), where
It is also well-known that a conformal current can be formally constructed in case the virial can be so expressed as \(V^\mu = \partial _\nu \sigma ^{\mu \nu }\). In our case, and upon using the eom,
In that way we get such a tensor (on-shell), for any value of the coupling constants.Footnote 3
Once a particular form of an \(\sigma ^{\mu \nu }\) is found, there is a systematic way of improving the energy-momentum tensor [10]. The improvement consists on adding another piece to the initial energy momentum tensor, so that the trace of the new energy-momentum tensor is precisely cero, that is, we avoid the total derivative terms. The piece in [10] has the form
where \(X^{\lambda \rho \mu \nu }\) is symmetric \((\mu ,\nu )\), and divergenceless. The precise for of the improvement reads
where \(\sigma _+^{\mu \nu }\) stands for the symmetric part of \(\sigma ^{\mu \nu }\). The original analysis [11] was specific for \(n=4\) dimensions but it can be generalized to arbitrary dimension [19].
2.2 Dimension 6 operators
In this section, we want to study the dimension 6 operators, and among these, there are various possibilities. First we take operators with four derivatives and two \(h_{\alpha \beta }\). After integration by parts, those are
There is a small caveat here. There are also many operators with two derivatives and four \(h_{\alpha \beta }\), that will be analyzed in the next section. It is the case that these operators do not appear as a limit of quadratic Diff or TDiff invariant theories; they can only appear as higher order contributions to Lagrangians linear in the curvature.
Let us consider the general theory involving dimension 6 operators which can come from quadratic theories of gravity, namely
Like in the previous section, we first study the LDiff symmetry, upon which the \(\mathcal{O}\) transform as
after having integrated by parts. Then the symmetry under LDiff imposes the following relations between the coupling constants
These still allow for arbitrary values of \(g_1\) and \(g_2\), and
In the second place we consider invariance under LTDiff, which imposes
Finally for LWeyl symmetry, the variations read (multiplying by \(\kappa /2\) again for simplicity)
so that the action is invariant under such tranformations whenever
Now it is interesting to combine LDiff and LWeyl. In the case of dimension 4 operators, actions which are invariant under both symmetries do not exist. For dimension 6 operators, we can have LWDiff invariant theories as long as the coupling constants are constrained to have the following relations
These actions with LWDiff invariance are obtained as the weak field limit of the following quadratic theories
Note that the term \(\sqrt{g}\) is immaterial at the order we are working. The weak field expansion of the quadratic invariants is worked out in the Appendix A. For \(n=4\) spacetime dimension these theories can be rewritten as
where \(E_4\) is the four-dimensional Euler density
It can be easily checked that the weak field expansion of \(E_4\) around Minkowski spacetime vanishes. This is the origin of the arbitrary coefficient \(\alpha \) in the above expression. The quantity \(W_4\) is the square of the 4-dimensional Weyl tensor
The actions which are precisely proportional to the Weyl squared tensor are the ones with \( 3 g_2 = \alpha \). Nevertheless, at the linear level, the Euler density does not contribute, so that all the solutions will effectively correspond to actions proportional to \(W_4\).
Also quite interesting are those actions that are LWTDiff invariant; that is LWeyl invariant, but LDiff invariant under transverse diffeomorphisms only. They are characterized by
The most general quadratic WTDiff invariant Lagrangian is the one obtained by Weyl transforming the metric in the quadratic action with \({\tilde{g}}_{\mu \nu } = g^{-1/4} g_{\mu \nu }\) (this transformation ensures TDiff and automatically introduces a Weyl invariance). The expansion around flat spacetime reads
The weak field limit of these theories automatically satisfies the constraints needed for LWTDiff (51). The precise form of these theories after the Weyl transformation (120) is shown in the Appendix.
2.2.1 Scale and conformal invariance
Scale invariance is now lost with the assingment given to \(h_{\mu \nu }\) (conformal weight one). If we have a theory incorporating dimension 6 operators only, it is possible to recover scale invariance, just by making the graviton inert (conformal weight 0). It is plain that this does not hold when we have both dimension 4 and dimension 6 operators in the theory.
On the other hand, the conformal invariance demands as usual, tracelessness of the (metric, or Rosenfeld) energy-momentum tensor. In this case, the energy-momentum tensor takes the form
and the trace reads
The eom read
and they imply that, on-shell, the Lagrangian indeed vanishes, \(L=0\) (up to total derivatives).
In order to study the virial in detail, let us start from the specific form of the Lagrangian
Now it is a simple matter to show that on-shell, \(L=\partial _\mu \partial _\nu \sigma ^{\mu \nu }\) with
This result is somewhat puzzling, because we have already indicated that this theory is not even scale invariant with the standard assignment of conformal weight for the graviton field (namely 1). The result is however logical if we remember that the low energy of the Weyl squared Lagrangian is of this form. The theory containing both dimension 4 as well as dimension 6 operators, should not be conformal however. This fact can be easily understood from a simpler example, namely a scalar Lagrangian, where all complications of indices can be avoided. Consider then the Lagrangian
which is equivalent to (up to total derivatives)
This is our starting point. The eom read
and the energy-momentum tensor
The trace of the above reads
Even if we are working in \(n=4\), we leave n arbitrary to maintain the second piece and illustrate the point we want to make. Note that this is not proportional to the total Lagrangian, because the trace counts the number of derivatives. We can rewrite the trace as
which fails to be a total derivative when both \(\alpha \) and \(\beta \) are nonvanishing, because
Note that this is true even if there are WTDiff (that is TDiff and Weyl invariant) theories linear as well as quadratic in the Riemann tensor. The weak field limit of those Weyl invariant theories fails to be conformal invariant.
2.3 Dimension 5 and dimension 6 operators (with 2 derivatives)
Next, we study dimension 5 and dimension 6 operators containing just two derivatives, so that they come from the weak field limit of theories linear in the curvature, when expanded to higher orders in the perturbation. In the previous sections, operators coming from the lowest (non-trivial) order of gravitational actions were analyzed. In that cases, the lowest order of (T)Diff and Weyl variations was enough to obtain the conditions for those actions to be invariant under such symmetries. In this case, however, different orders of the expansion are needed because of the two orders involved in the field variations
This translates into dimension 4 operators mixing with dimension 5 ones, and dimension 5 operators with dimension 6 ones.
A full list of the independent dimension 5 and dimension 6 operators (containing 2 derivatives) can be found in Appendix 1. The most general dimension 5 Lagrangian with such operators reads
Again, the only diffeomorphism invariant combination corresponds to \(\sqrt{g} R\), in this case, to the order \(O(\kappa ^3)\) expansion of it
This piece then combines with the previous order of the expansion to attain diffeomorphism invariance
We can also look for the most general Lorentz and Weyl invariant Lagrangian built with this kind of operators. Again, we need the dimension 4 operator part that will contribute with the O(h) piece of the Weyl variation, which already has two arbitrary constants appearing in it (22). Taking that piece into account, the most general Weyl invariant Lagrangian up to dimension 5 operators reads
Let us insist on the fact that both pieces are needed so that Weyl invariance is attained, that is, up to certain order in the expansion, the previous order is needed for the computation of the invariance conditions. Thanks to the mixing of the different orders, more freedom is avalaible to attain invariance under the studied symmetries. In particular, there are 8 independent coupling constants \(a_1,a_2,a_3,a_5,a_9,a_{11},c_1\) and \(c_2\).
It is straightforward to see that WTDiff (24) is a particular case of this general Weyl invariant Lagrangian, with the constants fixed to
Accordingly, the most general dimension 6 Lagrangian with two derivatives can be written as
In this case, the expansion of \(\left( \sqrt{g}R \right) _{O(\kappa ^4)}\) reads
Finally, let us analyze the most general Weyl invariant Lagrangian up to dimension 6 operators. We have different pieces apearing in it. First of all, it contains the pieces up to dimension 5 that were computed in this section (69), together with the dimension 6 piece of two derivative operators, that combine with specific coefficients so that Weyl invariance is attained. Moreover, we have another Weyl invariant combination coming from dimension 6 operators containing four derivatives (45). Taking everything into account, the most general Weyl invariant Lagrangian up to dimension six operators is shown in Appendix 1.
2.4 Interaction terms
It would appear quite intuitive to think that there are no potential terms invariant under either Diff or Weyl invariance. This is based in our GR intuition, but let us get rid of those prejudices and carry on with our perturbative analysis. It is easy to systematize the perturbative expansion. Up to quartic interactions we have the monomials
so that the most general potential up to dimension four will read
We want to analyze the invariance under diffeomorphisms as if this \(h_{\mu \nu }\) corresponds to the perturbation of the metric around flat spacetime (65), but we take another energy scale M instead of \(\kappa \). The crucial point is that owing to the fact that the Diff variations contain an order zero piece and an order one piece in the perturbation, each order in the perturbative expansion of the variation of the potential contributes to both the lower and upper orders. Up to total derivatives and dimension four operators, it can be seen that the following interaction Lagrangian is diffeomorphism invariant
In fact this is an iterative process, each term in the expansion determining the following. The final potential contains infinite terms depending on just one arbitrary constant with dimensions of mass, m. In fact this is exactly the weak field expansion of \(m M^4 \left( \sqrt{g}-1\right) \).
At this point our GR intuition strikes back and asks whether this is not precisely the expansion of the cosmological constant term. (In fact they do not quite fit).
Concentrating in the quadratic terms
Not knowing anything on GR we would say that there is spontaneous symmetry breaking in the system and the ground state has shifted from \(h_{\mu \nu }=0\) to \(h_{\mu \nu }= -M \eta _{\mu \nu }\), leaving behind a vacuum energy
Fluctuations around the new vacuum state
are damped (provided \(m M <0\)) with a quadratic term
as is not positive semidefinite except for traceless \(H_{\alpha \beta }^T\) when \(m M<0\). In order to reach a definite conclusion on positivity, higher order terms should be considered. To the extent that this is related to the weak field expansion of \(m M^2 \sqrt{g}\), we expect it to have a definite sign however.
Similar reasoning as in the previous paragraph leads to a Lorentz and Weyl invariant potential
In this case we have more freedom as more arbitrary constants appear with each order of the perturbative expansion. The quadratic piece can be written as
Fluctuations around the minimum of the potential
behave as
which again is positive semisefinite only for traceless \(H_{\alpha \beta }^T\) or else for pure trace when \(m M <0\) as
2.5 Global Weyl invariance
There is another symmetry that can be studied in this context, which is global Weyl invariance, that is, when the Weyl scaling factor is just a constant
When we expand the metric around flat spacetime, \(g_{\mu \nu } = \eta _{\mu \nu } + \kappa h_{\mu \nu }\), the linearized variation of the quantum fluctuation reads
In the case of global (rigid) Weyl invariance where \(\omega \) is constant, the variations of the operators quadratic in the fields have to be computed taking into account both terms in the above (that is, the linear order in the quantum field). If we just took the first piece, proportional to the Minkowski metric, all the variations computed in (21) and (44) would just be total derivatives, which have been neglected in this work.
In order to illustrate this point, let us take two simple actions. We know that the Einstein Hilbert action is not globally Weyl invariant in four dimensions,
On the other hand, we can take the simplest quadratic action which is invariant in four dimensions
These equalities have to be true order by order in the perturbation of the metric. In this case, the quadratic order in the variation together with the linear order in the Weyl variation, combines with the third order of the perturbation in the action and the lowest order in the Weyl variation. These terms are going to be of order \(O(\kappa ^2)\) and have to match exactly the \(O(\kappa ^2)\) part of the rhs of the equation. Namely, The quadratice
xpansion of the Einstein Hilbert action reads
It is straightforward to see that taking the variation \(\delta h_{\mu \nu }= 2 \omega h_{\mu \nu }\) we get
In order to compute the other piece contributing to \(O(\kappa ^2)\) we need the third order of the expansion of the Einstein Hilbert action which contains terms with three quantum fields \(h_{\mu \nu }\) and two derivatives, which are shown in the Appendix 1. Once we have this expansion, we perform the Weyl variation \(\delta h_{\mu \nu }= 2 \omega \frac{\eta _{\mu \nu }}{\kappa }\) yielding
Adding the two contributions
which precisely yields the right hand side of (88) for \(n=4\). We can see that in \(n=2\) the Einstein Hilbert action is globally Weyl invariant (as well as locally). In fact this is basically the reason all two-dimensional metrics are conformally flat.
In the case of the quadratic action we have
where
As before, taking the Weyl variation proportional to the quantum field is straightforward and it yields
For the other piece, we need the third order variation of the quadratic action which can be easily computed. After performing the Weyl transformation on the quantum field, \(\delta h_{\mu \nu }= 2 \omega \frac{\eta _{\mu \nu } }{\kappa }\), we get
Summing both contributions,
3 Non-local extensions
There is a permanent temptation to avoid the Källen–Lehman spectral theorem (which states that the price to pay for having propagators that fall off at euclidean infinity faster than \(k^{-2}\) is to have negative norm states) by considering non-local theories. For example in [20, 21] a non-local generalization of the dimension 4 operators has been considered, namely
so that the general Lagrangian of this type will be
(where \(c_i(z)\) are analytic functions with dimensionless argument). The five functions \(c_i(z),\,i=1\ldots 5\) (which are assumed to include the corresponding coupling constants) characterize the theory. The constants put in front are such that the LDiff Fierz–Pauli theory corresponds to
The correspondence with the dimension 6 operators in (38) is as follows
i.e. \(g_1=M^2 c_5(z)\), \(g_2=-2 M^2 c_3(z)\), \(g_3=2 M^2 c_2(z)\),\(g_4=-4 M^2 c_1(z)\) and \(g_5=4 M^2 c_4(z)\), in such a way that the conditions for LDiff invariance now translate into
It is claimed in [20] that the theory is ghost-free provided that
and the function \(c_1(z)\) is chosen as an entire function, such as
Note that both constraints, (102) and (103) are different and incompatible.
It is well-known, however, that non-local theories suffer from unitarity and causality problems, some of those can be sometimes hidden uunder the rug of experimental precision of the measurements [22]. However, in order to do that, the theory needs to be quasi-local, which means that the corresponding function has got to have bounded support, which seems to contradict other conditions. It is not clear at all that a consistent solution exists.
Outstanding problems in this respect according to [23] are first and foremost, the fact that the presence of the exponential damping factor in the propagator prevents analytic continuation from the riemannian theory to the lorentzian one, owing to the essential singularities in the complex energy plane. It must be stressed, however that such an analytic continuation is problematic in any theory involving the gravitational field. Another argument is that none of the theories proposed so far complies with reflexion-positivity, which is believed to be an essential requirement in order to get a consistent quantum field theory.
4 Conclusions
In this paper we have presented a complete analysis of operators up to (mass) dimension 6 describing spin 2 theories (e.g. weak field limit of theories linear and quadratic in the curvature), analyzing with some care the conditions for the theory to be (transverse) diffeomorphism invariant, scale invariant, conformal invariant and Weyl invariant. We have also identified a possible non-linear completion of those Lagrangians.
Conformality on shell is attained for any combination of the constants appearing in the dimension 4 and dimension 6 cases. The trace of the energy-momentum tensor is a total derivative, and besides the virial current for specific Lagrangians is also the derivative of a two-index tensor, leading to improved forms of the corresponding energy-momentum tensors.
On the other hand, Weyl invariance instead does impose constraints on the coupling constants. Our main conclusion is to confirm [16,17,18, 24] that Weyl invariance and conformal invariance are independent symmetries: not every Weyl invariant theory is conformal invariant in the weak field limit and conversely, not every conformal invariant theory is Weyl invariant in spite of the fact that it is always invariant under global such Weyl transformations. To illustrate the first part of this statement, let us take for example the following WTDiff invariant theory
where the precise form of these terms after permoning the transformation of the metric can be found in (109) and (120). The weak field expansion of this theory will contain, at quadratic order in the perturbation, dimension 4 operators and dimension 6 operators coming from the linear and quadratic (in curvature) pieces respectively. Theories combining operators of different dimension are not scale invariant, as pointed out in the example in (58).
The analysis of dimension 5 and dimension 6 operators does not bring anything new with respect to diffeomorphism invariant theories, as expected. However, we have given expressions for the most general Lorentz and Weyl invariant Lagrangians up to dimension 5 and dimension 6 operators, and we can clearly see that those theories contain an increasing number of arbitrary constants. We have also discussed global Weyl invariance and it is clear that this symmetry is less restrictive than the local one. An analysis of the interaction terms has been done. It can be seen that potentials with diffeomorphism and weyl invariance can be constructive iteratively, for every orther of the perturbative expansion.
To end up, let us stress that the conditions that are argued to be neccessary for a ghost free non-local theory [20] are not compatible with the ones stemming from diffeomorphism invariance.
We finally point out that our results prove that any Lorentz invariant Lagrangian for spin 2 particle up to quadratic order in the field is conformal invariant.
Data Availability Statement
This manuscript has associated data in a data repository. [Authors’ comment: All data generated or analysed during this study are included in this published article.]
Notes
There is a counterexample by Riva and Cardy [1] where scale invariance does not imply conformal invariance. The theory is the two-dimensional theory of elasticity which is not unitary.
Although we do not write the integrals explicitely, integration by parts is carried out in the analysis and total derivatives are not considered as stated in the introduction.
We insist that this result (because this tensor is after all a total derivative) depends on the boundary terms that are neglected in order to write down the original Lagrangian. The monomials have to be written down as indicated; to be specific, in order to split \({\mathcal {D}}_2\) in the two pieces, there is an integration by parts
$$\begin{aligned}&- \partial ^\lambda h_{\lambda \rho }\partial _\sigma h^{\rho \sigma } - \partial ^\lambda h_{\lambda \rho }\partial _\sigma h^{\rho \sigma } = - \partial ^\lambda h_{\lambda \rho }\partial _\sigma h^{\rho \sigma } - \partial _\sigma h_{\lambda \rho }\partial ^\lambda h^{\rho \sigma } \nonumber \\&\quad - \partial ^\lambda (h_{\lambda \rho } \partial _\sigma h^{\rho \sigma }) + \partial _\sigma (h_{\lambda \rho } \partial ^\lambda h^{\rho \sigma }) \end{aligned}$$(34)so we have two total derivatives appearing in order to interchange the two derivatives. Although this does not contribute to the equations of motion, it does contribute to the virial, \(L = L' + \partial _\mu j^\mu \rightarrow V^\mu = V'^\mu + j^\mu \). It could well be the case that \(V^\mu = \partial _{\nu } \sigma ^{\mu \nu }\) but \(V'^\mu + j^\mu \ne \partial _{\nu } \sigma '^{\mu \nu }\). If we take this contributions into account one of the total derivatives cancels one of the pieces of the virial proportional to \(\alpha _2\) and the other one is summed with the other piece. We end up with
$$\begin{aligned} V^\mu= & {} \left\{ {\alpha _1\over 4} h^{\nu \rho }\partial ^\mu h_{\nu \rho }-{\alpha _2\over 2}h^{\rho \mu } \partial ^\lambda h_{\lambda \rho }\right. \nonumber \\&\left. + \, {\alpha _3\over 4}h_{\lambda }^\mu \partial ^\lambda h +{\alpha _3\over 4} h \partial ^\sigma h^\mu _{\sigma }-{\alpha _4\over 4}h \partial ^\mu h \right\} \end{aligned}$$(35)and we could not write this as the derivative of a two-index tensor.
References
V. Riva, J.L. Cardy, Scale and conformal invariance in field theory: a physical counterexample. Phys. Lett. B 622, 339 (2005). https://doi.org/10.1016/j.physletb.2005.07.010. arXiv:hep-th/0504197
A.B. Zamolodchikov, Irreversibility of the flux of the renormalization group in a 2D field theory. JETP Lett. 43, 730 (1986) [Pisma Zh. Eksp. Teor. Fiz. 43, 565 (1986)]
A. Dymarsky, Z. Komargodski, A. Schwimmer, S. Theisen, On scale and conformal invariance in four dimensions. JHEP 1510, 171 (2015). https://doi.org/10.1007/JHEP10(2015)171. arXiv:1309.2921 [hep-th]
Y. Nakayama, Scale invariance vs conformal invariance. Phys. Rep. 569, 1 (2015). https://doi.org/10.1016/j.physrep.2014.12.003. arXiv:1302.0884 [hep-th]
Z. Komargodski, A. Schwimmer, On renormalization group flows in four dimensions. JHEP 1112, 099 (2011). https://doi.org/10.1007/JHEP12(2011)099. arXiv:1107.3987 [hep-th]
G.M. Shore, The c and a-theorems and the Local Renormalisation Group. https://doi.org/10.1007/978-3-319-54000-9. arXiv:1601.06662 [hep-th]
E. Alvarez, Quantum gravity: a pedagogical introduction to some recent results. Rev. Mod. Phys. 61, 561 (1989). https://doi.org/10.1103/RevModPhys.61.561
Hermann Weyl, Ann. Phys. 364, 101 (1919). https://doi.org/10.1002/andp.19193641002
Hermann Weyl, “Space, time, matter” (Dover, 1952) “a new extension of relativity theory”. Ann. Phys. 59, 101 (1919)
C.G. Callan Jr., S.R. Coleman, R. Jackiw, A new improved energy—momentum tensor. Ann. Phys. 59, 42 (1970). https://doi.org/10.1016/0003-4916(70)90394-5
S.R. Coleman, R. Jackiw, Why dilatation generators do not generate dilatations? Ann. Phys. 67, 552 (1971). https://doi.org/10.1016/0003-4916(71)90153-9
H. Osborn, Weyl consistency conditions and a local renormalization group equation for general renormalizable field theories. Nucl. Phys. B 363, 486 (1991). https://doi.org/10.1016/0550-3213(91)80030-P
E. Alvarez, D. Blas, J. Garriga, E. Verdaguer, Transverse Fierz–Pauli symmetry. Nucl. Phys. B 756, 148 (2006). https://doi.org/10.1016/j.nuclphysb.2006.08.003. arXiv:hep-th/0606019
P. Van Nieuwenhuizen, On ghost-free tensor lagrangians and linearized gravitation. Nucl. Phys. B 60, 478–492 (1973)
D. Blas, Gauge symmetry and consistent spin-two theories. J. Phys. A 40, 6965 (2007). https://doi.org/10.1088/1751-8113/40/25/S47. arXiv:hep-th/0701049
G.K. Karananas, A. Monin, Weyl vs. conformal. Phys. Lett. B 757, 257 (2016). https://doi.org/10.1016/j.physletb.2016.04.001. arXiv:1510.08042 [hep-th]
K. Farnsworth, M.A. Luty, V. Prilepina, Weyl versus conformal invariance in quantum field theory. JHEP 1710, 170 (2017). https://doi.org/10.1007/JHEP10(2017)170. arXiv:1702.07079 [hep-th]
F. Wu, Note on Weyl versus conformal invariance in field theory. Eur. Phys. J. C 77(12), 886 (2017). https://doi.org/10.1140/epjc/s10052-017-5463-8. arXiv:1704.05210 [hep-th]
J. Polchinski, Scale and conformal invariance in quantum field theory. Nucl. Phys. B 303, 226 (1988). https://doi.org/10.1016/0550-3213(88)90179-4
T. Biswas, E. Gerwick, T. Koivisto, A. Mazumdar, Towards singularity and ghost free theories of gravity. Phys. Rev. Lett. 108, 031101 (2012). https://doi.org/10.1103/PhysRevLett.108.031101. arXiv:1110.5249 [gr-qc]
L. Modesto, Super-renormalizable quantum gravity. Phys. Rev. D 86, 044005 (2012). https://doi.org/10.1103/PhysRevD.86.044005. arXiv:1107.2403 [hep-th]
E.T. Tomboulis, Nonlocal and quasilocal field theories. Phys. Rev. D 92(12), 125037 (2015). https://doi.org/10.1103/PhysRevD.92.125037. arXiv:1507.00981 [hep-th]
M. Asorey, L. Rachwal, I .L. Shapiro, Unitary issues in some higher derivative field theories. Galaxies 6(1), 23 (2018). https://doi.org/10.3390/galaxies6010023. arXiv:1802.01036 [hep-th]
P. Budini, P. Furlan, R. Raczka, Weyl and conformal covariant field theories. Nuovo Cim. A 52, 191 (1979)
Acknowledgements
We have benefited from comments by Mario Herrero-Valea. This work has received funding from the Spanish Research Agency (Agencia Estatal de Investigacion) through the grant IFT Centro de Excelencia Severo Ochoa SEV-2016-0597, and the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grants agreement No 674896 and No 690575. We also have been partially supported by FPA2016-78645-P(Spain). RSG is supported by the Spanish FPU Grant No FPU16/01595.
Author information
Authors and Affiliations
Corresponding author
Appendices
A Weak-field limit of geometric scalars
We are interested in the expansion of the geometric invariants when we expand the metric around Minkowski spacetime
If we take the limit of linear theories of gravity up to quadratic order in the fluctuations we have
When considering TDiff scalars one can also have terms of the type
The existence of this operator gives one extra freedom. To build the action which is WTDiff invariant we perform a Weyl transformation in the usual Einstein Hilbert action taking \({\tilde{g}}_{\mu \nu }= g^{-1/4} g_{\mu \nu }\) so that
Expanding it up to quadratic order in the fluctuations and writting it in terms of the four dimensional operators (11) we get
On the other hand, taking into account that
we learn that
For the Ricci tensor we have
so that
Finally the expansion of the Ricci scalar reads
and it follows that
A useful relationship is given by
Using this it can easily be seen that the Euler density vanishes at this level of the expansion, whereas the Weyl squared tensor decomposes into
If we again consider quadratic theories which are TDiff invariant, one would have terms of the type must add
again, this yields in this case one extra freedom.
We can make the same analysis for the quadratic invariants but when considering actions that are WTDiff invariant. This can be achieved by making a Weyl transformation \({\tilde{g}}_{\mu \nu }=\Omega ^2 g_{\mu \nu }\) on the usual quadratic action (117) and then taking \(\Omega ^2 = g^{-1/n}\). For a general \(\Omega \) we have
Using that \(\Omega = g^{-1/2n}\) (in order to have WTDiff) and keeping dimension six operators with four derivatives and two metric fluctuations, we get for \(n=4\)
These are the most general theories that possess LWTDiff.
B Dimension 5 and dimension 6 operators with two-derivatives
This set of operators does not appear in the expansion of terms quadratic in the Riemann tensor, although they appear in the expansion of the Einstein–Hilbert Lagrangian.
For dimension 5, there are 14 independendent operators (up to total derivatives), that form a basis to expand the most general Lorentz invariant Lagrangian containing such opeators
For dimension 6, there are 38 independent operators (up to total derivatives), that form a basis to expand the most general Lorentz invariant Lagrangian containing such opeators
Finally, taking all the contributions mentioned in the text, the most general Weyl invariant Lagrangian up to dimension 6 operators reads
Let us mention that besides the 8 independent constants of \({\mathcal {L}}_{W_{5D}}\) (69), the 6 dimensional piece constains 16 new independent constants \(b_1, b_2, \ldots ,b_{10},b_{11},b_{14},b_{22},b_{25},b_{26},b_{27}\). Moreover, we have the 3 independent constants coming from the six dimensional piece containing 4 derivative operators \({\mathcal {L}}_{6\partial \partial \partial \partial }^W\) (45).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Alvarez, E., Anero, J. & Santos-Garcia, R. Conformal invariance versus Weyl invariance. Eur. Phys. J. C 80, 95 (2020). https://doi.org/10.1140/epjc/s10052-020-7639-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-7639-x