[论文解读] Bounded generalized Harish-Chandra modules

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

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

一句话总结

本文引入并分类了半单李代数的有界广义哈里什-钱德拉模，建立了子代数 𝔨 ⊂ 𝔤 允许存在无限维简单有界 (𝔤,𝔨)-模的必要与充分条件。本文对 𝔰𝔩(n) 中的最大有界半单子代数进行了分类，并完全描述了在秩为 2 的 𝔤 下，简单有界 (𝔤,𝔰𝔩(2))-模的结构，识别出五类 𝔰𝔩(2) 子代数的共轭类，其中包括 𝔰𝔭(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) 子代数的五类共轭类，显式计算了特征标与最小 𝔰𝔩(2)-型。
• 使用生成函数与数论函数（如 θ(n)、γ′(n)、γ′′(n)）计算重数序列 c₀(M) 与 c₁(M)。
• 应用 [PZ2] 中关于高最小 𝔨-型有限型模的分类结果，以对比有界性行为。

实验结果

研究问题

• RQ1 对于半单子代数 𝔨 ⊂ 𝔤，存在无限维简单有界 (𝔤,𝔨)-模的必要与充分条件是什么？
• RQ2 𝔰𝔩(n) 的哪些最大有界半单子代数是有界的？它们如何被分类？
• RQ3 在秩为 2 的半单李代数中，有多少共轭类的 𝔰𝔩(2) 子代数会生成有界 (𝔤,𝔰𝔩(2))-模，且该子代数不包含于 𝔤 的真理想中？
• RQ4 在每种情况下，简单有界 (𝔤,𝔰𝔩(2))-模的特征标与最小 𝔰𝔩(2)-型是什么？
• RQ5 当最小 𝔨-型维数 ≥5 时，(𝔤,𝔨)-模的有界性与有限型情况有何不同？

主要发现

• 必要条件 r𝔤 ≤ b𝔨 严重限制了可能的有界子代数 𝔨，使其仅限于 𝔤 中最小正幂零轨道不过大、相对于 𝔨 的博雷尔子代数维数而言的情况。
• 几何构造为有界性提供了充分条件，使得可以显式实现简单有界 (𝔤,𝔨)-模。
• 所有 𝔰𝔩(n) 的最大有界半单子代数均被分类，非最大情形的示例也已构造。
• 在秩为 2 的 𝔤 中，恰好存在五类共轭类的 𝔰𝔩(2) 子代数可产生有界 (𝔤,𝔰𝔩(2))-模：𝔰𝔩(2)⊕𝔰𝔩(2) 中的对角嵌入、𝔰𝔩(3) 中的根与主嵌入，以及 𝔰𝔭(4) 中的根（短）与主嵌入。
• 任何偶数维简单有界 (𝔤,𝔰𝔩(2))-模的最小 𝔰𝔩(2)-型为 V₀、V₂ 或 V₄；奇数维模的最小型为 V₁ 或 V₃。
• 当最小 𝔰𝔩(2)-型为 Vᵢ 且 i ≥ 5 时，模为无界的，这证实了高型模的有界性不成立，与有限型情况形成对比。