[論文レビュー] Sheets of Symmetric Lie Algebras and Slodowy Slices

Michaël Bulois|arXiv (Cornell University)|Jun 21, 2009

Advanced Algebra and Geometry参考文献 33被引用数 9

ひとこと要約

本稿は、古典的リー代数に対して、対称リー代数における$K$-シートおよびジョルダン$K$-類をスロドウイスライスに結びつける幾何的枠組みを確立する。特に、型AIIIにおいて剛体化$ab$-図を導入し、2つの冪零$K$-軌道が同じ$K$-シートに属するための必要十分条件として、それらの剛体化$ab$-図が同一であること、および古典的型において$K$-シートが滑らかであることを示す。

ABSTRACT

Let T be an involution of the finite dimensional complex reductive Lie algebra g and g=k+p be the associated Cartan decomposition. Denote by K the adjoint group of k. The K-module p is the union of the subsets p^{(m)}={x | dim K.x =m}, indexed by integers m, and the K-sheets of (g,T) are the irreducible components of the p^{(m)}. The sheets can be, in turn, written as a union of so-called Jordan K-classes. We introduce conditions in order to describe the sheets and Jordan K-classes in terms of Slodowy slices. When g is of classical type, the K-sheets are shown to be smooth; if g=gl_N a complete description of sheets and Jordan K-classes is then obtained.

研究の動機と目的

• 対称リー代数における$K$-シートおよびジョルダン$K$-類をスロドウイスライスを用いて記述すること。
• アドジョイントの場合におけるスロドウイスライスによるシートのパラメトライゼーションを、対称対へ一般化すること。
• 剛体化$ab$-図を用いて型AIIIにおける$K$-シートを分類し、シートへの属するための基準を確立すること。
• リー代数$\mathfrak{g}$が古典的型であるとき、$K$-シートが滑らかであることを証明すること。
• 型CI-IIIにおいてある条件の不成立を分析し、スロドウイスライスの手法の一般化の限界を示すこと。

提案手法

• 冪零$K$-軌道に付随する$ab$-図から、等長の連続する列の最大対を除去することで、剛体化$ab$-図の概念を導入する。
• $G$-シート構造と$\mathfrak{p}$との交わりを用いて$K$-シート成分を分析し、包含関係$\mathfrak{p}^{(m)} \subset \mathfrak{g}^{(2m)}$を活用する。
• $\mathfrak{sl}_2$-三重対を用いたスロドウイスライス構成を適用し、$K$-シートの幾何と有限商$e + \mathfrak{p}^f$の関係を結びつける。
• $K$-シートを、$K$-軌道型と中心化子のデータによって定まる、有限個の互いに素なジョルダン$K$-類の直和として特徴付ける。
• 中心化子$\mathsf{Z}$の作用を用いて、$X_{\mathfrak{p}}(S_G, \mathcal{S})$と$X_{\mathfrak{p}}(S_G, g.\mathcal{S})$を比較し、次元と包含関係を分析する。
• 型CI-IIIにおいて反例を構成し、条件$(\heartsuit)$が成立しないことを示し、$\mathfrak{gl}_N$-に基づく対称性が一般に成立しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 対称リー代数における$K$-シートは、どのような条件下でスロドウイスライスを用いてパラメトライズ可能か？
• RQ2 $K$-シートはジョルダン$K$-類にどのように分解され、どのような不変量がこれらの成分を分類するか？
• RQ3 古典的リー代数における$K$-シートの幾何的構造は何か？そして、それらは滑らかか？
• RQ4 型AIIIにおける$ab$-図技法は、$K$-シートの分類に剛体化可能か？また、完全な不変量をもたらすか？
• RQ5 $\mathfrak{gl}_N$-に基づく対称性は、型CIなどの他の対称対へどの程度一般化可能か？

主な発見

• リー代数$\mathfrak{g}$が古典的型であるとき、$\mathfrak{p}$における$K$-シートは滑らかである。
• $\mathfrak{g} = \mathfrak{gl}_N$のとき、$K$-シートおよびジョルダン$K$-類の完全な記述が得られる。
• 2つの冪零$K$-軌道$\mathcal{O}_K^1$と$\mathcal{O}_K^2$が同じ$K$-シートに属するための必要十分条件は、それらの剛体化$ab$-図が等しいことである。
• 型AIIIにおいて、$G$-シートと$\mathfrak{p}$の交わりは非可約でないことがある。このとき、シートの分解は剛体化$ab$-図によって支配される。
• 型CI-IIIにおいて、条件$(\heartsuit)$は成立しない：$g \in \mathsf{Z}$に対して、$\dim X_{\mathfrak{p}}(S_G, \mathcal{S})$と$\dim X_{\mathfrak{p}}(S_G, g.\mathcal{S})$が異なることがある。これは、$\mathfrak{gl}_N$で観察された主要な対称性が破綻することを示している。
• $\mathfrak{g} = \mathfrak{sp}_6$、$\mathfrak{k} = \mathfrak{gl}_3$、$\mathfrak{l} \cong \mathfrak{gl}_2 \oplus \mathfrak{sp}_2$の例は、$G.(e + X_{\mathfrak{p}}(S_G, \mathcal{S})) \subsetneq G.(e' + X_{\mathfrak{p}}(S_G, \mathcal{S}'))$を示しており、条件$(\heartsuit)$の不成立を証明する。