Existence of detectably non-Hausdorff manifolds without bifurcate curves

Let MM be a manifold. A bifurcate curve in MM is a pair of smooth injective curves that agree up to a parameter value and then disagree at that value and thereafter. A manifold is detectably non-Hausdorff when its algebra of smooth functions is not isomorphic to that of any Hausdorff manifold. Existence conjecture. There exist detectably non-Hausdorff manifolds with no bifurcate curves. This would clarify whether the absence of bifurcate curves can coexist with detectable non-Hausdorffness, a condition the paper discusses as potentially relevant to the physical reasonableness of non-Hausdorff spacetimes. The source does not report a resolution.

Sources & referencesView supporting material

Primary source

Jingyi Wu and James Owen Weatherall, “Between a Stone and a Hausdorff Space”, arXiv:2305.03871 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.