[論文レビュー] The centralisers of nilpotent elements in classical Lie algebras

Oksana Yakimova|ArXiv.org|Jul 5, 2004

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

ひとこと要約

この論文は、特性が0の代数閉体上の古典的リー代数における冪零元に対して、É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の予想を証明すること。
• 古典的リー代数において、任意の冪零元の中心化子の指数が代数のランクに等しいことを確立すること。
• τ-安定リー代数における中心化子の共随伴作用に対して、一般の安定化子の存在を示すこと。特に、τ-安定リー代数のτ-固定部分代数においてその性質を検証すること。
• 中心化子の可換多様体の構造と、3つの行列の可換三重対の関係を調査すること。
• τ-安定リー代数において、中心化子の共随伴作用が一般の安定化子を持つことと、指数がランクに等しいことが同値であることを示すこと。

提案手法

• 共随伴空間 $(\mathfrak{g}_e)^*$ 内の明示的な安定化子 $\alpha$ を構成し、$\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)$ においてその正規化部分代数に等しいことを示し、これにより一般の安定化子であることが示される。
• $Z(e)$ による軌道の閉包性質を用い、$n$ に関する帰納法により $\mathfrak{z}(e)$ の可換多様体 $Y$ の既約性を証明する。より小さい代数に対して既約性が成立すると仮定する。

実験結果

リサーチクエスチョン

• RQ1 古典的リー代数における冪零元の中心化子の指数は、代数のランクに等しいか？
• RQ2 $τ$-安定リー代数におけるどの冪零元に対して、共随伴作用が一般の安定化子を持つのか？
• RQ3 中心化子の可換多様体 $Y$ は既約的か？また、3つの行列の可換三重対の可換多様体とはどのように関係するか？
• RQ4 再帰的部分代数の構造を用いて、古典的リー代数の直和への指数予想の拡張は可能か？
• RQ5 リー代数 $\mathfrak{g}_e$ の共随伴作用と可換多様体 $Y$ の構造の間にはどのような関係があるか？

主な発見

• 代数閉体上で特性が0の単純な古典的リー代数の任意の冪零元 $e$ に対して、$\operatorname{ind} \mathfrak{g}_e = \operatorname{rk} \mathfrak{g}$ が成り立つ。
• $\mathfrak{gl}_n$ や $\mathfrak{sp}_n$ の冪零元 $e$ の中心化子 $\mathfrak{g}_e$ は、$\dim(\mathfrak{g}_e)_\alpha = \operatorname{rk} \mathfrak{g}$ を満たす共随伴安定化子 $\alpha$ を持ち、これにより指数の等式が証明される。
• $\mathfrak{so}_8$ において、共随伴作用が一般の安定化子を持たない冪零元 $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$ の一般の安定化子であることが確認される。