[论文解读] Orbifolding Frobenius Algebras

Ralph M. Kaufmann|ArXiv.org|Jul 23, 2001

Algebraic structures and combinatorial models参考文献 13被引用 4

一句话总结

本文提出了一套完整的关于具有有限群作用的弗罗贝尼乌斯代数的公理化框架，称为轨道弗罗贝尼乌斯代数，并通过cobordism范畴建立了其几何实现。研究证明，此前被视为辅助结构的扭扇区（twisted sectors）在镜像对称中至关重要，表明对 $A_n$ 作 $bZ/(n+1)bZ$ 的轨道化处理可得到自对偶的镜像对，并首次通过弗罗贝尼乌斯代数对偶性，数学上推导出 $A_{2n+3}/bZ/2bZ \to D_n$ 的过渡关系。

ABSTRACT

We study the general theory of Frobenius algebras with group actions. These structures arise when one is studying the algebraic structures associated to a geometry stemming from a physical theory with a global finite gauge group, i.e. orbifold theories. In this context, we introduce and axiomatize these algebras. Furthermore, we define a geometric cobordism categories whose functors to the category of vector spaces are parameterized by these algebras. The theory is also extended to the graded and super-graded cases. As an application, we consider Frobenius algebras having some additional properties making them more tractable. These properties are present in Frobenius algebras arising as quotients of Jacobian ideal, such as those having their origin in quasi-homogeneous singularities and their symmetries.

研究动机与目标

• 建立具有有限群作用的弗罗贝尼乌斯代数的严谨公理化理论，以建模弦理论与拓扑场论中的物理轨道化理论。
• 通过cobordism范畴实现这些代数的几何实现，将阿蒂亚-杜布罗文-戴克格拉夫-塞加尔形式化体系推广至轨道化情形。
• 通过证明扭扇区在奇点例子中对镜像对称的必要性，阐明其作为基本结构而非单纯技术细节的角色。
• 引入并研究特殊的 $G$-弗罗贝尼乌斯代数，特别是雅可比 $G$-弗罗贝尼乌斯代数，以捕捉准齐次奇点及其对称性所呈现的结构。
• 建立一种对偶变换，将轨道化识别为镜像对称的机制，以 $bZ/(n+1)bZ$ 作用下的 $(A_n, A_1)$ 与 $(A_1, A_n)$ 之间的对偶性为例。

提出的方法

• 对具有两种通过特征扭差异的 $G$-作用的弗罗贝尼乌斯代数进行公理化，分别对应自然乘法与标量积结构。
• 在取 $G$-不变量之前，于所有扭扇区的直和上定义非交换乘法，这是一种此前未被考虑过的新型构造。
• 构造几何cobordism范畴，其到向量空间的函子由这些轨道弗罗贝尼乌斯代数参数化。
• 引入特殊 $G$-弗罗贝尼乌斯代数类，包括雅可比 $G$-弗罗贝尼乌斯代数，以建模朗道-金兹堡理论与奇点理论。
• 使用分次与超分次版本以纳入扭扇区的奇偶性选择，从而完整处理Ramond与Neveu-Schwarz扇区。
• 应用对偶变换，证明对 $A_n$ 作 $bZ/(n+1)bZ$ 轨道化可得到自对偶的镜像对，并在不使用路径积分的情况下数学推导出 $A_{2n+3}/\bbZ/2\bbZ \to D_n$ 的对应关系。

实验结果

研究问题

• RQ1 如何对具有有限群作用的弗罗贝尼乌斯代数进行公理化，以建模物理与几何中的轨道化理论？
• RQ2 扭扇区的几何意义是什么？为何它们在轨道化构造中是本质的而非辅助的？
• RQ3 轨道化过程能否被解释为一种镜像对称形式？若是，它如何作用于弗罗贝尼乌斯代数结构？
• RQ4 朗道-金兹堡模型中的Ramond与Neveu-Schwarz扇区如何与群作用下奇点的上同调相关联？
• RQ5 通过 $bZ/2\bbZ$ 商得到的从 $A_{2n+3}$ 到 $D_n$ 的过渡的数学结构是什么？如何在不使用路径积分的情况下推导出该结构？

主要发现

• 对 $A_n$ 奇点作 $bZ/(n+1)bZ$ 作用的轨道化处理，可得到自对偶的镜像对，其中扭扇区之和与非扭扇区互为对偶。
• $A_{2n+3}/\bbZ/2\bbZ$ 轨道化产生 $D_n$ 奇点，该对应关系通过弗罗贝尼乌斯代数对偶性被数学推导，避免了路径积分。
• 具有平凡分次与偶扇区上平凡 $G$-作用的 $A_n$ 弗罗贝尼乌斯代数同构于 $r$-自旋曲线代数，确认其在镜像对称A模型中的出现。
• 当 $G \subset O(n,\bbC)$ 且 $s_g^- = 0$ 时，$G$-扭代数成为扭群代数，其结构由 $H^2(G, k^*)$ 决定。
• 在 $bZ/2\bbZ$ 作用下，$A_{2n-3}$ 模型中Ramond扇区的 $G$-不变部分为 $A_{n-2}$，与阿诺德奇点理论的预期一致。
• 对雅可比 $G$-弗罗贝尼乌斯代数应用对偶变换，表明在 $bZ/(n+1)bZ$ 轨道化下，$(A_n, A_1)$ 与 $(A_1, A_n)$ 互为镜像对偶，从而提供了一种新的镜像对称机制。