[论文解读] Parallel Transport and Functors

Urs Schreiber, Konrad Waldorf|arXiv (Cornell University)|May 3, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用 83

一句话总结

本文通过平行传输，以函子语言重新表述了带有联络的光滑纤维丛，表明此类丛恰好对应于从流形的路径群胚到目标范畴的函子，且配备光滑下降数据与局部平凡化。其主要贡献在于通过这些结构对传输函子进行表征，从而自然地推广至高阶范畴与高维平行传输。

ABSTRACT

Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize functors obtained like this by two notions we introduce: local trivializations and smooth descent data. This provides a way to substitute categories of functors for categories of smooth fibre bundles with connection. We indicate that this concept can be generalized to connections in categorified bundles, and how this generalization improves the understanding of higher dimensional parallel transport.

研究动机与目标

• 提供一种避开基流形拓扑限制的光滑纤维丛与联络的函子化重表述。
• 通过从路径群胚到纤维范畴的函子，克服全纯映射与Deligne上同调的局限性。
• 通过将函子框架推广至n-函子与范畴化丛，将平行传输的概念推广至高维。
• 通过局部平凡化与光滑下降数据，建立传输函子与光滑纤维丛及联络之间的对应关系。
• 通过以范畴结构表征传输，为高维规范理论奠定基础。

提出的方法

• 定义光滑流形 $M$ 的路径群胚 $\mathcal{P}_1(M)$，其态射为路径的细同伦类。
• 引入传输函子 $F: \mathcal{P}_1(M) \to T$ 的概念，其中 $T$ 是编码丛的纤维的范畴。
• 通过局部平凡化与光滑下降数据表征此类函子，确保与丛结构相容。
• 构造一个重构函子 $\mathrm{Triv}^1_\pi(i)$，从其下降数据恢复函子，证明其完全等价。
• 使用光滑流形空间与光滑函子处理光滑性条件，从而在一致的微分范畴框架下运作。
• 将形式化推广至 $n$-函子与高阶联络，将理论扩展至曲面及更高维平行传输。

实验结果

研究问题

• RQ1 如何通过从路径群胚出发的函子，完全表征带有联络的光滑纤维丛？
• RQ2 何种函子条件可确保其源自光滑纤维丛与联络？
• RQ3 平行传输理论能否超越曲线，推广至曲面等高维对象？
• RQ4 局部平凡化与光滑下降数据如何从其数据重构出传输函子？
• RQ5 在范畴化丛中，高维平行传输的范畴结构本质为何？

主要发现

• 在施加光滑下降数据与局部平凡化条件下，从路径群胚 $\mathcal{P}_1(M)$ 到范畴 $T$ 的传输函子与 $M$ 上的光滑纤维丛与联络之间存在双射对应。
• 当 $T = \mathcal{B}G$ 时，带有 $\mathrm{Gr}$-结构的传输函子范畴与主 $G$-丛与联络的范畴等价。
• 通过函子 $\mathrm{Triv}^1_\pi(i)$ 实现从下降数据到函子的重构，建立了下降数据与传输函子之间的完全等价。
• 光滑下降数据为转移函数提供自然推广，使带有联络的丛得以在无坐标系与无拓扑依赖的表述下建立。
• 该框架可自然推广至 $n$-函子，从而在范畴化规范理论中一致描述高维平行传输。
• 该理论避免了Deligne上同调与丛丛中结构群的阿贝尔性限制，使广义设定下可允许任意李结构群。