[論文レビュー] Minimal polynomials and annihilators of generalized Verma modules of the scalar type

Hiroshi Oda, Toshio Oshima|ArXiv.org|Oct 31, 2004

Advanced Algebra and Geometry参考文献 18被引用数 11

ひとこと要約

本稿では、忠実な有限次元表現を用いて最小多項式の類似物を導入することで、再帰的リーリー代数上のスカラー型一般化ヴェルマ加群の消滅子の生成子系を構成する。一般の無限小特性に対して、消滅子は表現行列への最小多項式の評価と普遍包あらゆる代数の中心の両者によって生成されることを証明し、古典的リーリー代数に対する既存の結果を統一的な枠組みに拡張する。

ABSTRACT

Let g be a complex reductive Lie algebra and U(g) the universal enveloping algebra of g. Associated to a faithful irreducible finite dimensional representation of g, a square matrix F with entries in U(g) naturally arises and if we consider the entries of F are elements in End(M) of a given U(g)-module M, the minimal polynomial of F is defined as the usual one for an associative algebra over the complex field. Suppose M is a generalized Verma module induced from a character of a parabolic subalgebra of g. In this paper a polynomial q(x) with the parameter of the character is constructed, which equals the minimal polynomial for the generic parameter. Then the two-sided ideal of U(g) generated by the entries of q(F) is studied. We give a sufficient condition for the parameter such that the ideal describes the difference of two left ideals related to M and the corresponding Verma module. The result has many applications. For example we can explicitly give a generator system of the annihilator of M for the generic parameter. This paper also deals with many concrete examples.

研究の動機と目的

• 再帰的リーリー代数上のスカラー型一般化ヴェルマ加群の消滅子の生成子系を統一的に構成するための手法を開発すること。
• 忠実な有限次元表現を用いて、行列理論における最小多項式の概念を表現論的文脈へ一般化すること。
• 表現の最小多項式が一般化ヴェルマ加群を消滅させる条件を確立すること。
• 古典的リーリー代数（例：glₙ, oₙ）に対する既存の結果を、統一的な代数的枠組みを用いて任意の再帰的リーリー代数へ拡張すること。
• 一般の無限小特性に対して、最小多項式の評価と中心的要素の組み合わせによる消滅子イデアルの特徴付けを行うこと。

提案手法

• 忠実な有限次元表現 $ \rho $ と一般化ヴェルマ加群 $ M_{\theta}(\nu) $ に関連する最小多項式 $ q_{/pi,M_{\theta}(\nu)}(x) $ を定義する。ここに $ F_{\rho} $ は、対対応写像による基底元の像を成分とする行列である。
• 表現論的性質とパラボリック部分代数 $ \frak{p}_{\theta} $ を用いて、最小多項式を一般化し、$ q_{\rho,M_{\theta}(...)}(x) $ を割り切る多項式 $ q_{\rho,\theta}(x;\nu) $ を構成する。
• 無限小マッケイのテンソル積定理と表現のテンソル積の分解を用いて、一般の $ \nu $ に対して $ q_{\rho,\theta}(x;\nu) = q_{\rho,M_{\theta}(\nu)}(x) $ を証明する。
• $ I_{\rho,\theta}(\nu) $ を、$ q_{\rho,M_{\theta}(\nu)}(F_{\rho})_{ij} $ が生成する $ U(\frak{g}) $-加群と、$ M_{\theta}(\nu) $ を消滅させる中心的要素が生成する部分の和として定義する。
• $ J_{\theta}(\nu) = I_{\rho,\theta}(\nu) + J(\nu_{\theta}) $ を示し、ここに $ J_{\theta}(\nu) $ は一般化ヴェルマ加群の定義イデアルで、$ J(\nu_{\theta}) $ はボレル作用の消滅子である。これにより、一般の $ \nu $ に対して $ I_{\rho,\theta}(\nu) $ が消滅子を生成することが示される。
• 自然なホム関手の同型と $ U(\frak{g}) $-加群の同型を用いて、この構成が誘導加群の普遍性と整合することを検証する。

実験結果

リサーチクエスチョン

• RQ1 忠実な有限次元表現を用いて、任意の再帰的リーリー代数上の一般化ヴェルマ加群に対して、最小多項式の類似物を定義可能か？
• RQ2 表現行列への最小多項式の評価が、一般化ヴェルマ加群の消滅子イデアルの一部を生成する条件は何か？
• RQ3 一般化ヴェルマ加群の消滅子は、最小多項式と普遍包あらゆる代数の中心の寄与にどのように分解されるか？
• RQ4 最小スカラル、随伴、多重度自由など、どのような表現クラスに対して、この構成が消滅子の完全な生成子系を与えるか？
• RQ5 理想 $ I_{\rho,\theta}(\nu) $ が全消滅子 $ \text{Ann}(M_{\theta}(\nu)) $ に等しくなる正確な条件は何か？また、これは $ \nu $ の一般性とどのように関係するか？

主な発見

• 最小多項式 $ q_{\rho,M_{\theta}(\nu)}(x) $ は、$ F_{\rho} $ が対対応表現における構造定数の行列であるとき、$ q_{\rho,M_{\theta}(\nu)}(F_{\rho}) $ が一般化ヴェルマ加群 $ M_{\theta}(\nu) $ を消滅させるような最小次数のモニック多項式として定義される。
• 一般の $ \nu $ に対して、消滅子 $ \text{Ann}(M_{\theta}(\nu)) $ は、要素 $ q_{\rho,M_{\theta}(\nu)}(F_{\rho})_{ij} $ と $ M_{\theta}(\nu) $ を消滅させる $ Z(\frak{g}) $ 内の中心的要素によって生成され、$ I_{\rho,\theta}(\nu) $ として形式化される。
• 一般の $ \nu $ に対して $ J_{\theta}(\nu) = I_{\rho,\theta}(\nu) + J(\nu_{\theta}) $ が成り立つ。これは $ I_{\rho,\theta}(\nu) $ がボレル作用のイデアルを除き、全消滅子を捉えていることを示す。
• この構成は、$ \frak{gl}_n $ および $ \frak{o}_n $ に対する以前の結果を一般化する。同様の生成子系は、一般化されたカペリ作用素を用いて構築されていたが、今や任意の再帰的リーリー代数へ拡張されている。
• 無限小マッケイ定理と表現のテンソル積の分解を用いて、一般の $ \nu $ に対して最小多項式 $ q_{\rho,\theta}(x;\nu) $ が $ q_{\rho,M_{\theta}(\nu)}(x) $ と一致することが示された。
• 付録Bの反例は、重複度が非自明で非一般の $ \nu $ の場合、等号の条件が成立しない可能性があることを示しており、特に $ n = m_1 + 4 $ のとき、微分作用素の因子が恒等的に消える。