[论文解读] A Cubical Set Approach to 2-Bundles with Connection and Wilson Surfaces

João Faría Martins, Roger Picken|arXiv (Cornell University)|Aug 28, 2008

Geometric and Algebraic Topology参考文献 48被引用 11

一句话总结

本文提出了一种基于立方集的框架，用于在光滑流形上定义带有联络的2-丛，使用李群的交叉模来建模非交换规范结构。该框架建立了在正方形的二面体群作用下的协变2维全息（平行移动），证明了其在细同伦下的不变性，并定义了规范不变的威尔逊表面泛函——特别是威尔逊球面和环面——其值仅依赖于丛的等价类和曲面的拓扑类型。

ABSTRACT

In the context of non-abelian gerbes we define a cubical version of categorical group 2-bundles with connection over a smooth manifold. We define their two-dimensional parallel transport, study its properties, and define non-abelian Wilson surface functionals.

研究动机与目标

• 使用立方集开发一种微分几何框架，用于定义带有联络的2-丛，避免使用复杂的2-范畴工具。
• 利用局部联络数据和转移函数，在光滑流形中的曲面上定义2维平行移动（全息）。
• 构造非交换威尔逊表面可观测量——特别是针对球面和环面——其值在细同伦和映射类群作用下保持不变。
• 建立2-全息的非交换富比尼定理，表明其在正方形的二面体对称性下保持协变性。
• 为4维高阶规范场论中的规范不变作用量提供基础，类似于陈-西蒙斯理论。

提出的方法

• 使用李群交叉模 $\mathcal{G} = (\partial: E \to G, \triangleright)$ 定义流形 $M$ 上的立方集 $γ$-2-丛与联络，通过立方集建模结构。
• 从光滑映射 $[0,1]^2 \to M$ 模去细同伦，构造 $M$ 的细同伦双群胚，通过剖分实现全息计算。
• 使用双群胚（等价于交叉模）管理1-和2-转移函数，并在剖分后的正方形上拼接局部全息。
• 通过联络1-形式和曲率2-形式定义局部2-全息，其取值于范畴群 $E$，并满足交叉模关系。
• 应用非交换富比尼定理，证明全息在正方形的二面体对称性下不变，该结果源自交叉模公理。
• 将威尔逊表面泛函定义为嵌入2-球面或环面上的全息值，其在细同伦和映射类群作用下保持不变。

实验结果

研究问题

• RQ1 如何使用立方集而非单纯集来一致地定义带有联络的2-丛？
• RQ2 2-丛中曲面的2维全息结构是什么？其在参数域对称性下的变换行为如何？
• RQ3 在何种条件下，曲面的全息与参数化无关？这又如何依赖于曲面的拓扑？
• RQ4 能否定义出规范不变且具有拓扑意义的非交换威尔逊表面可观测量？
• RQ5 曲面的映射类群如何影响高阶规范理论中表面全息的不变性？

主要发现

• 在立方集 $γ$-2-丛与联络上定义的2维全息在正方形的二面体群对称性下保持协变性，该结果源自交叉模公理。
• 威尔逊球面可观测量 ${\mathcal{W}}_{\mathcal{B}}(\Sigma)$ 在嵌入2-球面 $\Sigma$ 的参数化下保持不变（至多在 $G$ 元素作用下），这是由于 $S^2$ 的映射类群平凡。
• 威尔逊环面泛函 ${\mathcal{W}}_{\mathcal{B}}(\Gamma,\mathcal{Q})$ 取值于 $\partial^{-1}(G^{(1)}) \subset E$，其中 $G^{(1)}$ 是 $G$ 的交换子子群，且在细同伦和2-路径等价下保持不变。
• 威尔逊环面泛函在 $G$ 元素的水平与垂直同时共轭变换下发生变换，反映了联络中的规范自由度。
• 2-球面的全息在细同伦下保持不变，且仅依赖于2-丛与联络的等价类，而与具体参数化无关。
• 对于映射类群非平凡的曲面（如环面），全息依赖于参数化的同伦类型，与球面情况不同。