[論文レビュー] Flows revisited: the model category structure and its left determinedness

Philippe Gaucher|arXiv (Cornell University)|Jun 21, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用数 7

ひとこと要約

この論文は、流れ（flows）のモデルカテゴリ構造——並行性のための位相的モデル——を再考し、複雑な位相的議論を避けるために Isaev の枠組みを用いてより概念的な構成を提示する。Olschok の手法を用いてモデルカテゴリが左決定的であることを証明し、ホモトピー的局所化を可能にするとともに、弱同値の下でも因果構造を保つ。これは並行システムにおける観測の精錬をモデル化する上で不可欠である。

ABSTRACT

Flows are a topological model of concurrency which enables to encode the notion of refinement of observation and to understand the homological properties of branchings and mergings of execution paths. Roughly speaking, they are Grandis' $d$-spaces without an underlying topological space. They just have an underlying homotopy type. This note is twofold. First, we give a new construction of the model category structure of flows which is more conceptual thanks to Isaev's results. It avoids the use of difficult topological arguments. Secondly, we prove that this model category is left determined by adapting an argument due to Olschok. The introduction contains some speculations about what we expect to find out by localizing this minimal model category structure. Les flots sont un mod\\`ele topologique de la concurrence qui permet d'encoder la notion de raffinement de l'observation et de comprendre les propri\\'et\\'es homologiques des branchements et des confluences des chemins d'ex\\'ecution. Intuitivement, ce sont des $d$-espaces au sens de Grandis sans espace topologique sous-jacent. Ils ont seulement un type d'homotopie sous-jacent. Cette note a deux objectifs. Premi\\`erement de donner une nouvelle construction de la cat\\'egorie de mod\\`eles des flots plus conceptuelle gr\\^ace au travail d'Isaev. Cela permet d'\\'eviter des arguments topologiques difficiles. Deuxi\\`emement nous prouvons que cette cat\\'egorie de mod\\`eles est d\\'etermin\\'ee \\`a gauche en adaptant un argument de Olschok. L'introduction contient quelques sp\\'eculations sur ce qu'on s'attend \\`a trouver en localisant cette cat\\'egorie de mod\\`eles minimale.

研究の動機と目的

• 複雑な位相的議論に依存せずに、Isaev の結果を用いて流れのモデルカテゴリのより概念的な構成を提供すること。
• 流れのモデルカテゴリが左決定的であることを確立し、良好に振る舞うホモトピー的局所化の存在を保証すること。
• 弱同値の下でも因果構造を保つことにより、スイスフラッグ例における有向経路の崩壊を回避すること。
• 観測の精錬の形式的定式化および分岐と合流のホモロジー的性質の不変性を支援すること。
• 並行システムにおける双模倣と因果的不変量を研究するため、最小モデル構造の局所化を可能にすること。

提案手法

• Isaev の枠組みを活用し、より概念的で圏論的な方法で流れのモデルカテゴリを構成する。
• Olschok の議論を適用し、適切な生成コフェイブルのクラスの存在に依拠して左決定性を証明する。
• 流れと経路空間を含む引き戻し図式を用いて、上げ上げ性と弱同値を分析する。
• 関手 𝔓: Flow → Top が極限を保存することに依拠し、位相的ファイブレーションを流れのファイブレーションに移す。
• Top における Hurewicz ファイブレーション理論を応用し、流れの圏におけるファイブレーショナリティ条件を導出する。
• 弱同値の 2 つに 1 つの性質と、自明なファイブレーションが最小の局所化に属することを用いて、写像が局所化に属することを結論づける。

実験結果

リサーチクエスチョン

• RQ1 流れのモデルカテゴリ構造は、高度な位相的技法に依存せずに、より概念的な方法で再構成可能か？
• RQ2 流れのモデルカテゴリは左決定的か？ これにより、良好に振る舞うホモトピー的局所化の存在が保証されるか？
• RQ3 流れのモデルカテゴリにおける弱同値は、スイスフラッグ例のような並行システムの因果構造を保つか？
• RQ4 コフェアント置換関手は、並行システムにおける観測の精錬の概念を形式化できるか？
• RQ5 実行経路における分岐と合流のホモトピー的不変量は何か？ そして、それらは弱同値の下でも保存されるか？

主な発見

• Isaev の結果を用いて、困難な位相的議論を回避したより概念的な方法で流れのモデルカテゴリが構成された。
• Olschok の手法を用いて、流れのモデルカテゴリが左決定的であることが証明され、ホモトピー的局所化の存在が保証された。
• 流れのモデルカテゴリにおける弱同値は因果構造を保ち、有向区間が収縮可能になるような病理的崩壊を回避する。
• コフェアント置換関手は、並行性モデリングにおける重要な特徴である観測の精錬の概念を形式化する。
• モデルカテゴリは左完全ではあるが、写像 R: {0,1} → {0} の存在によりセルラーではない。これにより、標準的なセルラー性の道具が制限される。
• 最小の局所化はすべての弱同値を含み、証明では任意の弱同値 f が自明なファイブレーションを通じて因数分解され、その際に局所化への属する性質が保存されることを示した。