[论文解读] Weyl denominator identity for the affine Lie superalgebra gl(2|2)^

Maria Gorelik|arXiv (Cornell University)|Jul 25, 2010

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

一句话总结

本文利用卡西米尔算子和受 Z 启发的解析技巧，证明了 Kac 和 Wakimoto 所提出的仿射李超代数 $τ{gl}(2|2)\hat{}$ 的外尔分母恒等式，该方法亦给出了经典雅可比恒等式（即一个整数表示为 8 个平方和的表示数）的新证明。

ABSTRACT

We prove the Weyl denominator identity for the affine Lie superalgebra gl(2|2)^ conjectured by V. Kac and M. Wakimoto. As it was pointed out in their paper, this gives another proof of Jacobi identity for the number of presentations of a given integer as a sum of eight squares.

研究动机与目标

• 证明 Kac 和 Wakimoto 在 [KW] 中提出的仿射李超代数 $τ{gl}(2|2)\hat{}$ 的外尔分母恒等式。
• 将仿射李超代数的分母恒等式已知框架扩展至 $τ{gl}(2|2)\hat{}$ 的情形，该代数的对偶考绍尔数为零，因此超出标准分类范围。
• 利用分母恒等式，为整数表示为 8 个平方和的数目提供一个全新的解析证明，即雅可比恒等式。
• 建立模形式中的无限乘积恒等式与仿射李超代数中的表示论结构之间的联系。

提出的方法

• 利用仿射李超代数 $τ{gl}(2|2)\hat{}$ 存在卡西米尔算子的事实，分析外尔分母的结构。
• 使用形如 $(1+x)_q^\infty = \prod_{n=0}^\infty (1 + q^n x)$ 和 $(1-x)_q^\infty = \prod_{n=0}^\infty (1 - q^n x)$ 的无限乘积展开式（其中 $0 < q < 1$），在变量 $x, y_1, y_2$ 上定义形式幂级数。
• 应用解析延拓与亚纯函数理论，在区域 $q < |y_1/y_2| < q^{-1}$ 内计算分母恒等式，将有理因子展开为 $f_n(y)$ 的级数。
• 依赖 [Z] 中关于扭仿射李超代数的方法，通过函数方程与留数分析，将其适配至 $τ{gl}(2|2)\hat{}$ 的情形。
• 通过证明该比值 $AB / \hat{R}(y)$ 是全纯且关于 $y \mapsto qy$ 的 $q$-不变函数，从而证明其为常数函数，并在 $y=1$ 处进行归一化。
• 在 $y_1 = y_2 = 1$ 处计算恒等式，并取 $x \to 1$ 的极限，利用高斯恒等式 $\square(-q) = (1-q)_q^\infty / (1+q)_q^\infty$ 推导出雅可比 8 平方恒等式。

实验结果

研究问题

• RQ1 仿射李超代数 $τ{gl}(2|2)\hat{}$ 的外尔分母恒等式的确切形式是什么？
• RQ2 卡西米尔算子与解析延拓技术如何用于证明对偶考绍尔数为零的情形下的分母恒等式？
• RQ3 能否通过 $τ{gl}(2|2)\hat{}$ 的分母恒等式恢复已知的数论恒等式，如雅可比的 8 平方定理？
• RQ4 无限乘积 $\prod_{n=0}^\infty (1 \pm q^n x)$ 在编码仿射李超代数的表示论数据中起什么作用？
• RQ5 由于其卡坦子代数的秩不同，$τ{gl}(2|2)\hat{}$ 与 $τ{sl}(2|2)\hat{}$ 的分母恒等式结构有何差异？

主要发现

• 证明了 $τ{gl}(2|2)\hat{}$ 的外尔分母恒等式，其形式为涉及 $q$、$x$ 以及 $y_1, y_2$ 的非平凡无限乘积与级数恒等式。
• 在 $y_1 = y_2 = 1$ 处求值后，该恒等式退化为雅可比 8 平方恒等式，得到 $\square(q)^8 = 1 + 16\sum_{j,k=1}^\infty (-1)^{(j+1)k} k^3 q^{jk}$，其中 $\square(q) = \sum_{j\in\mathbb{Z}} q^{j^2}$。
• $\square(q)^8$ 中 $q^m$ 的系数表示 $m$ 表示为 8 个平方和的表示数（考虑顺序与符号）。
• 证明表明比值 $AB / \hat{R}(y)$ 在穿孔圆盘 $0 < |y|$ 上恒为 1，通过证明其全纯且关于 $y \mapsto qy$ 的 $q$-不变性，并在 $y=1$ 处归一化。
• 因子 $\frac{((1-q)_q^\infty)^2}{(1-qy_1^{-1}y_2)_q^\infty (1-qy_1y_2^{-1})_q^\infty}$ 的展开式为 $1 + \sum_{n=1}^\infty f_n(y_1/y_2)$，其系数为 $f_n(y) = (y^n + y^{-n} - y^{n-1} - y^{1-n}) \sum_{j=0}^\infty (-1)^j q^{(j+1)(j+2n)/2}$。
• 通过令 $y_1 = y_2$，可从 $τ{gl}(2|2)\hat{}$ 的分母恒等式导出 $τ{sl}(2|2)\hat{}$ 的分母恒等式，由于卡坦子代数维数小一维，左端额外多出因子 $(1-q)_q^\infty$。