[论文解读] On $G$--modular functor

Alexander Kirillov, Tanvir Prince|ArXiv.org|Jul 7, 2008

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

一句话总结

本文建立了有限群 $G$ 的 $G$-等变模函子与 $G$-等变融合范畴之间的等价性，推广了非等变情形下已知的对应关系。通过使用 $G$-覆盖曲面的摩尔-塞伯格型形式化方法，作者从融合范畴构造出 $G$-等变模函子数据，反之亦然，通过标准曲面上的公理关系与 $G$-覆盖的同胚关系，在亏格零情形下证明了精确的范畴等价性。

ABSTRACT

In this paper, we extend the notion of modular functor and fusion category to what we called $G$ equivariant modular functor and $G$ equivariant fusion category, where $G$ is a finite group, and establish a correspondence between between these notions.

研究动机与目标

• 将模函子与融合范畴之间的对应关系推广至有限群 $G$ 的 $G$-等变情形。
• 通过 $G$-等变结构，为有瑕共形场论提供代数形式化框架。
• 将摩尔-塞伯格公理框架推广至黎曼曲面的 $G$-覆盖。
• 证明在亏格零情形下，$G$-等变模函子与 $G$-等变融合范畴之间存在范畴等价。
• 建立拓扑数据（$G$-覆盖的同胚）与代数数据（带 $G$-作用与辫子的张量范畴）之间的精确字典。

提出的方法

• 通过 $G$-分次、$G$-作用函子 $R_g$ 以及满足结合性与分次相容性的兼容同构 $\alpha_{g,h}$，定义 $G$-等变融合范畴。
• 将 $G$-等变摩尔-塞伯格数据引入为一组函子性同构（如辫子 $R_{V,W}$、求值、协求值）集合，满足六边形、对偶性与 $\phi$-关系公理。
• 通过标准曲面的 $G$-覆盖与粘合关系，从 $G$-等变融合范畴构造 $G$-等变模函子。
• 通过证明 $G$-等变模函子通过函子性在 $G$-覆盖复形 $M(\widetilde{\Sigma}, \Sigma)$ 上诱导出 $G$-等变摩尔-塞伯格数据，来证明主定理。
• 验证 $G$-等变摩尔-塞伯格数据的所有公理（结合性、六边形、德恩扭转等）均可由模函子的相应公理推出。
• 利用 $G$-覆盖的同胚（如 $\tilde{b}$、$\tilde{\alpha}_{k,l}$）在模函子设定中定义并关联共形块与同构。

实验结果

研究问题

• RQ1 模函子与融合范畴之间的对应关系能否推广至有限群 $G$ 的 $G$-等变情形？
• RQ2 何种公理结构对应于曲面 $G$-覆盖的 $G$-等变融合范畴？
• RQ3 当范畴中包含 $G$-扭动扇区时，标准摩尔-塞伯格公理由如何推广？
• RQ4 是否存在一种自然方式，从 $G$-等变模函子重构出 $G$-等变融合范畴？
• RQ5 在编码 $G$-等变张量范畴的代数数据时，$G$-覆盖同胚的精确作用是什么？

主要发现

• 本文在亏格零情形下建立了 $G$-等变模函子与 $G$-等变融合范畴之间的一一对应关系。
• 从融合范畴构造 $G$-等变模函子依赖于带 $G$-覆盖的标准曲面粘合，以及通过函子性同构定义共形块。
• 反向构造——从模函子推导 $G$-等变摩尔-塞伯格数据——依赖于模函子在 $G$-覆盖复形 $M(\widetilde{\Sigma}, \Sigma)$ 上的函子性。
• 所有 $G$-等变摩尔-塞伯格数据的公理（包括六边形、德恩扭转与 $\phi$-关系）均可由模函子的相应公理推出。
• $G$-等变摩尔-塞伯格数据的德恩扭转公理由复形 $M(\widetilde{\Sigma}, \Sigma)$ 中的德恩扭转关系通过模函子的函子性导出。
• 通过证明模函子设定中所有结构同构（如辫子、对偶性、交换性）精确对应于融合范畴框架中的必要公理，完成了等价性的证明。