Lorentzian geometry
E64599
Lorentzian geometry is the branch of differential geometry that studies manifolds equipped with metrics of Lorentzian signature, providing the mathematical framework for general relativity and spacetime physics.
Statements (58)
| Predicate | Object |
|---|---|
| instanceOf |
branch of differential geometry
→
mathematical theory → |
| appliesTo |
four-dimensional spacetime models
→
higher-dimensional spacetimes → |
| fieldOfStudy |
Lorentzian manifolds
→
pseudo-Riemannian manifolds of signature (−,+,+,+) → spacetime geometry → |
| generalizationOf | Riemannian geometry to Lorentzian signature → |
| hasKeyConcept |
Cauchy surface
→
Einstein metric → Hawking–Penrose singularity theorems → Killing vector field → Lorentzian distance function → Lorentzian isometry → Lorentzian length of curves → Lorentzian manifold → Lorentzian metric → Minkowski space-time →
surface form: "Minkowski space"
Penrose–Carter diagrams →
surface form: "Penrose diagram"
Raychaudhuri equation → Ricci curvature → anti-de Sitter space → causal future → causal geodesic completeness → causal hierarchy → causal structure → chronological future → conformal structure → curvature tensor → de Sitter spacetime →
surface form: "de Sitter space"
energy conditions → geodesic → global hyperbolicity → light cone → null geodesic → null vector → singularity theorems → spacelike hypersurface → spacelike vector → spacetime manifold → static spacetime → stationary spacetime → time orientation → time separation → timelike geodesic → timelike vector → |
| providesFrameworkFor |
Einstein field equations
→
mathematical formulation of spacetime → |
| relatedTo |
Lorentz group
→
Lorentzian manifold → |
| signatureType | one negative and remaining positive eigenvalues → |
| studies | manifolds with metrics of Lorentzian signature → |
| usedIn |
black hole physics
→
causal structure analysis → cosmology → general relativity → mathematical relativity → relativistic physics → |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.