Skip to main content

Some Other “No Hole” Spacetimes Properties Are Unstable Too

Abstract

Two interesting “no hole” spacetime properties (being epistemically hole free (g), not being future nakedly singular) are unstable in the fine topology.

Introduction

Recently [1] has shown that a certain “no hole” spacetime property, effective completeness, is unstable in the fine topology (so a “hole free” spacetime can be arbitrarily close to spacetimes which have “holes”). In this note I point out that the very same example can be used to show that (a) another “no hole” property, being epistemically hole free in the geodesic sense, is \(\mathcal {F}\)-unstable, and that (b) the spacetime property of not being future nakedly singular is \(\mathcal {F}\)-unstable as well.

Why do these observations matter? First, “no hole” conditions are an inherently interesting issue in the study of global structure of spacetime. Second, one may hold a view that stability is a necessary condition for being a physically significant spacetime property (see e.g. [2] for an expression of this position). “No hole” properties are posited in many contexts of foundational relevance—examples include a distinction between spurious and physically relevant instances of indeterminism (a “dirty open secret” of Sect. 3.8 of [3]), definitions of time machines [4], or connections between metaphysical principles such as principle of sufficient reason and principles of model selection in physics (see Sect. 2.3 of [3]). However, since many of the “no hole” properties one could try to employ in these context turn out to be unstable, a dilemma arises: abandon these “no hole” properties and turn to other, more promising spacetime properties which could do the similar work, or deny that stability is a necessary condition for physical significance.

Background Information

RecallFootnote 1 [6] that spacetime \(( M, g_{ab} )\) has an epistemic hole (g) iff (def) there are two future inextendible timelike geodesics \(\gamma\) and \(\gamma '\) with the same past endpoint such that \(I^{-} [\gamma ]\) is a proper subset of \(I^{-} [\gamma ']\).Footnote 2 Spacetime \((M, g_{ab})\) is said to be future nakedly singular iff (def) there is a point \(p \in M\) and an incomplete future directed timelike or null geodesic \(\gamma {:}\, I \rightarrow M\) such that \(\gamma\) is fully contained in \(I^{-}(p)\); otherwise, spacetime is not future nakedly singular.

Certain qualitative features of Misner spacetime will be of relevance for what follows (see [7, pp. 170–174] and [8] for more detailed “Discussion” section). The maximally extended Misner spacetime consists of two regions: the maximal globally hyperbolic Taub region and a chronology violating NUT region, separated from the Taub region by a Cauchy horizon at \(t=0\). In what follows I assume that the temporal orientation has been chosen in such a way that the NUT region lies to the future of the Taub region. The Taub region is timelike and null geodesically incomplete. There are two classes of incomplete causal geodesics: winding to the right along the compact spacelike section, and winding to the left. Assuming that the maximally extended spacetime is Hausdorff, exactly one of these classes can be completed by extending them through the surface \(t=0\).Footnote 3 Thus: every inextendible extension of the Taub region is timelike and null geodesically incomplete. (All spacetime extensions are taken to be smooth; these two extensions are actually analytic, and there is a orientation-reversing isometry between them; see [10].

Recently, [1] constructed an example of a spacetime \((M, g_{ab})\) (isometric to a two-dimensional Minkowski spacetime compactified along one null direction) which is geodesically complete (therefore also effectively complete), and a sequence of spacetimes \((M, g_{ab}(n))\) such that in every neighborhood of \((M, g_{ab})\) in the \(\mathcal {F}\) topology there is a spacetime \((M, g_{ab}(n))\) which is isometric to a portion of maximally extended Misner spacetime (which, in turn, is not effectively complete). The full details of that construction (essential in what follows) are to be found in [1]. Since the null compactified Minkowski spacetime \((M, g_{ab})\) of [1] is geodesically complete, it is not future nakedly singular. It is also easy to see that since Minkowski spacetime is epistemically hole free (g), so is Minkowski spacetime compactified along one null direction.

A spacetime property P is called \(\tau\)-stable if for any spacetime \((M,g_{ab})\) with P there is a \(\tau\)-neighborhood O of \((M,g_{ab})\), such that every spacetime in O also has P (in some topology \(\tau\)). Otherwise P is unstable. Recall also that an open neighborhood of some spacetime \((M, g_{ab})\) in the \(\mathcal {F}\) topology over the set of Lorentzian metrics on a given manifold M is defined by the set of all spacetimes \((M, g_{ab}')\) such that Max\(_{M}[h^{am}h^{bn}(g_{ab}-g_{ab}')(g_{mn} - g_{mn}')] < \epsilon\), where \(h^{ab}\) is a positive definite metric on M and \(\epsilon\) is a positive real number. The fine topology is called so because it has plenty of open sets; for example, a one parameter family of spacetimes \((M,\lambda g_{ab})\) where \(\lambda \in (0, \infty )\) is not a continuous curve in the \(\mathcal {F}\)-topology. However, for this very reason it is convenient to use the \(\mathcal {F}\)-topology for proving instability results. Moreover, if a spacetime property fails to be stable in the \(\mathcal {F}\)-topology, it also fails to be stable relative to any coarser topology. See [11, 12] for an in-depth discussion of these issues.

Two Observations

I am now in position to state two observations concerning spacetimes \((M, g_{ab}(n))\) of [1].

Fact 1

Every spacetime \((M, g_{ab}(n))\) has epistemic hole.

First, note that every \((M, g_{ab}(n))\) is isometric to a portion of Misner spacetime (again, see [1] for the justification of this claim). So it is sufficient to argue that (this portion of) Misner spacetime has epistemic hole.Footnote 4 Take any timelike geodesic \(\gamma '\) entering the NUT region. \(\gamma '\) intersects the surface \(t=0\) at some point q. Consider now some future inextendible, incomplete timelike geodesic \(\gamma\) which does not cross \(t=0\) (but circles around, never reaching \(t=0\)). Since both \(\gamma '\) and \(\gamma\) wind around the spacelike section in the Taub region, one can easily find some point p for the common endpoint. \(I^{-}(\gamma ')\) will consist of a portion of the Taub region and a portion of the NUT region. Since \(\gamma\) winds around, it is fully contained in \(I^{-}(q)\). So every point r in \(I^{-}(\gamma )\) is also in \(I^{-}(\gamma ')\). But \(\gamma\) is incomplete; in particular, it does not enter the NUT region. So \(I^{-}(\gamma )\) is a proper subset of \(I^{-}(\gamma ')\).

Fact 2

Every spacetime \((M, g_{ab}(n))\) is future nakedly singular.

Consider any point p in the NUT region; such p lies to the future of the Taub region (to see that it is indeed the case, consider any timelike curve leaving the Taub region and passing through some r at \(t=0\) to p). Take an inextendible, incomplete geodesic \(\gamma\) confined to the Taub region. Naturally, \(\gamma\) is contained to the past of \(t=0\) surface. Hence any extension of the Taub region is future nakedly singular.

Discussion

These two observations (in conjunction with the crucial observation of [1] concerning neighborhoods of null compactified Minkowski spacetime in the \(\mathcal {F}\)-topology) imply that a geodesically complete, effectively complete, epistemically hole free (g) and not future nakedly singular spacetime can be arbitrarily close in the fine topology to a spacetime which is not effectively complete, fails to be epistemically hole free (g), and which is future nakedly singular.

This is bad news. As [6] (see also [14, 15] for related remarks) had recently pointed out, most of the “no hole” conditions which have been proposed in the literature (see e.g. [16,17,18,19]) rely on mappings between a given spacetime and other spacetimes. In certain contexts (for instance, when trying to make a distinction between physically significant and physically insignificant spacetimes) this is a rather undesirable property, because in order to see whether a condition holds one needs to look at a large set of spacetimes, which in turn seems to presuppose a distinction one wishes to make precise with the use of a “no hole” property. In contrast, being epistemically hole free (g) and not being future nakedly singular are internal to the spacetime; indeed, these are the only two known “no hole” properties of this nature, so their instability is particularly unwelcome.

One could debate the significance of the construction of [1] and the above two facts by noticing that the result seems to depend on the permissiveness of the \(\mathcal {F}\)-topology and causally pathological properties of the Misner spacetime. One could then demand that, for the purpose of discussions concerning stability of “no hole” conditions, either:

  1. 1.

    another, more reasonable, choice of topology is made (for instance, recently constructed global topologies of [12] may be promising in that regard), or that

  2. 2.

    attention is restricted to a particular subset of spacetimes (and continue with either the fine topology or some other topology on the restricted set; see [20, pp. 250–257] for a discussion of related issues in the context of proving \(\mathcal {F}\)-stability of geodesic incompleteness when restricted to certain FLRW spacetimes). This could be a set of spacetimes which satisfy some causality condition (after all, Misner spacetime is well-known for its bad causal behavior; note though that many other spacetimes of relevance, including maximally extended Kerr spacetime, also have bad causal behaviour) or some other spacetime property.

Denaro and Dotti [21] were recently able to show a form of the Strong Cosmic Censorship hypothesis holds in Misner spacetime, namely that the Cauchy horizon in Misner spacetime is unstable against certain type of perturbations: in a one-parameter family of solutions through the Misner spacetime (in a theory with either (a) minimally coupled massless scalar field, (b) Maxwell field, or (c) in pure (Ricci-flat) gravity), all spacetimes apart from Misner develop a curvature singularity at \(t=0\). This could be taken as an indication that these “no hole” instability results are a result of considering too large set of spacetimes, per 2. above.

In a subtle sense the “no hole” properties considered here would be, then, simultaneously stable and unstable (relatively to different choices of the universe for a topology one is considering). There is a family \(F_{Misner}\) of spacetimes \((M, g_{ab}(n))\) going through the null compactified Minkowski spacetime \((M,g_{ab})\). \((M,g_{ab})\) satisfies all three “no hole” properties considered by [1] and in this note, but all other elements of this family violate all three of these properties. However, through any of spacetimes \((M, g_{ab}(n))\) goes another family of spacetimes \(F_{SCC}\), those considered by [21], such that only \((M, g_{ab}(n))\) violates these “no hole” properties, but other members of \(F_{SCC}\) satisfy them.

Finally, let me point out that all these “no hole” properties have been shown to be unstable using one and the same family of spacetimes (in this sense Misner spacetime not only looks like, pace [22], a counterexample to almost everything, but also as an example for almost anything). In order to better understand under which conditions “no hole” properties hold or fail, and when do they do so in a stable or unstable manner, it would be useful to have examples of spacetimes separating these “no hole” properties, so that nearby spacetimes would be, for example, epistemically hole free and not nakedly singular, but would fail to be effectively complete (and so on for other properties of interest). Hopefully this could also provide examples of instabilities of “no hole” properties in spacetimes which are less causally pathological than Misner spacetime.

Notes

  1. Definitions of standard notions and notational conventions will follow [1, 5].

  2. A stronger condition is being epistemically hole free (f), where \(\gamma\) and \(\gamma '\) have finite total acceleration.

  3. Actually, as [7] show, there is a third class of geodesics which remains incomplete in any maximal extension which remains a non-Hausdorff topological manifold. Thus, observations concerning epistemic holes and naked singularities will continue to hold even if one allows for violations of the Hausdorff condition at the Cauchy horizon—although it seems that the observation of [1] concerning effective completeness relies on the fact that the extensions are Hausdorff (in a non-Hausdorff extension of the Taub region both left- and rightward geodesics are completed, so the “unwinding” map \(\varTheta\) will map complete geodesics into complete ones; compare Fig. 1 of [1]. See also [9] for a discussion of related issues.

  4. It can be shown that any proper extension of the maximal globally hyperbolic region of Misner spacetime has epistemic hole [13]; this property carries over to Misner-like spacetimes.

References

  1. Manchak, J.B.: Some “No Hole” spacetime properties are unstable. Found. Phys. 48, 1539–1545 (2018)

    ADS  MathSciNet  Article  Google Scholar 

  2. Hawking, S.W.: Stable and generic properties in general relativity. Gen. Relativ. Gravit. 1(4), 393 (1971)

    ADS  MathSciNet  Article  Google Scholar 

  3. Earman, J.: Bangs, Crunches, Whimpers, and Shrieks: Singularities and Acausalities in Relativistic Spacetimes. Oxford University Press, New York (1995)

    Google Scholar 

  4. Earman, J., Smeenk, C., Wüthrich, C.: Do the laws of physics forbid the operation of time machines? Synthese 169(1), 91 (2009)

    MathSciNet  Article  Google Scholar 

  5. Manchak, J.B.: Global spacetime structure. In: Batterman, R. (ed.) The Oxford Handbook of Philosophy of Physics, pp. 587–606. Oxford University Press, Oxford (2013)

    Google Scholar 

  6. Manchak, J.B.: Epistemic “Holes” in space-time. Philos. Sci. 83(2), 265 (2016)

    MathSciNet  Article  Google Scholar 

  7. Hawking, S., Ellis, G.: The Large Scale Structure of Space-Time. Cambridge Monographs on Mathematical Physics. Cambridge University Press, Cambridge (1973)

    Book  Google Scholar 

  8. Levanony, D., Ori, A.: Extended time-travelling objects in Misner space. Phys. Rev. D 83(4), 044043 (2011)

    ADS  Article  Google Scholar 

  9. Earman, J.: Pruning some branches from “Branching Spacetimes”. In: Dieks, D. (ed.) The Ontology of Spacetime II, Chap. 10, pp. 187–206. Elsevier, Amsterdam (2008)

    Chapter  Google Scholar 

  10. Chruściel, PT., Isenberg, J.: Nonisometric vacuum extensions of vacuum maximal globally hyperbolic spacetimes. Phys. Rev. D 48(4), 1616 (1993)

    ADS  MathSciNet  Article  Google Scholar 

  11. Fletcher, S.: Similarity, topology, and physical significance in relativity theory. Br. J. Philos. Sci. 67(2), 365 (2016)

    MathSciNet  Article  Google Scholar 

  12. Fletcher, S.C.: Global spacetime similarity. J. Math. Phys. 59(11), 112501 (2018)

    ADS  MathSciNet  Article  Google Scholar 

  13. Doboszewski, J.: Epistemic holes and determinism in classical general relativity. Br. J. Philos Sci (2019)

  14. Manchak, J.B.: Is the universe as large as it can be? Erkenntnis 81(6), 1341 (2016)

    MathSciNet  Article  Google Scholar 

  15. Manchak, J.B.: On the inextendibility of space-time. Philos. Sci. 84(5), 1215 (2017)

    MathSciNet  Article  Google Scholar 

  16. Geroch, R.: In: Earman, J., Glymour, C., Stachel, J. (eds.) Foundation of Space-Time Theories, pp. 81–93. Minnesota Center for Philosophy of Science, Minneapolis (1977)

  17. Manchak, J.B.: What Is a physically reasonable space-time? Philos. Sci. 78(3), 410 (2011)

    MathSciNet  Article  Google Scholar 

  18. Minguzzi, E.: Causally simple inextendible spacetimes are hole-free. J. Math. Phys. 53(6), 062501 (2012)

    ADS  MathSciNet  Article  Google Scholar 

  19. Manchak, J.B.: On space-time singularities, holes, and extensions. Philos. Sci. 81(5), 1066 (2014)

    MathSciNet  Article  Google Scholar 

  20. Beem, J.K., Ehrlich, P., Easley, K.: Global Lorentzian Geometry. CRC Press, Boca Raton (1996)

    MATH  Google Scholar 

  21. Denaro, P., Dotti, G.: Strong cosmic censorship and Misner spacetime. Phys. Rev. D 92(2), 024017 (2015)

    ADS  MathSciNet  Article  Google Scholar 

  22. Thorne, K.: Misner space as a prototype for almost any pathology. In: Hu, B.L., Ryan, M.P., Ryan, C.V. (eds.) Directions in General Relativity: Papers in Honor of Charles Misner, vol. 1, pp. 333–346. Cambridge University Press, Cambridge (1993)

    Chapter  Google Scholar 

Download references

Acknowledgements

Open Access funding provided by Projekt DEAL. I am grateful to JB Manchak for discussion of a previous draft, and a referee of this journal for extensive comments. I would like to thank the Volkswagen Foundation for its support in providing the funds to create the Lichtenberg Group for History and Philosophy of Physics at the University of Bonn. This publication is funded in part by the Gordon and Betty Moore Foundation through Grant GBMF8273 to Harvard University to support the work of the Black Hole Initiative. This publication was also made possible through the support of a grant from the John Templeton Foundation

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Juliusz Doboszewski.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Doboszewski, J. Some Other “No Hole” Spacetimes Properties Are Unstable Too. Found Phys 50, 379–384 (2020). https://doi.org/10.1007/s10701-019-00316-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10701-019-00316-5

Keywords

  • General relativity
  • No hole conditions
  • Stability
  • Naked singularities
  • Epistemic holes
  • Determinism
  • Time machines
  • Global spacetime structure