[論文レビュー] On weak maps between 2-groups

Behrang Noohi|ArXiv.org|Jun 15, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用数 29

ひとこと要約

本稿は、2群間の弱写像を記述するための、コycleフリーで明示的な方法を、新たに導入された代数的構造「バタフライ（butterfly）」を用いて提示する。この構造により、交叉代数系間の弱写像の群作用のモデルが容易に取り扱えるようになる。著者らはバタフライの合成を定義し、点付き連結ホモトピー2型の2-categoryと双等価な2-categoryを構成することで、コycle計算が煩雑になる場合でも、2群の作用や高次ゲルベ理論の体系的かつ明確な研究が可能になる。

ABSTRACT

We give an explicit handy (and cocycle-free) description of the groupoid of weak maps between two crossed-modules in terms of certain digrams of groups which we we call a {\em butterflies}. We define composition of butterflies and this way find a bicategory that is naturally biequivalent to the 2-category of pointed homotopy 2-types. We indicate how certain standard notions of 2-group theory (e.g., kernels, cokernels, extension of 2-groups, and so on) find a simple description in terms of butterflies. We also discuss braided and abelian butterflies.

研究の動機と目的

• 2群間の弱写像を、整合性条件の複雑さゆえに扱いにくいが、コycleを用いずに明示的かつ具体的に記述すること。
• これらの写像に合成演算を定義し、その構造に2-categoryの構造を導入することで、点付き連結2型のホモトピー圏をモデル化すること。
• 従来のコycle手法が不適切な幾何的状況（スタック、ゲルベ、主2束など）にこの枠組みを適用し、2群の作用や2束の構造群の変化を体系的に研究すること。
• グローテンディークのサイト上での相対的状況への一般化（例：リー2群、2群スキーム）を可能にする。
• 2群の2-categoryのナーヴ（nerve）と、点付き連結2型のホモトピー圏との間のホモトピー的同値性を確立すること。

提案手法

• 2群間の弱写像をコycleを用いずに記述できる新たな代数的対象「バタフライ」を導入する。
• バタフライの合成を定義し、対象が交叉代数系、射がバタフライである2-categoryを構成する。
• ナーヴ関手を用いて2群作用を単体的集合に写し、2群作用のナーヴがKan複体であり、2次までのホモトピー群を保存することを示す。
• 単体的集合に対してホワイトヘッドの2群作用関手 W を適用し、単体的集合と2群作用の間のクレイン・アドジョイント関係を確立する。
• 2群作用の導来写像2群作用が、そのナーヴの単体的写像空間と自然にホモトピー同値であることを示し、この構成のホモトピー的正しさを裏付ける。
• ナーヴ関手が2群のホモトピー圏と、点付き連結ホモトピー2型の圏との間で同値を誘導することを確立する。

実験結果

リサーチクエスチョン

• RQ1 2群間の弱写像を、コycle表現の複雑さを避ける形でどのように記述できるか？
• RQ2 弱写像をモデル化する新たな代数的対象を用いて、交叉代数系のカテゴリに2-categoryの構造を定義できるか？
• RQ3 バタフライのカテゴリのホモトピー的意味は何か？また、点付き空間のホモトピー2圏とはどのように関係するか？
• RQ4 この枠組みをスタック上の2群作用の分類や、2主束における構造2群の変化の研究にどのように応用できるか？
• RQ5 この構成を、リー2群やグローテンディークのサイト上での2群スキームといった幾何的状況に、どの程度まで一般化できるか？

主な発見

• 2つの交叉代数系間の弱写像の群作用は、バタフライを用いて明示的に記述可能であり、コycleフリーで関手的モデルを提供する（定理8.4）。
• バタフライの合成により、交叉代数系のカテゴリに2-categoryの構造が定義され、これは点付きホモトピー2型の2-categoryと双等価である。
• 2群作用から単体的集合へのナーヴ関手は、2次までのホモトピー群を保存し、2群のホモトピー圏と点付き連結ホモトピー2型の圏との間で同値を誘導する。
• 2群作用の導来写像2群作用は、自然にそのナーヴの単体的写像空間とホモトピー同値であるため、この構成のホモトピー的正しさが裏付けられる。
• この枠組みにより、弱写像を厳密な準同型に置き換えることで、2群のスタック上への作用の体系的分類が可能になり、整合性の問題を回避できる。
• 理論は相対的状況（例：グローテンディークのサイト上）に一般化可能であり、リー2群や2群スキームへの応用が可能になる。