Luminal Propagation of Gravitational Waves in Scalar-tensor Theories: The Case for Torsion Jos´eBarrientos,2, 3, 4, ∗ Fabrizio Cordonier-Tello,5, y Crist´obalCorral,6, z Fernando Izaurieta,2, x Perla Medina,2, 7, { Eduardo Rodr´ıguez,8, ∗∗ and Omar Valdivia1, yy 1Facultad de Ciencias, Universidad Arturo Prat, 1110939 Iquique, Chile 2Departamento de F´ısica, Universidad de Concepci´on,Casilla 160-C, 4070105 Concepci´on,Chile 3Departamento de Ense~nanzade las Ciencias B´asicas, Universidad Cat´olica del Norte, Larrondo 1281, 1781421 Coquimbo, Chile 4Institute of Mathematics of the Czech Academy of Sciences, Zitn´a25,ˇ 11567 Praha 1, Czechia 5Arnold Sommerfeld Center for Theoretical Physics, Ludwig-Maximilians-Universit¨at M¨unchen,Theresienstraße 37, 80333 Munich, Germany 6Departamento de F´ısica, Universidad de Santiago de Chile, Avenida Ecuador 3493, Estaci´onCentral, 9170124 Santiago, Chile 7Centro de Estudios Cient´ıficos (CECs), Avenida Arturo Prat 514, 5110466 Valdivia, Chile 8Departamento de F´ısica, Universidad Nacional de Colombia, 111321 Bogot´a,Colombia (Dated: December 10, 2019) Scalar-tensor gravity theories with a nonminimal Gauss{Bonnet coupling typically lead to an anomalous propagation speed for gravitational waves, and have therefore been tightly constrained by multimessenger observations such as GW170817/GRB170817A. In this paper we show that this is not a general feature of scalar-tensor theories, but rather a consequence of assuming that spacetime torsion vanishes identically. At least for the case of a nonminimal Gauss{Bonnet coupling, removing the torsionless condition restores the canonical dispersion relation and therefore the correct propa- gation speed for gravitational waves. To achieve this result we develop a new approach, based on the first-order formulation of gravity, to deal with perturbations on these Riemann{Cartan geometries. PACS numbers: 04.50.+h Keywords: Nonvanishing Torsion, Gravitational Waves, Riemann{Cartan Geometry, Gauss{Bonnet Coupling I. INTRODUCTION topological invariants, e.g., the Pontryagin or Gauss{ Bonnet (GB) terms, motivated by effective field theo- The multimessenger measurements of the GW170817 ries, string theory, and particle physics [15]. From a event by the LIGO/Virgo Collaboration [1] and the phenomenological viewpoint, the scalar-Pontryagin mod- gamma-ray burst GRB 170817A by Fermi and other ification to GR|also known as Chern{Simons modified observatories [2] have provided a strong limit of about gravity|is an interesting extension that might explain one part in 1015 on the difference between the propaga- the flat galaxy rotation curves dispensing with dark mat- tion speed of gravitational waves (GW) and the speed of ter [16], while leaving the propagation speed of GWs un- light [3,4]. This observation imposes severe constraints affected [17]. This interaction generates nontrivial effects on different viable alternatives to general relativity (GR) when rotation is included [18{23], providing a smoking aimed at explaining the dark sector of the Universe by gun in future GW detectors [24{27]. The couplings be- means of degrees of freedom beyond the metric ones. tween scalar fields and the GB term, on the other hand, In particular, many scalar-tensor theories of the Horn- have been studied in different setups and several solu- deski/Galileon type predicted, at least in some regimes, tions that exhibit spontaneous scalarization have been an anomalous propagation speed for GWs [5{12], and reported [28{41]. Their stability, however, depends on even in some cases an anomalous propagation speed for the choice of the coupling between the scalar field and arXiv:1910.00148v3 [gr-qc] 7 Dec 2019 sound waves in Earth's atmosphere [13, 14]. This obser- the GB term [42{44]. In spite of this, the theory is ex- vation implies that, depending on the type of coupling perimentally disadvantaged from an astrophysical view- that the scalar fields develop with the geometry, some of point, since it develops an anomalous propagation speed these theories have been disfavored by the observational for GWs [45]. data. Scalar-tensor theories have been formulated in geome- A particular interaction that has been widely stud- tries that depart from the pseudo-Riemannian framework ied in the literature is the coupling of scalar fields to several times in the past. In particular, the gravitational role of Riemann{Cartan (RC) geometries, characterized by curvature and torsion, was first discussed by Cartan ∗ [email protected] and Einstein themselves [46], and later on in the frame- y [email protected] work of gauge theories of gravitation [47{50]. Within z [email protected] x fi[email protected] its simplest formulation|the Einstein{Cartan{Sciama{ { [email protected] Kibble (ECSK) theory|torsion is a nonpropagating field ∗∗ [email protected] sourced only by the spin density of matter. The non- yy [email protected] minimal coupling of scalar fields to geometry dramati- 2 cally changes this conclusion. As shown in Ref. [51], the standard Lorenz gauge fixing for the trace-reversed per- typical Horndeski/Galileon couplings and second-order turbation to this setting. SectionV describes how to derivatives are generic sources of torsion, even in the ab- separate low- and high-frequency terms. We follow the sence of any spin density. When scalar fields are coupled approach of Ref. [75], with appropriate modifications for to the Nieh{Yan topological invariant [52], a regulariza- the case of RC geometry. SectionVI focuses on the lead- tion procedure of the axial anomaly in RC spacetimes ing high-frequency term to prove that torsion restores can be prescribed [53{57], and a torsion-descendent ax- the canonical dispersion relation, including speed, for ion that might solve the strong CP problem in a gravita- the metric mode of GWs. The eikonal approximation tional fashion is predicted [58{60]. The nonminimal cou- is used to show that the new torsional mode (variously pling to the Gauss{Bonnet invariant, on the other hand, called \torsionon" [76], \roton" [77], or \gravity W and can be motivated from dimensional reduction of string- Z bosons" [78]) propagates interacting with the polariza- generated gravity models [61], and it could drive the late- tion of the standard metric mode, generalizing the results time acceleration of the Universe in the absence of the of Ref. [69]. Finally, conclusions and further comments cosmological constant [62{64]. The first-order formula- are given in Sec. VII, while many details on the calcula- tion of Chern{Simons modified gravity produces inter- tions are provided in AppendixA. esting phenomenology when coupled with fermions [65], and it has been shown that the different nonminimal couplings support four-dimensional black string config- II. SCALAR-TENSOR MODEL WITH GAUSS{BONNET COUPLING urations in vacuum, possessing locally AdS3 × R geome- tries with nontrivial torsion [66]. Remarkably, some of these models can be regarded as a zero-parameter ex- Let M be a four-dimensional spacetime manifold with tension of GR [67], whose cosmological implications have metric signature (−; +; +; +). We shall consider a scalar- been recently studied in Ref. [68]. In general, assuming a tensor theory whose independent dynamical fields are a a µ 2 torsion-free condition reduces the number of independent the vierbein one-form e = e µdx , the spin connec- ab ab µ fields, making the torsionless theory an entirely different tion one-form ! = ! µdx , and a complex zero-form dynamical system from the torsionful one. scalar field φ, with φ¯ being its complex conjugate. The In this work, we show that it is only the torsionless ver- Lagrangian four-form describing the scalar-tensor theory sion of the scalar-tensor theory based on the scalar-GB with Gauss{Bonnet coupling is given by coupling that predicts an anomalous propagation speed 1 ab c d for GWs. When torsion is taken into account as a right- L = abcdR ^ e ^ e ful component of geometry, GWs generically propagate 4κ4 at the speed of light, and hence those torsional theories 1 a b c d − (Λ + κ4V ) abcde ^ e ^ e ^ e survive unfalsified by multimessenger astronomy. Since 4!κ4 the dispersion relation for electromagnetic waves (EMW) ¯ 3 1 ab cd − dφ ^ ∗dφ − abcdR ^ R ; (1) also remain unmodified by torsion, both EMWs and GWs 8κ4 Λ + κ4V move along null geodesics, even on a background with ab ab a cb nonvanishing torsion. This does not mean, however, that where R = d! + ! c ^ ! is the Lorentz curvature torsion is wholly undetectable; as shown in Ref. [69], tor- two-form, and V stands for the scalar field’s potential, sion affects the propagation of polarization for GWs.1 which is assumed to depend only on the magnitude of Thus, at least for this case, the recent observational data φ, i.e., V = V (jφj). Throughout this article, we work only disfavor the torsionless version of the theory, but in the context of RC geometry, meaning that the vier- not its more general torsional relative. bein and spin connection are considered as independent Our article is organized as follows. SectionII presents degrees of freedom, and therefore the torsion two-form a a a a b the main line of reasoning, where we introduce the La- T = De = de + ! b ^ e does not need to vanish. The grangian that defines the theory and give general argu- Lagrangian depends only on first-order derivatives of the ments on why the torsionless version of the GB cou- spin connection and it does not contain derivatives of pling changes the speed of GWs, while the most gen- the vierbein: we do not include any explicit torsional eral dynamical torsion case does not. Sections III{VI terms [79]. The coupling constant κ4 is related to New- prove this statement in detail. In Sec. III, we define ton's gravitational constant GN through κ4 = 8πGN , some mathematical operators that greatly simplify the and the cosmological constant is denoted by Λ.