[論文レビュー] Combinatorics of Non-Abelian Gerbes with Connection and Curvature

Romain Attal|ArXiv.org|Mar 27, 2002

Advanced Combinatorial Mathematics参考文献 13被引用数 20

ひとこと要約

本稿は、非可換ゲルベに接続および曲率を備えた組み合わせ的・単体的枠組みを、辺パス上の2群作用素構造を用いて関手的接続を定義することで開発する。微小4単体における曲率を用いて曲率3コサイクル恒等式を導出し、BF理論と関連づけ、トポロジカルおよび強い結合ゲージ理論の自然な幾何的設定としてゲルベを提示する。

ABSTRACT

We give a functorial definition of $G$-gerbes over a simplicial complex when the local symmetry group $G$ is non-Abelian. These combinatorial gerbes are naturally endowed with a connective structure and a curving. This allows us to define a fibered category equipped with a functorial connection over the space of edge-paths. By computing the curvature of the latter on the faces of an infinitesimal 4-simplex, we recover the cocycle identities satisfied by the curvature of this gerbe. The link with $BF$-theories suggests that gerbes provide a framework adapted to the geometric formulation of strongly coupled gauge theories.

研究の動機と目的

• 非可換リー群Gに対して、滑らかな多様体に依存せずに単体的複体上でのG-ゲルベに1次接続（接続構造）および2次接続（曲率）を関手的で組み合わせ的に定義すること。
• 辺パスの空間上に関手的接続を備えたファイバードカテゴリを定義し、パスに沿ったデータの輸送および表面に沿った輸送を可能にすること。
• 微小4単体における曲率を計算することで、標準的な曲率コサイクル恒等式を回復し、微分幾何的期待と整合性を保証すること。
• ゲルベとBF理論およびトポロジカル場理論を結びつけることで、強い結合ゲージ理論の幾何的枠組みを確立すること。
• 表面パスのジグザグ対称性が接続構造における準逆元条件に対応することを示し、BF理論におけるゲージ不変性と整合させること。

提案手法

• 滑らかな多様体ではなく単体的複体を用いて、微小単体による離散微分幾何を可能にする組み合わせ的ゲルベをモデル化する。
• 辺パスの空間に2群作用素構造を定義し、1-矢印をパス、2-矢印をホモトピーとして定義することで、表面輸送をモデル化する。
• パス空間上にファイバードカテゴリΦを導入し、データをパスに沿って伝搬するスイープ関手Φγγ′を備えた関手的接続を備える。
• 微小4単体の面における接続の曲率を計算することで、曲率3コサイクル恒等式を導出する。
• 接続(μ, ν)および曲率(B, C)のゲージ変換則を適用し、特定の条件下での不変性を示す。
• μを[A,…]、νを[F_A,…]−[B,…]に写像することで、ゲルベデータとBF理論との対応関係を確立し、ゲージ変換の不変性が一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかな多様体に依存せずに、単体的複体上での非可換ゲルベに接続および曲率を組み合わせ的に定義する方法は何か？
• RQ2 離散的ゲルベおよび微小4単体の文脈において、曲率3コサイクル恒等式の幾何的意味は何か？
• RQ3 辺パス上の関手的接続は、BF理論の位相的不変性とどのように関係するか？
• RQ4 表面パスのジグザグ対称性は、接続構造における準逆元条件とどのように対応するか？
• RQ5 ゲルベの枠組みは、BF理論や強い結合ゲージ理論のようなトポロジカル場理論の幾何的基盤を提供できるか？

主な発見

• 微小4単体における組み合わせ的接続の曲率は、標準的な3コサイクル恒等式を再現し、微分幾何と整合していることを確認する。
• BF理論の作用のゲージ変動は−∫∂M tr_ad(ξ·ω + ½ μ·∇η)として導出され、Bianchi恒等式により位相的不変性が保証される。
• ジグザグ対称性の条件によりK_{[xzzx]} = 1_GおよびK_{[xzzx]^*} = 1_Gが要求され、これはφ_{yx} = φ^{-1}_{xy}、すなわち準逆構造を要求することに対応する。
• ゲルベデータとBF理論との対応関係が確立された：μは[A,…]に、νは[F_A,…]−[B,…]に写像され、ゲージ変換則が完全に一致する。
• ファイバードカテゴリΦとスイープ関手を備えた理論は、移動するパス上でのG-バンドルに接続を備えたものとして実現され、ヤン・ミルズ理論におけるフェルミオン輸送に類似している。
• 理論は、高次のカテゴリカル構造と位相的不変性のおかげで、ゲルベがBF型場理論の自然な幾何的枠組みであることを示している。