Lorentzian manifold

Lorentzian manifold
Name	Lorentzian manifold
Type	Manifold with Lorentzian metric

Lorentzian manifold A Lorentzian manifold is a smooth manifold equipped with a nondegenerate, symmetric tensor of signature (-,+,+,...,+) defining a metric locally modelled on Minkowski space. It provides the mathematical setting for classical general relativity, underpinning models such as the Schwarzschild metric, Kerr metric, Friedmann–Lemaître–Robertson–Walker metric, and the causal structure exploited in theorems by Roger Penrose and Stephen Hawking. Developed through contributions by Hermann Minkowski, Bernhard Riemann, Albert Einstein, and later formalized by mathematicians like Marcel Berger and Hermann Weyl, it connects differential geometry with physical predictions about black holes, cosmology, and gravitational radiation studied by collaborations at institutions such as CERN and Max Planck Institute.

Definition and basic properties

A Lorentzian manifold is defined as a smooth differentiable manifold M endowed with a smooth symmetric 2-tensor g of signature (−,+,...,+), making (M,g) a pseudo-Riemannian structure akin to Minkowski space used in special relativity. Local charts relate to constructions by Riemann and coordinate systems like those in the Schwarzschild solution and Kruskal–Szekeres coordinates; global topological constraints can invoke results associated with Poincaré conjecture methods or techniques from Thurston and William Thurston. Metric compatibility and the unique torsion-free Levi-Civita connection follow classical theorems developed by Elie Cartan and formalized in texts influenced by Saunders Mac Lane and Shing-Tung Yau. Nondegeneracy distinguishes Lorentzian metrics from degenerate structures studied by André Lichnerowicz and John Milnor.

Causality and causal structure

Causal structure classifies tangent vectors as timelike, null, or spacelike, concepts foundational to Albert Einstein's formulation of relativity and elaborated in analyses by Kurt Gödel (Gödel metric) and Roger Penrose (conformal diagrams). Light cones and causal relations underpin discussions of chronology and causality used in proofs by Stephen Hawking and in the formalism of Cauchy problems and initial value formulations developed at institutions like Princeton University and Cambridge University. Global causal conditions—chronology, causality, strong causality, stable causality, and global hyperbolicity—are central in works by Hawking and Seifert and are applied in studies from Stanford University to Harvard University. Conformal boundaries and Penrose diagrams connect to research by Roger Penrose and computational efforts at NASA observatories modeling gravitational lensing.

Geodesics and curvature

Geodesics in a Lorentzian manifold are critical for predicting particle trajectories and light propagation; their behavior is governed by the Levi-Civita connection and the geodesic equation central to analyses by Carl Friedrich Gauss and Bernhard Riemann. Curvature tensors—Riemann, Ricci, and scalar curvature—enter Einstein’s field equations first formulated by Albert Einstein and refined by contributors such as David Hilbert and André Lichnerowicz. The Raychaudhuri equation, used by Amal Kumar Raychaudhuri and invoked in singularity theorems by Stephen Hawking and Roger Penrose, relates expansion, shear, and vorticity of congruences and underlies stability analyses conducted at research centers like Perimeter Institute and Kavli Institute. Techniques from index theory by Atiyah and Singer and comparison theorems influenced by Cheeger and Gromov translate to Lorentzian contexts in geometric analysis.

Examples and models

Canonical local model: Minkowski space (flat Lorentzian manifold). Important exact solutions: Schwarzschild metric describes spherically symmetric vacuum spacetimes linked to Karl Schwarzschild; Kerr metric models rotating black holes related to Roy Kerr; Reissner–Nordström metric adds charge studied in work by Hendrik Lorentz and Willem de Sitter; cosmological models include Friedmann–Lemaître–Robertson–Walker metric associated with Georges Lemaître and Alexander Friedmann, and de Sitter space/anti-de Sitter space linked to Willem de Sitter and applications in AdS/CFT correspondence research by Juan Maldacena. Exotic examples: Gödel metric (by Kurt Gödel), Taub–NUT spaces (studies by Abraham Taub), and plane wave spacetimes used in gravitational wave modelling by teams at LIGO and Virgo.

Global hyperbolicity and singularity theorems

Global hyperbolicity ensures well-posedness of the Cauchy problem; foundational results on Cauchy surfaces and domains of dependence are central in work by Friedrichs-style analysts and geometric relativists at departments like University of Cambridge and Princeton University. Singularity theorems by Roger Penrose and Stephen Hawking use energy conditions and trapped surfaces to demonstrate geodesic incompleteness in contexts such as gravitational collapse studied in Caltech and observational programs by Event Horizon Telescope. Extensions and alternatives addressing cosmic censorship conjectures involve researchers like Demetrios Christodoulou and institutions such as Institute for Advanced Study.

Applications in general relativity and physics

Lorentzian manifolds form the backbone of general relativity applied in astrophysics (black hole thermodynamics by Jacob Bekenstein and Stephen Hawking), cosmology (inflationary models by Alan Guth and Andrei Linde), and high-energy theory (string theory communities involving Edward Witten and Juan Maldacena). They underpin numerical relativity used by collaborations at LIGO Scientific Collaboration and Event Horizon Telescope to simulate mergers and shadows, and provide geometric frameworks for quantum field theory in curved spacetime developed by Robert Wald and groups at CERN and Perimeter Institute. Ongoing research connects Lorentzian geometry with topology, global analysis, and mathematical physics pursued in seminars at Institut des Hautes Études Scientifiques and conferences sponsored by International Centre for Theoretical Physics.

Category:Differential geometry