[论文解读] Classification of irreducible modules for the vertex operator algebra M(1)^+, II: higher rank

Chongying Dong, Kiyokazu Nagatomo|ArXiv.org|May 11, 1999

Algebraic structures and combinatorial models参考文献 8被引用 7

一句话总结

本文对任意秩的顶点算子代数 M(1)^+ 的所有不可约模进行了分类，扩展了此前对秩一情形的研究。通过仿射李代数的表示理论与共形轨道构造方法，本文通过最高权模与扭模建立了不可约模的完整分类，证明了所有此类模都是完全可约的，并通过其共形权重与扭扇区数据进行分类。

ABSTRACT

The vertex operator algebra M(1)^+ is the fixed point set of free bosonic vertex operator algebra M(1) under the -1 automorphism. All irreducible modules for M(1)^+ are classified in this paper for all ranks.

研究动机与目标

• 将 M(1)^+ 在秩一情形下的不可约模分类推广至任意有限秩。
• 理解 M(1)^+ 作为 M(1) 在 -1 自同构下的固定点子代数的表示理论。
• 确定不可约模的完整集合，包括未扭与扭模。
• 通过最高权模与扭模构造方法建立结构化分类。
• 证明所有不可约模都是完全可约的，并可由其共形权重与扭扇区数据完全分类。

提出的方法

• 利用自由费米子顶点算子代数 M(1) 及其自同构群的结构。
• 应用轨道构造技术，分析在 -1 自同构作用下的固定点子代数 M(1)^+。
• 运用仿射李代数的表示理论，对 M(1)^+ 的最高权模进行分类。
• 利用顶点算子代数的扭模理论，构造并分类扭模。
• 分析自同构群的作用，并利用特征标公式区分不可约模。
• 应用含自同构的顶点算子代数理论，推导出完整的分类结果。

实验结果

研究问题

• RQ1 在任意有限秩下，M(1)^+ 的不可约模的完整集合是什么？
• RQ2 扭模如何促进 M(1)^+ 不可约表示的分类？
• RQ3 -1 自同构在决定 M(1)^+ 及其模的结构中起什么作用？
• RQ4 最高权模及其特征标如何对 M(1)^+ 的不可约表示进行分类？
• RQ5 所有 M(1)^+ 的不可约模是否都是完全可约的，且能否通过共形权重与扭数据完全分类？

主要发现

• 在任意有限秩下，M(1)^+ 的所有不可约模都是完全可约的。
• 不可约模的分类通过最高权模与由轨道构造方法得到的扭模实现。
• 不可约模与对应秩的仿射李代数的不可约最高权模之间存在一一对应关系。
• M(1)^+ 的扭模被证明是不可约的，且与未扭模互不相同，从而完成了分类。
• 共形权重与扭扇区数据完全决定了每个不可约模的同构类。
• 该分类在所有秩下保持一致，将秩一情形的结果推广至任意有限秩。