[論文レビュー] Bounded generalized Harish-Chandra modules

Ivan Penkov, Vera Serganova|ArXiv.org|Oct 3, 2007

Advanced Algebra and Geometry参考文献 10被引用数 4

ひとこと要約

この論文は、再帰的リー代数における有界一般化ハリシュ・チャンドラモジュールを導入し、分類する。代数 𝔨 ⊂ 𝔤 が無限次元単純有界 (𝔤,𝔨)-モジュールを許容するための必要十分条件を確立する。𝔰𝔩(n) における最大有界再帰的部分代数を分類し、ランク 2 の 𝔤 に対して単純有界 (𝔤,𝔰𝔩(2))-モジュールを完全に記述する。この際、𝔰𝔩(2) の部分代数が 5 つの同型類に分類され、𝔰𝔭(4) における主 𝔰𝔩(2) の新しいケースを特定する。

ABSTRACT

Let $\gg$ be a complex reductive Lie algebra and $\kk\subset\gg$ be any reductive in $\gg$ subalgebra. We call a $(\gg,\kk)$-module $M$ bounded if the $\kk$-multiplicities of $M$ are uniformly bounded. In this paper we initiate a general study of simple bounded $(\gg,\kk)$-modules. We prove a strong necessary condition for a subalgebra $\kk$ to be bounded (Corollary ef{cor1.6}), i.e. to admit an infinite-dimensional simple bounded $(\gg,\kk)$-module, and then establish a sufficient condition for a subalgebra $\kk$ to be bounded (Theorem ef{thGroups2}). As a result we are able to classify all maximal bounded reductive subalgebras of $\gg=\sl(n)$. In the second half of the paper we describe in detail simple bounded infinite-dimensional $(\gg,\sl(2))$-modules, and in particular compute their characters and minimal $\sl(2)$-types. We show that if $\sl(2)$ is a bounded subalgebra of $\gg$ which is not contained in a proper ideal of $\gg$, then $\gg\simeq \sl(2)\oplus \sl(2), \sl(3),\sp(4)$; alltogether, up to conjugation there are five possible embeddings of $\sl(2)$ as a bounded subalgebra into $\gg$ as above. In two of these cases $\sl(2)$ is a symmetric subalgebra, and many results about simple bounded $(\gg,\sl(2))$-modules are known. A case where our results are entirely new is the case of a principal $\sl(2)$-subalgebra in $\sp(4)$.

研究の動機と目的

• 再帰的 𝔨 ⊂ 𝔤 に対して、単純有界 (𝔤,𝔨)-モジュールの一般的考察を開始すること。
• 𝔤 の最小正の冪零軌道の半次元と 𝔨 のボレル部分代数次元に基づいて、𝔨 が有界であるための必要条件を確立すること。
• 単純有界モジュールの幾何的構成を通じて、有界性の十分条件を提供すること。
• 𝔰𝔩(n) におけるすべての最大有界再帰的部分代数およびランク 2 の半単純リー代数におけるすべての再帰的有界部分代数を分類すること。
• 𝔰𝔩(2) が 𝔤 の真のイデアルに含まれない場合に、単純有界 (𝔤,𝔰𝔩(2))-モジュールを完全に記述すること。特性の計算および最小 𝔰𝔩(2)-タイプの特定を含む。

提案手法

• 論文は、モジュールの構造とその 𝔨-重複度を解析するために Fernando-Kac の部分代数構成を用いる。
• 必要条件を導入：r𝔤 ≤ b𝔨、ここで r𝔤 は 𝔤 の最小正の冪零軌道の次元の半分、b𝔨 は 𝔨 のボレル部分代数次元である。
• 単純有界 (𝔤,𝔨)-モジュールの幾何的構成を開発し、有界性の十分条件を提供する。
• ランク 2 の 𝔤 における 𝔰𝔩(2) の部分代数の 5 つの同型類すべてについて、特性および最小 𝔰𝔩(2)-タイプを明示的に計算する。
• 生成関数および数論的関数（例：θ(n), γ′(n), γ′′(n)）を用いて、重複度列 c₀(M) および c₁(M) を計算する。
• 有限型モジュールの分類に関する [PZ2] の結果を応用し、最小 𝔨-タイプの次元が 5 以上の場合の有界性の挙動と対比する。

実験結果

リサーチクエスチョン

• RQ1 再帰的部分代数 𝔨 ⊂ 𝔤 に対して、無限次元単純有界 (𝔤,𝔨)-モジュールが存在するための必要十分条件は何か？
• RQ2 𝔰𝔩(n) の最大有界再帰的部分代数はどれであり、どのように分類できるか？
• RQ3 ランク 2 の半単純リー代数における 𝔰𝔩(2) の部分代数の同型類のうち、有界 (𝔤,𝔰𝔩(2))-モジュールを生成するのは何個か？（ただし、𝔤 の真のイデアルに含まれない場合に限る。）
• RQ4 それぞれの同型類において、単純有界 (𝔤,𝔰𝔩(2))-モジュールの特性および最小 𝔰𝔩(2)-タイプは何か？
• RQ5 最小 𝔨-タイプの次元が 5 以上の場合、(𝔤,𝔨)-モジュールの有界性は有限型の場合とどのように異なるか？

主な発見

• 必要条件 r𝔤 ≤ b𝔨 は、𝔤 の最小正の冪零軌道が 𝔨 のボレル部分代数次元に対してあまりに大きくない場合に限って、有界部分代数 𝔨 の可能性を強く制限する。
• 幾何的構成により、有界性の十分条件が得られ、単純有界 (𝔤,𝔨)-モジュールの明示的実現が可能になる。
• 𝔰𝔩(n) におけるすべての最大有界再帰的部分代数が分類され、非最大の例についても構成されている。
• ランク 2 の 𝔤 に対しては、有界 (𝔤,𝔰𝔩(2))-モジュールを生成する 𝔰𝔩(2) の部分代数は正確に 5 つの同型類に分けられる：𝔰𝔩(2)⊕𝔰𝔩(2) における対角型、𝔰𝔩(3) におけるルート型および主型、𝔰𝔭(4) におけるルート型（短い）および主型。
• 任意の偶数次元単純有界 (𝔤,𝔰𝔩(2))-モジュールの最小 𝔰𝔩(2)-タイプは V₀、V₂、または V₄ である。奇数次元の場合は V₁ または V₃ である。
• 最小 𝔰𝔩(2)-タイプが Vᵢ（i ≥ 5）である場合、モジュールは有界でない。これは、高次元タイプのモジュールでは有界性が成立しないことを確認するが、これは有限型の場合とは対照的である。