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.
New theorem for spacetime mass in noncompact regions.
problem Mass in noncompact spacetime regions.
method Developed mass type invariant and boundary conditions; proof based on spinors.
result Proved positive mass theorem for noncompact boundaries.
New research proves uniqueness of maximal spacetime boundaries under certain conditions.
problem The uniqueness of maximal spacetime boundaries in extendible spacetimes.
method Analyzing manifolds with boundary, excluding specific geodesic behaviors, to prove uniqueness.
result Extendible spacetimes admit a unique maximal future boundary extension under suitable assumptions.
Solves initial boundary value problem for vacuum Einstein equations and proves geometric uniqueness.
problem Initial boundary value problem for vacuum Einstein equations.
method Formulated IBVP, solved simultaneously in local harmonic coordinates, constructed unique maximal globally hyperbolic solution.
result Vacuum spacetimes satisfying fixed initial-boundary conditions and corner conditions are geometrically unique near the initial surface.
Study reveals how travel times on cylindrical boundaries can identify spacetime structure.
problem Determining spacetime structure from boundary travel times.
method Boundary rigidity problem on cylindrical domains with stationary metrics.
result Time separation function uniquely identifies spacetime up to diffeomorphisms.
The paper studies the past inextendibility of FLRW spacetimes using the VDR asymptote.
problem Investigating the past inextendibility of FLRW spacetimes.
method Using the volume-distance-ratio (VDR) asymptote to assess spacetime inextendibility criteria.
result Conditions for past inextendibility of FLRW spacetimes are identified.
Proves spacetime positive mass theorem for spin initial data sets with arbitrary ends.
problem Proving the spacetime positive mass theorem for specific spacetime configurations.
method Solving a mixed boundary value problem for the Dirac-Witten operator with a Callias potential.
result Established spacetime positive mass theorem for asymptotically flat spin initial data sets with arbitrary ends.
Minimal TIP and TIF found in compact spacetimes, impacting spacetime splitting.
problem Understanding the global structure of spacetimes with compact Cauchy surfaces.
method Analysis of Terminal Indecomposable Past (TIP) and Future (TIF) sets in spacetimes with compact Cauchy surfaces.
result In a spacetime with compact Cauchy surfaces, there is always at least one minimal TIP and one minimal TIF.
Study characterizes conformal boundaries of de Sitter spacetimes.
problem Characterize conformal infinity of asymptotically de Sitter spacetimes.
method Derive constraints relating stress-energy tensor to conformal geometric data using higher conformal fundamental forms.
result Constraints on stress-energy tensor relate to conformal geometric data.
Study proves mean curvature flow in GRW spacetimes with perpendicular boundary condition.
problem Longtime existence of mean curvature flow in GRW spacetimes.
method Proved longtime existence using perpendicular Neumann boundary condition and null convergence condition.
result Metric of solution is conformal to GRW leaf's metric in asymptotic time.
The notion of a causal boundary for a spacetime has been a controversial topic during the last three decades. Moreover, recently the role of the boundary in the AdS/CFT correspondence for plane waves, have stimulated its redefinition with some possible alternatives. Our aim is threefold. First, to review the different …
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
New boundary conditions solve Cauchy problem for Dirac operators on spacetimes.
problem Understanding non-local boundary conditions for Dirac operators on spacetimes.
method Define and analyze a class of Lorentzian boundary conditions that are local in time and non-local in spatial directions.
result Well-posed Cauchy problem for the Dirac operator is established under these conditions.
The paper proves a conjecture about spacetimes and singularities.
problem Understanding naked singularities and causally simple spacetimes.
method Analyzes null geodesics and spacetime properties to prove conjectures.
result Proves a conjecture about spacetimes and singularities, including implications for two-dimensional spacetimes.
Recently, a new viewpoint on the classical c-boundary in Mathematical Relativity has been developed, the relations of this boundary with the conformal one and other classical boundaries have been analyzed, and its computation in some classes of spacetimes, as the standard stationary ones, has been carried out. In the p…
New findings on lightconvex boundaries in Finslerian spacetimes.
problem Understanding causal structures in Finslerian spacetimes.
method General results for indefinite Finslerian manifolds with boundary, and equivalence among boundary lightconvexity, causally simple interior, and Hausdorff space of cone geodesics.
result Equivalence among boundary lightconvexity, causally simple interior, and Hausdorff space of cone geodesics in globally hyperbolic spacetimes.
Globally hyperbolic spacetimes with timelike boundary (M=M∪∂M,g) are the natural class of spacetimes where regular boundary conditions (eventually asymptotic, if M is obtained by means of a conformal embedding) can be posed. ∂M represents the naked singularities and c…
We develop a general method of proving the ellipticity of boundary value problems for the stationary vacuum space time, by showing that the stationary vacuum field equations are elliptic subjected to a geometrically natural collection of boundary conditions in the projection formalism. Using this we prove the manifold …
We establish a moduli space E of stationary vacuum metrics in a spacetime, and set up a well-defined boundary map Π in E, assigning a metric class with its Bartnik boundary data. Furthermore, we prove the boundary map Π is Fredholm by showing that the stationary vacuum equations (combined with p…
Motivated by recent proposals for a de Sitter version of the AdS/CFT correspondence, we give some topological restrictions on spacetimes of de Sitter type, i.e., spacetimes with Λ>0, which admit a regular past and/or future conformal boundary. For example we show that if Mn+1, n≥2, is a globally hyperbolic…
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. Study Minkowski formula for conformal Killing-Yano 2-forms in constant curvature spacetimes.
problem Derive Minkowski formula for conformal Killing-Yano 2-forms.
method Analyze spacetime Alexandrov theorem with a free boundary.
result Established spacetime Alexandrov theorem with a free boundary.
We construct an example which shows that two isocausal spacetimes, in the sense introduced by García-Parrado and Senovilla, may have c-boundaries which are not equal (more precisely, not equivalent, as no bijection between the completions can preserve all the binary relations induced by causality). This example also su…
Study proves behaviors of CMC surfaces near future null-infinity in Schwarzschild spacetime.
problem Analyzing spacelike CMC surfaces near future null-infinity in Schwarzschild spacetime.
method Proves asymptotic hyperbolicity, derives boundary data expressions, and shows compatibility conditions.
result Compatibility conditions and asymptotic behaviors of spacelike CMC surfaces near future null-infinity.
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.
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…
Recently, the old notion of causal boundary for a spacetime V has been redefined in a consistent way. The computation of this boundary ∂V for a standard conformally stationary spacetime V = R x M, suggests a natural compactification MB associated to any Riemannian metric on M or, more generally, to any Fin…
The paper proves a rigidity theorem for null geodesic travel times in asymptotically AdS spacetimes.
problem Determining if a spacetime is conformally AdS based on null geodesic travel times.
method Analyzing all null geodesics from a point to its antipodal point, considering various spacetime conditions.
result The spacetime is conformally AdS if and only if all null geodesics from a point refocus at its antipodal point.
Study proves rigidity results for analytic spacetimes without boundary or timelike boundary.
problem Determining compact subsets and spacetimes from scattering data.
method Analytic spacetimes, thin exterior layers, non-trapping lightlike geodesics.
result Time separation and scattering relations uniquely determine spacetimes.
In the first part of this work we show a uniqueness result for globally hyperbolic spacetimes with a spacelike conformal boundary satisfying the vacuum Einstein equations with positive cosmological constant. Then we present applications of this result in the contexts of cosmic censorship and the initial value problem i…
Formula for index in Lorentzian spacetimes.
problem Developing an index formula for spacetimes with boundary.
method Reduction from equivariant to non-equivariant, Lorentzian spectral flow.
result Equivalence of equivariant index and spectral flow in Lorentzian spacetimes.
We derive necessary conditions for the spinorial Witten-Nester energy to be well-defined for asymptotically locally AdS spacetimes. We find that the conformal boundary should admit a spinor satisfying certain differential conditions and in odd dimensions the boundary metric should be conformally Einstein. We show that …
Study shows Fredholmness of a Lorentzian Dirac operator on spacetimes.
problem Analyzing Fredholmness of a Lorentzian Dirac operator on spacetimes.
method Investigates Fredholmness of a (spatial) Γ-invariant Lorentzian Dirac operator under (anti) Atiyah-Patodi-Singer boundary conditions.
result Demonstrates Fredholmness of the operator in the von Neumann sense.
Proves properties of free boundary stable MOTS in spacetimes.
problem Topology of black hole spacetimes in manifolds with boundary.
method Initial data version of Hawking's theorem, foliation by MOTS, vanishing null second fundamental form.
result Compact free boundary stable MOTS in initial data sets with boundary are of positive Yamabe type.
Proves density and mass theorems for specific initial data sets.
problem Initial data sets with boundary in spacetime.
method Harmonic asymptotics and dominant energy condition.
result Spacetime positive mass theorem for initial data sets with apparent horizon boundary.
Higher-dimensional spacetimes have well-behaved boundaries.
problem Understanding boundaries of higher-dimensional spacetimes.
method Analyzing (n+1)-dimensional Myers-Perry metrics at spacelike infinity. result Optimal conformal completion at spacelike infinity for Cn−3,1 differentiability class. Study stability of surfaces in spacetimes, proving new estimates and theorems.
problem Stability of surfaces in spacetime and their applications.
method Variational techniques, Christodoulou-Yau estimate, Cohn-Vossen inequality, global theorem, capillary stability, area inequality, diameter estimate.
result Established new estimates and theorems for stable surfaces in spacetime.
Study reveals how boundary wave operator determines metric properties on anti-de Sitter spacetimes.
problem Determining metric properties on anti-de Sitter spacetimes.
method Analysis of Klein-Gordon equation and Dirichlet-to-Neumann map.
result Determines the Taylor series of the bulk metric at the boundary.
Research proves unique continuation for Einstein-vacuum equations on aAdS spacetimes.
problem Establishing rigorous mathematical statements for AdS/CFT correspondence.
method Novel Carleman estimates and unique continuation results for wave equations on aAdS spacetimes.
result Proved a unique continuation result for the Einstein-vacuum equations from aAdS conformal boundaries.
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.
In this global study of solutions to the linear wave equation on Schwarzschild de Sitter spacetimes we attend to the cosmological region of spacetime which is bounded in the past by cosmological horizons and to the future by a spacelike hypersurface at infinity. We prove an energy estimate capturing the expansion of th…
We show that Margulis spacetimes without parabolic holonomy are topologically tame. A Margulis spacetime is the quotient of the 3-dimensional Minkowski space by a free proper isometric action of the free group of rank ≥2. We will use our particular point of view that the Margulis spacetime is a manifold-with-bo…
We show that when a spacetime M(=M∪∂M) is globally hyperbolic with (possibly empty) smooth timelike boundary ∂M, a metrizable topology, the closed limit topology (CLT) introduced by F. Hausdorff himself in the 1950's in set theory, can be advantageously adopted on the Geroch-Kronheime…
When a spacetime has boundaries, the entangling surface does not have to be necessarily compact and it may have boundaries as well. Then there appear a new, boundary, contribution to the entanglement entropy due to the intersection of the entangling surface with the boundary of the spacetime. We study the boundary cont…
Warped-product black hole spacetimes are C0-inextendible.
problem Future C0-inextendibility of warped-product black hole spacetimes method Adapting Sbierski's proof for a broad class of warped-product black hole spacetimes
result Future C0-inextendibility established for spacetimes with a static exterior region Milne-like spacetimes are a class of FLRW models which admit C0 spacetime extensions through the big bang. The boundary of a Milne-like spacetime can be identified with a null cone in the extension. We find that the comoving observers all emanate from a single point in the extension. This suggests that something phy…
New CMC existence result for expanding cosmological spacetimes.
problem Establishing a new constant mean curvature (CMC) existence result for cosmological spacetimes.
method Construction of barriers in the support sense and asymptotic limit of mean curvature flow.
result The existence of a CMC Cauchy surface in expanding cosmological spacetimes.
We prove two theorems, announced in hep-th/0108170, for static spacetimes that solve Einstein's equation with negative cosmological constant. The first is a general structure theorem for spacetimes obeying a certain convexity condition near infinity, analogous to the structure theorems of Cheeger and Gromoll for manifo…