[论文解读] Annihilating fields of standard modules of sl(2,C)~ and combinatorial identities

Arne Meurman, Mirko Primc|ArXiv.org|Jun 19, 1998

Advanced Mathematical Identities被引用 98

一句话总结

本文为仿射李代数 $\tilde{\frak{sl}}(2,\bbC)$ 构造了一个顶点算子代数，并确定了其在水平 $k = k_0 + k_1$ 下标准模的消去场。通过引入满足差分条件和初值条件的着色分拆参数化这些模的基，推导出一类新的罗杰斯-拉马努金型组合恒等式，通过顶点代数结构在表示理论与分拆恒等式之间建立了直接联系。

ABSTRACT

We show that a set of local admissible fields generates a vertex algebra. For an affine Lie algebra $ ilde\goth g$ we construct the corresponding level $k$ vertex operator algebra and we show that level $k$ highest weight $ ilde\goth g$-modules are modules for this vertex operator algebra. We determine the set of annihilating fields of level $k$ standard modules and we study the corresponding loop $ ilde\goth g$ module---the set of relations that defines standard modules. In the case when $ ilde\goth g$ is of type $A_1^{(1)}$, we construct bases of standard modules parameterized by colored partitions and, as a consequence, we obtain a series of Rogers-Ramanujan type combinatorial identities.

研究动机与目标

• 为任意水平 $k$ 的仿射李代数 $\tilde{\frak{sl}}(2,\bbC)$ 构造顶点算子代数结构。
• 识别定义水平 $k = k_0 + k_1$ 下标准 $\tilde{\frak{sl}}(2,\bbC)$-模关系的消去场集合。
• 通过满足差分与初值条件的着色分拆，为标准模建立组合基。
• 通过等价两个标准模 $L(\tilde{\frak{sl}}(2,\bbC), \tilde{\frak{g}})$ 的特征标表达式，推导出新的罗杰斯-拉马努金型组合恒等式。

提出的方法

• 从一组局部可适场出发，利用负子代数 $\tilde{\frak{n}}_-$ 的泛包络代数构造顶点算子代数。
• 在基元素 $\bar{B} = \{x(n), h(n), y(n) \mid n \in \bbZ\}$ 上定义线性序 $\preccurlyeq$，以组织 $U(\tilde{\frak{g}})$ 中的单项式。
• 通过映射 $\pi: \bar{B} \to \bbN$ 参数化标准模的基向量，其中每个部分具有颜色（$x,h,y$）和度数 $n$。
• 对 $\pi$ 施加差分条件，如 $\pi(y(j-1)) + \pi(h(j-1)) + \pi(y(j)) \leq k$，以定义成为基的生成集。
• 利用顶点算子公式 $X(z) = E^-(z)E^+(z)E^0(z)$ 关联水平 $k$ 模上的作用，并推导基向量之间的关系。
• 比较两个特征标 $\operatorname{ch} L(\Lambda)$ 的表达式：一个来自莱波夫斯基-瓦基莫特乘积公式，另一个来自差分与初值条件定义的分拆理想。

实验结果

研究问题

• RQ1 对于 $\tilde{\frak{sl}}(2,\bbC)$ 的标准模，其水平 $k$ 下定义关系的完整消去场集合是什么？
• RQ2 如何利用满足特定差分与初值条件的着色分拆构造标准模 $L(\Lambda)$ 的基？
• RQ3 通过将特征标 $L(\Lambda)$ 的两种表达式（一种来自顶点算子乘积公式，另一种来自分拆理想）等价，会导出何种组合恒等式？
• RQ4 能否仅通过顶点代数技巧而非特征标公式，证明由着色分拆参数化的基向量的线性无关性？
• RQ5 从 $\tilde{\frak{sl}}(2,\bbC)$ 的特征标公式 $(s_0,s_1)$-特化中，是否会出现新的罗杰斯-拉马努金型恒等式？

主要发现

• 满足五条差分条件与两条初值条件的向量 $u(\pi) \cdot v_0$（$\pi \in \mathcal{P}(\bar{B}_-)$）构成水平 $k = k_0 + k_1$ 下标准模 $L(\Lambda)$ 的基。
• 在主特化 $s = (1,1)$ 下，特征标 $d^{1,1}_{k_0,k_1}(q)$ 等于满足 $\pi_{\underline{2i+1}} + \pi_{2i+1} + \pi_{2i} \leq k$ 的着色分拆的生成函数，且 $\pi_{\underline{1}} \leq k_0$，$\pi_1 \leq k_1$，从而导出新的罗杰斯-拉马努金型恒等式。
• 在 $(1,2)$-特化下且 $k_0 = k_1 = n-1$ 时，满足 $f_j > 0$ 仅当 $j \not\equiv 0 \mod{n}$ 的分拆数，等于满足 $f_{3j+2} + f_{3j+1} + f_{3j} \leq 2n-2$ 等条件且 $f_1 \leq n-1$，$f_2 \leq n-1$ 的分拆数，从而建立新的恒等式。
• 当 $s = (1,2)$，$k_0 = k_1 = n-1$ 时，该组合恒等式与 $A_2^{(2)}$ 型水平 3 模的恒等式一致，表明不同仿射李代数表示之间存在深刻联系。
• 当 $s = (1,1)$，$k_0 = 1$，$k_1 = 2$ 时，部分属于 $\{\underline{i} \mid i \text{ 为奇数}\} \cup \{i \mid i \equiv \pm1 \mod{5}\}$ 的着色分拆数，等于满足四条差分不等式及 $\pi_{\underline{1}} \leq 1$，$\pi_1 \leq 2$ 的分拆数，从而导出具有模约束的新恒等式。
• 基的线性无关性通过顶点算子公式与特征标比较得以证明，避免了对威爾-卡公式或罗杰斯-拉马努金恒等式作为先验输入的依赖。