[论文解读] The centralisers of nilpotent elements in classical Lie algebras

Oksana Yakimova|ArXiv.org|Jul 5, 2004

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

一句话总结

该论文证明了在代数闭域上特征为零的典型李代数中，对幂零元的Élashvili指标猜想，表明任意幂零元的中心化子的指标等于代数的秩。通过显式构造余伴随稳定子并使用归纳法，作者证明了在τ-稳定李代数中，包括τ-对合的τ-固定点，其中心化子的指标等于秩。

ABSTRACT

The index of a finite-dimensional Lie algebra $g$ is the minimum of dimensions of stabilisers $g_α$ of elements $α\in g^*$. Let $g$ be a reductive Lie algebra and $z(x)$ a centraliser of a nilpotent element $x\in g$. Elashvili has conjectured that the index of the centraliser $z(x)$ equals the index of $g$, i.e., the rank of $g$. Here Elashvili's conjecture is proved for reductive Lie algebras of classical type. It is shown that in cases $g=gl_n$ and $g=sp_{2n}$ the coadjoint action of $z(x)$ has a generic stabiliser. Also, we give an example of a nilpotent element $x\in so_8$ such that the coadjoint action of $z(x)$ has no generic stabiliser.

研究动机与目标

• 证明Élashvili猜想：在半单李代数中，幂零元的中心化子的指标等于代数的秩。
• 建立在经典李代数中，任意幂零元的中心化子的指标等于代数的秩。
• 证明τ-稳定李代数中，中心化子的余伴随作用存在通用稳定子，特别是τ-稳定李代数中τ-固定点的情形。
• 研究中心化子的交换簇结构及其与矩阵三元组交换性的关系。
• 证明对于τ-稳定李代数，中心化子的余伴随作用存在通用稳定子，当且仅当其指标等于秩。

提出的方法

• 显式构造余伴随稳定子 $α \in (\mathfrak{g}_e)^*$，使得 $\dim(\mathfrak{g}_e)_\alpha \leq \operatorname{rk} \mathfrak{g}$，从而证明 $\operatorname{ind} \mathfrak{g}_e = \operatorname{rk} \mathfrak{g}$。
• 利用Vinberg不等式将问题约化为证明 $\operatorname{ind} \mathfrak{g}_e \leq \operatorname{rk} \mathfrak{g}$，通过构造此类稳定子实现。
• 对幂零元的若尔当代数形式中的若尔当代数块数使用归纳法，特别适用于正交代数。
• 利用τ-不变分解 $\mathfrak{gl}(V) = \mathfrak{gl}(V)^\sigma \oplus \mathfrak{g}_1$ 来研究正交与辛李代数中的中心化子。
• 证明稳定子 $\mathfrak{h} = \mathfrak{z}(e)_\alpha$ 等于其在 $\mathfrak{z}(e)$ 中的正规化子，从而表明其为通用稳定子。
• 通过归纳法对 $n$ 证明 $\mathfrak{z}(e)$ 的交换簇 $Y$ 的不可约性，假设较小代数情形下成立，并利用 $Z(e)$-轨道的闭包性质。

实验结果

研究问题

• RQ1 在经典李代数中，幂零元的中心化子的指标是否等于代数的秩？
• RQ2 在τ-稳定李代数中，哪些幂零元使得其余伴随作用具有通用稳定子？
• RQ3 中心化子的交换簇是否不可约，它与矩阵三元组的交换簇有何关系？
• RQ4 能否通过半单子代数的结构将指标猜想推广到经典李代数的直和？
• RQ5 余伴随作用 $\mathfrak{g}_e$ 与交换簇 $Y$ 的结构之间存在何种关系？

主要发现

• 在特征为零的代数闭域上，任意简单经典李代数中的幂零元 $e$，有 $\operatorname{ind} \mathfrak{g}_e = \operatorname{rk} \mathfrak{g}$。
• 在 $\mathfrak{gl}_n$ 或 $\mathfrak{sp}_n$ 中，幂零元 $e$ 的中心化子 $\mathfrak{g}_e$ 存在余伴随稳定子 $\alpha$，使得 $\dim(\mathfrak{g}_e)_\alpha = \operatorname{rk} \mathfrak{g}$，从而证明了指标相等。
• 对于 $\mathfrak{so}_8$，存在一个幂零元 $e$，使得 $\mathfrak{g}_e$ 的余伴随作用没有通用稳定子，表明该现象并非普遍成立。
• 中心化子 $\mathfrak{g}_e$ 的交换簇 $Y$ 不可约，当且仅当 $Y_0 = \overline{Z(e)(\mathfrak{h}, \mathfrak{h})}$ 与 $Y$ 重合，且在较小代数的归纳假设下成立。
• 当 $n > 31$ 时，$n \times n$ 矩阵的交换三元组的簇 $C_3$ 是可约的，这意味着对于某些幂零元，$\mathfrak{g}_e$ 的交换簇 $Y$ 是可约的。
• 余伴随稳定子 $\mathfrak{h} = \mathfrak{z}(e)_\alpha$ 等于其在 $\mathfrak{z}(e)$ 中的正规化子，确认其在 $\mathfrak{gl}_n$ 和 $\mathfrak{sp}_n$ 情形下是 $\mathfrak{g}_e$ 的通用稳定子。