[论文解读] Composantes irr\\'eductibles de la vari\\'et\\'e commutante nilpotente d'une alg\\`ebre de Lie sym\\'etrique semi-simple

Michaël Bulois|arXiv (Cornell University)|Oct 24, 2007

Advanced Algebra and Geometry参考文献 20被引用 6

一句话总结

该论文证明了关于对称对 $(\mathfrak{g}, \theta)$ 的幂零交换子簇的猜想：其为等维的，且其不可约分支由 $\mathfrak{p}$-分明轨道索引。通过利用杨图对近乎 $\mathfrak{p}$-分明元素的分类以及对奇异分支的分析，作者在经典类型（AIII, CII, DIII）中确立了该猜想，并在许多例外类型中完成证明，仅在 $E_8$ 中留下两个未解决的情况。该工作将普雷梅特在对称平方情形的结果推广至一大类对称李代数。

ABSTRACT

Let \ heta be an involution of the semisimple Lie algebra g and g=k+p be the associated Cartan decomposition. The nilpotent commuting variety of (g,\ heta) consists in pairs of nilpotent elements (x,y) of p such that [x,y]=0. It is conjectured that this variety is equidimensional and that its irreducible components are indexed by the orbits of p-distinguished elements. This conjecture was established by A. Premet in the case (g \ imes g, \ heta) where \ heta(x,y)=(y,x). In this work we prove the conjecture in a significant number of other cases.

研究动机与目标

• 证明幂零交换子簇 $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ 为等维的，且其不可约分支由 $\mathfrak{p}$-分明轨道索引的猜想。
• 将普雷梅特在对称平方情形 $(\mathfrak{g} \times \mathfrak{g}, \theta)$ 的结果推广至一大类对称李代数。
• 利用杨表的 (ab)-图对经典李代数中近乎 $\mathfrak{p}$-分明元素进行分类。
• 排除奇异分支——由非分明元素定义——成为 $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ 不可约分支的可能性。
• 利用杜约科维奇对例外李代数实形式中幂零轨道的表格，逐案验证例外类型中的猜想。

提出的方法

• 通过杨表的 (ab)-图对经典李代数中近乎 $\mathfrak{p}$-分明元素进行分类。
• 定义并分析几乎 $\mathfrak{p}$-分明元素 $e$ 对应的簇 $\mathfrak{C}(e)$，其被称为维度小于 $\dim \mathfrak{p}$ 的‘奇异分支’。
• 利用 $\mathfrak{p}$-自大条件，通过几何与表示论论证排除某些奇异分支。
• 应用科斯塔nt-Rallis 与 Springer-Steinberg 关于对称空间中幂零轨道与中心化子的结果。
• 系统性地排除 AI、AII、CI 与 BDI 类型中可能的奇异分支，方法为利用轨道闭包图与维数界。
• 借助杜约科维奇对例外李代数实形式中幂零轨道的表格，逐案验证例外类型中的猜想。

实验结果

研究问题

• RQ1 幂零交换子簇 $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ 的不可约分支是否由 $\mathfrak{p}$-分明轨道索引？
• RQ2 由非 $\mathfrak{p}$-分明元素生成的奇异分支能否成为 $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ 的不可约分支？
• RQ3 $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ 是否为维数为 $\dim \mathfrak{p}$ 的等维簇？
• RQ4 $\mathfrak{p}$-自大元素在排除潜在奇异分支中起何种作用？
• RQ5 在哪些对称对中该猜想已完全验证？尚存哪些未解决的情况？

主要发现

• 通过杨图对近乎 $\mathfrak{p}$-分明元素的分类，该猜想在 AIII、CII 与 DIII 型的经典对称对中得以证明。
• 在 AI（秩 ≤ 4）、AII（秩 ≤ 3）、CI（秩 ≤ 7）与 BDI（秩 ≤ 2）情形中，奇异分支的缺失证实了该猜想。
• 对于例外对称对，除分裂实形式 $E_8$ 中的两个情形外，其余均已通过逐案验证确认该猜想，其中两个潜在奇异分支尚未被排除。
• $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ 为维数 $\dim \mathfrak{p}$ 的等维簇，其不可约分支由 $\mathfrak{p}$-分明轨道索引。
• $\mathfrak{p}$-自大元素的方法成功排除了经典对称对中一大类候选奇异分支。
• 本文证明了由非 $\mathfrak{p}$-分明元素定义的奇异分支不会产生 $\mathfrak{C}^{\textrm{nil}}(\mathfrak{p})$ 的不可约分支，从而确认了该猜想的结构核心。