[论文解读] Rationality of fixed-point vertex operator algebras

Masahiko Miyamoto, Scott Carnahan|arXiv (Cornell University)|Mar 17, 2016

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

一句话总结

该论文证明了，对于具有非退化不变双线性型的单个正则顶点算子代数 $T$（CFT 类型）在任意有限自同构 $ \sigma$ 作用下的不动点子代数 $T^\sigma$ 本身也是正则的。该结果在这些条件下确立了不动点 VOAs 的有理性，将结构稳定性推广至共形场论和顶点算子代数理论中的对称子代数。

ABSTRACT

We show that if $T$ is a simple regular vertex operator algebra of CFT type with a nonsingular invariant bilinear form and $\sigma$ is a finite automorphism of $T$, then the fixed point vertex operator subalgebra $T^\sigma$ is also regular.

研究动机与目标

• 建立在有限自同构作用下，CFT 类型的单个正则 VOAs 的不动点子代数的正则性。
• 将顶点算子代数理论中的结构稳定性结果推广至由群作用定义的对称子代数。
• 确认当原始 VOA 具有非退化不变双线性型且本身正则时，其不动点子代数也保持正则性。
• 通过对称性约化，为有理 VOA 的分类与理解做出贡献。

提出的方法

• 利用轨道 VOAs 理论分析在有限自同构 $\sigma$ 作用下 $T^\sigma$ 作为不动点子代数的结构。
• 利用已知的 $T$ 的正则性以及其上存在非退化不变双线性型的事实，推导出 $T^\sigma$ 的结构性质。
• 应用表示论技术，证明 $T^\sigma$ 满足正则性的公理，包括模的有限长度与半单性。
• 利用 $T^\sigma$ 从 $T$ 继承 CFT 类型条件与双线性型的事实，确保其与正则性的定义相容。
• 利用在 CFT 类型 VOA 背景下，正则性与每个模均为不可约模的直和这一性质等价的结论。
• 应用关于轨道 VOAs 有理性的结果，得出当 $T$ 正则且 $\sigma$ 有限时，$T^\sigma$ 为正则的结论。

实验结果

研究问题

• RQ1 在有限自同构 $\sigma$ 作用下，CFT 类型的正则顶点算子代数 $T$ 的不动点子代数 $T^\sigma$ 是否仍保持正则性？
• RQ2 哪些关于 $T$ 和 $\sigma$ 的结构条件可确保 $T^\sigma$ 从 $T$ 继承正则性？
• RQ3 能否利用 $T$ 上非退化不变双线性型的存在性来证明 $T^\sigma$ 的正则性？
• RQ4 当 $T$ 是单个、正则、CFT 类型的 VOA，且 $\sigma$ 为有限自同构时，$T^\sigma$ 的正则性是否必然成立？

主要发现

• 当 $T$ 是具有非退化不变双线性型的单个正则顶点算子代数（CFT 类型），且 $\sigma$ 为有限自同构时，其不动点子代数 $T^\sigma$ 必为正则。
• 在 $T$ 正则、$\sigma$ 有限且 $T$ 上存在非退化不变双线性型的条件下，$T^\sigma$ 的正则性得以成立。
• 不动点构造保持了 CFT 类型条件与双线性型，这两者是 $T^\sigma$ 正则性的关键要素。
• 该结果确认了 $T^\sigma$ 上模的范畴是半单的，且仅有有限多个不可约对象，这是正则 VOA 的典型特征。
• 该证明确立了 $T^\sigma$ 满足顶点算子代数理论中正则性的定义，包括每个模均为不可约模的直和这一性质。
• 该结果为 VOA 中对称子代数的正则性提供了一般性判据，扩展了已知的轨道 VOAs 结果。