[論文レビュー] Higher gauge theory I: 2-Bundles

Toby Bartels|ArXiv.org|Oct 14, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用数 51

ひとこと要約

この論文は、微分可能カテゴリ、リー2群、2圏的構造を用いて定義される2バンドル（カテゴライズされたファイバー・バンドル）を導入することで、ゲージ理論のカテゴライズされた枠組みを提示する。2バンドルの2圏と非アーベルゲルベの2圏との間の同値性を確立し、2バンドルの分類がコhomologicalデータ（2移行）によって支配されることを示しており、2圏的レベルにおいてハイパーゲージ理論とゲルベ理論を統合する。

ABSTRACT

I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that certain 2-categories of principal 2-bundles are equivalent to certain 2-categories of (nonabelian) gerbes. This relationship can be (and has been) extended to connections on 2-bundles and gerbes. The main theorem, from a perspective internal to this paper, is that the 2-category of 2-bundles over a given 2-space under a given 2-group is (up to equivalence) independent of the fibre and can be expressed in terms of cohomological data (called 2-transitions). From the perspective of linking to previous work on gerbes, the main theorem is that when the 2-space is the 2-space corresponding to a given space and the 2-group is the automorphism 2-group of a given group, then this 2-category is equivalent to the 2-category of gerbes over that space under that group (being described by the same cohomological data).

研究の動機と目的

• 微分可能カテゴリとリー2群を用いて2バンドルを導入することで、ファイバー・バンドルを高階圏に一般化すること。
• 主2バンドルと非アーベルゲルベの間の圏的同値性を確立し、ハイパーゲージ理論とゲルベ理論を結びつけること。
• 2空間上の2群による2バンドルの2圏が、ファイバーに依存せず、完全にコhomological 2移行データによって決定されることを示すこと。
• 2群と2 torsor を用いて G-2バンドルの構造を形式化し、古典的 G バンドル理論を高階圏へと拡張すること。

提案手法

• 多様体を微分可能2空間に、リー群を整合性を持つリー2群に置き換え、2圏的プルバックと2関係を用いてファイバー・バンドルをカテゴライズ化する。
• 2空間の2圏における2プルバックと2被覆を用いて2バンドルを定義し、2移行データによる局所的自明性を保証する。
• 2移行射と2群の整合性法則を文字列図式で符号化することで、G-2バンドルの2圏を構成する。
• 交差モジュールを用いて2群をモデル化し、2空間への作用を定義することで、G-2 torsor と関連する2バンドルの構成を可能にする。
• 2バンドルとゲルベの2圏の同値性を、共通のコhomological 分類と2移行データを通じて確立する。
• 文字列図式と2圏的普遍性（例：2プルバック、2商）を用いて、高階ゲージ構造における整合性と自然性を形式化する。

実験結果

リサーチクエスチョン

• RQ1 2圏と2群を用いて、ファイバー・バンドルの概念をどのようにカテゴライズ化し、2バンドルを定義できるか？
• RQ2 2バンドルと非アーベルゲルベの間の正確な圏的同値性は何か？ そして、コhomological データを通じてどのように確立されるか？
• RQ3 2空間上の2バンドルの2圏は、ファイバーに依存しない程度はどの程度か？ また、2移行データによってどのように分類されるか？
• RQ4 2空間への2群作用は、空間への群作用をどのように一般化するか？ また、それらから生じる構造（例：2 torsor）は何か？
• RQ5 交差モジュールは、リー2群の構造とその作用を2バンドルの文脈でどのように符号化するか？

主な発見

• 与えられた2空間と2群の下での2バンドルの2圏は、2移行の2圏と同値であり、分類がファイバーに依存せず、完全にコhomological データによって決定されることを示している。
• 2空間が位相的空間に対応し、2群が群の自己同型2群である場合、G-2バンドルの2圏は、同じ群の下でのその空間上のゲルベの2圏と同値である。
• G-2バンドルの分類は、2群の文字列図式に符号化された整合性法則を満たす2移行データによって支配される。
• 関連するG-2バンドルの構成は、2圏的プルバックと2写像を用いて形式化され、古典的関連バンドル構成を一般化している。
• 理論は、主2バンドルと非アーベルゲルベの間の正確な2圏的同値性を確立し、ハイパーゲージ理論における2つの中心的枠組みを統合している。
• 交差モジュールの使用により、リー2群の明示的代数的モデルが得られ、2移行データと2空間への作用の明示的計算が可能になる。