[論文レビュー] The cone of Hilbert nullforms

Vladimir L. Popov|arXiv (Cornell University)|Sep 30, 2010

Advanced Algebra and Geometry参考文献 19被引用数 12

ひとこと要約

本稿では、再帰的代数群の線形表現におけるnull-coneのHesselink層を、重み系と根系のみを用いて構成的に決定する幾何的・組合せ論的アルゴリズムを提示する。直交射影と凸包を用いることで、層を滑らかで有理型の代数的多様体として分類し、随伴表現に適用した場合、半単純リー代数におけるノンポテンシャル軌道のDynkin分類に帰着する。

ABSTRACT

We describe a geometric-combinatorial algorithm that allows one, using solely the system of weights and roots, to determine the Hesselink strata of the null-cone of a linear representation of a reductive algebraic group and calculate their dimensions. In particular, it provides a constructive approach to calculating the dimension of the null-cone and determining all its irreducible components of maximal dimension. In the case of the adjoint representation (and, more generally, a $θ$-representation), the algorithm turns into the classification algorithm for the conjugacy classes of nilpotent elements in a semisimple Lie algebra (respectively, homogeneous nilpotent elements in a cyclically graded semisimple Lie algebra).

研究の動機と目的

• 再帰的代数群の線形表現におけるnull-coneのHesselink層を、構成的かつ幾何的・組合せ論的手段で記述するための方法を提供すること。
• 重み系と根系のみを用いて、null-coneの次元および最大次元の既約成分を特定すること。
• 表現が随伴表現またはθ-表現である場合、半単純リー代数におけるノンポテンシャル軌道の分類を特殊ケースとして回復すること。
• 深い不変式理論的道具に依存せず、基本的な幾何的演算のみを用いる体系的なアルゴリズムを提供すること。

提案手法

• 重み系と根系から直交射影と凸包を用いて、Lie(T)(ℚ) の有限部分集合 𝔛 ⊂ を構成する。
• 射影された重み系から向き付けられた根付き木を構築し、有理元 l との内積を用いた規則に従い、頂点に符号（+ または −）を割り当てる。
• 根頂点に + 記号が割り当てられる木に対応する層を特定する。
• 各 l ∈ 𝔛 について + 記号が割り当てられているものに対して、V の部分空間 V[l⁺] ⊂ V とその開部分集合 V[l⁺]⁰ ⊂ V[l⁺] を定義し、G·V[l⁺]⁰ が層を形成することを保証する。
• Weyl群作用を用いて代表元を正規化し、層の記述を簡略化する。
• 随伴表現にアルゴリズムを適用し、幾何的手段により半単純リー代数におけるノンポテンシャル軌道の分類を再構成する。

実験結果

リサーチクエスチョン

• RQ1 再帰的群の重み系と根系のみを用いて、null-coneのHesselink層を構成的に記述できるか？
• RQ2 null-coneにおける最大次元の既約成分を特定する、明確な幾何的・組合せ論的規則は何か？
• RQ3 随伴表現に適用した場合、このアルゴリズムは古典的な半単純リー代数におけるノンポテンシャル軌道の分類にどのように帰着するか？
• RQ4 ノルム最小化やコhomologicalな道具に依存せずに、凸包と射影を用いて層を明示的にパラメータ化できるか？
• RQ5 定義要素 l のWeyl群軌道と層の閉包性質との関係は何か？

主な発見

• アルゴリズムは、直交射影と凸包形成という基本的な幾何的演算のみを用いて、null-coneのすべてのHesselink層を構成する。
• 各層は、あるパラボリック部分群 P に対して G/P 上の同型な均質ベクトル bundle の開部分集合に線形同型な滑らかで有理型の代数的多様体である。
• 層 G·V[l⁺]⁰ の次元は、半空間 {v ∈ Lie(T)(ℚ) | ⟨l, v⟩ < 0} に含まれる根の数に加え、V[l⁺]⁰ の次元に等しい。
• 随伴表現の場合、アルゴリズムは幾何的手段により、半単純リー代数におけるノンポテンシャル軌道のDynkin分類を再構成する。
• G₂の場合、非ゼロの層が正確に4つ存在し、それらは4つの共役類に属するノンポテンシャル元に対応する。具体的な代表元として eₐ + eᵝ および eᵝ + e₃ₐ₊ᵝ が与えられる。
• 本手法により、θ-表現の場合、層がnullformの軌道に丁度一致することが示され、より広い表現クラスへの軌道分類の一般化が達成される。