The paper extends completeness notions to low-regularity spacetimes.
problem Defining completeness conditions for spacetimes with low-regularity metrics.
method Extending Beem's completeness notions to Lorentzian length spaces and proving relationships between them.
result Equivalence of completeness conditions for globally hyperbolic C1-spacetimes under certain conditions. Proves conditions for Cauchy horizons in low-regularity spacetimes.
problem Conditions for the existence of Cauchy horizons in spacetimes with low regularity.
method Analyzes the relationship between complete Cauchy hypersurfaces, almost closed causal curves, and points at infinity.
result Wald's conjecture reformulated as a PDE problem about Cauchy horizons.
The study proves timelike Ricci bounds for low regularity spacetimes using optimal transport.
problem Proving timelike Ricci bounds for spacetimes with low regularity.
method Using optimal transport to prove timelike measure-contraction property.
result Timelike curvature-dimension condition holds for C1,1 metrics. No trapped surfaces can form under low-regularity bounds in certain spacetimes.
problem Existence of trapped surfaces in low regularity solutions to Einstein's equations.
method Analyzing the initial data in Besov B2,13/2 norm and extending to H3/2 smallness. result No trapped surfaces can exist initially when the Cauchy data are close to Minkowski spacetime data.
Low regularity spacetimes split into simpler structures.
problem Proving splitting theorem for C1 metrics and weights. method Combining elliptic techniques and line-adapted curves.
result Extends Lorentzian splitting theorem to C1 settings. We study the low-regularity (in-)extendibility of spacetimes within the synthetic-geometric framework of Lorentzian length spaces developed in [KS:17]. To this end, we introduce appropriate notions of geodesics and timelike geodesic completeness and prove a general inextendibility result. Our results shed new light on …
Counterexample disproves Borde-Sorkin conjecture on causal continuity of Morse spacetimes.
problem Disproving the Borde-Sorkin conjecture on causal continuity of Morse spacetimes.
method Provided a counterexample with low regularity causal structure and causal bubbling.
result Borde-Sorkin conjecture does not hold for Morse spacetimes with large anisotropy.
In this paper we develop the mathematics required in order to provide a description of the observables for quantum fields on low-regularity spacetimes. In particular we consider the case of a massless scalar field φ on a globally hyperbolic spacetime M with C1,1 metric g. This first entails showing that the …
Synthetic proof of Gannon-Lee theorem for spacetimes.
problem Proving incompleteness in globally hyperbolic spacetimes.
method Synthetic null energy condition and synthetically asymptotically regular trappedness condition.
result Generalized classical incompleteness theorem to weighted spacetimes.
We investigate the initial value problem for the Einstein-Euler equations of general relativity under the assumption of Gowdy symmetry on T3, and we construct matter spacetimes with low regularity. These spacetimes admit, both, impulsive gravitational waves in the metric (for instance, Dirac mass curvature singularitie…
New relation between curvature bounds and spacetime inextendibility.
problem Inextendibility of spacetimes under low regularity conditions.
method Synthetic curvature and causal character analysis.
result Low-regularity spacetimes with unbounded curvature.
New relation between curvature bounds and spacetime inextendibility.
problem Inextendibility of spacetimes under low regularity conditions.
method Synthetic curvature and causal character maximizers.
result Low-regularity inextendibility linked to unbounded curvature.
Stability of timelike Ricci bounds in low-regularity spacetimes.
problem Stability of synthetic timelike Ricci curvature bounds under C0-limits. method Constructing smooth approximations and analyzing limiting behavior via Lorentzian optimal transport.
result Impulsive gravitational waves satisfy synthetic timelike Ricci curvature lower bounds.
We extend the validity of the Penrose singularity theorem to spacetime metrics of regularity C1,1. The proof is based on regularisation techniques, combined with recent results in low regularity causality theory.
Researchers extend the concept of metric spaces to Lorentzian spaces and prove the feasibility of their c-completion.
problem Extending the concept of metric spaces to Lorentzian spaces and proving their c-completion.
method Revisiting Lorentzian metric spaces, constructing c-completion, proving feasibility and endowing with Lorentzian metric space structure.
result The c-completion of Lorentzian metric spaces is feasible and well-suited, completing the original space in a precise sense.
New proof shows FLRW spacetimes can't be extended smoothly in certain axisymmetric cases.
problem Proving smooth extension of FLRW spacetimes in specific spacetime classes.
method Extending previous work on spherically symmetric spacetimes to axisymmetric spacetimes.
result Demonstrates C0-inextendibility for FLRW spacetimes in a subclass of axisymmetric spacetimes. 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 C1-curves. By refining the notion of a causal…
The null distance for Lorentzian manifolds was recently introduced by Sormani and Vega. Under mild assumptions on the time function of the spacetime, the null distance gives rise to an intrinsic, conformally invariant metric that induces the manifold topology. We show when warped products of low regularity and globally…
On the Geroch-Kronheimer-Penrose future completion IP(X) of a spacetime X, there are two frequently used topologies. We systematically examine τ+, the stronger (metrizable) of them, which is the coarsest causally continuous topology, obtaining a variety of novel results, among them a complete characterization of…
The maximal analytic Schwarzschild spacetime is manifestly inextendible as a Lorentzian manifold with a twice continuously differentiable metric. In this paper, we prove the stronger statement that it is even inextendible as a Lorentzian manifold with a continuous metric. To capture the obstruction to continuous extens…
Study on unique spacetime extensions in 1+1 dimensions with applications to weak null singularities.
problem Understanding unique spacetime extensions across null boundaries in 1+1 dimensions.
method Analyzing the C0- and C1-structures of continuous spacetime extensions. result Extensions can have the same C0-structure but different C1-structures. The paper extends Hawking's singularity theorem to metrics with Hölder continuity and bounded curvature.
problem Proving singularity theorems for metrics with low regularity.
method Combining elliptic RT-equations for metric regularisation and manifold convolution for curvature refinement.
result Establishes globally hyperbolic and timelike incompleteness for metrics with Hölder continuity and bounded curvature.
Synthetic framework for null hypersurfaces in non-smooth spacetimes.
problem Analyzing null hypersurfaces in non-smooth spacetimes.
method Develops synthetic null hypersurfaces using optimal transport and Lorentzian geometry.
result Synthetic null energy condition stabilizes under convergence and applies to low-regularity spacetimes.
The paper explores uniqueness and non-uniqueness of spacetime extensions in general relativity.
problem Investigating the uniqueness and non-uniqueness of spacetime extensions in general relativity.
method Analyzes the extension of globally hyperbolic Lorentzian manifolds with a focus on low regularities.
result Local uniqueness of anchored extensions for certain regularity classes of extensions.
Geometric optics describes wave behavior near convex obstacles.
problem Wave behavior near convex obstacles.
method Geometric optics in L2 and H1 spaces. result Oscillations transport along grazing rays to any order.
An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified concusions may arise, showing that those conclusions will fail only in special …
In this paper we study the spacelike-characteristic Cauchy problem for the Einstein vacuum equations. We prove that given initial data on a maximal compact spacelike hypersurface Σ≃B(0,1)⊂R3 and the outgoing null hypersurface H emanating from ∂Σ, the time of ex…
Study proves solenoidal injectivity for tensor fields on curved manifolds with low regularity.
problem Injectivity for tensor fields on negatively curved manifolds with low regularity metrics.
method Pestov energy estimates for transport equation on non-smooth unit sphere bundle, keeping track of regularity, and using functions with more vertical than horizontal regularity.
result Proves solenoidal injectivity for tensor fields on simple Riemannian manifolds with C1,1 metrics and non-positive sectional curvature. We study ray transforms on spherically symmetric manifolds with a piecewise C1,1 metric. Assuming the Herglotz condition, the X-ray transform is injective on the space of L2 functions on such manifolds. We also prove injectivity results for broken ray transforms (with and without periodicity) on such manifolds …
Injectivity of geodesic X-ray transform on low-regularity manifolds.
problem Injectivity of geodesic X-ray transform on manifolds with low regularity.
method Calculus of differential and curvature operators on non-smooth structures.
result Injectivity of geodesic X-ray transform on simple Riemannian manifolds with C1,1-regularity. Examples of area-minimizing graphs with low regularity in a specific group.
problem Finding area-minimizing graphs with low regularity in a sub-Finsler Heisenberg group.
method Providing examples of entire area-minimizing horizontal graphs with prescribed singular sets.
result Examples of area-minimizing graphs that are locally Lipschitz but not necessarily smoother.
Let H denote the future outgoing null hypersurface emanating from a spacelike 2-sphere S in a vacuum spacetime (M,g). In this paper we study the so-called canonical foliation on H introduced by Klainerman and Nicolò and show that the corresponding geometry is controlled lo…
Smooth low-regular connections lead to smooth immersions with controlled regularity.
problem Smoothability of Lp-connections and existence of isometric immersions with low regularity. method Adapting S. Mardare's work on surface theory, using Hodge decomposition and fixed point theorems.
result Low-regular connections can be approximated by smooth connections of the same curvature.
Solves Einstein constraint equations on compact manifolds with specified boundaries.
problem Solving Einstein constraint equations with specified boundaries.
method Studies conformal constraint equations with low regularity assumptions.
result Solves Einstein constraint equations on compact manifolds with specified boundaries.
New bounds on ReLU networks for low-regular functions.
problem Bounding approximation error for ReLU networks on low-regular functions.
method Complexity analysis of Fourier features residual networks to ReLU networks.
result Approximation error bound proportional to target function norm and inversely proportional to network width and depth.
The paper proves a mass theorem for non-spin manifolds with low regularity curvature.
problem Establishing a mass theorem for non-spin manifolds with low regularity curvature.
method Smooth approximations of the metric, Sobolev version of Friedrichs' Lemma, comparison theory of RCD-spaces, rigidity theorem for compact manifolds.
result Asymptotically flat manifolds with nonnegative distributional scalar curvature have nonnegative ADM mass.
We consider geodesics in both Riemannian and Lorentzian manifolds with metrics of low regularity. We discuss existence of extremal curves for continuous metrics and present several old and new examples that highlight their subtle interrelation with solutions of the geodesic equations. Then we turn to the initial value …
Continuing recent efforts in extending the classical singularity theorems of General Relativity to low regularity metrics, we give a complete proof of both the Hawking and the Penrose singularity theorem for C1-Lorentzian metrics - a regularity where one still has existence but not uniqueness for solutions of the ge…
Develops local elliptic regularity for geometrically-natural operators with low regularity coefficients.
problem Local elliptic regularity for operators with low regularity coefficients in Sobolev-type spaces.
method Rescaling estimates and multiplication results for function spaces.
result Unified set of interior estimates and regularity inference for operators with Sobolev-type coefficients.
We construct low regularity solutions of the vacuum Einstein constraint equations. In particular, on 3-manifolds we obtain solutions with metrics in $H^s\loc$ with s>23. The theory of maximal asymptotically Euclidean solutions of the constraint equations descends completely the low regularity setting. Moreove…
New bounds for low-regularity Riemannian metrics defined via distributional curvature.
problem Establishing curvature bounds for Riemannian metrics of low regularity.
method Introducing a distributional version of sectional curvature for C1 and C0 metrics. result New bounds for low-regularity metrics recover classical bounds in Alexandrov spaces.
The study proves a transverse diameter theorem for Lorentzian foliations.
problem Understanding the geometry of foliations in Lorentzian spacetimes.
method Developed a novel causality structure on leaf spaces via transverse Lorentzian geometry.
result Derived a transverse diameter theorem for Lorentzian foliations and orbifolds.
Extending isometric immersions with low regularity, especially supercritical.
problem Finding isometric immersions with low regularity in Euclidean space.
method Utilising Uhlenbeck gauges and compensated compactness theory.
result Existence of isometric immersions with low regularity, including supercritical cases.
It is well-known that the class of piecewise smooth curves together with a smooth Riemannian metric induces a metric space structure on a manifold. However, little is known about the minimal regularity needed to analyze curves and particularly to study length-minimizing curves where neither classical techniques such as…
Stability of knots at low regularity, and symmetric critical knots for Möbius energy.
problem Stability of knot equivalence at low regularity.
method Localized Gromov distortion and Hausdorff-distance criteria.
result Compactness theorem for knot equivalence classes and existence of symmetric critical knots for Möbius energy.
Study rigidity in low-regularity Riemannian and semi-Riemannian metrics.
problem Rigidity problems for low-regularity metrics.
method Proves Cheeger-Gromoll splitting theorem and flatness criterion for semi-Riemannian metrics of C1 regularity. result Obtains isometry of higher regularity than Lipschitz.
We consider first-order differential operators with locally bounded measurable coefficients on vector bundles with measurable coefficient metrics. Under a mild set of assumptions, we demonstrate the equivalence between the essential self-adjointness of such operators to a negligible boundary property. When the operator…
Paper proves DN map determination for simple surfaces with low regularity metrics.
problem Determining DN map from scattering relation for surfaces with low regularity metrics.
method Modified technical results and used microlocal analysis for metrics with finite regularity.
result Scattering relation determines DN map for C17 surfaces, and for C1,1 metrics using Lipschitz distance function.