The Hawking-Penrose singularity theorem: a self-contained review

In this work, the Hawking-Penrose singularity theorem is studied from the perspective of the problem of geodesic inextendibility in Lorentzian manifolds, a problem that provides a formal definition of the notion of space-time singularity in general relativity. First, geodesic curves were studied in...

Full description

Autores:
Ballén Méndez, Iván Camilo
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2024
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
eng
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/75951
Acceso en línea:
https://hdl.handle.net/1992/75951
Palabra clave:
Differential Geometry
Lorentzian Geometry
Jacobi Fields
Spacetime Singularities
Conjugate Points
Causal Structure
Matemáticas
Rights
openAccess
License
Attribution-NonCommercial-NoDerivatives 4.0 International
Description
Summary:In this work, the Hawking-Penrose singularity theorem is studied from the perspective of the problem of geodesic inextendibility in Lorentzian manifolds, a problem that provides a formal definition of the notion of space-time singularity in general relativity. First, geodesic curves were studied in the Riemannian sense as solutions to the curve length optimization problem, and it was shown that every geodesic ceases to be a solution to this optimization problem in finite parametrization. Subsequently, the previous result was extended to families of geodesics whose initial point lies on a Lorentzian submanifold and that share their final point. Finally, the causal structure of space-times and the topology of spaces of causal curves were studied to demonstrate that every co-spacelike geodesic whose initial point lies on a trapped surface halts in finite parametrization. That is, if the space-time satisfies certain geometric properties, this result guarantees the existence of singularities.