[论文解读] Quasi-particle bases of principal subspaces for the affine Lie algebras of types $B_{l}^{(1)}$ and $C_{l}^{(1)}$

Marijana Butorac|arXiv (Cornell University)|May 3, 2015

Algebraic structures and combinatorial models参考文献 16被引用 3

一句话总结

本文为仿射李代数类型 $B_l^{(1)}$ 和 $C_l^{(1)}$ 在水平 $k \geq 1$ 下的标准模与广义 Verma 模的主子空间构造了准粒子基，推广了此前对 $B_2^{(1)}$ 的结果。通过顶点算子关系与投影技巧，推导出显式的特征标公式，从而得到 $l \geq 3$ 时的新 Rogers-Ramanujan 型恒等式。关键贡献在于通过不同颜色与电荷的准粒子上的能量条件，给出了这些子空间的分次维数的组合描述。

ABSTRACT

Generalizing our earlier work, we construct quasi-particle bases of principal subspaces of standard module $L_{X_l^{(1)}}(kΛ_0)$ and generalized Verma module $N_{X_l^{(1)}}(kΛ_0)$ at level $k\geq 1$ in the case of affine Lie algebras of types $B_l^{(1)}$ and $C_l^{(1)}$. As a consequence, from quasi-particle bases, we obtain the graded dimensions of these subspaces.

研究动机与目标

• 将准粒子基的构造从 $B_2^{(1)}$ 扩展到水平 $k \geq 1$ 下的高秩仿射李代数类型 $B_l^{(1)}$ 与 $C_l^{(1)}$（$l \geq 3$）。
• 为广义 Verma 模 $N_{X_l^{(1)}}(k\Lambda_0)$ 与不可约模 $L_{X_l^{(1)}}(k\Lambda_0)$ 的主子空间建立特征标公式。
• 通过分析来自准粒子基的分次维数，推导出新的 Rogers-Ramanujan 型恒等式。
• 将先前工作中用于证明生成集线性无关性的、对标准模的 $\mathfrak{h}$-权子空间张量积的投影方法推广，以处理更高秩情形。

提出的方法

• 通过从顶点算子中提取留数，定义颜色为 $i$、电荷为 $r \geq 1$、能量为 $-m$ 的准粒子 $x_{r\alpha_i}(m)$，构造主子空间的生成集。
• 对于 $B_l^{(1)}$，单项式按顺序 $b(\alpha_l)b(\alpha_{l-1})\cdots b(\alpha_1)$ 排列，其中颜色 $1$ 到 $l-2$ 的能量差条件与 $A_{l-1}^{(1)}$ 一致，颜色 $l-1$ 与 $l$ 的条件与 $B_2^{(1)}$ 一致。
• 对于 $C_l^{(1)}$，单项式按顺序 $b(\alpha_1)\cdots b(\alpha_{l-1})b(\alpha_l)$ 排列，其中颜色 $l-1$ 与 $l$ 的能量条件与 $B_2^{(1)}$ 一致，颜色 $1$ 到 $l-2$ 的条件与 $A_{l-1}^{(1)}$ 在水平 $2k$ 下的一致。
• 使用投影映射到标准模的 $\mathfrak{h}$-权子空间张量积，将线性无关性问题约化为已知的 $B_2^{(1)}$ 与 $A_{l-1}^{(1)}$ 情形的结果。
• 通过在准粒子单项式的顺序上进行归纳，利用互变算子的系数、简单电流算子以及水平一模上的 Weyl 群平移。
• 通过将 Poincaré-Birkhoff-Witt 定理应用于 $U(\mathcal{L}(\mathfrak{n}_+))_{<0}$ 的基，推导出特征标公式，得到以 $q$-Pochhammer 符号表示的无限乘积表达式。

实验结果

研究问题

• RQ1 如何系统地为水平 $k \geq 1$ 下的 $B_l^{(1)}$ 与 $C_l^{(1)}$ 仿射李代数的主子空间构造准粒子基（$l \geq 3$）？
• RQ2 在这些基中，控制准粒子单项式线性无关性的能量差条件是什么（针对 $B_l^{(1)}$ 与 $C_l^{(1)}$）？
• RQ3 广义 Verma 模 $N_{X_l^{(1)}}(k\Lambda_0)$ 的主子空间的分次维数能否表示为无限乘积恒等式？
• RQ4 这些特征标公式是否能导出超越已知的 $A_1^{(1)}$ 与 $B_2^{(1)}$ 情形的新 Rogers-Ramanujan 型恒等式？
• RQ5 如何利用投影与低秩情形的已知结果来证明生成集的线性无关性？

主要发现

• 本文为广义 Verma 模 $N_{B_l^{(1)}}(k\Lambda_0)$ 的主子空间建立了准粒子基，单项式按顺序 $b(\alpha_l)b(\alpha_{l-1})\cdots b(\alpha_1)$ 排列，其中颜色 $1$ 到 $l-2$ 的能量条件与水平 $k$ 下的 $A_{l-1}^{(1)}$ 一致，颜色 $l-1$ 与 $l$ 的条件与水平 $k$ 下的 $B_2^{(1)}$ 一致。
• 对于 $C_l^{(1)}$，基按顺序 $b(\alpha_1)\cdots b(\alpha_{l-1})b(\alpha_l)$ 排列，颜色 $l-1$ 与 $l$ 的能量条件与水平 $k$ 下的 $B_2^{(1)}$ 一致，颜色 $1$ 到 $l-2$ 的条件与水平 $2k$ 下的 $A_{l-1}^{(1)}$ 一致。
• 广义 Verma 模 $N_{B_l^{(1)}}(k\Lambda_0)$ 的主子空间的特征标公式为如下无限乘积：$\prod_{m>0} \frac{1}{(1-q^m y_1)(1-q^m y_1 y_2)\cdots(1-q^m y_1\cdots y_{l-1})(1-q^m y_1 y_2^2 \cdots y_l^2)} \cdots \frac{1}{(1-q^m y_l)}$，并对应于指数中包含特定二次型与双线性型的分拆和。
• 类似地，$N_{C_l^{(1)}}(k\Lambda_0)$ 的特征标公式表示为 $m>0$ 的乘积：$\frac{1}{(1-q^m y_1)}\cdots\frac{1}{(1-q^m y_1 y_2^2 \cdots y_l^2)}\cdots\frac{1}{(1-q^m y_l)}$，其结构与 $B_l^{(1)}$ 情形相似，但顺序与权重依赖关系不同。
• 这些特征标公式被证明等价于对分拆 $r_i^{(j)}$ 的求和，其指数为 $q^{\sum (r_i^{(j)})^2 - \sum r_{i-1}^{(j)} r_i^{(j)}}$，并除以 $q$-Pochhammer 符号，从而导出新的 Rogers-Ramanujan 型恒等式。
• 通过投影技巧证明了生成集的线性无关性，该技巧将问题约化为已知的 $B_2^{(1)}$ 与 $A_{l-1}^{(1)}$ 情形的线性无关性结果，利用了互变算子的系数与 Weyl 群平移。