[论文解读] Casimir operators for Lie superalgebras

Dimitry Leites, A. N. Sergeev|ArXiv.org|Feb 18, 2002

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

一句话总结

本文通过形变量子化，为剩余的典型李超代数——具体为 ${\mathfrak{po}}(0|2n)$ 和 ${\mathfrak{po}}(0|2n-1)$——构造了卡西米尔算子：${\mathfrak{gl}}(2^{n-1}|2^{n-1})$ 和 ${\mathfrak{q}}(2^{n-1})$ 的卡西米尔算子在 $\hbar$-展开中的最低阶项，分别给出了 ${\mathfrak{po}}(0|2n)$ 和 ${\mathfrak{po}}(0|2n-1)$ 的卡西米尔算子。该猜想已在 $m \leq 6$ 时得证。

ABSTRACT

Casimir operators -- the generators of the center of the enveloping algebra -- are described for simple or close to them ``classical'' finite dimensional Lie superalgebras with nondegenerate symmetric even bilinear form in Sergeev A., The invariant polynomials on simple Lie superalgebras. Represent. Theory 3 (1999), 250--280; math-RT/9810111 and for the ``queer'' series in Sergeev A., The centre of enveloping algebra for Lie superalgebra Q(n, C). Lett. Math. Phys. 7, no. 3, 1983, 177--179. Here we consider the remaining cases, and state conjectures proved for small values of parameter. Under deformation (quantization) the Poisson Lie superalgebra po(0|2n) on purely odd superspace turns into gl(2^{n-1}|2^{n-1}) and, conjecturally, the lowest terms of the Taylor series expansion with respect to the deformation parameter (Planck's constant) of the Casimir operators for gl(2^{n-1}|2^{n-1}) are the Casimir operators for po(0|2n). Similarly, quantization sends po(0|2n-1) into q(2^{n-1}) and the above procedure makes Casimir operators for q(2^{n-1}) into same for po(0|2n-1). Casimir operators for the Lie superalgebra vect(0|m) of vector fields on purely odd superspace are only constants for m>2. Conjecturally, same is true for the Lie superalgebra svect(0|m) of divergence free vector fields, and its deform, for m>3. Invariant polynomials on po(0|2n-1) are also described. They do not correspond to Casimir operators.

研究动机与目标

• 通过解决缺失情形：${\mathfrak{po}}(0|m)$ 及其相关代数，完成对有限维典型李超代数的卡西米尔算子分类。
• 建立量子化超代数（${\mathfrak{gl}}(2^{n-1}|2^{n-1})$ 和 ${\mathfrak{q}}(2^{n-1})$）的卡西米尔算子与泊松超代数 ${\mathfrak{po}}(0|m)$ 的卡西米尔算子之间的对应关系。
• 证明猜想：所有 ${\mathfrak{po}}(0|m)$ 上的不变多项式均来自 ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$ 或 ${\mathfrak{q}}(2^{n-1})$ 的 $\hbar$-展开中的最低阶项。
• 阐明由超迹生成的不变多项式与通过格拉斯曼变量积分得到的不变多项式之间的区别，尤其针对 $m \geq 4$ 的情形。

提出的方法

• 使用形变量子化：通过参数 $\hbar$ 将泊松超代数 ${\mathfrak{po}}(0|2n)$ 变形为 ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$，将 ${\mathfrak{po}}(0|2n-1)$ 变形为 ${\mathfrak{q}}(2^{n-1})$。
• 应用映射 $Q$，将格拉斯曼超代数上的函数映射到克利福德代数中的算子，保持泊松括号关系，至多有 $\hbar$-修正项。
• 从已知的 ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$ 和 ${\mathfrak{q}}(2^{n-1})$ 的卡西米尔算子中提取其 $\hbar$-展开的最低阶项，作为 ${\mathfrak{po}}(0|m)$ 上不变多项式的候选。
• 利用引理 $[Q(f), Q(g)] = \hbar \{f,g\} + \mathcal{O}(\hbar^2)$，验证这些候选确实是 ${\mathfrak{po}}(0|m)$ 上的不变多项式。
• 利用恒等式 $\operatorname{str}(Q(f)^k) = \frac{1}{k} \int f^k \operatorname{vol} \cdot \hbar^n + \mathcal{O}(\hbar^n)$，将超迹不变多项式与积分不变多项式联系起来。
• 通过直接计算，证明当 $m = 2n \leq 6$ 时，该猜想成立，表明所有不变多项式均可由此量子化过程生成。

实验结果

研究问题

• RQ1 能否通过 ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$ 的 $\hbar$-展开中卡西米尔算子的最低阶项，构造泊松超代数 ${\mathfrak{po}}(0|2n)$ 的卡西米尔算子？
• RQ2 相同的量子化过程是否能从 ${\mathfrak{q}}(2^{n-1})$ 生成 ${\mathfrak{po}}(0|2n-1)$ 上的所有不变多项式？
• RQ3 为何标准的超迹不变多项式 $P_{k,\rho} = \operatorname{str}(\rho(X)^k)$ 在 $n \geq 2$ 时无法生成 ${\mathfrak{po}}(0|2n)$ 上的所有不变多项式？
• RQ4 积分不变多项式 $r_k = \int f^k \operatorname{vol}$ 在生成 ${\mathfrak{po}}(0|m)$ 上的完整不变多项式代数中起何作用？
• RQ5 猜想：所有 ${\mathfrak{po}}(0|m)$ 上的不变多项式均来自 ${\mathfrak{gl}}$ 或 ${\mathfrak{q}}$ 不变多项式的 $\hbar$-展开最低阶项，该猜想是否普遍成立？

主要发现

• ${\mathfrak{gl}}(2^{n-1}|2^{n-1})$ 的卡西米尔算子在 $\hbar$-展开中的最低阶项，可生成 ${\mathfrak{po}}(0|2n)$ 上的不变多项式；同理，${\mathfrak{q}}(2^{n-1})$ 的卡西米尔算子最低阶项可生成 ${\mathfrak{po}}(0|2n-1)$ 上的不变多项式。
• 当 $m = 2n \leq 6$ 时，所有 ${\mathfrak{po}}(0|m)$ 上的不变多项式均来自此量子化过程的猜想已得证。
• 不变多项式 $r_k = \int f^k \operatorname{vol}$ 无法生成 ${\mathfrak{po}}(0|2n)$ 上的完整不变多项式代数，如反例所示：径向部分为 $x_1^2x_2^2(x_1^2 - x_2^2)$。
• ${\mathfrak{po}}(0|2n)$ 上的不变多项式代数严格包含由超迹不变多项式 $P_{k,\rho}$ 和积分不变多项式 $r_k$ 生成的代数，表明其结构更为丰富。
• 量子化映射 $Q$ 保持泊松括号关系，至多有 $\mathcal{O}(\hbar^2)$ 修正，确保 ${\mathfrak{po}}(0|m)$ 上不变多项式的 $Q$-像在量子化超代数上仍为不变多项式。
• 超迹 $\operatorname{str}(Q(f)^k)$ 的展开式为 $\frac{1}{k} \int f^k \operatorname{vol} \cdot \hbar^n + \mathcal{O}(\hbar^n)$，从而将积分不变多项式与算子不变多项式联系起来。