Abstract
We show that in a sliced spacetime , global hyperbolicity in V is equivalent to -completeness of a slice, if and only if the product topology , on V, is equivalent to , where denotes the usual spacetime Alexandrov “interval” topology.
1. Preliminaries
Sliced spaces have attracted the attention of several authors in studies related to systems of Einstein equations (see []), completeness (see []), global hyperbolicity (see [,]), as well as in problems of a more geometric nature on quantum cosmology (see [,]).
Definition 1.
Let , where M is an n-dimensional smooth manifold, such that V is equipped with an -dimensional Lorentz metric g, which splits in the following way:
where , , is called lapse function, is called shift function and , called spatial slices of V, are spacelike submanifolds equipped with the time-dependent spatial metric . Such a product space V is called a sliced space.
Let be a sliced space. A base for the product topology , on V, consists of all sets of the form , where and . Here denotes the natural topology of the manifold M where, for an appropriate Riemann metric h, it has a base consisting of open balls and is the usual topology on the real line.
The Alexandrov topology (or “interval topology”) on a spacetime V has a base consisting of open sets of the form , where and , where ≪ is the chronological order defined as iff there exists a future oriented timelike curve, joining x with y. By one denotes the topological closure of and by that one of (see []).
A spacetime V is strongly causal, if and only if it is strongly causal at every point, that is, for every point , p has arbitrarily small causally convex neighbourhoods. We say that V is globally hyperbolic, if and only if V is strongly causal and every set (called a “closed diamond”) is compact. Global hyperbolicity is considered the strongest causality condition in the causal hierarchy of spacetimes (see []) and is equivalent to the existence of a Cauchy hypersurface S for V (see Section 5, in []); this supplies us with the benefit to construct on V well-defined initial-value problems (see [,], Theorem 10.2.2). One can also view global hyperbolicity as a property on a spacetime which guarantees the absence of naked singularities in V (for its role in the strong cosmic censorship, see []).
In the next section we will show that global hyperbolicity in a sliced spacetime is equivalent to completeness with respect to the Alexandrov topology of a slice . Although completeness of the Alexandrov topology , by itself, is not a criterion of nonsingularity (in the Schwartzschild space and the Friedmann-Robertson-Walker cosmologies, for example, is complete, but these spaces are singular; see []), it is interesting that in the particular case of sliced spacetimes that are equipped with their natural product topology, completeness of a slice with respect to can be considered as a criterion of global hyperbolicity for the entire space.
Thoughout our text, for topological terms like Hausdorff space and completeness, we refer to the seminal book of Engelking, [].
2. A Topological Condition for the Completeness of a Sliced Space
In [], sliced spaces are being considered to have uniformly bounded lapse, shift and spatial metric, in order to achieve the equivalence of global hyperbolicity of with the completeness of the slice (Theorem 2.1). Being motivated by this result, in the Theorem that follows, we consider global topological conditions, for showing the equivalence of global hyperbolicity of with a slice being -complete. Our Theorem 1, below, differs from Theorem 2.1 of [] in that the slices in [] are complete Riemannian manifolds (with uniformly bounded spatial metric, lapse and shift functions) while in our case the slices are -complete. We discuss this further in Section 3.
Theorem 1.
Let be a sliced space, with respect to its natural product topology , where , M is an n-dimensional manifold and g the -Lorentz “metric” on V. Let also be the Alexandrov topology on V. Then, the following statements are equivalent:
- 1.
- is globally hyperbolic.
- 2.
- .
- 3.
- is complete with respect to .
Proof.
1. has been shown to be equivalent to 2. in [].
To show that 2. implies 3., we first notice that since is globally hyperbolic, it is also strongly causal. Since, also, , we have that for every , is a subset of a spacetime V, with nondegenerate spacetime metric, with subspace topology inherited from V, such that is strongly causal. Hence, , on , is complete (see [], Theorem 2).
For proving that 3. implies 1., for each , we let to be complete with respect to , where each is a spacelike submanifold with time dependent spatial metric . But since each is complete, the Alexandrov topology , on , is strongly causal (see, again, []). So, each point of is strongly causal, which means that for every point there exists an arbitrarily small convex neighbourhood. But, , so if and only if there exists , such that , and hence V is strongly causal with respect to . That the closed -diamonds, in V, are compact, has been shown in Theorem 3, from []. Thus, is globally hyperbolic. □
3. Discussion
Question 1: Can our Theorem 1 hold, if one substituted in 3. “ is complete with respect to ” with the statement “ is a complete Riemannian manifold”? The answer is negative, since in a spacetime manifold, is usually a coarser topology than the spacetime topology, and it is equivalent to the manifold topology only if it is Hausdorff (see [], Theorem 4.24). So, in order for this question to have a positive answer, one would have to add in Theorem 1 the extra condition that , on V, is Hausdorff. As a continuation of this question, we ask whether the spacetimes considered in [] may well have their Alexandrov topology not being Hausdorff. In such a case, strong causality will fail due to this (see, for example, Remark 4.25 of []). Spacetimes where fails to be Hausdorff, according to Penrose, admit a null geodesic along which strong causality fails and this is one aspect of a general result concerning the region of strong causality failure in a spacetime []. Given the above argument, we conjecture that for a physically reasonable spacetime, the statements of Theorem 2.1 of [] and of Theorem 1 here should be equivalent. A rigorous proof showing the equivalence of a uniformly bounded spatial metric, lapse and shift functions with the condition of the topologies and to be equivalent, will be of a great interest.
In [], there are conditions introduced, so that global hyperbolicity to be equivalent to geodesic completeness. In particular, in Theorem 3.1, the term trivially sliced space is introduced, so that a slice is a complete Riemannian manifold, if and only if the space is geodesically complete. The “disadvantage” of this condition is that the spatial metric is time-independent.
Question 2: Can one relate slice-completeness and geodesic completeness of with a time-dependent spatial metric ?
Question 2 does not seem to have a trivial answer. In a possible variation of Theorem 1, towards an answer to this question, one could make use of the classical Hopf-Rinow Theorem (see []), which gives that metric completeness, in a spacetime, is equivalent to geodesic completeness. Again, should be Hausdorff.
Author Contributions
Conceptualization, N.K. and K.P.; methodology, N.K. and K.P.; investigation, N.K. and K.P.; resources, N.K. and K.P.; writing-original draft preparation, K.P.; writing-review and editing, K.P.; supervision, K.P., project administration, N.K. and K.P. The both authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Acknowledgments
The authors would like to thank Albert Much, for the oral communication and for the motivation, which led to this note. In particular, Question 2 is credited to him. Many thanks to the two unknown referees for their remarks and additions, which improved the shape of the text significantly.
Conflicts of Interest
The authors declare no conflicts of interest.
References
- Choquet-Bruhat, Y.; Ruggeri, T. Hyperbolicity of the 3+1 system of Einstein equations. Commun. Math. Phys. 1983, 89, 269–275. [Google Scholar] [CrossRef]
- Choquet-Bruhat, Y.; Cotsakis, S. Global Hyperbolicity and Completeness. J. Geom. Phys. 2002, 43, 345–350. [Google Scholar] [CrossRef]
- Cotsakis, S. Global Hyperbolicity of Sliced Spaces. Gen. Relativ. Gravit. 2004, 36, 1183–1188. [Google Scholar] [CrossRef]
- Papadopoulos, K.; Kurt, N.; Papadopoulos, B.K. On Sliced Spaces; Global Hyperbolicity Revisited. Symmetry 2019, 11, 304. [Google Scholar] [CrossRef]
- Finster, F.; Much, A.; Oeckl, R. Stationary Spacetimes and Self-Adjointness in Klein-Gordon Theory. arXiv 2020, arXiv:1910.05322. [Google Scholar] [CrossRef]
- Much, A.; Oeckl, R. Self-Adjointness in Klein-Gordon Theory on Globally Hyperbolic Spacetimes. arXiv 2018, arXiv:1804.07782. [Google Scholar]
- Penrose, R. Techniques of Differential Topology in Relativity. In CBMS-NSF Regional Conference Series in Applied Mathematics; 1972; Available online: https://www.amazon.com/Techniques-Differential-Relativity-Conference-Mathematics/dp/0898710057 (accessed on 7 December 2019).
- Minguzzi, E. Lorentzian causality theory. Living Rev. Relativ. 2019, 22, 3. [Google Scholar] [CrossRef]
- Choquet-Bruhat, Y.; Geroch, R. Global aspects of the Cauchy problem in general relativity. Commun. Math. Phys. 1969, 14, 329–335. [Google Scholar] [CrossRef]
- Wald, R.M. General Relativity; The University of Chicago Press: Chicago, IL, USA, 1984. [Google Scholar]
- Penrose, R. Gravitational collapse—The role of general relativity. Gen. Relativ. Gravit. 2002, 34, 1142–1164. [Google Scholar] [CrossRef]
- McWilliams, K.J. Completeness of the Alexandrov topology for space-time. Int. J. Theor. Phys. 1981, 20, 905. [Google Scholar] [CrossRef]
- Engelking, R. General Topology; Sigma Series in Pure Mathematics; Heldermann Verlag: Berlin, Germany, 1989; Volume 6, ISBN 3-88538-006-4. Available online: http://www.heldermann.de/SSPM/SSPM06/sspm06.htm (accessed on 7 December 2019).
- Hopf, H.; Rinow, W. Ueber den Begriff der vollständigen differentialgeometrischen Fläche. Comment. Math. Helv. 1931, 3, 209–225. [Google Scholar] [CrossRef]
© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).