Geodesic Completeness in General Cosmological Scenarios

This paper generalizes the Borde-Guth-Vilenkin theorem to demonstrate that geodesic past-incompleteness is a generic feature of various cosmological scenarios beyond standard inflation, including inhomogeneous and cyclic models such as the one proposed by Ijjas and Steinhardt.

The Gist

The Big Question: Did the Universe Have a Beginning?

Imagine you are driving a car. You look at your speedometer and see that you are moving forward. If you keep driving forward, you can ask: "How far back can I trace my path?"

In cosmology, scientists have long debated whether the universe has always existed (an eternal loop) or if it had a specific starting point (a "Big Bang"). For a long time, the theory of Inflation (a period of super-fast expansion right after the Big Bang) seemed to suggest the universe might be eternal. It looked like a car driving forever into the past without ever hitting a wall.

However, a famous rule called the Borde-Guth-Vilenkin (BGV) Theorem says: "If the universe is, on average, expanding, you cannot drive forever into the past. You must have hit a wall (a beginning) at some point."

This paper by William Kinney asks: Does this rule still hold true for more complicated, weird universes? Specifically, does it apply to "Cyclic" universes (ones that expand and contract forever) and "Loitering" universes (ones that pause before expanding)?

The Core Concept: "Geodesic Completeness"

To understand the paper, we need to understand a fancy term: Geodesic Completeness.

• The Analogy: Imagine a train track.
  • Geodesically Complete: The track stretches infinitely in both directions. You can ride the train forever into the past and forever into the future without the track ever ending.
  • Geodesically Incomplete: The track has a cliff at the end. If you ride the train far enough into the past, you eventually fall off the edge. The track must have a beginning.

Kinney's paper is about proving that for almost any realistic universe, the track has a cliff at the beginning.

1. The "Loitering" Loophole (The Universe That Hesitates)

Some scientists proposed a "Loitering" universe. Imagine a car that drives forward, but before it really speeds up, it slows down to a crawl and hovers for a very long time (approaching a standstill) before zooming off.

• The Trick: Because the car hovered so long, the average speed over a long time might look like zero. If the average speed is zero, the BGV rule (which requires a positive average expansion) shouldn't apply, right?
• Kinney's Verdict: He says, "Not so fast."
  • He explains that while the car hovered, it was behaving like empty space (Minkowski space).
  • However, if you try to build a "bounding box" around this universe to test it, you find that to make it hover like that, you have to break the laws of physics (specifically, you need "negative pressure" that violates the Null Energy Condition).
  • The Takeaway: If you follow the standard rules of physics, a universe that "loiters" to avoid a beginning is impossible. The track still ends.

2. The "Cyclic" Loophole (The Universe That Bounces)

This is the main focus of the paper. Some models (like the Ijjas-Steinhardt model) suggest the universe doesn't just expand; it expands, shrinks, bounces, and expands again forever. It's like a giant rubber ball bouncing on the floor.

• The Problem: Every time the ball bounces, it creates "mess" (entropy). Over infinite bounces, the mess would pile up until the ball couldn't bounce anymore.
• The Proposed Solution: The Ijjas-Steinhardt model suggests that between bounces, the universe expands so much that it washes away all the mess, resetting the clock.
• Kinney's Verdict: He uses the BGV theorem to show that even this "resetting" mechanism fails.
  • He imagines the universe's expansion rate as a wave. Even if the wave goes up and down (expansion and contraction), if the average height of the wave is positive (meaning the universe gets bigger overall over time), the math proves the track is finite.
  • He constructs a "bounding" universe (a simple, smooth exponential expansion) that is faster than the cyclic one.
  • The Result: If the simple, smooth universe has a beginning (which we know it does), then the complex, bouncing cyclic universe must also have a beginning. You can't hide the cliff behind a bouncing ball.

3. The General Rule (The Universal Truth)

In the final section, Kinney generalizes the math. He moves away from simple, smooth universes (FRW models) to messy, lumpy, irregular universes.

• The Analogy: Imagine a crowd of people walking in a room.
  • If the crowd is generally spreading out (expanding), no matter how chaotic their individual movements are, if you trace their paths backward, they all converge to a single point in the past.
  • Kinney proves mathematically that as long as the "average expansion" is positive, no matter how weird the shape of the universe is, the paths of time (geodesics) cannot go back forever. They must hit a boundary.

The Bottom Line

William Kinney's paper is a "reality check" for cosmology.

1. The BGV Theorem is robust: It's not just a rule for simple, smooth universes. It applies to messy, lumpy, and even cyclic universes.
2. No easy escapes: You can't avoid a beginning by making the universe "hover" (loiter) or by making it "bounce" (cyclic) and wash away the entropy.
3. The Conclusion: If our universe is expanding on average (which it is), and if it follows the standard laws of physics, it must have had a beginning. The track of time has a cliff at the start, and we cannot drive infinitely into the past.

In short: The universe might be weird, it might bounce, and it might be messy, but it almost certainly had a "Day One."

Technical Summary

1. Problem Statement

The central problem addressed is the geodesic past-incompleteness of inflationary spacetimes, as established by the Borde-Guth-Vilenkin (BGV) theorem. The theorem states that any spacetime with a positive average expansion rate ($H_{av} > 0$) must be geodesically incomplete in the past, implying a boundary or singularity.

However, the applicability of the BGV theorem has been questioned in specific scenarios:

• De Sitter Space: While standard de Sitter space ($a(t) \propto e^{Ht}$) appears to extend infinitely into the past in coordinate time, the theorem asserts it is incomplete for non-comoving geodesics.
• "Loitering" Models: Some models (e.g., emergent universe scenarios) approach Minkowski space asymptotically in the past ($a \to \text{const}$ as $t \to -\infty$). These appear geodesically complete despite being monotonically expanding, seemingly acting as counterexamples to the BGV theorem.
• Cyclic Models: Models like the Ijjas-Steinhardt (IS) cyclic universe propose a mechanism to dilute entropy between cycles, potentially allowing for an eternal past without a singularity. The paper investigates whether these models truly evade the BGV constraints.

The core challenge is to rigorously define the conditions under which the BGV theorem holds for general spacetimes (beyond simple FRW symmetry) and to determine if specific cyclic or emergent models genuinely avoid a past boundary.

2. Methodology

Kinney employs a combination of analytical integration, geometric bounding, and general relativity formalism to extend the BGV theorem.

• Analysis of FRW Spacetimes:

  • The author re-evaluates the integral of the expansion rate $H$ along geodesic world lines.
  • For comoving geodesics, the integral $\int H dt$ depends only on the boundary values of the scale factor ($\ln a_f - \ln a_i$).
  • For non-comoving (timelike) geodesics, the author derives the relationship between proper time $ds$ and coordinate time $dt$ using the Lorentz boost factor $\gamma$. The integral $\int H ds$ is shown to be finite even if the coordinate time interval is infinite, provided the expansion history allows for a bounding de Sitter space.
  • The "Loitering" Case: The paper analyzes models where $a(t) \to a_i$ as $t \to -\infty$. It demonstrates that while the integral of $H$ is finite, the average expansion rate $H_{av}$ over an infinite interval vanishes ($H_{av} \to 0$). Thus, the BGV theorem (which requires $H_{av} > 0$) does not apply to these specific asymptotic Minkowski-like cases.

• Construction of Bounding Spaces:

  • The methodology involves constructing a "bounding" de Sitter space that dominates the target spacetime's expansion history. If the bounding space is geodesically incomplete, the target space is also incomplete.
  • This relies on the Null Energy Condition (NEC). The paper argues that for the theorem to hold rigorously, the NEC ($p \geq -\rho$) must be satisfied, ensuring $\dot{H} \leq 0$ in standard expansion phases.

• Generalization to Arbitrary Spacetimes:

  • Moving beyond FRW symmetry, the author uses the Raychaudhuri equation formalism.
  • The expansion rate is generalized to the divergence of the four-velocity congruence, $\Theta \equiv u^\mu_{;\mu}$.
  • Using the extrinsic curvature $K_{\mu\nu}$ and the spatial projection tensor $\lambda_{\mu\nu}$, the author relates $\Theta$ to the Lie derivative of the induced spatial metric.
  • The derivation distinguishes between timelike and null geodesics, defining a generalized Lorentz factor $\gamma$ (or contraction for null vectors) and integrating the expansion rate with respect to the affine parameter.

3. Key Contributions

1. Refinement of the BGV Theorem Conditions:
   The paper clarifies that the BGV theorem strictly applies only when the average expansion rate $H_{av}$ is strictly positive over the interval. It explicitly identifies that "loitering" models evade the theorem because their average expansion rate vanishes as $t \to -\infty$, effectively mimicking Minkowski space.

2. Proof of Incompleteness in the Ijjas-Steinhardt Cyclic Model:
   A major contribution is the specific application of the theorem to the Ijjas-Steinhardt (IS) cyclic model.

   • The IS model features periodic Hubble parameters but exponential growth of the scale factor between cycles ($a(t+T) = e^N a(t)$) to dilute entropy.
   • Kinney demonstrates that despite the periodicity of $H(t)$, the condition for entropy dissipation ($N_+ + N_- > 0$) implies a positive mean expansion rate over a cycle.
   • By constructing bounding de Sitter solutions that envelope the IS scale factor, the author proves that the proper time along any past-directed geodesic is finite.
   • Result: The Ijjas-Steinhardt cyclic model is geodesically past-incomplete, contradicting claims that it offers a singularity-free eternal past.

3. Generalization to Non-FRW Spacetimes:
   The paper provides a rigorous mathematical extension of the BGV theorem to arbitrary spacetimes without assuming homogeneity or isotropy.

   • It defines the average expansion $\Theta_{av}$ in terms of the extrinsic curvature.
   • It derives the relationship $\Theta = \frac{3}{1-\gamma^2}\frac{d\gamma}{ds}$ (timelike) and $\Theta = -\frac{3}{\gamma^2}\frac{d\gamma}{d\alpha}$ (null).
   • It proves that if $\Theta_{av} \geq \Delta > 0$, the affine length of the geodesic is bounded, ensuring incompleteness.

4. Results

• FRW Analysis: For any FRW spacetime with $H_{av} > 0$, the proper time to the past is finite. The "loitering" universe is the only exception, but it requires $H_{av} \to 0$, which implies a specific asymptotic behavior (approaching Minkowski) that violates the strict "expanding" condition of the standard BGV theorem.
• Cyclic Model: The Ijjas-Steinhardt model, despite its complex oscillating dynamics, possesses a net positive expansion over each cycle. Consequently, it is bounded by a de Sitter space and is geodesically incomplete. The entropy dilution mechanism necessitates a past boundary.
• General Theorem: The generalized theorem confirms that any spacetime with a geodesic congruence having a positive average expansion rate (and satisfying the NEC) is past-incomplete. The proof holds for both timelike and null geodesics in arbitrary geometries.

5. Significance

• Resolution of Cyclic Model Debates: The paper settles a significant debate in cosmology regarding the viability of cyclic universes as alternatives to the Big Bang singularity. It demonstrates that the specific mechanism proposed by Ijjas and Steinhardt to solve the entropy problem inherently reintroduces a past boundary (singularity or pre-inflationary phase).
• Robustness of the BGV Theorem: The work reinforces the robustness of the BGV theorem, showing that it is not easily evaded by complex expansion histories or cyclic behaviors, provided the Null Energy Condition holds and there is net expansion.
• Theoretical Framework: By generalizing the theorem to non-FRW spacetimes using extrinsic curvature and Lie derivatives, the paper provides a powerful tool for analyzing geodesic completeness in inhomogeneous and anisotropic cosmological models, which are crucial for understanding the early universe and quantum gravity regimes.
• Implications for Quantum Gravity: Since the theorem suggests a past boundary for almost all expanding cosmologies, it implies that classical General Relativity breaks down at a finite proper time in the past, necessitating a quantum theory of gravity to describe the "beginning" or the pre-inflationary boundary.