A simplified proof of a cosmological singularity theorem.

Area of Science:

• Cosmology
• General Relativity
• Differential Geometry

Background:

• A previous singularity theorem for cosmological models with a positive cosmological constant was established.
• The original proof relied on the positive resolution of the surface subgroup conjecture.

Purpose of the Study:

• To present a more streamlined and unified proof of the singularity theorem.
• To demonstrate the utility of the positive resolution of the virtual positive first Betti number conjecture.

Main Methods:

• Utilizing the positive resolution of the virtual positive first Betti number conjecture.
• Applying methods from differential geometry and topology to analyze spacetime structures.

Main Results:

• A simplified proof of the singularity theorem is provided.
• The theorem states that spacetimes with a compact, expanding Cauchy surface are past null geodesically incomplete unless the surface is spherical.
• Examples illustrating the theorem and its rigidity are analyzed.

Conclusions:

• The virtual positive first Betti number conjecture offers a more efficient approach to proving cosmological singularity theorems.
• The theorem's implications for understanding the completeness of null geodesics in cosmological spacetimes are significant.