[论文解读] $G$-stable pieces and partial flag varieties

Xuhua He|ArXiv.org|Aug 31, 2007

Advanced Algebra and Geometry参考文献 8被引用 9

一句话总结

本文利用Weyl群的组合结构与Frobenius作用，建立了Lusztig的$G$-稳定分片在部分旗流形中的闭包关系。证明了$G$-稳定分片的划分构成一个分层结构，其闭包关系由先前工作中引入的$W^J$上的偏序关系所控制，并通过Frobenius自同态作用下Weyl群元素的支集来刻画这些分片的不可约性。

ABSTRACT

We will use the combinatorics of the $G$-stable pieces to describe the closure relation of the partition of partial flag varieties in \cite[section 4]{L3}.

研究动机与目标

• 描述Lusztig（1977）定义的部分旗流形中$G$-稳定分片的闭包关系。
• 证明该划分构成部分旗流形的一个分层结构。
• 通过Frobenius自同态作用下Weyl群元素的支集，刻画该划分中局部闭子簇的不可约性。
• 将Bruhat分解推广到涉及$F$-稳定抛物子群及其轨道的新设定中。

提出的方法

• 通过$\mathcal{T}(J,\delta)$中的序列使用$G$-稳定分片的组合结构，该序列通过迭代交集与Weyl群代表元的双射关系参数化$W^J$中的元素。
• 应用$W_J$在$W$上的作用，定义为$x \cdot y = \delta(x) y x^{-1}$，以定义等价类与最小长度代表元。
• 利用强$(J,\delta)$-共轭与循环移位的概念，关联在Frobenius自同态$\delta$作用下Weyl群中的元素。
• 利用$W^J$上的偏序$\leq_{J,\delta}$描述旗流形中$G$-稳定分片的闭包关系。
• 依赖于$\mathcal{P}_{J,w}$与$\mathcal{P}_{K,w}$之间的同构关系，其中$K = I(J,\delta;w)$，将不可约性问题约化为$w$-轨道的结构。
• 应用Deligne-Lusztig理论与Lusztig原始划分的结果，将$G$-稳定分片解释为涉及抛物子群中$F$-共轭类的商空间。

实验结果

研究问题

• RQ1 部分旗流形中$G$-稳定分片的闭包关系如何确定？
• RQ2 在何种条件下$G$-稳定分片$\mathcal{P}_{J,w}$是不可约的？
• RQ3 Frobenius自同态$\delta$如何作用于Weyl群以定义分层结构？
• RQ4 能否通过轨道分解将Bruhat分解推广到$F$-稳定的抛物子群？
• RQ5 支集$\operatorname{supp}_\delta(w)$在决定$\mathcal{P}_{J,w}$不可约性中起什么作用？

主要发现

• 一个$G$-稳定分片$\mathcal{P}_{J,w}$的闭包是所有满足$w'^{-1} \leq_{J,\delta} w^{-1}$的$\mathcal{P}_{J,w'}$的并集，由此通过偏序$\leq_{J,\delta}$建立了分层结构。
• $G$-稳定分片$\mathcal{P}_{J,w}$构成部分旗流形$\mathcal{P}_J$的一个有限、局部闭的划分，即为一个分层结构。
• 当$G$为拟单且$J \neq I$时，$\mathcal{P}_{J,w}$不可约当且仅当$\operatorname{supp}_\delta(w) = I$。
• 流形$\mathcal{P}_{J,w}$同构于$\mathcal{P}_{K,w}$，其中$K = I(J,\delta;w)$，从而将不可约性研究约化为$w$在$\delta$作用下稳定$K$的情形。
• $G$上由$R = \{(lu, lu')\}$定义的$R$-轨道是有限的，且由${}^J W$索引，若$T'$是$F$-稳定的，则每个轨道包含一个属于$N_G(T')$的元素。
• $G$-稳定分片$\mathcal{P}_{J,w}$同构于形如$\{g \in G : g^{-1}F(g) \in \dot{w}U_{P_K}\}/L_K^{\operatorname{Ad}(\dot{w}) \circ F}(U_{P_K} \cap {}^{\dot{w}}U_{P_K})$的商空间，将其与Deligne-Lusztig簇联系起来。