[论文解读] A classical approach to TQFT's

Roger Picken, Paulo Semião|ArXiv.org|Dec 22, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 31被引用 4

一句话总结

本文提出了一种基于经典张量范畴的拓扑量子场论（TQFT）框架，将粘合操作视为基本态射而非流形的cobordism结构。该框架通过满足代数关系的张量对对二维TQFT进行分类，并通过范畴对偶性和共轭结构引入了希尔伯特（hermitian）与酉（unitary）TQFT，扩展了阿蒂亚（Atiyah）的公理体系，采用更贴近代数拓扑的代数形式化语言。

ABSTRACT

We present a general framework for TQFT and related constructions using the language of monoidal categories. We construct a topological category C and an algebraic category D, both monoidal, and a TQFT functor is then defined as a certain type of monoidal functor from C to D. In contrast with the cobordism approach, this formulation of TQFT is closer in spirit to the classical functors of algebraic topology, like homology. The fundamental operation of gluing is incorporated at the level of the morphisms in the topological category through the notion of a gluing morphism, which we define. It allows not only the gluing together of two separate objects, but also the self-gluing of a single object to be treated in the same fashion. As an example of our framework we describe TQFT's for oriented 2D-manifolds, and classify a family of them in terms of a pair of tensors satisfying some relations.

研究动机与目标

• 开发一种与经典代数拓扑函子（如同调）更一致的TQFT框架，通过避免使用cobordism形式化来实现。
• 将粘合操作——包括不同流形之间的粘合与自粘合——统一纳入拓扑范畴的态射结构中。
• 通过使用拓扑与代数范畴的张量函子框架，推广阿蒂亚（Atiyah）的TQFT公理。
• 通过向量空间上的范畴对偶性与共轭结构，定义并表征希尔伯特（hermitian）与酉（unitary）TQFT。
• 通过张量关系系统性地分类2D TQFT，并确定TQFT函子扩展为完整希尔伯特结构的条件。

提出的方法

• 定义一个拓扑范畴 $\mathcal{C}$ 和一个代数范畴 $\mathcal{D}$，二者均配备张量结构。
• 在 $\mathcal{C}$ 中引入‘粘合态射’的概念，将边界粘合与自粘合操作统一纳入范畴的态射集合中。
• 将TQFT形式化为一个张量函子 $Z: \mathcal{C} \to \mathcal{D}$，保持张量积与单位元。
• 通过基域 $K$ 上的对合、反变自函子 $Q$ 以及非退化的评估映射，在 $\mathcal{D}$ 上引入希尔伯特结构。
• 将一个完整的TQFT函子 $ (Z, \mathbf{\eta}) $ 定义为：自然变换 $\eta$ 可扩展为态射 $Z\mathbf{P} \to \mathbf{Q}Z$，以确保与对偶性的相容性。
• 利用 $\mathcal{D}$ 的结构，通过 $d_i$ 与 $p_{ijk}$ 上的张量关系，推导出在2D情形下 $Z_X$ 为实或酉的条件。

实验结果

研究问题

• RQ1 如何构建一种TQFT形式化，使其更贴近同调等经典代数拓扑函子，而非依赖于cobordism范畴？
• RQ2 何种范畴结构可实现对TQFT中成对粘合与自粘合操作的统一处理？
• RQ3 在何种条件下，TQFT函子可扩展为完整的希尔伯特结构？这与酉性有何关联？
• RQ4 在此框架下，哪些代数关系可对2维TQFT进行分类？
• RQ5 希尔伯特与酉TQFT如何从对偶性、共轭与张量结构的相互作用中自然涌现？

主要发现

• 本文构建了一个拓扑范畴 $\mathcal{C}$，其态射内嵌了包括自粘合在内的粘合操作作为内在结构。
• 二维TQFT完全由一对满足四个代数关系的张量 $d_i$ 与 $p_{ijk}$ 分类，提供了完整的代数表征。
• 自然变换 $\eta$ 扩展为 $\mathbf{\eta}$ 的条件，等价于TQFT为希尔伯特型，这要求代数范畴 $\mathcal{D}$ 具有希尔伯特结构。
• 在二维情形下，酉TQFT与满足相同四个关系、且满足正定性与共轭条件的实值张量 $d_i$ 与 $p_{ijk}$ 之间存在一一对应。
• 该框架将阿蒂亚（Atiyah）的希尔伯特公理 $Z_{-X} = \overline{Z}_X$ 作为希尔伯特结构与对偶同构的推论自然恢复。
• 该形式化允许自然推广至无穷维向量空间，并为研究如斯托林斯流形（Stallings manifolds）与纤维丛平行传输等高级例子提供了基础。