[論文レビュー] Bounded reductive subalgebras of sl(n)

Alexey Petukhov|arXiv (Cornell University)|Jul 8, 2010

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

ひとこと要約

この論文は、無限次元的単純有界 (𝔰𝔩ₙ, 𝔨)-加群が存在するような再帰的部分代数 𝔰𝔩ₙ ⊃ 𝔨 を分類する。シンプレクティック幾何学および球面的多様体の理論を用いて、このような有界加群が存在するのは、プロジェクト型空間 ℙ(𝔽ⁿ) が球面的 𝔨-多様体である場合に限ることを証明する。分類は完全であり、基本的重みや不変部分空間といった表現論的データを用いて明示的に記述されている。

ABSTRACT

Let $\mathfrak g$ be a semisimple Lie algebra and $\mathfrak k\subset\mathfrak g$ be a reductive in $\mathfrak g$ subalgebra. A $(\mathfrak g, \mathfrak k)$-module is a $\mathfrak g$-module which after restriction to $\mathfrak k$ becomes a direct sum of finite-dimensional $\mathfrak k$-modules. I.Penkov and V.Serganova introduce definition of bounded $(\mathfrak g, \mathfrak k)$-modules for reductive subalgebras $\mathfrak k\subset\mathfrak g$, i.e. $(\mathfrak g, \mathfrak k)$-modules whose $\mathfrak k$-multiplicities are uniformly bounded. A question arising in this context is, given $\mathfrak g$, to describe all reductive in $\mathfrak g$ bounded subalgebras, i.e. reductive in $\mathfrak g$ subalgebras $\mathfrak k$ for which at least one infinite-dimensional bounded $(\mathfrak g, \mathfrak k)$-module exists. In the present paper we describe explicitly all reductive in $\mathfrak{sl}_n$ bounded subalgebras. Our technique is based on symplectic geometry and the notion of spherical variety. We also characterize the irreducible components of the associated varieties of simple bounded $(\mathfrak g, \mathfrak k)$-modules.

研究の動機と目的

• 無限次元的単純有界 (𝔰𝔩ₙ, 𝔨)-加群を許容する再帰的部分代数 𝔨 ⊂ 𝔰𝔩ₙ をすべて分類すること。
• (𝔰𝔩ₙ, 𝔨)-加群が一様に有界な 𝔨-重複度を持つような正確な構造的条件を特定すること。
• 単純有界 (𝔰𝔩ₙ, 𝔨)-加群の関連多様体を幾何的不変量によって特徴付けること。
• このような有界加群の存在を保証する幾何的基準（ℙ(𝔽ⁿ) が 𝔨-多様体として球面的であること）を確立すること。

提案手法

• 分類は球面的多様体の理論に依拠しており、特に 𝔨 のボレル部分代数が関連多様体の各既約成分上で開軌道を持つという条件が重要である。
• 有限生成 (𝔰𝔩ₙ, 𝔨)-加群 M のサポート多様体 V(M) は、フラッグ多様体の余接 bundle 内の錐的ラグランジュ部分多様体として分析される。
• 論文は Lie 代数の準同型 τ_X: 𝔨 → 𝒯X を通じた 𝔨-多様体の概念を用い、ボレル部分代数による開軌道の存在をもって球面的性を定義する。
• 特に共伴軌道およびその閉包の構造に注目したシンプレクティック幾何学の結果を応用し、表現論的有界性と幾何的不変量との関係を結ぶ。
• 分類は 𝔨 が ℙ(𝔽ⁿ) に作用する球面的性に還元され、これは 𝔨 のボレル部分代数による稠密な軌道の存在に等しい。
• 明示的な有界再帰的部分代数のリストは、再帰的リー代数の非分解球面的表現の分類に基づき、基本的重みと不変部分空間を用いて導出される。

実験結果

リサーチクエスチョン

• RQ1 どの再帰的部分代数 𝔨 ⊂ 𝔰𝔩ₙ に対して、一様に有界な 𝔨-重複度を持つ無限次元的単純 (𝔰𝔩ₙ, 𝔨)-加群が存在するか？
• RQ2 ℙ(𝔽ⁿ) における 𝔨 の作用について、どのような幾何的条件がこのような有界加群の存在を保証するか？
• RQ3 有界 (𝔰𝔩ₙ, 𝔨)-加群 M の関連多様体 V(M) の既約成分はどのように特徴付けられるか？
• RQ4 どの再帰的部分代数 𝔨 ⊂ 𝔰𝔩ₙ が ℙ(𝔽ⁿ) に球面的作用をもたらし、それらは有界 (𝔰𝔩ₙ, 𝔨)-加群とどのように関係するか？
• RQ5 どの再帰的部分代数 𝔨 ⊂ 𝔰𝔩ₙ が少なくとも一つの有界単純無限次元的 (𝔰𝔩ₙ, 𝔨)-加群を許容するか？

主な発見

• ペア (𝔰𝔩ₙ, 𝔨) が無限次元的単純有界 (𝔰𝔩ₙ, 𝔨)-加群を許容するのは、プロジェクト型空間 ℙ(𝔽ⁿ) が球面的 𝔨-多様体である場合に限る。
• 任意の有界 (𝔰𝔩ₙ, 𝔨)-加群 M のサポート多様体 V(M) は、フラッグ多様体の余接 bundle 内の錐的ラグランジュ部分多様体であり、その既約成分はすべて球面的多様体である。
• 𝔰𝔩ₙ の有界再帰的部分代数の分類は、𝔨 による ℙ(𝔽ⁿ) の球面的性に完全に依存している。
• このようなすべての部分代数は表 6.1 に明示的にリストアップされており、単純型・半単純型・可約型のリー代数の例を含み、それぞれの表現および不変部分空間が指定されている。
• (𝔰𝔩ₙ, 𝔨)-加群の有界性は、関連多様体 V(M) の球面的性に同値であり、これは重要な幾何的基準である。
• 論文は再帰的リー代数の非分解球面的表現の完全なリストを提供しており、有界部分代数の分類の根拠となっている。