[论文解读] Frobenius algebras and planar open string topological field theories

Aaron D. Lauda|ArXiv.org|Aug 18, 2005

Algebraic structures and combinatorial models参考文献 41被引用 21

一句话总结

本文通过引入一个名为 2Thick 的范畴，为平面开弦拓扑场论建立了范畴基础，其中态射为平面开弦世界面的微分同胚类。证明了 2Thick 是由非交换弗罗贝尼乌斯代数生成的自由张量范畴，从而严格证明了摩尔-塞格尔公理中开弦由此类代数描述的合理性，并将该框架扩展至 2-范畴，以描述三维膜结构。

ABSTRACT

Motivated by the Moore-Segal axioms for an open-closed topological field theory, we consider planar open string topological field theories. We rigorously define a category 2Thick whose objects and morphisms can be thought of as open strings and diffeomorphism classes of planar open string worldsheets. Just as the category of 2-dimensional cobordisms can be described as the free symmetric monoidal category on a commutative Frobenius algebra, 2Thick is shown to be the free monoidal category on a noncommutative Frobenius algebra, hence justifying this choice of data in the Moore-Segal axioms. Our formalism is inherently categorical allowing us to generalize this result. As a stepping stone towards topological membrane theory we define a 2-category of open strings, planar open string worldsheets, and isotopy classes of 3-dimensional membranes defined by diffeomorphisms of the open string worldsheets. This 2-category is shown to be the free (weak monoidal) 2-category on a `categorified Frobenius algebra', meaning that categorified Frobenius algebras determine invariants of these 3-dimensional membranes.

研究动机与目标

• 为平面开弦拓扑场论提供一个严格的范畴框架。
• 证明摩尔-塞格尔公理中开弦由非交换弗罗贝尼乌斯代数描述的合理性。
• 将标准的二维cobordism形式化推广，以包含开弦及其平面世界面。
• 通过开弦、世界面及微分同胚的同伦类构成的 2-范畴，将理论扩展至三维膜结构。
• 确立范畴化弗罗贝尼乌斯代数决定三维膜不变量的机制。

提出的方法

• 引入范畴 2Thick，其对象为自然数，态射为具有边界区间的紧致、定向、光滑曲面的微分同胚类。
• 将平面开弦拓扑场论定义为从 2Thick 到某张量范畴 C 的张量函子。
• 利用泛性质证明 2Thick 是由非交换弗罗贝尼乌斯代数生成的自由张量范畴。
• 构建一个 2-范畴的推广形式 2Thick2，通过平面世界面的同伦类微分同胚来建模三维膜结构。
• 应用形式范畴论，包括自由构造与泛性质，以确立该理论的代数结构。
• 将框架推广至 2-范畴设定，以捕捉高维拓扑不变量。

实验结果

研究问题

• RQ1 如何严格形式化平面开弦世界面为一个范畴？
• RQ2 为何非交换弗罗贝尼乌斯代数是拓扑场论中开弦的正确代数结构？
• RQ3 2Cob 的泛性质能否推广以包含开弦和平面世界面？
• RQ4 如何通过范畴论捕捉由开弦世界面产生的三维膜结构？
• RQ5 在此形式化中，何种代数结构控制三维膜的不变量？

主要发现

• 2Thick 是由非交换弗罗贝尼乌斯代数生成的自由张量范畴，为摩尔-塞格尔公理中开弦的描述提供了范畴论依据。
• 平面开弦拓扑场论等价于在张量范畴中选择一个非交换弗罗贝尼乌斯代数。
• 范畴 2Thick 通过引入开弦和平面世界面，推广了标准的二维cobordism范畴。
• 构造了一个由范畴化弗罗贝尼乌斯代数生成的自由（弱张量）2-范畴，用于描述开弦、平面世界面及微分同胚的同伦类。
• 该 2-范畴为三维膜的不变量提供了框架，其底层数据为范畴化弗罗贝尼乌斯代数。
• 该形式化将 2Cob 的泛性质推广至包含开弦与膜结构，统一了开弦与闭弦结构的高阶范畴设定。