[论文解读] Geometry of orbit closures for the representations associated to gradings of Lie algebras of types $E_6$, $F_4$ and $G_2$

Witold Kraśkiewicz, Jerzy Weyman|arXiv (Cornell University)|Jan 5, 2012

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

一句话总结

本文利用维纳伯格方法和几何表示理论，对 $E_6$、$F_4$ 和 $G_2$ 型李代数的分次结构所对应的单代数群表示的轨道闭包进行分类。计算了退化序，确定了正规性、科恩-麦克aul伊和格伦斯坦性质、有理奇点，并通过等变 $K$-理论与系统关系计算，提供了轨道闭包的显式自由解析式与定义理想，关键结果通过 Macaulay2 及计算工具验证。

ABSTRACT

In this paper we investigate the orbit closures for the class of representations of simple algebraic groups associated to various gradings on a simple Lie algebras of type $E_6$, $F_4$ and $G_2$. The methods for classifying the orbits for these actions were developed by Vinberg. We give the orbit descriptions, the degeneration partial orders, and decide the normality of the orbit closures. We also investigate the rational singularities, Cohen-Macaulay and Gorenstein properties for the orbit closures. We give the generators of the defining ideals of orbit closures.

研究动机与目标

• 对 $G_2$、$F_4$ 和 $E_6$ 的表示中由其李代数分次结构所诱导的轨道闭包进行分类。
• 确定轨道闭包上的退化偏序关系，并分析其几何与代数性质。
• 计算轨道闭包的定义理想，确定其正规性、科恩-麦克aul伊、格伦斯坦及有理奇点性质。
• 在表示空间的对称代数模上，构造轨道闭包坐标环的显式最小自由解析式。
• 利用 Macaulay2 及自定义程序对权系与根系进行计算，以验证结果。

提出的方法

• 应用 [V87] 中的维纳伯格方法，将轨道描述为幂零轨道与分次部分 $\mathfrak{g}_1$ 交集的不可约分支。
• 采用 [W03] 的几何方法，将轨道闭包的非奇异化构造为 $G_0/P$ 上的齐次向量丛的总空间。
• 通过计算向量丛外幂与柯尔祖复形的等变欧拉示性数，推导出等变 $K$-理论中的公式。
• 使用作者编写的根系与权系计算程序，系统性地搜索每个表示的抛物子群模的子模。
• 通过正规化与余核模 $C_j = \mathbb{C}[N(\overline{\mathcal{O}}_j)] / \mathbb{C}[\overline{\mathcal{O}}_j]$ 强制计算希尔伯特级数与贝蒂表，针对非正规轨道闭包。
• 利用 Macaulay2 及相关计算包（如 [R10]）验证结果，进行欧拉示性数与不变量的计算。

实验结果

研究问题

• RQ1 哪些轨道闭包由 $E_6$、$F_4$ 与 $G_2$ 李代数的 $\theta$-群作用所诱导？其几何与代数不变量为何？
• RQ2 在这些表示中，轨道闭包的退化偏序关系如何？
• RQ3 在何种条件下轨道闭包是正规的、科恩-麦克aul伊的、格伦斯坦的，或具有有理奇点？
• RQ4 轨道闭包的定义理想为何？其在表示空间对称代数上的最小自由解析式的各项为何？
• RQ5 对于非正规轨道闭包，其正规化余核 $C_j$ 的系统关系模与贝蒂表行为如何？

主要发现

• 在 $(G_2, \alpha_1)$ 情形下，$G_2$ 情形中的轨道闭包 $\overline{\mathcal{O}}_1$ 是一个余维数为 1 的超曲面，由一个次数为 2 的不变量定义，其正规化具有解析式 $0 \to (4,2) \otimes A[-2] \to (2,1) \otimes A[-1] \oplus (0,0) \otimes A[0]$。
• 在 $(G_2, \alpha_2)$ 情形下，轨道闭包 $\overline{\mathcal{O}}_1$ 是一个余维数为 2 的有理正则曲线，其解析式由伊顿-诺斯科特复形给出：$0 \to (5,4) \otimes A(-3) \to (4,2) \otimes A(-2) \to A$。
• 在 $G_2$ 情形中，对于 $(G_2, \alpha_2)$，由判别式为零的三次型构成的轨道闭包 $\overline{\mathcal{O}}_2$ 不是正规的，其正规化涉及 $(4,2)$ 与 $(2,1)$ 表示。
• 轨道闭包 $X_{\text{disc.}}$ 是超曲面当且仅当环 $\operatorname{Sym}(\mathfrak{g}_1^*)^{(G,G)}$ 包含非平凡不变量，此时其由该不变量 $\Delta$ 的零化定义。
• 轨道闭包为球对称当且仅当支撑代数 $\mathfrak{s}$ 仅含 $A_1$ 分量，且非正规轨道闭包的正规化包含于 $\mathfrak{g}_1 \oplus \mathfrak{g}_i$（$i > 1$）中。
• 轨道闭包正规化的希尔伯特级数的分母为 $(1-t)^{\text{codim}}$，分子在每种情形下均显式计算，且完整提供了余核模 $C_j$ 的贝蒂表。