Directed Spaces

並列処理の理論 の topological model として directed space と呼ばれるものがある。 Grandis [Gra03; Gra02] により導入された。 それを, 通常の algebraic topology と類似の手法で調べることを, directed algebraic topology という。 Grandis の本 [Gra09] がある。 Fajstrup, Goubault, Haucourt, Mimram, Raussen の [Faj+16] や Raussen の論文 [Rau07] もみるとよい。

定義は簡単で, 位相空間 \(X\) の中で「使ってもよい道」を指定するだけである。

定義としては, Moore path を使うこともできる。あまりそのような文献は, 見当らないが。

d-space の間の morphism は, 当然, d-structure を保つ連続写像である。 閉区間 \([0,1]\) の d-structure として, 順序を保つ道を指定したものを \(\overrightarrow {I}\) と表すと, d-space \(X\) に対し, \(X\) の d-path とは, d-space の morphism \(\overrightarrow {I}\to X\) のことである。

この向きの指定された区間 \(\overrightarrow {I}\) は, d-space の morphism の間にホモトピーを定義するときにも使うことができるが, そのホモトピーは同値関係を定めない。 通常の区間 \([0,1]\) をパラメータに使ったホモトピーも当然定義され, それは同値関係を定める。

• directed homotopy

ホモトピーが定義されれば, それを用いてホモトピー同値が定義できるが, Raussen [Rau21] は, 単純に位相空間の場合のホモトピーを directed homotopy に変えただけの定義では問題があることを指摘し, 新たに directed homotopy equivalence を定義している。 そして, それが two-out-of-three をみたすことを示している。

• directed homotopy equivalence

ホモロジーの directed 版は, Dubut と Goubault と Goubault-Larrecq [DGG17] により考えられている。

• directed homology

基本群の類似は, fundamental category である。Grandis の [Gra03] で既に導入されている。

• directed space の fundamental category

他の concurrency の topological model, 例えば (local) pospace から, directed space を構成することもできる。 Lee と Yetter [LY22] は, stratified space から, local pospace を作ることにより, directed space を構成している。

拡張としては, Grandis による controlled space [Gra24; Graa; Grab] がある。

• controlled space or c-space

References

[DGG17]

Jérémy Dubut, Eric Goubault, and Jean Goubault-Larrecq. “Directed homology theories and Eilenberg-Steenrod axioms”. In: Appl. Categ. Structures 25.5 (2017), pp. 775–807. url: https://doi.org/10.1007/s10485-016-9438-y.

[Faj+16]

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, and Martin Raussen. Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy. Springer, [Cham], 2016, pp. xi+167. isbn: 978-3-319-15397-1; 978-3-319-15398-8. url: https://doi.org/10.1007/978-3-319-15398-8.

[Graa]

Marco Grandis. The topology of critical processes, II (The fundamental category). arXiv: 2401.16290.

[Grab]

Marco Grandis. The topology of critical processes, III (Computing homotopy). arXiv: 2409.02972.

[Gra02]

Marco Grandis. “Directed homotopy theory. II. Homotopy constructs”. In: Theory Appl. Categ. 10 (2002), No. 14, 369–391.

[Gra03]

Marco Grandis. “Directed homotopy theory. I”. In: Cah. Topol. Géom. Différ. Catég. 44.4 (2003), pp. 281–316.

[Gra09]

Marco Grandis. Directed algebraic topology. Vol. 13. New Mathematical Monographs. Models of non-reversible worlds. Cambridge: Cambridge University Press, 2009, pp. x+434. isbn: 978-0-521-76036-2. url: http://dx.doi.org/10.1017/CBO9780511657474.

[Gra24]

Marco Grandis. “The topology of critical processes, I (processes and models)”. In: Cah. Topol. Géom. Différ. Catég. 65.1 (2024), pp. 3–34. arXiv: 2309.01991.

[LY22]

I. J. Lee and D. N. Yetter. “Stratified spaces, directed algebraic topology, and state-sum TQFTs”. In: J. Knot Theory Ramifications 31.4 (2022), Paper No. 2250021, 27. arXiv: 1807.07910. url: https://doi.org/10.1142/S0218216522500213.

[Rau07]

Martin Raussen. “Invariants of directed spaces”. In: Appl. Categ. Structures 15.4 (2007), pp. 355–386. url: https://doi.org/10.1007/s10485-007-9085-4.

[Rau21]

Martin Raussen. “Inessential directed maps and directed homotopy equivalences”. In: Proc. Roy. Soc. Edinburgh Sect. A 151.4 (2021), pp. 1383–1406. arXiv: 1906.09031. url: https://doi.org/10.1017/prm.2020.64.