Advertisement

Linear and second-order geometry perturbations on spacetimes with torsion

  • Fernando Izaurieta
  • Eduardo RodríguezEmail author
  • Omar Valdivia
Open Access
Regular Article - Theoretical Physics

Abstract

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.

1 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 \(\bar{g}_{\mu \nu }\) composed of a background metric \(g_{\mu \nu }\) and a small perturbation \(h_{\mu \nu }\) on it,
$$\begin{aligned} g_{\mu \nu } \mapsto \bar{g}_{\mu \nu } = g_{\mu \nu } + h_{\mu \nu }, \end{aligned}$$
(1)
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 \(\varGamma _{\mu \nu }^{\lambda }\) as a new degree of freedom. However, the connection is still metric-compatible, i.e., partly metric-dependent. Thus, the torsion of the connection,
$$\begin{aligned} T^{\lambda }_{\,\, \mu \nu } = \varGamma _{\mu \nu }^{\lambda } - \varGamma _{\nu \mu }^{\lambda }, \end{aligned}$$
(2)
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_{\mu \nu }\), plus a high-frequency term, \(h_{\mu \nu }\). 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_{\mu \nu }\) when constructing \(\bar{g}^{\mu \nu }\), \(\bar{\varGamma }_{\mu \nu }^{\lambda }\), \(\bar{R}^{\rho }_{\,\, \sigma \mu \nu }\), 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.

2 Geometry perturbations on a spacetime with torsion

2.1 First-order formalism

Let M be a spacetime manifold and let \(g_{\mu \nu }\) be the coordinate components of its metric tensor at some point P. The orthonormal coframe \(e^{a}_{\,\, \mu }\) is implicitly defined through the relation
$$\begin{aligned} g_{\mu \nu } = \eta _{ab} e^{a}_{\,\, \mu } e^{b}_{\,\, \nu }, \end{aligned}$$
(3)
where \(\eta _{ab}\) is the Minkowski metric. We reserve the term vielbein for the collection of one-forms given by \(e^{a} = e^{a}_{\,\, \mu } \mathrm {d} x^{\mu }\). 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_{\mu \nu }\) 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} = \varLambda ^{a}_{\,\, b} e^{b}\) is associated with the same spacetime metric \(g_{\mu \nu }\) as \(e^{a}\) [via Eq. (3)] provided that \(\varLambda ^{a}_{\,\, b}\) represents a Lorentz transformation, satisfying \(\eta _{ab} = \varLambda ^{c}_{\,\, a} \varLambda ^{d}_{\,\, b} \eta _{cd}\). 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, \(\mathrm {d} e^{a}\), is a two-form, and, consequently, invariant under general coordinate transformations. The fact that Lorentz gauge transformations are local implies, however, that \(\mathrm {d} e^{a}\) does not inherit the vector nature of \(e^{a}\). To deal with this problem, we introduce the spin connection2 \(\omega ^{ab}\) and define the Lorentz-covariant exterior derivative of the vielbein (and similarly for any Lorentz vector form) as
$$\begin{aligned} \mathrm {D} e^{a} = \mathrm {d} e^{a} + \omega ^{a}_{\,\, b} \wedge e^{b}, \end{aligned}$$
(4)
where \(\mathrm {d} + \omega \) transforms as a Lorentz tensor. The covariant exterior derivative of the vielbein defines the torsion two-form, \(T^{a} = \mathrm {D} e^{a}\).
Unlike the ordinary exterior derivative, which satisfies \(\mathrm {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 \(\mathrm {D} T^{a} = R^{a}_{\,\, b} \wedge e^{b}\), where
$$\begin{aligned} R^{a}_{\,\, b} = \mathrm {d} \omega ^{a}_{\,\, b} + \omega ^{a}_{\,\, c} \wedge \omega ^{c}_{\,\, b} \end{aligned}$$
(5)
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) \(\mathrm {D} R^{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 \(\varGamma ^{\lambda }_{\mu \nu }\). A direct link between the two can be established by means of the so-called “vielbein postulate,”
$$\begin{aligned} \partial _{\mu } e^{a}_{\,\, \nu } + \omega ^{a}_{\,\, b\mu } e^{b}_{\,\, \nu } - \varGamma ^{\lambda }_{\mu \nu } e^{a}_{\,\, \lambda } = 0. \end{aligned}$$
(6)
Just like the affine connection, the spin connection can be split into a torsionless piece \(\mathring{\omega }^{ab}\), which satisfies
$$\begin{aligned} \mathrm {d} e^{a} + \mathring{\omega }^{a}_{\,\, b} \wedge e^{b} = 0, \end{aligned}$$
(7)
and a tensor one-form \(\kappa ^{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 \(\kappa ^{ab} = \omega ^{ab} - \mathring{\omega }^{ab}\), carries all affine degrees of freedom within itself. Torsion and contorsion are related by \(T^{a} = \kappa ^{a}_{\,\, b} \wedge e^{b}\).
The fact that the torsionless connection \(\mathring{\omega }^{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-form \(\mathring{R}^{ab}\) as the purely metric concoction [cf. Eq. (5)]
$$\begin{aligned} \mathring{R}^{a}_{\,\, b} = \mathrm {d} \mathring{\omega }^{a}_{\,\, b} + \mathring{\omega }^{a}_{\,\, c} \wedge \mathring{\omega }^{c}_{\,\, b}. \end{aligned}$$
(8)
The Lorentz and Riemann curvatures are related by
$$\begin{aligned} R^{ab} = \mathring{R}^{ab} + \mathring{\mathrm {D}} \kappa ^{ab} + \kappa ^{a}_{\,\, c} \wedge \kappa ^{c}_{\,\, b}, \end{aligned}$$
(9)
where \(\mathring{\mathrm {D}}\) stands for the Lorentz-covariant derivative computed with the torsionless connection \(\mathring{\omega }^{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.

2.2 Default parametrization of perturbations

Let the pair \(\left( e^{a}, \omega ^{ab} \right) \) 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 \(\left( \bar{e}^{a}, \bar{\omega }^{ab} \right) \), with
$$\begin{aligned} e^{a} \mapsto \bar{e}^{a}&= e^{a} + \frac{1}{2}H^{a}, \end{aligned}$$
(10)
$$\begin{aligned} \omega ^{ab} \mapsto \bar{\omega }^{ab}&= \omega ^{ab} + u^{ab}. \end{aligned}$$
(11)
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
$$\begin{aligned} g_{\mu \nu } \mapsto \bar{g}_{\mu \nu } = g_{\mu \nu } + h_{\mu \nu }. \end{aligned}$$
(12)
If \(g_{\mu \nu }\) and \(\bar{g}_{\mu \nu }\) are each related to \(e^{a}\) and \(\bar{e}^{a}\) through Eq. (3), then the metric and the vielbein perturbations are related by
$$\begin{aligned} h_{\mu \nu } = H_{\mu \nu } + \frac{1}{4} H_{\lambda \mu } H^{\lambda }_{\,\, \nu }, \end{aligned}$$
(13)
where \(H_{\mu \nu } = H_{ab} e^{a}_{\,\, \mu } e^{b}_{\,\, \nu }\). The inverse relation can be written as the series
$$\begin{aligned} H^{a}_{\,\, \mu } = h^{a}_{\,\, \mu } - \frac{1}{4} h^{a}_{\,\, \rho } h^{\rho }_{\,\, \mu } + \frac{1}{8} h^{a}_{\,\, \lambda } h^{\lambda }_{\,\, \rho } h^{\rho }_{\,\, \mu } + \cdots . \end{aligned}$$
(14)
In particular, this means that even if \(h_{\mu \nu }\) and \(H_{\mu \nu }\) 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 \left( e^{a}, \omega ^{ab} \right) \) be the four-form Lagrangian density which defines the theory, so that its field equations can be written as \(\delta L / \delta e^{a} = 0\) and \(\delta L / \delta \omega ^{ab} = 0\). By replacing Eqs. (10)–(11) into the field equations, one might attempt to solve \(\delta L / \delta \omega ^{ab} = 0\) for \(u^{ab}\) and replace the result in \(\delta L / \delta 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),
$$\begin{aligned} \omega ^{ab}&= \mathring{\omega }^{ab} + \kappa ^{ab}, \end{aligned}$$
(15)
$$\begin{aligned} \bar{\omega }^{ab}&= \mathring{\bar{\omega }}^{ab} + \bar{\kappa }^{ab}. \end{aligned}$$
(16)
Define now
$$\begin{aligned} \mathring{u}^{ab}&= \mathring{\bar{\omega }}^{ab} - \mathring{\omega }^{ab}, \end{aligned}$$
(17)
$$\begin{aligned} q^{ab}&= \bar{\kappa }^{ab} - \kappa ^{ab}. \end{aligned}$$
(18)
Here, \(\mathring{u}^{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:
$$\begin{aligned} u^{ab} = \mathring{u}^{ab} + q^{ab}. \end{aligned}$$
(19)
To be consistent, \(\mathring{\bar{\omega }}^{ab}\) must be a torsionless connection for the perturbed geometry \(\left( \bar{e}^{a}, \bar{\omega }^{ab} \right) \). The torsionless condition \(\mathrm {d} \bar{e}^{a} + \mathring{\bar{\omega }}^{a}_{\,\, b} \wedge \bar{e}^{b} = 0\) imposes the following constraint on \(\mathring{u}^{ab}\):
$$\begin{aligned} \frac{1}{2} \mathring{\mathrm {D}} H^{a} + \mathring{u}^{a}_{\,\, b} \wedge \left( e^{b} + \frac{1}{2} H^{b} \right) = 0. \end{aligned}$$
(20)
It is possible to solve Eq. (20) for \(\mathring{u}^{ab}\) as a series in \(H^{a}\),
$$\begin{aligned} \mathring{u}_{ab} = \mathring{u}_{ab}^{\left( 1 \right) } + \mathring{u}_{ab}^{\left( 2 \right) } + \mathcal {O} (H^{3}), \end{aligned}$$
(21)
where the linear and quadratic terms are explicitly given by
$$\begin{aligned} \mathring{u}_{ab}^{\left( 1 \right) }&= - \frac{1}{2} \left( \mathrm {I}_{a} \mathring{\mathrm {D}} H_{b} - \mathrm {I}_{b} \mathring{\mathrm {D}} H_{a} \right) , \end{aligned}$$
(22)
$$\begin{aligned} \mathring{u}_{ab}^{\left( 2 \right) }&= \frac{1}{8} \mathrm {I}_{ab} \left( \mathrm {\mathring{D}}H_{c}\wedge H^{c} \right) \nonumber \\&\quad + \frac{1}{2} \left[ \mathrm {I}_{b} \left( \mathring{u}_{ac}^{\left( 1 \right) } \wedge H^{c} \right) - \mathrm {I}_{a} \left( \mathring{u}_{bc}^{\left( 1 \right) } \wedge H^{c} \right) \right] . \end{aligned}$$
(23)
The \(\mathrm {I}^{a}\) and \(\mathrm {I}^{ab}\) operators in Eqs. (22)–(23) are given by \(\mathrm {I}^{a} = -{*}\left( e^{a} \wedge {*}\right. \) and \(\mathrm {I}^{ab} = {*}\left( e^{a} \wedge e^{b} \wedge {*}\right. \) on a four-dimensional spacetime with Lorentzian signature, where \({*}\) is the Hodge dual. See Appendix A for their formal definitions on a d-dimensional manifold with arbitrary signature.

This is certainly progress; we have managed to split the spin connection perturbation into a torsionless piece \(\mathring{u}^{ab}\) plus an independent contorsion perturbation \(q^{ab}\), and to cast \(\mathring{u}^{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 \(\mathring{u}^{ab}\) in terms of the torsionless covariant derivative \(\mathring{\mathrm {D}} = \mathrm {d} + \mathring{\omega }\). The field equations, however, use \(\mathrm {D} = \mathrm {d} + \omega \) and the Lorentz curvature \(R^{ab}\) instead of the Riemann curvature \(\mathring{R}^{ab}\). Mixing both operators and curvatures proves to be a recipe for algebraic disaster.

2.3 Useful parametrization of perturbations

In order to deal with the derivative-mixing problem, we define the new variables
$$\begin{aligned} U^{ab}&= \mathring{u}^{ab} - \varDelta ^{ab},\end{aligned}$$
(24)
$$\begin{aligned} V^{ab}&= q^{ab} + \varDelta ^{ab}, \end{aligned}$$
(25)
where \(\varDelta ^{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
$$\begin{aligned} u^{ab} = \mathring{u}^{ab} + q^{ab} = U^{ab} + V^{ab}, \end{aligned}$$
(26)
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.
Table 1

Torsion is most naturally handled through the first-order formalism

 

Background

Perturbation

Default

Useful

Independent

\(\kappa ^{ab}\)

\(q^{ab}\)

\(V^{ab}\)

Derived

\(\mathring{\omega }^{ab}\)

\(\mathring{u}^{ab}\)

\(U^{ab}\)

Mixed (sum)

\(\omega ^{ab}\)

\(u^{ab}\)

\(u^{ab}\)

The spin connection can be split as \(\omega ^{ab} = \mathring{\omega }^{ab} + \kappa ^{ab}\), where the torsionless, Riemannian connection \(\mathring{\omega }^{ab}\) is derived from the vielbein \(e^{a}\) (and its derivatives) via \(\mathrm {d} e^{a} + \mathring{\omega }^{a}_{\,\, b} \wedge e^{b} = 0\), and the contorsion \(\kappa ^{ab}\) represents a new, independent degree of freedom. (The two-form torsion is given by \(T^{a} = \kappa ^{a}_{\,\, b} \wedge 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 \(\mathring{u}^{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} = \mathring{u}^{ab} - \varDelta ^{ab}\) is, like \(\mathring{u}^{ab}\) itself, completely determined from \(H^{a}\) (and its derivatives), and \(V^{ab} = q^{ab} + \varDelta ^{ab}\) is to be regarded as an independent perturbation. A convenient choice for \(\varDelta ^{ab}\) is then required to satisfy Eq. (28)

In terms of \(U^{ab}\) and \(\varDelta ^{ab}\), the \(\mathring{u}\)-constraint (20) now takes the form
$$\begin{aligned}&\frac{1}{2} \mathrm {D} H^{a} + U^{a}_{\,\, b} \wedge \left( e^{b} + \frac{1}{2} H^{b} \right) \nonumber \\&\quad + \varDelta ^{a}_{\,\, b} \wedge \left( e^{b} + \frac{1}{2} H^{b} \right) - \frac{1}{2} \kappa ^{a}_{\,\, b} \wedge H^{b} = 0. \end{aligned}$$
(27)
A long, hard look at Eqs. (22)–(23) suggests that it may be wise to demand \(\varDelta _{ab}\) to satisfy
$$\begin{aligned}&\varDelta _{ab} \wedge \left( e^{b} + \frac{1}{2} H^{b} \right) - \frac{1}{2} \kappa _{ab} \wedge H^{b} \nonumber \\&\quad = \frac{1}{2} \mathrm {I}_{a} \left[ H^{b} \wedge T_{b} - \frac{1}{2} H^{b} \wedge \mathrm {I}_{b} \left( H^{c} \wedge T_{c} \right) \right] + \mathcal {O} (H^{3}). \end{aligned}$$
(28)
Crucially, we are now able to solve Eq. (28) for \(\varDelta _{ab}\) as a series in \(H^{a}\),
$$\begin{aligned} \varDelta _{ab} = \varDelta _{ab}^{\left( 1 \right) } + \varDelta _{ab}^{\left( 2 \right) } + \mathcal {O} ( H^{3} ), \end{aligned}$$
(29)
where the linear and quadratic terms are given explicitly by
$$\begin{aligned} \varDelta _{ab}^{\left( 1 \right) }&= \frac{1}{2} \left[ \mathrm {I}_{a} \left( \kappa _{bc} \wedge H^{c} \right) - \mathrm {I}_{b} \left( \kappa _{ac} \wedge H^{c} \right) \right] , \end{aligned}$$
(30)
$$\begin{aligned} \varDelta _{ab}^{\left( 2 \right) }&= - \frac{1}{8} \mathrm {I}_{ab} \left( H^{c} \wedge \kappa _{cd} \wedge H^{d} \right) \nonumber \\&\quad - \frac{1}{2} \left[ \mathrm {I}_{a} \left( \varDelta _{bc}^{\left( 1 \right) } \wedge H^{c} \right) - \mathrm {I}_{b} \left( \varDelta _{ac}^{\left( 1 \right) } \wedge H^{c} \right) \right] . \end{aligned}$$
(31)
With this choice for \(\varDelta _{ab}\), Eq. (27) gives us a much nicer version of Eqs. (22)–(23). Writing
$$\begin{aligned} U_{ab} = U_{ab}^{\left( 1 \right) } + U_{ab}^{\left( 2 \right) } + \mathcal {O} (H^{3}), \end{aligned}$$
(32)
we now find [cf. Eqs. (22)–(23)]
$$\begin{aligned} U_{ab}^{\left( 1 \right) }&= -\frac{1}{2} \left( \mathrm {I}_{a} \mathrm {D} H_{b} - \mathrm {I}_{b} \mathrm {D} H_{a} \right) , \end{aligned}$$
(33)
$$\begin{aligned} U_{ab}^{\left( 2 \right) }&= \frac{1}{8} \mathrm {I}_{ab} \left( \mathrm {D} H_{c} \wedge H^{c} \right) \nonumber \\&\quad - \frac{1}{2} \left[ \mathrm {I}_{a} \left( U_{bc}^{\left( 1 \right) } \wedge H^{c} \right) - \mathrm {I}_{b} \left( U_{ac}^{\left( 1 \right) } \wedge H^{c} \right) \right] . \end{aligned}$$
(34)
Equations (33)–(34) allow us to compute \(U^{ab}\) up to quadratic terms in \(H^{a}\) using the same Lorentz-covariant exterior derivative \(\mathrm {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
$$\begin{aligned} T_{a} \mapsto \bar{T}_{a}&= T_{a} + V_{ab} \wedge \left( e^{b} + \frac{1}{2} H^{b} \right) \nonumber \\&\quad - \frac{1}{2} \mathrm {I}_{a} \left[ H^{b} \wedge T_{b} - \frac{1}{2} H^{b} \wedge \mathrm {I}_{b} \left( H^{c} \wedge T_{c} \right) \right] . \end{aligned}$$
(35)
For the curvature we write
$$\begin{aligned} R^{ab} \mapsto \bar{R}^{ab} = R^{ab} + R_{\left( 1 \right) }^{ab} + R_{\left( 2 \right) }^{ab} + \mathcal {O} (H^{3}), \end{aligned}$$
(36)
where the linear and quadratic terms are given by
$$\begin{aligned} R_{\left( 1 \right) }^{ab}&= \mathrm {D} U_{\left( 1 \right) }^{ab} + \mathrm {D} V^{ab}, \end{aligned}$$
(37)
$$\begin{aligned} R_{\left( 2 \right) }^{ab}&= \mathrm {D} U_{\left( 2 \right) }^{ab} + \left( U^{a}_{\left( 1 \right) c} + V^{a}_{\,\, c} \right) \wedge \left( U_{\left( 1 \right) }^{cb} + V^{cb} \right) . \end{aligned}$$
(38)
These expressions reduce to the standard perturbation case [see, e.g., Ref. [18], Eqs. (1.113)–(1.114)] in the torsionless limit.

3 Final remarks

In this paper, we have shown that in the context of Riemann–Cartan geometry perturbations are best described as
$$\begin{aligned} e^{a}&\mapsto \bar{e}^{a} = e^{a} + \frac{1}{2} H^{a}, \end{aligned}$$
(39)
$$\begin{aligned} \omega ^{ab}&\mapsto \bar{\omega }^{ab} = \omega ^{ab} + U^{ab} \left( H, \partial H \right) + V^{ab}. \end{aligned}$$
(40)
Here, \(H^{a}\) is related to the standard metric perturbation by [cf. Eq. (14)]
$$\begin{aligned} H^{a}_{\,\, \mu } = h^{a}_{\,\, \mu } - \frac{1}{4} h^{a}_{\,\, \rho } h^{\rho }_{\,\, \mu } + \frac{1}{8} h^{a}_{\,\, \lambda } h^{\lambda }_{\,\, \rho } h^{\rho }_{\,\, \mu } + \cdots . \end{aligned}$$
(41)
The H-dependent contribution to the spin connection perturbation is given by [cf. Eqs. (32)–(34)]
$$\begin{aligned} U_{ab}&= -\frac{1}{2} \left( \mathrm {I}_{a} \mathrm {D} H_{b} - \mathrm {I}_{b} \mathrm {D} H_{a} \right) + \frac{1}{8} \mathrm {I}_{ab} \left( \mathrm {D} H_{c} \wedge H^{c} \right) \nonumber \\&\quad + \frac{1}{4} \mathrm {I}_{a} \left[ \left( \mathrm {I}_{b} \mathrm {D} H_{c} - \mathrm {I}_{c} \mathrm {D} H_{b} \right) \wedge H^{c} \right] \nonumber \\&\quad - \frac{1}{4} \mathrm {I}_{b} \left[ \left( \mathrm {I}_{a} \mathrm {D} H_{c} - \mathrm {I}_{c} \mathrm {D} H_{a} \right) \wedge H^{c} \right] + \mathcal {O} (H^{3}). \end{aligned}$$
(42)
Finally, \(V^{ab}\) is an H-independent torsional mode. See Appendix A for the definition of the \(\mathrm {I}\)-operators.
In terms of this parametrization of the geometry perturbation, torsion and curvature can be written as [cf. Eq. (35)]
$$\begin{aligned} T_{a} \mapsto \bar{T}_{a}&= T_{a} + V_{ab} \wedge \left( e^{b} + \frac{1}{2} H^{b} \right) \nonumber \\&\quad - \frac{1}{2} \mathrm {I}_{a} \left[ H^{b} \wedge T_{b} - \frac{1}{2} H^{b} \wedge \mathrm {I}_{b} \left( H^{c} \wedge T_{c} \right) \right] , \end{aligned}$$
(43)
and [cf. Eqs. (36)–(38)]
$$\begin{aligned} R^{ab} \mapsto \bar{R}^{ab}&= R^{ab} + \mathrm {D} U_{\left( 1 \right) }^{ab} + \mathrm {D} V^{ab} + \mathrm {D} U_{\left( 2 \right) }^{ab} \nonumber \\&\quad + \left( U^{a}_{\left( 1 \right) c} \!+ \!V^{a}_{\,\, c} \right) \wedge \left( U_{\left( 1 \right) }^{cb} \!+\! V^{cb} \right) \!+\! \mathcal {O} (H^{3}). \end{aligned}$$
(44)
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 \(\mathrm {D} U_{\left( 1 \right) }^{ab}\) and \(\mathrm {D} U_{\left( 2 \right) }^{ab}\) 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_{\left( 1 \right) }^{ab}\) [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 \(\mathrm {D} \, {*}R^{ab}\), where \({*}\) stands for the Hodge dual (see Appendix A).

Footnotes

  1. 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].

  2. 2.

    A more appropriate name would be Lorentz connection. The “spin connection” name is often used in the physics literature because \(\omega ^{ab}\) is needed to take the covariant derivative of spinor fields.

Notes

Acknowledgements

We are grateful to José Barrientos, Jens Boos, Oscar Castillo-Felisola, Fabrizio Cordonier-Tello, Cristóbal Corral, Nicolás González, Perla Medina, Daniela Narbona, Julio Oliva, Francisca Ramírez, Patricio Salgado, Sebastián Salgado, Jorge Zanelli, and Alfonso Zerwekh for many enlightening conversations. FI acknowledges financial support from the Chilean government through Fondecyt grants 1150719 and 1180681. OV acknowledges VRIIP UNAP for financial support through Project VRIIP0258-18.

References

  1. 1.
    B.P. Abbott et al., Phys. Rev. Lett. 119(16), 161101 (2017).  https://doi.org/10.1103/PhysRevLett.119.161101 ADSCrossRefGoogle Scholar
  2. 2.
    J.M. Ezquiaga, M. Zumalacárregui, Front. Astron. Space Sci. 5, 44 (2018).  https://doi.org/10.3389/fspas.2018.00044 ADSCrossRefGoogle Scholar
  3. 3.
    J.M. Ezquiaga, M. Zumalacárregui, Phys. Rev. Lett. 119(25), 251304 (2017).  https://doi.org/10.1103/PhysRevLett.119.251304 ADSCrossRefGoogle Scholar
  4. 4.
    J. Sakstein, B. Jain, Phys. Rev. Lett. 119(25), 251303 (2017).  https://doi.org/10.1103/PhysRevLett.119.251303 ADSCrossRefGoogle Scholar
  5. 5.
    S. Mukherjee, S. Chakraborty, Phys. Rev. D 97(12), 124007 (2018).  https://doi.org/10.1103/PhysRevD.97.124007 ADSMathSciNetCrossRefGoogle Scholar
  6. 6.
    T.W.B. Kibble, J. Math. Phys. 2, 212 (1961).  https://doi.org/10.1063/1.1703702 ADSCrossRefGoogle Scholar
  7. 7.
    D.W. Sciama, Rev. Mod. Phys. 36, 463 (1964).  https://doi.org/10.1103/RevModPhys.36.1103. [Erratum: Rev. Mod. Phys. 36, 1103 (1964)]ADSCrossRefGoogle Scholar
  8. 8.
    F.W. Hehl, P. von der Heyde, G.D. Kerlick, J.M. Nester, Rev. Mod. Phys. 48, 393 (1976).  https://doi.org/10.1103/RevModPhys.48.393 ADSCrossRefGoogle Scholar
  9. 9.
    F.W. Hehl, J.D. McCrea, E.W. Mielke, Y. Ne’eman, Phys. Rept. 258, 1 (1995).  https://doi.org/10.1016/0370-1573(94)00111-F ADSCrossRefGoogle Scholar
  10. 10.
    A. Mardones, J. Zanelli, Class. Quant. Grav. 8, 1545 (1991).  https://doi.org/10.1088/0264-9381/8/8/018 ADSCrossRefGoogle Scholar
  11. 11.
    M. Blagojević, F.W. Hehl (eds.) Gauge Theories of Gravitation: A Reader With Commentaries. Classification of Gauge Theories of Gravity (World Scientific, Singapore, 2013).  https://doi.org/10.1142/p781 Google Scholar
  12. 12.
    J. Boos, F.W. Hehl, Int. J. Theor. Phys. 56(3), 751 (2017).  https://doi.org/10.1007/s10773-016-3216-3 CrossRefGoogle Scholar
  13. 13.
    M. Blagojević, B. Cvetković, Y.N. Obukhov, Phys. Rev. D 96(6), 064031 (2017).  https://doi.org/10.1103/PhysRevD.96.064031 ADSMathSciNetCrossRefGoogle Scholar
  14. 14.
    M. Blagojević, B. Cvetković, Phys. Rev. D 98, 024014 (2018).  https://doi.org/10.1103/PhysRevD.98.024014 ADSCrossRefGoogle Scholar
  15. 15.
    G.K. Karananas, Class. Quant. Grav. 32(5), 055012 (2015).  https://doi.org/10.1088/0264-9381/32/5/055012. [Erratum: Class. Quant. Grav. 32(8), 089501 (2015).  https://doi.org/10.1088/0264-9381/32/8/089501]
  16. 16.
    J. Zanelli. In: Proceedings, 7th Mexican Workshop on Particles and Fields (MWPF 1999): Merida, Mexico, November 10–17, 1999 (2005)Google Scholar
  17. 17.
    J. Barrientos, F. Cordonier-Tello, F. Izaurieta, P. Medina, D. Narbona, E. Rodríguez, O. Valdivia, Phys. Rev. D 96(8), 084023 (2017).  https://doi.org/10.1103/PhysRevD.96.084023 ADSMathSciNetCrossRefGoogle Scholar
  18. 18.
    M. Maggiore, Gravitational Waves: Volume 1: Theory and Experiments (Oxford University Press, Oxford, UK, 2007).  https://doi.org/10.1093/acprof:oso/9780198570745.001.0001
  19. 19.
    F.W. Hehl, Four Lectures on Poincaré Gauge Field Theory, in Cosmology and Gravitation: Spin, Torsion, Rotation, and Supergravity. NATO Advanced Study Institutes Series, ed. by P.G. Bergmann, V. De Sabbata (Springer, Boston, MA, USA, 1980), pp. 5–61.  https://doi.org/10.1007/978-1-4613-3123-0 Google Scholar
  20. 20.
    K. Shimada, K. Aoki, K.i. Maeda, (2018). Preprint arXiv:1812.03420 [gr-qc]
  21. 21.
    Y. Bonder, C. Corral, Phys. Rev. D 97(8), 084001 (2018).  https://doi.org/10.1103/PhysRevD.97.084001 ADSMathSciNetCrossRefGoogle Scholar
  22. 22.
    S.W. MacDowell, F. Mansouri, Phys. Rev. Lett. 38, 739 (1977).  https://doi.org/10.1103/PhysRevLett.38.739 ADSMathSciNetCrossRefGoogle Scholar
  23. 23.
    D.K. Wise, Class. Quant. Grav. 27, 155010 (2010).  https://doi.org/10.1088/0264-9381/27/15/155010 ADSCrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

Open AccessThis 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

Authors and Affiliations

  1. 1.Facultad de Ingeniería y ArquitecturaUniversidad Arturo PratIquiqueChile
  2. 2.Departamento de FísicaUniversidad de ConcepciónConcepciónChile
  3. 3.Departamento de FísicaUniversidad Nacional de ColombiaBogotáColombia

Personalised recommendations