Abstract
We undertake the construction of quadratic parity-violating terms involving the curvature in the four-dimensional metric-affine gravity. We demonstrate that there are only 12 linearly independent scalars, plus an additional one that can be removed by using the Pontryagin invariant. Several convenient bases for this sector are provided in both components and differential form notation. We also particularize our general findings to some constrained geometries like Weyl–Cartan and metric-compatible connections.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
General Relativity (GR) provides the standard geometrical description of the gravitational interaction by means of the spacetime metric. A distinctive property of GR that conforms one of its very foundational aspects is the equivalence principle, which has recently been tested to an astonishing precision of \(10^{-15}\) by the MICROSCOPE collaboration [1]. In accordance with this principle, gravity cannot distinguish between different types of matter, which thus manifests its universal character. It is precisely this alluring property what invites to develop a geometrical framework for gravity. In this context, frames become an important aspect of the gravitational interaction to the extent that they can be promoted to the status of fundamental objects. Furthermore, the frames are endowed with an internal Lorentz invariance that naturally introduces a Minkowski structure in the tangent space. Equipped with this set-up, it is then natural to use the field-theoretic machinery to construct gravity as a gauge theory. Since frames are associated to general linear transformations, the relevant group to consider is \(\textrm{GL}(4,\mathbb {R})\) that leads to the metric-affine gravity (MAG) framework (see e.g. [2]). In this approach, the corresponding gauge field strength of the connection is identified with the curvature, in terms of which we can build a quadratic Lagrangian, as in Yang-Mills theory. Such curvature square Lagrangians have been extensively studied in MAG, both in the full metric-affine arena as well as in some restricted frameworks. In most cases, however, emphasis is given to the parity-preserving sector. Currently, there is a considerable growing interest in the parity violation effects in the high-energy physics and in the gravity theory. The early discussions of this issue go back to the works of Kobzarev and Okun [3] and Leitner and Okubo [4,5,6,7] in relation with the search of a possible nontrivial gravitoelectric dipole moment of elementary particles, see Mashhoon [8] for a review. In the context of gauge gravity, cosmological applications have recently been explored for the parity-odd scalar mode within the spectrum of Poincaré gravity [9]. However, the previous results were obtained from an action containing only parity-even invariants. In the gauge gravity approach, the parity-violating modifications of gravitational models were considered in [10,11,12,13]. It is worthwhile to mention the highly interesting manifestations of the parity violation effects that are predicted for gravitational waves [14,15,16,17,18,19].
In view of the growing interest in parity-violating effects from the gravity sector, here we undertake a first step towards the construction of general extensions for the metric-affine gravity theory [2]. Following the philosophy explained above of building Yang–Mills type of Lagrangians, we will focus on the curvature square invariants, thereby generalizing the recent discussion [20,21,22,23] of the torsion and nonmetricity square and linear curvature models of the Hilbert-Einstein type.
The structure of the paper: in Sect. 2, we analyze the irreducible decomposition of curvature tensor, thus deriving the basic building blocks from which in Sect. 3 we construct the complete set of the parity-odd curvature square invariants. Some special geometries are considered in Sect. 4. In Sect. 5, we discuss our results and collect the conclusions. Finally, in Appendix A, we prove some useful relations.
Our basic notation and conventions are as follows. We will use the mostly minus signature for the spacetime metric \((+,-,-,-)\) and the natural units \(c=1\). We also introduce the notation \(H_{(\mu \nu )}:= \frac{1}{2!}(H_{\mu \nu }+H_{\nu \mu })\) and \(H_{[\mu \nu ]}:= \frac{1}{2!}(H_{\mu \nu }-H_{\nu \mu })\), and analogously for an object with n indices (\(2!\rightarrow n!\)). The letters of the Greek alphabet label coordinate (i.e., holonomic) spacetime indices, whereas the Latin alphabet is used for the anholonomic frame components. The covariant derivative and the curvature tensor are defined by (1) and (2), respectively. For the Hodge dual of a k-form \(\varvec{B}=\frac{1}{k!}B_{a_1...a_k} \varvec{\vartheta }^{a_1}\wedge \cdots \wedge \varvec{\vartheta }^{a_k}\), we use \(\star \varvec{B}= \frac{1}{k!(D-k)!} B_{b_1...b_k} \mathcal {E}^{b_1...b_k}{}_{a_1...a_{D-k}} \varvec{\vartheta }^{a_1}\wedge \cdots \wedge \varvec{\vartheta }^{a_{D-k}}\), where \(\mathcal {E}_{c_1...c_D}\) is the totally antisymmetric Levi-Civita tensor and D is the dimension of the manifold (in our case \(D=4\)). The parity-odd objects are marked with an overline: \(\overline{R}{}\), \(\overline{\phi }{}_{ab}\), e.g.
2 Irreducible decomposition of the curvature
In this section we will introduce the main building blocks that we will employ in our construction of parity-odd invariants. We will commence by reminding some basic aspects of the metric-affine framework and, then, the irreducible decomposition of the curvature will be provided. For completeness, we will do it in both, tensor and exterior calculus formalisms. We will closely follow the treatment in [2].
2.1 The curvature tensor and the curvature 2-form
Let us consider an arbitrary smooth 4-dimensional manifold \((M, g, \Gamma )\) equipped with a metric \(g_{\mu \nu }\) and an arbitrary connection \(\Gamma _{\mu \nu }{}^\rho \). This connection defines the parallel transport of tensors on M, as well as the corresponding covariant derivative that acts on a mixed tensor \(H^\mu {}_\nu \) as follows:
The curvature and the torsion tensors associated to this connection are defined as
and they arise from the commutator of covariant derivatives
Applying this identity to the case of the metric tensor, one finds that the symmetric part of the curvature tensor is given by
so it is nontrivial only when the nonmetricity \(Q_{\sigma \alpha \beta } := -\,\nabla _\sigma g_{\alpha \beta }\) does not vanish.
Let us now switch to an arbitrary (non-necessarily orthogonal) frame and its corresponding coframe:
which fulfill \(\varvec{e}_a\lrcorner \varvec{\vartheta }^b =e^\mu {}_a e_\mu {}^b = \delta ^b_a \), where \(\lrcorner \) is the interior product. The anholonomic components of the metric and the connection can be obtained from the coordinate ones as follows:
Moreover if we denote the covariant derivative of \(\omega _{\mu a}{}^b\) as \(D_\mu \), the two derivatives fulfill \(D_\mu v^a=e_\nu {}^a\nabla _\mu v^\nu \) for a vector \(v^a=e_\nu {}^av^\nu \). In this sense, the second equation (8) can be interpreted as a map relating the connection \(\omega _{\mu a}{}^b\) in the frame bundle with the connection \(\Gamma _{\mu \nu }{}^\rho \) in the tangent bundle. The curvature tensor can then be expressed as:
or, in differential form notation,
where we have introduced the curvature 2-form and the connection 1-form,
2.2 Irreducible decomposition of the curvature tensor
Having introduced the curvature, we will proceed now to obtain its irreducible decomposition. In this section we will work with all indices referring to an arbitrary frame. We start by lowering the last index of the curvature and splitting it into symmetric and antisymmetric parts:
with \(W_{cdab}:=R_{cd[ab]}\) and \(Z_{cdab}:=R_{cd(ab)}\). At this point, we will introduce the three independent traces of the curvature that can be constructed and that sometimes go under the names of Ricci, co-Ricci and homothetic tensors:
and also the scalar and the pseudo-scalar that can be constructed with the curvature components,
Moreover, to compactify the subsequent expressions, it is also convenient to define the following tensors:
as well as their symmetric traceless parts:
Finally, we introduce the following symmetric traceless parity-odd tensors:
Notice that \((\psi _{ab},\phi _{ab})\) and \((\bar{\psi }_{ab},\bar{\phi }_{ab})\) have opposite parity transformation properties and we will exploit it later in the construction of parity-odd quadratic scalars.
After introducing all the above useful objects, we now proceed with the irreducible decomposition under the pseudo-orthogonal group (see [2, 24]), following the conventions in [25].
Antisymmetric sector
The antisymmetric component of the curvature can be split into six irreducible pieces:
given by
The characteristic properties of these parts can be described as follows:
-
The 2nd piece is the symmetric traceless pseudo-tensor \(\overline{\psi }{}_{ab}\) (which has to do with the failure of pair-exchange symmetry for \(W_{cdab}\)).
-
The 3rd piece is the totally antisymmetric piece of the curvature (i.e., the pseudo-scalar \(\overline{R}{}\)).
-
The 4th, 5th and 6th pieces basically contain the trace, the antisymmetric and the traceless symmetric parts of \(X_{ab}\).
-
Finally, the 1st piece is the remaining traceless piece (the generalization of the Weyl tensor).
In the Riemannian geometry (i.e., for a Levi-Civita connection), we have the usual identities \(X_{ab}= -R_{ab}=-R_{(ab)}\), \(R_{[abcd]}=0\) and \(W_{abcd}=R_{abcd}=R_{cdab}\), so that all components vanish, except for \( {}^{\scriptscriptstyle (1)\!}W{}{}_{cdab}\), \({}^{\scriptscriptstyle (4)\!}W{}{}_{cdab}\) and \({}^{\scriptscriptstyle (6)\!}W{}{}_{cdab}\).
Symmetric sector
Let us now move on to analyze the symmetric part. This can be decomposed into five irreducible components:
which read
As for the antisymmetric sector, the irreducible pieces of the symmetric sector admit the following description:
-
The 2nd part contains the symmetric traceless pseudo-tensor \(\overline{\phi }{}_{ab}\).
-
The 3rd and 4th pieces contain respectively the antisymmetric and symmetric (automatically traceless) parts of \(Y_{ab}\).
-
the 5th piece contains the homothetic curvature \(\hat{R}{}_{ab}\).
-
Finally, the 1st piece stores the remaining non-trivial part of \(Z_{cdab}\) .
All of these pieces vanish for a Levi-Civita connection by virtue of (5), i.e., the symmetric sector fully trivialises for Riemannian geometries.
2.3 Irreducible decomposition of the curvature 2-form
Now that we have introduced the irreducible decomposition of the curvature tensor, we will proceed to performing the analogous decomposition in the language of differential forms. The two decompositions are of course equivalent, but it is useful to have them both since depending on the specific application one could be more advantageous than the other. First we expand the curvature 2-form into symmetric and antisymmetric parts,
with \(\varvec{W}_{ab}:=\frac{1}{2}W_{cdab}\varvec{\vartheta }^c\wedge \varvec{\vartheta }^d\) and \(\varvec{Z}_{ab}:=\frac{1}{2}Z_{cdab}\varvec{\vartheta }^c\wedge \varvec{\vartheta }^d\).
Introducing the 2-forms \({}^{\scriptscriptstyle (I)\!}\varvec{W}_{ab}:=\frac{1}{2}{}^{\scriptscriptstyle (I)\!}W{}_{cdab}\varvec{\vartheta }^c\wedge \varvec{\vartheta }^d\) and \({}^{\scriptscriptstyle (I)\!}\varvec{Z}_{ab}:=\frac{1}{2}{}^{\scriptscriptstyle (I)\!}Z{}_{cdab}\varvec{\vartheta }^c\wedge \varvec{\vartheta }^d\), we find explicitly:
where we are using the convenient differential forms:
defined in terms of the tensors in (15)–(20) and the homothetic curvature \(\hat{R}_{ab}\). These objects coincide with the ones employed in [25] (see the Appendix of that paper).
3 The parity-odd curvature-square sector of metric-affine gravity
Now that we have the irreducible pieces of the curvature, we can proceed to the construction of Lagrangians that are quadratic in the curvature and break parity. The decomposition simplifies the problem because at the quadratic order the sectors of different parity cannot mix (as discussed below) and, thus, they can be treated separately. For practical purposes, it is more suitable to work in terms of objects with a lower number of indices. Of course, one can construct the set of invariants by using the full irreducible components. However, it is more convenient to find a simpler object (with fewer indices) inside each of them containing all of its information, and use these objects instead.
We start by noticing that \({}^{\scriptscriptstyle (3)\!}W{}\) and \({}^{\scriptscriptstyle (6)\!}W{}\) are the pieces that correspond to the pseudo-scalar and the scalar part of the curvature, respectively, so we can equivalently work with
Now we focus on the traces of the curvature that give the Ricci, co-Ricci and homothetic tensors defined above \(\{R_{ab}, \tilde{R}_{ab}, \hat{R}_{ab}\}\). This set of objects is linearly equivalent to \(\{X_{ab}, Y_{ab}, \hat{R}_{ab}\}\). Moreover, within these three objects, there is only one independent trace that coincides with the usual Ricci scalar already taken into account in (48). Thus, we only need to take care of the symmetric traceless parts of \(\{X_{ab}, Y_{ab}\}\) and the antisymmetric parts of \(\{X_{ab}, Y_{ab}, \hat{R}_{ab}\}\), namely
which relate to the irreducible pieces as follows
It only remains to analyze the first two irreducible parts of both sectors, i.e., the set \(\{{}^{\scriptscriptstyle (1)\!}W{},{}^{\scriptscriptstyle (2)\!}W{},{}^{\scriptscriptstyle (1)\!}Z{},{}^{\scriptscriptstyle (2)\!}Z{}\}\). Together, these four components constitute the totally traceless part of the curvature. Interestingly, two of them are also characterized by symmetric traceless pseudo-tensors with two indices:
Finally, the remaining components \(\{{}^{\scriptscriptstyle (1)\!}W{},{}^{\scriptscriptstyle (1)\!}Z{},\}\) cannot be expressed in terms of simpler objects.
At this point, it is useful to separate our variables into four sets with different number of indices and symmetries:
It is worthwhile to recall that the elements of \(S_{2}^\text {a}\) and \(S_{2}^\text {s}\) are traceless, and that the elements of \(S_{4}\) are completely traceless (i.e. traceless in any pair of indices) and are subject to the constraints
After a careful look into these properties, the parity of the variables, their symmetries and the allowed index structures, it is not difficult to realize that the parity-odd quadratic combinations between objects belonging to distinct sets (57)–(60) are all vanishing. Another way to see this is as follows. First, recall that the objects within each of the S-subspaces belong to different irreducible representations (irreps) of the pseudo-orthogonal group. The reason why mixings between different S’s are zero is that such mixings would involve contractions with the metric and the Levi-Civita tensor (i.e., the invariants of the group in an appropriate frame) that are vanishing for all the irreps. In fact, the two elements of \(S_4\) belong to different irreps, so all combination mixing \({}^{\scriptscriptstyle (1)\!}W{}\) and \({}^{\scriptscriptstyle (1)\!}Z{}\) are vanishing, as we will confirm in Sect. 3.4. Having said this, we can start with the study of the quadratic combinations for each of the sets (57)–(60) separately.
3.1 Quadratic invariants containing the scalar and the pseudo-scalar
It is straightforward to conclude that the only possible parity-odd quadratic invariant involving the elements of \(S_{0}\) is the product of the scalar and the pseudo-scalar:
which corresponds to
Here \(\star 1= \sqrt{|g|}\textrm{d}^4 x\) is the canonical volume form.
3.2 Quadratic invariants involving the elements of \(S_2^\text {a}\)
Due to the fact that a product of two tensors in \(S_2^{\text {a}}\) has four indices, exactly as the Levi-Civita tensor, this leaves us with just the following possibilities:
Therefore these 6 invariants correspond to the different combinations of \({}^{\scriptscriptstyle (5)\!}W{}\), \({}^{\scriptscriptstyle (3)\!}Z{}\) and \({}^{\scriptscriptstyle (5)\!}Z{}\):
Alternatively, the elements of \(S_{2}^\text {a}\) can be further decomposed into selfdual and anti-selfdual with nice transformation properties under parity. For instance, if we call \(X^\star _{ab}:=\frac{1}{2} X_{[cd]} \mathcal {E}^{cd}{}_{ab}\), then we can introduce the 1-formFootnote 1
which satisfies \(\textrm{i}X^{\pm \star }_{ab}=\pm X^{\pm }_{ab}\), and similarly for \(Y_{[ab]}\) and \(\hat{R}_{ab}\). Since we are interested in parity-odd invariants, we need to consider the scalars \(\mathcal {S}^{+}_{ab} \mathcal {T}^{-}{}^{ab}\) for \(\mathcal {S}_{ab},\mathcal {T}_{ab}\in \{X_{[ab]},Y_{[ab]},\hat{R}_{ab}\}\). These six independent quantities span the same space as (64) in the alternative basis that exploits the duality properties.
3.3 Quadratic invariants involving the elements of \(S_2^\text {s}\)
As commented above, the elements of this subspace can be separated into two subsets of different parity:
Any invariant constructed with two elements of the same subset requires one Levi-Civita tensor, and since our pieces are symmetric, it must be vanishing. In other words, the only possibilities allowed by the index structure are the combinations between elements of different subsets. Then, there are just four options:
Such a basis of invariants is linearly equivalent to the following one, in terms of differential forms:
3.4 Quadratic invariants with elements of \(S_{4}\)
Finally, it remains to analyze the construction of parity-odd scalars with elements of \(S_{4}\). Such terms should consist of contractions of two elements of that space and the Levi-Civita tensor. In view of the properties (61), we can construct the possible structures as
Here \(B_{abcd}, C_{abcd} \in S_{4}\), and this L is defined so that the redundant and vanishing invariants in it are omitted. Notice that \(L(B,C)=L(C,B)\), and hence we only need to check each of the three possible pairs of elements of \(S_4\).
The list above can be further reduced, by using the following properties:
These can be easily proven with the help of the differential form notation (see Appendix A for more details). As a consequence, only the first line of (78) contains independent invariants. Therefore,
Notice that due to the symmetry of \({}^{\scriptscriptstyle (1)\!}Z{}_{abcd}\) in the last two indices, this expression is showing that \({}^{\scriptscriptstyle (1)\!}W{}\) and \({}^{\scriptscriptstyle (1)\!}Z{}\) cannot mix up, in agreement with the discussion after (48). This leaves us with just two possibilities:
-
Case \((B,C)=({}^{\scriptscriptstyle (1)\!}W{},{}^{\scriptscriptstyle (1)\!}W{})\). Thanks to the symmetry under exchange of pairs, this reduces to:
$$\begin{aligned} L({}^{\scriptscriptstyle (1)\!}W{},{}^{\scriptscriptstyle (1)\!}W{})= \{{}^{\scriptscriptstyle (1)\!}W{}_{ab}{}^{ef} {}^{\scriptscriptstyle (1)\!}W{}_{cd{ef}} \mathcal {E}^{abcd}\}\,. \end{aligned}$$(81)This combination corresponds in differential form notation to the product
$$\begin{aligned}{} & {} {}^{\scriptscriptstyle (1)\!}W{}^\star _{abcd}{}^{\scriptscriptstyle (1)\!}W{}^{abcd} := \frac{1}{2}{}^{\scriptscriptstyle (1)\!}W{}_{ab}{}^{ef} {}^{\scriptscriptstyle (1)\!}W{}_{cd{ef}}\mathcal {E}^{abcd} \qquad \nonumber \\{} & {} \quad \propto {}^{\scriptscriptstyle (1)\!}\varvec{W}_{ab}\wedge {}^{\scriptscriptstyle (1)\!}\varvec{W}^{ab}\,. \end{aligned}$$(82)Notice that the star in the superscript only indicates that the Hodge dual has been calculated with respect to the first two indices.
-
Case \((B,C)=({}^{\scriptscriptstyle (1)\!}Z{},{}^{\scriptscriptstyle (1)\!}Z{})\). The symmetry in the last two indices allows to eliminate the second and the third elements of (80), so we arrive at a similar situation as in the previous case:
$$\begin{aligned} L({}^{\scriptscriptstyle (1)\!}Z{},{}^{\scriptscriptstyle (1)\!}Z{})= \{{}^{\scriptscriptstyle (1)\!}Z{}_{ab}{}^{ef}{}^{\scriptscriptstyle (1)\!}Z{}_{cd{ef}} \mathcal {E}^{abcd}\}\,. \end{aligned}$$(83)Thus,
$$\begin{aligned}{} & {} {}^{\scriptscriptstyle (1)\!}Z{}^\star _{abcd} {}^{\scriptscriptstyle (1)\!}Z{}^{abcd} := \frac{1}{2}{}^{\scriptscriptstyle (1)\!}Z{}_{ab}{}^{ef} {}^{\scriptscriptstyle (1)\!}Z{}_{cd{ef}}\mathcal {E}^{abcd} \qquad \nonumber \\{} & {} \quad \propto {}^{\scriptscriptstyle (1)\!}\varvec{Z}_{ab}\wedge {}^{\scriptscriptstyle (1)\!}\varvec{Z}^{ab}\,. \end{aligned}$$(84)
Another way of reaching the same result would be to exploit again the fact that \({}^{\scriptscriptstyle (1)\!}W{}\) and \({}^{\scriptscriptstyle (1)\!}Z{}\) belong to different irreps of the pseudo-orthogonal group so they cannot mix at quadratic order. Since we are seeking to construct parity-odd scalars, then the only possibilities will be \({}^{\scriptscriptstyle (1)\!}Z{}{}^{\scriptscriptstyle (1)\!}Z{}^\star \) and \({}^{\scriptscriptstyle (1)\!}W{}{}^{\scriptscriptstyle (1)\!}W{}^\star \), which are the two combinations that we have found with a more direct method.
3.5 Pontryagin invariant
In four dimensions, the (Chern-)Pontryagin invariant [26,27,28] is introduced as
where \(\epsilon ^{\mu \nu \rho \lambda }\) is just the Levi-Civita symbol (a constant pseudo-tensor density). Notice that the metric and the coframe disappear from the Lagrangian, which thus depends only on the connection in view of (9). The combination (85) is a 4-form that can be written as a total derivative for arbitrary connections [26]:
As a consequence, one can ignore this term if we are just interested in the dynamics of the theory. This allows us to drop one of the invariants found in Sect. 3.4. In the following, we will use this freedom to remove the term \({}^{\scriptscriptstyle (1)\!}W{}{}^{\scriptscriptstyle (1)\!}W{}^\star \).
3.6 The quadratic parity-odd metric-affine Lagrangian
As a result of our previous analysis, the dimension of the vector space of parity-odd curvature-squared invariants is 12 (excluding one that corresponds to the Pontryagin invariant) so this sector will contain 12 independent parameters. One possible choice of the basis isFootnote 2
We can express the general parity-odd quadratic Lagrangian in terms of more familiar objects (Ricci, co-Ricci, homothetic and Riemann tensors) as follows:
We can alternatively express the parity-odd Lagrangian in the language of differential formsFootnote 3
Let us recall that \({}^{\scriptscriptstyle (3)\!}\varvec{W}_{ab}\wedge {}^{\scriptscriptstyle (6)\!}\varvec{W}^{ab}\propto R\overline{R}{}\ (\star 1)\). This Lagrangian can equivalently be written as
4 Special geometries
In this section we will particularize the general parity-odd Lagrangian obtained above to some particular geometries, thus recovering some known results in the literature.
4.1 Weyl–Cartan gravity
We will first particularize to the Weyl–Cartan geometries that are characterized by a nonmetricity tensor that is fully determined by a vector field \(V_\mu \) so that \(\nabla _\mu g_{\nu \rho }=V_\mu g_{\nu \rho }\). In this geometry, the traceless part of \(Z_{cdab}\) vanishes and only the irreducible piece \({}^{\scriptscriptstyle (5)\!}Z{}\) survives. Moreover, the co-Ricci tensor is related to the Ricci tensor as \(\tilde{R}_{ab} = -R_{ab}\) in this geometry. All of these properties imply the following vanishing pieces
namely,
Then, one can write down the analogue of (87)–(90) in the Weyl–Cartan case
and
4.2 Poincaré gravity
We conclude with the Poincaré gauge gravity case in which the connection is metric-compatible: \(\nabla _\mu g_{\nu \rho } = 0\). The basis of invariants has already been presented in the literature (see e.g. [29]), but we also include it for completeness. In this case, also the trace of \(Z_{cdab}\) in the last two (the homothetic curvature, \(\hat{R}_{ab}\)) vanishes. Thus, we also have to impose \(\varvec{Z}=0\). As a result, only three invariants are allowed. The resulting parity-odd Lagrangians are:
and
5 Discussion
In this paper we have undertaken the construction of the general Lagrangian containing parity-odd terms that are quadratic in the curvature in four spacetime dimensions. We have analyzed the construction of all the independent parity-odd scalars by resorting to the irreducible components of the curvature under the pseudo-orthogonal group and we have done in both world tensor components and anholonomic differential form languages. We have shown that there are 13 independent terms, but the existence of the Pontryagin invariant in 4 dimensions allows to remove one of them. Thus, our final Lagrangian consists of 12 independent terms that is our main result. We have recovered known results in the literature by particularizing to Weyl–Cartan geometries and Poincaré gauge theory.
Our results will be important in the context of a general development of theories of gravity beyond the Einstein framework, including the discussion of fundamental issues such as the equivalence principle [30]. In a more specialized sense, the results obtained will contribute to the studies of parity-violating effects in cosmology and black hole physics since the obtained Lagrangians complete the quadratic parity-odd sector of the general metric-affine framework. On the other hand, before applications of our Lagrangian can be robustly and reliably obtained, a stability analysis should be performed, since a common problem of quadratic curvature theories in the metric-affine realm is the presence of ghost-like instabilities (either in the linear or in the full non-linear spectrum; see e.g. [31]).
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This manuscript is purely theoretical, i.e., it is based on theoretical assumptions and previous mathematical results. It has no associated data.]
Notes
Here we are writing explicitly the antisymmetrization of indices in \(X_{[ab]}\) and \(Y_{[ab]}\), because the objects \(X_{ab}\) and \(Y_{ab}\) (defined in (15) and (16)) also have a symmetric part. The rest of the objects defined in this paragraph, i.e. those with superscripts \(\star \) and ±, are automatically antisymmetric by definition.
In case we are interested in keeping the boundary term, one can include for example \({}^{\scriptscriptstyle (1)\!}W{}_{ab}{}^{ef}{}^{\scriptscriptstyle (1)\!}W{}_{cdef}\mathcal {E}^{abcd}\) in (87), \(R_{ab}{}^{ef}R_{cdfe}\mathcal {E}^{abcd}\) in (88), \(\varvec{W}_{ab}\wedge \varvec{W}^{ab}\) in (89) or \({}^{\scriptscriptstyle (1)\!}\varvec{W}_{ab}\wedge {}^{\scriptscriptstyle (1)\!}\varvec{W}^{ab}\) in (90).
The Lagrangian density and its corresponding Lagrangian form are related via \(\textbf{L}=\mathcal {L} \sqrt{|g|} \textrm{d}^4x\).
References
P. Touboul et al., MICROSCOPE mission: final results of the test of the equivalence principle. Phys. Rev. Lett. 129(12), 121102 (2022)
F.W. Hehl, J.D. McCrea, E.W. Mielke, Y. Ne’eman, Metric affine gauge theory of gravity: field equations, Noether identities, world spinors, and breaking of dilation invariance. Phys. Rep. 258, 1–171 (1995)
I.Y. Kobzarev, L.B. Okun, Gravitational interaction of fermions. Sov. Phys. JETP 16, 1343–1346 (1963)
J. Leitner, S. Okubo, Parity, charge conjugation, and time reversal in the gravitational interaction. Phys. Rev. 136, B1542–B1546 (1964)
N.D. Hari Dass, Experimental tests for some quantum effects in gravitation. Ann. Phys. (USA) 107, 337–359 (1977)
T.A. Morgan, A. Peres, Direct test for the strong equivalence principle. Phys. Rev. Lett. 9, 79–80 (1962)
A. Peres, Test of equivalence principle for particles with spin. Phys. Rev. D 18, 2739–2740 (1978)
B. Mashhoon, Gravitational couplings of intrinsic spin. Class. Quantum Gravity 17, 2399–2409 (2000)
Á. de la Cruz Dombriz, F.J.M. Torralba, D.F. Mota, Dark matter candidate from torsion, 12 (2021)
A.J. Purcell, Pseudoscalar action in a Cartan spacetime. Phys. Rev. D 18, 2730–2732 (1978)
R. Hojman, C. Mukku, W.A. Sayed, Parity violation in metric-torsion theories of gravitation. Phys. Rev. D 22, 1915–1921 (1980)
F. Müller-Hoissen, J. Nitsch, Teleparallelism: a viable theory of gravity? Phys. Rev. D 28, 718–728 (1983)
B. Mukhopadhyaya, S. Sengupta, S. Sur, Space-time torsion and parity violation: a gauge-invariant formulation. Mod. Phys. Lett. A 17(01), 43–49 (2002)
S.H. Alexander, N. Yunes, Gravitational wave probes of parity violation in compact binary coalescences. Phys. Rev. D 97, 064033 (2018)
A. Conroy, T. Koivisto, Parity-violating gravity and GW170817 in non-Riemannian cosmology. J. Cosmol. Astropart. Phys. 2019(12), 016–016 (2019)
A. Nishizawa, T. Kobayashi, Parity-violating gravity and GW170817. Phys. Rev. D 98, 124018 (2018)
J. Qiao, T. Zhu, W. Zhao, A. Wang, Waveform of gravitational waves in the ghost-free parity-violating gravities. Phys. Rev. D 100, 124058 (2019)
D. Yoshida, J. Soda, Exploring the string axiverse and parity violation in gravity with gravitational waves. Int. J. Mod. Phys. D 27, 1850096 (2018)
W. Zhao, T. Zhu, J. Qiao, A. Wang, Waveform of gravitational waves in the general parity-violating gravities. Phys. Rev. D 101, 024002 (2020)
Y.N. Obukhov, Parity violation in Poincaré gauge gravity. Int. J. Geom. Methods Mod. Phys. 18(supp01), 2150022 (2021)
D. Iosifidis, L. Ravera, Parity violating metric-affine gravity theories. Class. Quantum Gravity 38, 115003 (2021)
D. Iosifidis, The full quadratic metric-affine gravity (including parity odd terms): exact solutions for the affine-connection. Class. Quantum Gravity 39, 095002 (2022)
D. Iosifidis, Solving linear tensor equations II: including parity odd terms in four dimensions. Universe 8, 312 (2022)
J.D. McCrea, Irreducible decompositions of non-metricity, torsion, curvature and Bianchi identities in metric affine space-times. Class. Quantum Gravity 9, 553–568 (1992)
A. Jiménez-Cano, Y.N. Obukhov, Gravitational waves in metric-affine gravity theory. Phys. Rev. D 103(2), 024018 (2021)
F.W. Hehl, W. Kopczyński, J.D. McCrea, E.W. Mielke, Chern–Simons terms in metric-affine space-time: Bianchi identities as Euler–Lagrange equations. J. Math. Phys. 32, 2169–2180 (1991)
Y.N. Obukhov, F.W. Hehl, On the relation between quadratic and linear curvature Lagrangians in Poincare gauge gravity. Acta Phys. Pol. B 27, 2685–2694 (1996)
C. Cherubini, D. Bini, S. Capozziello, R. Ruffini, Second order scalar invariants of the Riemann tensor: applications to black hole space-times. Int. J. Mod. Phys. D 11, 827–841 (2002)
Y.N. Obukhov, V.N. Ponomariev, V.V. Zhytnikov, Quadratic Poincaré gauge theory of gravity: a comparison with the general relativity theory. Gen. Relativ. Gravit. 21, 1107–1142 (1989)
S. Capozziello, V. De Falco, C. Ferrara, Comparing equivalent gravities: common features and differences. Eur. Phys. J. C 82, 865 (2022)
A. Jiménez-Cano, F.J.M. Torralba, Vector stability in quadratic metric-affine theories. J. Cosmol. Astropart. Phys. 09, 044 (2022)
Acknowledgements
AJC was supported by the European Regional Development Fund through the Center of Excellence TK133 “The Dark Side of the Universe” and by the Mobilitas Pluss postdoctoral grant MOBJD1035. J.B.J. was supported by the Project PGC2018-096038-B-100 funded by the Spanish ”Ministerio de Ciencia e Innovación”.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Proof of (79)
Appendix A: Proof of (79)
If we call \(\varvec{B}_{ab}=\frac{1}{2}B_{cdab}\varvec{\vartheta }^a\wedge \varvec{\vartheta }^b\) and \(\varvec{C}_{ab}=\frac{1}{2}C_{cdab}\varvec{\vartheta }^a\wedge \varvec{\vartheta }^b\), we can derive the following proportionality relations:
where we have used the traceless conditions \(\varvec{e}^a\lrcorner \varvec{B}_{fa}=0=\varvec{e}^a\lrcorner \varvec{C}_{fa}\), the duality \(\varvec{e}_a\lrcorner \varvec{\vartheta }^b=\delta ^b_a\), the antisymmetry of the interior product \(\varvec{e}^a\lrcorner \varvec{e}_a\lrcorner =0\), the property \(\star (\varvec{\vartheta }^a\wedge \varvec{\vartheta }^b\wedge \varvec{\vartheta }^c\wedge \varvec{\vartheta }^d)= \mathcal {E}^{abcd}\) and the fact that 5-forms are vanishing in four dimensions. The symbol (...) denotes some combination of forms that we have omitted because it is irrelevant for the proof.
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. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Beltrán Jiménez, J., Jiménez-Cano, A. & Obukhov, Y.N. On parity-odd sector in metric-affine theories. Eur. Phys. J. C 83, 115 (2023). https://doi.org/10.1140/epjc/s10052-023-11250-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11250-2