Searcharxiv⌕ Search

arXiv subjects

Roland Steinbauer

Publications and source records attributed to Roland Steinbauer.

At least 19 recordsLinked to original sources
arXiv2026

The Hawking Singularity Theorem for Hölder Continuous Metrics with $L^p$-Bounded Curvature

We prove a low-regularity version of Hawking's singularity theorem for Lorentzian metrics in $W^{1,p}$ with Riemann curvature in $L^p$, where $p>2n$ and $n$ the dimension of spacetime. This extends previous results beyond the Lipschitz regime. Under suitable lower Ricci bounds and upper mean curvature assumptions, expressed in terms of temporal functions, we establish both the globally hyperbolic version of Hawking's theorem, in the form of an upper bound on the time separation from a spacelike Cauchy hypersurface, and the version with a compact achronal spacelike hypersurface, yielding timelike RT-geodesic incompleteness. The proof combines regularisations, based on the elliptic RT-equations, to raise the regularity of the metric by one derivative, with a refinement of the previously used manifold convolution. We introduce a new smeared-out notion of mean curvature adapted to the low metric regularity before, and the $W^{2,p}$-hypersurfaces arising after regularisation. As further consequences, we show that $W^{1,p}$-Lorentzian metrics with $L^p$-bounded curvature are causally plain, and we prove a corresponding low-regularity version of Myers's theorem in the Riemannian setting.

gr-qc↗
arXiv2026

Rigidity aspects of a cosmological singularity theorem

Improving a singularity theorem in General Relativity by Galloway and Ling we show the following (cf.\ Theorem 1): If a globally hyperbolic spacetime $M$ satisfying the null energy condition contains a closed, spacelike Cauchy surface $(V,g,K)$ (with metric $g$ and extrinsic curvature $K$) which is 2-convex (meaning that the sum of the lowest two eigenvalues of $K$ is non-negative), then either $M$ is past null geodesically incomplete, or $V$ is a spherical space, or $V$ or some finite cover is a surface bundle over the circle, with totally geodesic fibers. Moreover, (cf.\ Theorem 2) if $(V,g,K)$ admits a $U(1)$ isometry group with corresponding Killing vector $ξ$, we can relax the convexity requirement in terms of a decomposition of $K$ with respect to the directions parallel and orthogonal to $ξ$. Finally, (cf. Propositions 1-3) in the special cases that $V$ is either non-orientable, or non-prime, or an orientable Haken manifold with vanishing second homology, we obtain stronger statements in both Theorems without passing to covers.

gr-qc↗
arXiv2026

Timelike conjugate points in Lorentzian length spaces

We study notions of conjugate points along timelike geodesics in the synthetic setting of Lorentzian (pre-)length spaces, inspired by earlier work for metric spaces by Shankar--Sormani. After preliminary considerations on convergence of timelike and causal geodesics, we introduce and compare one-sided, symmetric, unreachable and ultimate conjugate points along timelike geodesics. We show that all such notions are compatible with the usual one in the smooth (strongly causal) spacetime setting. As applications, we prove a timelike Rauch comparison theorem, as well as a result closely related to the recently established Lorentzian Cartan--Hadamard theorem by Erös--Gieger. In the appendix, we give a detailed treatment of the Fréchet distance on the space of non-stopping curves up to reparametrization, a technical tool used throughout the paper.

math.DG↗
arXiv2025

Hawking's singularity theorem for Lipschitz Lorentzian metrics

We prove Hawking's singularity theorem for spacetime metrics of local Lipschitz regularity. The proof rests on (1) new estimates for the Ricci curvature of regularising smooth metrics that are based upon a quite general Friedrichs-type lemma and (2) the replacement of the usual focusing techniques for timelike geodesics -- which in the absence of a classical ODE-theory for the initial value problem are no longer available -- by a worldvolume estimate based on a segment-type inequality that allows one to control the volume of the set of points in a spacelike surface that possess long maximisers.

math.DG↗
arXiv2025

The failure of the Ehlers--Kundt conjecture in the impulsive case

In 1962, Ehlers and Kundt conjectured that plane waves are the only class of complete Ricci-flat~\emph{pp}-waves, i.e.\ metrics on ${\mathbb R}^4$ of the form \[ ds^2=2du\,dv+dx^2+dy^2+H(x,y,u)du^2\,. \] Recently, Flores and Sánchez gave a proof of the conjecture in the fundamental case of spatially polynomially bounded profile functions $H$. However, impulsive pp-waves, i.e., waves with concentrated profile functions of the form $H(x,y,u)=f(x,y)\,δ(u)$ ($δ$, the Dirac measure) have been found to be complete. We summarise completeness results for several classes of impulsive wave spacetimes achieved during the last years and discuss them in the context of the Ehlers--Kundt conjecture.

math-ph↗
arXiv2025

Generalizing the Penrose cut-and-paste method: Null shells with pressure and energy flux

The cut-and-paste method is a procedure for constructing null thin shells by matching two regions of the same spacetime across a null hypersurface. Originally proposed by Penrose, it has so far allowed to describe purely gravitational and null-dust shells in constant-curvature backgrounds. In this paper, we extend the cut-and-paste method to null shells with arbitrary gravitational/matter content. To that aim, we first derive a locally Lipschitz continuous form of the metric of the spacetime resulting from the most general matching of two constant-curvature spacetimes with totally geodesic null boundaries, and then obtain the coordinate transformation that turns this metric into the cut-and-paste form with a Dirac-delta term. The paper includes an example of a null shell with non-trivial energy density, energy flux and pressure in Minkowski space.

math.DG↗
arXiv2025

Marginally outer trapped tubes in de Sitter spacetime

We prove two results which are relevant for constructing marginally outer trapped tubes (MOTTs) in de Sitter spacetime. The first one holds more generally, namely for spacetimes satisfying the null convergence condition and containing a timelike conformal Killing vector with a "temporal function". We show that all marginally outer trapped surfaces (MOTSs) in such a spacetime are unstable. This prevents application of standard results on the propagation of stable MOTSs to MOTTs. On the other hand, it was shown recently that, for every sufficiently high genus, there exists a smooth, complete family of CMC surfaces embedded in the round 3-sphere S3. This family connects a Lawson minimal surface with a doubly covered geodesic 2-sphere. We show by a simple scaling argument that this result translates to an existence proof for complete MOTTs with CMC sections in de Sitter spacetime. Moreover, the area of these sections increases strictly monotonically. We compare this result with an area law obtained before for holographic screens.

gr-qc↗
arXiv2024

Cut-and-paste for impulsive gravitational waves with $Λ$: The mathematical analysis

Impulsive gravitational waves are theoretical models of short but violent bursts of gravitational radiation. They are commonly described by two distinct spacetime metrics, one of local Lipschitz regularity, the other one even distributional. These two metrics are thought to be `physically equivalent' since they can be formally related by a `discontinuous coordinate transformation'. In this paper we provide a mathematical analysis of this issue for the entire class of nonexpanding impulsive gravitational waves propagating in a background spacetime of constant curvature. We devise a natural geometric regularisation procedure to show that the notorious change of variables arises as the distributional limit of a family of smooth coordinate transformations. In other words, we establish that both spacetimes arise as distributional limits of a smooth sandwich wave taken in different coordinate systems which are diffeomorphically related.

gr-qc↗
arXiv2022

The singularity theorems of General Relativity and their low regularity extensions

On the occasion of Sir Roger Penrose's 2020 Nobel Prize in Physics, we review the singularity theorems of General Relativity, as well as their recent extension to Lorentzian metrics of low regularity. The latter is motivated by the quest to explore the nature of the singularities predicted by the classical theorems. Aiming at the more mathematically minded reader, we give a pedagogical introduction to the classical theorems with an emphasis on the analytical side of the arguments. We especially concentrate on focusing results for causal geodesics under appropriate geometric and initial conditions, in the smooth and in the low regularity case. The latter comprise the main technical advance that leads to the proofs of $C^1$-singularity theorems via a regularisation approach that allows to deal with the distributional curvature. We close with an overview on related lines of research and a future outlook.

math-ph↗
arXiv2022

Penrose junction conditions with $Λ$: Geometric insights into low-regularity metrics for impulsive gravitational waves

Impulsive gravitational waves in Minkowski space were introduced by Roger Penrose at the end of the 1960s, and have been widely studied over the decades. Here we focus on nonexpanding waves which later have been generalized to impulses traveling in all constant-curvature backgrounds, i.e., the (anti-)de Sitter universe. While Penrose's original construction was based on his vivid geometric "scissors-and-paste" approach in a flat background, until recently a comparably powerful visualization and understanding has been missing in the case with a cosmological constant $Λ\not=0$. Here we review the original Penrose construction and its generalization to non-vanishing $Λ$ in a pedagogical way, as well as the recently established visualization: A special family of global null geodesics defines an appropriate comoving coordinate system that allows to relate the distributional to the continuous form of the metric.

gr-qc↗
arXiv2022

The Hawking-Penrose singularity theorem for $C^1$-Lorentzian metrics

We extend both the Hawking-Penrose Theorem and its generalisation due to Galloway and Senovilla to Lorentzian metrics of regularity $C^1$. For metrics of such low regularity, two main obstacles have to be addressed. On the one hand, the Ricci tensor now is distributional, and on the other hand, unique solvability of the geodesic equation is lost. To deal with the first issue in a consistent way, we develop a theory of tensor distributions of finite order, which also provides a framework for the recent proofs of the theorems of Hawking and of Penrose for $C^1$-metrics [7]. For the second issue, we study geodesic branching and add a further alternative to causal geodesic incompleteness to the theorem, namely a condition of maximal causal non-branching. The genericity condition is re-cast in a distributional form that applies to the current reduced regularity while still being fully compatible with the smooth and $C^{1,1}$-settings. In addition, we develop refinements of the comparison techniques used in the proof of the $C^{1,1}$-version of the theorem [8]. The necessary results from low regularity causality theory are collected in an appendix.

math-ph↗
arXiv2021

A Note on the Gannon-Lee Theorem

We prove a Gannon-Lee theorem for non-globally hyperbolic Lo\-rentzian metrics of regularity $C^1$, the most general regularity class currently available in the context of the classical singularity theorems. Along the way we also prove that any maximizing causal curve in a $C^1$-spacetime is a geodesic and hence of $C^2$-regularity.

math-ph↗
arXiv2021

Null distance and convergence of Lorentzian length spaces

The null distance of Sormani and Vega encodes the manifold topology as well as the causality structure of a (smooth) spacetime. We extend this concept to Lorentzian length spaces, the analog of (metric) length spaces, which generalize Lorentzian causality theory beyond the manifold level. We then study Gromov-Hausdorff convergence based on the null distance in warped product Lorentzian length spaces and prove first results on its compatibility with synthetic curvature bounds.

math.DG↗
arXiv2021

Causal simplicity and (maximal) null pseudoconvexity

We consider pseudoconvexity properties in Lorentzian and Riemannian manifolds and their relationship in static spacetimes. We provide an example of a causally continuous and maximal null pseudoconvex spacetime that fails to be causally simple. Its Riemannian factor provides an analogous example of a manifold that is minimally pseudoconvex, but fails to be convex.

gr-qc↗
arXiv2019

The future is not always open

We demonstrate the breakdown of several fundamentals of Lorentzian causality theory in low regularity. Most notably, chronological futures (defined naturally using locally Lipschitz curves) may be non-open, and may differ from the corresponding sets defined via piecewise $C^1$-curves. By refining the notion of a causal bubble from [CG:12],we characterize spacetimes for which such phenomena can occur, and also relate these to the possibility of deforming causal curves of positive length into timelike curves (push-up). The phenomena described here are, in particular, relevant for recent synthetic approaches to low regularity Lorentzian geometry where, in the absence of a differentiable structure, causality has to be based on locally Lipschitz curves.

math.DG↗
arXiv2019

Cut-and-paste for impulsive gravitational waves with $Λ$: The geometric picture

Impulsive gravitational waves in Minkowski space were introduced by Roger Penrose at the end of the 1960s, and have been widely studied over the decades. Here we focus on non-expanding waves which later have been generalised to impulses travelling in all constant-curvature backgrounds, that is also the (anti-)de Sitter universe. While Penrose's original construction was based on his vivid geometric `scissors-and-paste' approach in a flat background, until now a comparably powerful visualisation and understanding have been missing in the ${Λ\not=0}$ case. In this work we provide such a picture: The (anti-)de Sitter hyperboloid is cut along the null wave surface, and the `halves' are then re-attached with a suitable shift of their null generators across the wave surface. This special family of global null geodesics defines an appropriate comoving coordinate system, leading to the continuous form of the metric. Moreover, it provides a complete understanding of the nature of the Penrose junction conditions and their specific form. These findings shed light on recent discussions of the memory effect in impulsive waves.

gr-qc↗
arXiv2019

The memory effect in impulsive plane waves: comments, corrections, clarifications

Recently the 'memory effect' has been studied in plane gravitational waves and, in particular, in impulsive plane waves. Based on an analysis of the particle motion (mainly in Baldwin-Jeffery-Rosen coordinates) a 'velocity memory effect' is claimed to be found in [P.-M. Zhang, C. Duval, and P. A. Horvathy. Memory effect for impulsive gravitational waves. Classical Quantum Gravity, 35(6):065011, 20, 2018]. Here we point out a conceptual mistake in this account and employ earlier works to explain how to correctly derive the particle motion and how to correctly deal with the notorious distributional Brinkmann form of the metric and its relation to the continuous Rosen form.

gr-qc↗