[论文解读] Homotopy field theory in dimension 3 and crossed group-categories

Vladimir Turaev|arXiv (Cornell University)|May 31, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 25被引用 152

一句话总结

本文引入了模交叉 π-范畴作为代数结构，其可产生目标空间为 K(π,1) 的三维同伦量子场理论（HQFT）。通过将辫子和扭结范畴推广至群-分等级设定，该文构造了带有映射到 K(π,1) 的同伦类的 3-流形的不变量，利用拟三角交叉霍普夫 π-余代数和态和构造，将量子不变量推广至 π-流形。

ABSTRACT

A 3-dimensional homotopy quantum field theory (HQFT) can be described as a TQFT for surfaces and 3-cobordisms endowed with homotopy classes of maps into a given space. For a group $π$, we introduce a notion of a modular crossed $π$-category and show that such a category gives rise to a 3-dimensional HQFT with target space $K(π,1)$. This includes numerical invariants of 3-dimensional $π$-manifolds and a 2-dimensional homotopy modular functor. We also introduce and discuss a parallel notion of a quasitriangular crossed Hopf $π$-coalgebra.

研究动机与目标

• 开发系统化的代数框架，用于构造目标空间为 K(π,1) 的三维同伦量子场理论（HQFT）。
• 将模张量范畴推广至群-分等级结构——交叉 π-范畴——以实现对具有 π-结构的 3-流形的不变量。
• 建立模交叉 π-范畴与三维 HQFT 之间的对应关系，将已知的 TQFT 构造扩展至同伦设定。
• 探索此类范畴的代数来源，包括拟三角霍普夫 π-余代数和群的拟阿贝尔上同调。
• 提出用于三维 π-流形不变量的态和构造，并将其与手术法和阴影法联系起来。

提出的方法

• 引入交叉 π-范畴的概念，即一个由群 π 分等级的张量范畴，具有相容的作用和辫子结构。
• 在交叉 π-范畴上定义辫子、扭结和模结构，推广标准模张量范畴中的概念。
• 通过将函子映射到扭结交叉 π-范畴，构造 R³ 中 π-着色辫索和图的不变量，得到取值于态射的不变量。
• 在范畴的对象上引入迹函数和维数函数，这对定义模数据和不变量至关重要。
• 通过模交叉 π-范畴建立三维 HQFT，为 π-曲面分配 K-模，为 π-钴管分配不变量。
• 在附录 2 中开发一种态和构造，利用三角剖分和范畴的代数数据，构造三维 π-流形的不变量。

实验结果

研究问题

• RQ1 如何将模张量范畴推广至群-分等级设定，以描述具有非平凡目标空间的三维 HQFT？
• RQ2 何种代数结构可产生对三维 π-流形（即配备映射到 K(π,1) 的同伦类的 3-流形）的不变量？
• RQ3 能否利用拟三角霍普夫 π-余代数构造模交叉 π-范畴，从而构造三维 HQFT？
• RQ4 在 π-流形的背景下，态和不变量与基于手术的不变量之间有何关系？
• RQ5 该理论如何扩展以包含自旋结构、赛伯格-威滕不变量或高维 HQFT？

主要发现

• 模交叉 π-范畴可产生目标空间为 K(π,1) 的三维 HQFT，为三维 π-流形分配不变量，并为 π-曲面分配 K-模。
• 该构造推广了雷舍蒂欣-图雷夫 TQFT：当 π = 1 时，该理论退化为标准模范畴构造。
• 从模交叉 π-范畴可导出二维同伦模 functor，为 π-曲面分配 K-模，并为 π-钴管分配交织映射。
• 拟三角交叉霍普夫 π-余代数为模交叉 π-范畴提供了来源，其例子源于戴林弗雷德元素和球面对称结构。
• 利用三角剖分和范畴的代数数据，构造了三维 π-流形的态和不变量，推广了图雷夫-维罗构造。
• 球面对称交叉霍普夫 π-余代数产生表示的球面对称范畴，其对偶性和迹结构与 π-分等级相容。