Linear and second-order geometry perturbations on spacetimes with torsion

In order to study gravitational waves in any realistic astrophysical scenario, one must consider geometry perturbations up to second order. Here, we present a general technique for studying linear and quadratic perturbations on a spacetime with torsion. Besides the standard metric mode, a “torsionon” perturbation mode appears. This torsional mode will be able to propagate only in a certain kind of theories.


Introduction
Besides opening up the new field of gravitational-wave astronomy, gravitational waves have proven to be a valuable tool in order to constraint alternative theories of gravity. In particular, the detection of GW170817 [1] refuted whole families of theories [2][3][4]. Together with other experimental results [5], this amounts to a renewed challenge on alternative gravitational theories.
The standard approach to gravitational waves is based on Riemannian geometry. We start by considering a metricḡ μν composed of a background metric g μν and a small perturbation h μν on it, and from this metric we calculate the Christoffel connection, the Riemann curvature, the behavior of the field equations under the perturbations, etc.
To repeat this success for theories formulated using Riemann-Cartan (RC) geometry instead of Riemannian geometry may seem difficult. The basic premise of RC geometry is to consider the connection Γ λ μν as a new degree of freea e-mail: fizaurie@udec.cl b e-mail: eduarodriguezsal@unal.edu.co c e-mail: ovaldivi@unap.cl dom. However, the connection is still metric-compatible, i.e., partly metric-dependent. Thus, the torsion of the connection, incorporates the 24 new independent degrees of freedom of a RC-space in four dimensions. The simplest theory formulated using RC geometry is Einstein-Cartan-Sciama-Kibble (ECSK) gravity [6][7][8], but many other theories in four and higher dimensions are naturally expressed in this framework (see, e.g., Refs. [9][10][11]).
The presence of propagating torsion modes in this class of theories has been the subject of much investigation; for a recent assessment, see Refs. [12][13][14][15] and references therein.
Traditionally, theoretical work on gravitational waves, whether including torsion or not, has used exclusively the tensor formalism, focusing on the metric and (if torsion is a concern) the affine connection perturbations. It is the purpose of this article to show that Cartan's elegant and powerful exterior calculus, which, when applied to gravitational theory, treats the vielbein and spin connection one-forms as independent variables (see, e.g., Ref. [16]), is also up to the task. Crucial in accomplishing this goal is the introduction of certain operators whose action on differential p-forms mimics tensor operations without ever writing spacetime indices explicitly. In this paper, we use Cartan's formalism to parametrize linear and second-order perturbations on the vielbein and the spin connection in a manner that clearly separates the metric from the affine degrees of freedom, while remaining well-suited for practical computations.
As part of an earlier work, in Ref. [17] we presented a quick introduction on how this can be accomplished to linear order. In this paper, we will show in detail how it is done up to second order in perturbations. Going to second order is essential in order to construct realistic astrophysical models. As explained in Chapter 1.4 of Ref. [18], we have to be able to split the field equations as a low-frequency background, g μν , plus a high-frequency term, h μν . Since the product of terms of similar high frequencies can give rise to low-frequency effects, we have to consider linear and quadratic terms in h μν when constructingḡ μν ,Γ λ μν ,R ρ σ μν , etc., in the context of Riemannian geometry. This means that second-order terms become essential to define an effective stress-energy tensor for the perturbations.
The current article deals only with kinematics. We will not construct any model, and we will not discuss any dynamics. The only purpose of this article is to provide a practical tool for anyone interested in studying geometry perturbations on RC geometry with nonvanishing torsion. Our results hold for any theory based on RC geometry.
Besides the graviton, there is a new mode, the "torsionon." 1 Whether or not it propagates depends on the choice of Lagrangian. For instance, in standard ECSK gravity and other similar theories [20], this new mode will not propagate in a vacuum. However, in nonminimally coupled theories (see, e.g., Refs. [17,21]) or the MacDowell-Mansouri theory [22,23], it will.

First-order formalism
Let M be a spacetime manifold and let g μν be the coordinate components of its metric tensor at some point P. The orthonormal coframe e a μ is implicitly defined through the relation where η ab is the Minkowski metric. We reserve the term vielbein for the collection of one-forms given by e a = e a μ dx μ . Since knowledge of the vielbein at every spacetime point is equivalent to knowing the metric at every spacetime point, one can shift focus from g μν to e a when studying the spacetime geometry. The use of differential forms guarantees that the vielbein remains invariant under general coordinate transformations.
A crucial stage in the development of the first-order formalism comes with the realization that the orthonormal coframe at P is not unique. In terms of the vielbein, this means that the rotated vielbein e a = Λ a b e b is associated with the same spacetime metric g μν as e a [via Eq. (3)] provided that Λ a b represents a Lorentz transformation, satisfying 1 The word "torsionon," which rolls off the tongue in Spanish, may be a bit hard to pronounce in English. Boos and Hehl have called these degrees of freedom "gravitational W and Z gauge bosons" [12], while Hehl had earlier suggested the name "roton" [19].
Such a local Lorentz rotation amounts to a gauge transformation on e a , with the vielbein behaving as a Lorentz vector (of one-forms).
The exterior derivative of the vielbein, de a , is a two-form, and, consequently, invariant under general coordinate transformations. The fact that Lorentz gauge transformations are local implies, however, that de a does not inherit the vector nature of e a . To deal with this problem, we introduce the spin connection 2 ω ab and define the Lorentz-covariant exterior derivative of the vielbein (and similarly for any Lorentz vector form) as where d + ω transforms as a Lorentz tensor. The covariant exterior derivative of the vielbein defines the torsion twoform, T a = De a . Unlike the ordinary exterior derivative, which satisfies d 2 = 0, the covariant exterior derivative can yield nonzero results when applied repeatedly. A direct calculation shows that the covariant exterior derivative of the torsion can be written as DT is a Lorentz-tensor two-form called Lorentz curvature. Despite being defined in terms of the non-tensorial spin connection, the Lorentz curvature transforms as a tensor under local Lorentz transformations. No new objects appear by further application of the covariant exterior derivative, since (as can be easily shown) DR ab = 0.
The spin connection represents a new degree of freedom in the theory, independent from the metric degrees of freedom encoded in e a . Its tensor-formalism analog is the affine connection Γ λ μν . A direct link between the two can be established by means of the so-called "vielbein postulate," Just like the affine connection, the spin connection can be split into a torsionless pieceω ab , which satisfies and a tensor one-form κ ab called the contorsion. The torsionless piece is uniquely determined [via Eq. (7)] in terms of the vielbein and its derivatives, meaning that the contorsion, defined as the difference κ ab = ω ab −ω ab , carries all affine degrees of freedom within itself. Torsion and contorsion are related by T a = κ a b ∧ e b . The fact that the torsionless connectionω ab is indeed a connection means that a curvature tensor and a covariant derivative can be associated with it. We define the Riemann curvature two-formR ab as the purely metric concoction [cf. Eq. (5)] The Lorentz and Riemann curvatures are related by whereD stands for the Lorentz-covariant derivative computed with the torsionless connectionω ab . With two connections, two curvatures, and two covariant exterior derivatives, things may get cumbersome. A large part of what follows is an attempt to keep the complications at bay by carefully parametrizing perturbations on the geometry in such a way as to easily track the metric and affine degrees of freedom involved, while keeping calculations as simple as possible.

Default parametrization of perturbations
Let the pair e a , ω ab describe a background geometry as independent degrees of freedom. On this background spacetime we place independent perturbations H a and u ab such that the new, perturbed geometry can be described by the pair ē a ,ω ab , with e a →ē a = e a + 1 2 H a , ω ab →ω ab = ω ab + u ab .
The vielbein perturbation, being a one-form, can be written as H a = H a b e b , where H ab is a zero-form. The antisymmetric part of H ab corresponds to an infinitesimal local Lorentz transformation on e a , which does not change the spacetime metric. This means that, without any loss of generality, we can restrict H ab to be symmetric, H ba = H ab . (See Appendix B for further details on why this can be done).
Let us write the perturbation on the spacetime metric as If g μν andḡ μν are each related to e a andē a through Eq. (3), then the metric and the vielbein perturbations are related by where H μν = H ab e a μ e b ν . The inverse relation can be written as the series In particular, this means that even if h μν and H μν differ at the quadratic level, they are but two equivalent ways of parametrizing the same (metric) degrees of freedom.
Having established the relation between the metric and the vielbein perturbations, the following course of action presents itself to us. Let L = L e a , ω ab be the four-form Lagrangian density which defines the theory, so that its field equations can be written as δL/δe a = 0 and δL/δω ab = 0. By replacing Eqs. (10)-(11) into the field equations, one might attempt to solve δL/δω ab = 0 for u ab and replace the result in δL/δe a = 0, thus eliminating u ab from consideration. Experience shows this course of action to be an algebraic nightmare even in simple cases.
A much more practical way to proceed goes as follows. Let us start by splitting the background and the perturbed spin connections into the corresponding torsionless connections plus contorsion tensors (see Sect. 2.1), ω ab =ω ab +κ ab .
Here,ů ab represents the perturbation on the torsionless piece of the spin connection. This perturbation is not an independent degree of freedom, but rather can be entirely written in terms of the vielbein perturbation, H a , and its derivatives. On the other hand, q ab encodes the perturbation on the contorsion, which is fully independent from the vielbein perturbation. The full spin connection perturbation, u ab , is the sum of these two contributions: To be consistent,ω ab must be a torsionless connection for the perturbed geometry ē a ,ω ab . The torsionless condition dē a +ω a b ∧ē b = 0 imposes the following constraint onů ab : It is possible to solve Eq. (20) forů ab as a series in H a , u ab =ů (1) ab +ů where the linear and quadratic terms are explicitly given bẙ The I a and I ab operators in Eqs. (22)-(23) are given by I a = − * (e a ∧ * and I ab = * e a ∧ e b ∧ * on a four-dimensional spacetime with Lorentzian signature, where * is the Hodge dual. See Appendix A for their formal definitions on a ddimensional manifold with arbitrary signature. This is certainly progress; we have managed to split the spin connection perturbation into a torsionless pieceů ab plus an independent contorsion perturbation q ab , and to castů ab as a series in H a , with the first two terms given by Eqs. (22)- (23). Unfortunately, this is not yet good enough. To see why, note that Eqs. (22)-(23) give usů ab in terms of the torsionless covariant derivativeD = d +ω. The field equations, however, use D = d + ω and the Lorentz curvature R ab instead of the Riemann curvatureR ab . Mixing both operators and curvatures proves to be a recipe for algebraic disaster.

Useful parametrization of perturbations
In order to deal with the derivative-mixing problem, we define the new variables where Δ ab is an antisymmetric Lorentz-tensor one-form to be determined. See Table 1 for a quick reminder of all variables defined so far. Clearly, the spin connection perturbation can be written as so U ab and V ab are to be regarded as a different choice for the metric-dependent and metric-independent contributions to u ab , respectively. In terms of U ab and Δ ab , theů-constraint (20) now takes the form The spin connection can be split as ω ab =ω ab + κ ab , where the torsionless, Riemannian connectionω ab is derived from the vielbein e a (and its derivatives) via de a +ω a b ∧ e b = 0, and the contorsion κ ab represents a new, independent degree of freedom. (The two-form torsion is given by T a = κ a b ∧ e b ). When adding a perturbation u ab to a background spin connection, the default approach consists of also splitting u ab into a torsionless pieceů ab (completely determined from the vielbein perturbation, H a ) and an independent piece, q ab . As we argue in the text, it proves far more convenient to artfully modify this splitting as u ab = U ab + V ab , where U ab =ů ab − Δ ab is, likeů ab itself, completely determined from H a (and its derivatives), and V ab = q ab +Δ ab is to be regarded as an independent perturbation. A convenient choice for Δ ab is then required to satisfy Eq. (28) A long, hard look at Eqs. (22)- (23) suggests that it may be wise to demand Δ ab to satisfy Crucially, we are now able to solve Eq. (28) for Δ ab as a series in H a , where the linear and quadratic terms are given explicitly by With this choice for Δ ab , Eq. (27) gives us a much nicer version of Eqs. (22)- (23). Writing we now find [cf. Eqs. (22)- (23)] Equations (33)-(34) allow us to compute U ab up to quadratic terms in H a using the same Lorentz-covariant exterior derivative D that appears in the field equations.
The perturbed torsion and curvature can now be written in terms of the new variables U ab and V ab . For the torsion we find For the curvature we write where the linear and quadratic terms are given by These expressions reduce to the standard perturbation case [see, e.g., Ref. [18], Eqs. (1.113)-(1.114)] in the torsionless limit.

Final remarks
In this paper, we have shown that in the context of Riemann-Cartan geometry perturbations are best described as e a →ē a = e a + 1 2 Here, H a is related to the standard metric perturbation by [cf. Eq. (14)] The H -dependent contribution to the spin connection perturbation is given by [cf. Eqs. (32)-(34)] Finally, V ab is an H -independent torsional mode. See Appendix A for the definition of the I-operators.
In terms of this parametrization of the geometry perturbation, torsion and curvature can be written as [cf. Eq. (35)] Our analysis has remained kinematic throughout. The actual evolution of perturbations will depend, of course, on the underlying dynamical theory. Note, however, that our results imply that there will be significant differences in the propagation of the graviton, H a , versus the "torsionon," V ab . In Eqs. (37)-(38), the DU ab (1) and DU ab (2) terms produce second-order derivatives of H a (as it must be in order to have gravitational waves). The case of V ab is a bit different. The perturbation of torsion [cf. Eq. (35)] does not include derivatives of V ab . The only place where these derivatives appear is in R ab (1) [cf. Eq. (37)]. This means that in a theory where the field equations do not include derivatives of R ab (e.g., Lovelock or Horndeski), the propagation equations for the torsionon will include at most first-order derivatives of V ab . In order to have a wave equation for V ab , the field equations must include terms such as D * R ab , where * stands for the Hodge dual (see Appendix A).

Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors' comment: This manuscript has no associated data.] Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecomm ons.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 SCOAP 3 .