Smoothness of Time Functions and the Metric Splitting of Globally Hyperbolic Spacetimes

@article{Bernal2005SmoothnessOT,
  title={Smoothness of Time Functions and the Metric Splitting of Globally Hyperbolic Spacetimes},
  author={Antonio N. Bernal and Miguel Grau S{\'a}nchez},
  journal={Communications in Mathematical Physics},
  year={2005},
  volume={257},
  pages={43-50}
}
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 global splitting if a spacetime M admits a (continuous) time function t then it admits a smooth (time) function with timelike gradient on all M. 
Smooth globally hyperbolic splittings and temporal functions
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 theExpand
Cauchy surfaces and diffeomorphism types of globally hyperbolic spacetimes
Chernov–Nemirovski observed that the existence of a globally hyperbolic Lorentzian metric on a -spacetime pins down a smooth structure on the underlying four-manifold. In this paper, we point outExpand
Global Hyperbolicity for Spacetimes with Continuous Metrics
We show that the definition of global hyperbolicity in terms of the compactness of the causal diamonds and non-total imprisonment can be extended to spacetimes with continuous metrics, whileExpand
Global hyperbolicity for spacetimes with continuous metrics
We show that the definition of global hyperbolicity in terms of the compactness of the causal diamonds and non-total imprisonment can be extended to spacetimes with continuous metrics, whileExpand
Cosmological time versus CMC time I: Flat spacetimes
This paper gives a new proof that maximal, globally hyperbolic, flat spacetimes of dimension $n\geq 3$ with compact Cauchy hypersurfaces are globally foliated by Cauchy hypersurfaces of constant meanExpand
Continuous representation of a globally hyperbolic spacetime with non-compact Cauchy surfaces
In this paper we consider a Lorentzian manifold which is globally hyperbolic with a non-compact Cauchy surface. We show that continuous representation of the spacetime is possible by causallyExpand
The globally hyperbolic metric splitting for non-smooth wave-type space-times
We investigate a generalization of the so-called metric splitting of globally hyperbolic space-times to non-smooth Lorentzian manifolds and show the existence of this metric splitting for a class ofExpand
Wave Equations on Non-smooth Space-times
We consider wave equations on Lorentzian manifolds in case of low regularity. We first extend the classical solution theory to prove global unique solvability of the Cauchy problem for distributionalExpand
Global hyperbolicity and Palais–Smale condition for action functionals in stationary spacetimes
Abstract In order to apply variational methods to the action functional for geodesics of a stationary spacetime, some hypotheses, useful to obtain classical Palais–Smale condition, are commonly used:Expand
The globally hyperbolic metric splitting for non-smooth wave-type space-times
Abstract We investigate a generalization of the so-called metric splitting of globally hyperbolic space-times to non-smooth Lorentzian manifolds and show the existence of this metric splitting for aExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 12 REFERENCES
Global Lorentzian Geometry
Introduction - Riemannian themes in Lorentzian geometry connections and curvature Lorentzian manifolds and causality Lorentzian distance examples of space-times completness and extendibilityExpand
Causal hierarchy of spacetimes, temporal functions and smoothness of Geroch's splitting. A revision
After the heroic epoch of Causality Theory, problems concerning the smoothability of time functions and Cauchy hypersurfaces remained as unanswered folk questions. Just recently solved, our aim is toExpand
On Smooth Cauchy Hypersurfaces and Geroch’s Splitting Theorem
Given a globally hyperbolic spacetime M, we show the existence of a smooth spacelike Cauchy hypersurface S and, thus, a global diffeomorphism between M and ℝ×S.
The domain of dependence
The various properties of the domain of dependence (Cauchy development) which have been found particularly useful in the study of gravitational fields are reviewed. The basic techniques forExpand
The Large Scale Structure of Space-Time
TLDR
The theory of the causal structure of a general space-time is developed, and is used to study black holes and to prove a number of theorems establishing the inevitability of singualarities under certain conditions. Expand
The existence of cosmic time functions
  • S. Hawking
  • Physics
  • Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences
  • 1969
It is shown that stable causality is the necessary and sufficient condition that there should exist a cosmic time function which increases along every future directed timelike or null curve. StableExpand
General relativity and cosmology
A broad survey of the mathematics of general relativity theory is presented. Among the topics covered are Einstein field equations, cosmological models, black holes, space-times, andExpand
Global Lorentzian Geometry. Monographs Textbooks Pure Appl. Math
  • Global Lorentzian Geometry. Monographs Textbooks Pure Appl. Math
  • 1996
Global Lorentzian geometry, Monographs Textbooks
  • Pure Appl. Math
  • 1996
...
1
2
...