[論文レビュー] On the duality between trees and disks

David Oury|arXiv (Cornell University)|Feb 14, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 23

ひとこと要約

本稿は、複数の同等な圏的枠組みを通じて、円板の圏とΘの圏の間の二重同値を確立し、ラベル付き木を新しい組合せ的モデルとして導入する。この研究は、円板とΘを木、順序数、区間を用いて再解釈することで、ジョイアルの双対性に対する概念的で帰納的な証明を提供する。主な結果として、ラベル付き木の圏と帰納的に定義された構造の圏の間の同値性が示され、ジョイアルの構成に対する新たな洞察をもたらす。

ABSTRACT

A combinatorial category Disks was introduced by André Joyal to play a role in his definition of weak omega-category. He defined the category Theta to be dual to Disks. In the ensuing literature, a more concrete description of Theta was provided. In this paper we provide another proof of the dual equivalence and introduce various categories equivalent to Disk or Theta, each providing a helpful viewpoint. In this second version the paper's contents have been reorganized with the goal of a more readable presentation. We define augmented categories and their reduced counterparts (which lack a single trivial object of the augmented category). These augmented categories are more suitable for inductive arguments and their reduced counterparts are equivalent to Disk and Theta. The equivalence between Disk and Theta is demonstrated in Sections 4 and 6 using categories inductively defined (in Section 3) from intervals and ordinals. The last two sections take a more categorical perspective, constructing categories of so-called labeled trees and showing that they are equivalent to their inductively defined counterparts, and so to Disk and Theta. The distinction between augmented and reduced categories corrects an error in the first version where the terminal tree was included in the category Disk.

研究の動機と目的

• ジョイアルの円板の圏とΘの圏の間の双対性を、帰納的かつ圏論的メソッドを用いて、新たな概念的証明を提供すること。
• ラベル付き木と順序数グラフという同等な圏的モデルを導入・形式化し、円板とΘの構造を明確にすること。
• グロブュラー基数の自由ω-圏が、それに対応する順序数グラフの自由ω-圏と同型であることを示し、圏的同値性を強化すること。
• 帰納的に定義された圏（例：$i\tilde{\nabla}$, $i\tilde{\nabla}$）と木に基づくモデル（$t\tilde{\nabla}$, $t\tilde{\nabla}$）の間の同値性を確立し、ジョイアルの構成に対する新たな視点を提供すること。
• ラベル付き木が有限族構成の自然で構造的な置き換えとして機能することを示し、既存のΘとDiskの記述を統合・一般化すること。

提案手法

• 順序数の写像の左および右随伴を用いて、順序数と区間の間の双対性を定義し、$Ord$における基礎的双対性を確立する。
• 初期対象と帰納的極限を用いて、それぞれ$\tilde{\nabla}_{+}$と$\tilde{\nabla}_{+}$から帰納的に定義された圏$i\tilde{\nabla}_{+}$と$i\tilde{\nabla}_{+}$を構成する。
• 頂点が区間または順序数でラベル付けされたラベル付き木（$t\tilde{\nabla}_{+}$, $t\tilde{\nabla}_{+}$）を導入し、射が余積と包含写像を介して構造を保存することを保証する。
• 余積と包含写像の共同全射性を用いて、$i\tilde{\nabla}_{+}$と$t\tilde{\nabla}_{+}$、および$i\tilde{\nabla}_{+}$と$t\tilde{\nabla}_{+}$の間の同型を確立する。
• ラベル付き木と順序数グラフに対する制限およびスパイラル操作を用いて帰納的推論を可能にし、圏間の函手を構成する。
• 有限余積および余積完備化函手（$Fam_{\text{Σ}}$, $Fam_{\text{Π}}$）を活用し、木に基づくモデルとジョイアルの元々の構成とを関連づけ、$t\tilde{\nabla}$と$t\bar{\nabla}$をこれらの完備化の修正版として示す。

実験結果

リサーチクエスチョン

• RQ1 ジョイアルの円板の圏とΘの圏の間の双対性を、概念的で帰納的なアプローチを用いて再証明する方法は何か？
• RQ2 ジョイアルの$Disk$と$\Theta$に同等な圏的構造は何か？ それらは弱い$\omega$-圏に対する新たな洞察をどのように提供するか？
• RQ3 区間または順序数でラベル付けされたラベル付き木は、それぞれ$Disk$と$\Theta$の組合せ的モデルとして機能できるか？ もしそうなら、それらは帰納的構成とどのように関係するか？
• RQ4 制限およびスパイラル操作は、グロブュラー基数、順序数グラフ、ラベル付き木を結ぶ役割を果たすか？
• RQ5 $i\tilde{\nabla}_{+}$と$t\tilde{\nabla}_{+}$、および$i\tilde{\nabla}_{+}$と$t\tilde{\nabla}_{+}$の同値性は、$Disk$と$\Theta$の間の双対性をどのように支持するか？

主な発見

• 区間でラベル付けされた頂点を持つラベル付き木の圏$t\tilde{\nabla}$は、ジョイアルの圏$Disk$と同値であり、円板のための新しい組合せ的モデルを提供する。
• 順序数でラベル付けされた頂点を持つラベル付き木の圏$t\tilde{\nabla}$は、圏$\Theta$と同値であり、ジョイアルの$\Theta$の木に基づく解釈を提供する。
• 帰納的に定義された圏$i\tilde{\nabla}_{+}$は$t\tilde{\nabla}_{+}$と同値であり、$i\tilde{\nabla}_{+}$は$t\tilde{\nabla}_{+}$と同値である。同値性は余積と包含写像の共同全射性を用いて証明される。
• 函手$\Xi_{\Delta}: t\tilde{\nabla}_{+} \to i\tilde{\nabla}_{+}$は全射的かつ本質的に全射的であり、したがって圏の同値である。
• グロブュラー基数の自由$\omega$-圏は、それに対応する順序数グラフの自由$\omega$-圏と同型である。これにより、モデル間の一貫性が確認される。
• 削減された圏$t\tilde{\nabla}$と$t\tilde{\nabla}$は、それらの拡張版同士の同値性を介して、それぞれ$Disk$と$\Theta$と同値である。