[论文解读] Algebra of Principal Fibre Bundles, and Connections

Anders Kock|ArXiv.org|May 12, 2000

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

一句话总结

本文利用群胚理论，为主纤维丛和联络建立了一个代数框架，表明曲率形式可直接通过乘法联络公式 $\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.

研究动机与目标

• 将主纤维丛理论与联络理论在群胚的代数框架下重新表述。
• 推广Ehresmann基于群胚的纤维丛与联络方法。
• 在乘法设定下，对曲率形式提供一种完全无坐标、无参数的推导。
• 阐明代数曲率表达式与经典微分几何表述之间的关系。
• 纠正并重新解释文献[15]中的一个结果，表明在乘法设定下，$\hat{R} = d\omega$ 成立而无需额外校正项。

提出的方法

• 通过群胚 $\Phi$ 表示主丛，其对象为 $M + 1$，其中 $M$ 为基流形，$*$ 为一个特殊点。
• 将丛 $P$ 定义为 $\Phi$ 中以 $*$ 为源、以 $M$ 中点为余源的箭头集合，配备右 $G$-作用。
• 使用记号 $P^{-1}P$ 表示结构群 $G = \Phi(*,*)$，$PP^{-1}$ 表示在 $M$ 上的传递群胚。
• 通过取值于 $P^{-1}P$ 的1-形式 $\omega$ 定义 $PP^{-1}$ 上的联络 $\nabla$，满足 $\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$ 上为 $\hat{R}$。
• 通过在 $P$ 上的无穷小2-单形上直接计算，利用群胚作用与 $d\omega$ 的定义，证明 $\hat{R} = d\omega$。

实验结果

研究问题

• RQ1 如何系统地使用群胚代数而非微分几何来描述主纤维丛与联络？
• RQ2 在乘法设定下，曲率形式相对于联络形式的精确代数表达式是什么？
• RQ3 为何在代数曲率公式中不出现涉及李括号的经典校正项？
• RQ4 是否能从乘法公式 $d\omega$ 中无须额外修正地恢复经典曲率2-形式？
• RQ5 文献[15]命题6.4.1在非交换情形下是否成立？若不成立，应如何修正？

主要发现

• 主丛总空间 $P$ 上的曲率形式 $\hat{R}$ 等于联络形式 $\omega$ 的外微分 $d\omega$，即 $\hat{R} = d\omega$。
• 由于乘法结构已编码非交换校正，该等式无需任何涉及李括号的校正项。
• 对于交换结构群，基流形 $M$ 上的曲率同构于 $d\omega$ 的拉回，因此 $R_\nabla = \Omega$，其中 $\Omega$ 是 $M$ 上唯一的 $G$-值2-形式，满足 $\pi^*\Omega = d\omega$。
• 经典李代数取值形式中的曲率2-形式 $\Omega$ 在标准同构下对应于 $d\omega$，而校正项已内置于 $d\omega$ 的乘法定义之中。
• 本文纠正了文献[15]中的一个断言，表明在乘法框架下，公式 $\hat{R} = d\omega$ 无需修改即可成立，即使在非交换情形下亦然。
• 该构造提供了一种清晰、无坐标且代数自然的曲率推导方式，通过乘法群胚微积分，统一了经典理论。