[论文解读] Invariant Theory of little adjoint modules

Dmitri I. Panyushev|arXiv (Cornell University)|May 23, 2012

Algebraic structures and combinatorial models参考文献 4被引用 4

一句话总结

本文对非 simply-laced 半单李代数中极小伴随表示的不变量理论提供了统一且概念性的处理。它证明了极小伴随模的不变量环是多项式环，其克鲁尔维数等于短根的简单根个数，并揭示了极小伴随模的不变量与特定 Levi 子代数的伴随表示之间存在深刻联系，从而得出关于轨道结构、零锥以及交换子簇的结果。

ABSTRACT

Let G be a complex simple algebraic group. We consider invariant-theoretic properties of the simple G-module whose highest weight is the short dominant root.

研究动机与目标

• 为非 simply-laced 李代数中极小伴随表示的不变量理论性质提供一个统一且概念性的框架。
• 证明极小伴随模的不变量环是多项式环，其克鲁尔维数等于短简单根的个数。
• 阐明极小伴随模与由短根生成的 Levi 子代数的伴随表示之间的结构关系。
• 通过逐类分析和与伴随情形的结构类比，证明与极小伴随模相关的交换子簇的不可约性。
• 将已知的伴随表示理论结果推广到极小伴随情形，特别是关于零锥和轨道维数的结果。

提出的方法

• 利用外尔群在极小伴随模的零权空间上的作用，识别其稳定子与轨道结构。
• 构造从极小伴随模的坐标环到其零权空间的限制同态，证明其诱导不变量环的同构。
• 识别由短简单根生成的 Levi 子代数 $\mathfrak{l} = \mathfrak{g}(\Pi_s)$，其外尔群 $W(\Pi_s)$ 作用于零权空间。
• 证明不变量环 $\mathbb{C}[\mathsf{V}_{\theta_s}]^G$ 同构于 $\mathbb{C}[\mathfrak{l}]^L$，利用已知的伴随不变量性质。
• 利用考绍尔元关系证明考绍尔数之比 $h/h_s$ 为自然数，支持轨道维数公式。
• 通过逐类验证交换子簇 $\mathfrak{E}(\mathsf{V}_{\theta_s})$ 的不可约性，将其约化为 $SO(\mathsf{V})$ 和 $\mathbf{F}_4$ 的已知结果。

实验结果

研究问题

• RQ1 如何在所有非 simply-laced 李代数类型中统一描述极小伴随模的不变量环？
• RQ2 极小伴随模的不变量与由短根生成的 Levi 子代数的伴随表示之间存在何种精确关系？
• RQ3 为何极小伴随模的零权空间的维数等于短简单根的个数？
• RQ4 极小伴随模及其相关 Levi 子代数的轨道结构之间有何关系，特别是维数比方面？
• RQ5 极小伴随模的交换子簇是否不可约，且能否通过与伴随情形的结构类比推导出此结论？

主要发现

• 不变量环 $\mathbb{C}[\mathsf{V}_{\theta_s}]^G$ 是一个克鲁尔维数为 $\#(\Pi_s)$（即短简单根个数）的多项式代数。
• 限制映射诱导同构 $\mathbb{C}[\mathsf{V}_{\theta_s}]^G \simeq \mathbb{C}[\mathsf{V}_{\theta_s}^0]^{W(\Pi_s)}$，表明不变量由 Levi 子代数的外尔群控制。
• 商态射 $\pi_G: \mathsf{V}_{\theta_s} \to \mathsf{V}_{\theta_s}/\!\!/G$ 是等维的，且商空间为光滑仿射概形。
• 对任意一般元素 $v \in \mathsf{V}_{\theta_s}^0$，其稳定子 $G_v$ 是连通且半单的，其根系由 $\Delta$ 中的所有长根构成，且 $\dim \mathsf{V}_{\theta_s} = (h+1)\cdot \#(\Pi_s)$，其中 $h$ 为 $G$ 的考绍尔数。
• 零锥 $\mathfrak{N}(\mathsf{V}_{\theta_s})$ 是一个不可约完全交，且 $\mathsf{V}_{\theta_s}$ 允许一个科斯塔nt-魏尔斯特拉斯截面。
• 映射 $\mathcal{O} \mapsto G\cdot\mathcal{O}$ 建立了 $\mathfrak{N}(\mathfrak{l})$ 中 $L$-轨道与 $\mathfrak{N}(\mathsf{V}_{\theta_s})$ 中 $G$-轨道之间的双射，且对非零轨道有 $\dim G\cdot\mathcal{O} / \dim \mathcal{O} = h/h_s \in \mathbb{N}$。