[论文解读] Parametrization, structure and Bruhat order of certain spherical quotients

Pierre–Emmanuel Chaput, Lucas Fresse+1 more|arXiv (Cornell University)|Jan 13, 2020

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

一句话总结

本论文研究了当 $G$ 为半单群且 $e$ 为高度为 2 的幂零元时，$Z_G(e)$-轨道在旗流形 $G/B$ 上的结构及其强 Bruhat 序。论文通过 $W^P \times (\mathcal{B}_L / M)$ 参数化轨道，证明每个轨道是 $\mathcal{B}_L$ 中 $M$-轨道上的代数仿射丛，并在类型 $A$ 中表明轨道具有自然的胞分解。主要贡献在于利用商 Coxeter 系统上的抽象序，对这些轨道上的强 Bruhat 序给出了组合描述。

ABSTRACT

Let $G$ be a reductive algebraic group and let $Z$ be the stabilizer of a nilpotent element $e$ of the Lie algebra of $G$. We consider the action of $Z$ on the flag variety of $G$, and we focus on the case where this action has a finite number of orbits (i.e., $Z$ is a spherical subgroup). This holds for instance if $e$ has height $2$. In this case we give a parametrization of the $Z$-orbits and we show that each $Z$-orbit has a structure of algebraic affine bundle. In particular, in type $A$, we deduce that each orbit has a natural cell decomposition. In the aim to study the (strong) Bruhat order of the orbits, we define an abstract partial order on certain quotients associated to a Coxeter system. In type $A$, we show that the Bruhat order of the $Z$-orbits can be described in this way.

研究动机与目标

• 理解当 $Z_G(e)$ 为球对称时，$Z_G(e)$-轨道在旗流形 $G/B$ 上的参数化与几何结构。
• 描述轨道闭包之间的包含关系，特别是通过（强）Bruhat 序。
• 利用 Coxeter 系统的商构造，建立 $Z_G(e)$-轨道上 Bruhat 序的组合模型。
• 在类型 $A$ 中，证明每个 $Z_G(e)$-轨道具有自然的胞分解。
• 澄清 $Z_G(e)$-轨道与 $N_G(e)$-轨道之间的关系，表明在球对称条件下二者一致。

提出的方法

• 通过 $W^P \times (\mathcal{B}_L / M)$ 参数化 $Z_G(e)$-轨道，其中 $W^P$ 是 Weyl 群的抛物商，$\mathcal{B}_L$ 是李群 $L$ 的旗流形。
• 利用李群分解 $Z_G(e) = L_Z \ltimes U_Z$，证明每个 $Z_G(e)$-轨道是 $\mathcal{B}_L$ 中 $M$-轨道上的代数仿射丛。
• 在某些 Coxeter 系统的商上定义一个抽象偏序，以建模 $Z_G(e)$-轨道上的强 Bruhat 序。
• 利用表格准则和对合诱导序的性质，比较 Weyl 群中的元素，并将其与轨道包含关系关联。
• 利用 [BR12] 中关于 $\mathcal{D}_n$ 中覆盖关系的结果，通过与排列相关的有向图中的图切换来刻画 Bruhat 序。
• 证明对于高度为 2 的幂零元，有 $U_Z = U$，因此 $Z_G(e)$ 通过 $L$ 的对称子群的抛物诱导构造，从而简化其结构。

实验结果

研究问题

• RQ1 当 $Z_G(e)$ 为球对称时，如何参数化 $Z_G(e)$-轨道在旗流形上的结构？
• RQ2 每个 $Z_G(e)$-轨道的几何结构是什么，特别是其纤维化或胞分解结构？
• RQ3 如何组合地描述 $Z_G(e)$-轨道上的强 Bruhat 序？
• RQ4 在何种条件下 $Z_G(e)$-轨道与 $N_G(e)$-轨道一致？
• RQ5 是否能通过 Coxeter 系统商上的抽象序来建模 $Z_G(e)$-轨道上的 Bruhat 序？

主要发现

• 在 $G/B$ 上，$Z_G(e)$-轨道通过 $W^P \times (\mathcal{B}_L / M)$ 参数化，其中 $W^P$ 是 $W/W_P$ 的最小长度代表元集合，$\mathcal{B}_L / M$ 是 $L$ 的旗流形模其球对称子群 $M$。
• 每个 $Z_G(e)$-轨道具有代数仿射丛结构，其底空间为 $\mathcal{B}_L$ 中的 $M$-轨道，意味着其纤维为仿射空间。
• 在类型 $A$ 中，每个 $Z_G(e)$-轨道具有自然的胞分解，其来源于仿射丛结构以及 $\mathcal{B}_L / M$ 的几何性质。
• 通过 Coxeter 系统商上的抽象偏序，描述了 $Z_G(e)$-轨道上的强 Bruhat 序，该描述推广了 Weyl 群上的 Bruhat 序。
• 对于高度为 2 的幂零元，其未化子根 $U_Z$ 与抛物子群 $P$ 的完整未化子根 $U$ 一致，因此 $Z_G(e) = L_Z \ltimes U$，其中 $L_Z$ 是 $L$ 的对称子群。
• $Z_G(e)$-轨道集与 $N_G(e)$-轨道集在 $Z_G(e)$ 为球对称时一致，尽管 $N_G(e)$ 可能在 $Z_G(e)$ 非球对称时仍为球对称。