Non-Hausdorff manifolds over locally ordered spaces via sheaf theory

Basic Information

• Paper ID: 2505.12087
• Title: Non-Hausdorff manifolds over locally ordered spaces via sheaf theory
• Authors: Yorgo Chamoun, Emmanuel Haucourt (École Polytechnique)
• Classification: math.AT (Algebraic Topology), math.CT (Category Theory)
• Publication Date: October 14, 2025 (arXiv v3)
• Paper Link: https://arxiv.org/abs/2505.12087

Abstract

Locally ordered spaces serve as topological models for concurrent programs: in this setting, the local order models the irreversibility of time during program execution. Under certain conditions, one can even employ locally ordered manifolds. This paper constructs a universal Euclidean local order over each locally ordered space; in categorical terminology, the subcategory of Euclidean local orders is coreflective in the category of locally ordered spaces. Conditions are then provided to ensure preservation of the corresponding program execution traces. The construction is based on the well-known correspondence between spaces over a base and étale sheaves over that space. This represents a far-reaching generalization of results on graph product realizations. The construction is specialized to locally ordered realizations of precubical sets, and it is shown that this admits a purely combinatorial description. Using the same proof techniques, it is demonstrated that, unlike topological realizations, there exists a unique precubical set whose locally ordered realization is isomorphic to $\mathbb{R}^n$.

Research Background and Motivation

Problem Background

1. Modeling Requirements for Concurrent Programs: Concurrent programs require mathematical models to describe the behavior of multiple processes executing simultaneously. Traditional graph models can only handle single programs, while parallel programs require more complex structures.
2. Irreversibility of Time: During program execution, time exhibits irreversibility, which must be modeled through directed structures. Locally ordered spaces provide precisely this structure.
3. Limitations of Existing Approaches:
   • Tensor products of graphs can only represent finite types of parallel programs
   • It is necessary to "remove" certain cubes to represent disallowed combinations of simultaneous operations
   • Existing blowup constructions apply only to special cases of graph products

Research Motivation

The authors aim to generalize the blowup construction for graph products developed by Haucourt in Hau25 to more general locally ordered spaces, particularly locally ordered realizations of precubical sets. This generalization is significant because it:

• Expands the class of precubical sets that can be represented by available manifolds
• Enables the use of differential machinery to study higher-dimensional automata
• Provides more powerful topological tools for concurrency theory

Core Contributions

1. Universal Blowup Construction: Constructs a universal Euclidean local order for arbitrary locally ordered spaces, generalizing results from the graph product case (Theorem 1.2) to the general setting.
2. Categorical Characterization: Proves that the subcategory of Euclidean local orders is coreflective in the category of locally ordered spaces (Corollary 4.13), providing a rigorous categorical foundation.
3. Sheaf-Theoretic Methods: Develops a systematic construction method based on the correspondence between sheaves and étale bundles, yielding more concise and conceptually clear proofs.
4. Combinatorial Description: Provides a purely combinatorial description of the blowup for locally ordered realizations of precubical sets (Theorem 5.17), making the construction operationally feasible in practice.
5. Uniqueness Results: Proves that, unlike topological realizations, there exists a unique precubical set whose locally ordered realization is isomorphic to $\mathbb{R}^n$ (Theorem 5.18).
6. Path Lifting Properties: Provides conditions ensuring the directed path lifting property, which is crucial for preserving program execution traces.

Detailed Methodology

Core Concept Definitions

Locally Ordered Space: A topological space $X$ equipped with an ordered base $B$, where each element of $B$ is an ordered open set of $X$, satisfying:

• Each element of $B$ is an open subset of $X$
• $B$ generates the topology of $X$
• For any $B, B' \in B$ and $x \in B \cap B'$, there exists $B'' \in B$ such that $x \in B'' \subseteq B \cap B'$

$n$-Traversals: An $n$-traversal at point $p$ is a subset $A \subseteq X$ that is a germ of $p$, where $p \in A$, $A$ is a subset of some ordered open set, and $A \cong \mathbb{R}^n$ as an ordered space.

Sheaf-Theoretic Construction

$n$-Traversal Sheaf: For a local order $X$, define the sheaf $O_X^{(n)}$: $O_X^{(n)}(U) := \{A \subseteq U | A \cong E \text{ for some } n\text{-Euclidean local order } E\}$

Key properties:

• This indeed forms a sheaf (Proposition 4.3)
• The stalks of the sheaf correspond to $n$-traversals (Proposition 4.4)

Blowup Construction

Étale Bundle Correspondence: Using the standard correspondence between sheaves and étale bundles, $O_X^{(n)}$ corresponds to the étale bundle $\beta_X^+ : B(O_X^{(n)}) \to X$.

Blowup Definition: The $n$-blowup $\tilde{X}$ is defined as: $\tilde{X} := \bigsqcup_{x \in X} \{A_x \in O_{X,x}^{(n)} | x \in A\} \subseteq B(O_X^{(n)})$

where $O_{X,x}^{(n)}$ is the stalk of the sheaf at $x$.

Universal Properties

Theorem 4.8: The blowup $\tilde{X}$ satisfies the universal property: for any $n$-dimensional Euclidean local order $E$ and local embedding $f: E \to X$, there exists a unique continuous map $\tilde{f}: E \to \tilde{X}$ making the following diagram commute:

    X̃
E ← X
  ↗ ↑
 f̃  βX
    f

and $\tilde{f}$ is a local embedding.

Combinatorial Description for Precubical Sets

For a precubical set $P$, a completely combinatorial description of the blowup can be given:

Local Precubical Structure: $(P,v)$ is a locally precubical structure of $\mathbb{R}^n$ if and only if there exists an ordered neighborhood of $v$ homeomorphic to $\mathbb{R}^n$.

Combinatorial Characterization Theorem 5.12: $(P,v)$ is a locally precubical structure of $\mathbb{R}^n$ if and only if:

• $v$ has $n$ incoming edges and $n$ outgoing edges, labeled by $\{-n, -(n-1), \ldots, -1\}$ and $\{1, \ldots, n\}$
• For each $k$-tuple $p$ not containing $i$ and $-i$, there is exactly one $k$-cube $c(p)$ adjacent to $v$
• These are all the cubes adjacent to $v$

Experimental Setup

This paper is a purely mathematical theoretical study, with results verified primarily through theorem proofs and constructive methods, without experimental setups in the traditional sense. The main "verifications" include:

Theoretical Verification

1. Construction Correctness: Verifies the well-definedness of the blowup construction through rigorous mathematical proofs
2. Universal Properties: Proves that the construction satisfies expected categorical universal properties
3. Functoriality: Verifies the functorial properties of the construction

Example Analysis

The paper provides two important examples:

1. Case of Graph $G$: Four 1-traversals corresponding to four paths at the origin
2. Case of Precubical Set $K$: Nine 2-traversals at the origin, demonstrating more complex singularity structure

Experimental Results

Main Theoretical Results

Existence of Universal Blowup: Every locally ordered space admits an $n$-blowup satisfying the universal property.

Coreflectivity: The category of Euclidean local orders $E_n$ is coreflective in the category of locally ordered spaces, with the right adjoint functor given by $X \mapsto \tilde{X}$.

Complete Combinatorial Characterization: For locally ordered realizations of precubical sets, the blowup admits a purely combinatorial description, realized through the presheaf $\text{Comb}_P$.

Uniqueness Theorem: If the realization of a precubical set $P$ is isomorphic to $\mathbb{R}^n$, then $P \cong \mathbb{R}^{\otimes n}$ (the infinite grid).

Path Lifting Properties

Local Lifting Conditions: Provides equivalent conditions ensuring the local directed path lifting property:

1. The family of maps $\{z_* | z \in O_{\mathbb{R}^n,0}^{(1)} \setminus \{A_0 | 0 \notin A\}\}$ is jointly surjective at all $x \in X$
2. Every directed path has a local lift at each point

Global Lifting: Under certain conditions (such as discrete singularity sets), local lifting properties imply global lifting.

Related Work

Topological Methods in Concurrency Theory

• Higher-Dimensional Automata: True concurrency models developed by Pratt Pra91 and van Glabbeek vG91, vG06
• Directed Algebraic Topology: Application of algebraic topology methods to concurrency theory by Fajstrup et al. FRG06, FGH+16

Locally Ordered Space Theory

• Foundational Theory: Model category structures by Bubenik and Worytkiewicz BW05
• Realization Theory: Relationships between geometric realizations of precubical sets and locally ordered realizations

Blowup Theory

• Classical Blowup: Blowup constructions in algebraic geometry
• Graph Product Case: Specific construction by Haucourt Hau25 for graph products

Conclusions and Discussion

Main Conclusions

1. Theoretical Completeness: Establishes a complete framework for blowup theory of locally ordered spaces, from abstract sheaf-theoretic constructions to concrete combinatorial descriptions
2. Applied Value: Provides more powerful tools for topological modeling of concurrent programs
3. Technical Innovation: Sheaf-theoretic methods significantly simplify proofs and enhance conceptual clarity

Limitations

1. Path Lifting: Not all blowups automatically satisfy the directed path lifting property; additional conditions are required
2. Dimension Restrictions: The $(n+1)$-blowup may "forget" points of $n$-dimensional Euclidean spaces
3. Computational Complexity: Although combinatorial descriptions are provided, actual computation may remain complex

Future Directions

1. Differential Structure: Investigation of smooth manifold structures on blowups, defining pseudo-metrics reflecting execution time
2. Homotopy Theory: Development of directed homotopy lifting theory to handle homotopy-equivalent path lifting
3. Generalization of Applications: Extension of methods to differential geometry and sequence spaces

In-Depth Evaluation

Strengths

1. Theoretical Depth: Generalizes concrete graph product results to general settings, demonstrating profound mathematical insight
2. Methodological Innovation: The application of sheaf-theoretic methods both simplifies proofs and provides conceptual clarity
3. Practical Value: Combinatorial descriptions make theoretical results operationally feasible in practice
4. Completeness: The theoretical system is complete, ranging from abstract constructions to concrete applications

Weaknesses

1. Technical Threshold: Requires deep background in sheaf theory, category theory, and algebraic topology
2. Scope of Application: Primarily targets precubical sets; applicability to other geometric objects remains unclear
3. Computational Efficiency: Does not address complexity and feasibility of practical computation

Impact

1. Disciplinary Contribution: Provides important theoretical tools for directed algebraic topology
2. Cross-Disciplinary Value: Connects algebraic topology, category theory, and computer science
3. Foundation for Future Research: Establishes a foundation for further research in related fields

Applicable Scenarios

1. Concurrent System Modeling: Topological analysis of complex concurrent programs
2. Higher-Dimensional Automata Theory: Mathematical study of true concurrent systems
3. Directed Topology: Topological problems requiring consideration of directionality

References

The paper cites extensive related work, primarily including:

• Hau25 Original work by Haucourt on blowups of graph products
• FRG06, FGH+16 Foundational literature on directed algebraic topology
• MM12 Classical textbook on sheaf theory by MacLane and Moerdijk
• BW05 Model category theory for locally ordered spaces by Bubenik and Worytkiewicz