The Big Bang is a Coordinate Singularity for k=-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k = -1$$\end{document} Inflationary FLRW Spacetimes

We show that the big bang is a coordinate singularity for a large class of k=-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k = -1$$\end{document} inflationary FLRW spacetimes which we have dubbed ‘Milne-like.’ By introducing a new set of coordinates, the big bang appears as a past boundary of the universe where the metric is no longer degenerate—a result which has already been investigated in the context of vacuum decay (Coleman and De Luccia in Phys Rev D 21:3305–3315, 1980). We generalize their results and approach the problem from a more mathematical perspective. Similar to how investigating the geometrical properties of the r=2m\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$r = 2m$$\end{document} event horizon in Schwarzschild led to a better understanding of black holes, we believe that investigating the geometrical properties of the big bang coordinate singularity for Milne-like spacetimes could lead to a better understanding of cosmology. We show how the mathematics of these spacetimes may help illuminate certain issues associated with dark energy, dark matter, and the universe’s missing antimatter.


Introduction
In this paper we show that the big bang is a coordinate singularity for a large class of k = −1 inflationary FLRW spacetimes which we have dubbed 'Milne-like.' This may seem surprising and one may justifiably ask: don't the singularity theorems imply that this cannot happen? In Appendix 1 we show why the singularity theorems don't apply to inflationary spacetimes. Indeed Milne-like spacetimes can almost always be used as counterexamples [12].
The coordinate singularity appearing in Milne-like spacetimes may offer a new geometrical perspective of our universe. We believe that understanding the geometry of the coordinate singularity for Milne-like spacetimes could lead to a better understanding 1 3 of cosmology. One of the goals of this paper is to demonstrate how the mathematics of these spacetimes may help illuminate certain issues associated with dark energy, dark matter, and the universe's missing antimatter. Our solution to the antimatter problem is similar to the solution presented in [6].
We remark a previous time when understanding the geometry of a coordinate singularity led to advances in theoretical physics. The r = 2m event horizon in Schwarzschild is a coordinate singularity. Understanding the geometry of event horizons led to Hawking's area theorem for black holes [11,19,40] which played a pivotal role in the development of black hole thermodynamics [40].

Summary of Results
In this section we give a brief summary of our results. We highlight four main points.
(1) The big bang is a coordinate singularity for Milne-like spacetimes. (2) The geometric solution to the horizon problem. (3) The cosmological constant appears as an initial condition. (4) Lorentz invariance and its implications for dark matter and antimatter.

(1) The big bang is a coordinate singularity for Milne-like spacetimes
The Milne universe is the k = −1 FLRW spacetime with manifold M = (0, ∞) × ℝ 3 and metric and scale factor a( ) = . Here we are using hyperbolic coordinates ( , R, , ) . By introducing coordinates (t, r, , ) via t = cosh(R) and r = sinh(R) , the metric is which is just the Minkowski metric. Notice that = 0 corresponds to the lightcone t = r at the origin O . Hence the big bang is a coordinate singularity for the Milne universe.

3
Foundations of Physics (2020) 50:385-428 The condition a( ) = + o( 1+ ) implies 0 < Ω(0) < +∞ where Ω(0) ∶= lim →0 Ω( ) . Therefore there is no degeneracy at = 0 in these coordinates. Thus the big bang is a coordinate singularity for Milne-like spacetimes. See Sect. 3.3 for the full proof ( Fig. 1). Figure 2 shows how the big bang is a coordinate singularity for the Milne universe and Milne-like spacetimes. In both cases the lightcone at the origin O acts as a past boundary of the universe. It separates our universe from the extension.
The discussion so far has been informal. In Sect. 2 we give precise mathematical definitions to what we mean by coordinate and curvature singularities. We then apply these definitions in Sect. 3 to show the big bang is a coordinate singularity for Milne-like spacetimes. In Sect. 3.4 we show Milne-like spacetimes admit no curvature singularities provided the second derivative of the scale factor satisfies an asymptotic condition.

(2) The geometric solution to the horizon problem
We briefly recall the horizon problem in cosmology. It is the main motivating reason for inflationary theory [42, p. 208]. The problem comes from the uniform temperature of the CMB radiation. From any direction in the sky, we observe the CMB temperature  An inflationary era before the radiation-dominated era would allow for causal contact in the past. This is depicted in Fig. 4. For a Milne-like spacetime the solution becomes apparent in the conformal Minkowski coordinates. Since the spacetime is conformal to Minkowski space, the lightcones are given by 45° angles. Therefore any two points p and q in a Milne-like spacetime will have past lightcones which intersect at some point above the origin O.

(3) The cosmological constant appears as an initial condition
Here we show how the cosmological constant Λ appears as an initial condition for Milne-like spacetimes. This may help explain the origin of Λ . If dark energy is really modeled by a cosmological constant and not by some other model (e.g. quintessence), then Λ would have been fixed at the big bang.
The Einstein equations with a cosmological constant are (1.4) R − 1 2 Rg + Λg = 8 T . Let u = ∕ denote the four-velocity of the comoving observers and let e be any unit spacelike orthogonal vector (its choice does not matter by isotropy). We define the energy density and pressure function p in terms of the Einstein tensor: = 1 8 G u u and p = 1 8 G e e where G = R − 1 2 Rg . We define the normal energy density normal ( ) and normal pressure function p normal ( ) in terms of the energy-momentum tensor normal = T u u and p normal = T e e . Therefore = normal + Λ∕8 and p = p normal − Λ∕8 . If normal = p normal = 0 (e.g. de Sitter), then the equation of state for the cosmological constant is fixed for all .
In Sect. 4.2 we show that this equation of state appears as an initial condition for Milne-like spacetimes. Specifically, we show if the scale factor satisfies Consequently, if normal ( ) and p normal ( ) → 0 as → 0 (i.e. if the cosmological constant was the dominant energy source during the Planck era), then we have Λ = 3 . Note that = a ��� (0) . Therefore we have This provides a connection between the cosmological constant Λ and the initial condition of the scale factor.

(4) Lorentz invariance and its implications for dark matter and antimatter
In Sect. 4.3 we show the Lorentz group L = O(1, 3) acts by isometries on Milnelike spacetimes at the origin O . Therefore these spacetimes have a notion of Lorentz invariance. This follows because the Minkowski metric is Lorentz invariant and the conformal factor Ω appearing in Eq. (1.3) is Lorentz invariant. Since Lorentz invariance plays a pivotal role in QFT (e.g. the field operators are constructed out of finite dimensional irreducible represenations of the Lorentz group [38,41]), Milne-like spacetimes are a good background model if one wants to develop a quantum theory of cosmology with Lorentz invariance.

A Possible Dark Matter Particle?
There are two different kinds of symmetries in quantum theory. The local (gauge) symmetry group SU(3) × SU (2) × U(1) of the standard model and the global spacetime symmetry group.
The irreducible unitary representations of SL(2, ℂ) (which is the simply connected double cover of the connected component of O(1, 3) containing the identity) are characterized by two different types of particles. See Theorem 10.9 in [38]. The first class of particles is the principal series. These particles are characterized by the parameter = −iw where w is real and spin j = 0, 1∕2, 1, … The (1.7) Λ = 3a ��� (0).

3
second class of particles is the complementary series. These particles are characterized by the parameter −1 ≤ ≤ 1 and spin j = 0 . The terminology 'principal' and 'complementary' comes from the classification of irreducible unitary representations of semi-simple Lie groups [37]. Since the comoving observers emanate from the origin O in a Milne-like spacetime (see Fig. 5), a possible physical interpretation of this classification would be that these are the particles created at the big bang. If this interpretation is correct, then the principal series would correspond to the particles of the standard model (in analogy to Wigner's classification of the Poincaré group [43]). But this leaves the complementary series up to interpretation. Perhaps But is there any evidence that dark matter is comprised of spin 0 particles? Yes. Scalar field dark matter (SFDM) [17,18,26,36] also known as Bose-Einstein condensate (BEC) dark matter [22,27,[32][33][34]39] also known as wave dark matter (WDM) [7,8,15,29] also known as fuzzy dark matter (FDM) [20,21] all use the Klein-Gordon wave equation (i.e. the wave equation for spin 0 particles) to model dark matter. The difference in name comes from a difference in motivation. One reason for introducing models of dark matter based on the Klein-Gordon equation is to alleviate the cusp problem associated with the weakly interacting massive particle (WIMP) models of dark matter [23]. Furthermore, the models based on the Klein-Gordon equation reproduce the observed spiral pattern density in disk galaxies (see Figs. 1-4 in [8]) which makes these models promising.
If the identification "principal series = normal matter" and "complementary series = dark matter" is true, then the distinguishing feature could be related to the parameter which is determined by Casimir operators built out of rotations and Lorentz boosts (see Eq. 10.3-1 in [38]). Perhaps this could offer an explanation for dark matter's lack of interaction with electromagnetism.

What Lies Beyond = 0?
Recall the Lorentz group L = O(1, 3) has four connected components L ↑ ? If L ↓ also acts by isometries, then there would be a universe isometric to ours with the isometry given by the PT transformation (t, x, y, z) ↦ (−t, −x, −y, −z) . Given the CPT theorem [35], perhaps the universe's missing antimatter is contained in the PT symmetric universe. In Sect. 4.5 we show how one can interpret the PT symmetric universe as an antimatter universe via a Lorentz invariant Dirac equation.

Open Problems
(1) Is = 0 a coordinate singularity for k = 1 and k = 0 FLRW spacetimes? From [13] it is known that no extension can exist with spherical symmetry.
(2) Is = 0 a coordinate singularity for Milne-like spacetimes with compact -slices? The null expansion of the future lightcone in Minkowski space diverges Fig. 6 The figure on the left represents the universe/antimatter universe pair in [6]. The metric is degenerate at ̃= 0 , so the pair together do not form a spacetime. The figure on the right represents the universe/antimatter universe pair for a Milne-like spacetime. In this case the pair coexist in a single nondegenerate spacetime. They are causally connected at the origin O where Lorentz invariance holds

Spacetimes
Let k ≥ 0 be an integer. A C k manifold of dimension n + 1 is a topological space M endowed with a maximal C k -atlas A of dimension n + 1 . A coordinate system is an element ∈ A . Specifically, a coordinate system is a is the canonical projection and runs over the indices 0, 1, … , n . The coordinate systems allow us to define C k curves over M. For k ≥ 1 we use C 1 curves to generate tangent vectors at a point p ∈ M . This construction yields the tangent space T p M and the corresponding C k−1 tangent bundle TM.
Let k ≥ 0 . A C k metric on a C k+1 manifold M is a nondegenerate symmetric tensor g ∶ TM × TM → ℝ with constant signature whose components g in any coordinate system ∈ A are C k functions. Symmetric means g(X, Y) = g(Y, X) for Foundations of Physics (2020) 50:385-428 all X, Y ∈ TM . Nondegenerate means g(X, Y) = 0 for all Y ∈ TM implies X = 0 . With constant signature means there is an integer r such that at each point p ∈ M , there is a basis e 0 , … , e r , … , e n ∈ T p M such that g(e , e ) = −1 for 0 ≤ ≤ r and g(e , e ) = 1 for r + 1 ≤ ≤ n . If g(e 0 , e 0 ) = −1 and g(e i , e i ) = 1 for all i = 1, … , n , then g is called a Lorentzian metric and (M, g) is called a C k Lorentzian manifold. If g(e , e ) = 1 for all = 0, 1, … , n , then g is called a Riemannian metric and (M, g) is called a C k Riemannian manifold. We will only work with Lorentzian manifolds in this paper. Our convention will be that greek indices and will run through indices 0, 1, … , n and latin indices i and j will run through 1, … , n. Fix Note that −X defines an opposite time-orientation, and so a future-directed causal vector Y with respect to X is a past-directed causal vector with respect to −X.
where M is a connected, Hausdorff, and second-countable C k+1 manifold and g is a C k Lorentzian metric such that (M, g) is time-oriented.

Remarks
-The Einstein tensor R − 1 2 Rg requires two derivatives of the metric. Therefore the relevant differentiability class for general relativity is C 2 .
-We assume M is connected because we can not make any observations of any other connected components. -The Hausdorff condition guarantees uniqueness of limits.
-The second-countable property allows us to construct partitions of unity whenever needed (e.g. to construct a complete Riemannian metric on M).
is future-directed timelike at all its differentiable points, and in the case t 0 ∈ [a, b] is a break point, we have lim t↗t 0 � (t) and lim t↘t 0 � (t) are both future-directed timelike. If t 0 = a or t 0 = b , then we only require this for the one-sided limit. Note this means that | [b− , b) can be extended to a C 1 timelike curve for > 0 small enough. Letting timelike curves be piecewise C 1 allows us to concatenate two timelike curves to form another timelike curve. A unit timelike curve is a timelike curve such that g( � , � ) = −1 at all its differentiable points. Note that 'future-directed' is implicit in our definition of a timelike curve. Given a timelike curve ∶ [a, b] → M , we will often write ⊂ U instead of [a, b] ⊂ U . Likewise with ∩ U (Fig. 7). Given a point p ∈ M and an open set U ⊂ M , the timelike future of p within U, denoted by I + (p, U) , is the set of all points q ∈ M such that there is a timelike curve ∶ [a, b] → U from p to q. The timelike past of p within U, denoted by I − (p, U) , is defined with the opposite time-orientation. If we wish to emphasize the Lorentzian metric g being used, then we will write I + g (p, U) . From Proposition 2.6 in [30], we know that these are open sets. We reproduce the proof of this proposition in Appendix 2.

Spacetime Extensions
Coordinate singularities coincide with spacetime extensions. For example, the r = 2m coordinate singularity in Schwarzschild extends the r > 2m region to the maximal analytic extension which contains the r < 2m region. Therefore an understanding of spacetime extensions is needed to understand coordinate singularities. Fix For the rest of this section, we will fix a C l -extension (M ext , g ext ) of a C k spacetime (M, g). The curve on the left is a timelike curve. The curve on the right is not a timelike curve even though it is timelike at all its differentiable points. We don't consider it a timelike curve because it approaches a null vector at its break point (1) If p ∈ M and q ∉ M , then intersects + M.  Proposition 2.6 can be used to show a spacetime (M, g) is C l -inextendible (i.e. it admits no C l -extension). Suppose one assumes (M, g) has a C l -extension and then proves + M = � and − M = � , then Proposition 2.6 yields a contradiction. This is how Sbierski proves the C 0 -inextendibility of Minkowski space and the Schwarzschild spacetime [30,31].

Definition of Coordinate Singularities
In this section we give a precise definition of what we mean by a 'coordinate singularity.' Our goal is to identify when we have made a 'poor' choice of coordinates. Before giving the definition, we start with a couple of motivating examples.

Motivating Examples
Since the metric becomes degenerate at = 0 , we cannot extend (M, g) using the coordinates ( , x) . However, if we introduce the coordinate t = 1 2 2 , then, with respect to these coordinates, the spacetime manifold becomes (0, ∞) × ℝ with metric −dt 2 + dx 2 . Since the metric is nondegenerate at t = 0 , we have no problem extending the spacetime using the coordinates (t, x). As such, we say ( , x) were a 'poor choice' of coordinates, and = 0 merely represents a coordinate singularity. This example demonstrates that a coordinate singularity depends on a spacetime being inextendible within one coordinate system while being extendible in another.
(2) Consider the smooth spacetime (M, g) where M = (0, ∞) × ℝ and In this case (M, g) extends through t = 0 via the spacetime M ext = ℝ × ℝ and g ext = −dt 2 + dx 2 for t ≤ 0 and g ext = g for t > 0 . However (M ext , g ext ) is not a smooth extension of (M, g). It is only a C 0 -extension. In this case we would not say that (t, x) are a 'poor' choice of coordinates for (M, g), since the coordinates (t, x) can still be used to extend the spacetime just not smoothly.
there exists an open set Ω � ⊂ ℝ n+1 which properly contains Ω and a C l -Lorentzian metric g ′ on Ω � such that (Ω � , g � ) is a C l -extension of (Ω, * g) . Then we say (Ω � , g � ) is a C l -coordinate extension of (Ω, * g) . If such an (Ω � , g � ) exists, then we say is not C l -maximal. If no such (Ω � , g � ) exists, then we say is C l -maximal. For example, the coordinates ( , x) in the first example Foundations of Physics (2020) 50:385-428 above are C 0 -maximal. The coordinates (t, x) in the second example are C 1 -maximal but not C 0 -maximal.
Remark Intuitively, a coordinate system is C 0 -maximal if the metric components g with respect to are maximally extended. If they were extended any further, then there would be a degeneracy in the metric (e.g. Schwarzschild). Definition 2.7 (Coordinate singularity). Fix k ≥ 0 and 0 ≤ l ≤ k . Let (M, g) be a C k spacetime and let ∶ U → ℝ n+1 be a coordinate system which is C 0 -maximal. We say admits a C l -coordinate singularity for (M, g) if there is a C l -extension (M ext , g ext ) and a coordinate system ∶ V → ℝ n+1 for M ext such that Remark In the definition represents the 'poor' choice of coordinates. represents the 'better' choice of coordinates.
For example consider (M, g) from example (1) above. The coordinate system -In this example we simply take U = M and V = M ext and = (t, x).

Definition of Curvature Singularities
In this section we give a precise definition of what we mean by a 'curvature singularity.' Before doing so, let's fix notation by recalling the definition of curvature.
Fix k ≥ 2 . Let (M, g) be a C k spacetime and ∇ its unique compatible affine connection. Then the Riemann curvature tensor is the (3, 1) tensor defined by where [X, Y] is the Lie derivative of Y with respect to X. Let { } be a coordinate vector basis with dual one-form basis {dx } . The components of the Riemann curvature tensor with respect to { } are defined by R = dx R( , ) . Using index notation ∇ X Y = (X ∇ Y ) and the linear and Leibniz properties of the affine connection, we have Here we see the non-commutativity of the second covariant derivatives of Z expressed in terms of the components of the curvature tensor.
Since gravitation is mathematically described by curvature (e.g. the Einstein equations and tidal acceleration), we can use divergences in the curvature tensor as a way to identify the breakdown of general relativity. Since we want to measure divergences in a coordinate-independent way, we construct curvature invariants out of scalar quantities. ) is a scalar function which is a polynomial in the components of the metric g , its inverse g , and the curvature tensor R .

Examples of Curvature Invariants
Time-dualizing the definition gives past curvature singularities.

A Classical Example: The Schwarzschild Spacetime
In this section we apply our definitions of coordinate and curvature singularities to the Schwarzschild spacetime. We will show how the r = 2m event horizon in Schwarzschild is just a coordinate singularity and how r = 0 is a curvature singularity.
Foundations of Physics (2020) 50:385-428 Let 0 < < and 0 < < 2 be the standard coordinates on S 2 . Let U ⊂ M safe be the open set U = ℝ × (2m, ∞) × (0, ) × (0, 2 ) . Then the metric in the coordi- Now we introduce other coordinates (v, r, , ) given by v = t + r * (r) where r * (r) = r + 2m log(r∕2m − 1) . The metric in these coordinates is There is no degeneracy at r = 2m with respect to these coordinates. Therefore we It's not hard to see that (M unsafe , g) is C ∞ -isometric to the region r < 2m of (M ext , g ext ) . We end this section by demonstrating that (M unsafe , g) admits a future curvature singularity. Proof Consider the future inextendible timelike curve ∶ [m, 0) → M unsafe given by (r) = (t 0 , r, 0 , 0 ) . Recall that ∕ r is timelike on M unsafe . Let C = R R denote the Kretschmann scalar. Then a calculation shows C = 48m 2 ∕r 6 . Therefore C• (r) → ∞ as r → 0 . ◻

The Coordinate Singularity for Milne-Like Spacetimes
is a continuous function called the scale factor. The integral curves of ∕ are called the comoving observers. Physically, they model the trajectories of galaxies.
Remark We don't assume any differentiability assumption on the scale factor. Therefore the lowest regularity class for FLRW spacetimes is C 0 . .
Let (ℝ 3 , h) be hyperbolic space with sectional curvature k = −1 . Let (M, g) be the corresponding FLRW spacetime. We use the standard coordinates = ( , R, , ) for M where ∶ U → ℝ 4 and U = I × (0, ∞) × (0, ) × (0, 2 ) . With respect to the coordinate system = ( , R, , ) , the metric is We will first demonstrate how = ( , R, , ) admits a C ∞ -coordinate singularity for (M, g) in two familiar cases: (1) when (M, g) is the Milne universe and (2) when (M, g) is the open-slicing coordinate system for de Sitter space. Then we will show how = ( , R, , ) admits a C 0 -coordinate singularity for a class of inflationary spacetimes which we have dubbed 'Milne-like.' The justification for calling these 'inflationary' comes in Sect. 4.1 where we show that these spacetimes solve the horizon problem in cosmology.
In Sect. 3.4 we show that Milne-like spacetimes do not admit curvature singularities provided the scale factor satisfies a �� ( ) = In Sect. 3.5 we show a rigidity result: if a Milne-like spacetime satisfies both the weak and strong energy conditions, then it must be the Milne universe.

The Milne Universe
Let (ℝ 3 , h) be hyperbolic space with sectional curvature k = −1 . The Milne universe is the corresponding FLRW spacetime (M, g) given by M = (0, ∞) × ℝ 3 and with scale factor a( ) = . With respect to the coordinate system = ( , R, , ) , the metric is We introduce a new coordinate system = (t, r, , ) where and are unchanged, but t and r are given by Then we have −dt 2 + dr 2 = −d 2 + 2 dR 2 , so that the metric in the coordinate system = (t, r, , ) is which is just the usual Minkowski metric. The coordinate system = ( , R, , ) is C 0 -maximal, but we can find a C ∞ -extension via = (t, r, , ) . Therefore The constant slices are hyperboloids sitting inside the future lightcone of the origin. We take the extension to be (M ext , g ext ) = Minkowski space. As (3.3) t = cosh(R) and r = sinh(R).
→ 0 , these slices approach the lightcone at the origin O in Minkowski space where the extended metric g ext is nondegenerate (Fig. 9).

De Sitter Space
The open slicing coordinate system for de Sitter space is a k = −1 FLRW spacetime M = (0, ∞) × ℝ 3 with scale factor a( ) = sinh( ) . With respect to the coordinate system = ( , R, , ) , the metric is We introduce a new coordinate system = (t, r, , ) where and are unchanged, but t and r are given by where b( ) = tanh( ∕2) = sinh ∕(1 + cosh ) . Then b � ( ) = b( )∕a( ) , and so we have the following relationship between (t, r) and ( , R).
Therefore the metric is which is conformal to the Minkowski metric. Using b( ) = tanh( ∕2) and . Thus the metric in the coordinate system = (t, r, , ) is .
(3.6) t = b( ) cosh(R) and r = b( ) sinh(R), Fig. 9 The Milne universe sits inside the future lightcone of the origin O in the extension which is just Minkowski space. It's foliated by constant slices which are hyperboloids 1 3 The coordinate system = ( , R, , ) is C 0 -maximal, but we can define a C ∞ -extension via = (t, r, , ) . Thus The constant slices are hyperboloids sitting inside the future lightcone at the origin. We take the extension to be (M ext , g ext ) = a smooth spacetime conformal to Minkowski space. As → 0 , these slices approach the lightcone where the extended metric g ext is nondegenerate (Figs. 10 and 11).

Milne-Like Spacetimes
Now we wish to show that = ( , R, , ) is a coordinate singularity for scale factors that can model the dynamics of our universe. That is, we wish to show = 0 is a coordinate singularity for suitably chosen scale factors a( ) which -begin inflationary a( ) ∼ sinh( ) -then transitions to a radiation dominated era a( ) ∼ √ -then transitions to a matter dominated era a( ) ∼ 2∕3 -and ends in a dark energy dominated era a( ) ∼ e If we assume for small , the scale factor satisfies a( ) ∼ , then, by curve fitting, we can use a( ) to represent each of the above eras, thus modeling the dynamics of our universe. To make this precise, we assume for small , the scale factor satisfies a( ) = + o( 1+ ) for some > 0 (i.e. a( ) − ∕ 1+ → 0 as → 0 ). In particular any convergent Taylor expansion a( ) = ∑ ∞ n=1 c n n (with c 1 = 1 ) will satisfy this condition. We assume the coordinate system = ( , R, , ) is C 0 -maximal.

Remarks
-The motivation for the word 'inflationary' comes in Sect. 4.1 where we show that the particle horizon is infinite for scale factors which obey a( ) = + o( 1+ ). -A C k Milne-like spacetime is one such that the spacetime is C k (i.e. the scale factor a( ) is a C k function). -For inflationary spacetimes we have a(0) ∶= lim →0 a( ) = 0. -The coordinate system = ( , R, , ) is defined for all ∈ I = (0, max ) where max ∈ (0, +∞] . For our universe, we expect max = +∞ due to dark energy. The next theorem improves and refines Theorem 3.4 in [13]. Indeed this will imply the Lorentzian metric given by Eq. (3.14) extends continuously through = 0 which corresponds to the lightcone t = r , i.e. this will imply that (M, g) is C 0 -extendible via = (t, r, , ).
. By our definition of an inflationary spacetime, there is an 0 > 0 such that a( ) = + o( 1+ 0 ) . Therefore lim →0 f ( )∕ 1+ 0 = 0 where f ( ) is given by a( ) = + f ( ) . Therefore for any > 0 , there exists a > 0 such that for all 0 < < , we have |f ( )| < 1+ 0 . Choosing = 1 , we have Evaluating the integrals, we find Since this holds for all 0 < < , we have Foundations of Physics (2020) 50:385-428 Remark The past boundary − M acts as a Cauchy horizon for the Milne-like spacetime. As such the white region beyond − M cannot be uniquely determined.

Milne-Like Spacetimes Without Curvature Singularities
The scalar curvature for a k = −1 FLRW spacetime is given by  Proof Let ∶ (0, b] → M be any past-inextendible timelike curve parameterized by (we can parameterize by since it's a time function). Since is past inextendible and timelike, Fig. 12 shows that there exists a point p ∈ − M such that More rigorously, the point p can be determined by writing out in the = (t, r, , ) coordinate system.
The existence of these limits follows from being past-inextendible and timelike. Since any curvature invariant is constructed out of first and second derivatives of the metric coefficients (i.e. the first and second derivatives of Ω in this case), Lemma 3.5 implies any curvature invariant has a finite-value quantity at p. Thus there are no past curvature singularities for (M, g). ◻

A Rigidity Result
In this section we will establish the following rigidity result. Before proving Theorem 3.7, we recall the definitions of the weak and strong energy conditions. Definition 3.8 Fix k ≥ 2 and let (M, g) be a C k spacetime. The Einstein tensor is G = R − 1 2 Rg . We say (M, g) satisfies -the weak energy condition if G X X ≥ 0 for all timelike X.
-the strong energy condition if R X X ≥ 0 for all timelike X.
Let (M, g) be an FLRW spacetime. Following [28], we define the energy density and pressure function p in terms of the Einstein tensor. If u = ∕ and e is any unit spacelike vector orthogonal to u (its choice does not matter by isotropy), then We make use of the following proposition. See also Eqs. (9.2.19) and (9.2.20) in [40]. The weak energy condition implies ≥ 0 . Therefore a � ( ) ≥ 1 for all by Eq. (3.18). The strong energy condition implies + 3p ≥ 0 . Therefore a �� ( ) ≤ 0 for all by Eq. (3.19). Hence a ′ is decreasing. Since a � (0) ∶= lim →0 a � ( ) = 1 , we have a � ( ) ≤ 1 for all . Therefore a � ( ) = 1 identically, and so a( ) = for all . Thus (M, g) is the Milne universe. ◻

The Geometric Solution to the Horizon Problem
Our definition for an inflationary FLRW spacetime was one whose scale factor satisfies a( ) = + o( 1+ ) for some > 0 . Our motivation is that these spacetimes solve the horizon problem, and this is true for k = +1 , 0, or −1 . However, what's unique about Milne-like spacetimes is that they extend into a larger spacetime because the big bang is just a coordinate singularity. This offers a new geometrical picture of how Milne-like spacetimes solve the horizon problem as we discuss below. We briefly recall the horizon problem in cosmology. It is the main motivating reason for inflationary theory [42]. The problem comes from the uniform temperature of the CMB radiation. From any direction in the sky, we observe the CMB temperature as 2.7 K. The uniformity of this temperature is puzzling: if we assume the universe exists in a radiation dominated era all the way down to the big bang (i.e. no inflation), then the points p and q on the surface of last scattering don't have intersecting past lightcones. So how can the CMB temperature be so uniform if p and q were never in causal contact in the past? (Fig. 13) By using conformal time ̃ given by d̃= d ∕a( ) , it is an elementary exercise to show that there is no horizon problem provided the particle horizon at the moment of last scattering is infinite: This condition widens the past lightcones of p and q so that they intersect before = 0 . See Fig. 14.   Proof From the definition of an inflationary spacetime, we have Therefore for any > 0 there exists a > 0 such that |a( )∕ − 1| < for all 0 < < . Hence 1∕a( ) > 1∕(1 + ) for all 0 < < . Then the particle horizon at the moment of last scattering is Thus the particle horizon is infinite. ◻ For Milne-like spacetimes, the origin O plays a unique role. The lightcones of any two points must intersect above O . This follows from the metric being conformal to Minkowski space, g = Ω 2 ( ) . As such the lightcones are given by 45° angles; see Fig. 15 which clarifies the situation depicted in Fig. 14.
Also we observe that the comoving observers all emanate from the origin O . Indeed a comoving observer ( ) is specified by a point (R 0 , 0 , 0 ) on the hyperboloid.
In the (t, r, , ) coordinates introduced in Eq. (3.11), the comoving observer is given by   Thus the relationship between t and r for is t = coth(R 0 )r . Therefore for any comoving observer, we have t = Cr for some C > 1 . Thus the comoving observers emanate from the origin.

The Cosmological Constant Appears as an Initial Condition
In this section we show how the cosmological constant Λ can appear as an initial condition for Milne-like spacetimes. This may help explain the origin of Λ . If dark energy is really modeled by a cosmological constant and not by some other model (e.g. quintessence), then Λ would have been fixed at the big bang.
Another interesting result in this direction is [1]. In their paper the authors show how the cosmological constant may arise from a topological quantity via Chern-Simons invariants. The authors make use of exotic 4-manifolds admitting hyperbolic geometry which are ultimately expressed as hyperbolic FLRW spacetimes.
Fix k ≥ 2 . For this section let (M, g) denote a C k Milne-like spacetime. Consider the Einstein equations with a cosmological constant Let u = ∕ denote the four-velocity of the comoving observers and let e be any unit spacelike orthogonal vector (its choice does not matter by isotropy). We define the normal energy density normal ( ) and normal pressure function p normal ( ) in terms of the energy-momentum tensor Then the energy density and pressure function p in terms of normal and p normal are given by If normal = p normal = 0 (e.g. de Sitter), then the equation of state for the cosmological constant is fixed for all .
We show that this equation of state appears as an initial condition. For the following theorem, we define (0) ∶= lim →0 ( ) . Likewise with p(0) and normal (0) and p normal (0).

Theorem 4.2 Suppose the scale factor satisfies a �� ( ) = + o( ) . Then
We prove Theorem 4.2 at the end of this section. First we understand its implications. If the cosmological constant Λ is the dominant energy source during the Planck era, then we have the following connection between Λ and the initial condition of the scale factor. Now we examine how an inflaton scalar field behaves in the limit → 0 . We will demonstrate that slow-roll inflation follows if the initial condition for the potential is given by the cosmological constant: V| =0 = Λ∕8 . Recall the energymomentum tensor for a scalar field is And its energy density and pressure function are The following proposition shows that when the initial condition for V is determined by the cosmological constant, then one obtains a slow-roll era.

Lorentz Invariance
In this section we show that the isometry group for Milne-like spacetimes contains the Lorentz group. Since Lorentz invariance plays a pivotal role in QFT (e.g. the field operators are constructed out of finite dimensional irreducible represenations of the Lorentz group [38,41]), Milne-like spacetimes are a good background model if one wants to develop a quantum theory of cosmology.
Remark In this section Λ will always denote an element of the Lorentz group (i.e. a Lorentz transformation) and not the cosmological constant. Let be the Minkowski metric. The Lorentz group is A Lorentz transformation Λ shifts elements in Minkowski space via x ↦ Λ x , but it leaves the hyperboloids fixed. More generally this applies to any Milne-like spacetime by the same map (Fig. 17).
For a Milne-like spacetime, we have g = Ω 2 ( ) where is the usual Minkowski metric. Since a Lorentz transformation leaves hyperboloids invariant, we have (4.15)

Proofs of Theorems 4.5 and 4.6
Let Λ be an element of L ↑ . It produces a unique map, x, y, z) are the conformal Minkowski coordinates introduced in the proof of Theorem 3.4. Since (M, g) is only defined for t > 0 , we must restrict to Lorentz transformations Λ ∈ L ↑ . Consider a point p ∈ M and a tangent vector X = X at p. Then Λ acts on X by dΛ(X) = Λ X and sending it to the point Λp ∈ M . Since Ω( •p) = Ω( •Λp) , we have Thus Λ is an isometry. Now consider p ∈ − M . Then Λp ∈ − M and we have Ω| p = Ω| Λp = Ω(0) . Therefore the calculation above carries through in this case as well. This proves Theorem 4.5. Now we prove Theorem 4.6. By Theorem 4.5 we have L ↑ is a subgroup, so it suffices to show it's the whole group. Suppose f is an isometry on M ∪ − M . The differential map df O is a linear isometry on the tangent space at O . Therefore df O corresponds to an element of the Lorentz group, say Λ . It operates on vectors X at O via df (X) = Λ X . Now we define the isometry f by f (x) = Λ x . Consider the set Note that if df p = df p , then f (p) =f (p) . Hence it suffices to show A = M ∪ − M . A is nonempty since O ∈ A , and A is closed because df − df is continuous. So since M ∪ − M is connected, it suffices to show A is open in the subspace topology. Let p ∈ A . Since Ω is C 2 , there is a normal neighborhood U about p. If q ∈ U , there is a vector X at p such that exp p (X) = q . Since isometries map geodesics to geodesics, they satisfy the property f • exp p = exp f (p) • df p for all points in U (see p. 91 of [28]). Therefore Thus f (q) =f (q) for all q ∈ U ; hence df q = df q for all q ∈ U . Therefore A is open. ◻

A Possible Dark Matter Particle?
The symmetries in quantum theory can be characterized by local symmetries and global spacetime symmetries. Local symmetries correspond to the gauge symmetry group SU(3) × SU(2) × U(1) of the standard model. In gauge theory the Lagrangian is invariant under positiondependent gauge transformations; hence the world 'local.' Local gauge invariance necessitates the existence of gauge fields in the Lagrangian which are then checked experimentally. The SU(3) part describes the strong interaction of quantum chromodynamics. The SU(2) × U(1) part describes the electroweak interaction.
Global spacetime symmetries are the symmetries of the underlying spacetime manifold. Since the standard model is modeled on Minkowski space, the global spacetime symmetry group is the Poincaré group which are the isometries in Minkowski space. Wigner's classification [43] of the irreducible unitary representations of the Poincaré group described the spin properties of elementary particles which is considered a huge success in mathematical quantum field theory.
If one wants to build a quantum theory on a cosmological background, then Milne-like spacetimes are a preferred model since they are Lorentz invariant. Wigner's success in the classification of the Poincaré group motivates us to seek the irreducible unitary representations of the Lorentz group. Similar to Wigner's analysis, we desire all projective unitary representations to lift to unitary representations. Therefore we really seek the irreducible unitary representations of SL(2, ℂ) which is the simply connected double cover of L ↑ + .

Classification of the Irreducible Unitary Representations of SL(2, ℂ)
This classification comes from Theorem 10.9 in [38]. There are two classes of irreducible unitary representations of SL(2, ℂ) . The first class is the principal series. These particles are characterized by the parameter = −iw where w is real and spin j = 0, 1∕2, 1, … The second class is the complementary series. These particles are characterized by the parameter −1 ≤ ≤ 1 and spin j = 0 . The terminology 'principal' and 'complementary' comes from the classification of irreducible unitary representations of semi-simple Lie groups [37].
Foundations of Physics (2020) 50:  Given that the comoving observers in a Milne-like spacetime all emanate from the origin O (see Fig. 16), a possible physical interpretation of this classification would be that these are the particles created at the big bang. Then the principal series would correspond to the particles which make up the standard model (in analogy to Wigner's classification of the Poincaré group), but this leaves the complementary series up to interpretation. Perhaps But is there any evidence that dark matter is comprised of spin 0 particles? Yes. Scalar field dark matter (SFDM) [17,18,26,36] also known as Bose-Einstein condensate (BEC) dark matter [22,27,[32][33][34]39] also known as wave dark matter (WDM) [7,8,15,29] also known as fuzzy dark matter (FDM) [20,21] all use the Klein-Gordon equation (i.e. the wave equation for spin 0 particles) to model dark matter. The difference in name comes from a difference in motivation. One reason for introducing models of dark matter based on the Klein-Gordon equation is to alleviate the cusp problem associated with the weakly interacting massive particle (WIMP) models of dark matter [23]. Furthermore, the models based on the Klein-Gordon equation reproduce the observed spiral pattern density in disk galaxies (see Figs. 1-4 in [8]) which makes these models promising.
The parameters and j in the classification of SL(2, ℂ) are determined by Casimir operators built out of rotations and Lorentz boosts (see Eq. 10.3-1 in [38]). The spin complementary series = dark matter particles?  [38] for the full details.
What's interesting is that the parameter takes on very different forms for the principal series and the complementary series. It would be interesting if there is any new physics here. If the identification "principal series = normal matter" and "complementary series = dark matter" is true, then the distinguishing feature could be related to this parameter . Perhaps this could offer an explanation for dark matter's lack of interaction with electromagnetism.  [35], perhaps the universe's missing antimatter is contained in the PT symmetric universe.

Remark
The antimatter universe in Fig. 18 was speculated by assuming L ↓ acts by isometries. Similarly one can speculate what lies in the white region between the universe and antimatter universe. If the Lorentz group acts by isometries, then the white region will be foliated by three-dimensional de-Sitter spacetimes.

How Can we Interpret the PT Symmetric Universe as an Antimatter Universe?
Consider an experimentalist. If the universe is modeled by a Milne-like spacetime, then the experimentalist will use coordinates that coincide with the comoving observers (except for a small correction due to the Milky Way's velocity relative to the CMB). Therefore the experimentalist will build rods and clocks which measure distances and times with respect to the metric With these coordinates, the experimentalist will measure an energy p 0 and momentum p i of a particle with mass m such that −g p p = −Ω 2 ( ) p p = m 2 . Assuming the de Broglie relations p → i for a spin 0 field yields a Lorentz In the Weyl representation, the matrices are where j are the usual Pauli spin matrices.    Fig. 18 The figure on the left represents the universe/antimatter universe pair in [6]. The metric is degenerate at ̃= 0 , so the pair together do not form a spacetime. The figure on the right represents the universe/antimatter universe pair for a Milne-like spacetime. In this case the pair coexist in a single nondegenerate spacetime. The arrows in the middle represent the arrow of time determined by increasing entropy. The idea of a universe with an arrow of time opposite of ours is not new. For example see Fig. 9 in [9] Choose a single comoving observer in the PT extension. Pick coordinates (t, x, y, z) so that they are aligned with this comoving observer (this can always be done by a Lorentz transformation at O ). Then x = y = z = 0 along the observer's path. From Eq. (3.11), the relationship between and t is b( ) = t . Therefore t = b � ( ) . Hence = Ω( ) t , and so Eq.    interpretation Given the interpretation, perhaps the big bang at O produced equal amounts of matter and antimatter. The matter, represented by , traveled into our universe I + (O) while the antimatter, represented by PT , traveled into the antimatter universe I − (O) . The antimatter that we observe in our universe comes in the form PT * while the anti-antimatter the anti-experimentalists observe comes in the form * .

Remark
The Lorentz invariance of the Dirac equation described in this section can be carried over to Lagrangians in QFT by appropriately including factors of Ω.

Appendix 1: A Brief Account of Cosmological Singularity Theorems
In this appendix we give a brief account of some of the singularity theorems used in cosmology. The purpose of this appendix is to demonstrate that the singularity theorems don't always apply to inflationary spacetimes. Indeed Milne-like spacetimes can almost always be used as counterexamples. The first step in developing a cosmological theory is to assume the Copernican principle. This assumption is supported by the highly uniform CMB radiation. The Copernican principle implies that the spacetimes (M, g) which model cosmology are given by M = I × Σ and g = −d 2 + a 2 ( )h where I ⊂ ℝ is an interval and (Σ, h) are spaces of constant sectional curvature (i.e. maximally symmetric spaces). These are called FLRW spacetimes. Let 0 = inf I . If one assumes the universe is in a radiation-dominated era for all 0 < < 1 given some 1 , then one finds a( ) → 0 as → 0 and 0 > −∞ . In this case we say 0 is the big bang. By shifting the coordinate, we can assume 0 = 0 . Moreover the scalar curvature diverges as → 0 , so = 0 admits a curvature singularity. These arguments generalize if one replaces the assumption that the universe is in a radiation-dominated era with the assumption that the universe is nonvacuum and obeys the strong energy condition.
The singularity theorems of Hawking and Penrose [19] demonstrated that singularities (in the sense of timelike or null geodesic incompleteness) are a generic feature of physically relevant spacetimes. These theorems don't assume any symmetry conditions on the spacetime manifold, but they do assume the strong energy condition. Hawking's cosmological singularity theorems (see Theorems 55A and 55B in [28]) both assume the strong energy condition.
There is a problem with the strong energy condition assumption in the singularity theorems. Assuming this condition in our universe, one finds that the particle horizon is finite. This implies that there are parts of the CMB that never achieved causal contact in the past. But if this is true, then how could the CMB have such a perfectly uniform temperature? This became known as the horizon problem in cosmology [42].
A resolution to the horizon problem is to assume that the universe underwent a brief period of accelerated expansion, a �� ( ) > 0 , immediately after the big bang and right before the radiation-dominated era. This would allow for causal contact between the different points on the CMB. This theory became known as inflationary theory and was first put forth by Alan Guth [16]. It also solved the flatness problem of cosmology and the magnetic monopole problem of certain grand unified theories [42].
Assuming an inflationary era, a �� ( ) > 0 , then Friedmann's equation implies + 3p < 0 . Hence inflationary models do not satisfy the strong energy condition. Therefore the singularity theorems above no longer apply. New singularity theorems were sought that did not require the strong energy condition. This was done by Borde and Vilenkin [2,3] and others [14,24]. Borde and Vilenkin found that some models of inflationary theory also violate the weak energy condition [4]. Then Guth, Borde, and Vilenkin produced a singularity theorem [5], which showed that, even if the weak energy condition is violated, then one has past incompleteness. However their theorem only applies to inflating regions of a spacetime. For example, their theorem applies to the Milne universe (because their theorem only requires an averaged Hubble expansion condition), but the Milne universe isometrically embeds into Minkowski space which is geodesically complete. See Fig. 19.
Note that the geodesic displayed in Fig. 19 is not a geodesic of a comoving observer. All the comoving observers emanate from the origin O (see Fig. 5). Section 4.1 gives a derivation of this result.

Appendix 2: Miscellaneous Proofs
Proof of Proposition 2.2 For 0 < < 1 , we define the narrow and wide Minkowski metrics Lemma B.2 Fix k ≥ 0 . Let (M, g) be a C k spacetime. Fix p ∈ M . For any 0 < < 1 there is a coordinate system ∶ U → ℝ n+1 with the following properties

Fig. 19
The singularity theorem in [5] applies to the Milne universe. However any incomplete geodesic extends to a complete geodesic within Minkowski space Moreover if ∶ [a, b] → M is a unit timelike curve with (b) = p , then we can choose the coordinate system so that • (t) = (t − b, 0, … , 0). Proof Pick a coordinate system ∶ U → ℝ n+1 with (p) = 0 and apply Gram-Schmidt to obtain (2). By continuity of the metric, given any ′ > 0 , we can shrink our neighborhood so that |g (x) − | < � . Let X = X be a unit tangent vector (i.e. |X 0 | = 1 ). Then If X is -timelike, then |X i | 2 ∕|X 0 | 2 < (1 − )∕(1 + ) . Since |X 0 | = 1 , we have By taking ′ > 0 small enough, we can ensure 2 ∕(1 + ) is larger than the bracket term. This proves the first inclusion in (3). The proof of the second is analogous. Now let ∶ [a, b] → M be a unit timelike curve with (b) = p . Let (y 0 , y 1 , … , y n ) be the coordinates on U (i.e. y = • where ∶ ℝ n → ℝ are the canonical projections). Since g (p) = , we can shrink U so that y 0 is a time function (i.e. ∇y 0 is past-directed timelike). Since the definition of a timelike curve requires lim t↗b � (t) to be future-directed timelike, the function (y 0 • ) � (t) approaches a nonzero number as t ↗ b . Therefore the inverse function theorem guarantees an interval (b − , b + ) around b and a diffeomorphism f ∶ (b − , b + ) → (− � , � ) such that f = y 0 • on (b − , b] . Let U ′ ⊂ U be the preimage of (− � , ) under y 0 . We define new coordinates (x 0 , x 1 , … , x n ) on U ′ by With these coordinates we have (Fig. 20) ◻ Proof of Proposition 2.2 Fix q ∈ I + (p, U) and let ∶ [a, b] → U be a timelike curve with (a) = p and (b) = q . By rescaling we can assume is a unit timelike curve. Let ∶ U → ℝ n+1 be a coordinate system from Lemma B.2 centered around g(X, X) < (X, X) |X i X j | g(X, X) < (X, X) − 2 1 + + � 1 + 2n x 0 (q) = y 0 (q) and x i (q) = y i (q) − y i •f −1 •y 0 (q) .
q. Choose = 3∕5 so that has lightcones with slope 2. Choose t < b such that (t) ∈ U . Then I + (t), U ∩ U is an open set since it's just the interior of a cone intersected with an open set. Moreover, it's contained in I + (t), U ∩ U which is contained in I + (p, U) . ◻

Proof of Lemma 3.5
Fix k ≥ 2 . Let (M, g) be a C k Milne-like spacetime with a scale factor whose second derivative satisfies a �� ( ) = +

Proof of Proposition 3.9
Fix k ≥ 2 . Let (M, g) be a C k spacetime. Recall the Einstein tensor is G = R − 1 2 Rg . We say (M, g) satisfies the weak energy condition if G X X ≥ 0 for all timelike X, and the strong energy condition if R X X ≥ 0 for all timelike X.
Let (M, g) be an FLRW spacetime. Following [28] and [40], we define the energy density and pressure function p in terms of the Einstein tensor. If u = ∕ and e is any unit spacelike vector orthogonal to u, then Also, as a consequence of isotropy, we have R u e = 0 (see Corollary 12.10 of [28]). Therefore The following proof shows (a) The weak energy condition is equivalent to ≥ 0 and + p ≥ 0. (b) The strong energy condition is equivalent to + p ≥ 0 and + 3p ≥ 0. Since this is true for all > 0 , we have + P ≥ 0 . Conversely, suppose ≥ 0 and + p ≥ 0 . Let X be any timelike vector. Decompose X = au + be where e is a unit spacelike vector orthogonal to u. Then by Eqs. (B.71) and (B.72), we have 1 8 G X X = a 2 + b 2 p . We have two cases: (1) p ≥ 0 and (2) p < 0 . In the first case we have G X X = a 2 + b 2 p ≥ 0 . The inequality follows from ≥ 0 . Thus the weak energy condition holds. Now consider the case p < 0 . Then, since + p ≥ 0 , we have The last inequality follows because p < 0 and X is timelike. Since > 0 was arbitrary, we have + p ≥ 0 . Conversely, suppose + p ≥ 0 and + 3p ≥ 0 . Let X be any timelike vector. Decompose X = au + be . Then we have 1 8 G X X = a 2 + b 2 p . Using this in our expression for R , we have There are two cases to consider: (1) − p > 0 and (2) − p ≤ 0 . In case (1), we immediately have R X X ≥ 0 . Now consider case (2). Since X is timelike, we have −a 2 + b 2 < 0 . Therefore it suffices to show ( − p)∕( + 3p) < 1 . Hence it suffices to show p > 0 . Indeed + p ≥ 0 and − p ≤ 0 together imply p ≥ 0. ◻ 0 ≤ 1 8 G X X = (1 + ) 2 + p.