[论文解读] Connections on non-abelian Gerbes and their Holonomy

Urs Schreiber, Konrad Waldorf|arXiv (Cornell University)|Aug 14, 2008

Algebraic structures and combinatorial models参考文献 20被引用 19

一句话总结

本文提出了一套基于光滑2-函子取值于严格李2-群的非交换2-丛上平行移动与曲面holonomy的公理化框架，推广了已知的阿贝尔与非阿贝尔联络概念。主要贡献在于系统地定义了非阿贝尔2-丛的曲面holonomy，揭示了诸如映射类群对holonomy的作用等新特征，并统一了现有的模型，如向量丛2-丛与带连接的2-丛。

ABSTRACT

We introduce an axiomatic framework for the parallel transport of connections on gerbes. It incorporates parallel transport along curves and along surfaces, and is formulated in terms of gluing axioms and smoothness conditions. The smoothness conditions are imposed with respect to a strict Lie 2-group, which plays the role of a band, or structure 2-group. Upon choosing certain examples of Lie 2-groups, our axiomatic framework reproduces in a systematical way several known concepts of gerbes with connection: non-abelian differential cocycles, Breen-Messing gerbes, abelian and non-abelian bundle gerbes. These relationships convey a well-defined notion of surface holonomy from our axiomatic framework to each of these concrete models. Till now, holonomy was only known for abelian gerbes; our approach reproduces that known concept and extends it to non-abelian gerbes. Several new features of surface holonomy are exposed under its extension to non-abelian gerbes; for example, it carries an action of the mapping class group of the surface.

研究动机与目标

• 为非阿贝尔2-丛提供一种系统且公理化的平行移动与曲面holonomy表述，此前该概念尚缺乏一致的定义。
• 将holonomy的概念从阿贝尔2-丛推广至具有明确几何与范畴论基础的非阿贝尔结构。
• 在基于光滑2-函子的统一形式体系下，将现有的带连接2-丛模型（如Breen-Messing 2-丛、阿贝尔与非阿贝尔向量丛2-丛、2-丛）统一起来。
• 建立曲面holonomy与微分非阿贝尔上同调之间的严格联系，阐明其在几何与物理理论中的作用。

提出的方法

• 通过从流形的路径2-群胚到目标2-范畴的光滑2-函子来形式化平行移动，其取值于严格李2-群。
• 施加光滑性与粘合公理以定义运输2-函子，确保其与局部平凡化及下降数据相容。
• 使用路径2-群胚P₂(X)来建模沿曲线与曲面的高阶平行移动，推广了纤维丛理论中使用的路径群胚。
• 通过基本双角与约化holonomy来定义曲面holonomy，其中曲面映射φ: S → M的holonomy通过标准运输2-函子的拉回计算得出。
• 建立holonomy与曲率2-函子之间的等价关系，表明曲率被编码在2-函子对2-态射的取值中。
• 证明约化曲面holonomy在标记的同伦下保持不变，并在曲面的映射类群作用下变换。

实验结果

研究问题

• RQ1 在以往仅知阿贝尔情形下，如何为非阿贝尔2-丛一致地定义曲面holonomy？
• RQ2 何种公理化框架能够将各种带连接的2-丛模型（如向量丛2-丛、2-丛、微分上同调胞状复形）统一于单一形式体系之下？
• RQ3 非阿贝尔2-丛的曲面holonomy在曲面的微分同胚作用下如何变换，特别是当这些微分同胚不与恒等映射同伦时？
• RQ4 映射类群在非阿贝尔2-丛的曲面holonomy结构中扮演何种角色？
• RQ5 在非阿贝尔2-函子与光滑下降数据的背景下，曲率与holonomy之间如何关联？

主要发现

• 本文通过定义取值于严格李2-群的光滑2-函子，为非阿贝尔2-丛建立了明确的曲面holonomy概念，推广了阿贝尔情形。
• 该框架可重现已知模型：阿贝尔与非阿贝尔向量丛2-丛、Breen-Messing 2-丛、带连接的2-丛，均为其特例。
• 证明约化曲面holonomy在标记的同伦下保持不变，并在曲面的映射类群作用下变换。
• 曲面映射φ: S → M的holonomy被计算为运输2-函子在基本双角上的取值，与曲率2-形式的积分相联系。
• 曲率2-函子被表征为一个光滑2-函子，其将每个2-胞状复形映射到其边界的holonomy，推广了纤维丛理论中的曲率概念。
• 该构造揭示了非阿贝尔2-丛中的曲面holonomy具有非平凡的映射类群作用，这是阿贝尔情形下所不具备的特征。