Talk:Globally hyperbolic manifold

	Physics portal This article is within the scope of WikiProject Physics, a collaborative effort to improve the coverage of Physics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.PhysicsWikipedia:WikiProject PhysicsTemplate:WikiProject Physicsphysics articles
Mid	This article has been rated as Mid-importance on the project's importance scale.
	This article is supported by the relativity task force.

Problem on Spacetimes with Boundary

The given definition of global hyperbollicity in reference 1 does not apply correctly to spacetimes with boundary. In this case the condition has to be taken for the interior as a manifold in its own right. Otherwise the existence of a Cauchy surface cannot be guaranteed anymore. One can e.g. cut off a spacetime with non-empty spatial infinity containing a Cauchy surface near spatial infinity. Lets call the result M. Then the timelike spatial boundary of M will be non-empty, which prohibits the existence of a Cauchy surface. The first condition in reference 1 will still be fulfilled as $I^{-}(p)\cap I^{+}(q)$ is just replaced by $(I^{-}(p)\cap I^{+}(q))\cap M$ which is compact as the intersection of two compact sets. $(I^{-}(p)\cap I^{+}(q))\cap int(M)$ however will not be compact if $(I^{-}(p)\cap I^{+}(q))\setminus int(M)\neq \emptyset$ . —Preceding unsigned comment added by Doenermaster (talk • contribs) 13:40, 23 October 2010 (UTC)[reply]