[論文レビュー] Composantes irr\\'eductibles de la vari\\'et\\'e commutante nilpotente d'une alg\\`ebre de Lie sym\\'etrique semi-simple

Michaël Bulois|arXiv (Cornell University)|Oct 24, 2007

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

ひとこと要約

この論文は、対称対 $(\mathfrak{g}, \theta)$ の可解可換多様体が等次元的であり、その既約成分が $\mathfrak{p}$-特徴的軌道によって添字づけられるという予想を証明する。Young図と奇妙な成分の解析を通じて、古典的型（AIII, CII, DIII）および多くの例外型でこの予想を確立し、$E_8$ に2つの未解決事例が残る。本研究は、Premetの対称平方の場合の結果を、広範な対称リーリー代数にまで拡張する。

ABSTRACT

Let \ heta be an involution of the semisimple Lie algebra g and g=k+p be the associated Cartan decomposition. The nilpotent commuting variety of (g,\ heta) consists in pairs of nilpotent elements (x,y) of p such that [x,y]=0. It is conjectured that this variety is equidimensional and that its irreducible components are indexed by the orbits of p-distinguished elements. This conjecture was established by A. Premet in the case (g \ imes g, \ heta) where \ heta(x,y)=(y,x). In this work we prove the conjecture in a significant number of other cases.

研究の動機と目的

• 可解可換多様体 $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ が等次元的であり、その既約成分が $\mathfrak{p}$-特徴的軌道によって添字づけられるという予想を証明すること。
• 対称平方の場合 $(\mathfrak{g} \times \mathfrak{g}, \theta)$ におけるPremetの結果を、広範な対称リーリー代数に拡張すること。
• 古典的リーリー代数におけるほぼ $\mathfrak{p}$-特徴的要素の分類を、Young表の (ab)-図を用いて行うこと。
• 非特徴的要素から生じる奇妙な成分——つまり、$\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ の既約成分を形成する可能性がある——が存在しないことを排除すること。
• 例外型において、Djokovicの可解軌道の表を用いて、$E_8$ の中で2つを除くすべてのケースについて、この予想を検証すること。

提案手法

• 古典的リーリー代数におけるほぼ $\mathfrak{p}$-特徴的要素の分類を、Young表の (ab)-図を用いて行うこと。
• ほぼ $\mathfrak{p}$-特徴的 $e$ に対して多様体 $\mathfrak{C}(e)$ を定義・解析し、次元が $\dim \mathfrak{p}$ より小さい「奇妙な成分」として扱うこと。
• 幾何学的および表現論的議論を用いて、$\mathfrak{p}$-自己大きくない条件を用いて、特定の奇妙な成分を排除すること。
• Kostant-Rallis および Springer-Steinberg の可解軌道と中心化部分代数に関する結果を、対称空間における応用に用いること。
• 軌道閉包図と次元の上限を用いて、AI, AII, CI, BDI の場合に奇妙な成分を体系的に排除すること。
• 例外型の実形式における可解軌道のDjokovicの表を活用し、例外型の各ケースについて、事例別に予想を検証すること。

実験結果

リサーチクエスチョン

• RQ1 可解可換多様体 $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ の既約成分は、$\mathfrak{p}$-特徴的軌道によって添字づけられるか？
• RQ2 非 $\mathfrak{p}$-特徴的要素から生じる奇妙な成分——つまり、$\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ の既約成分を形成する可能性がある——が、実際に既約成分になることはあるか？
• RQ3 $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ は次元 $\dim \mathfrak{p}$ で等次元的か？
• RQ4 $\mathfrak{p}$-自己大きくない要素は、潜在的な奇妙な成分を排除する上で果たす役割は何か？
• RQ5 どの対称対でこの予想が完全に検証され、どのケースが未解決のまま残っているか？

主な発見

• 古典的対称対（AIII, CII, DIII型）では、Young図によるほぼ $\mathfrak{p}$-特徴的要素の分類を用いて、予想が証明された。
• AI（ランク ≤ 4）、AII（ランク ≤ 3）、CI（ランク ≤ 7）、BDI（ランク ≤ 2）のケースでは、奇妙な成分の不在が確認され、予想が裏付けられた。
• 例外型対称対では、$E_8$ の分解実形式において2つのケースを除き、すべてのケースで予想が検証された。この2つのケースでは、2つの潜在的奇妙成分が未排除のまま残っている。
• 多様体 $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ は次元 $\dim \mathfrak{p}$ で等次元的であり、その既約成分は $\mathfrak{p}$-特徴的軌道によって添字づけられる。
• $\mathfrak{p}$-自己大きくない要素の手法により、古典的対称対における広範な候補奇妙成分が効果的に排除された。
• 本論文は、非 $\mathfrak{p}$-特徴的要素から定義される奇妙な成分が、$\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ の既約成分を生じないことを確立し、予想の構造的核を確認した。