[論文レビュー] Index and stable linear forms of Lie algebras

Patrice Tauvel, Rupert W. T. Yu|ArXiv.org|Feb 5, 2003

Advanced Topics in Algebra参考文献 2被引用数 13

ひとこと要約

この論文は、単純リー代数のボレル部分代数が常に安定線形形式をもつこと、したがってそのインデックスが決定されることを示す、純代数的な安定線形形式の特徴付けを提供する。さらに、タイプ $D_4$ の最小パラボリック部分代数においては、安定線形形式をもたない反例を構成している。

ABSTRACT

We characterize, in a purely algebraic manner, certain linear forms, called stable, on a Lie algebra. As an application, we determine the index of a Borel subalgebra of a semi-simple Lie algebra. Finally, we give an example of a parabolic subalgebra of a semi-simple Lie algebra which does not admit any stable linear form.

研究の動機と目的

• リー代数上の安定線形形式の純代数的特徴付けを提供し、以前の幾何的・解析的アプローチを一般化すること。
• 安定線形形式の存在を用いて、単純リー代数のボレル部分代数のインデックスを決定すること。
• 文献における予想を反例を用いて解決すること：単純リー代数のパラボリック部分代数のうち、安定線形形式をもたないものがあることの構成。
• 安定性、共随伴軌道、および単純リー代数におけるパラボリック部分代数の構造との関係を明確にすること。
• すべてのパラボリック部分代数において安定線形形式の存在が保証されないことを示すこと、特に古典的型においても同様であることを明らかにすること。

提案手法

• 論文は、$K$ が $\mathrm{Aut}(\mathfrak{g})$ の部分群であるとき、近くの共随伴軌道が $K$-共轭であるという条件を用いて、線形汎関数 $f \in \mathfrak{g}^*$ の $K$-安定性を定義する。
• リー代数 $\mathfrak{g}$ の $\mathfrak{g}^*$ 上の共随伴作用を用い、$\mathfrak{g}^f = \{x \in \mathfrak{g} \mid f([x,y]) = 0 \text{ for all } y\}$ を annihilator として定義し、この対象を双線形形式 $\Phi_f(x,y) = f([x,y])$ の核と関連付ける。
• ボレル部分代数における安定形式の存在の証明は、根空間分解とチェバリ基底を用いて、特定の元 $u \in \mathfrak{g}$ を構成し、$f = \varphi_{\mathfrak{b}}(u)$ が安定であることを示すことで行われる。
• 反例の構成では、タイプ $D_4$ の単純リー代数における最小パラボリック部分代数 $\mathfrak{p} = \mathfrak{b} + \Bbbk X_{-\alpha_2}$ を構成し、任意の候補 $P$-安定汎関数に対して $[\mathfrak{p}, \mathfrak{p}^f] \cap \mathfrak{p}^f \neq \{0\}$ が非自明になることを示し、安定性と矛盾することを示している。
• 候補の $x \in \mathfrak{p}^f$ に対して、$[h,x] = x$ を満たす正則元 $h \in \mathfrak{h}$ の存在を用い、共随伴作用において $\mathfrak{p}^f$ が非退化であることを示している。
• 写像 $\psi: K \times [\mathfrak{g}, \mathfrak{g}^f]^\perp \to \mathfrak{g}^*$ が支配的であることにより、軌道が開かつ稠密であることが保証され、そこから正則性および安定性条件が導かれる。

実験結果

リサーチクエスチョン

• RQ1 単純リー代数のボレル部分代数は、常に安定線形形式をもつか？ もしそうならば、そのインデックスは何か？
• RQ2 安定線形形式の存在を用いて、ボレル部分代数のインデックスを代数的に計算できるか？
• RQ3 パラボリック部分代数において、安定線形形式の存在は単純リー代数において保証されるのだろうか？ 以前の予想とは。
• RQ4 パラボリック部分代数に安定線形形式が存在しないのを防ぐ構造的条件は何か？
• RQ5 パラボリック部分代数の共随伴軌道構造は、線形汎関数の安定性とどのように関係するか？

主な発見

• 単純リー代数 $\mathfrak{g}$ のボレル部分代数 $\mathfrak{b}$ のインデックスは $\mathrm{rg}(\mathfrak{g}) - k_{\mathfrak{g}}$ であり、ここで $k_{\mathfrak{g}}$ は正の根の数である。
• 単純リー代数の任意のボレル部分代数は、少なくとも一つの安定線形形式をもつ。これは、開な共随伴軌道の存在を意味する。
• ボレル部分代数のインデックスがゼロであることは、共随伴作用の下でその双対空間に正則元が存在することと同値である。
• タイプ $D_4$ の単純リー代数の最小パラボリック部分代数（具体的には $\mathfrak{p} = \mathfrak{b} + \Bbbk X_{-\alpha_2}$）は、安定線形形式をもたない。
• 任意の候補 $P$-安定汎関数 $f \in \mathfrak{p}^*$ に対して、$\mathfrak{p}^f$ は $[h,x] = x$ を満たす非自明な元 $x$ を含み、$h \in \mathfrak{h}$ が正則であることを意味する。これにより $[\mathfrak{p}, \mathfrak{p}^f] \cap \mathfrak{p}^f \neq \{0\}$ が得られ、安定性条件と矛盾する。
• 反例により、パラボリック部分代数において安定線形形式の存在は、古典的型であっても一般的性質ではないことが示された。