[论文解读] Admissible level $\mathfrak{osp}(1|2)$ minimal models and their relaxed highest weight modules

Simon Wood|arXiv (Cornell University)|Apr 4, 2018

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

一句话总结

本文在自能量为 admissible 的 𝔬𝔰𝔭(1|2) 最小模型顶点算子超代数的 Neveu-Schwarz 与 Ramond 两个扇区中，对 Z₂-分次的简单松弛最高权模的所有同构类进行了分类。通过使用自由场实现——当 k < -1 时为 Wakimoto 类型，当 k > -1 时为玻色化的 βγ 系统——并结合筛选算子与杰克对称函数，作者计算了 Zhu 代数的显式表示，从而通过矩阵元的谱分析与根系约束，完成了对松弛最高权模的完整分类。

ABSTRACT

The minimal model $\mathfrak{osp}(1|2)$ vertex operator superalgebras are the simple quotients of affine vertex operator superalgebras constructed from the affine Lie super algebra $\widehat{\mathfrak{osp}}(1|2)$ at certain rational values of the level $k$. We classify all isomorphism classes of $\mathbb{Z}_2$-graded simple relaxed highest weight modules over the minimal model $\mathfrak{osp}(1|2)$ vertex operator superalgebras in both the Neveu-Schwarz and Ramond sectors. To this end, we combine free field realisations, screening operators and the theory of symmetric functions in the Jack basis to compute explicit presentations for the Zhu algebras in both the Neveu-Schwarz and Ramond sectors. Two different free field realisations are used depending on the level. For $k&lt;-1$, the free field realisation resembles the Wakimoto free field realisation of affine $\mathfrak{sl}(2)$ and is originally due to Bershadsky and Ooguri. It involves 1 free boson (or rank 1 Heisenberg vertex algebra), one $βγ$ bosonic ghost system and one $bc$ fermionic ghost system. For $k&gt;-1$, the argument presented here requires the bosonisation of the $βγ$ system by embedding it into an indefinite rank 2 lattice vertex algebra.

研究动机与目标

• 对 admissible 层次下 𝔬𝔰𝔭(1|2) 最小模型顶点算子超代数的 Z₂-分次简单松弛最高权模的所有同构类进行分类。
• 将松弛最高权模的分类从标准最高权范畴扩展至包含无限维与稠密模的情形。
• 利用代数与表示论工具，在 Neveu-Schwarz 与 Ramond 两个扇区中完整描述模的结构。
• 通过筛选算子与杰克基下的对称函数理论，计算两个扇区中 Zhu 代数的显式表示。

提出的方法

• 采用两种不同的自由场实现：当 k < -1 时，使用包含 Heisenberg 代数、βγ 广义系统与 bc 广义系统的 Wakimoto 类型实现。
• 当 k > -1 时，利用不定秩 2 格点顶点代数对 βγ 系统进行玻色化。
• 应用筛选算子分析奇点向量，并在 Zhu 代数框架下计算矩阵元。
• 使用杰克基下的杰克对称函数计算并因式分解筛选算子的矩阵元。
• 通过分析矩阵元的消失条件，确定 Zhu 代数的谱，并利用根系约束对模进行分类。
• 利用被 δ^(v-1)( (u−v)/2 +1, (u−v)/2 +1 ) 支配的分拆结构，识别公共单元，推导矩阵元的消失条件。

实验结果

研究问题

• RQ1 在 admissible 层次下，𝔫𝔢𝔫𝔢𝔲-𝔖𝔠𝔥𝔴𝔞𝔯𝔷 扇区中，𝔬𝔰𝔭(1|2) 最小模型 VOAs 的简单松弛最高权模的完整分类是什么？
• RQ2 在 Ramond 扇区中，模的结构有何不同？其中偶子代数为 𝔰𝔩(2)，其分类方式如何？
• RQ3 筛选算子及其矩阵元在确定 Zhu 代数结构与模分类中起到何种作用？
• RQ4 k < -1 与 k > -1 时的自由场实现有何差异？这些差异如何影响 Zhu 代数表示的计算？
• RQ5 杰克对称函数基在计算 Zhu 代数谱性质方面具有何种重要意义？

主要发现

• 在 Neveu-Schwarz 扇区中，分类包括四类：有限维最高权模（𝒜_λ）、无限维最高/最低权模（ℬ⁺_λ, ℬ⁻_λ），以及具有指定权重支撑与超卡西米尔作用的稠密模（𝓒_[λ],s）。
• 在 Ramond 扇区中，分类包括有限维 𝔰𝔩(2) 最高权模（ℱ_λ）与无限维模（𝑫⁺_λ, 𝒟⁻_λ），其特征由最低共形权重与 𝔰𝔩(2) 权结构决定。
• 当 k < -1 时，Wakimoto 类型自由场实现使得可通过筛选算子与杰克对称函数显式计算 Zhu 代数表示。
• 当 k > -1 时，βγ 系统被玻色化为秩 2 格点顶点代数，使得相同的分类框架可被应用，但矩阵元表达式有所修改。
• 筛选算子的矩阵元在满足 s_p - s_{i,j} = 0（其中 (i,j) 属于特定指标集）时精确消失，从而确定了 Zhu 代数的谱。
• 矩阵元的消失由被 δ^(v-1)( (u−v)/2 +1, (u−v)/2 +1 ) 支配的杨图中的公共单元决定，由此导出的分拆 ρ 的元素定义了 Zhu 代数定义多项式的根。