[论文解读] On the Canonical Representatives of a Finite Weyl Group

Sean Rostami|arXiv (Cornell University)|May 27, 2015

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

一句话总结

本文利用根系数据和长度函数，推导出有限 Weyl 群中典范代表元无法构成群同态的精确公式。推导出涉及正根与余根的精确上同调公式，并将其应用于 p-进群中简单超临界表示的构造与分析。

ABSTRACT

Let K be a field and G a split connected reductive affine algebraic K-group. Let T be a split maximal torus of G, W its finite Weyl group, and R its root system. After fixing a realization of R in G and choosing a simple system for R, one gets a system of representatives for W in G(K), called the Canonical Representatives. It is well-known that these representatives rarely form a subgroup, and it is necessary for some questions to understand and quantify this failure. Various new formulas are given which constitute progress in this direction. An application of such formulas to the simple supercuspidals of Gross-Reeder and Reeder-Yu is provided.

研究动机与目标

• 理解并量化典范截面 $\mathcal{N}_{\circ}: W_{\circ} \to N_G(T)(K)$ 不构成群同态的失败原因。
• 利用根系数据和长度函数，提供 $\mathcal{N}_{\circ}$ 不构成同态的障碍的显式公式。
• 将这些公式应用于 p-进群中简单超临界表示的构造与分析。
• 通过典范代表元和扩展仿射 Weyl 群中的扭元素，刻画简单超临界表示的诱导子群结构。
• 证明固定点群 $\operatorname{Fix}_{G_{\mathfrak{b}}}(\lambda)$ 的最大紧开子群为 $\mathcal{S}(\Omega_{\text{tor}}) \cdot Z_c \cdot \mathcal{U}$。

提出的方法

• 通过根系 $\Phi$ 的基于实现和单系统 $\Delta$ 的选择，定义典范代表元 $\mathcal{N}_{\circ}(w)$。
• 利用两个关键性质：对单反射 $s$，有 $\mathcal{N}_{\circ}(s)^2 = \alpha^\vee(-1)$；当 $\ell(uv) = \ell(u) + \ell(v)$ 时，有 $\mathcal{N}_{\circ}(uv) = \mathcal{N}_{\circ}(u)\mathcal{N}_{\circ}(v)$。
• 推导上同调公式：$\mathcal{N}_{\circ}(u)\mathcal{N}_{\circ}(v) = \mathcal{N}_{\circ}(uv) \cdot \prod_{b \in \mathcal{F}(u,v)} b^\vee(-1)$，其中 $\mathcal{F}(u,v)$ 是满足 $v(b) \in -\Pi$ 且 $u(v(b)) \in \Pi$ 的正根 $b$ 的集合。
• 用高度函数表示对角障碍 $\mathcal{F}(w,w)$：$\sum_{b \in \mathcal{L}(w)} \langle a, b^\vee \rangle = \operatorname{Ht}(a) - \operatorname{Ht}(w(a))$。
• 当 $|w| \geq 3$ 时，推导出涉及 Coxeter 数 $h$ 和投影映射纤维大小 $n$ 的公式：$h \cdot \sum_{b \in \mathcal{F}(w,w)} \langle a, b^\vee \rangle = n \cdot (\operatorname{Ht}(a) - 2\operatorname{Ht}(w(a)) + \operatorname{Ht}(w^2(a)))$。
• 将这些公式应用于简单超临界表示的构造，通过分析固定点群 $\operatorname{Fix}_{G_{\mathfrak{b}}}(\lambda)$ 并识别其最大紧开子群。

实验结果

研究问题

• RQ1 典范截面 $\mathcal{N}_{\circ}$ 不构成群同态的精确障碍是什么？
• RQ2 如何利用根系数据量化 $\mathcal{N}_{\circ}$ 不构成同态的失败？
• RQ3 简单超临界表示的诱导子群 $\operatorname{Fix}_{G_{\mathfrak{b}}}(\lambda)$ 的最大紧开子群的结构是什么？
• RQ4 在 p-进群的背景下，典范代表元如何与中心 $Z(G)$ 和幂零子群 $\mathcal{U}$ 相互作用？
• RQ5 当 $|w| \geq 3$ 时，对角障碍 $\mathcal{F}(w,w)$ 能否用高度函数和 Coxeter 数据表示？

主要发现

• $\mathcal{N}_{\circ}$ 不构成同态的障碍由集合 $\mathcal{F}(u,v) = \{ b \in \Pi \mid v(b) \in -\Pi, u(v(b)) \in \Pi \}$ 捕获，且满足 $\mathcal{N}_{\circ}(u)\mathcal{N}_{\circ}(v) = \mathcal{N}_{\circ}(uv) \cdot \prod_{b \in \mathcal{F}(u,v)} b^\vee(-1)$。
• 障碍对根子群 $U_a$ 的作用为乘以标量 $(-1)^{F_{u,v}(a)}$，其中 $F_{u,v}(a) = \sum_{b \in \mathcal{F}(u,v)} \langle a, b^\vee \rangle$。
• 对 $w \in W_{\circ}$，对角障碍满足 $\sum_{b \in \mathcal{L}(w)} \langle a, b^\vee \rangle = \operatorname{Ht}(a) - \operatorname{Ht}(w(a))$，这与高度函数和 $\hat{\rho} = \frac{1}{2} \sum_{b \in \Pi} b^\vee$ 相关联。
• 当 $|w| \geq 3$ 且 $w \in \operatorname{pr}_{\circ}(\Omega)$ 时，公式 $h \cdot \sum_{b \in \mathcal{F}(w,w)} \langle a, b^\vee \rangle = n \cdot (\operatorname{Ht}(a) - 2\operatorname{Ht}(w(a)) + \operatorname{Ht}(w^2(a)))$ 成立，其中 $h$ 为 Coxeter 数，$n$ 为纤维大小。
• $\operatorname{Fix}_{G_{\mathfrak{b}}}(\lambda)$ 的最大紧开子群为 $\mathcal{S}(\Omega_{\text{tor}}) \cdot Z_c \cdot \mathcal{U}$，其中 $\Omega_{\text{tor}}$ 是基本单形稳定化子的扭子群。
• 子群 $\mathcal{S}(\Omega_{\text{tor}}) \cdot Z_c \cdot \mathcal{U}$ 既是开的，也是模中心紧的，并且是 $\operatorname{Fix}_{G_{\mathfrak{b}}}(\lambda)$ 的唯一极大紧开子群。