[论文解读] Formal Homotopy Quantum Field Theories, I: Formal Maps and Crossed C-algebras

Timothy Porter, Vladimir Turaev|ArXiv.org|Dec 1, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 12

一句话总结

本文提出了一种使用形式映射和交叉 C-代数的同伦量子场理论（HQFT）的正式框架，建立了对拓扑量子场理论的推广，具有严格代数结构的通用性。主要贡献是通过交叉 C-代数对 HQFT 进行分类，为在同伦理论背景下研究量子不变量提供了正式的代数基础。

ABSTRACT

Homotopy Quantum Field Theories (HQFTs) were introduced by the second author to extend the ideas and methods of Topological Quantum Field Theories to closed $d$-manifolds endowed with extra structure in the form of homotopy classes of maps into a given `target' space, $B$. For $d = 1$, classifications of HQFTs in terms of algebraic structures are known when $B$ is a $K(G,1)$ and also when it is simply connected. Here we study general HQFTs with $d = 1$ and target a general 2-type, giving a common generalisation of the classifying algebraic structures for the two cases previously known. The algebraic models for 2-types that we use are crossed modules, $\mathcal{C}$, and we introduce a notion of formal $\mathcal{C}$-map, which extends the usual lattice-type constructions to this setting. This leads to a classification of `formal' 2-dimensional HQFTs with target $\mathcal{C}$, in terms of crossed $\mathcal{C}$-algebras.

研究动机与目标

• 开发一种形式化的代数框架，用于同伦量子场理论（HQFT），以推广拓扑量子场理论。
• 在 HQFT 背景下定义并研究形式映射，实现对具有目标空间的 cobordism 范畴的系统化处理。
• 引入并表征作为形式 HQFT 代数基础的交叉 C-代数。
• 建立形式 HQFT 与交叉 C-代数表示之间的对应关系。
• 通过代数手段为在同伦理论设定下构造量子不变量提供基础。

提出的方法

• 形式映射被引入为具有固定同伦类型的靶空间的 cobordism 范畴中的态射，推广了 TQFT 的概念。
• 交叉 C-代数被定义为编码形式 HQFT 的对称性与复合法则的代数结构。
• 本文利用群作用和扭曲张量积的结构，对 HQFT 在粘合与 cobordism 复合下的行为进行建模。
• 应用状态和构造的形式化，推导出 HQFT 不变量所满足的代数关系。
• 该框架依赖于同伦理论与代数拓扑之间的相互作用，特别是通过基本群胚和局部系统。
• 证明该构造在复合与对偶下保持一致，确保在形式设定下的函子性。

实验结果

研究问题

• RQ1 如何利用交叉 C-代数等代数结构对同伦量子场理论进行形式化？
• RQ2 形式映射在将拓扑量子场理论推广到同伦理论设定中起到什么作用？
• RQ3 交叉 C-代数如何编码 HQFT 的代数数据，并确保在粘合下的一致性？
• RQ4 何种条件可确保一个形式 HQFT 来自于交叉 C-代数的表示？
• RQ5 该形式框架能否用于通过代数不变量对 HQFT 进行分类？

主要发现

• 形式 HQFT 完全由交叉 C-代数的表示表征，建立了唯一对应关系。
• 形式映射构造自然地将 TQFT 推广到具有非平凡同伦类型的拓扑空间。
• 交叉 C-代数满足一种扭曲 Frobenius 代数结构，反映了靶空间的同伦数据。
• 该框架支持一致的状态和构造，尊重 cobordism 复合与对偶性。
• 该理论允许定义与映射到固定同伦类型的流形相关的量子不变量。
• 形式化方法使得能够以代数数据为依据系统研究 HQFT，为分类结果铺平道路。