[論文レビュー] 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

ひとこと要約

この論文は、可解レベル 𝔬𝔰𝔭(1|2) 最小模型頂点 operator super代数の Neveu-Schwarz 型および Ramond 型の両セクターにおいて、Z₂-次数付き単純な緩和型最高重量モジュールのすべての同型類を分類する。k < -1 の場合、Wakimoto型自由場実現を用い、k > -1 の場合、ボソン化された βγ システムを用い、スクリーニング作用素と Jack 対称関数を組み合わせることで、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.

研究の動機と目的

• 可解レベル 𝔬𝔰𝔪(1|2) 最小模型頂点演算子超代数上の Z₂-次数付き単純な緩和型最高重量モジュールのすべての同型類を分類すること。
• 標準的最高重量カテゴリを超え、無限次元的かつ稠密なモジュールを含む、緩和型最高重量モジュールの分類を拡張すること。
• 代数的および表現論的道具を用いて、Neveu-Schwarz 型および Ramond 型の両セクターにおけるモジュール構造を完全に記述すること。
• スクリーニング作用素と対称関数論（Jack 基底）を用いて、両セクターにおける Zhu 代数の明示的表現を計算すること。

提案手法

• k < -1 の場合、Heisenberg代数、βγ ゲージ系、bc ゲージ系を含む Wakimoto 型実現を用いる。
• k > -1 の場合、不定値ランク 2 の格子頂点代数による βγ システムのボソン化を用いる。
• スクリーニング作用素を用いて特異ベクトルを解析し、Zhu代数枠組みにおける行列要素を計算する。
• スクリーニング作用素の行列要素を計算・因数分解するために、Jack 対称関数を Jack 基底で用いる。
• 行列要素の消滅条件を解析し、Zhu代数のスペクトルを特定し、ルート系の制約を用いてモジュールを分類する。
• δ^(v-1)( (u−v)/2 +1, (u−v)/2 +1 ) に支配される分割の構造を活用して共通のセルを特定し、行列要素の消滅条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 可解レベルにおける Neveu-Schwarz 型セクターにおける 𝔬𝔰𝔪(1|2) 最小模型 VOA 上の単純な緩和型最高重量モジュールの完全な分類は何か？
• RQ2 偶数部分代数が 𝔰𝔩(2) である Ramond 型セクターでは、モジュール構造はどのように異なるのか？ そしてそれらはどのように分類されるか？
• RQ3 スクリーニング作用素およびその行列要素は、Zhu代数の構造とモジュール分類にどのような役割を果たすか？
• RQ4 k < -1 と k > -1 の場合における自由場実現の違いは何か？ そしてそれらは Zhu代数の表現計算にどのように影響を与えるか？
• RQ5 Jack 対称関数基底は、Zhu代数のスペクトル的性質を計算する上でどのような重要性を持つのか？

主な発見

• Neveu-Schwarz 型セクターでは、4 種類の分類が含まれる：有限次元最高重量モジュール (𝒜_λ)、無限次元最高/最低重量モジュール (ℬ⁺_λ, ℬ⁻_λ)、および重みの台と超 Casimir作用が指定された稠密モジュール (𝓒_[λ],s)。
• Ramond 型セクターでは、有限次元 𝔰𝔩(2) 最高重量モジュール (ℱ_λ) と無限次元モジュール (𝑫⁺_λ, 𝒟⁻_λ) が含まれ、それぞれ最低 conformal 重みと 𝔰𝔩(2) 重み構造によって特徴づけられる。
• k < -1 の場合、Wakimoto 型自由場実現により、スクリーニング作用素と Jack 対称関数を用いて Zhu 代数の表現を明示的に計算できる。
• k > -1 の場合、βγ システムがランク 2 の格子頂点代数にボソン化されることで、同じ分類枠組みを適用可能となり、行列要素の表現が変更される。
• スクリーニング作用素の行列要素が、特定のインデックス集合における s_p - s_{i,j} = 0 のときにのみ消えることから、Zhu代数のスペクトルが特定される。
• 行列要素の消滅は、δ^(v-1)( (u−v)/2 +1, (u−v)/2 +1 ) に支配されるヤン図形の共通セルに基づき、Zhu代数の定義多項式の根を定義する分割 ρ によって決定される。