[论文解读] A note on the holonomy of connections in twisted bundles

Marco Mackaay|ArXiv.org|Jun 4, 2001

Algebraic Geometry and Number Theory参考文献 15被引用 3

一句话总结

本文建立了光滑流形 M 上带有联络的扭曲主丛等价类与从细基本范畴群 $ C_2^2(M) $ 到范畴李群 $ \mathcal{G} $ 的光滑函子之间的双射对应。通过证明扭曲丛的holonomy自然地编码为范畴群之间的函子，该研究将Barrett的holonomy原理推广至高阶规范理论，且通过基于细同伦类与路径选择的规范固定程序，从这些函子重构出联络。

ABSTRACT

Recently twisted K-theory has received much attention due to its applications in string theory and the announced result by Freed, Hopkins and Telemann relating the twisted equivariant K-theory of a compact Lie group to its Verlinde algebra. Rather than considering gerbes as separate objects, in twisted K-theory one considers a gerbe as being part of the data for a twisted vector bundle. There is also a notion of a connection in a twisted vector bundle and Kapustin has studied some aspects of the holonomy of such connections. In this note I study the holonomy of connections in twisted principal bundles and show that it can best be defined as a functor rather than a map. Even for the case which Kapustin studied the results in this paper give a more general picture.

研究动机与目标

• 将Barrett针对普通联络的holonomy原理推广至带有联络的扭曲主丛。
• 识别流形 M 上产生取值于范畴李群的holonomy函子的几何结构。
• 提供一个重构定理，表明此类函子可按等价类分类带有联络的扭曲主丛。
• 将高阶holonomy的框架从2-丛扩展至任意传递的范畴李群。

提出的方法

• 通过环路与柱面的细同伦类定义细基本范畴群 $ C_2^2(M) $。
• 以范畴群作为目标结构，其中对象为细同伦类，态射为柱面之间细同伦的等价类。
• 构建一个从 $ C_2^2(M) $ 到范畴李群 $ \mathcal{G} $ 的holonomy函子 $ \mathcal{H} $，其模型基于中心扩张 $ 1 \to H \to E \to G \to 1 $。
• 通过局部平凡化中固定的路径与同伦，从holonomy函子重构局部过渡函数 $ e_{ij} $ 与联络 1-形式 $ A_i $。
• 应用规范固定约定，以确保过渡函数与联络1-形式的一致性。
• 证明重构出的主丛与联络等价于原始结构，从而确立双射对应。

实验结果

研究问题

• RQ1 流形 M 上何种几何结构会导出取值于范畴李群的holonomy函子？
• RQ2 如何自然地以范畴群之间函子的形式表述带有联络的扭曲主丛的holonomy？
• RQ3 holonomy函子能否完全按等价类分类带有联络的扭曲主丛？
• RQ4 细基本范畴群 $ C_2^2(M) $ 与扭曲丛的holonomy之间存在何种关系？
• RQ5 如何从给定的holonomy函子重构出主丛与联络数据？

主要发现

• 在流形 M 上，带有联络的扭曲主丛 $ E $ 的等价类与从 $ C_2^2(M) $ 到由中心扩张 $ 1 \to H \to E \to G \to 1 $ 导出的范畴群 $ \mathcal{G} $ 的光滑函子的等价类之间存在双射对应。
• 过渡函数 $ e_{ij}(y) $ 通过 $ \mathcal{H}(c_{ij}(y)) $ 的代表元重构，规范固定确保了一致性。
• 联络1-形式 $ A_i(v) $ 由holonomy沿路径的导数导出，确保与曲率及过渡律相容。
• 2-上链 $ h_{ijk}(y) = e_{ij}(y)e_{jk}(y)e_{ki}(y) $ 属于 $ \pi $ 的核，从而识别为 $ H $，且与高阶规范理论中的标准上链一致。
• 重构过程确保所得主丛与联络等价于原始结构，从而证明了完全分类。
• 两个holonomy函子等价当且仅当它们通过 $ G $ 中元素共轭，推广了主丛中的标准规范等价性。