[論文レビュー] Vertex-algebraic structure of the principal subspaces of level one modules for the untwisted affine Lie algebras of types A,D,E

Corina Calinescu, James Lepowsky+1 more|ArXiv.org|Aug 27, 2009

Algebraic structures and combinatorial models参考文献 30被引用数 5

ひとこと要約

本稿は、A, D, E型の非-twistされたアフィンリー代数のレベル1標準モジュールの主部分空間に対する明示的な生成子と関係式の提示を、相互作用作用素に基づく頂点作用素代数技法を用いて確立する。主な貢献は、明示的な多重次数付き次元を導く、標準的な$q$-差分方程式系の構成であり、これによりこれらの部分空間に対するフェルミオン型の特性式が得られる。

ABSTRACT

Generalizing some of our earlier work, we prove natural presentations of the principal subspaces of the level one standard modules for the untwisted affine Lie algebras of types A, D and E, and also of certain related spaces. As a consequence, we obtain a canonical complete set of recursions (q-difference equations) for the (multi-)graded dimensions of these spaces, and we derive their graded dimensions. Our methods are based on intertwining operators in vertex operator algebra theory.

研究の動機と目的

• 非-twistされたA, D, E型アフィンリー代数のレベル1標準モジュールの主部分空間を、頂点代数的技法を用いて提示すること。
• フェルミオン型特性式に依存せずに、これらの部分空間の多重次数付き次元に対する標準的な$q$-差分方程式系を導出すること。
• 生成関数（特性式）を導くために、完全系列および再帰関係を構成すること。
• 以前の$\widehat{\mathfrak{sl}}(2)$に関する結果を、単純なルート系を持つアフィンリー代数の広いクラスへ一般化すること。
• 主部分空間および関連部分空間の次数付き次元に対する完全な再帰関係および閉形式表現を確立すること。

提案手法

• 頂点作用素代数理論における相互作用作用素を用いて、主部分空間の構造を分析する。
• 主部分空間とその商を含む完全系列を構築し、再帰関係を導出する。
• $\mathbb{C}[[x_1,\dots,x_l,q]]$での収束を保証するために、$\chi'_{W(\lambda_i)}$を定義するための修正された次数を導入する。
• 根ベクトル$e^{\lambda_i}$が真空モジュール上で作用する仕組みを用いて、完全系列から$q$-差分方程式系を導出する。
• カルタン行列$M = (m_{ij})$を用いて、再帰における重みと電荷のシフトを符号化し、特に変換$x_i \mapsto x_i q^{m_{ij}}$を扱う。
• 初期条件$f_{0,\dots,0}(q) = 1$を用いて、$q$-差分系の解を一意に特定する。

実験結果

リサーチクエスチョン

• RQ1 A, D, E型の非-twistされたアフィンリー代数のレベル1モジュールに対する主部分空間$W(\Lambda_0)$を定義する生成子と関係式の完全な集合は何か？
• RQ2 頂点代数的技法を用いて、$W(\Lambda_0)$の多重次数付き次元に対する標準的な$q$-差分方程式系をどのように導出できるか？
• RQ3 フェルミオン基底や特性式を仮定せずに、$W(\Lambda_0)$の次数付き次元を閉形式で表現できるか？
• RQ4 $W(\Lambda_0)$の次数付き次元と、$i > 0$に対する主部分空間に類似た$W(\lambda_i)$の次数付き次元との関係は何か？
• RQ5 カルタン行列の成分$m_{ij}$は、生成関数の再帰構造にどのように影響を与えるか？

主な発見

• 主部分空間$W(\Lambda_0)$は、フェルミオン基底を仮定せずに、頂点作用素代数の相互作用作用素から導かれる生成子と関係式によって提示可能である。
• 標準的な$q$-差分方程式系が確立された：$\chi_{W(\Lambda_0)}(x_1,\dots,x_l;q) = \chi_{W(\Lambda_0)}(x_1,\dots,x_i q,\dots,x_l;q) + (x_i q)\chi_{W(\Lambda_0)}(x_1 q^{m_{i1}},\dots,x_l q^{m_{il}};q)$。
• 多重次数付き次元$W(\Lambda_0)$は、閉形式で与えられる：$\chi_{W(\Lambda_0)}(x_1,\dots,x_l;q) = \sum_{\mathbf{n}} \frac{q^{\frac{\mathbf{n} M \mathbf{n}^T}{2}}}{(q)_{n_1}\cdots(q)_{n_l}} x_1^{n_1}\cdots x_l^{n_l}$。
• $i > 0$に対して、$W(\lambda_i)$の修正された次数付き次元は$\chi'_{W(\lambda_i)}(x_1,\dots,x_l;q) = \sum_{\mathbf{n}} \frac{q^{\frac{\mathbf{n} M \mathbf{n}^T + 2n_i}{2}}}{(q)_{n_1}\cdots(q)_{n_l}} x_1^{n_1}\cdots x_l^{n_l}$である。
• $q$-差分系の解は初期条件$f_{0,\dots,0}(q) = 1$のもとで一意に特定され、これは電荷ゼロの部分空間に対応する。
• 本結果は、以前の$\widehat{\mathfrak{sl}}(2)$に関する研究を一般化し、単純なルート系を持つタイプの主部分空間の次数付き次元に対する一様な枠組みを提供する。