[论文解读] Regularity of fixed-point vertex operator subalgebras

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

Algebraic structures and combinatorial models被引用 61

一句话总结

该论文证明了：对于一个具有非退化不变双线性型的简单、非负整数分次、正则顶点算子代数 $T$，在有限阶自同构 $ \sigma$ 作用下的不动点子代数 $T^\sigma$ 本身也是正则的。通过利用一元模不变性与基于两点函数的刚性论证，作者解决了正则性方面的循环对称 orbifold 问题，确立了扭曲共轭特征标的与 $SL_2(\mathbb{Z})$ 的相容性，并完全确认了在 $V^\natural$ 等全纯 VOAs 中广义月光猜想中的一个关键命题。该结果将正则性推广至有限可解群作用下的不动点子代数。

ABSTRACT

We show that if $T$ is a simple non-negatively graded regular vertex operator algebra with a nonsingular invariant bilinear form and $σ$ is a finite order automorphism of $T$, then the fixed-point vertex operator subalgebra $T^σ$ is also regular. This yields regularity for fixed point vertex operator subalgebras under the action of any finite solvable group. As an application, we obtain an $SL_2(\mathbb{Z})$-compatibility between twisted twining characters for commuting finite order automorphisms of holomorphic vertex operator algebras. This resolves one of the principal claims in the Generalized Moonshine conjecture.

研究动机与目标

• 解决顶点算子代数中正则性性质的循环 orbifold 问题。
• 建立当 $T$ 为简单、非负整数分次、正则且配备有非退化不变双线性型时，不动点子代数 $T^\sigma$ 仍保持正则性的结论。
• 证明在全纯 VOA 中，对交换自同构的扭曲共轭特征标与 $SL_2(\mathbb{Z})$ 相容，从而确认广义月光猜想中的一个关键命题。
• 通过确保群作用下正则性得以保持，将模不变性与 Verlinde 型定理等强大工具的应用范围扩展至 orbifold VOA。

提出的方法

• 将 $T^\sigma$ 的正则性问题归约为证明其 $C_2^0$-有限性与不可约 $T^\sigma$-模的投射性。
• 利用 $T$ 关于 $T^\sigma$ 的简单流形模的分解，分析扭曲模的结构。
• 应用一元两点函数与 Moore-Seiberg-Huang 论证，建立不可约 $T^\sigma$-模的刚性。
• 借助 $T$ 的迹函数的模不变性，推导出 $T^\sigma$ 的不变性性质，依赖于 $C_2^0$-有限性与投射性。
• 运用 Verlinde 公式与解析引理处理 $L(0)$-特征值结构，并确保双线性型的非退化性。
• 利用 $SL_2(\mathbb{Z})$ 对一元函数空间的作用，证明扭曲特征标的变换性质。

实验结果

研究问题

• RQ1 当 $T$ 是简单、非负整数分次、正则且具有非退化不变双线性型的 VOA 时，其在有限阶自同构 $\sigma$ 作用下的不动点子代数 $T^\sigma$ 是否仍为正则？
• RQ2 能否在不假设 CFT 类型条件的前提下，仅依靠非负分次与 $C_2^0$-有限性，解决正则性方面的循环 orbifold 问题？
• RQ3 广义月光猜想所预测的全纯 VOA 中扭曲共轭特征标与 $SL_2(\mathbb{Z})$ 的相容性，是否可无条件证明？
• RQ4 能否在不假设 $C_2$-有限性或 CFT 类型条件的前提下，建立 $V^\natural$ 的 $g$-有理性，从而实现扭曲特征标的模不变性？

主要发现

• 当 $T$ 为简单、非负整数分次、正则且具有非退化不变双线性型时，其不动点顶点算子子代数 $T^\sigma$ 必为正则。
• $T^\sigma$ 的 $C_2^0$-有限性继承自 $T$，而不可约 $T^\sigma$-模的投射性通过利用一元两点函数的刚性论证得以确立。
• 对于具有非负 $L(0)$-谱的 $C_2$-有限全纯 VOA，扭曲共轭特征标的 $SL_2(\mathbb{Z})$-相容性无条件成立。
• $V^\natural$ 的 $g$-有理性对所有 $g \in \mathbb{M}$ 成立，从而解决了广义月光纲领中的一个关键开放问题。
• 主定理表明，有限可解群作用下的不动点子代数均为正则，从而扩展了 orbifold CFT 构造的适用范围。
• 该结果通过确立 $V^\natural$ 中交换自同构的扭曲特征标的模不变性，确认了广义月光猜想的第 4 条命题。