[論文レビュー] Higher Groupoid Actions, Bibundles, and Differentiation

Li Du|arXiv (Cornell University)|Dec 14, 2015

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

ひとこと要約

本学位論文は、区間上のケン複体および内部ケン複体を用いた単体的アプローチにより、高次群ガロア群作用、主バンドル、およびバイバンドルを展開する。2-群ガロア群に対して、単体的定義がカテゴリフィケーションに基づくアプローチと一致することを確立し、高次リー群ガロア群から高次リー代数束への微分化に関する重要な定理を示している。

ABSTRACT

In this thesis, we employ simplicial methods to study actions, principal bundles, and bibundles of higher groupoids. Roughly, we use Kan fibrations to model actions of higher groupoids, we use pairs of a Kan fibration and a special acyclic fibration to model principal bundles of higher groupoids, we use inner Kan fibrations over the interval to model bibundles of higher groupoids. In particular, we show that our definitions given by the simplicial method agree with those given by the categorification approach to actions, principal bundles, and bibundles of 2-groupoids. In addition, we use the simplicial technique to prove a theorem on differentiation of higher Lie groupoids, which shows that the differentiation functor sends a higher Lie groupoid to a higher Lie algebroid.

研究の動機と目的

• 高次群ガロア群の作用、主バンドル、およびバイバンドルをモデル化する単体的フレームワークの構築。
• 単体的定義と2-群ガロア群における既存のカテゴリフィケーションアプローチの一致の確立。
• 高次リー群ガロア群から高次リー代数束への微分化のための厳密な基礎の提供。
• ホモトピー代数を用いて、古典的リー群ガロア群理論を高次カテゴリカル構造へ一般化。
• 幾何的および代数的モデルの間の整合性の確立。

提案手法

• 群ガロア群の分類空間上のケン複体を用いて、高次群ガロア群の作用をモデル化。
• 主バンドルを、ケン複体と特別なアセイクル複体のペアとして表現。
• 単体的圏における区間対象上の内部ケン複体を用いて、バイバンドルをモデル化。
• リフト性質およびコスケルトン関手を含む単体的技法を用いて、複体の解析。
• 準カテゴリおよびケン複体の理論を適用し、ホモトピー的整合性を保証。
• 単体的近似を用いて、高次リー群ガロア群から高次リー代数束への微分化関手の構成。

実験結果

リサーチクエスチョン

• RQ1 単体的技法を用いて、高次群ガロア群の作用を定義し、特徴づける方法は何か？
• RQ2 高次群ガロア群の文脈における主バンドルおよびバイバンドルの単体的特徴づけは何か？
• RQ3 2-群ガロア群に対して、単体的定義の作用、バンドル、およびバイバンドルは、カテゴリフィケーションに基づく定義と一致するか？
• RQ4 単体的技法を用いて、高次リー群ガロア群から高次リー代数束への微分化関手を厳密に確立できるか？
• RQ5 リフト性質および複体は、高次群ガロア群構造における整合性を保証するために果たす役割は何か？

主な発見

• 2-群ガロア群の文脈において、高次群ガロア群の作用、主バンドル、およびバイバンドルの単体的定義は、カテゴリフィケーションに基づく定義と同値である。
• 高次リー群ガロア群から高次リー代数束への微分化関手は、適切に定義されており、関連する幾何的および代数的構造を保存する。
• ケン複体は、単体的設定における群ガロア群作用の自然なモデルを提供し、古典的作用原理を一般化する。
• 区間上の内部ケン複体は、バイバンドルを正しくモデル化し、高次群ガロア群のモリタ同値構造を捉えている。
• コスケルトンおよびスケルトン関手の使用により、高次群ガロア群の単体的構造を効果的に制御できる。
• このフレームワークは、体系的な微分化プロセスをサポートしており、高次リー群ガロア群が単体的近似を介して高次リー代数束に統合されることを示している。