[論文レビュー] A convenient category for directed homotopy

Lisbeth Fajstrup, Jir̆ı́ Rosický|arXiv (Cornell University)|Aug 29, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 43

ひとこと要約

本稿は、適切に順序付けられた立方体によって生成されるd空間の全部分圏であるd-SpaceB—方向付きホモトピーのための便利な圏—を提案する。この圏が局所的コンパクトであること、つまり因数分解系の存在を含む強力な圏的性質を保証することを示している。主な貢献は、任意のファイバー小の位相的圏におけるI生成対象の圏が局所的コンパクトであることを証明し、これはJ. H. Smithの∆-生成空間に関する提案を一般化するものであり、方向付きトポロジーにおける強力なホモトピー的道具、特に普遍的双被覆の構成を可能にする。

ABSTRACT

We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.

研究の動機と目的

• 因数分解系や普遍被覆といった強力な圏的道具をサポートする、方向付きホモトピー理論のための便利な圏を構築すること。
• 順序付き立方体を用いて、J. H. Smithの∆-生成位相的空間に関する提案を方向付き設定に一般化すること。
• ファイバー小の位相的圏におけるI生成対象の圏が局所的コンパクトであることを証明し、方向付きホモトピーの基礎的枠組みを確立すること。
• d-SpaceBがdホモトピーと双ホモトピーを両方ともサポートすることを示し、高次元オートマトンや並行性のモデル化に適していることを示すこと。
• 圏の局所的コンパクト性を用いて、d-SpaceBにおける普遍的双被覆の存在と一意性を確立すること。

提案手法

• d-SpaceBを、適切に順序付けられた立方体によって生成されるd空間の全部分圏として定義し、方向付きトポロジーのための便利な枠組みを構築する。
• 任意のファイバー小の位相的圏Kと小さな全部分圏Iに対して、I生成対象の圏KIが局所的コンパクトであることを証明する。
• 圏が局所的コンパクトであることの特徴づけとして、『cocompleteかつ、生成的対象の小さな拘束全部分圏を有する』という性質を用いる。
• 定理2.2を適用して、局所的コンパクト圏において (colim(C), C⊥) が因数分解系をなすことを示し、普遍的双被覆の構成を可能にする。
• 特定の準同型 C = {0 → ⃗I, ∗ → J} に関する一意的上昇性を用いて、双被覆を定義する。ここでJはI × ⃗Iの余同型である。
• 局所的コンパクト性を活用し、初期対象からXへの唯一の準同型の (colim(C), C⊥) 因数分解として、普遍的双被覆を構成する。

実験結果

リサーチクエスチョン

• RQ1 因数分解系などの強力な圏的性質を保証する、局所的コンパクトであるような方向付きホモトピーのための便利な圏を構築できるか？
• RQ2 ファイバー小の位相的圏における任意の小さな全部分圏Iに対するI生成対象の圏は、局所的コンパクトであるか？
• RQ3 提案された圏d-SpaceBはdホモトピーと双ホモトピーの両方をサポートするか？また、方向付きパスは正しくモデル化されているか？
• RQ4 d-SpaceBにおいて普遍的双被覆を構成できるか？また、それらは一意的か？
• RQ5 本稿の構成は、[8]における局所的に順序付けられた空間における普遍的双被覆の既存の構成と一致するか？

主な発見

• 適切に順序付けられた立方体によって生成される圏d-SpaceBは局所的コンパクトであり、強力な圏的性質を保証する。
• 任意のファイバー小の位相的圏KにおけるI生成対象の圏は局所的コンパクトであり、これはJ. H. Smithの∆-生成空間に関する結果を一般化する。
• 任意の局所的コンパクト圏において、ペア (colim(C), C⊥) は因数分解系をなす。これは普遍的双被覆の構成に不可欠である。
• d-SpaceBにおいて普遍的双被覆は存在し、かつ一意的である。これは初期対象からXへの唯一の準同型の (colim(C), C⊥) 因数分解として構成される。
• 双被覆はC⊥に属する準同型として特徴づけられ、Cは包含写像 {0 → ⃗I, ∗ → J} からなる。これにより、双パスおよびホモトピーの上昇性が一意に保証される。
• この枠組みはdホモトピーと双ホモトピーの両方をサポートし、局所的順序における増加的パスに対応する双パスを正しくモデル化している。これは高次元オートマトンのモデルと整合する。