[論文レビュー] Algebra of Principal Fibre Bundles, and Connections

Anders Kock|ArXiv.org|May 12, 2000

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

ひとこと要約

本稿は群oids理論を用いて主バンドルおよび接続の代数的枠組みを構築し、曲率形式が乗法的接続から直接 $ hat{R} = d\omega$ の公式により、完全に代数的設定で導出可能であることを示している。主な貢献は、座標に依存しない曲率形式の明快な代数的導出であり、接続形式の外微分として曲率形式が得られることを示し、代数的・古典的微分幾何学的手法を統合する。

ABSTRACT

We put together some of the efforts by several people of making aspects of fibre bundle theory into algebra. The initiator of these efforts was Charles Ehresmann, who put the notion of groupoid and groupoid action in the focus of fibre bundle theory in general, and in connection theory in particular.

研究の動機と目的

• 主バンドル理論および接続理論を群oidsを用いた代数的枠組みに再定式化すること。
• Ehresmannの群oidsに基づくバンドルおよび接続への一般化を試みること。
• 接続形式から曲率形式を、完全に乗法的かつ座標に依存しない方法で導出すること。
• 代数的曲率表現と古典的微分幾何学的定式化との関係を明確にすること。
• 文献[15]における結果を修正・再解釈し、乗法的設定において $\nhat{R} = d\omega$ が補正項なしに成立することを示すこと。

提案手法

• 主バンドルを、基底多様体 $M$ と特別な点 $*$ を持つ対象 $M + 1$ を持つ群oids $\Phi$ として表現する。
• バンドル $P$ を、$M$ に終域をもち、始域が $*$ である $\Phi$ の矢印の集合として定義し、右 $G$-作用を備える。
• $P^{-1}P$ を構造群 $G = \Phi(*,*)$ とし、$PP^{-1}$ を $M$ 上の推移的群oidsとする。
• $PP^{-1}$ 上の接続 $\nabla$ を、$P^{-1}P$ に値を持つ1形式 $\omega$ を用いて定義し、$\omega(x,y) \cdot \omega(y,z) \cdot \omega(z,x) = d\omega(x,y,z)$ を満たすようにする。
• 曲率形式 $R$ を $R(a,b,c) = \nabla(a,b) \cdot \nabla(b,c) \cdot \nabla(c,a)$ として定義し、それを $P$ に引き上げて $\nhat{R}$ とする。
• $P$ 上の無限小的2単体において、群oids作用および $d\omega$ の定義を用いて直接計算により $\nhat{R} = d\omega$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 主バンドルおよび接続は、微分幾何学ではなく群oids代数を用いてどのように体系的に記述可能か？
• RQ2 乗法的設定において、接続形式の観点から曲率形式の明確な代数的表現は何か？
• RQ3 古典的補正項（リー代数の括弧積を含む）が代数的曲率式に現れないのはなぜか？
• RQ4 古典的曲率2形式は、修正なしに乗法的公式 $d\omega$ から回復可能か？
• RQ5 文献[15]の命題6.4.1は非アーベルの場合に正しいか？そうでない場合、どのように修正すべきか？

主な発見

• 主バンドルの全空間 $P$ 上の曲率形式 $\nhat{R}$ は、接続形式 $\omega$ の外微分 $d\omega$ に等しく、すなわち $\nhat{R} = d\omega$ である。
• この等式はリー括弧を含む補正項なしに成立する。これは、非アーベル性の補正が既に乗法的構造によって符号化されているからである。
• 可換な構造群の場合、基底多様体 $M$ 上の曲率は $d\omega$ の引き戻しと同型であり、$R_\nabla = \Omega$ となる。ここで $\Omega$ は $\pi^*\Omega = d\omega$ を満たす唯一の $G$-値2形式である。
• リー代数値形式における古典的曲率2形式 $\Omega$ は、標準的同型の下で $d\omega$ に対応し、補正項は既に乗法的定義による $d\omega$ に埋め込まれている。
• 本稿は、文献[15]における主張を修正し、非アーベルの場合であっても乗法的枠組みにおいて $\hat{R} = d\omega$ が修正なしに成立することを示した。
• この構成により、座標に依存せず、代数的に自然な曲率の導出が可能となり、乗法的群oids計算によって古典理論が包含される。