1 Introduction

In 2010 Sir Roger Penrose released the book “Cycles of Time” [1], a radical new theory of cosmology. The main idea is that the remote future of an expanding universe can be joined to the big bang of another. This possibility exists since a large class of space-times admit both a conformal rescaling of the big bang to a smooth space-like 3-surface [2, 3] and a conformal boundary in the asymptotic future that is also a space-like 3-surface [4]. Penrose dubs each cycle an aeon, and postulates that there exists a bandage region whereby these two space-times are determined solely by their lightcone structure, see Fig. 1. This implies there is no rest-mass, i.e. the trace of the given energy-momentum tensor vanishes, and the two space-times are related by a simple conformal rescaling. This cycle of aeons automatically satisfies the strong form of the Weyl curvature hypothesis at the big bang [5] since \(C_{abc}{}^d\) is conformally invariant and \(C_{abc}{}^d\rightarrow 0\) in the asymptotic future.

Whilst this theory requires controversial physical assumptions, such as the asymptotic decay of rest-mass and information loss inside black holes, we do not address them here and instead focus on the mathematical issues surrounding the theory.

In our discussions of CCC, we will concentrate on two consecutive aeons and call them the past aeon and future aeon to avoid ambiguities that arise by refering to one of them as the ’present’. Quantities in the previous and future aeons are represented by hats \(\hat{}\) and checks \(\check{}\) respectively, mimicking lightcones. In the conformally invariant bandage region, the metric of each aeon can be related to a bridging metric g via

$$\begin{aligned} \hat{g}_{ab} = \hat{\Omega }^2g_{ab},\qquad \check{g}_{ab} = \check{\Omega }^2g_{ab}. \end{aligned}$$
(1)

In order to make a connection between aeons, Penrose put forward the Reciprocal Hypothesis [1],

$$\begin{aligned} \hat{\Omega }\check{\Omega }= -1. \end{aligned}$$
(2)

This is a very simple way to satisfy \(\text {d}\hat{\Omega }\ne 0\), a requirement for an asymptotically simple space-time, and to match \(\hat{\Omega }\rightarrow 0\) and \(\check{\Omega }\rightarrow +\infty \) as \({\mathcal {C}}\) is approached from the appropriate directions. This will be assumed for the entirety of this paper. Putting Eqs. (1) and (2) together yields the relationship between past and future aeons

$$\begin{aligned} \check{g}_{ab} = \hat{\Omega }^{-4}\hat{g}_{ab}. \end{aligned}$$
(3)

Hence, once \(\hat{\Omega }\) is known, so is the future aeon. The natural question to ask at this point is how can \(\hat{\Omega }\) be determined? The conformal rescaling of the previous aeon’s scalar curvature \(\hat{R}\) to the bridging metric’s scalar curvature R is

$$\begin{aligned} \left( \Box + \frac{1}{6}R\right) \hat{\Omega }= \frac{1}{6}\hat{R}\hat{\Omega }^3 \iff \left( \hat{\Box } + \frac{1}{6}\hat{R}\right) \left( \hat{\Omega }^{-1}\right) = \frac{1}{6}R\hat{\Omega }^{-3}, \end{aligned}$$
(4)

written with respect to different connections for use later. Penrose proposes this must be satisfied with the restriction \(\hat{R}=4\hat{\lambda }=R\), where \(\hat{\lambda }\) is the cosmological constant. This then yields a second order hyperbolic equation for \(\hat{\Omega }\), determined solely by quantities in the past aeon, called the Phantom Field Equation, which fixes the conformal factor up to two pieces of initial data on \({\mathcal {C}}\). Newman [6], Tod [7] and Nurowski [8] all differ from Penrose by not enforcing that \(R=\hat{R}\) but rather that R is possibly some other constant. There are multiple options in choosing the initial data [9] that have been put forward. However, a unique, physically motivated method to determine \(\hat{\Omega }\) remains to be seen.

Fig. 1
figure 1

The conformally invariant neighbourhood of the crossover. A hat denotes quantities in the previous aeon while a check denotes quantities in the future aeon

The above yields a rough mechanism for generating \(\check{g}_{ab}\) by solving for \(\hat{\Omega }\) given \(\hat{g}_{ab}\), but what does the Einstein equation in the future aeon tell us? The Einstein equation of the previous aeon in the bandage region is \(\hat{G}_{ab} = \kappa \hat{T}_{ab}\), where the energy-momentum \(\hat{T}_{ab}\) must be divergence-free, trace-free (zero rest-mass) and can be taken to be a conformal density of weight \(-2\) to preserve the divergence-free condition through \({\mathcal {C}}\). Then this propagates through \({\mathcal {C}}\) to yield

$$\begin{aligned} \check{T}_{ab} = \hat{\Omega }^4\hat{T}_{ab}, \end{aligned}$$
(5)

Then the Einstein equation in the future aeon is [7]

$$\begin{aligned} \check{G}_{ab} + \hat{\lambda }\hat{g}_{ab}&= -\check{\Omega }^4\hat{T}_{ab} + 4\frac{\check{\nabla }_a\check{\nabla }_b\check{\Omega }}{\check{\Omega }} + \frac{\check{\nabla }_a\check{\Omega }\check{\nabla }_b\check{\Omega }}{\check{\Omega }^2} + \Big (8\frac{\check{\nabla }_c\check{\nabla }^c\check{\Omega }}{\check{\Omega }^2} - 4\frac{\check{\square }\check{\Omega }}{\check{\Omega }}\Big )\check{g}_{ab} \nonumber \\&= -\check{U}_{ab}, \end{aligned}$$
(6)

where \(\check{U}_{ab}\) is the total energy-momentum of the future aeon. It is clear that this has a trace term in general and thus matter can appear in the future aeon. Penrose postulates this corresponds to dark matter. Further, he decomposes \(\check{U}_{ab}\) into three distinct parts that are conserved individually,

$$\begin{aligned} \check{U}_{ab} = \check{T}_{ab} + \check{T}_{ab}[\hat{\Omega }] + \check{W}_{ab}. \end{aligned}$$
(7)

Here, \(\check{T}_{ab}\) is the contribution coming from \(\hat{T}_{ab}\), the energy-momentum content of the previous aeon. \(\check{T}_{ab}[\hat{\Omega }]\) is the contribution of the scalar field \(\hat{\Omega }\) that is also called the new-improved energy-momentum tensor [10] and is trace-free. \(\check{W}_{ab}\) is the portion containing the trace-term and the symmetric part is taken so that the Einstein equations in the future aeon are satisfied. The trace-free part has yet to obtain a physical interpretation but Penrose associates the trace term with dark matter.

So far, three similar sets of solutions exist in the literature that satisfy this cyclic model, with variations of Eq. (4) being used to determine \(\hat{\Omega }\) [6,7,8]. They all consider a radiation fluid FLRW universe on each side of the crossover, given in co-moving and conformal time coordinates respectively as

$$\begin{aligned} \text {d}s^2&= \text {d}t^2 - a(t)^2\Big (\frac{1}{1 - k r^2}\text {d}r^2 + r^2\text {d}\sigma ^2\Big ) \nonumber \\&= a(\tau )^2(\text {d}\tau ^2 - \frac{1}{1 - k r^2}\text {d}r^2 - r^2\text {d}\sigma ^2) \end{aligned}$$
(8)

where \(\text {d}\sigma ^2 = \text {d}\theta ^2 + \sin ^2\theta \,\text {d}\phi ^2\) is the line element of the unit 2-sphere and \(k=-1,0,1\) determines the spatial curvature. This necessarily means that the trace of the induced energy-momentum tensor that potentially corresponds to dark matter does not make an appearance. The energy momentum tensor of the previous aeon is

$$\begin{aligned} \hat{T}_{ab} = \text {diag}(\hat{\rho }(t),-\hat{p}(t) / (1 - kr^2),-\hat{p}(t) r^2,-\hat{p}(t) r^2\sin ^2\theta ) \end{aligned}$$
(9)

with equation of state \(\hat{\rho }= 3\hat{p}\). The Einstein equations for this metric reduce to the Friedmann equations

$$\begin{aligned} \Big (\frac{a'(t)}{a(t)}\Big )^2&= \frac{\lambda }{3} - \frac{k}{a(t)^2} + \frac{\kappa }{3}\rho (t), \\ \frac{a''(t)}{a(t)}&= \frac{\lambda }{3} - \frac{1}{2}\kappa p(t) - \frac{1}{6}\kappa \rho (t). \end{aligned}$$

The divergence free condition \(\hat{\nabla }_a\hat{T}^{ab} = 0\) can be integrated to yield \(\hat{\rho }(t) = \hat{m}/\hat{a}(t)^4\) where we call \(\hat{m}\) the density parameter. When combined with the Friedmann equations and written in terms of proper time \(\tau \) through integrating \(\text {d}\tau = \text {d}t/\hat{a}(t)\) yields

$$\begin{aligned} a'(\tau )^2 = \kappa \frac{m}{3} - ka(t)^2 + \frac{\lambda }{3}a(t)^4. \end{aligned}$$
(10)

Throughout we use conventions of Penrose and Rindler [11]. The paper is organized as follows: Sec. 2 summarizes Tod’s class of solutions and presents a new class that satisfies Penrose’s original assumptions, Sec. 3 extends Newman’s CCC solution to arbitrary spatial curvature k and cosmological constant \(\hat{\lambda }\) and clears up inconsistencies that were commented upon, Sec. 4 puts forward a minor correction and generalization of a small side remark of Nurowski’s, Sec. 5 presents new generalized expressions for the energy-momentum tensor induced in the future aeon, Sec. 6 discusses which of the many choices of fixing the conformal factor are satisfied by these solutions and Sec. 7 summarizes the work.

2 A class of radiation fluid solutions

2.1 Tod’s class of solutions

Tod [7] imposes an FLRW universe on each side of the crossover in the bandage region given by Eq. (8) and does not make any restrictions on the spatial curvature nor the scalar curvature of the bridging metric. No explicit solutions \(\hat{a}\) or \(\check{a}\) to the corresponding Friedmann equation are calculated. Rather, he chooses \(\hat{\Omega }= c_1\hat{a}\), which satisfies Eq. (4) with

$$\begin{aligned} R = 4\lambda =6kc_1^2, \end{aligned}$$
(11)

and further specifies \(c_1 = (\hat{\lambda }/\hat{m})^{1/4}\) so that the future aeon is also governed by the same Friedmann equation as the previous aeon with the identifications \(\check{m}= \hat{m}\) and \(\check{\lambda }= \hat{\lambda }\). One immediately sees that Penrose’s original assumptions of \(\hat{\lambda }= \lambda = \check{\lambda }\) are violated by this choice of \(c_1\).

2.2 A new class of solutions

If one wanted to adhere to Penrose’s \(\hat{\lambda }=\lambda \) assumption, then an alternate choice \(\displaystyle c_1 = \sqrt{\frac{2\hat{\lambda }}{3k}}\) can be used. This yields another class of solutions to CCC where the density parameter and cosmological constant are no longer the same in each aeon, but rather satisfy

$$\begin{aligned} \check{m}= \frac{9k^2}{4\hat{\lambda }},\qquad \check{\lambda }= \frac{4\hat{\lambda }^2\hat{m}}{9k^2}. \end{aligned}$$
(12)

An important property of this class of solutions is that \(\check{m}= \hat{m}\) and \(\check{\lambda }=\hat{\lambda }\) iff the additional relationship

$$\begin{aligned} \hat{m}\hat{\lambda }= \frac{9}{4}k^2 \end{aligned}$$
(13)

holds. If this is taken to be satisfied then our new class of solutions and Tod’s are the same. Thus, if one wants to satisfy that the cosmological constant is the same in all three spaces while maintaing \(\hat{\lambda }=\lambda =\check{\lambda }\), an additional restriction between the density parameter and cosmological constant must be satisfied. Further, it is easy to see that if one slightly violates this relationship while enforcing \(\hat{\lambda }=\lambda \), either the cosmological constant will iterate to zero and the density parameter will iterate to positive infinity, or vice versa, showing that this solution is an unstable bifurcation. This can be seen explicity by the recurrence relations

$$\begin{aligned} \lambda _{i+1} = \frac{4\lambda _i^2m_i}{9k^2}, \qquad m_{i+1} = \frac{9k^2}{4\lambda _i}, \end{aligned}$$
(14)

where \(\lambda _i\) and \(m_i\) are the cosmological constant and density parameter associated to aeon i. These can be written in terms of an initial choice of \(\lambda _0\) and \(m_0\) as

$$\begin{aligned} \lambda _i = \Big (\frac{4}{9}m_0\Big )^{i-1}\lambda _0^i, \qquad m_i = \Big (\frac{4}{9}\lambda _0\Big )^{1-i}m_0^{2-i}, \qquad i\in {\mathbb {N}}. \end{aligned}$$
(15)

These sequences cannot both converge unless \(m\lambda = (4/9)k^2\) in which case we have \(\check{m}= \hat{m}\) and \(\check{\lambda }= \hat{\lambda }\) and so these parameters are the same in every aeon.

3 A perturbative approach

3.1 Extending Newman’s solution

Newman considers nearly the same setting as Tod, namely an FLRW universe on each side of the crossover in the bandage region given by Eq. (8). However, he additionally assumes spatial flatness \(k=0\), fixes \(\hat{\lambda }=3\) and chooses the bridging metric to have zero scalar curvature \(R=\lambda =0\). Unlike Tod, he obtains explicit scale factors as solutions of the Friedmann equation in the form of power series expansions. Importantly, these choices again differ from Penrose’s original assumptions of \(\hat{R}= R\) and \(k=1\). In fact, Newman finds an inconsistency with the physically-motivated expansions around \({\mathcal {C}}\) laid out in [12]. He guesses, backed by private communication with Tod, that this is generated from the inconsistency in the choice of k, a reasonable conclusion. Here, we extend Newman’s calculations by allowing arbitrary \(k,\hat{\lambda }\) and R and show explicitly that this inconsistency actually arises by Newman’s incorrect use of an expansion from [12]. We will use a different notation to [6] to allow for a connection to be made with the other solutions presented here.

First, from the reciprocal hypothesis and that each aeon has a metric of the form Eq. (8), we obtain that

$$\begin{aligned} \hat{\Omega }^4 = \Big (\frac{\hat{a}}{\check{a}}\Big )^2 \Leftrightarrow \hat{\Omega }^2 = -\frac{\hat{a}}{\check{a}}, \end{aligned}$$
(16)

where the minus sign counteracts the fact that \(\check{a}\) goes through zero at the crossover. We solve the Friedmann equation (10) by perform perturbations in the neighbourhood of \({\mathcal {C}}\) w.r.t. conformal time \(\tau \). Defining \(\Gamma := \hat{\tau }- \hat{\tau }_\infty = \check{\tau }\) so that \(\Gamma \) vanishes on \({\mathcal {C}}\) coming from either aeon, we find that

$$\begin{aligned} \hat{a}&= -\frac{1}{\sqrt{\hat{\Lambda }}}\Gamma ^{-1} - \frac{k}{6\sqrt{\hat{\Lambda }}}\Gamma + \frac{1}{360\sqrt{\hat{\Lambda }}}(36\hat{M}\hat{\Lambda }- 7k^2)\Gamma ^3 \end{aligned}$$
(17)
$$\begin{aligned}&+ \frac{1}{15120\sqrt{\hat{\Lambda }}}(108k\hat{M}\hat{\Lambda }- 31k^3)\Gamma ^5,\nonumber \\ \check{a}&= \sqrt{\check{M}}\Gamma - \frac{k}{6}\sqrt{\check{M}}\Gamma ^3 + \frac{1}{120}\sqrt{\check{M}}(12\check{M}\check{\Lambda }+ k^2)\Gamma ^5, \end{aligned}$$
(18)

where we have defined \(\Lambda := \lambda /3\) and \(M:= m/3\) along with the analogous definitions with a hat and check. These yield the expressions

$$\begin{aligned} \hat{\Omega }^2&= \frac{1}{\sqrt{\hat{\Lambda }\check{M}}}\Gamma ^{-2} + \frac{k}{3\sqrt{\hat{\Lambda }\check{M}}} + \frac{2k^2 - 3(\hat{M}\hat{\Lambda }+ \check{M}\check{\Lambda })}{30\sqrt{\check{M}\hat{\Lambda }}}\Gamma ^2, \end{aligned}$$
(19)
$$\begin{aligned} \hat{\Omega }&= -\frac{1}{(\check{M}\hat{\Lambda })^{1/4}}\Gamma ^{-1} - \frac{k}{6(\check{M}\hat{\Lambda })^{1/4}}\Gamma - \frac{7k^2 - 18(\hat{M}\hat{\Lambda }+ \check{M}\check{\Lambda })}{360(\check{M}\hat{\Lambda })^{1/4}}\Gamma ^3. \end{aligned}$$
(20)

Noting that

$$\begin{aligned} {g_{ab} = -\hat{a}\check{a}(\text {d}\tau ^2 - \frac{1}{1 - k r^2}\text {d}r^2 - r^2\text {d}\sigma ^2),} \end{aligned}$$
(21)

it is useful to also compute \(a^2:= -\hat{a}\check{a}\), which takes the form

$$\begin{aligned} a^2 = \sqrt{\frac{\check{M}}{\hat{\Lambda }}} - \frac{1}{10}\hat{M}\sqrt{\check{M}\hat{\Lambda }}\Gamma ^4. \end{aligned}$$
(22)

Then the Yamabe equation (4), written with respect to the bridging metric’s Levi-Civita connection, can be written with \(\Gamma =x^0\) as

$$\begin{aligned} a^2\hat{\Omega }'' + 2aa'\hat{\Omega }'+\frac{2}{3}\lambda a^4\hat{\Omega }= \frac{2}{3}\hat{\lambda }a^4\hat{\Omega }^3, \end{aligned}$$
(23)

where a prime denotes \(\text {d}/\text {d}\Gamma \). Using Eqs. (22) and (20), we find that the equation can be solved at all orders by the choice

$$\begin{aligned} \lambda = \frac{3k}{2}\sqrt{\frac{\hat{\Lambda }}{\check{M}}} \Leftrightarrow R = 6k\sqrt{\frac{\hat{\Lambda }}{\hat{M}}}. \end{aligned}$$
(24)

Note that, unlike in [6], at this stage we have not needed to make any assumptions about how the previous aeon’s parameters relate to the future aeon’s. This arises from allowing \(k\ne 0\). Further, it is clear that Eq. (24) is the same as Tod’s in Eq. (11) with his choice \(c_1 = (\hat{\lambda }/\hat{m})^{1/4}\).

3.2 Penrose’s conditions near \({\mathcal {C}}\)

The philosophy of CCC requires that rest-mass \(\mu \) plays no role in the neighbourhood of \({\mathcal {C}}\). Recall that this is given by

$$\begin{aligned} \mu = \frac{4}{\kappa }[2\lambda \hat{\Omega }^2 - \check{\lambda }- \hat{\lambda }\hat{\Omega }^4 + 3(1 - \hat{\Omega }^2)^2\Pi _a\Pi ^a], \end{aligned}$$
(51)

where

$$\begin{aligned} {\Pi _a:= \frac{\hat{\nabla }_a\hat{\Omega }}{\hat{\Omega }^2 - 1} = \frac{\check{\nabla }_a\check{\Omega }}{1 - \check{\Omega }^2}.} \end{aligned}$$
(25)

The quantity \(\Pi _a\) is built from the conformal factor \(\hat{\Omega }\) (or \(\check{\Omega }\)), is unaffected by use of the reciprocal hypothesis \(\hat{\Omega }\rightarrow -\check{\Omega }^{-1}\) and is smooth through \({\mathcal {C}}\).

Noting that \(\check{\Omega }\) can act as a time coordinate in the neighbourhood of \({\mathcal {C}}\), Penrose has given conditions that constrain the degrees of freedom in the Yamabe equation (4) by considering the power series expansion

$$\begin{aligned} \Pi ^a\Pi _a = A + B\hat{\Omega }+ C \hat{\Omega }^2 + \ldots \end{aligned}$$
(26)

around \({\mathcal {C}}\) [12] for the special case \(\hat{\lambda }=\lambda =\check{\lambda }=3\). In this case, Eq. 51 reduces to

$$\begin{aligned} \mu = 3\frac{4}{\kappa }(\hat{\Omega }^2 - 1)^2(\Pi ^a\Pi _a - 1). \end{aligned}$$
(27)

Thus, to supress the appearance of rest-mass in the future aeon, in accordance with the principles of CCC, he makes the power series expansion ansatz

$$\begin{aligned} \Pi ^a\Pi _a = 1 + Q\check{\Omega }^2 + O(\check{\Omega }^3). \end{aligned}$$
(28)

The linear term is taken to vanish while the quadratic term Q is taken as a universal constant relating to a Higgs-type mechanism. He dubs the above the supressed rest-mass hypothesis. This then imposes two conditions on the Yamabe equation, but does not yet fix a unique solution. Assuming the above expansion, one can obtain other useful expansions which contain Q. These are

$$\begin{aligned} \nabla ^a\check{\Omega }\nabla _a\check{\Omega }= 1 + (Q-2)\check{\Omega }^2 + O(\check{\Omega }^3), \qquad \nabla ^a\Pi _a = 2Q\check{\Omega }+ O(\check{\Omega }^2). \end{aligned}$$
(29)

Newman finds that these expansions are inconsistent with his results, which he guesses spawn from his different choice \(\lambda =0\ne \hat{\lambda }\). We find this is in fact not the reason. We present generalized expansions with no assumptions on \(\hat{\lambda }\) and \(\lambda \) to show this. They become

$$\begin{aligned} \Pi ^a\Pi _a&= \frac{\hat{\lambda }}{3} + Q\check{\Omega }^2 + O(\check{\Omega }^3), \end{aligned}$$
(30)
$$\begin{aligned} \nabla ^a\check{\Omega }\nabla _a\check{\Omega }&= \frac{\hat{\lambda }}{3} + (Q - \frac{2}{3}\hat{\lambda })\check{\Omega }^2 + O(\check{\Omega }^3), \end{aligned}$$
(31)
$$\begin{aligned} \nabla ^a\Pi _a&= [\frac{2}{3}(\lambda - \hat{\lambda }) + 2Q]\check{\Omega }+ O(\check{\Omega }^2). \end{aligned}$$
(32)

When \(\lambda =0,\lambda =3\) we see that Eq. (32) reduces to

$$\begin{aligned} \nabla ^a\Pi _a = 2(Q - 1)\check{\Omega }+ O(\check{\Omega }^2), \end{aligned}$$
(33)

At this point we note that it was not correct for Newman to compare his expansion using the specializations \(\hat{\lambda }=3,\lambda =k=0\) to \(\nabla ^a\Pi _a = 2Q\check{\Omega }+ O(\check{\Omega }^2)\), as this expression is only valid when \(\lambda =\hat{\lambda }=3\) via Eq. (32). Thus, the inconsistency found when expanding \(\nabla ^a\Pi _a\) was not caused by his choice of \(k=0\).

When using the solution to the Yamabe equation (24) in these three expressions for Q, we find they are consistent in general and yield

$$\begin{aligned} Q = \frac{2}{3}\hat{\lambda }- k\sqrt{\frac{\hat{\lambda }}{\check{m}}}. \end{aligned}$$
(34)

One sees that in Newman’s case with \(k=0\) and \(\hat{\lambda }=3\) then \(Q=2\) as expected. Thus, any choice of \(\lambda \) or k will be consistent with these expansions, no further constraints are produced and there are no inconsistencies.

4 Nurowski’s solution

As a minor side remark that is not at all the main result of his paper, Nurowski puts forward a solution very similar to Tod but with an explicit scale factor and for \(k=1\) [8]. We find an error in this solution and present here a correction which is consistent when compared to Tod’s solution and our extension of Newman’s, as well as being generalized to arbitrary k. In doing so, we use the same conventions as we have been using throughout, which differ from [8].

Writing down the Einstein equations for the previous aeon with metric and energy-momentum tensor given by Eqs. (8) and (9) respectively but without fixing an equation of state yields

$$\begin{aligned} \hat{\lambda }(1 + \hat{\omega })\hat{a}(t)^2 - (1 + 3\hat{\omega })(k + \hat{a}'(t)^2) - 2\hat{a}(t)\hat{a}''(t) = 0,\nonumber \\ \end{aligned}$$
(35)

where we have now chosen \(\hat{\omega }:= \hat{p}/ \hat{\rho }\) as a constant. The corresponding equation in the future aeon related through \(\check{g}_{ab} = \hat{\Omega }^{-4}(t)\hat{g}_{ab}\) is

$$\begin{aligned}{} & {} -(1 + 3\check{\omega })(k + \hat{a}'(t)^2)\check{\Omega }(t)^4 + 2(\hat{a}(t)\check{\Omega }(t)^3)[2(2 + 3\check{\omega })\hat{a}'(t)\check{\Omega }'(t) - \check{\Omega }(t)\hat{a}''(t)] \nonumber \\{} & {} \quad + \hat{a}(t)^2[\check{\lambda }(1 + \check{\omega }) + 4\hat{\Omega }(t)^2(-(2 + 3\check{\omega })\hat{\Omega }'(t)^2 + \hat{\Omega }(t)\hat{\Omega }''(t))] = 0, \end{aligned}$$
(36)

where we have now chosen \(\check{\omega }:= \check{p}/ \check{\rho }\) as a constant also. We can here make the choice \(\hat{\Omega }(t) = c_1\hat{a}(t)\), and eliminating \(\hat{a}''(t)\) from the above two equations gives

$$\begin{aligned}{} & {} -\check{\lambda }(1 + \check{\omega }) + kc_1^2(2 + 3\hat{\omega })\hat{\Omega }(t)^2 \nonumber \\{} & {} \quad +\hat{\Omega }(t)^2[-\hat{\lambda }(1 + \hat{\omega })\hat{\Omega }(t)^2 + (2 + 3\hat{\omega })\hat{\Omega }'(t)^2 + 3\check{\omega }(kc_1^2 + \hat{\Omega }'(t)^2]= 0. \end{aligned}$$
(37)

This can be solved directly, but following the procedure in [8] we can take another derivative, use Eq. (36) to eliminate \(\hat{\Omega }''(t)\) and assuming \(\hat{\Omega }'(t) \ne 0\) obtain

$$\begin{aligned}{} & {} -\check{\lambda }(1 + \check{\omega })[2 + 3(\hat{\omega }+ \check{\omega }] \nonumber \\{} & {} \quad + \hat{\Omega }(t)^2\Big (6c_1^2 - 4\hat{\lambda }\hat{\Omega }(t)^2 + 6\hat{\Omega }'(t)^2 + 3\check{\omega }(5 + 3\check{\omega })(kc_1^2 + \hat{\Omega }'(t)^2) \nonumber \\{} & {} \quad + \hat{\omega }[9kc_1^2(1 + \check{\omega }) -4\hat{\lambda }\hat{\Omega }(t)^2 + 9(1 + \check{\omega })\hat{\Omega }'(t)^2]\Big ) = 0. \end{aligned}$$
(38)

Finally, replacing \(\hat{\Omega }'(t)\) in the above using Eq. (37) yields the simple equation

$$\begin{aligned} \check{\lambda }(1 - 3\hat{\omega })(1 + \check{\omega }) - \hat{\lambda }(1 + \hat{\omega })(1 - 3\check{\omega })\hat{\Omega }(t)^4 = 0. \end{aligned}$$
(39)

Neglecting having a constant \(\hat{\Omega }(t)\) implies we must satisfy

$$\begin{aligned} \check{\lambda }(1 - 3\hat{\omega })(1 + \check{\omega }) = 0, \qquad \hat{\lambda }(1 + \hat{\omega })(1 - 3\check{\omega }) = 0. \end{aligned}$$
(40)

The solutions are

$$\begin{aligned} \hat{\omega }{} & {} = \check{\omega }= -1, \end{aligned}$$
(41)
$$\begin{aligned} \hat{\omega }{} & {} = \check{\omega }= \frac{1}{3}, \end{aligned}$$
(42)
$$\begin{aligned} \hat{\lambda }{} & {} = \check{\lambda }= 0, \end{aligned}$$
(43)
$$\begin{aligned} \hat{\lambda }{} & {} = 0, \qquad \hat{\omega }= \frac{1}{3} \text { or } \check{\omega }= -1, \end{aligned}$$
(44)
$$\begin{aligned} \check{\lambda }{} & {} = 0, \qquad \hat{\omega }= -1 \text { or } \check{\omega }= 1/3. \end{aligned}$$
(45)

We choose Eq. (42434445) which corresponds to \(\hat{T}_{ab}\) and \(\check{T}_{ab}\) being trace-free. In this case, Eq. (37) is integrated to yield a solution which replaces and generalizes Theorem (2.4) of [8]

$$\begin{aligned} \hat{\Omega }(t)^2 = \frac{1}{48\hat{\lambda }}e^{-2(t + c_2)\sqrt{\hat{\lambda }/3}} \Big [9\Big (e^{2c_2\sqrt{\hat{\lambda }/3}} + 4kc_1^2e^{2t\sqrt{\hat{\lambda }/3}}\Big )^2 - 64\hat{\lambda }\check{\lambda }e^{4t\sqrt{\hat{\lambda }/3}}\Big ],\nonumber \\ \end{aligned}$$
(46)

with integration constant \(c_2\).

At this stage we have essentially the same result as Tod, but now with arbitrary \(\hat{\lambda }\) and \(\check{\lambda }\) and importantly, an explicit analytic expression for \(\hat{\Omega }(t)\) or equivalently \(\hat{a}(t)\). One can check that the scalar curvature of the bridging metric with this conformal factor is indeed \(6kc_1^2\) in line with Tod. Thus, the bridging metric has constant scalar curvature and the Yamabe equation (4) is satisfied.

5 The energy-momentum tensor in the future aeon

The full energy momentum tensor \(\check{U}_{ab}\) of the future aeon, namely the one that satisfies the Einstein equation with associated metric \(\check{g}_{ab}\), has been fixed as a perfect radiation fluid. However, Penrose has a prescription for this in terms of three parts

$$\begin{aligned} \check{U}_{ab} = \check{T}_{ab} + \check{T}_{ab}[\hat{\Omega }] + \check{W}_{ab}, \end{aligned}$$
(47)

where \(\check{T}_{ab}\) is the contribution of \(\hat{T}_{ab}\), \(\check{T}_{ab}[\hat{\Omega }]\) is the contribution of the scalar field \(\hat{\Omega }\) and \(\hat{W}_{ab}\) has yet to obtain a physical interpretation but generically includes a trace-term that Penrose associates with dark matter.

Given \(\Pi _a:= (\nabla _a\hat{\Omega }) / (\hat{\Omega }^2 - 1)\) and \(\Phi _{ab} = (-1/2)[R_{ab} - (1/4)Rg_{ab}]\) is the trace-free Ricci tensor of the bridging metric, the individual parts have the following general expressions

$$\begin{aligned} \check{T}_{ab}{} & {} = \hat{\Omega }^4\hat{T}_{ab}, \end{aligned}$$
(48)
$$\begin{aligned} \check{T}_{ab}[\hat{\Omega }]{} & {} = 2\hat{\Omega }^2\Phi _{ab}, \end{aligned}$$
(49)
$$\begin{aligned} \check{W}_{ab}{} & {} = \Big [3(1 - \hat{\Omega }^2)^2 \Pi ^c\Pi _c - \check{\lambda }+ 2\lambda \hat{\Omega }^2 - \hat{\lambda }\hat{\Omega }^4\Big ]\check{g}_{ab} \nonumber \\{} & {} \quad + 2(1 - \hat{\Omega }^2- \hat{\Omega }^4)\Phi _{ab} + 2(\hat{\Omega }^{-1} + \hat{\Omega }^3)(\nabla _a\nabla _b\hat{\Omega }- \frac{1}{4}\nabla _c\nabla ^c\hat{\Omega }g_{ab}) \nonumber \\{} & {} \quad - 4\hat{\Omega }^2(\nabla _a\hat{\Omega }\nabla _b\hat{\Omega }- \frac{1}{4}\nabla _c\hat{\Omega }\nabla ^c\hat{\Omega }g_{ab}), \end{aligned}$$
(50)
$$\begin{aligned} \check{W}_{ab}\check{g}^{ab}{} & {} = \mu = 4[2\lambda \hat{\Omega }^2 - \check{\lambda }- \hat{\lambda }\hat{\Omega }^4 + 3(1 - \hat{\Omega }^2)^2\Pi _a\Pi ^a]. \end{aligned}$$
(51)

These expressions are checked against the CCC solution of the previous section. The three pieces are easily defined in terms of the future aeon \(\check{g}^{ab}\) as

$$\begin{aligned} \check{T}^{ab}{} & {} = \frac{1}{3}\check{R}\check{\Omega }(t)^8\delta ^a_0\delta ^b_0 - \frac{1}{12}\check{R}\check{\Omega }(t)^4\check{g}^{ab}, \end{aligned}$$
(52)
$$\begin{aligned} \check{T}^{ab}[\hat{\Omega }]{} & {} = \frac{1}{3}R\check{\Omega }(t)^8\delta ^a_0\delta ^b_0 - \frac{1}{12}R\hat{\Omega }(t)^4\check{g}^{ab}, \end{aligned}$$
(53)
$$\begin{aligned} \hat{W}^{ab}{} & {} = \frac{1}{3}(\hat{R}- \check{R}- R)\hat{\Omega }(t)^8\delta ^a_0\delta ^b_0 - \frac{1}{12}(\hat{R}- \check{R}- R)\hat{\Omega }(t)^4\check{g}^{ab}, \end{aligned}$$
(54)

where it is immediate that they are all trace-free. Commenting upon the individual physical interpretation of these is not easy, other than how they are sourced by quantities of the previous aeon. The new-improved energy momentum tensor \(\check{T}_{ab}[\Omega ]\) is in fact the conserved energy tensor for solutions of the conformally invariant wave equation [10]. Finding a corresponding Lagrangian could shed some light, but we do not pursue this. Of particular note is that if \(k\ne 0\) and \(\check{\lambda }\ne \hat{\lambda }\) to avoid \(c_1=0\), then one can choose

$$\begin{aligned} c_1^2 = \frac{2}{3k}(\hat{\lambda }- \check{\lambda }), \end{aligned}$$
(55)

so that \(\hat{W}_{ab}\) vanishes.

6 Penrose’s candidates for constraining \(\hat{\Omega }\)

There are multiple choices in how to fix the remaining freedom in the Yamabe equation for the conformal factor [1, 7, 9]. Although these and essentially one general FLRW CCC model have currently been put forward, it remains to see which conformal factor choices are satisfied by these models. Here, we take the choice of \(\hat{\Omega }= c_1\hat{a}\) that has been used in the solutions presented above. To be as general as possible, we present the results of Sec. 4.

The choices to fix the conformal factor first presented in [1] are

$$\begin{aligned} N^aN^b\Phi _{ab}{} & {} = O(\check{\Omega }^3), \end{aligned}$$
(56a)
$$\begin{aligned} N^aN^b\nabla _aN_b{} & {} = O(\check{\Omega }^2), \end{aligned}$$
(56b)
$$\begin{aligned} \nabla _a\Pi ^a{} & {} = O(\check{\Omega }), \end{aligned}$$
(56c)
$$\begin{aligned} 3\Pi _a\Pi ^a - \hat{\lambda }{} & {} = O(\check{\Omega }^3), \end{aligned}$$
(56d)

where \(N_a = \nabla _a\check{\Omega }\). These expansions for the given CCC model are

$$\begin{aligned} N^aN^b\Phi _{ab}{} & {} = \frac{1}{4}c_1^2k\hat{\lambda }- \frac{3}{4}c_1^4k^2\check{\Omega }^2 +O(\check{\Omega }^4), \end{aligned}$$
(57a)
$$\begin{aligned} N^aN^b\nabla _aN_b{} & {} = -\frac{1}{3}c_1^2k\hat{\lambda }\check{\Omega }+ O(\check{\Omega }^3), \end{aligned}$$
(57b)
$$\begin{aligned} \nabla _a\Pi ^a{} & {} = (\frac{2}{3}\hat{\lambda }- kc_1^2)\check{\Omega }+ O(\check{\Omega }^3), \end{aligned}$$
(57c)
$$\begin{aligned} 3\Pi ^a\Pi _a - \hat{\lambda }{} & {} = (2\hat{\lambda }- 3kc_1^2)\check{\Omega }^2 + O(\check{\Omega }^4). \end{aligned}$$
(57d)

It is clear that Eq. (56c) is the only condition satisfied in general by this CCC solution. The only way that Eqs. (56a) and (56b) can be satisfied is if \(k=0\) which has the consequence that \(\lambda =0\) and Penrose’s \(\hat{\lambda }=\lambda \) hypothesis is violated. Equation (56d) can be satisfied by choosing \(c_1^2 = 2\hat{\lambda }/(3k)\) provided \(k\ne 0\). This is also the choice that implies \(\hat{\lambda }=\lambda \) and satisfies Penrose’s hypothesis delayed rest-mass hypothesis with \(Q=0\).

It is then clear that for the CCC solution considered, only Eq. (56d) gives a reasonable condition to fix the conformal factor by way of restricting \(c_1\). Of note is that Tod [7] and Nurowski [8] give their own, different conditions by requiring the metric at the crossover to have a particular form coming from a Starobinsky expansion in the previous aeon [13], but we do not discuss these here.

7 Discussion

In this paper we have presented a new class of solutions to the CCC paradigm that describe consequtive FLRW universes with a radiation fluid. This class is very nearly the same as that presented by Tod [7] but where the original assumptions of Penrose [1] are satisfied. These solutions have the consequence that the energy density \(\rho (t) = m / a(t)^4\) and the cosmological constant \(\lambda \) will blow up and converge to zero respectively, or vice-versa, unless an additional relationship between m and \(\lambda \) is satisfied. This relationship, namely \(m = 9k^2/4\lambda \), implies that these parameters will remain constant throughout all aeons. It is shown that this bifurcation is unstable. In the case that this relationship is satisfied, Tod’s class and this new class of solutions are identical.

Newman [6] also looked at successive radiation fluid FLRW universes, but explicitly solved the Friedmann equations with series expansions for the scale factors and specialized to \(\lambda =3\) and \(k=0\) in each aeon. He commented on an inconsistency in certain expansions of Penrose [12] around the crossover that he put down to Penrose’s alternate choice of \(k=1\). We generalized Newman’s calculations to arbitrary \(\lambda \) and k and show that his choice of \(k=0\) was not the cause of this inconsistency, but rather it was his use of an expansion in [12] that was only valid when \(\hat{\lambda }= \lambda = 3\). It was shown that the expansions given in [12] are perfectly consistent for this CCC solution for arbitrary k and cosmological constants so long as the Yamabe equation (4) is satisfied.

Nurowski [8] has the only other solution to CCC in the current literature, which again makes use of consecutive FLRW universes with a radiation fluid. He proposes a conformal factor that joins two aeons around the crossover which yields an explicit form of the scale factor. This generalizes Tod’s solution in that each aeon may have a different cosmological constant, and generalizes Newman’s solution in that the expressions are explicit. We found that this conformal factor, given as a minor side-remark, was incorrect, and presented a new one that was justified by comparing to the other solutions in the respective limits. This yields the most general, explicit class of solutions to the CCC paradigm that currently exists in the literature.

The energy-momentum tensor of the future aeon was broken up into three individually conserved pieces following [1] and new general expressions were given for these in terms of the bridging metric’s connection. These were evaluated with our general solution and commented upon.

A major missing piece in the CCC paradigm is a physically motivated method of fixing the conformal factor uniquely. All solutions so far impose a constant scalar curvature for the bridging metric, which implies the Yamabe equation (4) must be satisfied. The uniqueness of the conformal factor then reduces to how to uniquely solve this equation. While Tod and Nurowski have proposed fixing this based upon utilizing a Starobinsky expansion around the crossover, Penrose proposes several other candidates for doing this [1]. These candidates are tested using the CCC model derived here and surprisingly, only one can be satisfied, namely the condition

$$\begin{aligned} 3\Pi _a\Pi ^a - \hat{\lambda }= O(\check{\Omega }^3), \end{aligned}$$

which we take as a leading contender to fix the conformal factor for more general classes of solutions of the CCC paradigm.