Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSmoothness of time functions and the metric splitting of globally hyperbolic spacetimes
118
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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 $tau$ whose levels are spacelike Cauchy hyperfurfaces and, thus, also a smooth global splitting $M= R times {cal S}$, $g= - beta(tau,x) dtau^2 + bar g_tau $, (b) if a spacetime $M$ admits a (continuous) time function $t$ (i.e., it is stably causal) then it admits a smooth (time) function $tau$ with timelike gradient $ abla tau$ on all $M$.
rate research
Read More
Globally hyperbolic spacetimes with timelike boundary $(overline{M} = M cup partial M, g)$ are the natural class of spacetimes where regular boundary conditions (eventually asymptotic, if $overline{M}$ is obtained by means of a conformal embedding) can be posed. $partial M$ represents the naked singularities and can be identified with a part of the intrinsic causal boundary. Apart from general properties of $partial M$, the splitting of any globally hyperbolic $(overline{M},g)$ as an orthogonal product ${mathbb R}times bar{Sigma}$ with Cauchy slices with boundary ${t}times bar{Sigma}$ is proved. This is obtained by constructing a Cauchy temporal function $tau$ with gradient $ abla tau$ tangent to $partial M$ on the boundary. To construct such a $tau$, results on stability of both, global hyperbolicity and Cauchy temporal functions are obtained. Apart from having their own interest, these results allow us to circumvent technical difficulties introduced by $partial M$. As a consequence, the interior $M$ both, splits orthogonally and can be embedded isometrically in ${mathbb L}^N$, extending so properties of globally spacetimes without boundary to a class of causally continuous ones.
Gerochs 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, this problem has remained open until a definitive proof, recently provided by the authors. Our purpose is to summarize the history of the problem, explain the smooth and metric splitting results (including smoothability of time functions in stably causal spacetimes), and sketch the ideas of the solution.
Reasonable spacetimes are non-compact and of dimension larger than two. We show that these spacetimes are globally hyperbolic if and only if the causal diamonds are compact. That is, there is no need to impose the causality condition, as it can be deduced. We also improve the definition of global hyperbolicity for the non-regular theory (non $C^{1,1}$ metric) and for general cone structures by proving the following convenient characterization for upper semi-continuous cone distributions: causality and the causally convex hull of compact sets is compact. In this case the causality condition cannot be dropped, independently of the spacetime dimension. Similar results are obtained for causal simplicity.
Some recent results obtained by the author and collaborators about QFT in asymptotically flat spacetimes at null infinity are summarized and reviewed. In particular it is focused on the physical properties of ground states in the bulk induced by the BMS-invariant state defined at null infinity.
Recently, folk questions on the smoothability of Cauchy hypersurfaces and time functions of a globally hyperbolic spacetime M, have been solved. Here we give further results, applicable to several problems: (1) Any compact spacelike acausal submanifold H with boundary can be extended to a spacelike Cauchy hypersurface S. If H were only achronal, counterexamples to the smooth extension exist, but a continuous extension (in fact, valid for any compact achronal subset K) is still possible. (2) Given any spacelike Cauchy hypersurface S, a Cauchy temporal function T (i.e., a smooth function with past-directed timelike gradient everywhere, and Cauchy hypersurfaces as levels) with S equal to one of the levels, is constructed -thus, the spacetime splits orthogonally as $R times S$ in a canonical way. Even more, accura
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
