Abstract
We have recently undergone an analysis of gravitational theories as defined in first order formalism, where the metric and the connection are treated as independent fields. The physical meaning of the connection field has historically been somewhat elusive. In this paper, a complete spin analysis of the torsionless connection field is performed, and its consequences are explored. The main properties of a hypothetical consistent truncation of the theory are discussed as well.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Theories of gravity where the lagrangian is quadratic in the Riemann tensor [1, 2] are known to be well behaved in the ultraviolet (they are often asymptotically free) but suffer from the fatal drawback of not being unitary (cf. [3] for a general review, and [4] for a recent analysis similar in spirit to ours). The distinctive flavor of our approach, as compared with previous literature on the subject (confer in particular the work of Biswas et al. [5,6,7,8,9] and also [10]), is that we work in the first order formalism.
It has been recently pointed out [11,12,13] that when considering quadratic theories of gravity in first order formalism (which is not equivalent to the usual, second order oneFootnote 1) where the metric and the connection are considered as independent physical fields, no quartic propagators appear and the theory is not obviously inconsistent. This framework is a good candidate for a unitary and renormalizable theory of the gravitational field, leading to a posible ultraviolet (UV) completion of General Relativity (GR). Recent work, following related lines, has been done regarding a possible UV completion of GR by modifying the usual second order quadratic gravity [14,15,16].
Those theories depend on a number of independent coupling constants, which can be grouped into three big classes, corresponding to the Riemann tensor squared, the Ricci tensor squared, and the scalar curvature squared. Althoug there are many similarities with the second order approach used in the above references, there are also crucial differences. The most important of which is that we do not have explicit violation of the positivity in the spectral function (that is, we do not have propagators falling off at infinity faster that \({1\over p^2}\)). This is the reason why we have endeavored a systematic approach following our ideas from basic principles, even at the risk of rederiving some results already known in the second order approach. Of course not all of them hold true in our case. We shall point out the main differences in the main body of the paper.
In particular, there is one worrisome fact. When considering the theory around a flat background there is no propagator for the graviton. This means that either the theory is not a theory of gravity at all, or else all the dynamics of the gravitational field is determined by the three index connection field.
Of course the idea that the true dynamics of gravitation is better conveyed by the connection field than by the metric has a long history (cf. for example to the classic paper [17]). It is the closest analogue to the usual gauge theories, and can be easily related to physical experiments and observations. In fact in [11,12,13] we have shown that there are possible physical static connection sources that produce a \(V(r)={C\over r}\) potential between them. This is at variance with what happens in the usual quadratic theories as formulated in second order, in which the natural potential is a scale invariant one \(V(r)= C r\). This forces many authors to include an Einstein–Hilbert (linear in the scalar curvature) piece in the action from the very beginning if one wants to reproduce solar-system observational constraints (cf [1, 2] for a lucid discussion). Another possibility is a spontaneous symmetry breaking of the scale invariance of quadratic theories, so that the EH term is generated and dominates in the infrared (see e.g [18,19,20,21,22] regarding this issue).
The static connection sources in [11,12,13] were of the form \(J_{\mu \nu \lambda }\sim j_\mu T_{\nu \lambda }+ \cdots \), where \(j_\mu \) was a conserved current and \(T_{\mu \nu }\) was the energy-momentum tensor. The physical meaning of those sources is not clear, to say the least. In order to get a better grasp on the workings of the theory, it would be helpful to disentangle the different physical spins contained in the connection.
Our aim in this paper is precisely to perform a complete analysis of the physical content of the connection field. There are a priori 40 independent components in this field. We shall analyze them by generalizing the usual spin projectors [23,24,25] to the three-index case, and expanding the action in terms of these projectors. We shall find that generically there is a spin 3 component, which disappears only when the coefficient of the Riemann square term vanishes. This property is however not stable with respect to quantum corrections, that will make this term reappear even if the classical coefficient is fine tuned to zero. Kinematically, there is also a set of three spin 2 components, five spin 1 components and three spin 0 components.
Let us now summarize the contents of our paper. First we quickly review, mostly to establish our conventions, the spin content of the usual lagrangian linear in curvature (Einstein–Hilbert) both in second and in first order formalism. Then we tackle the spin analysis of theories quadratic in curvature, again both in second order and first order formalism. Extensive use is made of a new set of spin projectors, which are explained in the appendices.
Throughout this work we follow the Landau–Lifshitz spacelike conventions, in particular
and we define the Ricci tensor as
The commutator with our conventions is
2 Lagrangians linear in curvature (Einstein–Hilbert) in second order formalism
Let us begin by quickly reviewing some well-known results on the quadratic (one loop) approximation of General Relativity (GR), as derived from the Einstein–Hilbert (EH) lagrangian. We do that mainly to establish our notation and methodology.
We expand the EH action around flat space by taking
We are interested in the quadratic order of the expansion. The operator mediating the interaction between the metric perturbation reads
where the operator reads
In order to better understand the physical content of this action, we can decompose the symmetric tensor \(h_{\mu \nu }\) as
where as we shall see \(h^2_{\mu \nu }\) corresponds to the spin 2 part of the field. The other fields are defined as follows
Under linearized diffeomorphisms
these transform as
where we have split \(\xi _{\mu }\) in its transverse (\(\xi _{\mu }^T\)) and longitudinal (\(\partial _{\mu } \xi \)) parts.
From the transformation properties, it is clear that there is a scalar gauge invariant combination
As stated before, we want to carry out an analysis of the spin content of the fields in the theory using the spin projectors defined in “Appendix A”. The action of these spin projectorsFootnote 2 over \(h_{\mu \nu }\) gives
and integrating by parts we get
Then the Einstein–Hilbert action can be rewritten in terms of the projectors as
At this point, one can ask the question of whether it is possible to write a local lagrangian that contains only the spin 2 part of \(h_{\mu \nu }\). Indeed the spin two part can be written as
where we can see that we have a term which goes as \(\tfrac{1}{\Box ^2}\). This means that if we do not want to get non-local inverse powers of the d’Alembert operator, the simplest monomial that contains spin 2 only is going to be given by
which as is well-known suffers from several unitarity and causality problems associated to higher derivative lagrangians.Footnote 3 It would seem that the (harmless as we shall see) spin 0 addition is a necessary ingredient in a unitary Lorentz invariant spin 2 theory. We will come back to this point at the end of this work.
Let us go back to the EH action (2.11). With the help of (2.9), we can further decompose it in terms of the different fields contained in \(h_{\mu \nu }\)
The equations of motion read
so that \(A_\mu =\phi =0\), leaving just 5 free components in \(h_{\mu \nu }\) on shell.
In order to find the propagator, we need to introduce a gauge fixing term to make (2.3) invertible. Let us choose the harmonic (de Donder) gauge condition given by the operator
in such a way that
The propagator is easily found to be
We are also interested in computing the interaction energy between two external, conserved currents \(T_{(1)}^{\mu \nu }\) and \(T_{(2)}^{\mu \nu }\)
One may reasonably feel a little nervous about the negative sign of the spin 0 component in (2.11) as well as in (2.18). Let us demonstrate in a very explicit way that in spite of what it seems, the Einstein–Hilbert propagator is positive definite when saturated with physical sources.
First we assume that massless gravitons are the carriers of the interaction. In momentum space we choose
and the conservation of energy-momentum implies
Then, an easy computation leads to the expression for the free energy in terms of the components of the two external conserved sources \(T_{(1)}^{\mu \nu }\) and \(T_{(2)}^{\mu \nu }\) as
which is positive semi-definite in case of identical sources \(T_{(1)}^{\mu \nu }=T_{(2)}^{\mu \nu }\).
Moreover, for static sources the energy-momentum tensor reads (all other components vanish)
and in momentum space
it follows that
where we have represented
Therefore, the free energy is definite positive, as it should.
3 Lagrangians linear in curvature in first order formalism
Let us now make the exercise of reanalyzing this same theory in first order formalism, in which the metric and the connection are independent. We shall find after some roundabout that the physical content of the theory is the same as we previously found in the last paragraph.
We start with the Einstein–Hilbert action
and we expand it around Minkowski spacetime as
where \(A^\alpha _{\beta \gamma }\) is the quantum field for the connection, which is symmetric in the last two indices as we are restricting ourselves to the torsionless case.
After this expansion the action can be written as
where the operators mediating the interactions have the form
From the path integral, the contribution to the effective action reads
and using the background expansion (3.3) we can integrate over \(\mathcal{D}A\) yielding
where
We now expand this operator in the basis of projectors (see “Appendix A”) so that
and in this way the action can be rewritten (for \(n=4\)) as
In conclusion, we obtain the same result when we treat the theory in second order formalism (2.11) and in first order formalism, for the particular case of the Einstein–Hilbert action.
4 Lagrangians quadratic in curvature in second order formalism
Let us now begin the study of Lagrangians quadratic in the spacetime curvature, first in the usual second order formalism.
The most general action in this set (the connection is assumed in this section to be the metric one) is
When we expand around flat space \(g_{\mu \nu }=\eta _{\mu \nu }+\kappa h_{\mu \nu }\) it follows that
We can write the operator in terms of spin projectors as
where \(c_1=\beta +4\gamma \) and \(c_2=4(n-1)\alpha +n\beta +4\gamma \).
If we use the action of spin projectors over the graviton decomposition (2.9), the action can be rewritten as
Let us at this point make a short aside on the higher derivative scalar terms. Consider the lagrangian [26]
and introduce an auxiliary field, \(\chi \), so that
The EM for the auxiliary field just yields
which just reproduces the original action. Now we can define
The mixing term disappears and the action diagonalizes to
It follows that the auxiliary field becomes a ghost no matter the value of the constant C. When there is no canonical kinetic term for the field \(\psi \) this mechanism is not at work. However, such a term is always generated by the Einstein–Hilbert (linear in the space-time curvature) piece of the gravitational lagrangian. This linear piece is physically unavoidable, even if it is not present in the classical lagrangian, it will be generated by radiative corrections.Footnote 4
Going back to our analysis, we can obtain the equations of motion for the quadratic action (4.4)
Please note that the equations of motion have four derivatives so that the only way in which we can fix this problem is by taking \(c_1=c_2=0\). This implies
In this case the lagrangian is proportional to the Gauss-Bonnet density, i.e. \(\alpha =1,\beta =-4,\gamma =1\) and \(n=4\), and the operator (4.3) reduces to
This fact follows from the identity
Let us now obtain the propagator for the general quadratic action (4.4), again in the harmonic gauge (2.16) with a gauge parameter \(-\tfrac{1}{2\xi }\). The operator reads
and inverting it we get
provided \(c_1\ne 0\) and \(c_2\ne 0\).
Now the interaction energy between external static sources, for \(n=4\), is proportional to
This result is independent of the gauge fixing, and for the particular case \(2c_1=-c_2\), the dependence on the sources is proportional to the Einstein–Hilbert one
However, the factor \(\frac{1}{k^4}\) in momentum space leads to a confining (linear) potential in position space.
4.1 Adding a term linear in the scalar curvature
It has been argued in [11,12,13] that a term linear in the spacetime curvature will be generated by quantum corrections, even if it is not initially present in the classical lagrangian. It is then of interest to consider the quadratic action plus the Einstein–Hilbert action
We can use the same harmonic gauge fixing (2.16) with parameter \(\xi \), so that the total operator can be written in terms of projectors as
Inverting the operator the propagator reads
Once we have the propagator, it is easy to check that the interaction energy between two external, static sources, for \(n=4\), is proportional to
Notice that the only contributions to the free energy come from \(P_2\) and \(P_0^s\) as the rest of spin operators do not contribute when saturated with the sources. The spin 2 piece can be rewritten as
The first term comes from the Einstein–Hilbert action, giving the well-known massless pole, whereas the second term corresponds to a massive \(k^2=-\frac{\lambda }{2\kappa ^2c_1}\) spin 2 pole with negative residue, coming from the quadratic action.
The spin 0 piece has the form
In this case, the first term is a massive \(k^2=\frac{\lambda (n-2)}{2\kappa ^2c_2}\) spin 0 pole with positive residue, coming from the quadratic piece of the action. The second term is again the massless spin 0 pole with negative residue that we already encountered when studying the EH action.
5 Lagrangians quadratic in curvature in first order formalism
Let us now enter into the main topic of this paper, namely the general situation in which the physics is conveyed by the graviton as well as by the connection field. Actually, as was pointed out in [3], when considering a metric fluctuating around flat space there is no kinetic term for the graviton, so that all the physics is encoded in the connection field. This is the main reason why we underwent a systematic analysis of the spin content of the said connection field. We consider the general action
and we again use the expansion around Minkowski spacetime given by
where \(A^\alpha _{\beta \gamma }\) is the quantum field for the connection, which is symmetric in the last two indices as we are restricting ourselves to the torsionless case.
The action reduces to a kinetic term for the connection field
where the operator reads
In the “Appendix B” we have studied the spin projectors for connection fields \(A\in \mathcal{A}\), where \(\mathcal{A}\) is the space of torsionless connections (see “Appendix C” for metric, torsionful connections). There are two main sectors in this space: the one corresponding to connections symmetric in the three indices (B.1), \(A_S\), and the one endowed with the hook symmetry (B.2), \(\mathcal {A}_H\), each one with 20 components. The spin content of the symmetric sector is
and the spin content of the hook one is given by
There are 12 mutually orthogonal projectors on these different sectors. Projectors on the symmetric sector are represented by roman letters and indexed by the spin, \(\text {P}_s\), whereas projectors in the hook sector are represented by calligraphic letters also indexed by the spin, \(\mathcal{P}_s\). Nevertheless, this is not enough to expand the most general linear operator
which has dimension 22. In order to find a basis for this space, we need to add 10 new operators to the above set, which are not mutually orthogonal anymore. These new operators will be denoted as \({\mathscr {P}}_s\), where s stands for the spin. Explicit expressions can be found in the “Appendix B.3”.
Once we have obtained the complete basis for this space, we can expand the general operator in terms of these spin operators as
We also need to choose a gauge fixing, in this case we take
from where we can extract the operator which in terms of the projectors reads
From the decomposition of the gauge fixing operator we see that the gauge fixing term does not posses any spin 2 or spin 3 piece. Looking at the operator (5.8) for the three quadratic terms, we are going to have problems when \(\gamma \) equals zero due to the fact that \(\text {P}_3\), \({\mathcal {P}}_2^s\) and \({\mathcal {P}}_1^s\) disappear from the scene. As we have seen, we cannot recover the spin 2 and spin 3 ones from the gauge fixing, so this leads to a non invertible operator, and thus, to new zero modes.
To understand this fact, let us focus in the simplest case where \(\beta = \gamma = 0\). The operator for \(R^2\) collapses to
so that
It follows that there are a grand total of 13 new zero modes. They are listed in the “Appendix D”. Physically, this means that the theory has extra gauge symmetry when considered at one loop order, in addition to the one it has for the full theory, namely diffeomorphism and Weyl invariance. We are not aware of any other physical system where this happens. For what we can say, these extra gauge symmetries are accidental, and will disappear when computing higher loop orders.
It is plain that the first order theory has a sector in which the connection reduces to the metric one. It is physically obvious that in this sector the theory should reduce to the one obtained in second order formalism. Let us then check what happens when the connection reduces to the Levi-Civita connection. Around flat space we have
With this change we can extract an operator mediating interactions between the \(h_{\mu \nu }\) and expand it in terms of the four-index spin projectors. In this way we can see how the six-index projectors and the four-index projectors talk to each other. The full correspondence is as follows
\({ {A_{\lambda \mu \nu } P^{\lambda \mu \nu }_{\alpha \beta \gamma } A^{\alpha \beta \gamma }}}\) | \({h_{\mu \nu } P ^{\mu \nu }_{\alpha \beta } h^{\alpha \beta }}\) |
---|---|
\(\text {P}_0^w \) | \( \dfrac{k^2}{4} P_0^w \) |
\(\text {P}_0^s \) | \( \dfrac{k^2}{36} (n-1) P_0^s\) |
\( {\mathcal {P}}_0^s\) | \( \dfrac{2 k^2}{9} (n-1) P_0^s\) |
\({\mathscr {P}}_0^x \) | \( \dfrac{ k^2}{6} (n-1) {P_0^s}\) |
\({\mathscr {P}}_0^{sw}\) | \(- \dfrac{ k^2}{3} \sqrt{n-1} P_0^\times \) |
\({\mathscr {P}}_0^{ws}\) | \( \dfrac{ k^2}{12} \sqrt{n-1} P_0^\times \) |
\(\text {P}_1^{w} \) | \( \dfrac{ k^2}{6} P_1\) |
\({\mathcal {P}}_1^{w} \) | \(\dfrac{ k^2}{3} P_1\) |
\(\text {P}_2\) | \(\dfrac{ k^2}{12} P_2 - \dfrac{ k^2}{36} (n-4) P_0^s\) |
\({\mathcal {P}}_2 \) | \( \dfrac{2 k^2}{3} P_2- \dfrac{ 2 k^2}{9} (n-4) P_0^s\) |
\({\mathscr {P}}_2^x \) | \( \dfrac{ k^2}{2} P_2 - \dfrac{ k^2}{6} (n-4) P_0^s\) |
where \(\text {P}_1^s,{\mathcal {P}}_1^s,{\mathcal {P}}_1^w,{\mathcal {P}}_1^t,{\mathscr {P}}_1^{wx},{\mathscr {P}}_1^{ws},{\mathscr {P}}_1^{sw},{\mathscr {P}}_1^{sx},{\mathscr {P}}_1^{ss},{\mathscr {P}}_1^{wst},{\mathcal {P}}_2^s,\text {P}_3\), do not contribute when the connection reduces to the metric one.
The end result is that spin 3 collapses to zero, and the surviving different spin 2 sectors of the first order theory degenerate into the unique spin 2 of the second order one. Moreover, spin 1 reduces to spin 1 when going to second order formalism, as well as spin 0 goes to spin 0.
In the process however, a power of \(k^2\) has been generated. This power is the responsible for the lack of (perturbative) unitarity of the theory in second order formalism. This problem then appears in this particular sector of the first order theory as well.
Then, unless a consistent method is found to isolate this sector from the full first order theory (id est, a consistent truncation), the latter will inherit the unitarity problems of the second order one.
6 Conclusions
When analyzing the connection field, one easily finds that there is generically a spin 3 component. This might be a problem in the sense that it is well-known (cf. for example [27]) that it is not possible to build an interacting theory for spin 3 with a finite number of fields. Although we see no particular type of inconsistency to the order we have worked, it is always possible to avoid the presence of this spin 3 field altogether by choosing a particular set of coupling constants, namely, putting to zero the coefficient of the Riemann squared term. This combination is not stable by renormalization, so that this choice implies a fine tuning of sorts. In addition there are several spin 0, spin 1 and spin 2 fields. This proliferation of spins occurs even for the Einstein–Hilbert action when in first order formalism.
When the connection collapses to the metric (Levi-Civita) form, the spin 3 component disappears, and all spin 2 components are identified, but this sector suffers from the well-known unitarity problems present in second order formalism.
In conclusion it is unclear whether it will be possible to define a truncation of the gravity lagrangian quadratic in curvature in first order formalism in which the problems of unitarity are absent. It seems that the healthy sectors do not describe gravity, and the sectors that do describe gravity fall into the known unitarity problems. To be specific, let us define a scalar product in \(\mathcal{A}\)
Then the subspace \(\mathcal{A}^\perp \) orthogonal to the metric connections
is defined by
which in terms of projectors reads
where \(\Omega _{\rho \sigma \tau }^i \in \mathcal{A}\).
Now, if we want to write a local lagrangian involving \(A^\perp \) only, we encounter the same problems we faced early on when we intended to write a lagrangian in terms of \(h^2_{\mu \nu }\) only (2.13). For example, taking just the spin 3 part, due to the fact that \({(\text {P}_3)} _{\mu \nu \lambda }^{\rho \sigma \tau } \ \Omega _{\rho \sigma \tau }\) goes as \(\Box ^{-3}\), we will need to have an action of the type
if we want it to be formally local (in the sense that no negative powers of \(\Box \) appear).
It is perhaps worth remarking that some of these problems are shared even by theories linear in curvature, as soon as fermionic matter is coupled to gravity. In this case the first order formalism and the second order one are not equivalent, and in fact when treating the theory in first order formalism, spacetime torsion is generated on shell. This fact seems worthy of some extra research.
More work is clearly needed however before a good understanding of the first order formalism is achieved.
Notes
Even for the Einstein–Hilbert first order lagrangian the equivalence is lost as soon as fermionic matter is considered.
It has to be understood that when writting the action of the projectors in terms of derivatives and box operators, it is implicit that these correspond to the ones of flat space.
Note that this action has a larger gauge symmetry, namely
$$\begin{aligned} \delta h_{\mu \nu }=\left( P_1\right) _{\mu \nu \rho \sigma }\Lambda _1^{\rho \sigma } +\left( P_0^s\right) _{\mu \nu \rho \sigma }\Lambda _2^{\rho \sigma } +\left( P_0^w\right) _{\mu \nu \rho \sigma }\Lambda _3^{\rho \sigma } \end{aligned}$$where \(\Lambda _i^{\mu \nu }\) are arbitrary fields.
If we restrict ourselves only to the \(R^2\) terms, i.e. \(\beta =\gamma =0\), we get
$$\begin{aligned} S_{R^{2}}=\kappa ^{2}\alpha \int d^{n} x~ \psi \Box ^{2}\psi \end{aligned}$$so that the equation of motion reads
$$\begin{aligned} \Box ^2\psi =0 \end{aligned}$$From this we can see that there is a gauge invariant ghostly state.
References
K.S. Stelle, Renormalization of higher derivative quantum gravity. Phys. Rev. D 16, 953 (1977). https://doi.org/10.1103/PhysRevD.16.953
Classical Gravity with Higher Derivatives, Gen. Rel. Grav. 9, 353 (1978). https://doi.org/10.1007/BF00760427
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
L. Alvarez-Gaume, A. Kehagias, C. Kounnas, D. Lüst, A. Riotto, Aspects of quadratic gravity. Fortschr. Phys. 64(2–3), 176 (2016). https://doi.org/10.1002/prop.201500100. arXiv:1505.07657 [hep-th]
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]
T. Biswas, T. Koivisto, A. Mazumdar, Nonlocal theories of gravity: the flat space propagator, arXiv:1302.0532 [gr-qc]
T. Biswas, A. Conroy, A.S. Koshelev, A. Mazumdar, Generalized ghost-free quadratic curvature gravity, Class. Quant. Grav. 31 (2014) 015022 Erratum: [Class. Quant. Grav. 31 (2014) 159501] https://doi.org/10.1088/0264-9381/31/1/015022, https://doi.org/10.1088/0264-9381/31/15/159501. arXiv:1308.2319 [hep-th]
T. Biswas, A.S. Koshelev, A. Mazumdar, Fundam. Theor. Phys. 183, 97 (2016). https://doi.org/10.1007/978-3-319-31299-65. arXiv:1602.08475 [hep-th]
T. Biswas, A .S. Koshelev, A. Mazumdar, Consistent higher derivative gravitational theories with stable de Sitter and antide Sitter backgrounds. Phys. Rev. D 95(4), 043533 (2017). https://doi.org/10.1103/PhysRevD.95.043533. arXiv:1606.01250 [gr-qc]
P. Baekler, F.W. Hehl, Beyond Einstein–Cartan gravity: quadratic torsion and curvature invariants with even and odd parity including all boundary terms. Class. Quantum Gravity 28, 215017 (2011). https://doi.org/10.1088/0264-9381/28/21/215017. arXiv:1105.3504 [gr-qc]
E. Alvarez, J. Anero, S. Gonzalez-Martin, Quadratic gravity in first order formalism. JCAP 1710(10), 008 (2017). https://doi.org/10.1088/1475-7516/2017/10/008. arXiv:1703.07993 [hep-th]
E. Alvarez, S. Gonzalez-Martin, Weyl gravity revisited. JCAP 1702(.02), 011 (2017). https://doi.org/10.1088/1475-7516/2017/02/011. arXiv:1610.03539 [hep-th]
E. Alvarez, J. Anero, S. Gonzalez-Martin, R. Santos-Garcia, A candidate for an UV completion: quadratic gravity in first order formalism, arXiv:1710.01764 [hep-th]
M.B. Einhorn, D.R.T. Jones, Renormalizable, asymptotically free gravity without ghosts or tachyons. Phys. Rev. D 96(12), 124025 (2017). https://doi.org/10.1103/PhysRevD.96.124025. arXiv:1710.03795 [hep-th]
J.F. Donoghue, G. Menezes, Gauge assisted quadratic gravity: a framework for UV complete quantum gravity. Phys. Rev. D 97(12), 126005 (2018). https://doi.org/10.1103/PhysRevD.97.126005. arXiv:1804.04980 [hep-th]
A. Salvio, A. Strumia, Agravity up to infinite energy. Eur. Phys. J. C 78(2), 124 (2018). https://doi.org/10.1140/epjc/s10052-018-5588-4. arXiv:1705.03896 [hep-th]
J. Ehlers, F.A.E. Pirani, A. Schild, The geometry of Free Fall and Light Propagation, in General Relativity, Papers in Honour J. L. Synge, ed. by L. O’Raifeartaigh (Clarendon Press, Oxford, 1972), pp. 63–84
P.G. Ferreira, C.T. Hill, G.G. Ross, Inertial spontaneous symmetry breaking and quantum scale invariance, arXiv:1801.07676 [hep-th]
M .B. Einhorn, D .R .T. Jones, Induced gravity I: real scalar field. JHEP 1601, 019 (2016). https://doi.org/10.1007/JHEP01(2016)019. arXiv:1511.01481 [hep-th]
A. Salvio, A. Strumia, Agravity. JHEP 1406, 080 (2014). https://doi.org/10.1007/JHEP06(2014)080. arXiv:1403.4226 [hep-ph]
I.L. Shapiro, Mod. Phys. Lett. A 9, 1994 (1985). https://doi.org/10.1142/S0217732394001842. arXiv:hep-th/9403077
S .D. Odintsov, I .L. Shapiro, Curvature phase transition in \(R^2\) quantum gravity and induction of Einstein gravity. Theor. Math. Phys. 90, 319 (1992). https://doi.org/10.1142/S0217732394001842. arXiv:hep-th/9403077
K.J. Barnes, Unpublished (part of Ph. D. Thesis at University of London) (1963)
R.J. Rivers, Lagrangian theory or neutral massive spin-2 fields. Nuov. Cim. 34, 386 (1964)
P. Van Nieuwenhuizen, On ghost-free tensor lagrangians and linearized gravitation. Nucl. Phys. B 60, 478 (1973). https://doi.org/10.1016/0550-3213(73)90194-6
P. Creminelli, A. Nicolis, M. Papucci, E. Trincherini, Ghosts in massive gravity. JHEP 0509, 003 (2005). https://doi.org/10.1088/1126-6708/2005/09/003. arXiv:hep-th/0505147
X. Bekaert, N. Boulanger, P. Sundell, How higher-spin gravity surpasses the spin two barrier: no-go theorems versus yes-go examples. Rev. Mod. Phys. 84, 987 (2012). https://doi.org/10.1103/RevModPhys.84.987. arXiv:1007.0435 [hep-th]
J. M. Martin-Garcia et.al. xAct: Efficient tensor computer algebra for Mathematica. 2002–2013. http://xact.es/
E. Sezgin, P. van Nieuwenhuizen, Phys. Rev. D 21, 3269 (1980). https://doi.org/10.1103/PhysRevD.21.3269
Acknowledgements
One of us (EA) is grateful for discussions with prof. V. Berezin as well as for correspondence with M. Asorey, M. Einhorn, JM Gracia-Bondia and Joseph C. Varilly. We are grateful to G. Milans del Bosch for useful comments on the manuscript. RSG is supported by the Spanish FPU Grant no. FPU16/01595. This work has received funding from the European Unions 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), COST actions MP1405 (Quantum Structure of Spacetime) and COST MP1210 (The string theory Universe). This work is supported by the Spanish Research Agency (Agencia Estatal de Investigacion) through the Grant IFT Centro de Excelencia Severo Ochoa SEV-2016-0597.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Spin content and spin projectors
In order to get the spin projectors for a symmetric tensor , let us start with a simple vector field \(u^\mu \). If we consider a timelike reference momentum \(k^\mu \) (with \(k^2>0\)), physics is simpler in the adapted frame where
Therefore, the spin content of a vector \(u^\mu \) which we represent as is
And the corresponding projectors in momentum space read
It should be noted that these operators are non-local in position space where \(\dfrac{1}{k^2}\) stands for \(\Box ^{-1}\). We shall use both momentum and position space as equivalent. That is, we could as well write
so the traces read as follows
As it is well-known, the metric \(h_{\mu \nu }\) (or equivalently, the frame field, \(h^a\,_\mu \)) transforms in the euclidean setting under the representation of SO(4), so the spin content and corresponding projectors are given by
These particular projectors have been studied previously by Barnes and Rivers [23, 24]. They are complete in the symmetrized direct product
where \(T_x\) is the tangent space at the point \(x\in M\) of the space-time manifold.
It is convenient to define another projector
and the non-differential projectors are
Then we can write a closure relation for these projectors, to be specific,
These projectors are not enough though, as they do not form a base of the space of four-index tensors of the type of interest. Such a base is formed by five independent monomials, namely (permutations are implicit)
Therefore, in order to get a basis, we then need to add a new independent operator
that can be identified with the mixing of the two spin 0 components, h and \(h_{00}\). It is clear that this new operator cannot be orthogonal to the other four, since closure implies that the only operator orthogonal to the set that closes is the null operator.
Appendix B: Spin content of the symmetric connection field
In this appendix, we decompose the operators mediating between two connection fields \(A_{\mu \beta \gamma }\equiv g_{\alpha \mu }\Gamma ^\alpha _{\beta \gamma }\) – symmetric in the last two indices, because we are assuming vanishing torsion – in terms of the spin projectors of this field. The procedure is analogue to the one followed in “Appendix A”.
Since \(A_{\mu \nu \lambda }=A_{\mu \lambda \nu }\),
The quadratic kinetic operator in this space is
In order to disentangle the physical meaning of the gauge piece of the total action, we would like to expand K as a sum of projectors with definite spin. There are 22 independent monomials to consider. Let un proceed by steps.
The projector into \(\mathcal{A}\) – namely, the identity in this space – is
(where the last equality in the first equation refers to the vector notation introduced in the “Appendix E”). The subspace \(\mathcal{A}\) corresponds, in terms of representations of the tangent group SO(4), to the sum of a totally symmetric three-index tensor plus a tensor with the hook symmetry
In terms of dimensions this is \(\underline{40}=\underline{20}+\underline{20}\). The Young projectors are
and the hook representation
It should be stressed that this projector is not symmetric in \((\alpha \beta )\), but rather in \((\beta ,\gamma )\).
In the following, we will keep this notation: \(\text {P}\) for the projectors in the symmetric subspace and \(\mathcal{P}\) for those in the hook subspace.
The Young projectors are symmetric, orthogonal and add to the identity in \(\mathcal{A}\)
Then we can always write for any \(A\in \mathcal{A}\)
with
1.1 B.1 The totally symmetric tensor
Let us start by determining the spin content of the totally symmetric piece \(\left( P_{\{3\}} A \right) _{\alpha \beta \gamma }\equiv A_{(\alpha \beta \gamma )}\).
We can decompose it in its spin components as
-
First the spin 3 component, which is given in the rest frame by
$$\begin{aligned} \quad A^T_{ijk}\equiv A_{ijk}-{1\over 5}\left( A_i\delta _{jk}+A_j\delta _{ik}+A_k\delta _{ij}\right) \end{aligned}$$(B.11)where
$$\begin{aligned} A_i\equiv \sum _j A_{i jj} \end{aligned}$$(B.12)There are of course 7 components in this set.
The spin 3 projector reads
$$\begin{aligned} (\text {P}_3)_{\lambda \mu \nu }^{\alpha \beta \gamma }&=\dfrac{1}{6}\bigg ( \theta ^{\alpha }{}_{\nu } \theta ^{\beta }{}_{\mu } \theta ^{\gamma }{}_{\lambda } + \theta ^{\alpha }{}_{\mu } \theta ^{\beta }{}_{\nu } \theta ^{\gamma }{}_{\lambda } \nonumber \\&\quad + \theta ^{\alpha }{}_{\nu } \theta ^{\beta }{}_{\lambda } \theta ^{\gamma }{}_{\mu } + \theta ^{\alpha }{}_{\lambda } \theta ^{\beta }{}_{\nu } \theta ^{\gamma }{}_{\mu } + \theta ^{\alpha }{}_{\mu } \theta ^{\beta }{}_{\lambda } \theta ^{\gamma }{}_{\nu } \nonumber \\&\quad + \theta ^{\alpha }{}_{\lambda } \theta ^{\beta }{}_{\mu } \theta ^{\gamma }{}_{\nu }\bigg )\nonumber \\&\quad - \dfrac{1}{15}\bigg ( \theta ^{\alpha }{}_{\nu } \theta ^{\beta \gamma } \theta _{\mu \lambda }+ \theta ^{\alpha \gamma } \theta ^{\beta }{}_{\nu } \theta _{\mu \lambda }\nonumber \\&\quad +\theta ^{\alpha \beta } \theta ^{\gamma }{}_{\nu } \theta _{\mu \lambda }+\theta ^{\alpha }{}_{\mu } \theta ^{\beta \gamma } \theta _{\nu \lambda }+ \theta ^{\alpha \gamma } \theta ^{\beta }{}_{\mu } \theta _{\nu \lambda } \nonumber \\&\quad +\theta ^{\alpha \beta } \theta ^{\gamma }{}_{\mu } \theta _{\nu \lambda } + \theta ^{\alpha }{}_{\lambda } \theta ^{\beta \gamma } \theta _{\mu \nu }+\theta ^{\alpha \gamma } \theta ^{\beta }{}_{\lambda } \theta _{\mu \nu }\nonumber \\&\quad +\theta ^{\alpha \beta } \theta ^{\gamma }{}_{\lambda } \theta _{\mu \nu }\bigg ) \end{aligned}$$(B.13) -
The spin 2 component is given in the rest frame by
$$\begin{aligned} A^T_{0ij}\equiv A_{0ij}-{1\over 3} A_0\delta _{ij} \end{aligned}$$(B.14)where
$$\begin{aligned} A_0\equiv \sum _i A_{0 ii} \end{aligned}$$(B.15)The projector reads
$$\begin{aligned} (\text {P}_2)_{\lambda \mu \nu }^{\alpha \beta \gamma }&=\tfrac{1}{6} \theta ^{\beta }{}_{\nu } \theta ^{\gamma }{}_{\mu } \omega ^{\alpha }{}_{\lambda } + \tfrac{1}{6} \theta ^{\beta }{}_{\mu } \theta ^{\gamma }{}_{\nu } \omega ^{\alpha }{}_{\lambda }\nonumber \\&\quad - \tfrac{1}{9} \theta ^{\beta \gamma } \theta _{\mu \nu } \omega ^{\alpha }{}_{\lambda } \nonumber \\&\quad + \tfrac{1}{6} \theta ^{\beta }{}_{\nu } \theta ^{\gamma }{}_{\lambda } \omega ^{\alpha }{}_{\mu } + \tfrac{1}{6} \theta ^{\beta }{}_{\lambda } \theta ^{\gamma }{}_{\nu } \omega ^{\alpha }{}_{\mu } \nonumber \\&\quad - \tfrac{1}{9} \theta ^{\beta \gamma } \theta _{\lambda \nu } \omega ^{\alpha }{}_{\mu } + \tfrac{1}{6} \theta ^{\beta }{}_{\mu } \theta ^{\gamma }{}_{\lambda } \omega ^{\alpha }{}_{\nu }\nonumber \\&\quad + \tfrac{1}{6} \theta ^{\beta }{}_{\lambda } \theta ^{\gamma }{}_{\mu } \omega ^{\alpha }{}_{\nu } - \tfrac{1}{9} \theta ^{\beta \gamma } \theta _{\lambda \mu } \omega ^{\alpha }{}_{\nu }\nonumber \\&\quad + \tfrac{1}{6} \theta ^{\alpha }{}_{\nu } \theta ^{\gamma }{}_{\mu } \omega ^{\beta }{}_{\lambda } \nonumber \\&\quad + \tfrac{1}{6} \theta ^{\alpha }{}_{\mu } \theta ^{\gamma }{}_{\nu } \omega ^{\beta }{}_{\lambda } - \tfrac{1}{9} \theta ^{\alpha \gamma } \theta _{\mu \nu } \omega ^{\beta }{}_{\lambda } \nonumber \\&\quad + \tfrac{1}{6} \theta ^{\alpha }{}_{\nu } \theta ^{\gamma }{}_{\lambda } \omega ^{\beta }{}_{\mu } + \tfrac{1}{6} \theta ^{\alpha }{}_{\lambda } \theta ^{\gamma }{}_{\nu }\nonumber \\&\quad \times \omega ^{\beta }{}_{\mu } - \tfrac{1}{9} \theta ^{\alpha \gamma } \theta _{\lambda \nu } \omega ^{\beta }{}_{\mu } \nonumber \\&\quad + \tfrac{1}{6} \theta ^{\alpha }{}_{\mu } \theta ^{\gamma }{}_{\lambda } \omega ^{\beta }{}_{\nu } + \tfrac{1}{6} \theta ^{\alpha }{}_{\lambda } \theta ^{\gamma }{}_{\mu } \omega ^{\beta }{}_{\nu }\nonumber \\&\quad - \tfrac{1}{9} \theta ^{\alpha \gamma } \theta _{\lambda \mu } \omega ^{\beta }{}_{\nu }\nonumber \\&\quad + \tfrac{1}{6} \theta ^{\alpha }{}_{\nu } \theta ^{\beta }{}_{\mu } \omega ^{\gamma }{}_{\lambda } + \tfrac{1}{6} \theta ^{\alpha }{}_{\mu } \theta ^{\beta }{}_{\nu } \omega ^{\gamma }{}_{\lambda } \nonumber \\&\quad - \tfrac{1}{9} \theta ^{\alpha \beta } \theta _{\mu \nu } \omega ^{\gamma }{}_{\lambda } + \tfrac{1}{6} \theta ^{\alpha }{}_{\nu } \theta ^{\beta }{}_{\lambda } \omega ^{\gamma }{}_{\mu } \nonumber \\&\quad + \tfrac{1}{6} \theta ^{\alpha }{}_{\lambda } \theta ^{\beta }{}_{\nu } \omega ^{\gamma }{}_{\mu } - \tfrac{1}{9} \theta ^{\alpha \beta } \theta _{\lambda \nu } \omega ^{\gamma }{}_{\mu }\nonumber \\&\quad + \tfrac{1}{6} \theta ^{\alpha }{}_{\mu } \theta ^{\beta }{}_{\lambda } \omega ^{\gamma }{}_{\nu } \nonumber \\&\quad + \tfrac{1}{6} \theta ^{\alpha }{}_{\lambda } \theta ^{\beta }{}_{\mu } \omega ^{\gamma }{}_{\nu } - \tfrac{1}{9} \theta ^{\alpha \beta } \theta _{\lambda \mu } \omega ^{\gamma }{}_{\nu } \end{aligned}$$(B.16) -
There are two spin 1 components. First the one that is given in the rest frame by
$$\begin{aligned} A_{ijk}\delta ^{jk} \end{aligned}$$(B.17)with projector
$$\begin{aligned} (\text {P}_{1}^s)_{\lambda \mu \nu }^{\alpha \beta \gamma }&=\dfrac{1}{15} ( \theta ^{\alpha }{}_{\nu } \theta ^{\beta \gamma } \theta _{\mu \lambda } + \theta ^{\alpha \gamma } \theta ^{\beta }{}_{\nu } \theta _{\mu \lambda } + \theta ^{\alpha \beta } \theta ^{\gamma }{}_{\nu } \theta _{\mu \lambda } \nonumber \\&\quad + \theta ^{\alpha }{}_{\mu } \theta ^{\beta \gamma } \theta _{\lambda \nu } + \theta ^{\alpha \gamma } \theta ^{\beta }{}_{\mu } \theta _{\lambda \nu } + \theta ^{\alpha \beta } \theta ^{\gamma }{}_{\mu } \theta _{\lambda \nu } \nonumber \\&\quad + \theta ^{\alpha }{}_{\lambda } \theta ^{\beta \gamma } \theta _{\mu \nu } + \theta ^{\alpha \gamma } \theta ^{\beta }{}_{\lambda } \theta _{\mu \nu } + \theta ^{\alpha \beta } \theta ^{\gamma }{}_{\lambda } \theta _{\mu \nu }) \end{aligned}$$(B.18)The other corresponds to
$$\begin{aligned} A_{00i} \end{aligned}$$(B.19)and the projector is
$$\begin{aligned} (\text {P}_1^w)_{\lambda \mu \nu }^{\alpha \beta \gamma }&=\dfrac{1}{6}\bigg ( \theta ^{\gamma }{}_{\nu } w^{\alpha }{}_{\mu } w^{\beta }{}_{\lambda } + \theta ^{\gamma }{}_{\mu } w^{\alpha }{}_{\nu } w^{\beta }{}_{\lambda } \nonumber \\&\quad + \theta ^{\gamma }{}_{\nu } w^{\alpha }{}_{\lambda } w^{\beta }{}_{\mu } + \theta ^{\gamma }{}_{\lambda } w^{\alpha }{}_{\nu } w^{\beta }{}_{\mu } + \theta ^{\gamma }{}_{\mu } w^{\alpha }{}_{\lambda } w^{\beta }{}_{\nu } \nonumber \\&\quad + \theta ^{\gamma }{}_{\lambda } w^{\alpha }{}_{\mu } w^{\beta }{}_{\nu } + \theta ^{\beta }{}_{\nu } w^{\alpha }{}_{\mu } w^{\gamma }{}_{\lambda } + \theta ^{\beta }{}_{\mu } w^{\alpha }{}_{\nu } w^{\gamma }{}_{\lambda }\nonumber \\&\quad + \theta ^{\alpha }{}_{\nu } w^{\beta }{}_{\mu } w^{\gamma }{}_{\lambda } + \dfrac{1}{6} \theta ^{\alpha }{}_{\mu } w^{\beta }{}_{\nu } w^{\gamma }{}_{\lambda } \nonumber \\&\quad + \theta ^{\beta }{}_{\nu } w^{\alpha }{}_{\lambda } w^{\gamma }{}_{\mu } + \theta ^{\beta }{}_{\lambda } w^{\alpha }{}_{\nu } w^{\gamma }{}_{\mu }\nonumber \\&\quad + \dfrac{1}{6} \theta ^{\alpha }{}_{\nu } w^{\beta }{}_{\lambda } w^{\gamma }{}_{\mu } + \theta ^{\alpha }{}_{\lambda } w^{\beta }{}_{\nu } w^{\gamma }{}_{\mu } \nonumber \\&\quad + \theta ^{\beta }{}_{\mu } w^{\alpha }{}_{\lambda } w^{\gamma }{}_{\nu } + \theta ^{\beta }{}_{\lambda } w^{\alpha }{}_{\mu } w^{\gamma }{}_{\nu }\nonumber \\&\quad + \dfrac{1}{6} \theta ^{\alpha }{}_{\mu } w^{\beta }{}_{\lambda } w^{\gamma }{}_{\nu } + \theta ^{\alpha }{}_{\lambda } w^{\beta }{}_{\mu } w^{\gamma }{}_{\nu }\bigg ) \end{aligned}$$(B.20) -
There are also two different spin zero components. The first one corresponds to
$$\begin{aligned} A_{000} \end{aligned}$$(B.21)and its projector is
$$\begin{aligned} (\text {P}_0^w)_{\lambda \mu \nu }^{\alpha \beta \gamma }&=\dfrac{1}{6}\bigg ( \omega ^{\alpha }{}_{\nu } \omega ^{\beta }{}_{\mu } \omega ^{\gamma }{}_{\lambda } + \omega ^{\alpha }{}_{\mu } \omega ^{\beta }{}_{\nu } \omega ^{\gamma }{}_{\lambda } \nonumber \\&\quad + \omega ^{\alpha }{}_{\nu } \omega ^{\beta }{}_{\lambda } \omega ^{\gamma }{}_{\mu } + \omega ^{\alpha }{}_{\lambda } \omega ^{\beta }{}_{\nu } \omega ^{\gamma }{}_{\mu } \nonumber \\&\quad + \omega ^{\alpha }{}_{\mu } \omega ^{\beta }{}_{\lambda } \omega ^{\gamma }{}_{\nu } + \omega ^{\alpha }{}_{\lambda } \omega ^{\beta }{}_{\mu } \omega ^{\gamma }{}_{\nu }\bigg ) \end{aligned}$$(B.22)while the second one corresponds to
$$\begin{aligned} A_{0ij}\delta ^{ij} \end{aligned}$$(B.23)with projector
$$\begin{aligned} (\text {P}_{0}^s)_{\lambda \mu \nu }^{\alpha \beta \gamma }&=\dfrac{1}{9}\bigg ( \theta ^{\beta \gamma } \theta _{\mu \nu } w^{\alpha }{}_{\lambda } + \theta ^{\beta \gamma } \theta _{ln} w^{\alpha }{}_{\mu } + \theta ^{\beta \gamma } \theta _{\mu \lambda } w^{\alpha }{}_{\nu } \nonumber \\&\quad + \theta ^{\alpha \gamma } \theta _{\mu \nu } w^{\beta }{}_{\lambda } + \theta ^{\alpha \gamma } \theta _{\lambda \nu } w^{\beta }{}_{\mu } \nonumber \\&\quad + \theta ^{\alpha \gamma } \theta _{\mu \lambda } w^{\beta }{}_{\nu } + \theta ^{\alpha \beta } \theta _{\mu \nu } w^{\gamma }{}_{\lambda } + \theta ^{\alpha \beta } \theta _{\lambda \nu } w^{\gamma }{}_{\mu }\nonumber \\&\quad + \theta ^{\alpha \beta } \theta _{\mu \lambda } w^{\gamma }{}_{\nu }\bigg ) \end{aligned}$$(B.24)Altogether we have accounted for the 20 components in this set and the spin content is
$$\begin{aligned} \underline{20}_S=\left( \underline{3}\right) \oplus \left( \underline{2}\right) \oplus 2\,\left( \underline{1}\right) \oplus 2\,\left( \underline{0}\right) \end{aligned}$$(B.25)Indeed, they satisfy the closure relation that symbolicall reads,
$$\begin{aligned} \text {P}_0^s+\text {P}_0^w+\text {P}_1^s+\text {P}_1^w +\text {P}_2+\text {P}_3=\text {P}_S \end{aligned}$$(B.26)
1.2 B.2 The hook sector
Let us now work out the spin content of the 20 components of the diagram \(P_{\{2,1\}} A\).
We will henceforth assume that connections are already projected into the corrresponding Young subspace, that is, when \(A\in \mathcal{A}\),
This implies cyclic symmetry
Consider first components with one element in the direction of the momentum (that is the 0-th component in the rest frame). Remember that for the projectors acting in this subspace we are using the letter \({\mathcal {P}}\).
-
There is only one spin zero, a trace that is given by
$$\begin{aligned} \sum _{i=1}^3 A_{i 0 i} \end{aligned}$$(B.29)that is
$$\begin{aligned} ({\mathcal {P}}_0^{s})_{\lambda \mu \nu }^{\alpha \beta \gamma }&=- \dfrac{1}{9} \theta ^{\beta \gamma } \theta _{\mu \nu } w^{\alpha }{}_{\lambda } + \dfrac{2}{9} \theta ^{\beta \gamma } \theta _{\nu \lambda } w^{\alpha }{}_{\mu } \nonumber \\&\quad - \dfrac{1}{9} \theta ^{\beta \gamma } \theta _{\mu \lambda } w^{\alpha }{}_{\nu } + \dfrac{1}{18} \theta ^{\alpha \gamma } \theta _{\mu \nu } w^{\beta }{}_{\lambda } \nonumber \\&\quad - \dfrac{1}{9} \theta ^{\alpha \gamma } \theta _{\nu \lambda } w^{\beta }{}_{\mu } + \dfrac{1}{18} \theta ^{\alpha \gamma } \theta _{\mu \lambda } w^{\beta }{}_{\nu } \nonumber \\&\quad +\dfrac{1}{18} \theta ^{\alpha \beta } \theta _{\mu \nu } w_{\lambda }{}^{\gamma } \nonumber \\&\quad - \dfrac{1}{9} \theta ^{\alpha \beta } \theta _{\nu \lambda } w_{\mu }{}^{\gamma } + \dfrac{1}{18} \theta ^{\alpha \beta } \theta _{\mu \lambda } w_{\nu }{}^{\gamma } \end{aligned}$$(B.30) -
There are three spin 1 components. First
$$\begin{aligned} {1\over 2}\left( A_{j 0 i}-A_{i 0 j}\right) \end{aligned}$$(B.31)corresponding to
$$\begin{aligned} ({\mathcal {P}}_1^{s})_{\lambda \mu \nu }^{\alpha \beta \gamma }&=- \dfrac{1}{4} \theta ^{\alpha }{}_{\nu } \theta _{\mu }{}^{\gamma } w^{\beta }{}_{\lambda } + \dfrac{1}{4} \theta ^{\alpha }{}_{\mu } \theta _{\nu }{}^{\gamma } w^{\beta }{}_{\lambda }\nonumber \\&\quad + \dfrac{1}{4} \theta ^{\alpha }{}_{\mu } \theta _{\lambda }{}^{\gamma } w^{\beta }{}_{\nu } - \dfrac{1}{4} \theta ^{\alpha }{}_{\lambda } \theta _{\mu }{}^{\gamma } w^{\beta }{}_{\nu } \nonumber \\&\quad - \dfrac{1}{4} \theta ^{\alpha }{}_{\nu } \theta ^{\beta }{}_{\mu } w_{\lambda }{}^{\gamma } \nonumber \\&\quad + \dfrac{1}{4} \theta ^{\alpha }{}_{\mu } \theta ^{\beta }{}_{\nu } w_{\lambda }{}^{\gamma } + \dfrac{1}{4} \theta ^{\alpha }{}_{\mu } \theta ^{\beta }{}_{\lambda } w_{\nu }{}^{\gamma }\nonumber \\&\quad - \dfrac{1}{4} \theta ^{\alpha }{}_{\lambda } \theta ^{\beta }{}_{\mu } w_{\nu }{}^{\gamma } \end{aligned}$$(B.32)The second one is given by
$$\begin{aligned}&A_{i 0 0} \end{aligned}$$(B.33)$$\begin{aligned}&({\mathcal {P}}_{1}^{w})_{\lambda \mu \nu }^{\alpha \beta \gamma }=\dfrac{1}{12} \theta _{\nu }{}^{\gamma } w^{\alpha }{}_{\mu } w^{\beta }{}_{\lambda } - \dfrac{1}{6} \theta _{\mu }{}^{\gamma } w^{\alpha }{}_{\nu } w^{\beta }{}_{\lambda } \nonumber \\&\quad + \dfrac{1}{12} \theta _{\nu }{}^{\gamma } w^{\alpha }{}_{\lambda } w^{\beta }{}_{\mu } + \dfrac{1}{12} \theta _{\lambda }{}^{\gamma } w^{\alpha }{}_{\nu } w^{\beta }{}_{\mu } \nonumber \\&\quad - \dfrac{1}{6} \theta _{\mu }{}^{\gamma } w^{\alpha }{}_{\lambda } w^{\beta }{}_{\nu } + \dfrac{1}{12} \theta _{\lambda }{}^{\gamma } w^{\alpha }{}_{\mu } w^{\beta }{}_{\nu } \nonumber \\&\quad + \dfrac{1}{12} \theta ^{\beta }{}_{\nu } w^{\alpha }{}_{\mu } w_{\lambda }{}^{\gamma } - \dfrac{1}{6} \theta ^{\beta }{}_{\mu } w^{\alpha }{}_{\nu } w_{\lambda }{}^{\gamma } \nonumber \\&\quad - \dfrac{1}{6} \theta ^{\alpha }{}_{\nu } w^{\beta }{}_{\mu } w_{\lambda }{}^{\gamma } + \dfrac{1}{3} \theta ^{\alpha }{}_{\mu } w^{\beta }{}_{\nu } w_{\lambda }{}^{\gamma } \nonumber \\&\quad + \dfrac{1}{12} \theta ^{\beta }{}_{\nu } w^{\alpha }{}_{\lambda } w_{\mu }{}^{\gamma } + \dfrac{1}{12} \theta ^{\beta }{}_{\lambda } w^{\alpha }{}_{\nu } w_{\mu }{}^{\gamma } \nonumber \\&\quad - \dfrac{1}{6} \theta ^{\alpha }{}_{\nu } w^{\beta }{}_{\lambda } w_{\mu }{}^{\gamma } - \dfrac{1}{6} \theta ^{\alpha }{}_{\lambda } w^{\beta }{}_{\nu } w_{\mu }{}^{\gamma } \nonumber \\&\quad - \dfrac{1}{6} \theta ^{\beta }{}_{\mu } w^{\alpha }{}_{\lambda } w_{\nu }{}^{\gamma } + \dfrac{1}{12} \theta ^{\beta }{}_{\lambda } w^{\alpha }{}_{\mu } w_{\nu }{}^{\gamma } \nonumber \\&\quad + \dfrac{1}{3} \theta ^{\alpha }{}_{\mu } w^{\beta }{}_{\lambda } w_{\nu }{}^{\gamma } - \dfrac{1}{6} \theta ^{\alpha }{}_{\lambda } w^{\beta }{}_{\mu } w_{\nu }{}^{\gamma } \end{aligned}$$(B.34)And there is also a spin 1 trace given by
$$\begin{aligned} ({\mathcal {P}}_1^{t})_{\lambda \mu \nu }^{\alpha \beta \gamma }&=- \dfrac{1}{6} \theta ^{a}{}_{\nu } \theta ^{\beta \gamma } \theta _{\lambda \mu } + \dfrac{1}{12} \theta ^{ag} \theta ^{\beta }{}_{\nu } \theta _{\lambda \mu } \nonumber \\&\quad + \dfrac{1}{12} \theta ^{\alpha \beta } \theta ^{\gamma }{}_{\nu } \theta _{\lambda \mu } + \dfrac{1}{3} \theta ^{a}{}_{\mu } \theta ^{\beta \gamma } \theta _{ln} \nonumber \\&\quad -\dfrac{1}{6} \theta ^{ag} \theta ^{\beta }{}_{\mu } \theta _{ln} - \dfrac{1}{6} \theta ^{\alpha \beta } \theta ^{\gamma }{}_{\mu } \theta _{ln} \nonumber \\&\quad - \dfrac{1}{6} \theta ^{a}{}_{\lambda } \theta ^{\beta \gamma } \theta _{\mu \nu } + \dfrac{1}{12} \theta ^{ag} \theta ^{\beta }{}_{\lambda } \theta _{\mu \nu } \nonumber \\&\quad + \dfrac{1}{12} \theta ^{\alpha \beta } \theta ^{\gamma }{}_{\lambda } \theta _{\mu \nu } \end{aligned}$$(B.35) -
Finally, there are two spin 2 projectors. The first one is the transverse traceless spin two component
$$\begin{aligned} {1\over 2}\left( A_{j 0 i}+A_{i 0 j}\right) -{1\over 3} \delta _{ij} \sum _{k=1}^3 A_{k 0 k} \end{aligned}$$(B.36)with projector
$$\begin{aligned} ({\mathcal {P}}_2)_{\lambda \mu \nu }^{\alpha \beta \gamma }&= - \dfrac{1}{6} \theta ^{\beta }{}_{\nu } \theta ^{\gamma }{}_{\mu } w^{\alpha }{}_{\lambda } - \dfrac{1}{6} \theta ^{\beta }{}_{\mu } \theta ^{\gamma }{}_{\nu } w^{\alpha }{}_{\lambda } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\beta \gamma } \theta _{\mu \nu } w^{\alpha }{}_{\lambda } + \dfrac{1}{3} \theta ^{\beta }{}_{\nu } \theta ^{\gamma }{}_{\lambda } w^{\alpha }{}_{\mu } \nonumber \\&\quad + \dfrac{1}{3} \theta ^{\beta }{}_{\lambda } \theta ^{\gamma }{}_{\nu } w^{\alpha }{}_{\mu } - \dfrac{2}{9} \theta ^{\beta \gamma } \theta _{\lambda \nu } w^{\alpha }{}_{\mu } \nonumber \\&\quad - \dfrac{1}{6} \theta ^{\beta }{}_{\mu } \theta ^{\gamma }{}_{\lambda } w^{\alpha }{}_{\nu } - \dfrac{1}{6} \theta ^{\beta }{}_{\lambda } \theta ^{\gamma }{}_{\mu } w^{\alpha }{}_{\nu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\beta \gamma } \theta _{\lambda \mu } w^{\alpha }{}_{\nu } + \dfrac{1}{12} \theta ^{\alpha }{}_{\nu } \theta ^{\gamma }{}_{\mu } w^{\beta }{}_{\lambda } \nonumber \\&\quad +\dfrac{1}{12} \theta ^{\alpha }{}_{\mu } \theta ^{\gamma }{}_{\nu } w^{\beta }{}_{\lambda } - \dfrac{1}{18} \theta ^{\alpha \gamma } \theta _{\mu \nu } w^{\beta }{}_{\lambda } \nonumber \\&\quad -\dfrac{1}{6} \theta ^{\alpha }{}_{\nu } \theta ^{\gamma }{}_{\lambda } w^{\beta }{}_{\mu } - \dfrac{1}{6} \theta ^{\alpha }{}_{\lambda } \theta ^{\gamma }{}_{\nu } w^{\beta }{}_{\mu }\nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \gamma } \theta _{\lambda \nu } w^{\beta }{}_{\mu } + \dfrac{1}{12} \theta ^{\alpha }{}_{\mu } \theta ^{\gamma }{}_{\lambda } w^{\beta }{}_{\nu } \nonumber \\&\quad + \dfrac{1}{12} \theta ^{\alpha }{}_{\lambda } \theta ^{\gamma }{}_{\mu } w^{\beta }{}_{\nu } - \dfrac{1}{18} \theta ^{\alpha \gamma } \theta _{\lambda \mu } w^{\beta }{}_{\nu }\nonumber \\&\quad +\dfrac{1}{12} \theta ^{\alpha }{}_{\nu } \theta ^{\beta }{}_{\mu } w^{\gamma }{}_{\lambda } + \dfrac{1}{12} \theta ^{\alpha }{}_{\mu } \theta ^{\beta }{}_{\nu } w^{\gamma }{}_{\lambda } \nonumber \\&\quad - \dfrac{1}{18} \theta ^{\alpha \beta } \theta _{\mu \nu } w^{\gamma }{}_{\lambda } - \dfrac{1}{6} \theta ^{\alpha }{}_{\nu } \theta ^{\beta }{}_{\lambda } w^{\gamma }{}_{\mu }\nonumber \\&\quad - \dfrac{1}{6} \theta ^{\alpha }{}_{\lambda } \theta ^{\beta }{}_{\nu } w^{\gamma }{}_{\mu } + \dfrac{1}{9} \theta ^{\alpha \beta } \theta _{ln} w^{\gamma }{}_{\mu } \nonumber \\&\quad + \dfrac{1}{12} \theta ^{\alpha }{}_{\mu } \theta ^{\beta }{}_{\lambda } w^{\gamma }{}_{\nu } + \dfrac{1}{12} \theta ^{\alpha }{}_{\lambda } \theta ^{\beta }{}_{\mu } w^{\gamma }{}_{\nu }\nonumber \\&\quad - \dfrac{1}{18} \theta ^{\alpha \beta } \theta _{\lambda \mu } w^{\gamma }{}_{\nu } \end{aligned}$$(B.37)The second one corresponds to the spin 2 traceless connection field
$$\begin{aligned} A^T_{ijk}\equiv & {} A_{ijk}-{ 2 t^1_i-t^2_i\over 5}\delta _{jk}-{3 t^2_j-t^1_j\over 10}\delta _{ik}\nonumber \\&-{3 t^2_k-t^1_k\over 10}~\delta _{ij} \end{aligned}$$(B.38)with projector
$$\begin{aligned} ({\mathcal {P}}_{2}^{s})_{\lambda \mu \nu }^{\alpha \beta \gamma }&=- \dfrac{1}{6} \theta ^{a}{}_{\nu } \theta ^{\beta }{}_{\mu } \theta ^{\gamma }{}_{\lambda } + \dfrac{1}{3} \theta ^{a}{}_{\mu } \theta ^{\beta }{}_{\nu } \theta ^{\gamma }{}_{\lambda }\nonumber \\&\quad - \dfrac{1}{6} \theta ^{a}{}_{\nu } \theta ^{\beta }{}_{\lambda } \theta ^{\gamma }{}_{\mu } - \dfrac{1}{6} \theta ^{a}{}_{\lambda } \theta ^{\beta }{}_{\nu } \theta ^{\gamma }{}_{\mu }\nonumber \\&\quad + \dfrac{1}{3} \theta ^{a}{}_{\mu } \theta ^{\beta }{}_{\lambda } \theta ^{\gamma }{}_{\nu } - \dfrac{1}{6} \theta ^{a}{}_{\lambda } \theta ^{\beta }{}_{\mu } \theta ^{\gamma }{}_{\nu } + \dfrac{1}{6} \theta ^{a}{}_{\nu } \theta ^{\beta \gamma } \theta _{\lambda \mu } \nonumber \\&\quad - \dfrac{1}{12} \theta ^{ag} \theta ^{\beta }{}_{\nu } \theta _{\lambda \mu } - \dfrac{1}{12} \theta ^{\alpha \beta } \theta ^{\gamma }{}_{\nu } \theta _{\lambda \mu } - \dfrac{1}{3} \theta ^{a}{}_{\mu } \theta ^{\beta \gamma } \theta _{ln} \nonumber \\&\quad + \dfrac{1}{6} \theta ^{ag} \theta ^{\beta }{}_{\mu } \theta _{ln} + \dfrac{1}{6} \theta ^{\alpha \beta } \theta ^{\gamma }{}_{\mu } \theta _{ln} + \dfrac{1}{6} \theta ^{a}{}_{\lambda } \theta ^{\beta \gamma } \theta _{\mu \nu } \nonumber \\&\quad - \dfrac{1}{12} \theta ^{ag} \theta ^{\beta }{}_{\lambda } \theta _{\mu \nu } - \dfrac{1}{12} \theta ^{\alpha \beta } \theta ^{\gamma }{}_{\lambda } \theta _{\mu \nu } \end{aligned}$$(B.39)
Therefore, the spin content in this sector is
Finally, the closure relation in this space reads
1.3 B.3 Mixed operators completing a basis of \(\mathcal{L}(\mathcal{A},\mathcal{A})\)
Let us represent by \(\mathcal{L}(\mathcal{A},\mathcal{A})\) the space of linear mappings from \(\mathcal{A}\) in \(\mathcal{A}\). It is plain that a basis is given by (again, with implicit permutations)
So far, we have obtained 12 different operators that satisfy the closure relation.
Given the fact that we have obtained up to now 12 projectors, which added to the identity in our space – see (B.26) and (B.41) –, it is plain that we are 10 operators short in order to get a complete basis on the space \(\mathcal{L}(\mathcal{A},\mathcal{A})\). The remaining operators (which are not, in general, projectors) correspond to the mixing of equal spin components of A. In the same sense that \(P_0^\times \) in (A.12) corresponds to the mixing of the two spin 0 components of \(h_{\mu \nu }\). Hence, we are going to classify them by their spin.
-
There are three of them with spin 0
$$\begin{aligned} ({\mathscr {P}}_0^{sw})^{\alpha \beta \gamma \lambda \mu \nu }&= \dfrac{4}{9} \theta ^{\mu \nu } \omega ^{\alpha \lambda } \omega ^{\beta \gamma } + \dfrac{1}{9} \theta ^{\lambda \nu } \omega ^{\alpha \mu } \omega ^{\beta \gamma } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\lambda \mu } \omega ^{\alpha \nu } \omega ^{\beta \gamma } + \dfrac{1}{9} \theta ^{\mu \nu } \omega ^{\alpha \gamma } \omega ^{\beta \lambda } \nonumber \\&\quad - \dfrac{2}{9} \theta ^{\lambda \nu } \omega ^{\alpha \gamma } \omega ^{\beta \mu } - \dfrac{2}{9} \theta ^{\lambda \mu } \omega ^{\alpha \gamma } \omega ^{\beta \nu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\mu \nu } \omega ^{\alpha \beta } \omega ^{\gamma \lambda } - \dfrac{2}{9} \theta ^{\lambda \nu } \omega ^{\alpha \beta } \omega ^{\gamma \mu }\nonumber \\&\quad - \dfrac{2}{9} \theta ^{\lambda \mu } \omega ^{\alpha \beta } \omega ^{\gamma \nu } + \dfrac{1}{9} \theta ^{\beta \gamma } \omega ^{\alpha \nu } \omega ^{\lambda \mu }\nonumber \\&\quad - \dfrac{2}{9} \theta ^{\alpha \gamma } \omega ^{\beta \nu } \omega ^{\lambda \mu } - \dfrac{2}{9} \theta ^{\alpha \beta } \omega ^{\gamma \nu } \omega ^{\lambda \mu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\beta \gamma } \omega ^{\alpha \mu } \omega ^{\lambda \nu } - \dfrac{2}{9} \theta ^{\alpha \gamma } \omega ^{\beta \mu } \omega ^{\lambda \nu } \nonumber \\&\quad - \dfrac{2}{9} \theta ^{\alpha \beta } \omega ^{\gamma \mu } \omega ^{\lambda \nu } + \dfrac{4}{9} \theta ^{\beta \gamma } \omega ^{\alpha \lambda } \omega ^{\mu \nu }\nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \gamma } \omega ^{\beta \lambda } \omega ^{\mu \nu } + \dfrac{1}{9} \theta ^{\alpha \beta } \omega ^{\gamma \lambda } \omega ^{\mu \nu } \end{aligned}$$(B.42)$$\begin{aligned} ({\mathscr {P}}_0^{ws})^{\alpha \beta \gamma \lambda \mu \nu }&= \dfrac{1}{9} \theta ^{\mu \nu } \omega ^{\alpha \lambda } \omega ^{\beta \gamma } + \dfrac{1}{9} \theta ^{\lambda \nu } \omega ^{\alpha \mu } \omega ^{\beta \gamma } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\lambda \mu } \omega ^{\alpha \nu } \omega ^{\beta \gamma } + \dfrac{1}{9} \theta ^{\mu \nu } \omega ^{\alpha \gamma } \omega ^{\beta \lambda } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\lambda \nu } \omega ^{\alpha \gamma } \omega ^{\beta \mu } + \dfrac{1}{9} \theta ^{\lambda \mu } \omega ^{\alpha \gamma } \omega ^{\beta \nu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\mu \nu } \omega ^{\alpha \beta } \omega ^{\gamma \lambda } + \dfrac{1}{9} \theta ^{\lambda \nu } \omega ^{\alpha \beta } \omega ^{\gamma \mu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\lambda \mu } \omega ^{\alpha \beta } \omega ^{\gamma \nu } + \dfrac{1}{9} \theta ^{\beta \gamma } \omega ^{\alpha \nu } \omega ^{\lambda \mu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \gamma } \omega ^{\beta \nu } \omega ^{\lambda \mu } + \dfrac{1}{9} \theta ^{\alpha \beta } \omega ^{\gamma \nu } \omega ^{\lambda \mu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\beta \gamma } \omega ^{\alpha \mu } \omega ^{\lambda \nu } + \dfrac{1}{9} \theta ^{\alpha \gamma } \omega ^{\beta \mu } \omega ^{\lambda \nu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \beta } \omega ^{\gamma \mu } \omega ^{\lambda \nu } + \dfrac{1}{9} \theta ^{\beta \gamma } \omega ^{\alpha \lambda } \omega ^{\mu \nu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \gamma } \omega ^{\beta \lambda } \omega ^{\mu \nu } + \dfrac{1}{9} \theta ^{\alpha \beta } \omega ^{\gamma \lambda } \omega ^{\mu \nu } \end{aligned}$$(B.43)$$\begin{aligned} ({\mathscr {P}}_0^{x})^{\alpha \beta \gamma \lambda \mu \nu }&= \dfrac{1}{6} \theta ^{\alpha \gamma } \theta ^{\lambda \nu } \omega ^{\beta \mu } + \dfrac{1}{6} \theta ^{\alpha \gamma } \theta ^{\lambda \mu } \omega ^{\beta \nu } \nonumber \\&\quad + \dfrac{1}{6} \theta ^{\alpha \beta } \theta ^{\lambda \nu } \omega ^{\gamma \mu } + \dfrac{1}{6} \theta ^{\alpha \beta } \theta ^{\lambda \mu } \omega ^{\gamma \nu } \end{aligned}$$(B.44) -
There are six with spin 1
$$\begin{aligned} ({\mathscr {P}}_1^{wx})^{\alpha \beta \gamma \lambda \mu \nu }&= \dfrac{1}{4} \theta ^{\gamma \nu } \omega ^{\alpha \mu } \omega ^{\beta \lambda } + \dfrac{1}{4} \theta ^{\gamma \mu } \omega ^{\alpha \nu } \omega ^{\beta \lambda } \nonumber \\&\quad + \dfrac{1}{4} \theta ^{\gamma \nu } \omega ^{\alpha \lambda } \omega ^{\beta \mu } + \dfrac{1}{4} \theta ^{\gamma \mu } \omega ^{\alpha \lambda } \omega ^{\beta \nu }\nonumber \\&\quad + \dfrac{1}{4} \theta ^{\beta \nu } \omega ^{\alpha \mu } \omega ^{\gamma \lambda } + \dfrac{1}{4} \theta ^{\beta \mu } \omega ^{\alpha \nu } \omega ^{\gamma \lambda } \nonumber \\&\quad + \dfrac{1}{4} \theta ^{\beta \nu } \omega ^{\alpha \lambda } \omega ^{\gamma \mu } + \dfrac{1}{4} \theta ^{\beta \mu } \omega ^{\alpha \lambda } \omega ^{\gamma \nu } \end{aligned}$$(B.45)$$\begin{aligned} ({\mathscr {P}}_1^{ws})^{\alpha \beta \gamma \lambda \mu \nu }&= \dfrac{1}{9} \theta ^{\gamma \nu } \theta ^{\lambda \mu } \omega ^{\alpha \beta } + \dfrac{1}{9} \theta ^{\gamma \mu } \theta ^{\lambda \nu } \omega ^{\alpha \beta }\nonumber \\&\quad + \dfrac{1}{9} \theta ^{\gamma \lambda } \theta ^{\mu \nu } \omega ^{\alpha \beta } + \dfrac{1}{9} \theta ^{\beta \nu } \theta ^{\lambda \mu } \omega ^{\alpha \gamma } \nonumber \\&\quad +\dfrac{1}{9} \theta ^{\beta \mu } \theta ^{\lambda \nu } \omega ^{\alpha \gamma } + \dfrac{1}{9} \theta ^{\beta \lambda } \theta ^{\mu \nu } \omega ^{\alpha \gamma } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \nu } \theta ^{\lambda \mu } \omega ^{\beta \gamma } + \dfrac{1}{9} \theta ^{\alpha \mu } \theta ^{\lambda \nu } \omega ^{\beta \gamma } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \lambda } \theta ^{\mu \nu } \omega ^{\beta \gamma } + \dfrac{1}{9} \theta ^{\alpha \nu } \theta ^{\beta \gamma } \omega ^{\lambda \mu }\nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \gamma } \theta ^{\beta \nu } \omega ^{\lambda \mu } + \dfrac{1}{9} \theta ^{\alpha \beta } \theta ^{\gamma \nu } \omega ^{\lambda \mu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \mu } \theta ^{\beta \gamma } \omega ^{\lambda \nu } + \dfrac{1}{9} \theta ^{\alpha \gamma } \theta ^{\beta \mu } \omega ^{\lambda \nu }\nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \beta } \theta ^{\gamma \mu } \omega ^{\lambda \nu } + \dfrac{1}{9} \theta ^{\alpha \lambda } \theta ^{\beta \gamma } \omega ^{\mu \nu }\nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \gamma } \theta ^{\beta \lambda } \omega ^{\mu \nu } + \dfrac{1}{9} \theta ^{\alpha \beta } \theta ^{\gamma \lambda } \omega \end{aligned}$$(B.46)$$\begin{aligned} ({\mathscr {P}}_1^{sw})^{\alpha \beta \gamma \lambda \mu \nu }&= \dfrac{1}{9} \theta ^{\gamma \nu } \theta ^{\lambda \mu } \omega ^{\alpha \beta } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\gamma \mu } \theta ^{\lambda \nu } \omega ^{\alpha \beta } - \dfrac{2}{9} \theta ^{\gamma \lambda } \theta ^{\mu \nu } \omega ^{\alpha \beta } \nonumber \\&\quad + \dfrac{1}{9}\theta ^{\beta \nu } \theta ^{\lambda \mu } \omega ^{\alpha \gamma } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\beta \mu } \theta ^{\lambda \nu } \omega ^{\alpha \gamma } - \dfrac{2}{9} \theta ^{\beta \lambda } \theta ^{\mu \nu } \omega ^{\alpha \gamma } \nonumber \\&\quad -\dfrac{2}{9} \theta ^{\alpha \nu } \theta ^{\lambda \mu } \omega ^{\beta \gamma } - \dfrac{2}{9} \theta ^{\alpha \mu } \theta ^{\lambda \nu } \omega ^{\beta \gamma }\nonumber \\&\quad + \dfrac{4}{9} \theta ^{\alpha \lambda } \theta ^{\mu \nu } \omega ^{\beta \gamma } - \dfrac{2}{9} \theta ^{\alpha \nu } \theta ^{\beta \gamma } \omega ^{\lambda \mu }\nonumber \\&\quad +\dfrac{1}{9} \theta ^{\alpha \gamma } \theta ^{\beta \nu } \omega ^{\lambda \mu } + \dfrac{1}{9} \theta ^{\alpha \beta } \theta ^{\gamma \nu } \omega ^{\lambda \mu } \nonumber \\&\quad - \dfrac{2}{9} \theta ^{\alpha \mu } \theta ^{\beta \gamma } \omega ^{\lambda \nu } + \dfrac{1}{9} \theta ^{\alpha \gamma } \theta ^{\beta \mu } \omega ^{\lambda \nu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \beta } \theta ^{\gamma \mu } \omega ^{\lambda \nu } + \dfrac{4}{9} \theta ^{\alpha \lambda } \theta ^{\beta \gamma } \omega ^{\mu \nu } \nonumber \\&\quad - \dfrac{2}{9} \theta ^{\alpha \gamma } \theta ^{\beta \lambda } \omega ^{\mu \nu } - \dfrac{2}{9} \theta ^{\alpha \beta } \theta ^{\gamma \lambda } \omega ^{\mu \nu } \end{aligned}$$(B.47)$$\begin{aligned} ({\mathscr {P}}_1^{sx})^{\alpha \beta \gamma \lambda \mu \nu }&= - \dfrac{2}{9} \theta ^{\gamma \nu } \theta ^{\lambda \mu } \omega ^{\alpha \beta } - \dfrac{2}{9} \theta ^{\gamma \mu } \theta ^{\lambda \nu } \omega ^{\alpha \beta } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\gamma \lambda } \theta ^{\mu \nu } \omega ^{\alpha \beta } - \dfrac{2}{9} \theta ^{\beta \nu } \theta ^{\lambda \mu } \omega ^{\alpha \gamma }\nonumber \\&\quad -\dfrac{2}{9} \theta ^{\beta \mu } \theta ^{\lambda \nu } \omega ^{\alpha \gamma } + \dfrac{1}{9} \theta ^{\beta \lambda } \theta ^{\mu \nu } \omega ^{\alpha \gamma }\nonumber \\&\quad +\dfrac{1}{9} \theta ^{\alpha \nu } \theta ^{\lambda \mu } \omega ^{\beta \gamma } + \dfrac{1}{9} \theta ^{\alpha \mu } \theta ^{\lambda \nu } \omega ^{\beta \gamma } \nonumber \\&\quad + \dfrac{4}{9} \theta ^{\alpha \lambda } \theta ^{\mu \nu } \omega ^{\beta \gamma } + \dfrac{1}{9} \theta ^{\alpha \nu } \theta ^{\beta \gamma } \omega ^{\lambda \mu } \nonumber \\&\quad -\dfrac{2}{9} \theta ^{\alpha \gamma } \theta ^{\beta \nu } \omega ^{\lambda \mu } -\dfrac{2}{9} \theta ^{\alpha \beta } \theta ^{\gamma \nu } \omega ^{\lambda \mu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \mu } \theta ^{\beta \gamma } \omega ^{\lambda \nu } - \dfrac{2}{9} \theta ^{\alpha \gamma } \theta ^{\beta \mu } \omega ^{ln}\nonumber \\&\quad - \dfrac{2}{9} \theta ^{\alpha \beta } \theta ^{\gamma \mu } \omega ^{\lambda \nu } + \dfrac{4}{9} \theta ^{\alpha \lambda } \theta ^{\beta \gamma } \omega ^{\mu \nu } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \gamma } \theta ^{\beta \lambda } \omega ^{\mu \nu } + \dfrac{1}{9} \theta ^{\alpha \beta } \theta ^{\gamma \lambda } \omega ^{\mu \nu } \end{aligned}$$(B.48)$$\begin{aligned} ({\mathscr {P}}_1^{ss})^{\alpha \beta \gamma \lambda \mu \nu }&= \dfrac{1}{18} \theta ^{\alpha \nu } \theta ^{\beta \gamma } \theta ^{\lambda \mu }\nonumber \\&\quad +\dfrac{1}{72} \theta ^{\alpha \gamma } \theta ^{\beta \nu } \theta ^{\lambda \mu } \nonumber \\&\quad + \dfrac{1}{72} \theta ^{\alpha \beta } \theta ^{\gamma \nu } \theta ^{\lambda \mu } + \dfrac{1}{18} \theta ^{\alpha \mu } \theta ^{\beta \gamma } \theta ^{\lambda \nu } \nonumber \\&\quad + \dfrac{1}{72} \theta ^{\alpha \gamma } \theta ^{\beta \mu } \theta ^{\lambda \nu } + \dfrac{1}{72} \theta ^{\alpha \beta } \theta ^{\gamma \mu } \theta ^{\lambda \nu } \nonumber \\&\quad + \dfrac{2}{9} \theta ^{\alpha \lambda } \theta ^{\beta \gamma } \theta ^{\mu \nu } + \dfrac{1}{18} \theta ^{\alpha \gamma } \theta ^{\beta \lambda } \theta ^{\mu \nu } \nonumber \\&\quad + \dfrac{1}{18} \theta ^{\alpha \beta } \theta ^{\gamma \lambda } \theta ^{\mu \nu } \end{aligned}$$(B.49)$$\begin{aligned} ({\mathscr {P}}_1^{wst})^{\alpha \beta \gamma \lambda \mu \nu }&= - \dfrac{1}{18} \theta ^{\gamma \nu } \theta ^{\lambda \mu } \omega ^{\alpha \beta }\nonumber \\&\quad -\dfrac{1}{18} \theta ^{\gamma \mu } \theta ^{\lambda \nu } \omega ^{\alpha \beta } - \dfrac{2}{9} \theta ^{\gamma \lambda } \theta ^{\mu \nu } \omega ^{\alpha \beta } \nonumber \\&\quad - \dfrac{1}{18} \theta ^{\beta \nu } \theta ^{\lambda \mu } \omega ^{\alpha \gamma } \nonumber \\&\quad - \dfrac{1}{18} \theta ^{\beta \mu } \theta ^{\lambda \nu } \omega ^{\alpha \gamma } - \dfrac{2}{9} \theta ^{\beta \lambda } \theta ^{\mu \nu } \omega ^{\alpha \gamma } \nonumber \\&\quad + \dfrac{5}{18} \theta ^{\alpha \nu } \theta ^{\lambda \mu } \omega ^{\beta \gamma } + \dfrac{5}{18} \theta ^{\alpha \mu } \theta ^{\lambda \nu } \omega ^{\beta \gamma } \nonumber \\&\quad + \dfrac{1}{9} \theta ^{\alpha \lambda } \theta ^{\mu \nu } \omega ^{\beta \gamma } - \dfrac{2}{9} \theta ^{\alpha \nu } \theta ^{\beta \gamma } \omega ^{\lambda \mu }\nonumber \\&\quad -\dfrac{1}{18} \theta ^{\alpha \gamma } \theta ^{\beta \nu } \omega ^{\lambda \mu } - \dfrac{1}{18} \theta ^{\alpha \beta } \theta ^{\gamma \nu } \omega ^{\lambda \mu } \nonumber \\&\quad - \dfrac{2}{9} \theta ^{\alpha \mu } \theta ^{\beta \gamma } \omega ^{\lambda \nu } - \dfrac{1}{18} \theta ^{\alpha \gamma } \theta ^{\beta \mu } \omega ^{\lambda \nu }\nonumber \\&\quad - \dfrac{1}{18} \theta ^{\alpha \beta } \theta ^{\gamma \mu } \omega ^{\lambda \nu } + \dfrac{1}{9} \theta ^{\alpha \lambda } \theta ^{\beta \gamma } \omega ^{\mu \nu } \nonumber \\&\quad + \dfrac{5}{18} \theta ^{\alpha \gamma } \theta ^{\beta \lambda } \omega ^{\mu \nu } + \dfrac{5}{18} \theta ^{\alpha \beta } \theta ^{\gamma \lambda } \omega ^{\mu \nu } \end{aligned}$$(B.50) -
Finally, there is one more with spin 2
$$\begin{aligned} ({\mathscr {P}}_2^{x})^{\alpha \beta \gamma \lambda \mu \nu }&= \dfrac{1}{4} \theta ^{\alpha \nu } \theta ^{\gamma \lambda } \omega ^{\beta \mu } + \dfrac{1}{4} \theta ^{\alpha \lambda } \theta ^{\gamma \nu } \omega ^{\beta \mu } \nonumber \\&\quad - \dfrac{1}{6} \theta ^{\alpha \gamma } \theta ^{\lambda \nu } \omega ^{\beta \mu } + \dfrac{1}{4} \theta ^{\alpha \mu } \theta ^{\gamma \lambda } \omega ^{\beta \nu } \nonumber \\&\quad + \dfrac{1}{4} \theta ^{\alpha \lambda } \theta ^{\gamma \mu } \omega ^{\beta \nu } - \dfrac{1}{6} \theta ^{\alpha \gamma } \theta ^{\lambda \mu } \omega ^{\beta \nu }\nonumber \\&\quad + \dfrac{1}{4} \theta ^{\alpha \nu } \theta ^{\beta \lambda } \omega ^{\gamma \mu } + \dfrac{1}{4} \theta ^{\alpha \lambda } \theta ^{\beta \nu } \omega ^{\gamma \mu }\nonumber \\&\quad - \dfrac{1}{6} \theta ^{\alpha \beta } \theta ^{\lambda \nu } \omega ^{\gamma \mu } + \dfrac{1}{4} \theta ^{\alpha \mu } \theta ^{\beta \lambda } \omega ^{\gamma \nu } \nonumber \\&\quad + \dfrac{1}{4} \theta ^{\alpha \lambda } \theta ^{\beta \mu } \omega ^{\gamma \nu } - \dfrac{1}{6} \theta ^{\alpha \beta } \theta ^{\lambda \mu } \omega ^{\gamma \nu } \end{aligned}$$(B.51)
Appendix C: Spin content of the antisymmetric connection field
In this appendix, we decompose the operators mediating between two connection fields \(A_{\mu \beta \gamma }\equiv g_{\alpha \mu }\Gamma ^\alpha _{\beta \gamma }\) – antisymmetric in the las two indices because we consider torsionful connections which fulfill the metricity condition– in terms of the spin projectors of this field. The procedure is analogue to the one followed in “Appendices A and B”.
The subspace \(\mathcal{A}\) corresponds, in terms of representations of the tangent group SO(4), to the sum of a totally antisymmetric three-index tensor plus a tensor with the hook symmetry
In terms of dimensions this is \(\underline{24}=\underline{4}+\underline{20}\)
1.1 C.1 The totally antisymmetric tensor
We want to determine the spin content of the totally antisymmetric piece \(A_{[\alpha \beta \gamma ]}\), in this case there are only two monomials we can form
The totally antisymmetric piece is represented as
and the corresponding Young projectors are
where the notation of the projectors in the same as in “Appendix B”.
We can decompose it in its spin componets as
-
First the spin 1 component
$$\begin{aligned} {1\over 2}\left( A_{j 0 i}-A_{i 0 j}\right) \end{aligned}$$(C.5)with projector
$$\begin{aligned} ({\bar{P}}_1)^{\alpha \beta \gamma \lambda \mu \nu }&= -\frac{1}{6} \theta ^{\alpha \nu } \theta ^{\beta \mu } \theta ^{\gamma \lambda }\nonumber \\&\quad +\frac{1}{6} \theta ^{\alpha \mu }\theta ^{\beta \nu } \theta ^{\gamma \lambda } +\frac{1}{6} \theta ^{\alpha \nu } \theta ^{\beta \lambda } \theta ^{\gamma \mu }\nonumber \\&\quad -\frac{1}{6} \theta ^{\alpha \lambda } \theta ^{\beta \nu } \theta ^{\gamma \mu }-\frac{1}{6} \theta ^{\alpha \mu } \theta ^{\beta \lambda } \theta ^{\gamma \nu }\nonumber \\&\quad +\frac{1}{6} \theta ^{\alpha \lambda } \theta ^{\beta \mu } \theta ^{\gamma \nu } \end{aligned}$$(C.6) -
The spin 0 component is
$$\begin{aligned} A_{[ijk]} \end{aligned}$$(C.7)with projector
$$\begin{aligned} ({\bar{P}}_0)^{\alpha \beta \gamma \lambda \mu \nu }&=-\frac{1}{6} \omega ^{\alpha \lambda } \theta ^{\beta \nu }\theta ^{\gamma \mu }+\frac{1}{6} \omega ^{\alpha \lambda } \theta ^{\beta \mu } \theta ^{\gamma \nu }\nonumber \\&\quad +\frac{1}{6} \omega ^{\alpha \mu } \theta ^{\beta \nu } \theta ^{\gamma \lambda }-\frac{1}{6} \omega ^{\alpha \mu } \theta ^{\beta \lambda } \theta ^{\gamma \nu }\nonumber \\&\quad -\frac{1}{6} \omega ^{\alpha \nu } \theta ^{\beta \mu } \theta ^{\gamma \lambda }+\frac{1}{6} \omega ^{\alpha \nu } \theta (b,l) \theta ^{\gamma \mu }\nonumber \\&\quad +\frac{1}{6} \theta ^{\alpha \nu } \omega ^{\beta \lambda } \theta ^{\gamma \mu }-\frac{1}{6} \theta ^{\alpha \mu } \omega ^{\beta \lambda } \theta ^{\gamma \nu }\nonumber \\&\quad -\frac{1}{6} \theta ^{\alpha \nu } \omega ^{\beta \mu } \theta ^{\gamma \lambda }+\frac{1}{6} \theta ^{\alpha \lambda } \omega ^{\beta \mu } \theta ^{\gamma \nu }\nonumber \\&\quad +\frac{1}{6} \theta ^{\alpha \mu }\omega ^{\beta \nu } \theta ^{\gamma \lambda }-\frac{1}{6} \theta ^{\alpha \lambda } \omega ^{\beta \nu } \theta ^{\gamma \mu }\nonumber \\&\quad -\frac{1}{6} \theta ^{\alpha \nu }\theta ^{\beta \mu }\omega ^{\gamma \lambda }+\frac{1}{6} \theta ^{\alpha \mu } \theta ^{\beta \nu } \omega ^{\gamma \lambda }\nonumber \\&\quad +\frac{1}{6} \theta ^{\alpha \nu } \theta ^{\beta \lambda } \omega ^{\gamma \mu }-\frac{1}{6} \theta ^{\alpha \lambda } \theta ^{\beta \nu } \omega ^{\gamma \mu }\nonumber \\&\quad -\frac{1}{6} \theta ^{\alpha \mu } \theta ^{\beta \lambda } \omega ^{\gamma \nu }+\frac{1}{6} \theta ^{\alpha \lambda } \theta ^{\beta \mu }\omega ^{\gamma \nu } \end{aligned}$$(C.8)
Finally it is easy to check that
In terms of dimensions this is \(\underline{4}=(\underline{1})\oplus (\underline{0})\).
1.2 C.2 The antisymmetric hook sector
We determine the spin content of the antisymmetric hook piece \(A_{\alpha [\beta \gamma ]}\), in this case there are six monomials
The antisymmetric hook part corresponds to the piece
The Young projectors reads
We can decompose it in its spin componets as
-
There are two spin 2 component. The first one is the transverse traceless spin two component
$$\begin{aligned} {1\over 2}\left( A_{j 0 i}+A_{i 0 j}\right) -{1\over 3} \delta _{ij} \sum _{k=1}^3 A_{k 0 k} \end{aligned}$$(C.13)with projector
$$\begin{aligned} (\bar{\mathcal{P}}_2)^{\alpha \beta \gamma \lambda \mu \nu }&=\frac{1}{4} \theta ^{\alpha \nu } \omega ^{\beta \mu } \theta ^{\gamma \lambda }+\frac{1}{4} \theta ^{\alpha \lambda }\omega ^{\beta \mu } \theta ^{\gamma \nu }\nonumber \\&\quad -\frac{1}{6} \theta ^{\alpha \gamma } \omega ^{\beta \mu }\theta ^{\nu \lambda }-\frac{1}{4} \theta ^{\alpha \mu } \omega ^{\beta \nu } \theta ^{\gamma \lambda }\nonumber \\&\quad -\frac{1}{4} \theta ^{\alpha \lambda } \omega ^{\beta \nu } \theta ^{\gamma \mu }+\frac{1}{6} \theta ^{\alpha \gamma } \omega ^{\beta \nu } \theta ^{\mu \lambda }\nonumber \\&\quad -\frac{1}{4} \theta ^{\alpha \nu }\theta ^{\beta \lambda } \omega ^{\gamma \mu }-\frac{1}{4} \theta ^{\alpha \lambda } \theta ^{\beta \nu } \omega ^{\gamma \mu }\nonumber \\&\quad +\frac{1}{6} \theta ^{\alpha \beta } \omega ^{\gamma \mu } \theta ^{\nu \lambda }+\frac{1}{4} \theta ^{\alpha \mu }\theta ^{\beta \lambda } \omega ^{\gamma \nu }\nonumber \\&\quad +\frac{1}{4} \theta ^{\alpha \lambda } \theta ^{\beta \mu } \omega ^{\gamma \nu }-\frac{1}{6} \theta ^{\alpha \beta } \omega ^{\gamma \nu } \theta ^{\mu \lambda }\end{aligned}$$(C.14)The second one corresponds to the spin 2 traceless connection field
$$\begin{aligned} A^T_{ijk}\equiv A_{ijk}-\frac{1}{2}t_j\delta _{ik}+\frac{1}{2}t_k\delta _{ij} \end{aligned}$$(C.15)where \(t_i=\sum _{j=1}^3A_{jij}\), with projector
$$\begin{aligned} (\bar{\mathcal{P}}^s_2)^{\alpha \beta \gamma \lambda \mu \nu }&= \frac{1}{6} \theta ^{\alpha \nu } \theta ^{\beta \mu } \theta ^{\gamma \lambda }-\frac{1}{6} \theta ^{\alpha \mu } \theta ^{\beta \nu } \theta ^{\gamma \lambda }\nonumber \\&\quad -\frac{1}{6} \theta ^{\alpha \nu } \theta ^{\beta \lambda } \theta ^{\gamma \mu }\nonumber \\&\quad -\frac{1}{3} \theta ^{\alpha \lambda } \theta ^{\beta \nu } \theta ^{\gamma \mu }+\frac{1}{6} \theta ^{\alpha \mu }\theta ^{\beta \lambda } \theta ^{\gamma \nu }\nonumber \\&\quad +\frac{1}{3} \theta ^{\alpha \lambda } \theta ^{\beta \mu } \theta ^{\gamma \nu }\nonumber \\&\quad +\frac{1}{4} \theta ^{\alpha \gamma } \theta ^{\beta \nu } \theta ^{\lambda \mu }-\frac{1}{4} \theta ^{\alpha \beta } \theta ^{\gamma \nu } \theta ^{\lambda \mu }\nonumber \\&\quad -\frac{1}{4} \theta ^{\alpha \gamma } \theta {\beta \mu } \theta ^{\lambda \nu }+\frac{1}{4} \theta ^{\alpha \beta } \theta ^{\gamma \mu } \theta ^{\lambda \nu }\end{aligned}$$(C.16) -
There are three spin 1 components. First
$$\begin{aligned} {1\over 2}\left( A_{j 0 i}-A_{i 0 j}\right) \end{aligned}$$(C.17)with projector
$$\begin{aligned} (\bar{\mathcal{P}}^s_1)^{\alpha \beta \gamma \lambda \mu \nu }&=-\frac{1}{3} \omega ^{\alpha \lambda } \theta ^{\beta \nu } \theta ^{\gamma \mu }+\frac{1}{3} \omega ^{\alpha \lambda } \theta ^{\beta \mu } \theta ^{\gamma \nu }\nonumber \\&\quad -\frac{1}{6} \omega ^{\alpha \mu } \theta ^{\beta \nu } \theta ^{\gamma \lambda } +\frac{1}{6} \omega ^{\alpha \mu } \theta ^{\beta \lambda } \theta ^{\gamma \nu }\nonumber \\&\quad +\frac{1}{6} \omega ^{\alpha \nu } \theta ^{\beta \mu } \theta ^{\gamma \lambda }-\frac{1}{6} \omega ^{\alpha \nu } \theta ^{\beta \lambda } \theta ^{\gamma \mu }\nonumber \\&\quad -\frac{1}{6} \theta ^{\alpha \nu } \omega ^{\beta \lambda } \theta ^{\gamma \mu }\nonumber \\&\quad +\frac{1}{6} \theta ^{\alpha \mu } \omega ^{\beta \lambda } \theta ^{\gamma \nu }-\frac{1}{12} \theta ^{\alpha \nu } \omega ^{\beta \mu } \theta ^{\gamma \lambda }\nonumber \\&\quad +\frac{1}{12} \theta ^{\alpha \lambda } \omega ^{\beta \mu } \theta ^{\gamma \nu }\nonumber \\&\quad +\frac{1}{12} \theta ^{\alpha \mu } \omega ^{\beta \nu } \theta ^{\gamma \lambda }-\frac{1}{12} \theta ^{\alpha \lambda } \omega ^{\beta \nu } \theta ^{\gamma \mu }\nonumber \\&\quad +\frac{1}{6} \theta ^{\alpha \nu } \theta ^{\beta \mu } \omega ^{\gamma \lambda }-\frac{1}{6} \theta ^{\alpha \mu }\theta ^{\beta \nu } \omega ^{\gamma \lambda }\nonumber \\&\quad +\frac{1}{12} \theta ^{\alpha \nu } \theta ^{\beta \lambda } \omega ^{\gamma \mu }-\frac{1}{12} \theta ^{\alpha \lambda } \theta ^{\beta \nu } \omega ^{\gamma \mu }\nonumber \\&\quad -\frac{1}{12} \theta ^{\alpha \mu } \theta ^{\beta \lambda } \omega ^{\gamma \nu }+\frac{1}{12} \theta ^{\alpha \lambda } \theta ^{\beta \mu } \omega ^{\gamma \nu }\end{aligned}$$(C.18)The second one is given by
$$\begin{aligned} A_{0i0} \end{aligned}$$(C.19)corresponding to
$$\begin{aligned} (\bar{\mathcal{P}}^w_1)^{\alpha \beta \gamma \lambda \mu \nu }&=\frac{1}{2} \omega ^{\alpha \beta } \theta ^{\gamma \nu } \omega ^{\lambda \mu }-\frac{1}{2} w^{\alpha \gamma }\theta ^{\beta \nu } \omega ^{\lambda \mu }\nonumber \\&\quad -\frac{1}{2} \omega ^{\alpha \beta } \theta ^{\gamma \mu } \omega ^{\lambda \nu }+\frac{1}{2} \omega ^{\alpha \gamma } \theta ^{\beta \mu }\omega ^{\lambda \nu } \end{aligned}$$(C.20)And there is also a spin 1 trace
$$\begin{aligned} \sum _{j=1}^3A_{jij} \end{aligned}$$(C.21)given by
$$\begin{aligned} (\bar{\mathcal{P}}^t_1)^{\alpha \beta \gamma \lambda \mu \nu }&=-\frac{1}{4} \theta ^{\alpha \gamma }\theta ^{\beta \nu } \theta ^{\lambda \mu }+\frac{1}{4} \theta ^{\alpha \beta }\theta ^{\gamma \nu } \theta ^{\lambda \mu }\nonumber \\&\quad +\frac{1}{4} \theta ^{\alpha \gamma }\theta ^{\beta \mu } \theta ^{\lambda \nu }-\frac{1}{4} \theta ^{\alpha \beta } \theta ^{\gamma \mu } \theta ^{\lambda \nu } \end{aligned}$$(C.22) -
There is only one spin zero, a trace that is given by
$$\begin{aligned} \sum _{i=1}^3 A_{i 0 i} \end{aligned}$$(C.23)that is
$$\begin{aligned} (\bar{\mathcal{P}}_0)^{\alpha \beta \gamma \lambda \mu \nu }&=\frac{1}{6} \theta ^{\alpha \gamma } \omega ^{\beta \mu } \theta ^{\lambda \nu }-\frac{1}{6} \theta ^{\alpha \gamma } \omega ^{\beta \nu } \theta ^{\lambda \mu }\nonumber \\&\quad -\frac{1}{6} \theta ^{\alpha \beta } \omega ^{\gamma \mu }\theta ^{\lambda \nu }+\frac{1}{6} \theta ^{\alpha \beta } \omega ^{\gamma \nu }\theta ^{\lambda \mu } \end{aligned}$$(C.24)
Finally it is easy to check that
In terms of dimensions this is \(\underline{20}=2(\underline{2})\oplus \,3(\underline{1})\oplus (\underline{0})\).
These projectors agree with the ones obtained by Sezgin and van Nieuwenhuizen [29].
Appendix D: Zero modes for \(R^2\)
In Sect. 5 we had determined the quadratic one loop operator in the particular case where the lagrangian is proportional to \(R^2\), the square of the scalar curvature.
It can be checked that this operator has 13 independent zero modes, which are written in terms of the spin operators acting on an arbitrary field \(\Omega _{\alpha \beta \gamma }\in \mathcal{A}\) as
It is quite remarkable that the system has extra gauge symmetries at one loop order that are not present in the exact lagrangian. The physical meaning of this is discussed in the main body of the paper.
Appendix E: Fun with \(S_3\)
Let us highlight the procedure to get the spin projectors in a systematic way. Denoting the elements of permutation group of three elements \(S_3\) acting on \(T_{\alpha \beta \gamma }\in T\times T\times T\) as
The most general projector in this space can be written as
where we have defined the column vectors
Those operators are not symmetric ones; rather the transpose operator is given by
It is important to keep this in mind when multiplying projectors.
On the other hand, it is not difficult to establish that
with
All this implies that
where
These formulas make it trivial to check all assertions about projectors, which have been nevertheless also verified with xAct [28].
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Alvarez, E., Anero, J., Gonzalez-Martin, S. et al. Physical content of quadratic gravity. Eur. Phys. J. C 78, 794 (2018). https://doi.org/10.1140/epjc/s10052-018-6250-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6250-x