[论文解读] The index of a Lie algebra, the centraliser of a nilpotent element, and the normaliser of the centraliser

Dmitri I. Panyushev|ArXiv.org|Jul 4, 2001

Advanced Algebra and Geometry参考文献 13被引用 7

一句话总结

本文研究了在特征为零的代数闭域上，半单李代数中幂零元的中心化子与正规化子的指标。通过表示论技巧和 $\mathfrak{sl}_2$-三元组，证明了对正则幂零轨道及某些小轨道，有 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g} - \dim\mathfrak{d}_\mathfrak{g}(x)$，支持了一个统一了 Elashvili 猜想的猜想，并为正规化子的指标提供了几何解释。

ABSTRACT

In this paper, we study the index for several natural classes of non-reductive subalgebras of semisimple Lie algebras. Namely, we look at parabolic subalgebras, centralisers of nilpotent elements, and the normalisers of the centralisers. We discuss a conjecture of Elashvili to the effect that the index of any centraliser is equal to the rank of the semisimple algebra in question. It is shown that Elashvili's conjecture is true for `small' and `large' orbits. Some properties of the index for the normaliser of the centraliser are proved. In particular, we prove that, for a regular nilpotent element, the normaliser of the centraliser is a Frobenius Lie algebra.

研究动机与目标

• 确定半单李代数 $\mathfrak{g}$ 中幂零元 $x\in\mathfrak{g}$ 的中心化子 $\mathfrak{z}_\mathfrak{g}(x)$ 的正规化子 $\mathfrak{n}_\mathfrak{g}(x)$ 的指标。
• 检验 Elashvili 猜想的正确性，即对所有幂零元 $x$，有 $\mathrm{ind}\,\mathfrak{z}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g}$。
• 建立 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x)$ 的一般公式，该公式猜想为 $\mathrm{rk}\,\mathfrak{g} - \dim\mathfrak{d}_\mathfrak{g}(x)$，并在极端情形下证明：正则轨道和满足 $({\rm ad}\,x)^3=0$ 的轨道。
• 阐明通过稳定子维数和非退化形式计算李代数及其表示的指标的几何与代数条件。

提出的方法

• 使用余伴随表示，并将指标定义为对偶空间上某个线性泛函的稳定子的最小维数。
• 应用 $\mathfrak{sl}_2$-三元组将 $\mathfrak{g}$ 分解为 $\mathbb{Z}$-分次分量，利用 $\mathfrak{z}_\mathfrak{g}(x)$ 和 $\mathfrak{d}_\mathfrak{g}(x)$ 上的分次非负性。
• 引入表示的指标，以关联 $\tilde{\mathfrak{q}}$ 中理想 $\mathfrak{q}$ 的 $\mathrm{ind}\,\tilde{\mathfrak{q}}$ 与 $\mathrm{ind}\,\mathfrak{q}$，从而导出不等式 $\mathrm{ind}\,\tilde{\mathfrak{q}} + \mathrm{ind}\,\mathfrak{q} \leq \dim(\tilde{\mathfrak{q}}/\mathfrak{q}) + 2\,\mathrm{ind}(\tilde{\mathfrak{q}}, \mathfrak{q})$。
• 利用卡廷形式与对偶性，证明 $\mathfrak{d}_\mathfrak{g}(x) \oplus \mathfrak{d}_\mathfrak{g}(y)$ 是非退化的，等价于 $\mathfrak{d}_\mathfrak{g}(y) \oplus [\mathfrak{g}, \mathfrak{z}_\mathfrak{g}(x)] = \mathfrak{g}$。
• 分析 $\mathfrak{n}_\mathfrak{g}(x)$ 在 $\mathfrak{d}_\mathfrak{g}(x)^*$ 上的作用，并证明当该作用在对偶空间上是满射时，有 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{ind}\,\mathfrak{z}_\mathfrak{g}(x) - \dim\mathfrak{d}_\mathfrak{g}(x)$。
• 利用双重中心化子 $\mathfrak{d}_\mathfrak{g}(x)$ 的结构和权空间分解，证明矩阵 $D(e_{-\lambda})$ 是非奇异的，从而推出 $\mathfrak{d}_\mathfrak{g}(x) \oplus \mathfrak{d}_\mathfrak{g}(y)$ 上卡廷形式的非退化性。

实验结果

研究问题

• RQ1 在半单李代数 $\mathfrak{g}$ 的所有幂零元 $x$ 上，是否恒有 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g} - \dim\mathfrak{d}_\mathfrak{g}(x)$？
• RQ2 Elashvili 猜想——即对所有经典李代数，有 $\mathrm{ind}\,\mathfrak{z}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g}$ 对所有幂零元 $x$ 成立——是否为真？
• RQ3 在何种条件下，$\mathfrak{n}_\mathfrak{g}(x)$ 在 $\mathfrak{d}_\mathfrak{g}(x)^*$ 上的作用是满射，从而保证 $\mathfrak{n}_\mathfrak{g}(x)$ 的指标公式成立？
• RQ4 能否以 $\mathfrak{g}$ 的秩与双重中心化子 $\mathfrak{d}_\mathfrak{g}(x)$ 的维数统一表达 $\mathfrak{n}_\mathfrak{g}(x)$ 的指标？
• RQ5 在轨道闭包与稳定子的背景下，条件 $\dim\mathfrak{d}_\mathfrak{g}(x)^* \cap \mathfrak{n}_\mathfrak{g}(x)\cdot\xi = \dim\mathfrak{d}_\mathfrak{g}(x)^*$ 的几何意义是什么？

主要发现

• 对正则幂零元 $x$，正规化子 $\mathfrak{n}_\mathfrak{g}(x)$ 是 Frobenius 李代数，即 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = 0$，这意味着经典 Yang-Baxter 方程有解。
• 当 $x$ 为正则元或满足 $({\rm ad}\,x)^3 = 0$ 时，猜想 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g} - \dim\mathfrak{d}_\mathfrak{g}(x)$ 成立，为该公式的普遍有效性提供了强有力证据。
• 对单李代数 $\mathfrak{g}$，双重中心化子满足 $\mathfrak{d}_\mathfrak{g}(x)(2) = \langle x \rangle$，且卡廷形式在 $\mathfrak{d}_\mathfrak{g}(x) \oplus \mathfrak{d}_\mathfrak{g}(y)$ 上是非退化的，等价于 $\mathfrak{d}_\mathfrak{g}(y) \oplus [\mathfrak{g}, \mathfrak{z}_\mathfrak{g}(x)] = \mathfrak{g}$。
• 对 $\mathfrak{g} = \mathfrak{sl}_n, \mathfrak{sp}_{2n}, \mathfrak{so}_{2n+1}$，以及 $\mathfrak{so}_{2n}$ 中至少有三个部分的 $x$，存在 $\xi \in \mathfrak{d}_\mathfrak{g}(x)^*$ 使得 $\mathfrak{n}_\mathfrak{g}(x)\cdot\xi = \mathfrak{d}_\mathfrak{g}(x)^*$，从而保证 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{ind}\,\mathfrak{z}_\mathfrak{g}(x) - \dim\mathfrak{d}_\mathfrak{g}(x)$。
• 当 $\mathfrak{g}$ 的所有指数互不相同时，矩阵 $D(e_{-\lambda})$ 是非奇异的，且反对角线元素非零，这意味着 $[e_i, [e_{p+1-i}, f]] = \mu_i e_\lambda$ 且 $\mu_i \neq 0$，支持该形式的非退化性。
• 对抛物子代数 $\mathfrak{p}$，不等式 $\mathrm{ind}\,\mathfrak{p} + \mathrm{ind}\,\mathfrak{p}^u \leq \dim\mathfrak{l}$ 成立，且猜想下界 $\geq \mathrm{rk}\,\mathfrak{g}$ 也成立。