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

研究动机与目标

• 分类所有在 𝔰𝔩ₙ 中存在无限维单有界 (𝔰𝔩ₙ, 𝔨)-模的半单子代数 𝔨 ⊂ 𝔰𝔩ₙ。
• 确定 (𝔰𝔩ₙ, 𝔨)-模具有均匀有界 𝔨-重数的精确结构条件。
• 通过几何不变量刻画单有界 (𝔰𝔩ₙ, 𝔨)-模的关联簇。
• 建立一个几何判据——ℙ(𝔽ⁿ) 作为 𝔨-簇的球面性——以确保此类有界模的存在。

提出的方法

• 该分类依赖于球面簇理论，特别是 Borel 子代数在关联簇每个不可约分支上具有开轨道的条件。
• 分析有限生成 (𝔰𝔩ₙ, 𝔨)-模 M 的支撑簇 V(M)，其为旗簇余切丛中的锥状拉格朗日子簇。
• 通过李代数同态 τ_X: 𝔨 → 𝒯X 定义 𝔨-簇的概念，并通过 Borel 子代数作用下存在开轨道来定义球面性。
• 应用辛几何结果，特别是余伴从轨道及其闭包的结构，将表示论中的有界性与几何不变量联系起来。
• 该分类被简化为分析 𝔨 在 ℙ(𝔽ⁿ) 上的球面作用，这等价于 Borel 子代数在 𝔨 作用下存在一个余稠密轨道。
• 通过不可约球面表示的分类，利用基本权与不变子空间，导出有界半单子代数的显式列表。

实验结果

研究问题

• RQ1 对于哪些半单子代数 𝔨 ⊂ 𝔰𝔩ₙ，存在一个无限维单 (𝔰𝔩ₙ, 𝔨)-模，且其 𝔨-重数均匀有界？
• RQ2 𝔭𝔠(𝔽ⁿ) 上 𝔨 作用的何种几何条件可确保此类有界模的存在？
• RQ3 如何刻画有界 (𝔰𝔩ₙ, 𝔨)-模 M 的关联簇 V(M) 的不可约分支？
• RQ4 哪些半单子代数 𝔨 ⊂ 𝔰𝔩ₙ 诱导 ℙ(𝔽ⁿ) 上的球面作用，且其与有界 (𝔰𝔩ₙ, 𝔨)-模有何关联？
• RQ5 存在至少一个有界单无限维 (𝔰𝔩ₙ, 𝔨)-模的半单子代数 𝔨 ⊂ 𝔰𝔩ₙ 的完整列表是什么？

主要发现

• 当且仅当射影空间 ℙ(𝔽ⁿ) 是 𝔨-球面簇时，对 (𝔰𝔩ₙ, 𝔨) 存在无限维单有界 (𝔰𝔩ₙ, 𝔨)-模。
• 任意有界 (𝔰𝔩ₙ, 𝔨)-模 M 的支撑簇 V(M) 是旗簇余切丛中的锥状拉格朗日子簇，其不可约分支为球面簇。
• 𝔰𝔩ₙ 的有界半小子代数的分类完全由 𝔨 作用下 ℙ(𝔽ⁿ) 的球面性决定。
• 所有此类子代数在表 6.1 中明确列出，包括单、半单及可约李代数的情形，附有指定表示与不变子空间。
• (𝔰𝔩ₙ, 𝔨)-模的有界性等价于其关联簇 V(M) 的球面性，这是关键的几何判据。
• 本文提供了不可约球面表示的完整列表，这些表示构成了有界子代数分类的理论基础。