2025-11-14T22:37:11.382598

Non-Hausdorff manifolds over locally ordered spaces via sheaf theory

Chamoun, Haucourt

Locally ordered spaces can be used as topological models of concurrent programs: in that setting, 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. Then we give conditions to ensure that it preserves the execution traces of the corresponding program. Our construction is based on a well-known correspondance between sheaves on a space and Ã©tale bundles over this space. 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 precubical set whose locally ordered realization is isomorphic to $\mathbb{R}^n$.

academic

局所順序空間上の層論を用いた非ハウスドルフ多様体

基本情報

論文ID: 2505.12087
タイトル: Non-Hausdorff manifolds over locally ordered spaces via sheaf theory
著者: Yorgo Chamoun, Emmanuel Haucourt (École Polytechnique)
分類: math.AT (代数的位相幾何学), math.CT (圏論)
発表日時: 2025年10月14日 (arXiv v3)
論文リンク: https://arxiv.org/abs/2505.12087

要約

局所順序空間は並行プログラムの位相モデルとして機能する。この設定において、局所順序は実行過程における時間の不可逆性をモデル化する。特定の条件下では、局所順序多様体を使用することさえ可能である。本論文は、各局所順序空間上の普遍的ユークリッド局所順序を構成する。圏論の用語では、ユークリッド局所順序の部分圏は局所順序空間の圏において余反射的である。次に、対応するプログラム実行軌跡を保持することを保証する条件を与える。構成は空間上の層とその空間上のエタール束の間の周知の対応に基づいている。これはグラフ積実現結果の深遠な一般化である。構成を前立方集合の局所順序実現に特殊化し、それが純組合的記述を許容することを証明する。同じ証明技法を用いて、位相実現とは異なり、 $\mathbb{R}^n$ と同型である局所順序実現を持つ唯一の前立方集合が存在することを証明する。

研究背景と動機

問題背景

並行プログラムのモデル化の必要性: 並行プログラムは複数のプロセスが同時に実行される動作を記述するための数学的モデルを必要とする。従来のグラフモデルは単一プログラムのみを処理でき、並列プログラムはより複雑な構造を必要とする。
時間の不可逆性: プログラム実行過程において、時間は不可逆性を持つ。これは有向構造によってモデル化される必要があり、局所順序空間はまさにこのような構造を提供する。
既存手法の限界:
- グラフのテンソル積は有限型の並列プログラムのみを表現できる
- 許可されない同時操作の組み合わせを表現するために特定の立方体を「除去」する必要がある
- 既存のブローアップ(blowup)構成はグラフ積の特殊な場合にのみ適用可能である

研究動機

著者は、Hau25においてHaucourt がグラフ積に対して開発したブローアップ構成を、より一般的な局所順序空間、特に前立方集合の局所順序実現に一般化することを望んでいる。この一般化は重要な意義を持つ:

多様体表現が可能な前立方集合のクラスを拡大する
微分機械を用いた高次元オートマトンの研究
並行理論に対するより強力な位相的ツールの提供

中核的貢献

普遍的ブローアップ構成: 任意の局所順序空間の普遍的ユークリッド局所順序を構成し、グラフ積の場合の結果(定理1.2)を一般的設定に一般化する。
圏論的特性化: ユークリッド局所順序の部分圏が局所順序空間の圏において余反射的であることを証明する(系4.13)。厳密な圏論的基礎を提供する。
層論的手法: 層とエタール束の対応関係に基づいた体系的構成方法を開発し、証明をより簡潔で概念的に明確にする。
組合的記述: 前立方集合の局所順序実現に対して純組合的なブローアップ記述を与える(定理5.17)。実践において構成を操作可能にする。
一意性結果: 位相実現とは異なり、 $\mathbb{R}^n$ と同型である局所順序実現を持つ唯一の前立方集合が存在することを証明する(定理5.18)。
経路持ち上げ性質: 有向経路の持ち上げ性質を保証する条件を与える。これはプログラム実行軌跡の保持に不可欠である。

方法の詳細

中核的概念の定義

局所順序空間: 位相空間 $X$ に順序基 $B$ を備えたもの。 $B$ の各要素は $X$ の順序開集合であり、以下を満たす:

$B$ の各要素は $X$ の開部分集合である
$B$ は $X$ の位相を生成する
任意の $B, B' \in B$ と $x \in B \cap B'$ に対して、 $x \in B'' \subseteq B \cap B'$ となる $B'' \in B$ が存在する

$n$ -横断(n-traversals): 点 $p$ における $n$ -横断は、部分集合 $A \subseteq X$ が $p$ での胚であり、 $p \in A$ 、 $A$ がある順序開集合の部分集合であり、 $A \cong \mathbb{R}^n$ が順序空間として成立する場合である。

層論的構成

$n$ -横断層: 局所順序 $X$ に対して、層 $O_X^{(n)}$ を定義する: $O_X^{(n)}(U) := \{A \subseteq U | A \cong E \text{ ある } n\text{-ユークリッド局所順序 } E \text{ に対して}\}$

主要性質:

これは実際に層を構成する(命題4.3)
層の茎は $n$ -横断に対応する(命題4.4)

ブローアップ構成

エタール束対応: 層とエタール束の標準的対応を利用して、 $O_X^{(n)}$ はエタール束 $\beta_X^+ : B(O_X^{(n)}) \to X$ に対応する。

ブローアップの定義: $n$ -ブローアップ $\tilde{X}$ は以下のように定義される: $\tilde{X} := \bigsqcup_{x \in X} \{A_x \in O_{X,x}^{(n)} | x \in A\} \subseteq B(O_X^{(n)})$

ここで $O_{X,x}^{(n)}$ は $x$ における層の茎である。

普遍性質

定理4.8: ブローアップ $\tilde{X}$ は普遍性質を満たす。任意の $n$ 次元ユークリッド局所順序 $E$ と局所埋め込み $f: E \to X$ に対して、以下の図が可換となるような唯一の連続写像 $\tilde{f}: E \to \tilde{X}$ が存在する:

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

さらに $\tilde{f}$ は局所埋め込みである。

前立方集合の組合的記述

前立方集合 $P$ に対して、完全に組合的なブローアップ記述を与えることができる:

局所前立方構造: $(P,v)$ が $\mathbb{R}^n$ の局所前立方構造であるのは、 $v$ の順序近傍が $\mathbb{R}^n$ と同型である場合に限る。

組合的特性化定理5.12: $(P,v)$ が $\mathbb{R}^n$ の局所前立方構造であることは以下と同値である:

$v$ は $n$ 本の入辺と $n$ 本の出辺を持ち、 $\{-n, -(n-1), \ldots, -1\}$ と $\{1, \ldots, n\}$ でラベル付けされている
$i$ と $-i$ を含まない各 $k$ 元組 $p$ に対して、 $v$ に隣接する正確に1つの $k$ -立方体 $c(p)$ が存在する
これらが $v$ に隣接するすべての立方体である