Introduces non-regular spacetime geometry without smooth calculus.
problem Defining gravity without smooth spacetime geometry.
method Discusses non-regular spacetime geometry and curvature without differential calculus.
result Curvature and gravity can be defined without smooth spacetime calculus.
The paper proves smoothness of event horizons in Kerr spacetime perturbations.
problem Smoothness of event horizons in Kerr spacetime perturbations.
method Proof of smoothness using stability of slowly rotating Kerr spacetimes.
result Smooth null hypersurfaces of event horizons are proven for Kerr spacetime perturbations.
Study pp-waves with lightlike parallel spinors in vacuum spacetimes.
problem Characterize pp-waves with lightlike parallel spinors in vacuum spacetimes.
method Parametrize pp-wave spacetimes, show correspondence with Riemannian metrics, prove parallel spinor condition.
result A pp-wave spacetime with a lightlike parallel spinor corresponds to a Ricci-flat metric with a parallel spinor.
Proves existence of Killing fields in smooth spacetimes with compact Cauchy horizons.
problem Existence of Killing fields in smooth spacetimes with compact Cauchy horizons.
method Normalized surface gravity of compact non-degenerate Cauchy horizons in smooth vacuum spacetimes.
result Proves the Isenberg-Moncrief conjecture on the existence of Killing fields.
The folk questions in Lorentzian Geometry, which concerns the smoothness of time functions and slicings by Cauchy hypersurfaces, are solved by giving simple proofs of: (a) any globally hyperbolic spacetime (M,g) admits a smooth time function τ whose levels are spacelike Cauchy hyperfurfaces and, thus, also a smooth…
The central object of study of this thesis is inverse mean curvature vector flow of two-dimensional surfaces in four-dimensional spacetimes. Being a system of forward-backward parabolic PDEs, inverse mean curvature vector flow equation lacks a general existence theory. Our main contribution is proving that there exist …
Proves some flat spacetimes can't be extended smoothly.
problem Proving smooth extension of certain FLRW spacetimes.
method Utilizing Sbierski's C0-inextendibility techniques. result Proves C0-inextendibility of spatially flat FLRW spacetimes. We consider open globally hyperbolic spacetimes N of dimension n+1, n≥3, which are spatially asymptotic to a Robertson-Walker spacetime or an open Friedmann universe with spatial curvature κ~=0,−1 and prove, under reasonable assumptions, that there exists a unique foliation by hypersurfaces of constant…
Study isotropic solutions in smooth metric measure spaces with vacuum Einstein equations.
problem Investigate isotropic solutions in smooth metric measure spaces under vacuum Einstein field equations.
method Define a weighted Einstein tensor and associated vacuum field equations. Analyze solutions for different spacetime types.
result Isotropic solutions have nilpotent Ricci operator and specific forms in 2- and 3-step nilpotent manifolds.
We prove that every (3+1)-dimensional flat GHMC Minkowski spacetime which is not a translation spacetime or a Misner spacetime carries a unique foliation by spacelike hypersurfaces of constant scalar curvature. In otherwords, we prove that every such spacetime carries a unique time function with isochrones of constan…
In the framework of nonassociative geometry (hep-th/0003238) a unified description of continuum and discrete spacetime is proposed. In our approach at the Planck scales the spacetime is described as a so-called "diodular discrete structure" which at large spacetime scales `looks like' a differentiable manifold. After a…
Smooth dec initial data sets may not extend to smooth spacetimes.
problem Whether every dec initial data set can be extended to a smooth spacetime.
method Examined the converse of the dominant energy condition for initial data sets and spacelike hypersurfaces.
result Not all dec initial data sets can be extended to smooth spacetimes.
In a recent work I showed that the family of smooth steep time functions can be used to recover the order, the topology and the (Lorentz-Finsler) distance of spacetime. In this work I present the main ideas entering the proof of the (smooth) distance formula, particularly the product trick which converts metric stateme…
Equivalence found between smooth and synthetic timelike curvature bounds.
problem Understanding timelike sectional curvature bounds in spacetime geometry.
method Established equivalence between sectional curvature bounds on timelike planes and synthetic timelike bounds.
result Equivalence proved for sectional curvature bounds on timelike planes and synthetic timelike bounds on strongly causal spacetimes.
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. Study a modified Laplacian equation in spacetime.
problem Analyzing a perturbed Laplacian equation in spacetime.
method Examining the equation \( \Delta u + P |
abla u| = h |
abla u| \) in an initial data set.
result Identified new properties of the modified equation.
Paper introduces a new time separation function for C0 spacetimes.
problem Lower semicontinuity of time separation function for C0 spacetimes. method Introduced nearly timelike curves to ensure lower semicontinuity.
result Lower semicontinuous time separation function for C0 spacetimes. New proof of stability for expanding Kerr-de Sitter spacetimes with smoothness at the boundary.
problem Stability of expanding region of Kerr-de Sitter spacetimes.
method Modified generalized harmonic gauge, local stability near conformal boundary, smoothness down to future conformal boundary.
result Smoothness of conformally rescaled metric down to future conformal boundary with mild singularity.
In (Phys. Rev. D 62, 081501, 2000) we proposed a unified approach to description of continuous and discrete spacetime based on nonassociative geometry and described nonassociative smooth and discrete de Sitter models. In our paper we give the description of nonassociative Friedmann-Robertson-Walker spacetime.
Researchers examine various causal structures for spacetimes with continuous metrics.
problem Comparing causal structures for spacetimes with continuous but not necessarily smooth metrics.
method Examined three key properties: push-up lemma, openness of chronological futures, and existence of limit causal curves.
result Spacetimes with continuous metrics do not always satisfy all three key properties.
New topology defined from spacetime paths, reconstructing spacetime structure.
problem Reconstructing spacetime structure from path homotopy classes.
method Defining a topology on spacetime based on timelike and causal homotopy classes.
result The topology on spacetime is reconstructed from the space of homotopy classes.
Continuous Lorentzian metrics yield infinitesimal Minkowskian spacetimes.
problem Understanding spacetime properties from continuous Lorentzian metrics.
method Proving infinitesimal Minkowskianity for causally simple metric measure spacetimes.
result Continuous Lorentzian metrics result in spacetimes that are infinitesimally Minkowskian.
Anti-de Sitter spacetimes with convex boundaries are uniquely determined by their boundary metrics.
problem Identifying anti-de Sitter spacetimes based on boundary properties.
method Proving rigidity for spacetimes with holonomy close to Fuchsian and convex boundaries.
result Globally hyperbolic compact anti-de Sitter spacetimes are determined by their boundary metrics.
Study generalizes submetry concept for spacetimes, linking to curvature and foliations.
problem Understanding submetry in non-positive signature spacetimes.
method Developed Lorentzian submetries and established their equivalence to semi-Riemannian submersions.
result Lorentzian submetries correspond to locally C^{1,1} semi-Riemannian submersions under completeness assumptions.
Geodesic completeness and optimal Sobolev index proven for Minkowski spacetimes.
problem Geodesic completeness and optimal Sobolev index for Minkowski spacetimes.
method Null non-trapping condition and real principal type estimate.
result Optimal Sobolev index proven for asymptotically Minkowski spacetimes.
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. Formally constructs metrics near timelike geodesics in vacuum spacetimes.
problem Constructing metrics near timelike geodesics in spacetimes.
method Constructs a family of metrics depending on a small parameter ε, solving the Einstein vacuum equations modulo O(ε^∞).
result The rescalings near the geodesic tend to a fixed subextremal Kerr metric.
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.
We investigate whether Szabo's metrizability theorem can be extended to Finsler spaces of indefinite signature. For smooth, positive definite Finsler metrics, this important theorem states that, if the metric is of Berwald type (i.e., its Chern-Rund connection defines an affine connection on the underlying manifold), t…
Unique AdS spacetime found with prescribed metric on a convex surface.
problem Finding an AdS spacetime with a specific metric on a convex surface.
method Constructing a quasifuchsian AdS spacetime with a past-convex Cauchy surface.
result Existence and uniqueness of a quasifuchsian AdS spacetime with the specified properties.
Chernov-Nemirovski observed that the existence of a globally hyperbolic Lorentzian metric on a (3 + 1)-spacetime pins down a smooth structure on the underlying 4-manifold. In this paper, we point out that the diffeomorphism type of a globally hyperbolic (n + 1)-spacetime is determined by the h-cobordism class of its Ca…
Timelike curvature and Brunn-Minkowski inequality linked in non-smooth spacetimes.
problem Equivalence between timelike Ricci curvature and Brunn-Minkowski inequality in synthetic Lorentzian spaces.
method Introducing strong q-timelike Brunn-Minkowski condition and proving equivalence to curvature conditions. result Timelike curvature dimension condition equivalent to timelike Brunn-Minkowski inequality in specific settings.
Two different spacetimes can mimic each other's boundary measurements.
problem Lorentzian Calderón problem
method Counterexample construction
result Non-isometric spacetimes can have identical boundary measurements
Geroch's theorem about the splitting of globally hyperbolic spacetimes is a central result in global Lorentzian Geometry. Nevertheless, this result was obtained at a topological level, and the possibility to obtain a metric (or, at least, smooth) version has been controversial since its publication in 1970. In fact, th…
The study lifts certain Sasakian manifolds to quasi-Einstein spacetimes.
problem Understanding lifts of Sasakian manifolds to quasi-Einstein spacetimes.
method Analyzing smooth Sasakian manifolds and their lifts to 4D quasi-Einstein spacetimes.
result Smooth Sasakian manifolds can be lifted to quasi-Einstein shearfree spacetimes of Petrov type II or D.
We solve spacelike spherically symmetric constant mean curvature (SS-CMC) hypersurfaces in Schwarzschild spacetimes and analyze their asymptotic behavior near the coordinate singularity r = 2M. Furthermore, we join SS-CMC hypersurfaces in the Kruskal extension to obtain complete ones and discuss the smooth properties.
Reconstruct spacetime from order and number of points.
problem Reconstruct spacetime from chronological relations and i.i.d. samples.
method Relaxing hypotheses of Gromov reconstruction theorem, using random adjacency matrices and chronological relations.
result Spacetime can be recovered by only knowing 'order' and 'number' of its points.
We characterize those spacetimes which admit a isometric (or conformal) embedding in some Lorentz-Minkowski space L^N. In particular, any globally hyperbolic spacetime can be isometrically embedded in L^N. This is proven by a result of its own interest: the construction of a smooth time function whose gradient is bound…
The (twice-contracted) second Bianchi identity is a differential curvature identity that holds on any smooth manifold with a metric. In the case when such a metric is Lorentzian and solves Einstein's equations with an (in this case inevitably smooth) energy-momentum-stress tensor of a "matter field" as the source of sp…
Study of caustics in Einstein-dust system, showing spacetime singularities and diverging curvature.
problem Understanding caustics and singularities in the Einstein-dust system.
method Established local existence result for spherically symmetric spacetimes containing caustics, constructed from solutions to a PDE problem.
result Obtained spherically symmetric spacetimes with diverging curvature and singular boundary.
It is shown that the space of null geodesics of a star-shaped causally simple subset of Minkowski space is contactomorphic to the canonical contact structure in the spherical cotangent bundle of Rn. In the 3-dimensional case we prove a similar result for a large class of causally simple contractible subse…
Given a globally hyperbolic spacetime M, we show the existence of a {\em smooth spacelike} Cauchy hypersurface S and, thus, a global diffeomorphism between M and R×S.
We first summarize the characterization of smooth spacelike spherically symmetric constant mean curvature (SS-CMC) hypersurfaces in the Schwarzschild spacetime and Kruskal extension. Then use the characterization to prove special SS-CMC foliation property, and verify part of the conjecture by Malec and Ó Murchadha in t…
Study existence of achronal hypersurfaces with prescribed mean curvature in 3D spacetimes.
problem Existence of achronal hypersurfaces with prescribed mean curvature in 3D spacetimes.
method General existence and regularity theorem for surfaces in ambient dimension 3.
result Proves existence and regularity of surfaces in 3D spacetimes.
We prove that compact Cauchy horizons in a smooth spacetime satisfying the null energy condition are smooth. As an application, we consider the problem of determining when a cobordism admits Lorentzian metrics with certain properties. In particular, we prove a result originally due to Tipler without the smoothness hypo…
Study shows Brakke flow's non-triviality for smooth boundaries in codimension 1.
problem Understanding Brakke flow's non-triviality for smooth boundaries in codimension 1.
method Analyzing spacetime Brakke flow constructed by Buet et al. for initial varifolds.
result Support of mass measure of spacetime Brakke flow coincides with classical mean curvature flow's support.
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. The paper proves a spacetime positive mass theorem for singular initial data sets.
problem Proving the positive mass theorem for initial data sets with corners.
method Extending Hirsch-Kazaras-Khuri's method to singular cases using Hirsch-Miao-Tsang ideas.
result Integral lower bound on spacetime mass and characterisation of zero mass.