Coverings and Non-Hausdorff Extensions of Misner Spacetime

This paper systematically distinguishes between covering constructions and spacetime extensions to classify a natural family of Hausdorff and non-Hausdorff extensions of Misner spacetime, providing explicit embeddings, a classification theorem, and causal invariants that differentiate these structures from two-dimensional Schwarzschild-type metrics.

The Gist

Imagine you are standing in a room where the laws of physics are a bit weird. This is Misner Spacetime, a famous thought experiment in physics that helps scientists understand how time and space can get twisted, leading to things like time travel loops or "closed timelike curves."

This paper by N. E. Rieger is like a master architect looking at a blueprint of this weird room and asking: "We know how to build the room, but what happens if we try to expand it? Are there other ways to build a bigger room that still keeps the same weird rules?"

Here is the story of the paper, broken down into simple concepts and analogies.

1. The Original Room: The "Moving Wall"

Imagine a flat, infinite sheet of paper (this is our universe, or Minkowski space). Now, cut out a tiny dot in the middle. This dot is a singularity—a place where the math breaks down.

Now, imagine you take a slice of this paper (a wedge) and glue the two edges together. But here's the twist: you don't just glue them straight. You glue them with a stretch and squeeze (a "boost").

• The Result: You get a cylinder.
• The Problem: As you travel around this cylinder, time behaves strangely. Eventually, you hit a "wall" (the chronology horizon). If you try to go past it, you enter a region where you can travel back in time and meet your past self. This is the Misner Spacetime.

2. The "Non-Hausdorff" Problem: The Fork in the Road

In normal geometry, if you have two different paths, you can tell them apart. But in the standard "extension" of this spacetime (called the Hawking-Ellis extension), something weird happens at the edge.

Imagine you are walking toward a fork in the road. In a normal world, you go left or right. In this weird spacetime, if you approach the edge from the left, you end up at a specific point. If you approach from the right, you end up at a different point. But here's the catch: you can't tell the difference between these two points. They are so close together that no matter how small your measuring tape is, they overlap.

In math terms, this is called Non-Hausdorff. It's like a hallway where two doors lead to the same spot, but the doors are fused together in a way that makes the hallway "fuzzy" and impossible to navigate clearly.

3. The Paper's Big Idea: Unrolling the Carpet

The author asks: "What if we don't just glue the edges once? What if we glue them multiple times, or even infinitely many times?"

Think of the spacetime like a carpet.

• The Standard Version (n=1): You roll the carpet into a single loop. When you walk around, you come back to where you started.
• The Finite Coverings (n=2, 3, 4...): Imagine you unroll the carpet and lay down 2, 3, or 4 copies of it side-by-side, then glue the edges of the last copy back to the first copy. Now, you have to walk around the loop n times before you return to your starting point.
• The Universal Cover (n=∞): Imagine unrolling the carpet into an infinite hallway. You can walk left or right forever, and you never loop back to where you started.

The paper proves that these "unrolled" versions are not just mathematical tricks; they are real, valid extensions of the original Misner spacetime. They are genuine universes where you can live, and the original Misner room is just a small part of them.

4. The "Causal Map": How Time Flows

The most exciting discovery is how time connects in these different versions. The author draws a map of "time travel routes."

• In the Finite Versions (n=2, 3...): Imagine a clock with 3 hands. If you travel forward in time, you go from Room 1 to Room 2, then Room 3, and then back to Room 1. It's a cycle. You can keep looping forever, but you are stuck in a loop of 3.
• In the Infinite Version (n=∞): Imagine a long train track stretching forever in both directions. If you travel forward, you go from Room 1 to Room 2, to Room 3, to Room 4... and you never loop back. You are on an infinite chain.

This difference is a "fingerprint." It proves that the universe with 3 loops is fundamentally different from the universe with 4 loops, and both are different from the infinite one. You can't turn one into the other without breaking the rules of time.

5. Comparing to a Black Hole (Schwarzschild)

Finally, the author compares these weird time-travel rooms to a 2D Black Hole (Schwarzschild spacetime).

• Locally (Close up): If you zoom in on a tiny patch of the Misner room and a tiny patch of the Black Hole, they look identical. They are both flat and smooth. You can't tell the difference.
• Globally (Zooming out): They are totally different. The Black Hole has a strict "one-way" flow of time (you can't go back). The Misner extensions have time loops. Because of this, you can never map the entire Misner universe onto the Black Hole universe without breaking the rules of causality.

Summary: What Did We Learn?

1. Misner Spacetime is a weird room where time loops.
2. The "Fuzzy Edge": The standard way to expand this room creates a "fuzzy" point where two locations merge into one.
3. The Solution: By "unrolling" the room into multiple layers (like a spiral staircase or an infinite hallway), we can create new, clean universes that fix the fuzziness.
4. The Family: There is a whole family of these universes. Some are small loops (2 layers, 3 layers...), and one is an infinite hallway.
5. The Proof: We can tell them apart by looking at how time travels through them. The small loops cycle back; the infinite one goes on forever.

In a nutshell: The paper takes a confusing, broken piece of spacetime and shows us how to build a whole family of perfect, larger universes out of it, proving that there are many ways to "extend" the fabric of time, each with its own unique shape and rules.

Technical Summary

1. Problem Statement

Misner spacetime is a fundamental model in general relativity used to study chronology horizons, incomplete geodesics, and the tension between local flatness and global causal pathologies. It is constructed by taking a timelike wedge of two-dimensional Minkowski spacetime ($M^{1,1}$) and quotienting it by a discrete Lorentz boost.

While the classical Hausdorff extensions (enlarging across one side of the chronology horizon) and the standard Hawking–Ellis non-Hausdorff extension (enlarging across both sides) are well-known, the relationship between these extensions and the covering spaces of the underlying punctured Minkowski plane is often treated imprecisely. Specifically, the paper addresses the gap between:

1. The punctured Minkowski plane ($X = M^{1,1} \setminus \{Q\}$) and its various connected coverings.
2. The construction of genuine Lorentzian manifold extensions of Misner spacetime derived from these coverings.

The central problem is to systematically separate the concepts of "covering" and "extension," classify all compatible coverings, and determine the precise causal and geometric properties of the resulting family of extensions.

2. Methodology

The author employs a rigorous geometric and topological approach involving:

• Quotient Constructions: Defining Misner spacetime ($M$) and its potential extensions ($E_n$) as quotients of covering spaces of the punctured Minkowski plane ($X$) by a lifted boost action.
• Covering Space Theory: Utilizing the classification of connected coverings of $X$ (which has the homotopy type of a circle, $\pi_1(X) \cong \mathbb{Z}$). The coverings are indexed by subgroups $n\mathbb{Z}$ (finite cyclic covers $S_n$) and the trivial subgroup (universal cover $S_\infty$).
• Lifting Actions: Proving that the discrete boost action $b_\lambda$ on $X$ lifts canonically to a diffeomorphism $\hat{b}_n$ on each connected covering $S_n$.
• Embedding Theorems: Constructing explicit isometric embeddings of the original Misner spacetime $M$ into the quotient spacetimes $E_n = S_n / \langle \hat{b}_n \rangle$.
• Causal Analysis: Defining a "chronal adjacency digraph" to map the causal connectivity between chronal sectors (regions without closed timelike curves) and using this to distinguish the spacetimes.
• Isocausality Comparison: Comparing the causal structure of these extensions with two-dimensional Schwarzschild-type metrics using the framework of causal maps and isocausality.

3. Key Contributions

The paper makes several distinct theoretical contributions:

• Conceptual Separation: It clearly distinguishes between the covering spaces of the punctured plane and the resulting spacetime extensions, clarifying that the latter only become valid extensions of Misner spacetime after the specific quotient and embedding procedure.
• Classification of Extensions: It provides a complete classification of "covering-compatible" extensions. It proves that, up to equivalence, there is exactly one such extension for each $n \in \mathbb{N} \cup \{\infty\}$.
  • $n=1$: The standard Hawking–Ellis non-Hausdorff extension.
  • $n < \infty$: Finite cyclic coverings of the Hawking–Ellis model.
  • $n = \infty$: A universal-cover analogue extension.
• Maximality Proof: It demonstrates that these extensions are maximal within the class of analytic manifold extensions obtained via this specific lifting procedure. Attempting to adjoin the missing fixed point (the origin $Q$) destroys the smooth manifold structure due to non-trivial isotropy.
• Causal Invariant: It introduces a new causal invariant—the chronal adjacency digraph—which distinguishes the finite-sheeted cases from the universal cover case.

4. Key Results

A. Construction and Classification

• The Family $\{E_n\}$: For every $n \in \mathbb{N} \cup \{\infty\}$, there exists a spacetime $E_n$ formed by quotienting the $n$-sheeted covering $S_n$ of the punctured plane by the lifted boost action.
• Embedding: There exists a unique isometric embedding $\iota_n: M \hookrightarrow E_n$ onto an open subset. Thus, each $E_n$ is a genuine extension of Misner spacetime.
• Uniqueness: Within the class of constructions involving connected coverings of $X$ and lifted boost actions, the family $\{E_n\}$ exhausts all possibilities.

B. Causal Structure (The Adjacency Theorem)

The paper proves a precise theorem regarding the causal connectivity of the "chronal sectors" (regions free of closed timelike curves):

• Universal Cover ($E_\infty$): The chronal sectors form a bi-infinite directed chain. A timelike curve can pass to the "left" or "right" of the missing point, leading to distinct future sectors in an infinite sequence.
• Finite Covers ($E_n, n < \infty$): The chronal sectors form a directed cycle of length $n$. The infinite chain is wrapped modulo $n$.
• Non-Isomorphism: Because the adjacency digraphs are non-isomorphic (a cycle vs. a chain), the spacetimes $E_m$ and $E_n$ are not causally isomorphic if $m \neq n$. This provides a rigorous proof that these are distinct spacetimes, not just different coordinate representations.

C. Geodesic Completeness

• The extensions $E_n$ are flat everywhere except at the images of the chronology horizons.
• Geodesic incompleteness is caused solely by the missing preimages of the fixed point $Q$. No new curvature singularities are introduced by the covering process.

D. Isocausality with Schwarzschild Metrics

• Local Isocausality: On simply connected, chronal regions, Misner-type extensions are locally isocausal to two-dimensional Schwarzschild metrics (both are locally conformally flat).
• Global Obstruction: No extension $E_n$ containing a dischronal region (closed timelike curves) is globally isocausal to a chronological Schwarzschild region. The existence of closed timelike curves in Misner-type spacetimes is a global causal invariant that prevents isocausality with standard Schwarzschild spacetime.

5. Significance

• Resolution of Ambiguity: The paper resolves the often-subtle confusion regarding how covering spaces relate to spacetime extensions, providing a rigorous framework for constructing non-Hausdorff extensions.
• New Causal Invariants: The introduction of the chronal adjacency digraph offers a powerful tool for distinguishing between non-Hausdorff spacetimes that might otherwise appear similar locally.
• Template for Higher Dimensions: By providing a clean, explicit two-dimensional template, the work sets a foundation for investigating analogous non-Hausdorff extensions in higher-dimensional Misner-type quotients and pseudo-Schwarzschild models.
• Clarification of Non-Hausdorffness: It rigorously characterizes the mechanism of non-Hausdorffness in these extensions (the accumulation of boost orbits along null axes) and proves that this property is intrinsic to the quotient construction, not an artifact of poor coordinate choices.

In summary, Rieger's work transforms the study of Misner spacetime extensions from a collection of ad-hoc examples into a systematically classified family of manifolds, distinguished by their global causal topology and their relationship to the covering spaces of the punctured Minkowski plane.