Abstract:Morse spacetime is a model of singular Lorentzian manifold, built upon a
Morse function which serves as a global time function outside its critical
points. The Borde-Sorkin conjecture states that a Morse spacetime is causally
continuous if and only if the index and coindex of critical points of the
corresponding Morse function are both different from 1. The conjecture has
recently been confirmed by Garcia Heveling for the case of small anisotropy and
Euclidean background metric. Here, we provide a complementary counterexample: a
four dimensional Morse spacetime whose critical point has index 2 and large
enough anisotropy is causally discontinuous and thus the Borde-Sorkin
conjecture does not hold. The proof features a low regularity causal structure
and causal bubbling.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify the validity of the Borde - Sorkin conjecture under specific conditions. Specifically, the Borde - Sorkin conjecture states that a Morse spacetime is causally continuous if and only if the indices and co - indices of all critical points of the corresponding Morse function are not equal to 1. Recent research has proven that this conjecture is correct under small anisotropy and Euclidean background metrics. However, this paper provides a counterexample. That is, in a four - dimensional Morse spacetime, if the index of the critical point is 2 and the anisotropy is large enough, then the Morse spacetime is causally discontinuous. This shows that the Borde - Sorkin conjecture does not hold in some cases.
### Main contributions of the paper
1. **Providing a counterexample**: The paper shows, by constructing a specific four - dimensional Morse spacetime model, that when the index of the critical point is 2 and the anisotropy is large enough, the Morse spacetime can be causally discontinuous. This directly refutes the Borde - Sorkin conjecture.
2. **Low - regularity causal structure**: The paper introduces the concept of low - regularity causal structure and shows how this structure leads to causal bubbling, thus destroying causal continuity.
3. **Detailed proof**: The paper proves two key lemmas (Lemma 3.7 and Lemma 3.9) in detail, and these two lemmas together prove the existence of causal discontinuity under specific conditions.
### Main conclusions
- **Theorem 1**: Consider a Morse spacetime whose local chart is \((\mathbb{R}^4, h, f, \zeta = 2)\), where the metric \(h\) is the Euclidean metric and the Morse function \(f(x)=\frac{1}{2}(-x_1^2 - bx_2^2 + y_1^2 + y_2^2)\). There exists a constant \(b_0>0\) such that for all \(b > b_0\), this spacetime is causally discontinuous. Specifically, the points \(q = (\sqrt{2}+1, 0, 1, 0)\) and \(p=(-(\sqrt{2}+1), 0, 1, 0)\) are causally discontinuous points.
- **Corollary 2**: The Borde - Sorkin conjecture is false.
- **Theorem 3**: For \(b = \infty\), the conclusion of Theorem 1 also holds.
### Methods and steps
1. **Geometric setup**: The paper first simplifies the four - dimensional problem by projecting onto a two - dimensional affine plane and then establishes the geometric facts after projection.
2. **Lemma proof**: By proving two key lemmas (Lemma 3.7 and Lemma 3.9), it shows the existence of causal discontinuity.
3. **Specific construction**: The paper describes in detail how to construct a four - dimensional Morse spacetime that is causally discontinuous under specific conditions.
### Significance
This paper not only provides an important counterexample to the Borde - Sorkin conjecture, but also deeply explores the influence of low - regularity causal structure on the properties of spacetime, providing new perspectives and tools for future research on Morse spacetime and other singular Lorentz manifolds.