[论文解读] Flag varieties as equivariant compactifications of G_a^n

Ivan Arzhantsev|arXiv (Cornell University)|Mar 11, 2010

Advanced Algebra and Geometry参考文献 5被引用 4

一句话总结

本文分类了旗簇 $G/P$，使其在交换幂零群 ${\mathbb{G}}_a^n$ 作用下具有通有传递性，证明此类紧化恰好发生在：对 $G$ 的每个单因子，其抛物子群 $P$ 的幂零根系为交换群，或该对 $(G^{(i)}, P^{(i)})$ 为例外对。该结果推广了代数群理论中关于施伯特胞腔与等变紧化的经典结果。

ABSTRACT

Let G be a semisimple affine algebraic group and P a parabolic subgroup of G. We classify all flag varieties G/P which admit an action of the commutative unipotent group G_a^n with an open orbit.

研究动机与目标

• 确定哪些旗簇 $G/P$ 允许交换幂零群 ${\mathbb{G}}_a^n$ 的通有传递作用。
• 对所有作为 ${\mathbb{G}}_a^n$ 的等变紧化的旗簇 $G/P$ 进行分类。
• 刻画抛物子群 $P$ 的幂零根系为交换群或对 $(G,P)$ 为例外对的条件。
• 将 ${\mathbb{G}}_a^n$ 的等变紧化结果推广至半单代数群背景下的广义旗簇。
• 解决旗簇的自同构群结构及其与仿射空间上等变作用的关系。

提出的方法

• 利用半单群 $\widetilde{G}$ 的根系与李代数分次结构，即 $\mathop{\rm Aut}(G/P)$ 的恒同分支，分析抛物子群的结构。
• 基于抛物子群 $Q$ 的支撑，对李代数 $\mathfrak{g} = \mathop{\rm Lie}(\widetilde{G})$ 施加 $\mathbb{Z}$-分次，通过 $\mathop{\rm deg}(\beta) = \sum_{\alpha_i \in \Delta_Q} a_i$ 为根分配度数。
• 通过李括积结构 $[\mathfrak{q}_u^-, \mathfrak{q}_u^-] \subseteq \bigoplus_{k < 0} \mathfrak{g}_k$ 分析对偶抛物子群的幂零根系 $Q_u^-$ 及其交换性。
• 利用通有传递 ${\mathbb{G}}_a^n$-作用蕴含 $\mathfrak{g} = \mathfrak{q} \oplus \mathfrak{h}$ 的直和分解，其中 $\mathfrak{h} = \mathop{\rm Lie}(H)$，且投影 $\mathfrak{h} \to \mathfrak{q}_u^-$ 为双射。
• 当 $[y', y''] = 0$ 在 $\mathfrak{h}$ 中成立但 $[y_2', y_2''] \neq 0$ 在 $\mathfrak{q}_u^-$ 中成立时，导出矛盾，从而证明 $\mathfrak{q}_u^-$ 必为交换群。
• 通过已知的例外对（如 $(\mathop{\rm PSp}(2r), P_1)$ 及其覆盖对）将分类归约为 $G$ 的单因子。

实验结果

研究问题

• RQ1 哪些旗簇 $G/P$ 允许交换幂零群 ${\mathbb{G}}_a^n$ 的通有传递作用？
• RQ2 抛物子群 $P$ 的幂零根系 $P_u$ 满足何种条件时，$G/P$ 成为 ${\mathbb{G}}_a^n$ 的等变紧化？
• RQ3 当旗簇 $G/P$ 的自同构群 $\widetilde{G}$ 与 $G$ 不同时，其差异如何影响此类 ${\mathbb{G}}_a^n$-作用的存在性？
• RQ4 是否存在 $P_u$ 非交换的旗簇 $G/P$，其仍为 ${\mathbb{G}}_a^n$ 的等变紧化？
• RQ5 例外对 $(G^{(i)}, P^{(i)})$ 如何促进此类作用的存在？其在分类中扮演何种角色？

主要发现

• 旗簇 $G/P$ 允许通有传递 ${\mathbb{G}}_a^n$-作用当且仅当对 $G$ 的每个单因子 $G^{(i)}$，其幂零根系 $P_u^{(i)}$ 为交换群，或对 $(G^{(i)}, P^{(i)})$ 为例外对。
• 幂零根系 $P_u$ 为交换群当且仅当对应单根 $\alpha_i$ 在根系的最高权 $\rho$ 中的系数为 1。
• 等价条件为：对偶群 $G^\vee$ 的基本权 $\omega_i$ 为极小权，即 $V(\omega_i)$ 的权系与 $W$-轨道 $\omega_i$ 一致。
• 对于例外对如 $(\mathop{\rm PSp}(2r), P_1)$、$(\mathop{\rm SO}(2r+1), P_r)$ 和 $(G_2, P_1)$，幂零根系 $P_u$ 非交换，但 $G/P$ 仍允许此类作用，原因在于其覆盖对结构。
• 证明表明，若 $G/P$ 允许通有传递 ${\mathbb{G}}_a^n$-作用，则对偶抛物子群的幂零根系 $Q_u^-$ 必为交换群，从而对每个单因子施加了相应条件。
• 该分类是完备的，且可归约为对 $G$ 的每个单因子检查 $P_u^{(i)}$ 的交换性或例外对条件。