Non-Hausdorff manifolds over locally ordered spaces via sheaf theory
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915968809172992 |
|---|---|
| author | Chamoun, Yorgo Haucourt, Emmanuel |
| author_facet | Chamoun, Yorgo Haucourt, Emmanuel |
| contents | Locally ordered spaces can be used as topological models of concurrent programs: the local order models the irreversibility of time during execution. Under certain conditions, one can even work with locally ordered manifolds. In this paper, we build the universal euclidean local order over every locally ordered space; in categorical terms, the subcategory of euclidean local orders is coreflective in the category of locally ordered spaces. Our construction is based on a well-known correspondance between sheaves and étale bundles. This is a far reaching generalization of a result about realizations of graph products. We particularize the construction to locally ordered realization of precubical sets, and show that it admits a purely combinatorial description. With the same proof techniques, we show that, unlike for the topological realization, there is a unique (up to symmetry) precubical set whose locally ordered realization is isomorphic to $\mathbb{R}^n$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_12087 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Non-Hausdorff manifolds over locally ordered spaces via sheaf theory Chamoun, Yorgo Haucourt, Emmanuel Algebraic Topology Category Theory Locally ordered spaces can be used as topological models of concurrent programs: the local order models the irreversibility of time during execution. Under certain conditions, one can even work with locally ordered manifolds. In this paper, we build the universal euclidean local order over every locally ordered space; in categorical terms, the subcategory of euclidean local orders is coreflective in the category of locally ordered spaces. Our construction is based on a well-known correspondance between sheaves and étale bundles. This is a far reaching generalization of a result about realizations of graph products. We particularize the construction to locally ordered realization of precubical sets, and show that it admits a purely combinatorial description. With the same proof techniques, we show that, unlike for the topological realization, there is a unique (up to symmetry) precubical set whose locally ordered realization is isomorphic to $\mathbb{R}^n$. |
| title | Non-Hausdorff manifolds over locally ordered spaces via sheaf theory |
| topic | Algebraic Topology Category Theory |
| url | https://arxiv.org/abs/2505.12087 |