This paper concerns the question of which collections of general relativistic spacetimes are deterministic relative to which definitions. We begin by considering a series of three definitions of increasing strength due to Belot (1995). The strongest of these definitions is particularly interesting for spacetime theories because it involves an asymmetry condition called ``rigidity'' that has been studied previously in a different context (Geroch 1969; Halvorson and Manchak 2022; Dewar 2024). We go on to explore other (stronger) asymmetry conditions that give rise to other (stronger) forms of determinism. We introduce a number of definitions of this type and clarify the relationships between them and the three considered by Belot. We go on to show that there are collections of general relativistic spacetimes that satisfy much stronger forms of determinism than previously known. We also highlight a number of open questions.
academic
Determinismus und Asymmetrie in der Allgemeinen Relativitätstheorie
Dieses Papier untersucht die Determinismussätze von Raumzeit-Kollektionen in der Allgemeinen Relativitätstheorie unter verschiedenen Definitionen. Die Autoren prüfen zunächst drei Determinismusdefinitionen zunehmender Stärke, die von Belot (1995) vorgeschlagen wurden, wobei die stärkste Definition eine als „Rigidität" (rigidity) bezeichnete Asymmetriebedingung beinhaltet, die Geroch (1969) in anderem Kontext untersucht hat. Die Autoren erkunden weiterhin stärkere Asymmetriebedingungen, die zu stärkeren Determinismusformen führen. Das Papier führt mehrere solcher Definitionen ein, klärt ihre Beziehungen zu Belots drei Definitionen, beweist, dass Raumzeit-Kollektionen existieren, die stärkere Determinismusformen als bisher bekannt erfüllen, und stellt mehrere offene Fragen.
Das Kernproblem dieser Forschung lautet: Welche Raumzeit-Kollektionen der Allgemeinen Relativitätstheorie sind unter welchen Definitionen deterministisch? Dies ist eine grundlegende Frage der Physikphilosophie, die die wesentlichen Merkmale der Raumzeittheorie betrifft.
Philosophische Bedeutung: Die Determinismusfrage betrifft zentrale philosophische Themen wie Willensfreiheit und Kausalität
Physikalische Grundlagen: Das Verständnis der Determinismuseigenschaften der Allgemeinen Relativitätstheorie ist entscheidend für die Erfassung ihrer Vorhersagekraft
Das Loch-Argument (hole argument): Dies ist ein klassisches Problem in der Philosophie der Allgemeinen Relativitätstheorie, das die Debatte zwischen Substantivismus und Relationismus der Raumzeit betrifft
Fehlende Definitionen-Einheitlichkeit: Der MLE-Determinismus (Montague-Lewis-Earman) hat mehrere Präzisierungsweisen, aber es fehlt ein systematischer Vergleich
Unzureichende Forschung: Belots dritte Definition (mit Rigidität) wurde etwa 30 Jahre lang vernachlässigt
Symmetrieproblem: Bestehende Definitionen könnten intuitiv nicht-deterministische Fälle als deterministisch einstufen
Unzureichende Stärke: Aus bestimmten Haecceismus-Positionen sind bestehende Definitionen nicht stark genug, um alle Unsicherheit auszuschließen
Die Autoren verfolgen einen pluralistischen Ansatz: Sie versuchen nicht, die „einzig richtige" Determinismusdefinition zu erfassen, sondern kartographieren systematisch die Determinismussätze verschiedener Raumzeit-Kollektionen unter verschiedenen Definitionen und etablieren eine vollständige Hierarchiestruktur.
Etablierung einer Hierarchiestruktur von Determinismusdefinitionen: Systematische Klärung von sechs Determinismusformen (de dicto, de re, de re*, de dicto*, de re**, de dicto**) und ihrer Implikationsbeziehungen
Beweis von Schlüsseläquivalenzen: In der Standard-Allgemeinen Relativitätstheorie ist de re-Determinismus äquivalent zu de re*-Determinismus (durch das Rigidität-Theorem)
Einführung neuer Determinismusformen: Erste systematische Untersuchung von de dicto*-, de re**- und de dicto**-Determinismus, mit Beweis der Äquivalenz der letzten beiden
Verbindung von Asymmetriebedingungen und Determinismus: Klärung, wie Rigidität, Giraffe und Heraklit drei Asymmetriebedingungen verschiedenen Determinismusstärken entsprechen
Beweis der Erfüllbarkeit starken Determinismus: Konstruktion konkreter Beispiele, die zeigen, dass selbst die stärkste de re**/de dicto**-Determinismusform von nicht-leeren Raumzeit-Kollektionen erfüllt werden kann
Aufwurf offener Fragen: Bezüglich Submengen von V+-Kollektionen (vierdimensional, nicht erweiterbar, global hyperbolisch, Vakuumlösungen) und deren Erfüllung starker Determinismusformen
Definition 1: Eine Kollektion C ist de dicto-deterministisch, wenn für beliebige (M,g), (M',g') ∈ C und Anfangssegmente U ⊂ M, U' ⊂ M' gilt: Wenn eine Isometrie φ: U → U' existiert, dann existiert eine Isometrie ψ: M → M'.
Intuition: Isomorphie von Anfangssegmenten impliziert die Existenz einer globalen Isometrie (aber nicht notwendigerweise dieselbe)
Definition 2: Eine Kollektion C ist de re-deterministisch, wenn für beliebige (M,g), (M',g') ∈ C und Anfangssegmente U ⊂ M, U' ⊂ M' gilt: Wenn eine Isometrie φ: U → U' existiert, dann existiert eine Isometrie ψ: M → M' mit ψ|_U = φ.
Intuition: Die Isometrie des Anfangssegments muss sich zu einer globalen Isometrie erweitern lassen
Schlüsseldifferenz: Erfordert Konsistenz zwischen lokaler und globaler Isometrie
Definition 4: Für beliebige (M,g), (M',g') ∈ C und offene Mengen O ⊂ M gilt: Wenn Isometrien φ, ψ: M → M' die Bedingung φ|_O = ψ|_O erfüllen, dann φ = ψ.
Bedeutung: Globale Isometrien, die auf offenen Mengen übereinstimmen, müssen identisch sein
Schlüsselergebnis (Geroch 1969): Alle Raumzeit-Kollektionen der Allgemeinen Relativitätstheorie sind rigide (Proposition 3)
Systematisierter Rahmen: Erste systematische Vergleichung verschiedener Determinismusdefinitionen im MLE-Rahmen
Dualitäts-Einsichten:
Rigidität ist das „Dual" von de re-Determinismus (erstere garantiert Eindeutigkeit, letzterer garantiert Existenz)
Giraffe ist das „Dual" von de dicto-Determinismus
Äquivalenzbeweis: In der Allgemeinen Relativitätstheorie:
de re ⇔ de re* (durch Geroch-Rigidität-Theorem)
de re** ⇔ de dicto** (neues Ergebnis von Proposition 6)
Verbindung zu Weatheralls Ergebnissen: Beweis, dass de re*-Determinismus die Bedingung (Id ≠ Iso) impliziert, d.h. unter nicht-trivialen Loch-Diffeomorphismen ist die Identitätsabbildung keine Isometrie
Konstruktive Beweise: Durch konkrete Beispiele (wie Beispiel 4) wird die Erfüllbarkeit starker Determinismusformen nachgewiesen
Dieses Papier ist theoretische Forschung in mathematischer Physik und beinhaltet keine Experimente im klassischen Sinne, enthält aber folgende „experimentelle" Komponenten:
Universalität der Rigidität: In der Standard-Allgemeinen Relativitätstheorie können de re und de re* nicht unterschieden werden (Unterscheidung erfordert nicht-Hausdorff-Erweiterungen oder klassische Raumzeiten)
Spannung zwischen Symmetrie und Determinismus:
Minkowski-Raumzeit erfüllt den stärksten de re*-Determinismus
Erfüllt aber nicht de dicto*-Determinismus wegen globaler Symmetrien
Dies reflektiert unterschiedliche philosophische Verständigungen von „Determinismus"
Lokal vs. Global:
de dicto* erlaubt lokale Symmetrien, verbietet aber globale
de re** verbietet sogar lokale Symmetrien
Erfüllbarkeit: Selbst die stärkste de re**/de dicto**-Determinismusform hat nicht-leere Modelle (Beispiel 4)
Verbindung zu vollständigem Determinismus: Raumzeit-Kollektionen, die de re**/de dicto** erfüllen, erfüllen automatisch „vollständigen Determinismus" (weil jeder Punkt effektiv benannt wird)
Belot, G. (1995): "New Work for Counterpart Theorists: Determinism" - Originalarbeit zu den drei Determinismus-Definitionen
Geroch, R. (1969): "Limits of Spacetimes" - Klassische Arbeit zum Beweis der Raumzeit-Rigidität
Choquet-Bruhat, Y. & Geroch, R. (1969): "Global Aspects of the Cauchy Problem in General Relativity" - Grundlegender Satz zum Anfangswertproblem der Einstein-Gleichungen
Earman, J. & Norton, J. (1987): "What Price Spacetime Substantivalism? The Hole Story" - Klassische Arbeit zur Einführung des Loch-Arguments
Weatherall, J. (2018): "Regarding the Hole Argument" - Betonung der Bedeutung der (Id ≠ Iso)-Bedingung
Halvorson, H. & Manchak, J. (2025): "Closing the Hole Argument" - Neubewertung der Rolle der Rigidität im Loch-Argument
Manchak, J. & Barrett, T. (bevorstehend): "A Hierarchy of Spacetime Symmetries: Holes to Heraclitus" - Einführung der Heraklit-Bedingung
Gesamtbewertung: Dies ist ein hochqualitatives Papier in mathematischer Physikphilosophie, das systematisch die verschiedenen Präzisierungen des Determinismus-Konzepts in der Allgemeinen Relativitätstheorie und ihre gegenseitigen Beziehungen klärt. Obwohl bestimmte physikalische Anwendungen und offene Probleme noch gelöst werden müssen, bietet das Papier einen klaren konzeptuellen Rahmen und eine strenge mathematische Grundlage für das Verständnis der Determinismus-Eigenschaften von Raumzeit-Theorien. Der pluralistische Standpunkt und die systematische methodologische Herangehensweise des Papiers bieten auch ein gutes Vorbild für verwandte philosophische Forschung.