[論文レビュー] The simplicial interpretation of bigroupoid 2-torsors

Igor Baković|ArXiv.org|Feb 19, 2009

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

ひとこと要約

この論文は、大群倉2- torsor からその作用する大群倉に至る標準的2関手のDuskinニュ一が、正確にDuskin-Glenn単体的2- torsor に一致することを示すことにより、大群倉2- torsor に単体的解釈を与える。主な結果は、大群倉がカテゴリに主2作用を介して作用するとき、対応する単体的構造は非球面的であり、1-コスケレタルであり、正確なファイブレーション条件を満たす。これにより、群倉のtorsor のカテゴライゼーションによって、古典的な単体的2- torsor が実現される。

ABSTRACT

Actions of bicategories arise as categorification of actions of categories. They appear in a variety of different contexts in mathematics, from Moerdijk's classification of regular Lie groupoids in foliation theory, to Waldmann's work on deformation quantization. For any such action we introduce an action bicategory, together with a canonical projection (strict) 2-functor to the bicategory which acts. When the bicategory is a bigroupoid, we can impose the additional condition that action is principal in bicategorical sense, giving rise to a bigroupoid 2-torsor. In that case, the Duskin nerve of the canonical projection is precisely the Duskin-Glenn simplicial 2-torsor.

研究の動機と目的

• 大群倉2- torsor を単体的構造の観点から特徴づけること。
• Duskinニュ一を介して、2-圏的作用と単体的ホモトピー論の間の橋渡しをすること。
• カテゴリ上の主2作用が、正確なファイブレーションおよびコスケレティカル条件を満たす単体的2- torsor を生じることを示すこと。
• 群倉のtorsor理論をカテゴライゼーションの原則を用いて2-圏的設定に一般化すること。
• トポス内での大群倉作用から生ずる2- torsor の単体的解釈を提供すること。

提案手法

• 作用2圏を構成し、作用カテゴリから作用する大群倉への標準的厳密2関手を定義すること。
• 正確なファイブレーションおよびコスケレティカル条件を満たす主2作用として大群倉2- torsor を定義すること。
• Duskinニュ一を用いて2関手を単体的集合に翻訳すること。
• ニュ一が非球面的かつ1-コスケレタルであることを証明し、Duskin-Glenn単体的2- torsor の条件を満たすことを保証すること。
• ファイバードプロダクト上の誘導関手が全単射的かつ本質的に全射である性質を活用して、一意な2-単体形を構成すること。
• ニュ一が次元1より上での正確なKan条件を満たすことを検証し、それが単体的2- torsor であることを確認すること。

実験結果

リサーチクエスチョン

• RQ1 Duskinニュ一を用いて、大群倉2- torsor をどのように単体的言語で解釈できるか。
• RQ2 2関手のDuskinニュ一がDuskin-Glenn単体的2- torsor であるための条件は何か。
• RQ3 カテゴリ上の主2作用が、1-コスケレタルかつ非球面的な単体的集合を生じる条件は何か。
• RQ4 群倉作用のカテゴライゼーションは、単体的ハイパーグループオイドおよびtorsor とどのように関係するか。
• RQ5 誘導関手の全単射的かつ本質的に全射である性質が、単体的2- torsor の構成において果たす役割は何か。

主な発見

• 大群倉2- torsor からその作用する大群倉への標準的2関手のDuskinニュ一は、Duskin-Glenn単体的2- torsor に一致する。
• 2- torsor のニュ一は非球面的であり、高次ホモトピー群が自明であることを意味する。
• ニュ一は1-コスケレタルであり、すべての高次単体が1-単体形およびその合成により決定されることを意味する。
• 2関手はすべてのn ≥ 2に対して正確なファイブレーションであり、単体的構造が必要な正確性条件を満たすことを保証する。
• 誘導関手の全単射的かつ本質的に全射である性質により、任意の1-ホーンを埋める一意な2-単体形の存在が保証される。
• この構成により、主2作用と単体的2- torsor の間の明確な対応関係がDuskinニュ一を介して確立される。