[论文解读] Spherical affine cones in exceptional cases and related branching rules

Bruno Niemann|arXiv (Cornell University)|Nov 16, 2011

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

一句话总结

本文对所有三元组 $(G, P, H)$ 进行了分类，其中 $G$ 是例外型的复数单连通单代数群，$P$ 是极大抛物子群，$H \subset G$ 是在旗簇 $G/P$ 上作用球对称的最大约化子群。文章推导了对偶不可约表示 $V_{k\omega_i}^*$ 限制到 $H$ 的显式分支规则，证明了球对称性等价于多重性自由的分支。关键结果是完成了对所有例外群 $G_2$、$F_4$、$E_6$、$E_7$ 和 $E_8$ 的球对称作用及其对应分支规则的完整分类，其中 $E_8$ 由于限制中出现多重性而不存在球对称情形。

ABSTRACT

Given a complex simply connected simple algebraic group $G$ of exceptional type and a maximal parabolic subgroup $P \subset G$, we classify all triples $(G,P,H)$ such that $H \subset G$ is a maximal reductive subgroup acting spherically on $G/P$. In addition we derive branching rules for $ ext{res}^G_H (V^*_{kω_i})$, $k \in \N$, where $ω_i$ is the fundamental weight associated to $P$. This is the first of two parts of a project to classify all such triples and corresponding branching rules for all simply connected simple algebraic groups.

研究动机与目标

• 对所有三元组 $(G, P, H)$ 进行分类，其中 $G$ 是例外型的单连通单代数群，$P \subset G$ 是极大抛物子群，$H \subset G$ 是在 $G/P$ 上作用球对称的最大约化子群。
• 在球对称情形下，推导不可约 $G$-模 $V_{k\omega_i}^*$ 限制到 $H$ 的显式分支规则。
• 建立 $G/P$ 在 $H$ 作用下的球对称性与仿射锥 $\widehat{Y}$ 的坐标环在 $G$ 作用下多重性自由分解之间的对应关系。
• 完成一个两部分项目的第一部分，即对所有单连通单代数群中此类球对称三元组及其分支规则进行全面分类。

提出的方法

• 利用球对称品种理论：当且仅当坐标环 $\mathbb{C}[\widehat{Y}]$ 作为 $G$-模是多重性自由时，$G$-品种 $G/P$ 是 $H$-球对称的。
• 研究旗簇 $G/P$ 的仿射锥 $\widehat{Y}$，其齐次分量同构于 $V_{k\omega_i}^*$，并分析其在 $H$ 上的限制。
• 应用根系与权空间技术，利用 LiE 软件计算特征与多重性，以确定 $\text{res}^G_H(V_{k\omega_i}^*)$ 的结构。
• 通过比较 $H$ 的博雷尔子群与旗簇 $G/P$ 的维数，排除非球对称情形。
• 通过分析轨道结构以及 $U_H$-轨道闭包在幂零子代数中的维数，验证球对称性，即存在唯一的开轨道。
• 对于 $E_7$，显式构造幂零子代数 $\mathfrak{n}$ 中的一个最高权向量 $X$，使得 $\dim[U_H, X] = 16 = \dim N$，从而确认球对称性。

实验结果

研究问题

• RQ1 对于例外型群 $G$ 及其极大抛物子群 $P$，哪些最大约化子群 $H \subset G$ 在旗簇 $G/P$ 上作用球对称？
• RQ2 对于哪些三元组 $(G, P, H)$，限制 $\text{res}^G_H(V_{k\omega_i}^*)$ 是多重性自由的？其显式分支规则是什么？
• RQ3 如何从 $G$ 与 $H$ 的表示理论角度刻画 $G/P$ 在 $H$ 作用下的球对称性？
• RQ4 $E_8$ 为何对任意最大约化子群 $H$ 都不具有球对称 $H$-品种 $G/P$？
• RQ5 $\mathbb{C}^*$-因子在 $H = D_5 \times \mathbb{C}^* \subset E_6$ 和 $H = E_6 \times \mathbb{C}^* \subset E_7$ 的分支规则中起什么作用？

主要发现

• 对于 $G_2$，最大约化子群 $A_2 \subset G_2$ 在 $G/P_1$ 和 $G/P_2$ 上作用球对称，分支规则为 $\text{res}^{G_2}_{A_2}(V_{k\omega_1}^*) = \bigoplus_{a_1+a_2 \leq k} V_{a_1\lambda_1 + a_2\lambda_2}$ 和 $\text{res}^{G_2}_{A_2}(V_{k\omega_2}^*) = \bigoplus_{a_1+a_2+a_3=k} V_{(a_1+a_3)\lambda_1 + (a_2+a_3)\lambda_2}$。
• 对于 $F_4$，子群 $B_4 \subset F_4$ 在 $G/P_1$、$G/P_2$、$G/P_3$ 和 $G/P_4$ 上产生球对称作用，其分支规则涉及对 $k$ 的整数分拆，系数为 $B_4$ 的基本权。
• 对于 $E_6$，子群 $A_5 \times A_1 \subset E_6$ 在 $G/P_1$ 上作用球对称，且 $\text{res}^{E_6}_{A_5 \times A_1}(V_{k\omega_1}^*) = \bigoplus_{a_1 + 2a_2 + a_3 = k} V_{a_1\lambda_2 + a_2\lambda_4 + a_3\lambda_5} \otimes V_{a_1\lambda_6}$。
• 对于 $E_7$，子群 $D_6 \times A_1 \subset E_7$ 在 $G/P_7$ 上作用球对称，且 $\text{res}^{E_7}_{D_6 \times A_1}(V_{k\omega_7}^*) = \bigoplus_{a_1 + 2a_2 + a_3 = k} V_{a_1\lambda_1 + a_2\lambda_2 + a_3\lambda_6} \otimes V_{a_1\lambda_7}$。
• 对于 $E_8$，不存在最大约化子群 $H$ 在任何 $G/P_i$ 上作用球对称，因为当 $H = E_7 \times A_1$ 和 $H = D_8$ 时，$\text{res}^{E_8}_{H}(V_{k\omega_8}^*)$ 中出现多重性，具体表现为 $2(V_{1\lambda_1 + 2\lambda_7} \otimes V_{2\lambda_8})$ 和 $2V_{\lambda_8}$ 出现在分解中。
• 球对称性等价于 $\mathbb{C}[\widehat{Y}]$ 限制到 $H$ 时的多重性自由，且该条件对于分支规则为多重性自由而言是必要且充分的。