[論文レビュー] Extended vertex operator algebras and monomial bases

Boris Feigin, Tetsuji Miwa|ArXiv.org|Jan 17, 1999

Algebraic structures and combinatorial models参考文献 6被引用数 18

ひとこと要約

本稿は、$\rhd\text{sl}_2$ 共形場理論のレベル$k$におけるクラッカー代数枠組みの一般化として、$\rhd\text{sl}_2$ の電流と自由場の頂点演算子を組み合わせることで、拡張された頂点演算子代数$A_k$を構成する。関数的構成法を用いて、所定の消失条件を満たす反対称/対称多項式を用い、経路モデル解析と特徴方程式の一致を通じて、既約表現に対する単項式基底の線形独立性および張り込み性を証明する。

ABSTRACT

We present a vertex operator algebra which is an extension of the level $k$ vertex operator algebra for the $\hat{sl}_2$ conformal field theory. We construct monomial basis of its irreducible representations.

研究の動機と目的

• レベル$k$における$\rhd\text{sl}_2$の頂点演算子代数を、相互作用子と自由場の演算子を統合することで局所的な代数的構造に拡張すること。
• 双対空間の多項式実現を用いて、半無限楔構成法を高レベルに一般化すること。
• 組合せ的経路モデルを用いて、拡張代数の既約表現に対する単項式基底を確立すること。
• 特徴方程式の一致と双対ベクトル解析を通じて、基底ベクトルの線形独立性と張り込み性を証明すること。
• 重みと対称性の制約を通じて、表現空間$\r\to\text{sl}_2 \rtimes \text{free field}$の構造を特徴づけること。

提案手法

• 生成元$V \otimes \mathbb{C}[z,z^{-1}]$および$V^* \otimes \mathbb{C}[z,z^{-1}]$からなる代数の商として、$A_k$を構成し、局所性を保証する。ここで$V \simeq \mathbb{C}^{k+1}$である。
• 双対空間$\Lambda^s U_n$を、$t_j, z_j$における反対称または対称多項式の空間として実現し、$t_j$における次数が$\leq k$で、$t_i = t_j, z_i = z_j$のとき$\text{order } k$の消失を満たすようにする。
• 最高重み状態と一致する正規順序条件および漸近的条件を満たす列$(a_j, n_j)$からなる経路モデル$\mathcal{P}_{r,r+2l}$を定義する。
• 重みが基準経路からのずれによって定まる、経路ベクトル$\omega_p = \varphi_{a_1,n_1} \varphi_{a_2,n_2} \cdots$を用いて表現空間を生成する。
• 双対ベクトルペアリングにより線形独立性を確立する：$\langle \omega^*_1(\kappa) \otimes \cdots \otimes \omega^*_k(\kappa), v_\rho \omega^{(k)}_{r,r} \rangle = c_\rho \delta_{\kappa,\rho}$。
• 特徴方程式の比較により張り込み性を証明する：$\chi(\mathcal{P}_{r,r+2l}) = \chi_{r,r+2l}$、既知の特徴方程式の公式と$\prod_{n=1}^\infty (1 - e^{-n\delta})^{-1}$の積を用いる。

実験結果

リサーチクエスチョン

• RQ1 レベル$k$における$\r\to\text{sl}_2$の頂点演算子代数は、相互作用子を含めても局所性と代数的構造を保ったまま拡張可能か？
• RQ2 所定の対称性および消失条件を満たす多項式実現を用いて、半無限楔構成法を高レベルに一般化できるか？
• RQ3 拡張代数の既約表現に対する単項式基底を記述する組合せ的経路モデルは何か？
• RQ4 双対ベクトルペアリングを用いて、基底ベクトルの線形独立性をどのように証明できるか？
• RQ5 特徴方程式の一致によって確認されるように、経路モデルは全表現空間を張り尽くすか？

主な発見

• 拡張された頂点演算子代数$A_k$は、$\r\to\text{sl}_2$の電流代数と自由場の頂点演算子を組み合わせることで、局所的拡張として構成される。
• 双対空間$\Lambda^s U_n$は、$t_j, z_j$における次数$\leq k$の反対称または対称多項式の空間として実現され、$t_i = t_j, z_i = z_j$のとき$\text{order } k$の消失を満たす。
• 経路$p \in \mathcal{P}_{r,r+2l}$に添えられた経路ベクトル$\omega_p = \varphi_{a_1,n_1} \varphi_{a_2,n_2} \cdots$を用いて、既約表現の単項式基底が構成される。ここで、正規順序条件および漸近的条件を満たす。
• 双対ベクトルとの非退化ペアリングにより、基底ベクトルの線形独立性が証明される：$\langle \omega^*_1(\kappa) \otimes \cdots \otimes \omega^*_k(\kappa), v_\rho \omega^{(k)}_{r,r} \rangle = c_\rho \delta_{\kappa,\rho}$。
• 特徴方程式の一致により、経路モデルが全表現空間$\pi_r \otimes \mathcal{H}_{(r+2l)/\sqrt{2k}}$を張り尽くすことが確認される：$\chi(\mathcal{P}_{r,r+2l}) = \chi_{r,r+2l}$。
• 特徴方程式の公式$\chi(\mathcal{P}_{r,r+2l}) = \chi(\mathcal{P}^{\text{red}}_{r,r+2l}) / \prod_{n=1}^\infty (1 - e^{-n\delta})$は、既知の特徴方程式恒等式を用いて、張り込み性を裏付ける。