[論文レビュー] Bundle gerbes: stable isomorphism and local theory

Michael K. Murray, Daniel Stevenson|ArXiv.org|Aug 26, 1999

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

ひとこと要約

本稿では、バンドルゲーブルの安定同型を導入し、多様体 M 上のバンドルゲーブルの安定同型類と、3次整係数コホモロジー群 H^3(M, Z) の間に一対一対応を確立する。局所理論を構築し、Gajer の BC^x バンドルに関する研究を活用することで、バンドルゲーブルの分類理論を構築し、そのグローバル構造と同値関係を明確にするコホモロジー的分類を提供する。

ABSTRACT

We consider the notion of stable isomorphism of bundle gerbes. It has the consequence that the stable isomorphism classes of bundle gerbes over a manifold M are in bijective correspondence with H^3(M, Z). Stable isomorphism sheds light on the local theory of bundle gerbes and enables us to develop a classifying theory for bundle gerbes using results of Gajer on BC^x bundles.

研究の動機と目的

• バンドルゲーブルの安定同型を定義・分析すること。これは、テンソル積と自明化を尊重する、同型の一般化である。
• 安定同型を導入することで、バンドルゲーブルの局所構造を明確にし、分類を簡素化すること。
• Gajer が得た BC^x バンドルに関する結果を用いて、バンドルゲーブルの分類理論を構築すること。
• バンドルゲーブルの安定同型類が H^3(M, Z) と一対一対応することを証明し、コホモロジー的不変量を提供すること。

提案手法

• テンソル積と自明化を尊重する同値関係として、安定同型をバンドルゲーブルに定義すること。
• 局所自明化と移行データを用いて、開被覆上のバンドルゲーブルの構造を分析すること。
• Gajer の BC^x バンドル理論を応用し、バンドルゲーブルの分類空間を構成すること。
• 安定同型類を用いて、バンドルゲーブルを自明化できない障害が H^3(M, Z) に属することを示すこと。
• Čech コホモロジーとバンドルゲーブルのコサイクルを用いて、安定同型類と H^3(M, Z) の間の全単射を確立すること。
• 安定同型が Dixmier-Douady類を保存することを活用し、それがバンドルゲーブルを安定同型の下で完全に分類することを確認すること。

実験結果

リサーチクエスチョン

• RQ1 バンドルゲーブルに、厳密な同型を超えた幾何的・位相的不変量を捉える同値関係をどのように定義できるか？
• RQ2 安定同型は、バンドルゲーブルの局所理論を簡素化する役割を果たすか？
• RQ3 コホモロジー的不変量を用いてバンドルゲーブルを分類できるか？ もしそうなら、どのコホモロジー群がそれらを分類するか？
• RQ4 Gajer の BC^x バンドルの理論は、バンドルゲーブルの分類理論にどのように寄与するか？
• RQ5 バンドルゲーブルの安定同型類と、H^3(M, Z) におけるその Dixmier-Douady 級数の正確な関係は何か？

主な発見

• 多様体 M 上のバンドルゲーブルの安定同型類は、3次整係数コホモロジー群 H^3(M, Z) の元と一対一対応する。
• 安定同型は、移行データや自明化の観点から、バンドルゲーブルの局所構造を理解する自然な枠組みを提供する。
• Gajer の BC^x バンドルに関する結果を用いて、バンドルゲーブルの分類理論が構築され、H^3(M, Z) のコホモロジー類の幾何的実現が可能になる。
• バンドルゲーブルの Dixmier-Douady 級数は安定同型の下で不変であり、それが完全不変量としての役割を果たすことが確認された。
• 本稿では、バンドルゲーブルが自明でない障害が、安定同型の下で正確に H^3(M, Z) の類によって測定されることを示した。
• 理論により、安定同型が、幾何的・位相的同値性の下でのバンドルゲーブルの分類に適切な同値関係であることが示された。