Mathematics > General Topology
[Submitted on 26 May 2025 (v1), last revised 30 Jun 2025 (this version, v4)]
Title:A Minimal Non Hausdorff Counterexample in Covering Space Theory
View PDF HTML (experimental)Abstract:We construct a one dimensional, second countable, simply connected manifold that exhibits a single non Hausdorff fiber, sufficient to destroy the fundamental properties of classical covering space theory. The space, called the line with k inseparable origins, is defined by taking k copies of the real line and identifying all nonzero points across copies, so that each copy retains a distinct origin. These origins are T1 separated but not Hausdorff separated.
We embed the punctured real line into a closed disk with a single accumulation point, and project the nonzero locus homeomorphically onto the embedded image. The projection map collapses all origins to the puncture point. Away from the singular point, the map is a local homeomorphism. At the singular point, however, the fiber is non Hausdorff: every neighborhood of one origin contains the others.
As a consequence, path lifting and homotopy lifting fail, the monodromy representation is undefined, and the group of deck transformations is isomorphic to the symmetric group on k letters. Despite the total space being simply connected, the map cannot be classified as a covering map, branched cover, semicovering, or étale morphism.
This provides a minimal dimensional, fully explicit example showing that the failure of Hausdorff separation at a single fiber suffices to break lifting properties and eliminate the usual Galois type correspondence between fundamental groups and deck transformations. It presents a sharp obstruction to any naive extension of covering space theory to non Hausdorff settings.
Submission history
From: Abhiram Sripat [view email][v1] Mon, 26 May 2025 14:24:12 UTC (712 KB)
[v2] Fri, 13 Jun 2025 08:57:46 UTC (14 KB)
[v3] Mon, 23 Jun 2025 18:51:19 UTC (17 KB)
[v4] Mon, 30 Jun 2025 12:27:09 UTC (17 KB)
Current browse context:
math.GN
References & Citations
export BibTeX citation
Loading...
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Connected Papers (What is Connected Papers?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.