[論文レビュー] The Rogers-Selberg recursions, the Gordon-Andrews identities and intertwining operators

Stefano Capparelli, James Lepowsky+1 more|ArXiv.org|Oct 6, 2003

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

ひとこと要約

本稿では、自己随伴作用素代数理論と古典的分割恒等式の間の接続を確立し、標準的 $π\text{sl}(2)$ モジュールの主部分空間の重み付き次元が Rogers–Selberg 再帰関係を満たすことを示している。相互作用作用素を用いてこれらの再帰関係を導出し、Rogers–Ramanujan 恒等式を一般化し、Gordon–Andrews の多重和恒等式を生成関数として得ている。

ABSTRACT

Using the theory of intertwining operators for vertex operator algebras we show that the graded dimensions of the principal subspaces associated to the standard modules for $\hat{\goth{sl}(2)}$ satisfy certain classical recursion formulas of Rogers and Selberg. These recursions were exploited by Andrews in connection with Gordon's generalization of the Rogers--Ramanujan identities and with Andrews' related identities. The present work generalizes the authors' previous work on intertwining operators and the Rogers--Ramanujan recursion.

研究の動機と目的

• 自己随伴作用素代数理論における相互作用作用素と古典的分割恒等式との間の関係を確立すること。
• 標準的 $π\text{sl}(2)$ モジュールの主部分空間の重み付き次元が Rogers–Selberg 再帰式を満たすことを示すこと。
• Rogers–Ramanujan 再帰関係に関する先行結果を高レベルのモジュールに一般化し、これらの再帰関係から Gordon–Andrews 恒等式を導出すること。
• 重み付き次元と相互作用作用素からの完全系列を用いて、Gordon–Andrews 恒等式の多重和形の表現論的導出を提供すること。

提案手法

• $π\text{sl}(2)$ モジュールに関連する自己随伴作用素代数の相互作用作用素を用いて、主部分空間の完全系列を構成すること。
• 再帰関係を単純化し、標準形式に一致させるために、修正された重み付き次元 $\chi'_{W(\Lambda)}(x,q)$ を定義すること。
• 完全系列と重み・電荷分解から $q$-差分方程式系（Rogers–Selberg 再帰関係）を導出すること。
• 系列の完全性を用いて、異なる電荷および重みにおける部分空間の次元を関係づけ、再帰的特性関係を導出すること。
• 形式的べき級数技法を用いて、初期条件 $\lim_{x\to 0}\chi'_{W(\Lambda)}(x,q) = 1$ および $\lim_{q\to 0}\chi'_{W(\Lambda)}(x,q) = 1$ を満たす再帰系を解くこと。
• 再帰系の解の一意性を用いて、解が既知の Gordon–Andrews 恒等式の多重和形と一致することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 自己随伴作用素代数理論における相互作用作用素は、Rogers–Ramanujan や Gordon–Andrews 恒等式を含む古典的分割恒等式とどのように関係するか？
• RQ2 主部分空間の $π\text{sl}(2)$ モジュールに関する表現論的構成から、Rogers–Selberg 再帰式を導出できるか？
• RQ3 重み付き次元と電荷・重み分解は、Gordon–Andrews 恒等式の多重和形を実現するために果たす役割は何か？
• RQ4 相互作用作用素から導かれる再帰関係は、主部分空間の特性関数をどの程度一意に決定するか？

主な発見

• レベル-$k$ の標準的 $π\text{sl}(2)$ モジュールの主部分空間の重み付き次元 $\chi'_{W(i\Lambda_0 + (k-i)\Lambda_1)}(x,q)$ は、Rogers–Selberg 再帰系を満たす。
• 再帰系は、$1 \leq i \leq k$ に対して $\chi'_{W(i\Lambda_0 + (k-i)\Lambda_1)}(x,q) - (xq)^i \chi'_{W((k-i)\Lambda_0 + i\Lambda_1)}(xq,q) = \chi'_{W((i-1)\Lambda_0 + (k-i+1)\Lambda_1)}(x,q)$ で与えられ、$\chi'_{W(k\Lambda_1)}(x,q) = \chi'_{W(k\Lambda_0)}(xq,q)$ である。
• この再帰系の解は、Gordon–Andrews 恒等式の多重和形である： $\chi'_{W(i\Lambda_0 + (k-i)\Lambda_1)}(x,q) = \sum_{m \geq 0} \sum_{\substack{N_1 + \cdots + N_k = m \\ N_1 \geq \cdots \geq N_k \geq 0}} \frac{x^m q^{N_1^2 + \cdots + N_k^2 + N_{i+1} + \cdots + N_k}}{(q)_{N_1 - N_2} \cdots (q)_{N_{k-1} - N_k} (q)_{N_k}}$。
• 初期条件 $\lim_{x\to 0}\chi'_{W(\Lambda)}(x,q) = 1$ および $\lim_{q\to 0}\chi'_{W(\Lambda)}(x,q) = 1$ は、$\mathbb{C}[[x,q]]$ 内で解を一意に決定する。
• この結果は、Rogers–Ramanujan 再帰関係を高レベルのモジュールに一般化し、Gordon–Andrews 恒等式の表現論的解釈を提供する。
• 導出された特性関数は、Feigin–Stoyanovsky および Gritsenko の特性関数と一致し、先行研究との整合性を確認している。