[論文レビュー] Introduction to the language of stacks and gerbes

Ieke Moerdijk|ArXiv.org|Dec 19, 2002

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

ひとこと要約

本稿は、非可換 Čech コホロロジーを用いて、主バンドルやバンドルゲルベを含む幾何的構造の分類における役割に焦点を当て、スタックとゲルベの簡潔でアクセスしやすい入門を提供する。ゲルベ、群コホロロジーの層、微分幾何学との関係を確立し、De Rham コホロロジーにおける曲率類がバンドルゲルベ上の群コホロロジー接続から生じることを示す。

ABSTRACT

This is an introduction to gerbes for topologists, with emphasis on non-abelian cohomology.

研究の動機と目的

• 代数幾何学の前提知識のないトポロジーの学生を対象に、スタックとゲルベについて自己完結的で教育的な入門を提供すること。
• ファイバードカテゴリおよびスタックの言語を用いて、与えられたバンドをもつゲルベが非可換 Čech 2次コサイクルによって分類されることを説明すること。
• バンドルゲルベとそのDe Rham コホロロジーにおける曲率類の導入により、抽象的ゲルベ理論と微分幾何学を結びつけること。
• バンドルゲルベ上の群コホロロジー接続の存在を示し、Mayer-Vietoris 論法を用いて曲率形式ととの関係を明らかにすること。

提案手法

• プレシェーブ、シェーブ、エタール空間の枠組みを用いて、カテゴリカルな随伴を介してスタックの直感的把握を図る。
• ファイバードカテゴリ、プリスタック、スタックを、プレシェーブ、分離プリプレシェーブ、シェーブの類似物として導入する。
• バンド（liens）を用いてゲルベを定義し、非可換 Čech コサイクル（2次）を用いてその分類を構成する。
• 固定されたバンドをもつゲルベの各同値類が、群コホロロジーの層から生じることを示す。
• Mayer-Vietoris 技法を適用し、$M \times_X M$ 上の曲率形式を $U \times_X U$ に持ち上げ、さらに $X$ に持ち上げる。
• 関連する $S^1$-バンドル上の通常の接続の引き戻しとそのテンソル積を用いて、バンドルゲルベ上の群コホロロジー接続を構成する。

実験結果

リサーチクエスチョン

• RQ1 非可換 Čech コホロロジー（2次）を用いて、ゲルベはどのように分類可能か？
• RQ2 ファイバードカテゴリ、プリスタック、スタックの間のカテゴリカルな関係は何か？これはシェーブ理論の階層とどのように類似しているか？
• RQ3 バンドルゲルベ上の群コホロロジー接続とDe Rham コホロロジーにおける曲率形式の関係は何か？
• RQ4 バンドルゲルベ上に群コホロロジー接続が存在するための条件は何か？また、それを明示的に構成する方法は？
• RQ5 バンドルゲルベの曲率類が、その Čech コサイクルから得られるコホロロジー類と一致する条件は何か？

主な発見

• 固定されたバンドをもつゲルベの同値類は、すべて群コホロロジーの層によって表され、非可換2次コホロロジーのカテゴリカルな実現が確立される。
• バンドルゲルベ上の群コホロロジー接続の曲率2形式 $\kappa$ は、$M \times_X M \times_X M$ 上でコサイクル条件 $\pi_{12}^*(\kappa) + \pi_{23}^*(\kappa) = \pi_{13}^*(\kappa)$ を満たす。
• Mayer-Vietorisにより、$U \times_X U$ 上の曲率 $\kappa$ は、$U$ 上の2形式 $\lambda$ に持ち上げられ、$\kappa = \pi_2^*(\lambda) - \pi_1^*(\lambda)$ を満たす。
• $X$ 上の3形式 $\xi$ を $d\lambda = \pi^*(\xi)$ で定義すると、$\xi$ は閉形式かつ整数的であり、そのコホロロジー類 $[\xi] \in H^3_{\text{DR}}(X)$ は、Čech コサイクルから得られるクラスと一致する。
• バンドルゲルベ上には常に群コホロロジー接続が存在し、$M$ 上の $S^1$-バンドル上の通常の接続の引き戻しを用いて構成可能である。
• $G \to M \times_X M$ 上に誘導された接続は群コホロロジー構造と整合的であり、必要なコサイクル恒等式を満たす。