[论文解读] 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

一句话总结

本文通过利用忠实有限维表示引入极小多项式的类比，构建了在半单李代数上标量型广义Verma模的消去子的生成器系统。证明了在一般无穷小特征标下，消去子由表示矩阵上极小多项式取值与普遍包络代数中心的元素生成，将经典李代数上的先前结果推广至统一框架。

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.

研究动机与目标

• 为半单李代数上标量型广义Verma模的消去子生成器系统发展一种统一方法。
• 通过忠实有限维表示，将矩阵理论中的极小多项式概念推广至表示论设定。
• 确立极小多项式在表示上取值时生成消去广义Verma模元素的条件。
• 利用统一代数框架，将先前关于经典李代数（如 glₙ, oₙ）的结果推广至任意半单李代数。
• 通过极小多项式取值与中心元素的组合，表征消去子理想，适用于一般无穷小特征标。

提出的方法

• 定义与忠实有限维表示 $ \rho $ 和广义Verma模 $ M_{\theta}(\nu) $ 相关的极小多项式 $ q_{/pi,M_{\theta}(\nu)}(x) $，利用由基元素在对偶映射下像构成的矩阵 $ F_{\rho} $。
• 利用表示 $ \rho $ 和抛物子代数 $ \frak{p}_{\theta} $ 的表示论性质，构造一个推广极小多项式的多项式 $ q_{\rho,\theta}(x;\nu) $，使其可被 $ q_{\rho,M_{\theta}('\nu)}(x) $ 整除。
• 利用无穷小Mackey张量积定理及表示张量积的分解，证明对一般 $ \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}) $-模，以及由 annihilating $ M_{\theta}(\nu) $ 的中心元素生成的部分。
• 建立等式 $ J_{\theta}(\nu) = I_{\rho,\theta}(\nu) + J(\nu_{\theta}) $，其中 $ J_{\theta}(\nu) $ 是广义Verma模的定义理想，$ J(\nu_{\theta}) $ 是Borel作用的消去子，证明对一般 $ \nu $，$ I_{\rho,\theta}(\nu) $ 生成了完整的消去子。
• 利用同态函子的自然等价性与 $ U(\frak{g}) $-模同构，验证该构造与诱导模的普遍性质相容。

实验结果

研究问题

• RQ1 能否通过忠实有限维表示，在任意半单李代数上的广义Verma模中定义极小多项式的类比？
• RQ2 在何种条件下，极小多项式在表示矩阵上取值可生成广义Verma模消去子理想的一部分？
• RQ3 广义Verma模的消去子如何分解为极小多项式与普遍包络代数中心的贡献？
• RQ4 对于哪些表示类（如极小表示、伴随表示、无重表示）该构造能给出消去子的完整生成器系统？
• RQ5 理想 $ I_{\rho,\theta}(\nu) $ 等于完整消去子 $ \text{Ann}(M_{\theta}(\nu)) $ 的精确条件是什么？该条件与 $ \nu $ 的一般性有何关联？

主要发现

• 极小多项式 $ q_{\rho,M_{\theta}(\nu)}(x) $ 定义为满足 $ q_{\rho,M_{\theta}(\nu)}(F_{\rho}) $ 消去广义Verma模 $ M_{\theta}(\nu) $ 的最低次数首一多项式，其中 $ F_{\rho} $ 是对偶表示下结构常数的矩阵。
• 对一般 $ \nu $，消去子 $ \text{Ann}(M_{\theta}(\nu)) $ 由元素 $ q_{\rho,M_{\theta}(\nu)}(F_{\rho})_{ij} $ 和 annihilating $ 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) $ 在Borel作用理想之外完整捕获了消去子。
• 该构造推广了先前对 $ \frak{gl}_n $ 和 $ \frak{o}_n $ 的结果，其中类似生成器系统通过广义Capelli算子构建，现已被扩展至任意半单李代数。
• 通过无穷小微Mackey定理与表示张量积的分解，证明了对一般 $ \nu $，多项式 $ q_{\rho,\theta}(x;\nu) $ 与 $ q_{\rho,M_{\theta}(\nu)}(x) $ 一致。
• 附录B中的反例表明，当权系统具有非平凡重数且 $ \nu $ 非一般时，等式条件可能不成立，特别是当 $ n = m_1 + 4 $ 时，微分算子中的某因子恒为零。