[論文レビュー] Four Equivalent Versions of Non-Abelian Gerbes

Thomas Nikolaus, Konrad Waldorf|arXiv (Cornell University)|Mar 24, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用数 18

ひとこと要約

この論文は、滑らかで非アーベルな2-バンドルの4つの異なる定式化——Čechコサイクル、分類写像、バンドル2-バンドル、および主2-バンドル——の同値性を確立する。2-圏論およびリー群ガロア理論の高度な道具を用いて、これらの4つのバージョンが2スタックとしてカテゴリカルに同値であることを証明し、それらの間の関係について長年の懸念を解消し、微分幾何学およびゲージ理論における非アーベル2-バンドル理論の統一的枠組みを提供する。

ABSTRACT

We recall and partially improve four versions of smooth, non-abelian gerbes: Cech cocycles, classifying maps, bundle gerbes, and principal 2-bundles. We prove that all these four versions are equivalent, and so establish new relations between interesting recent developments. Prominent partial results we prove are a bijection between continuous and smooth non-abelian cohomology, and an explicit equivalence between bundle gerbes and principal 2-bundles as 2-stacks.

研究の動機と目的

• 微分幾何学における滑らかな非アーベル2-バンドルの4つの異なる定式化の統一と、形式的な同値性の確立。
• バンドル2-バンドルと主2-バンドルの関係について、文献における曖昧さやギャップを解消すること。
• 非アーベル2-バンドル理論の厳密なカテゴリカルな枠組みを、2スタックとアナファンクターを用いて提供すること。
• 連続的および滑らかな非アーベルコホモロジーの間の全単射を証明し、古典的結果を非アーベル設定に拡張すること。
• バンドル2-バンドルと主2-バンドルの間の明示的同値性を2スタックとして構成し、分野における主要な技術的ギャップを埋めること。

提案手法

• 非アーベル2-バンドルの幾何的構造の背後にあるものを、リー群ガロアと群ガロア作用を用いてモデル化する。
• 一般化された群ガロア間の準同型を扱うためにアナファンクターを適用し、滑らかで連続的な構成を可能にする。
• 交差モジュールとリー2群を用いて、非アーベル2-バンドルにおける構造群の構造を符号化する。
• 2スタックの準同型と擬自然変換を用いて、バンドル2-バンドルと主2-バンドルの間の明示的同値性を構成する。
• プラス構成を用いて群ガロアバンドル2-バンドルを定義・研究し、それらをČechコホモロジーと結びつける。
• 2ファンクター同値性に関する一般補題を用いて、局所データをグローバルな2スタックに持ち上げ、すべての定式化にわたる整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 非アーベル2-バンドルの4つの標準的定式化——Čechコサイクル、分類写像、バンドル2-バンドル、主2-バンドル——はカテゴリカルに同値であるか？
• RQ2 リー群に対して、連続的および滑らかな非アーベルコホモロジーの間で全単射を確立できるか？
• RQ3 バンドル2-バンドルの2スタックと主2-バンドルの2スタックの間に、自然な同値性が存在するか？
• RQ4 滑らかなカテゴリーにおける非アーベル2-バンドルの幾何的定義とコホモロジー的定義は、どのように関係しているか？
• RQ5 アナファンクターと2スタックは、非アーベル2-バンドルの構成と分類において、どのような役割を果たすか？

主な発見

• 論文は、非アーベル2-バンドルの4つのバージョン——Čechコサイクル、分類写像、バンドル2-バンドル、主2-バンドル——の完全なカテゴリカル同値性を確立した。
• 連続的および滑らかな非アーベルコホモロジーの間の全単射を証明し、滑らかなコホモロジーが連続コホモロジーと同一の分類データを捉えていることを示した。
• バンドル2-バンドルの2スタックと主2-バンドルの2スタックの間の明示的同値性が構成され、長年の未解決問題が解決された。
• 同値性は擬自然変換と2同型を介して実現され、2ファンクター同値性に関する一般補題を用いて局所データからグローバルな2スタックに持ち上げられた。
• この枠組みは任意のリー群を扱えるほど一般であり、微分幾何学およびゲージ理論における非アーベル2-バンドルの均一な言語を提供する。
• 結果として、文献に散在する異なる手法が統一され、高次ゲージ理論およびトポロジカル場理論の今後の研究の基盤が提供された。