[論文レビュー] On W-algebra extensions of (2,p) minimal models: p > 3

Dražen Adamović, Antun Milas|arXiv (Cornell University)|Jan 4, 2011

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

ひとこと要約

この論文は、奇数の p > 3 に対して W2,p 俉次代数の非可約モジュールを分類し、それらがちょうど 4p + (p−1)/2 個存在することを証明する。Zhu代数の中心の構造が C[x]/⟨f2,p(x)⟩ として特定され、deg(f2,p) = (15p−5)/2 であることが示され、L(0)-nilpotent 階数 3 の (p−1)/2 個の非同型な対数的モジュールの存在を示唆する。主な革新点は、分類および特性関数の閉包結果を支える、Macdonald-Morris 定数項恒等式の対数的変種である。

ABSTRACT

This is a continuation of arXiv:0908.4053, where, among other things, we classified irreducible representations of the triplet vertex algebra W_{2,3}. In this part we extend the classification to W_{2,p}, for all odd p>3. We also determine the structure of the center of the Zhu algebra A(W_{2,p}) which implies the existence of a family of logarithmic modules having L(0)-nilpotent ranks 2 and 3. A logarithmic version of Macdonald-Morris constant term identity plays a key role in the paper.

研究の動機と目的

• W2,3 の非可約モジュール分類を、すべての奇数の p > 3 に対して W2,p に拡張すること。
• Zhu代数 A(W2,p) の中心の構造を特定し、対数的表現への影響を明らかにすること。
• Macdonald-Morris-Dyson 定数項恒等式の対数的変種を証明し、分類に不可欠な役割を果たすこと。

提案手法

• M を W2,p-モジュールである単純なモジュールとするとき、二重子 俇次代数 VL = W2,p ⊕ M を用いてモジュール構造を分析する。
• [AM5] からの新しい手法を応用し、A(W2,p) の中心に焦点を当てて Zhu 代数を研究する。
• 特性関数の公式とモジュール存在の証明に、Macdonald-Morris 定数項恒等式の対数的変種を用いる。
• Zhu 代数の構造と特性関数の公式を用いて、非可約特性関数の SL(2,Z) モジュラー閉包を分析する。
• 一般化された超幾何型積分 I2n+1,i,p,m(t) における留数計算と再帰関係を用い、定数項恒等式を導出する。
• VL-モジュールにおけるスクリーニング作用素と特異ベクトルの特異性構造に関する既知の結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 奇数の p > 3 に対して、W2,p 俇次代数はいくつの同値でない非可約モジュールを許容するか？
• RQ2 Zhu 代数 A(W2,p) の中心の構造は何か？ そして、対数的表現にどのような意味を持つのか？
• RQ3 Macdonald-Morris 定数項恒等式の対数的変種を証明し、特性関数およびモジュールの分類に用いることができるか？
• RQ4 非可約 W2,p 特性関数の空間の SL(2,Z)-閉包の次元は何か？
• RQ5 Zhu 代数の構造は、Kazhdan-Lusztig 対応を通じて量子群の表現理論とどのように関係するか？

主な発見

• W2,p 俇次代数は、正確に 4p + (p−1)/2 個の同値でない非可約モジュールを有し、これらは第 4 節で明示的に構成されている。
• 非可約 W2,p 特性関数の SL(2,Z)-閉包は (15p−5)/2 次元であり、A(W2,p) の中心の次元と一致する。
• Zhu 代数 A(W2,p) の中心は C[x]/⟨f2,p(x)⟩ に同型であり、f2,p(x) は次数 (15p−5)/2 の多項式である。
• これにより、L(0)-nilpotent 階数 3 の (p−1)/2 個の非同型な対数的モジュールの存在が示唆される。
• 新しい対数的定数項恒等式が証明された：Resx1,...,x2k+1 [Δ(x)^p / (x1⋯x2k+1)^(2k+1)] ∏(1−x2i/x2i−1)^2k+1 (1+xi)^t = λk,p ∏(t + pi/2)/(k+1)p−1 で、λk,p ≠ 0 である。
• Dyson 恒等式における定数項の予想される公式は、留数の非消滅により支持され、非自明な特異ベクトルの存在が確認された。