[论文解读] $C_2$-cofiniteness of orbifold models for finite groups

Masahiko Miyamoto|arXiv (Cornell University)|Dec 3, 2018

Algebraic structures and combinatorial models被引用 4

一句话总结

该论文证明了：若一个具有非退化不变双线性形式的 $C_2$-余有限、单的共形场论型顶点算子代数 $V$ 允许一个有限自同构群 $G$ 作用，则相应的轨道构造 $V^G$ 也是 $C_2$-余有限的。该结果在顶点算子代数理论中确立了轨道模型的一个关键有限性性质，确保了在群作用下其代数结构与表示理论的良态性。

ABSTRACT

We prove that if $V$ is a $C_2$-cofinite simple vertex operator algebra of CFT-type with a nonsingular invariant bilinear form and its an automorphism group $G$ is finite, then an orbifold model $V^G$ is also $C_2$-cofinite.

研究动机与目标

• 建立从 $C_2$-余有限的共形场论型 VOAs 上通过有限群作用构造的轨道顶点算子代数的 $C_2$-余有限性。
• 解决关于轨道构造在有限自同构群作用下是否保持 $C_2$-余有限性这一开放问题。
• 将顶点算子代数理论中的结构有限性结果推广至轨道情形，特别是针对具有非退化不变双线性形式的 VOAs。

提出的方法

• 利用原始顶点算子代数 $V$ 的 $C_2$-余有限性与共形场论型条件，控制固定点子代数 $V^G$ 的结构。
• 利用 $V$ 上存在非退化不变双线性形式，确保轨道构造中对偶性与非退化性。
• 应用表示论技术分析 $V^G$ 的分次分量及其模 $C_2$ 的有限生成性。
• 利用有限群作用将 $V$ 分解为不可约 $G$-模，并通过特征标理论与模理论研究固定点代数的结构。
• 分析 $V^G$ 的 $C_2$-商空间，以验证其有限维性，这是 $C_2$-余有限性的关键判据。
• 利用 $V$ 为单的且具有共形场论型的性质，确保轨道代数 $V^G$ 从 $V$ 继承了足够的代数控制以保证有限性。

实验结果

研究问题

• RQ1 当 $V$ 是 $C_2$-余有限且 $G$ 是有限自同构群时，轨道构造 $V^G$ 是否保持 $C_2$-余有限性？
• RQ2 在何种 $V$ 与 $G$ 的条件下，可以保证 $V^G$ 是 $C_2$-余有限的？
• RQ3 $V$ 上非退化不变双线性形式的存在如何促进 $V^G$ 的 $C_2$-余有限性？
• RQ4 $C_2$-余有限性是否足以保证其在有限群作用下的固定点子代数也具有 $C_2$-余有限性？

主要发现

• 当 $V$ 是具有非退化不变双线性形式的 $C_2$-余有限、单的共形场论型顶点算子代数时，轨道模型 $V^G$ 必为 $C_2$-余有限。
• 在有限群作用下，$C_2$-余有限性这一有限性条件在轨道构造中得以保持。
• $V$ 上非退化不变双线性形式的存在在确保 $V^G$ 的代数有限性方面起着关键作用。
• 该结果确认了 $V^G$ 满足良好表示理论所必需的结构条件，包括有限维的 $C_2$-商空间。
• 证明表明，$G$-固定点子代数 $V^G$ 从 $V$ 继承了足够的控制，从而在无需额外假设下保证了 $C_2$-余有限性。