[论文解读] ${\mathbb Z}_p$-orbifold constructions

Toshiyuki Abe, Ching Hung Lam+1 more|arXiv (Cornell University)|May 25, 2017

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

一句话总结

本论文通过在Leech格点顶点算子代数 $V_\Lambda$ 上对 $p = 3,5,7,13$ 使用无不动点的 $p$ 阶等距，构造了Moonshine顶点算子代数 $V^\natural$，采用 ${\mathbb Z}_p$-群作用构造方法。证明了这些群作用构造确实得到 $V^\natural$，并统一了 ${\mathbb Z}_p$-群作用与 ${\mathbb Z}_2$-群作用构造方法，同时通过两个正交的Ising向量对 $V^\natural$ 进行了表征。

ABSTRACT

For $p = 3,5,7,13$, we consider a ${\mathbb Z}_p$-orbifold construction of the Moonshine vertex operator algebra $V^ atural$. We show that the vertex operator algebra obtained by the ${\mathbb Z}_p$-orbifold construction on the Leech lattice vertex operator algebra $V_\Lambda$ and a lift of a fixed-point-free isometry of order $p$ is isomorphic to the Moonshine vertex operator algebra $V^ atural$. We also describe the relationship between those ${\mathbb Z}_p$-orbifold constructions and the ${\mathbb Z}_2$-orbifold construction in a uniform manner. In Appendix, we give a characterization of the Moonshine vertex operator algebra $V^ atural$ by two mutually orthogonal Ising vectors.

研究动机与目标

• 通过在 $V_\Lambda$ 上使用 $p$ 阶无不动点等距的 ${\mathbb Z}_p$-群作用构造方法，证明其结果为Moonshine顶点算子代数 $V^\natural$，其中 $p = 3,5,7,13$。
• 在统一的框架下，将 ${\mathbb Z}_p$-群作用与 ${\mathbb Z}_2$-群作用构造方法整合为一个连贯的体系。
• 通过两个相互正交的Ising向量对 $V^\natural$ 进行表征，该结果在附录中建立。

提出的方法

• 在Leech格点顶点算子代数 $V_\Lambda$ 上应用 ${\mathbb Z}_p$-群作用构造方法，使用一个 $p$ 阶无不动点等距。
• 将 $\mathbb{Z}_p$-作用提升至顶点算子代数结构，以定义群作用构造。
• 利用表示理论与模不变性，识别出结果顶点算子代数为 $V^\natural$。
• 通过共享结构与对称性，将 ${\mathbb Z}_p$-群作用构造与标准的 ${\mathbb Z}_2$-群作用构造进行比较。
• 在附录中通过两个相互正交的Ising向量对 $V^\natural$ 进行表征，建立其结构性不变量。

实验结果

研究问题

• RQ1 在 $V_\Lambda$ 上使用 $p$ 阶无不动点等距的 ${\mathbb Z}_p$-群作用构造是否对 $p = 3,5,7,13$ 都得到Moonshine顶点算子代数 $V^\natural$？
• RQ2 如何在统一的框架下关联 ${\mathbb Z}_p$-群作用与 ${\mathbb Z}_2$-群作用构造方法？
• RQ3 能否通过两个相互正交的Ising向量唯一表征 $V^\natural$？

主要发现

• 使用 $p$ 阶无不动点等距的 ${\mathbb Z}_p$-群作用构造在 $V_\Lambda$ 上，对 $p = 3,5,7,13$ 都得到一个与 $V^\natural$ 同构的顶点算子代数。
• 该构造提供了一种统一的描述，将 ${\mathbb Z}_p$-群作用与 ${\mathbb Z}_2$-群作用构造方法统一于 $V^\natural$ 的构建之中。
• Moonshine顶点算子代数 $V^\natural$ 可通过两个相互正交的Ising向量的存在性来表征，该结论在附录中得到证明。
• 群作用构造保持了必要的模性质与表示论结构，从而可识别结果为 $V^\natural$。