[論文レビュー] An effective method to compute closure ordering for nilpotent orbits of $ heta$-representations

Willem A. de Graaf, É. B. Vinberg+1 more|arXiv (Cornell University)|Jul 10, 2011

Advanced Algebra and Geometry参考文献 14被引用数 3

ひとこと要約

本稿では、単純な複素リー代数のθ表現における冪零軌道の閉包順序を計算するアルゴリズムを提示する。Hesselink層とWeyl群作用を活用し、特徴的要素と軌道次元の比較によって軌道包含関係を特定する。この手法により、例外的および古典的θ群における冪零軌道のハッセ図の効率的計算が可能となり、E7およびE8について既知の分類と一致する結果が得られた。

ABSTRACT

We develop an algorithm for computing the closure of a given nilpotent $G_0$-orbit in $\g_1$, where $\g_1$ and $G_0$ are coming from a $\Z$ or a $\Z/m\Z$-grading $\g= \bigoplus \g_i$ of a simple complex Lie algebra $\g$.

研究の動機と目的

• θ表現における一つの冪零G₀軌道が別の軌道の閉包に含まれるかどうかを特定する効果的なアルゴリズムの開発を目的とする。
• 一様な分類が困難な例外的および古典的θ群における冪零軌道の閉包図の計算という課題に取り組む。
• 臨戦的でケースバイケースの分析に代わる体系的でアルゴリズム的な手法を提供する計算ツールを整備すること。
• E7およびE8の既知のハッセ図を再現し、例外的リー代数の実形式に対しても検証することで、本手法の正しさを確認する。

提案手法

• g₁に属する冪零要素eのHesselink特徴的hを用いて、Hesselink層V≥2(h)を定義し、G₀e = G₀(V≥2(h))が成り立つようにする。
• G₀e′ ∩ V≥2(h)が空でないかを確認することで、軌道包含G₀e′ ⊂ G₀eを判定する。
• 軌道の交差を効果的に解析するため、G₀をBruhatセルの和集合に置き換える。
• G₀のWeyl群W₀の各元w ∈ W₀に対して、U(w) = V₂(h′) ∩ V≥2(wh)を計算する。ここでV₂(h′)は[v, h′] = 2vを満たすベクトルvの集合である。
• 次元比較を用いる：すべてのv ∈ V₂(h′) \\(G₀e′)に対してdim Z(h′)v < dim Z(h′)e′が成り立つならば、G₀e′ ∉ G₀eである。
• Weyl群を単純反射からの辺を持つ木構造としてパラメトライズし、軌道包含関係を体系的に探索する。

実験結果

リサーチクエスチョン

• RQ1 θ表現における冪零G₀軌道が別の軌道の閉包に含まれるかどうかをアルゴリズム的にどのように特定できるか。
• RQ2 Hesselink特徴的は、θ群における軌道閉包を特徴付ける上で果たす役割は何か。
• RQ3 例外的θ群における冪零軌道の閉包順序を一様に計算し、計算的に検証することは可能か。
• RQ4 例外的リー代数の複素形式および実形式における冪零軌道の閉包図は、Kostant-Sekiguchi対応によってどのように関係するか。
• RQ5 メタアーベルリー代数の退化は、θ表現における軌道閉包に対応する範囲はどの程度か。

主な発見

• 本アルゴリズムは、E₇およびE₈における冪零軌道のハッセ図を、MizunoおよびBeynon–Spaltensteinの結果と一致する形で再現した。
• 本手法は、例外的複素リー代数におけるすべての2次θ群について、正しく閉包図を計算し、Djokovićの結果を検証した。
• E₈型で符号が(5,5)のθ群に対して、メタアーベルリー代数の多様体は既約であり、最大GL(W)-軌道の1パラメータ族を有する。
• E₈型で符号が(6,3)のθ群に対して、メタアーベルリー代数の多様体は既約であり、最大軌道の2パラメータ族を有する。
• 符号(5,5)および(6,3)のハッセ図の下部は一致しており、これはより小さい符号を持つ商L/Zを共有していることに起因する。
• GAPにおける実装は、軌道包含関係を正しく特定し、表2および表3に従いフォントの違いを用いてラベル化された一貫性のある図を生成した。