Professional Documents
Culture Documents
C (2019) 79:341
https://doi.org/10.1140/epjc/s10052-019-6822-4
Abstract We consider spatially homogeneous and isotropic by the Christoffel symbols. Nevertheless, there is no funda-
cosmologies with non-vanishing torsion, which assumes a mental theoretical reason, apart perhaps from simplicity, for
specific form due to the high symmetry of these universes. making such an assumption. Allowing for a general asym-
Using covariant and metric-based techniques, we derive the metric affine connection introduces spacetime torsion and
torsional versions of the continuity, the Friedmann and the therefore new geometrical degrees of freedom into the sys-
Raychaudhuri equations. These show how torsion can dras- tem, since there is now an independent torsional field in
tically change the standard evolution of the Friedmann mod- addition to the metric. The literature contains a number of
els, by playing the role of the spatial curvature or that of suggestions for experimentally testing gravitational theories
the cosmological constant. We find, for example, that tor- with non-zero torsion (see [1–7] for a representative though
sion alone can lead to exponential expansion and thus make incomplete list). As yet, however, there is no experimental
the Einstein–de Sitter universe look like the de Sitter cos- or observational evidence to support the existence of space-
mos. Also, by modifying the expansion rate of the early uni- time torsion. The main reason is that, typically, the effects of
verse, torsion could have affected the primordial abundance torsion start becoming appreciable at extremely high energy
of helium-4. We show, in particular, that torsion can reduce densities. These densities can be achieved only in the deep
the production of primordial helium-4, unlike other changes interior of compact objects, like neutron stars and black holes,
to the standard thermal history of the universe. These theoret- or during the very early stages of the universe’s expansion.
ical results allow us to impose strong observational bounds Such environments are still beyond our experimental capa-
on the relative strength of the associated torsion field, con- bilities.
fining its ratio to the Hubble rate within the narrow interval Torsion does not naturally fit into highly symmetric space-
(− 0.005813, + 0.019370) around zero. Finally, turning to times, like the Friedmann–Robertson–Walker (FRW) models
static spacetimes, we demonstrate that there exist torsional of standard cosmology. Given the spatial homogeneity and
analogues of the Einstein static universe with all three types isotropy of the latter, the allowed torsion field must satisfy a
of spatial geometry. These models can be stable when the specific profile [8], which falls into the class of the so-called
torsion field and the universe’s spatial curvature have the vectorial torsion fields [9–11]. Practically speaking, space-
appropriate profiles. time torsion and the associated matter spin are fully deter-
mined by a scalar function that depends only on time. Such
choices allow us to construct and study the torsional ana-
1 Introduction logues of the classic Friedmann universes. In the process we
show that, despite the presence of torsion, the high symmetry
General relativity advocates a geometrical interpretation of of the FRW host preserves the symmetry of the associated
gravity, which ceases being a force and becomes a mani- Ricci curvature tensor, which implies that the correspond-
festation of the non-Euclidean geometry of the host space- ing Einstein and energy-momentum tensors are symmetric
time. The theory is founded on the assumption of Rieman- as well. Then, using both 1+3 covariant and metric-based
nian geometry, where deviations from Euclidean flatness are techniques, we present the three key formulae monitoring
described by the symmetric Levi–Civita connection, namely the evolution of these models, namely the analogues of the
Friedmann, the Raychaudhuri, and the continuity equations.
a e-mail: tsagas@astro.auth.gr
These enable us to “quantify” the torsion input to the total 2.1 Torsion and contortion
effective energy density of the system, by means of an associ-
ated Ω-parameter, as well as its contribution to the kinematic The torsion tensor (S a bc ) of a general spacetime coincides
variables of the cosmological models in question, namely to with the antisymmetric component of the affine connection,
the Hubble and to the deceleration parameters. namely S a bc = Γ a [bc] . Imposing the familiar metricity con-
Phenomenologically speaking, torsion can play the role dition, that is demanding that the metric tensor is covariantly
of spatial curvature and reproduce the effects of a cosmo- constant (i.e. ∇c gab = 0), splits a generalised (asymmetric)
logical constant, or those of dark energy. As a result, tor- connection as Γ a bc = Γ˜ a bc + K a bc . Here, Γ˜ a bc defines the
sional cosmologies (with or without matter) can experience Christoffel symbols and K a bc is the contortion tensor given
accelerated expansion. We find, in particular, that torsion by1
can force the Milne and the Einstein–de Sitter universes
into a phase of accelerated expansion analogous to that of K abc = Sabc + Sbca + Scba = Sabc + 2S(bc)a , (1)
their de Sitter counterpart. These examples suggest that a
torsion-dominated early universe, or a dust-dominated late- with K abc = K [ab]c . From the geometrical point of view,
time cosmos with torsion, could go through a phase of accel- torsion prevents infinitesimal parallelograms from closing
erated expansion without the need of a cosmological con- (e.g. see [18,19]). Physically, torsion provides a link between
stant, the inflaton field, or dark energy. Analogous effects the intrinsic angular momentum (i.e. the spin) of the matter
were reported in [12–16], suggesting that torsional cosmolo- and the geometry of the host spacetime.
gies might deserve further scrutiny. The antisymmetry of S a bc guarantees that it has only one
Looking for observational signatures of torsion, we find non-trivial contraction, leading to the torsion vector
that the latter can affect the outcome of primordial nucle-
Sa = S b ab = −S b ba . (2)
osynthesis, since it changes the expansion rate of the uni-
verse. This can be used to put observational constraints on As we will see later, the torsion vector becomes the sole
the allowed torsion fields. Here, we are able to calculate the carrier of the torsion effects in spatially homogeneous and
torsion effect on the amount of helium-4 produced during isotropic spacetimes. Following (1), there is only one inde-
primordial nucleosynthesis. Combining our theoretical result pendent contraction of the contortion tensor as well. In par-
with the currently allowed range of the primordial helium-4 ticular, we have K b ab = 2Sa = −K ab b with K b ba = 0.
abundance, leads to a very strong constraint on the strength of
the associated torsion field. In particular, the relative torsion
2.2 Field equations and Bianchi identities
contribution to the volume expansion of the universe is found
to lie within the narrow interval (− 0.005813, + 0.019370)
In spacetimes with non-zero torsion, matter and curvature
around zero.
are coupled together by means of the Einstein–Cartan field
Finally, we turn our attention to static spacetimes with
equations, namely
torsion. In particular, we study the structure of the torsional
analogue of the Einstein-static universe and investigate its 1
linear stability. We find that there exist static models with all Rab − Rgab = κ Tab − Λgab , (3)
2
three types of spatial geometry, that is Euclidean, spherical or
hyperbolic. Our last step is to use standard perturbative tech- where Rab is the Ricci tensor, R = R a a is the associated
niques to test the linear stability of these new spacetimes. We scalar and Tab is the energy-momentum tensor of the matter.
show that static solutions with positive curvature are unsta- Note that R = 4Λ − κ T , where T = T a a and κ = 8π G.
ble, while those with zero or negative 3-curvature can achieve Although expression (3) is formally identical to its general
stable configurations. relativistic counterpart, here both Rab and Tab are generally
asymmetric (i.e. R[ab] = 0 and T[ab] = 0) due to the presence
of torsion. The latter is typically coupled to the spin of the
matter via the Cartan field equations
1
2 Spacetimes with torsion Sabc = − κ (2sbca + gca sb − gab sc ) , (4)
4
Riemannian geometry demands the symmetry of the affine
1 In the literature the definitions of the torsion and the contortion ten-
connection, thus ensuring torsion-free spaces. Nevertheless,
sors vary. In this study, we have adopted the conventions of [17], which
by treating torsion as an independent geometrical field, in follow those of [12,13], though in the latter the metric signature is
addition to the metric, one extends the possibilities to the (+, −, −, −). Also note that the tildas will always indicate purely Rie-
so-called Riemann–Cartan spaces. mannian (torsion free) variables.
123
Eur. Phys. J. C (2019) 79:341 Page 3 of 12 341
with sabc = s[ab]c and sa = s b ab being the spin tensor and the worldlines tangent to the u a -field, while the shear and the
spin vector respectively. The trace of (4) gives Sa = −κsa /4, vorticity describe kinematic anisotropies and rotation respec-
relating the torsion and the spin vectors directly. tively. Finally, non-zero 4-acceleration implies that the afore-
In the presence of torsion, the Bianchi identities acquire mentioned worldlines are not autoparallel curves.
a non-zero right-hand side, when compared to their Rieman- The rate of convergence/divergence of a worldline con-
nian analogues. More specifically, we have gruence is governed by the Raychaudhuri equation. In the
presence of torsion, the latter reads [17,22]
∇[e R ab cd] = 2R ab f [e S f cd] (5)
1
and Θ̇ = − Θ 2 − R(ab) u a u b − 2 σ 2 − ω2 + Da Aa + Aa Aa
3
R a [bcd] = −2∇[b S a cd] + 4S a e[b S e cd] , (6) 2
+ Θ Sa u a − 2S(ab)c u a u b Ac − 2Sabc σ ab u c
3
where Rabcd is the curvature tensor (with Rabcd = R[ab][cd]
+ 2S[ab]c ωab u c , (11)
only). Contracting the Bianchi identities twice leads to
∇ b G ba = 2Rbc S cb a + Rbcda S dcb (7) with only the symmetric part of the (generally asymmetric)
Ricci tensor contributing to the right-hand side. Analogous
and propagation formulae monitor the shear and the vorticity,
supplemented by three constraints relating the gradients of
G [ab] = 2∇[a Sb] + ∇ c Scab − 2S c Scab , (8)
the kinematic variables [17].
respectively. Note that G ab = Rab − (R/2)gab is the tor-
sional analogue of the Einstein tensor (with G [ab] = 0 – see
Eq. (8)). Also, condition (7) ensures that the general relativis- 3 FRW-like models with torsion
tic conservation law ∇ b G ab = 0 does not generally hold in
the presence of torsion. Finally, taking the divergence of (8), Spatially homogeneous and isotropic, Friedmann-like, space-
we arrive at times cannot naturally accommodate any arbitrary form of
torsion. In what follows, we will investigate the implications
∇ b G ab = ∇ b G ba − 2 ∇ 2 Sa − ∇ b ∇a Sb + ∇ b ∇ c Scba
of such highly symmetric torsion fields for the evolution of
− 4∇ b S c Scab . (9) the cosmological spacetime.
Introducing a timelike 4-velocity field u a (so that u a u a = Consider an FRW-type spacetime with non-zero torsion and
− 1) facilitates an 1+3 decomposition of the host spacetime a family of observers living along a timelike congruence tan-
into time and 3-dimensional space (e.g. see [20,21]). In par- gent to the 4-velocity field u a , (as defined in the previous
ticular, the metric tensor splits as gab = h ab − u a u b , where section). The homogeneity and isotropy of the 3-dimensional
h ab is the symmetric and orthogonal to u a projection tensor rest-space of these observers, is preserved when the torsion
(i.e. h ab = h (ab) , h ab u b = 0 and h a a = 3). The kinematics tensor takes the form [8]
of the aforementioned 4-velocity field are decoded by split-
ting its covariant gradient as Sabc = 2φ h a[b u c] . (12)
1 Due to the homogeneity of the 3-space, φ is a scalar function
∇b u a = Θh ab + σab + ωab − Aa u b . (10)
3 of time only (i.e. φ = φ(t)). This torsion field also respects
Here, Θ = Da u a is the volume scalar, σab = Db u a and spatial isotropy, since the associated vector
ωab = D[b u a] are respectively the shear and the vorticity
tensors, while Aa = u̇ a is the 4-acceleration vector.2 The φ > 0 ⇔ Sa ↓↑ u a
Sa = −3φu a , with (13)
volume scalar monitors the convergence/divergence of the φ < 0 ⇔ Sa ↑↑ u a ,
123
341 Page 4 of 12 Eur. Phys. J. C (2019) 79:341
2Sa = −K ab b and K b ba = 0 as expected (see Sect. 2.1 3.3 The Raychaudhuri equation
previously).
Using the Cartan field equations (see (4) in Sect. 2.2), one Spatial homogeneity and isotropy demand that σab = 0 =
can recast (12) and (13) into the following expressions ωab = Aa . Then, applying (12) and (13) to the generalised
Raychaudhuri equation (see (11) in Sect. 2.3), the latter reads
κsabc = 8φh c[a u b] and κsa = 12φu a , (14)
1 1
Θ̇ = − Θ 2 − κ (ρ + 3 p) + Λ + 2Θφ, (18)
for the spin tensor and the spin vector respectively. These 3 2
then combine with Eqs. (12) and (13) to guarantee that having also used the Einstein–Cartan equations with perfect
fluid. Note the last term on the right-hand side of Eq. (18),
1 1 which implies that torsion assists or inhibits the expan-
Sabc = − κscba and Sa = − κsa . (15)
4 4 sion/contraction of the timelike congruence tangent to the
One could use the above to replace torsion with spin in our u a -field, depending on the sign of φ.
formulae. Nevertheless, given that the two fields are simply The volume scalar (Θ) of a spacetime with non-zero tor-
proportional to each other, we will focus on torsion rather sion and its purely Riemannian (i.e. torsionless) counterpart
than spin. (Θ̃) are related by [17]
Θ = Θ̃ + K a ba u b , (19)
3.2 Conservation laws
where K b ab = −6φu a (see Sect. 3.1). Consequently, the
above relation simplifies to
Applying relations (12) and (13) to the second of the twice-
contracted Bianchi identities (see Eq. (8) in Sect. 2.2), it is ȧ φ
Θ = Θ̃ + 6φ = 3 + 6φ = 3H 1 + 2 . (20)
straightforward to show that the right-hand side of the lat- a H
ter relation vanishes. This ensures that G [ab] = 0, which
in turn guarantees that R[ab] = 0 and T[ab] = 0 as well. Here, ȧ/a = Θ̃/3 = H defines the cosmological scale fac-
Consequently, in spatially homogeneous and isotropic space- tor (a = a(t)) both in torsional and in torsion-free Fried-
times, the Ricci and the energy-momentum tensors retain mannian cosmologies, with H being the associated Hubble
their familiar (Riemannian) symmetry despite the presence parameter.4 According to (20), the divergence/convergence
of torsion.3 of worldlines in FRW-type cosmologies with torsion is not
Introducing our form of torsion to the Einstein–Cartan solely determined by the scale-factor evolution. Substituting
field equations and using the first of the twice-contracted (20) into Eq. (18), we obtain
Bianchi identities (see Eqs. (3) and (7) respectively), leads ä 1 1 ȧ
to the constraint = − κ (ρ + 3 p) + Λ − 2φ̇ − 2 φ. (21)
a 6 3 a
∇ b Tab = −4φ Tab u b − κ −1 Λu a , (16) The latter provides an alternative expression of the Ray-
chaudhuri equation in FRW-type cosmologies with non-zero
with the right-hand side vanishing for zero torsion. The high torsion, this time in terms of the model’s scale factor.
symmetry of the host spacetime demands that matter is a
perfect fluid with Tab = ρu a u b + ph ab , where ρ and p are 3.4 The Friedmann equations
its energy density and isotropic pressure respectively. Then,
starting from (16), we obtain Treating the torsion and the metric independently, means that
the line element of the spacetime is identical to its Rieman-
ρ̇ = −Θ (ρ + p) + 4φ ρ + κ −1 Λ , (17) nian counterpart. Therefore, in an FRW-type cosmology, we
have
namely the continuity equation in Friedmann-type cosmolo- a 2 dr 2
gies with non-zero torsion. Clearly, when φ = 0, the ds 2 = − dt 2 + + a 2 r 2 dϑ 2
1 − Kr2 (22)
above immediately reduces to the familiar general relativistic + a 2 r 2 sin2 ϑdϕ 2 ,
energy-density conservation law.
with K = 0, ±1 being the 3-curvature index. The above
metric, together with Eq. (12) and the metricity condition
3 In order to show the symmetry of the Ricci and energy-momentum (i.e. ∇c gab = 0), provides the components of the generalized
tensors in FRW-like models with torsion, one needs to remember that
4-velocity split (see Eq. (10) in Sect. 2.3) reduces to ∇b u a = (Θ/3)h ab
and that ∇a φ = −φ̇u a (since Da φ = 0 by default) in these highly 4 Following (20), the dimensionless ratio φ/H measures the “relative
symmetric spacetimes. strength”of the torsion effects.
123
Eur. Phys. J. C (2019) 79:341 Page 5 of 12 341
connection (see Appendix A). To obtain the Ricci tensor and by assuming a simple time-invariant torsion field (i.e. one
subsequently the Ricci scalar, we recall that with φ = φ0 = constant).5 Nevertheless, our formalism can
be readily extended to time-varying torsion as well.
Rab = −∂b Γ c ac + ∂c Γ c ab − Γ e ac Γ c eb + Γ e ab Γ c ec (23)
Assuming zero cosmological constant and using relation
and employ a lengthy calculation (see Appendices A, B for (20), the continuity equation (see expression (17) in Sect. 3.2)
the details). Finally, assuming a perfect fluid and involving of a barotropic medium with p = wρ, reads
the Einstein–Cartan field equations, we arrive at
ρ̇ ȧ
2 = −3(1 + w) − 2(1 + 3w)φ. (28)
ȧ 1 K 1 ȧ ρ a
= κρ − 2 + Λ − 4φ − 4 2
φ (24)
a 3 a 3 a When w = constant the above integrates to
and −3(1+w) t
a −2(1+3w) t φdt
ä 1 1 ȧ ρ = ρ0 e 0 , (29)
= − κ (ρ + 3 p) + Λ − 2φ̇ − 2 φ. (25) a0
a 6 3 a
with ρ0 = ρ(t = t0 ) and a0 = a(t = t0 ). Accordingly, the
These are the torsional analogues of the Friedmann equa-
torsion effect on the energy-density evolution (carried by the
tions, obtained here by means of metric-based techniques.
exponential term on the right-hand side of the above) also
Note that the last expression is identical to Eq. (21), obtained
depends on the matter equation of state. The torsion con-
via covariant methods. Additional agreement comes by
tribution vanishes in media with zero effective gravitational
showing that the continuity equation obtained from Eqs. (24)
mass/energy (i.e. when w = − 1/3). On the other hand, the
and (25) is identical to the one derived earlier (see relation
energy-density evolution becomes essentially torsion dom-
(17) in Sect. 3.2).
Following (24), torsion contributes to the total effective t of a vacuum stress, when w = − 1 and
inated in the case
ρ = ρ0 exp(4 t0 φdt). Therefore, ρ = ρ(t) due to the pres-
energy-density of the system. More specifically, the torsional
ence of torsion alone, implying that media with p = −ρ are
analogue of the Friedmann equation recasts as
not dynamically equivalent to a cosmological constant. Such
1 = Ωρ + Ω K + ΩΛ + Ωφ , (26) a behaviour, which is in direct contrast with the purely general
relativistic picture, has also been encountered in scalar-tensor
where Ωρ = κρ/3H 2 , Ω K = −K /a 2 H 2 , ΩΛ = Λ/3H 2 theories like the Brans–Dicke theory [23–25].
and Ωφ = −4[1 + (φ/H )](φ/H ) are the associated density
parameters. The strength of the torsion contribution, relative
3.5.1 Vacuum and torsion-dominated solutions
to that of the matter for example, is measured by the dimen-
sionless ratio Ωφ /Ωρ . Note that the torsion input to the Fried-
General relativistic empty FRW-type spacetimes with
mann equation vanishes when φ/H = 0, − 1. On the other
Euclidean spatial sections and no cosmological constant are
hand, torsion dominates completely when φ/H = − 1/2,
static. The following simple example shows that torsion can
which translates into Ωφ = 1 and vice versa. In an expand-
change this. Indeed, when ρ = 0 = K = Λ, the torsional
ing universe (where H > 0), the latter can occur only for
analogue of the Friedmann equation (see expression (24) in
φ < 0 (see also Eq. (24) earlier).
Sect. 3.4) recasts into the perfect square (ȧ/a + 2φ)2 = 0.
Since q = −äa/ȧ 2 defines the deceleration parameter of
The latter ensures the following relation
the universe, we may rewrite (25) as
1 ȧ
q H2 =
1 1
κ(ρ + 3 p) − Λ + 2φ̇ + 2H φ, (27) φ = φ(t) = − , (30)
6 3 2 a
Therefore, torsion can either assist or inhibit accelerated between the torsion scalar and the cosmological scale factor.
expansion. When φ is constant and negative, in particular, Then, the choice φ = φ0 = constant leads to ȧ/a = constant
the presence of torsion tends to accelerate the expansion (see and subsequently to the de Sitter-like expansion
also Sects. 3.5.1 and 3.5.2 below).
a = a0 e−2φ0 (t−t0 ) , (31)
3.5 Characteristic solutions when φ0 < 0. Therefore, an early universe with non-zero tor-
sion could have undergone a phase of inflationary expansion
The analytical solutions presented in this section are exam- without the need of a cosmological constant, or the presence
ples aiming at demonstrating the versatility of the torsion of an inflaton field.
effects upon the FRW-like host. In order to maintain the ana-
lytical nature of our treatment, as well as for reasons of math- 5 It goes without saying that the same solutions also (approximately)
ematical simplicity and physical transparency, we will do so hold in the case of slowly varying torsion.
123
341 Page 6 of 12 Eur. Phys. J. C (2019) 79:341
Let us now consider a vacuum spacetime with zero cos- analogous to that of the de Sitter model. Although it seems
mological constant, but this time allow for hyperbolic spa- premature to claim that torsion can provide a viable alterna-
tial geometry.6 When ρ = 0 = p = Λ, K = − 1 and tive answer to the inflaton field and/or dark energy, analogous
φ = 0, we obtain what one might call the torsion analogue claims have been made by [12,13].
of the classical Milne universe. Then, Eq. (24) factorises as False-vacuum cosmologies have been typically associated
(ȧ/a + 2φ + 1/a)(ȧ/a + 2φ − 1/a) = 0, giving with inflation, being the driving force of the exponential
expansion. In what follows, we will consider torsional FRW-
1 ȧ 1
φ = φ(t) = − ± . (32) like universes with false-vacuum barotropic index w = − 1,
2 a a
Euclidean spatial geometry and zero cosmological constant.
Setting φ = φ0 = constant on the left-hand side, the above Then, on using (29), the associated Friedmann equation (see
integrates to (24) in Sect. 3.4) recasts into
1
−2φ0 (t−t0 )
κρ0 2 tt φdt
a = a0 e−2φ0 (t−t0 ) ± e ∓1 , (33) H = −2φ ± e 0 . (36)
2φ0 3
giving exponential expansion when φ0 < 0. Therefore, Torsion ensures that the Hubble parameter varies in time, in
instead of the “coasting” evolution (with a = t) of its classi- contrast to the torsionless case where H = constant. Recall-
cal counterpart, the torsional Milne universe can undergo de ing that H = ȧ/a and setting φ = φ0 = constant, Eq. (36)
Sitter inflation. integrates to
Given that in empty models torsion cannot be associated
κρ0
with the spin of the matter, it would have to be treated as an −2φ0 (t−t0 )± 2φ1 e2φ0 (t−t0 ) −1
a = a0 e 0 3 . (37)
independent, generic spacetime feature (the same also holds
for the curvature). Nevertheless, to first approximation, our When φ0 < 0 the above asymptotically reduces to solution
vacuum solutions also govern the evolution of a Friedmann- (31) at late times. For φ0 > 0, on the other hand, the late-
like universe with matter, provided that torsion dominates time evolution of the scale factor also allows for exponential
over the matter (i.e. for Ωφ
Ωρ – see Eq. (26) in Sect. 3.4). “deflation”.7
Put another way, the solutions obtained in this section can be The solutions presented in Sects. 3.5.1 and 3.5.2 are char-
seen as limiting cases of low-density FRW-type universes acteristic of the versatile and the occasionally nontrivial
with non-zero torsion. implications of the torsion field, even when the latter takes
the very restricted form imposed by the high symmetry of
3.5.2 Solutions with matter the Friedmann-like host.
a = a0 e−2φ0 (t−t0 ) , (35) A measure of the torsion contribution to the expansion kine-
matics is given by the dimensionless ratio φ/H . Then, setting
at late times. Note that we have made no a priori assump-
K = 0 = Λ and λ = φ/H , the Friedmann and the continuity
tion on the relative strength of the torsion field. Taken at face
value, this means that the mere presence of torsion could drive
the Einstein–de Sitter universe into an accelerated regime
7 We can also extract graduated inflation [26], by setting φ ∝ t −1 .
Indeed, substituted into Eq. (24), this choice leads to
2φ0 t0 +1
6 Vacuum torsional spacetimes with no cosmological constant and −2φ0 t0 ±
κρ0 t02 t
t 3(2φ0 t0 +1)2 t0
spherical spatial geometry do not exist in our scheme. Indeed, in such a = a0 e . (38)
an environment Eq. (24) recasts into (ȧ/a + 2φ)2 = − 1/a 2 , which is t0
impossible.
123
Eur. Phys. J. C (2019) 79:341 Page 7 of 12 341
equations (see (24) and (28)) become the ratio of the freeze-out temperatures between cosmolo-
κρ gies with torsion (T f r ≡ T f r (λ = 0)) and torsionless ones
H2 = (39) (T̃ f r ≡ T f r (λ = 0)). In particular, we find that
3(2λ + 1)2
and T̃ f r
= (1 + 2λ)1/3 . (43)
ρ̇ Tfr
= −[3 + 2λ + 3w(1 + 2λ)]H, (40)
ρ
When λ > 0 torsion will reduce the freeze-out temperature.
respectively (with λ = −1/2).8 The former relation shows Then, the neutron-to-proton ratio (N = n/ p) will freeze-
that torsion changes the Hubble-flow rate, which means that in at lower temperatures and the residual helium-4 abun-
it can affect physical interactions that are sensitive to the pace dance will decrease compared to that in the standard (torsion-
of the cosmic expansion, like the Big-Bang Nucleosynthesis free) Friedmann universe. The slowing of the expansion rate
(BBN) of helium-4 for example (see Sect. 4.2 next). allows neutrons and protons to remain in non-relativistic
When the λ-ratio decays over time, the effects of torsion on kinetic equilibrium down to lower temperatures, with fewer
Eq. (40) fade away. In the opposite case, on the other hand, the neutrons per proton surviving before the equilibrium is bro-
right-hand side of the continuity equation becomes torsion- ken at T f r .
dominated. Here, we will take the middle path and assume The above torsion effect provides a very rare (if not
“steady-state” torsion with λ = φ/H = constant. In other unique) example of a modified early-universe model with
words, we will assume that the torsion input to the universal a reduced helium-4 abundance. All other common modi-
expansion (see Eq. (20) in Sect. 3.3) does not change in time. fications (i.e. extra light neutrino species, magnetic fields,
Then, given that H = ȧ/a, the above two relations combine anisotropies, Brans–Dicke fields, etc) lead to higher freeze-
to the solution out temperatures. This increases the frozen-in n/ p ratio and
2/[3+2λ+3w(1+2λ)] therefore enhances the residual abundance of helium-4. In
t
a = a0 . (41) the presence of torsion this happens when λ < 0.
t0 We may quantify these arguments by recalling that the
Next, we will employ this result to impose cosmological frozen-in neutron-to-proton ratio is N f r = exp(−Δ/T f r ),
bounds on λ and on torsion itself. In doing so, we will turn where Δ measures the neutron-proton mass difference and
to the early universe and to the epoch of primordial nucle- we have set σ = 1. Following (43), we then arrive at the
osynthesis specifically. following simple relation
(1+2λ)1/3
4.2 BBN bounds on torsion N f r = Ñ f r , (44)
123
341 Page 8 of 12 Eur. Phys. J. C (2019) 79:341
Static spacetimes with non-zero torsion have been studied with κρ0 (1 + w) > 8φ02 . Therefore, keeping the energy den-
in the past, assuming matter in the form of the Weyssenhoff sity of the matter fixed, the introduction of torsion increases
fluid [28]. The latter, however, is incompatible with the high the radius of the Einstein-static universe. Put another way, a
symmetry of the FRW-like models and the Einstein static torsional Einstein universe should be larger in size than its
universe as well. For this reason, an unpolarised spin field classic counterpart. A closely analogous effect, though in that
was adopted, with a spin tensor that averages to zero (e.g. see case expressed in terms of the spin, was observed by [32].
[29–31]). Here, instead, we address the FRW-compatibility
issue by adopting a form for the torsion/spin fields that is 5.2 Stability of the static model
compatible with the spatial isotropy and homogeneity of the
Friedmannian spacetimes (see Eqs. (12) and (15) in Sect. 3.1 We will test the stability of the static model, by looking at
earlier). the evolution of linear conformal perturbations (i.e. into other
In static environments the absence of evolution means that FRW models so that φ is not inhomogeneously perturbed).
ȧ = 0 = ä and ρ̇ = 0 = ṗ = φ̇. Then, the Friedmann In particular, assuming that φ = φ0 = constant at the linear
equations derived in Sect. 3.4 assume the (static) form level, we consider deviations of the form
123
Eur. Phys. J. C (2019) 79:341 Page 9 of 12 341
123
341 Page 10 of 12 Eur. Phys. J. C (2019) 79:341
types of spatial curvature. Unlike the classic (torsion-free) Putting (58)–(60) together and recalling that Γ a (bc) =
Einstein model, for appropriate choices of the torsion field Γ˜ a bc + 2S(bc) a (see Sect. 2.1), we find
and of the spatial curvature, these static universes can be
stable against linear scalar perturbations even for pressure- a ȧ + 2φa 2
Γ(11)
0
= , Γ 0
(22) = r 2
a ȧ + 2φa 2
,
less (dust) matter. Overall, despite the restrictions imposed by 1 − Kr2
their high symmetry, FRW-like universes with torsion exhibit
Γ(33)
0
= r 2 sin2 ϑ a ȧ + 2φa 2 ,
a rich phenomenology that could distinguish them from their
general-relativistic counterparts. ȧ Kr
Γ(01)
1
= + φ, Γ(11)
1
= ,
a 1 − Kr2
Acknowledgements We would like to thank Peter Stichel for drawing
our attention to reference [8]. CGT acknowledges support from a vis- Γ(22)
1
= −r 1 − K r 2 , Γ(33)
1
= −r 1 − K r 2 sin2 ϑ,
iting fellowship by Clare Hall College and visitor support by DAMTP ȧ 1
at the University of Cambridge. JDB was supported by the Science and Γ(02)
2
= + φ, Γ(12)
2
= , Γ(33)
2
= − cos ϑ sin ϑ,
Technology Facilities Council (STFC) of the UK. a r
ȧ 1
Data Availability Statement This manuscript has no associated data Γ(03)
3
= + φ, Γ(13)
3
= , Γ(23)
3
= cot ϑ. (61)
a r
or the data will not be deposited. [Authors’ comment: There is no data
associated with our paper. It is a theoretical paper and no experimental Finally, noting that Γ a bc = Γ a (bc) + S a bc and using the aux-
data was used.]
iliary results (60) and (61), we evaluate the non-zero compo-
Open Access This article is distributed under the terms of the Creative nents of the asymmetric affine connection
Commons Attribution 4.0 International License (http://creativecomm
ons.org/licenses/by/4.0/), which permits unrestricted use, distribution, a ȧ + 2φa 2
and reproduction in any medium, provided you give appropriate credit Γ 0 11 = , Γ 0
22 = r 2
a ȧ + 2φa 2
,
1 − Kr2
to the original author(s) and the source, provide a link to the Creative
Commons license, and indicate if changes were made. Γ 0 33 = r 2 sin2 ϑ a ȧ + 2φa 2 ,
Funded by SCOAP3 .
ȧ ȧ Kr
Γ 1 01 = + 2φ, Γ 1 10 = , Γ 1 11 = ,
a a 1 − Kr2
Appendix Γ 1 22 = −r 1 − K r 2 , Γ 1 33 = −r 1 − K r 2 sin2 ϑ,
123
Eur. Phys. J. C (2019) 79:341 Page 11 of 12 341
Given that Ra b = g bc Rac , the mixed components of the Ricci For simplicity, but without compromising generality, let us
tensor are confine to the case of pressure-free matter (with w = 0 – see
also Sect. 5.2 earlier). Then, the eigenvalues reduce to
ä ȧ
R0 = 3
0
+ 2φ̇ + 2φ (64)
a a
K
and λ1,2 = −2φ0 ± 4φ02 + 2 . (73)
a0
2
ä ȧ ȧ K
R1 1
=2 + φ̇ + + 5φ + 4φ + 2
2
When the spatial hypersurfaces have spherical geometry, the
2a a a a
quantity inside the square root is always positive, in which
= R2 2 = R3 3 . (65) case both eigenvalues are real. More specifically, λ1 is posi-
tive and λ2 is negative, implying that the static solution is a
Consequently, the Ricci scalar of an FRW-like spacetime with
saddle point. For hyperbolic spatial surfaces, the two eigen-
non-zero torsion reads
2 values are real provided that a02 φ02 > 1/4. Then, both λ1
ä ȧ K ȧ and λ2 are positive when φ0 < 0, while for φ0 > 0 the two
R=6 + + 2 + 2φ̇ + 6φ + 4φ . (66)
2
a a a a eigenvalues are negative. In the former case the static solu-
tion is unstable, but in the latter is stable. Alternatively, when
Also, the energy-momentum tensor of a perfect fluid takes a02 φ02 < 1/4, the eigenvalues are both complex. In particular,
the diagonal form Ta b = diag[−ρ, p, p, p]. Plugging all of Re(λ1 ) > 0 and Re(λ2 ) > 0 for φ0 < 0, which implies insta-
the above into the Einstein–Cartan field equations (see (3) in bility. For φ0 > 0, on the other hand, we have Re(λ1,2 ) < 0
Sect. 2.2), we arrive at and stability. The same is also true when a02 φ02 = 1/4.
2 Note that the above analysis does not apply to spacetimes
ȧ 1 K 1 ȧ
= κρ − 2 + Λ − 4φ − 4φ 2 , (67) with Euclidean spatial sections (i.e. when K = 0), because
a 3 a 3 a
then the first of the two eigenvalues will vanish.
and
ä 1 1 ȧ
= − κ (ρ + 3 p) + Λ − 2φ̇ − 2φ . (68)
a 6 3 a References
These are the Friedmann equations of an FRW-type cosmol-
1. R.T. Hammond, Rep. Prog. Phys. 65, 599 (2002)
ogy with torsion (see Sect. 3.4 earlier).
2. Y. Mao, M. Tegmark, A.H. Guth, S. Cabi, Phys. Rev. D 76, 104029
(2007)
3. V.A. Kostelecky, N. Russell, J. Tasson, Phys. Rev. Lett. 100, 111102
C Linear stability of the static solution (2008)
4. R. March, G. Bellettini, R. Tauraso, S. Dell’Angello, Phys. Rev. D
83, 104008 (2011)
We will employ the linear-stability technique of ordinary dif- 5. F.W. Hehl, Y.N. Obukhov, D. Puetzfeld, Phys. Lett. A 377, 1775
ferential equations to the static model of Sect. 5.1. In doing (2013)
so, we first recast Eq. (53) into the first-order system 6. D. Puetzfeld, Y.N. Obukhov, Int. J. Mod. Phys. D 23, 1442004
(2014)
ẋ = f (x, y) = y (69) 7. R.-H. Lin, X.H. Zhai, X.Z. Li, Eur. Phys. J. C 77, 504 (2017)
8. M. Tsamparlis, Phys. Rev. D 24, 1451 (1981)
and 9. G.J. Olmo, Int. J. Mod. Phys. D 20, 413 (2011)
10. S. Capozzielo, R. Cianci, C. Stornaiolo, S. Vignolo, Phys. Scr. 78,
ẏ = g(x, y) = μy + νx, (70) 065010 (2008)
11. Jimenez J. Beltran, T.S. Koivisto, Phys. Lett. B 756, 400 (2016)
with x = δ, μ = −2(2 + 3w)φ0 and ν = (1 + 3w) K /a02 . 12. N.J. Poplawski, Phys. Lett. B 694, 181 (2010)
13. N.J. Poplawski, Astron. Rev. 8, 108 (2013)
The Jacobian matrix of the above is
14. A.N. Ivanov, M. Wellenzohn, Astrophys. J. 829, 47 (2016)
⎛ ⎞
∂ f /∂ x ∂ f /∂ y 15. S. Akhshabi, E. Qorani, F. Khajenabi, Europhys. Lett. 119, 29002
⎝ ⎠ = 0 1 , (71) (2017)
ν μ 16. R. Banerjee, S. Chakraborty, P. Mukherjee, Phys. Rev. D 98,
∂g/∂ x ∂g/∂ y 0 083506 (2018)
17. K. Pasmatsiou, C.G. Tsagas, J.D. Barrow, Phys. Rev. D 95, 104007
where the zero suffix denotes the static solution (with (x = (2017)
0, y = 0) and f (0, 0) = 0 = g(0, 0)). The eigenvalues 18. F.W. Hehl, P. von der Heyde, G.D. Kerlick, Rev. Mod. Phys. 48,
of matrix (71) are the roots of the associated characteristic 373 (1976)
polynomial, namely 19. F.W. Hehl, Y.N. Obukhov, Ann. Fond. Broglie 32, 157 (2007)
20. C.G. Tsagas, A. Challinor, R. Maartens, Phys. Rep. 465, 61 (2008)
1 21. G.F.R. Ellis, R. Maartens, M.A.H. MacCallum, Relativistic Cos-
λ1,2 = μ ± μ2 + 4ν . (72) mology (Cambridge University Press, Cambridge, 2012)
2
123
341 Page 12 of 12 Eur. Phys. J. C (2019) 79:341
22. D. Iosifidis, C.G. Tsagas, A.C. Petkou, Phys. Rev. D 98, 104037 34. J.D. Barrow, G.F.R. Ellis, R. Maartens, C.G. Tsagas, Class. Quan-
(2018) tum Gravity 20, L155 (2003)
23. H. Nariai, Prog. Theor. Phys. 40, 48 (1969) 35. E.R. Harrison, Rev. Mod. Phys. 39, 862 (1967)
24. C. Mathiazhagen, V.B. Johri, Class. Quantum Gravity 1, L29 36. G.W. Gibbons, Nucl. Phys. B 292, 784 (1987)
(1984) 37. G.W. Gibbons, Nucl. Phys. B 310, 636 (1988)
25. J.D. Barrow, K.-I. Maeda, Nucl. Phys. B 341, 294 (1990) 38. J.D. Barrow, K. Yamamoto, Phys. Rev. D 85, 083505 (2012)
26. J.D. Barrow, Phys. Lett. B 235, 40 (1990) 39. J.D. Barrow, C.G. Tsagas, Class. Quantum Gravity 26, 195003
27. R.H. Cyburt, B.D. Fields, K.A. Olive, T.-H. Yeh, Rev. Mod. Phys. (2009)
88, 015004 (2016) 40. M. Blagojevic, F.W. Hehl, Gauge Theories and Gravitation (Impe-
28. J. Weyssenhoff, J. Raade, Acta Phys. Polon. 9, 7 (1947) rial College Press, London, 2013)
29. B. Kuchowicz, Gen. Relativ. Gravit. 9, 511 (1978) 41. J.V. Narlikar, Introduction to Cosmology (Jones and Bartlett,
30. M. Gasperini, Phys. Rev. Lett. 56, 2873 (1986) Boston, 1983)
31. K. Atazadeh, JCAP 06, 020 (2014)
32. C.G. Böhmer, Class. Quantum Gravity 21, 1119 (2004)
33. A.S. Eddington, Mon. Not. R. Astron. Soc. 90, 668 (1930)
123