[論文レビュー] On W-algebras associated to (2,p) minimal models and their representations

Dražen Adamović, Antun Milas|ArXiv.org|Aug 27, 2009

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

ひとこと要約

本稿は、奇数の $p \geq 3$ に対して、$(2,p)$ 最小模型に関連する頂点 operator 代数 $\boldsymbol{\mathcal{W}}_{2,p}$ の $C_2$-cofiniteness を確立し、それが有限個の非可約表現しか持たないことを証明する。$\boldsymbol{\mathcal{W}}_{2,3}$ の非可約モジュールを完全に分類し、Dyson および Selberg の恒等式の対数的変形と見なされる一連の定数項恒等式を同定する。これは $p \geq 5$ 時にモジュールの分類に不可欠であり、二項係数と調和数を用いた恒等式を用いて、そのうちの一つの和の明示的評価がなされる。

ABSTRACT

For every odd p \geq 3, we investigate representation theory of the vertex algebra WW_{2,p} associated to (2,p) minimal models for the Virasoro algebras. We demonstrate that vertex algebras WW_{2,p} are C_2--cofinite and irrational. Complete classification of irreducible representations for WW_{2,3} is obtained, while the classification for p \geq 5 is subject to certain constant term identities. These identities can be viewed as "logarithmic deformations" of Dyson and Selberg constant term identities, and are of independent interest.

研究の動機と目的

• 奇数の $p \geq 3$ に対して、頂点 operator 代数 $\boldsymbol{\mathcal{W}}_{2,p}$ の $C_2$-cofiniteness を確立し、有限表現理論を保証する。
• $\boldsymbol{\mathcal{W}}_{2,3}$-モジュールの非可約モジュールの完全な分類を提供し、対数的 conformal field theory における重要なケースを解決する。
• $\boldsymbol{\mathcal{W}}_{2,p}$ の表現理論を支配する、Dyson および Selberg の恒等式の対数的変形と見なされる、新しい種類の定数項恒等式を同定・分析する。これは $p \geq 5$ 時に有効である。
• $\boldsymbol{\mathcal{W}}_{2,p}$ の構造を、ランク1の格子頂点 operator 代数 $V_L$ の部分代数として構成し、スクリーニング作用素と Zhu 代数を用いて分析する。

提案手法

• $\boldsymbol{\mathcal{W}}_{2,p}$ を中心電荷 $c_{2,p}$ を持つランク1の格子頂点 operator 代数 $V_L$ の部分代数として実現し、構造的解析を可能にする。
• Zhu 代数の解析と $C_2$-cofiniteness の証明に、鍵となる部分代数としてのシングレット頂点 operator 代数 $\overline{M(1)}$ を用いる。
• スクリーニング作用素とねじれモジュールを用いて、頂点作用素間の関係を導出し、特に Fock 空間上の $G^{tw}$ および $F(0)$ の作用を用いる。
• ねじれ頂点 operator 代数の技術とローレンツ級数展開による定数項抽出を用い、対数項を含む恒等式を導出する。
• 二項係数と調和数を含む組合せ的恒等式を用いて、$F(p,2p-1)$ のような重要な和を評価する。Chu と Fu の結果を応用する。
• 対数的因子と奇数次のバーデモンデターミナントを含む、$2k+1$ 変数の Dyson 型恒等式の一般化を提示・検証する。

実験結果

リサーチクエスチョン

• RQ1 $\boldsymbol{\mathcal{W}}_{2,p}$ はすべての奇数の $p \geq 3$ に対して $C_2$-cofinite であるか。これにより有限表現理論が保証されるか？
• RQ2 $\boldsymbol{\mathcal{W}}_{2,3}$-モジュールの非可約モジュールの完全なカテゴリが分類可能か？
• RQ3 $p \geq 5$ 時に、$\boldsymbol{\mathcal{W}}_{2,p}$ の表現理論を支配する、Dyson および Selberg の恒等式の対数的変形と見なされる新しい定数項恒等式は、果たしてどのような役割を果たすか？
• RQ4 $\boldsymbol{\mathcal{W}}_{2,p}$ の構造は、格子頂点 operator 代数 $V_L$ への埋め込みとそのスクリーニング作用素を用いて完全に理解可能か？
• RQ5 対数的因子と奇数次のバーデモンデターミナントを含む、Dyson の定数項恒等式の一般化は存在するか？

主な発見

• すべての奇数の $p \geq 3$ に対して、頂点 operator 代数 $\boldsymbol{\mathcal{W}}_{2,p}$ は $C_2$-cofinite であり、したがって非可約表現は有限個に限る。
• $\boldsymbol{\mathcal{W}}_{2,3}$-モジュールの非可約モジュールの分類は完全であり、表現理論にギャップは存在しない。
• 和 $F(p,2p-1) = \sum_{m=1}^{p}\sum_{k=0}^{p}\frac{(-1)^{m+k}}{m}\binom{p}{k}^2\binom{p}{m+k}$ は正確に $\frac{(-1)^{(p+1)/2}}{3}\frac{(3p)!!}{p!!^3}$ に等しい。
• この評価は、Chu と Fu が得た既知の二項係数・調和数の和の恒等式を用いて導出される。その恒等式は $\sum_{k=0}^{2m+1}(-1)^k\binom{2m+1}{k}^3 H_k = \frac{(-1)^{m+1}(6m+3)!(m!)^3}{6(1+3m)!(1+2m)!^3}$ を含む。
• 新しい定数項恒等式が証明された：$\mathrm{CT}_{x_1,x_2,x_3} \ln\left(1 - \frac{x_2}{x_1}\right) \left(1 - \frac{x_2}{x_1}\right)^p \left(1 - \frac{x_3}{x_2}\right)^p \left(1 - \frac{x_1}{x_3}\right)^p = \frac{(-1)^{(p+1)/2}}{3}\frac{(3p)!!}{p!!^3}$。
• 対数的因子と奇数次のバーデモンデターミナントを含む、$2k+1$ 変数の Dyson 恒等式の一般化を提示する。小規模な $k$ および $m$ の場合に検証済み。