[論文レビュー] Invariant Theory of little adjoint modules

Dmitri I. Panyushev|arXiv (Cornell University)|May 23, 2012

Algebraic structures and combinatorial models参考文献 4被引用数 4

ひとこと要約

本稿は、非単純根系を備えた半単純リー代数における小さな随伴表現の不変式理論を、一様的かつ概念的に取り扱う。不変式環が多項式環であり、クルール次元が短い単純根の数に等しいことを確立し、小さな随伴モジュールの不変式と特定のレヴィ部分代数の随伴表現の間の深い関係を示し、軌道構造、零コーン、可換多様体に関する結果を導く。

ABSTRACT

Let G be a complex simple algebraic group. We consider invariant-theoretic properties of the simple G-module whose highest weight is the short dominant root.

研究の動機と目的

• 非単純根系を有するリー代数における小さな随伴表現の不変式論的性質を、一様的かつ概念的な枠組みで提供すること。
• 小さな随伴モジュールの不変式環が多項式環であり、クルール次元が短い単純根の数に等しいことを確立すること。
• 短い単純根で生成されるレヴィ部分代数の随伴表現と小さな随伴モジュールの構造的関係を明確にすること。
• ケース・バイ・ケースの解析と随伴ケースとの構造的類似性を用いて、小さな随伴モジュールに関連する可換多様体の既約性を証明すること。
• 随伴表現理論における既知の結果を、特に零コーンと軌道次元に関して、小さな随伴設定へと拡張すること。

提案手法

• 小さな随伴モジュールのゼロ重み空間におけるワイル群作用を用いて、その安定化部分群と軌道構造を同定する。
• 小さな随伴モジュールの座標環からゼロ重み空間への制限準同型を構成し、これが不変式環の同型を誘導することを示す。
• 短い単純根で生成されるレヴィ部分代数 $\mathfrak{l} = \mathfrak{g}(\Pi_s)$ を特定し、そのワイル群 $W(\Pi_s)$ がゼロ重み空間に作用することを示す。
• 既知の随伴不変式の性質を活用して、不変式環 $\mathbb{C}[\mathsf{V}_{\theta_s}]^G$ が $\mathbb{C}[\mathfrak{l}]^L$ に同型であることを証明する。
• コックスター要素の関係を用いて、コックスター数の比 $h/h_s$ が自然数であることを示し、軌道次元の公式を裏付ける。
• 可換多様体 $\mathfrak{E}(\mathsf{V}_{\theta_s})$ の既約性について、ケース・バイ・ケースでの検証を行い、$SO(\mathsf{V})$ および $\mathbf{F}_4$ における既知の結果に還元する。

実験結果

リサーチクエスチョン

• RQ1 非単純根系を有するすべてのリー型において、小さな随伴モジュールの不変式環を一様にどのように記述できるか？
• RQ2 小さな随伴モジュールの不変式と、短い単純根で生成されるレヴィ部分代数の随伴表現の不変式との間の正確な関係は何か？
• RQ3 なぜ小さな随伴モジュールのゼロ重み空間の次元が短い単純根の数に等しいのか？
• RQ4 小さな随伴モジュールとその関連レヴィ部分代数の軌道構造は、特に次元比の観点からどのように関係しているか？
• RQ5 小さな随伴モジュールの可換多様体は既約であるか、そしてこれは随伴ケースとの構造的類似性から導けるか？

主な発見

• 不変式環 $\mathbb{C}[\mathsf{V}_{\theta_s}]^G$ はクルール次元 $\#(\Pi_s)$（短い単純根の数に等しい）の多項式代数である。
• 制限写像により $\mathbb{C}[\mathsf{V}_{\theta_s}]^G \simeq \mathbb{C}[\mathsf{V}_{\theta_s}^0]^{W(\Pi_s)}$ が同型であることが示され、不変式がレヴィ部分代数のワイル群によって支配されることを示す。
• 商写像 $\pi_G: \mathsf{V}_{\theta_s} \to \mathsf{V}_{\theta_s}/\!\!/G$ は等次元的であり、商は滑らかなアフィン多様体である。
• 一般の $v \in \mathsf{V}_{\theta_s}^0$ に対して、安定化部分群 $G_v$ は連結で半単純であり、$\Delta$ のすべての長根からなる根系を持ち、$\dim \mathsf{V}_{\theta_s} = (h+1)\cdot \#(\Pi_s)$ が成り立つ。ここで $h$ は $G$ のコックスター数である。
• 零コーン $\mathfrak{N}(\mathsf{V}_{\theta_s})$ は既約な完全交差であり、$\mathsf{V}_{\theta_s}$ はコスタント＝ワイエルシュトラス切断をもつ。
• 写像 $\mathcal{O} \mapsto G\cdot\mathcal{O}$ により、$\mathfrak{N}(\mathfrak{l})$ 内の $L$-軌道と $\mathfrak{N}(\mathsf{V}_{\theta_s})$ 内の $G$-軌道の間の双対性が成立し、非ゼロ軌道に対して $\dim G\cdot\mathcal{O} / \dim \mathcal{O} = h/h_s \in \mathbb{N}$ が成り立つ。