[論文レビュー] 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

ひとこと要約

本稿は、特性が0の代数的に閉じた体上の半単純リー代数における、冪零元の中心化群および正規化群の指数を調査する。表現論的技法と $\/mathfrak{sl}_2$-三つ組を用いて、正則および特定の小規模な冪零軌道に対して $\/mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \/mathrm{rk}\,\mathfrak{g} - \dim\mathfrak{d}_\mathfrak{g}(x)$ が成り立つことを示し、エラシュヴィリの予想を統一するものであり、正規化群の指数に対する幾何的説明を提供する。

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)$ の指数を求める。
• すべての冪零元 $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 すべての古典的リー代数に対して、エラシュヴィリの予想（$\mathrm{ind}\,\mathfrak{z}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g}$）が成り立つか。
• RQ3 $\mathfrak{n}_\mathfrak{g}(x)$ が $\mathfrak{d}_\mathfrak{g}(x)^*$ 上に作用するとき、その作用が全射である条件は何か。これにより $\mathfrak{n}_\mathfrak{g}(x)$ の指数公式が保証される。
• RQ4 正規化群 $\mathfrak{n}_\mathfrak{g}(x)$ の指数は、$\mathfrak{g}$ のランクと二重中心化群 $\mathfrak{d}_\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)$ はフォーベニウスリー代数である。つまり $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = 0$ であり、これは古典的ヤン・バクスター方程式の解を意味する。
• 正則または $({\rm ad}\,x)^3 = 0$ を満たす $x$ に対して、予想 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g} - \dim\mathfrak{d}_\mathfrak{g}(x)$ が成り立つ。これは一般化の妥当性を強く支持する。
• 単純リー代数に対して、二重中心化群 $\mathfrak{d}_\mathfrak{g}(x)$ は $\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$ で、その分割に少なくとも3つの部分を持つものに対して、ある $\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)$ が保証される。
• すべての指数が相異なるとき、行列 $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}$ も同様に成り立つと予想される。