[论文解读] Higher Gauge Theory: 2-Connections on 2-Bundles

John C. Baez, Urs Schreiber|ArXiv.org|Dec 30, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 85

一句话总结

本文引入主2-丛上的2-联络，通过允许在曲线和曲面上进行平行移动，将规范理论推广到高维。研究表明，当‘虚假曲率’为零时，可确保2-holonomy（定义为从路径2-群胚到结构2-群的2-函子）存在，从而在关键约束下统一了带有连接与曲率的非交换2-丛与非交换gerbe理论。

ABSTRACT

Connections and curvings on gerbes are beginning to play a vital role in differential geometry and mathematical physics -- first abelian gerbes, and more recently nonabelian gerbes. These concepts can be elegantly understood using the concept of `2-bundle' recently introduced by Bartels. A 2-bundle is a generalization of a bundle in which the fibers are categories rather than sets. Here we introduce the concept of a `2-connection' on a principal 2-bundle. We describe principal 2-bundles with connection in terms of local data, and show that under certain conditions this reduces to the cocycle data for nonabelian gerbes with connection and curving subject to a certain constraint -- namely, the vanishing of the `fake curvature', as defined by Breen and Messing. This constraint also turns out to guarantee the existence of `2-holonomies': that is, parallel transport over both curves and surfaces, fitting together to define a 2-functor from the `path 2-groupoid' of the base space to the structure 2-group. We give a general theory of 2-holonomies and show how they are related to ordinary parallel transport on the path space of the base manifold.

研究动机与目标

• 通过引入带有2-联络的2-丛，将带连接的主丛理论推广到高阶范畴。
• 阐明2-丛上的2-联络与非交换gerbe带连接与曲率的局部上链数据之间的关系。
• 确立2-holonomy（即曲面上的平行移动）存在且定义良好的条件。
• 探索流形路径空间上的连接与基流形上2-连接之间的对应关系。
• 研究在高阶规范理论背景下‘虚假曲率’约束的含义及其物理意义。

提出的方法

• 通过在范畴、函子与自然变换的2-范畴中内化主丛带连接的概念，对标准规范理论进行范畴化。
• 使用局部数据（从开集的路径2-群胚到结构2-群的2-函子）定义平凡主2-丛上的2-联络。
• 利用‘虚假曲率’（非交换gerbe中曲率的一般化）作为约束，以确保重叠区域间过渡律的一致性。
• 将2-holonomy构造为进入结构2-群的2-函子，证明其在曲面重参数化下不变。
• 将2-联络与基流形路径空间上的连接联系起来，表明路径空间上满足重参数化不变性的holonomy可诱导出基流形上的2-联络。
• 从局部2-联络推导非平凡2-丛的粘合数据，证明在虚假曲率条件下与非交换gerbe的上链数据等价。

实验结果

研究问题

• RQ1 在何种条件下，2-丛上的2-联络会导出带有连接与曲率的非交换gerbe？
• RQ2 虚假曲率的消失如何与2-holonomy（即曲面上的平行移动）的存在性相关联？
• RQ3 流形路径空间上的连接与基流形上2-连接之间的确切对应关系是什么？
• RQ4 2-丛带2-联络的形式化能否推广到一致2-群？这对2-holonomy有何影响？
• RQ5 在弦理论中膜耦合到5-膜的背景下，虚假曲率约束的物理意义是什么？

主要发现

• 当且仅当虚假曲率消失时，平凡主2-丛上的2-联络才会导出2-holonomy，即从路径2-群胚到结构2-群的2-函子。
• 在虚假曲率约束下，2-丛带2-联络的局部粘合数据与非交换gerbe带连接与曲率的上链数据完全匹配。
• 路径空间上局部1-形式连接的路径空间曲率取值于一个阿贝尔理想，暗示可能退化为阿贝尔曲面holonomy，尽管非阿贝尔传输仍保持非平凡。
• 若路径空间上的连接其holonomy在任意曲面重参数化下不变，则可诱导出基流形上的2-联络。
• 在严格2-群设定下，虚假曲率约束是全局一致2-holonomy存在的必要且充分条件。
• 该形式化统一了高阶规范理论与非交换gerbe理论，为M理论与5-膜动力学中曲面holonomy提供了几何框架。