[论文解读] On 2-dimensional topological field theories

Florin Dumitrescu|arXiv (Cornell University)|Aug 29, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 3

一句话总结

本文将定义在空间 X 上的二维拓扑场论（2-TFT）刻画为自由环路空间 LX 上的弗罗贝尼乌斯丛与联络。该结果推广了经典结论：在点空间上，2-TFT 对应于有限维交换弗罗贝尼乌斯代数；在 1 维情形下，X 上的 1-TFT 由 X 上的向量丛与联络分类。本文的核心贡献是建立了 X 上的 2-TFT 与 LX 上具有 Difl(S1)+-作用及联络的弗罗贝尼乌斯丛之间的精确等价关系，从而以环路空间结构为基础，为 2-TFT 提供了几何与范畴论框架。

ABSTRACT

In this paper we give a characterization of 2-dimensional topological field theories over a space $X$ as Frobenius bundles with connections over $LX$, the free loop space of $X$. This is a generalization of the folk theorem stating that 2-dimensional topological field theories (over a point) are described by finite-dimensional commutative Frobenius algebras. In another direction, this result extends the description of 1-dimensional topological field theories over a space $X$ as vector bundles with connections over $X$, cf. \cite{DST}.

研究动机与目标

• 将二维拓扑场论（2-TFT）的分类从点情形（此时由有限维交换弗罗贝尼乌斯代数分类）推广至一般空间 X 的情形。
• 将已知的 1 维 TFT 对应关系——即 X 上的 1-TFT 由 X 上的向量丛与联络分类——推广至二维情形。
• 建立 X 上的 2-TFT 与 LX 上具有联络的弗罗贝尼乌斯丛之间的精确等价关系，其中包含 Difl(S1)+-作用等几何与范畴结构。
• 阐明全息、平行移动与融合结构在 2-TFT 中的作用，尤其在秩一情形下。

提出的方法

• 将 X 上的 2-TFT 定义为从 bordism 范畴 Bd(X) 到域 k 上拓扑向量空间范畴的光滑对称张量函子。
• 引入自由环路空间 LX 上的弗罗贝尼乌斯丛与联络的概念，其中在常值环路上的限制诱导出弗罗贝尼乌斯代数结构。
• 通过由圆周微分同胚诱导的 LX 中路径上的平行移动，构造丛上的自然右 Difl(S1)+-作用，确保其与弗罗贝尼乌斯代数结构相容。
• 利用丛上的联络定义 LX 中路径上的平行移动，其在秩二同伦路径下保持不变，从而满足“表面联络”公理的条件。
• 通过证明 TFT 的函子结构精确对应于丛的几何与代数数据，建立 2-TFT 与 LX 上弗罗贝尼乌斯丛及联络之间的等价关系。
• 通过将 TFT 与具有“表面联络”的融合丛联系起来，并最终通过 Waldorf 理论将其与 X 上的 S1-丛 gerbes 及联络联系起来，分析秩一情形。

实验结果

研究问题

• RQ1 如何在点情形之外，对空间 X 上的二维拓扑场论进行几何与范畴论分类？
• RQ2 在自由环路空间 LX 上，何种结构对应于 X 上的 2-TFT？该结构如何推广点情形下的弗罗贝尼乌斯代数结构？
• RQ3 Difl(S1)+-作用与 LX 上向量丛的联络如何编码 2-TFT 的函子性与张量结构？
• RQ4 秩一 2-TFT 与 X 上的 S1-丛 gerbes 及联络之间的确切关系为何？
• RQ5 在 LX 中沿路径的平行移动（尤其是秩二同伦下）如何与 TFT 函子的一致性相关联？

主要发现

• X 上的 2-TFT 与 LX 上具有联络的弗罗贝尼乌斯丛之间存在等价关系，且该丛在常值环路上的限制为弗罗贝尼乌斯代数。
• 该弗罗贝尼乌斯丛携带一个由 LX 中路径上平行移动诱导的自然右 Difl(S1)+-作用。
• 丛上的联络确保平行移动在秩二同伦路径下保持不变，从而满足“表面联络”条件。
• 在秩一情形下，2-TFT 精确对应于 X 上的 S1-丛 gerbe 及联络，该等价关系由 Waldorf 与 Gawedzki 建立。
• 该构造推广了 1 维情形：正如 1-TFT 对应于 X 上的向量丛与联络，2-TFT 对应于 LX 上的弗罗贝尼乌斯丛与联络。
• 本文通过环路空间几何，为 2-TFT 的函子结构提供了几何实现，统一了代数数据（弗罗贝尼乌斯代数）与几何数据（联络、全息、作用）。