Non-smooth spacetime geometry

General Relativity (GR), Einsteins theory of space, time and matter describes gravity via spacetime curvature: Every form of mass or energy curves the surrounding spacetime and this curvature in turn governs the motion of particles through spacetime. GR continues to be a spectacular success also in the 21st century. Indeed, around the time of its centenary in 2015, one of its mayor predictions, the existence of gravitational waves, has been directly confirmed. On the other hand, GR, over the decades, has also exerted a strong influence on various fields of mathematics with many cross-fertilizations leading to milestone results as e.g. the singularity theorems of Penrose and Hawking. These results predict, under physically reasonable conditions, the occurrence of spacetime singularities such as black holes. One of the problems on this interface between physics and mathematics concerns the very language in which GR is formulated: Lorentzian geometry (LG) is the mathematical theory that describes curved geometries, which are the stage for GR. Its central object is the metric, which describes how lengths and angles are measured at different points in spacetime. Traditionally, LG has been formulated for smooth metrics only, that is, for metrics that vary continuously when one travels from point to point in spacetime. On the other hand, physically realistic models of e.g. stars, demand that the mass density jumps at their surface. This however, via the fundamental principles of GR, forces the metric to vary abruptly as well and hence to be non-smooth. This fundamental issue has of course been well-known for a long time, but has only rarely been addressed in the literature. This has dramatically changed roughly a decade ago when researchers in Mathematical Relativity started to systematically investigate non-smooth metrics. Since then a growing number of woks has appeared and turned the study of non-smooth metrics into a thriving line of research, with the project team playing a key role. In a previous project we have, on the one hand, proved the classical singularity theorems of Penrose and Hawking for (certain) non-smooth metrics. On the other hand, we have put forward a new approach to LG which is based on methods of synthetic geometry, where e.g. curvature is measured by how much the sum of angles in triangles deviates from the flat case (180 degrees). In this new project we aim at enhancing and generalizing the methods developed previously proving advanced singularity theorems, especially where the energy might become negative locally. The latter provides an interface to the (yet unfinished) quantum theory of gravity where energies are expected to fluctuate and to become negative. Also we want to turn the new synthetic approach to LG, the so-called Lorentzian length spaces into a mature theory. In short, we will develop a synthesis of analytic and synthetic methods to significantly push the understanding of non-smooth spacetime geometries.