[论文解读] 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 递推系统。
• 该递推系统由下式给出：$\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)$，其中 $1 \leq i \leq k$，且 $\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 的特征函数公式一致，证实了与文献中已有结果的一致性。