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

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.The second-named author has been partially supported by a MCyT-FEDER Grant, MTM2004-04934-C04-01.To Professor P.E. Ehrlich, wishing him a continued recovery and good health