[论文解读] A note on Bruhat order and double coset representatives

Christophe Hohlweg, Mark Skandera|ArXiv.org|Nov 24, 2005

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

一句话总结

本文建立了最小双陪集代表元上的Bruhat序与抛物子群中其最大代表元上的Bruhat序之间的基本等价性。证明了对于任意 $I,J\subset S$，$u \leq v$ 在 $X_{IJ}$ 中当且仅当 $u^{\text{max}} \leq v^{\text{max}}$，为研究 $\mathcal{O}(SL_n\mathbb{C})$ 中的典范基提供了关键工具，并在对称群情形下给出了比较的组合矩阵准则。

ABSTRACT

Let $W$ be a finite coxeter group, let $W_I$, $W_J$ be standard parabolic subgroups, let $u$, $v$ be minimal double cosets representatives of double cosets in $W_I W / W_J$ and let $u'$, $v'$ be the maximal representatives of those same two cosets. We show that $u < v$ if and only if $u' < v'$ for the Bruhat order.

研究动机与目标

• 建立最小双陪集代表元上的Bruhat序与抛物子群中其最大代表元上的Bruhat序之间的精确对应关系。
• 通过证明 $u \leq v$ 在 $X_{IJ}$ 中当且仅当 $u^{\text{max}} \leq v^{\text{max}}$ 来弥合文献中的空白，尽管该事实因重要性而被长期忽视。
• 通过从置换矩阵及其累积和导出的矩阵不等式，为比较 $X_{IJ}$ 中的元素提供组合准则。
• 将结果应用于 $\mathcal{O}(SL_n\mathbb{C})$ 的对偶典范基的研究，该研究在后续工作中被使用。

提出的方法

• 使用抛物分解 $w = w^I w_I$，其中 $w^I \in W^I$，$w_I \in W_I$，并利用长度可加性 $\ell(w) = \ell(w^I) + \ell(w_I)$。
• 应用Deodhar引理由控制在抛物分量中乘以单个反射时元素的行为。
• 使用Bruhat序的提升性质：若 $w < sw$ 且 $sg < g$，则 $w \leq g$ 当且仅当 $sw \leq g$ 当且仅当 $w \leq sg$。
• 利用最大元公式 $b^{\text{max}} = w_{0,I}^{I \cap bJb^{-1}} b w_{0,J}$（$b \in X_{IJ}$），该公式源自Coxeter群理论的标准结果。
• 引入矩阵 $D^{I,J}(w)$，即计数 $w$-像在 $J$-块内 $I$-块中条目数的块矩阵 $M^{I,J}(w)$ 的累积和。
• 应用映射 $w \mapsto w^{-1}$ 及 $W^I$ 的性质，通过抛物分量将 $u^{\text{max}} \leq v^{\text{max}}$ 与 $u \leq v$ 联系起来。

实验结果

研究问题

• RQ1 最小双陪集代表元 $X_{IJ}$ 上的Bruhat序是否与它们的最大代表元 $u^{\text{max}}$ 上的Bruhat序相对应？
• RQ2 能否通过置换的块结构将 $X_{IJ}$ 中元素的比较简化为组合矩阵不等式？
• RQ3 对于所有 $u,v \in X_{IJ}$，条件 $u \leq v$ 是否等价于 $u^{\text{max}} \leq v^{\text{max}}$？若是，原因是什么？
• RQ4 如何利用 $W_{I}bW_{J}$ 及其最大元的结构来推导 $X_{IJ}$ 的序理论性质？
• RQ5 在对称群中，$u \leq v$ 的精确组合准则如何用累积块矩阵 $D^{I,J}(w)$ 表示？

主要发现

• 本文证明了 $u \leq v$ 在 $X_{IJ}$ 中当且仅当 $u^{\text{max}} \leq v^{\text{max}}$，建立了最小代表元与最大代表元之间深刻的序理论对应关系。
• 在对称群 $S_n$ 中，Bruhat序 $u \leq v$ 成立当且仅当矩阵 $D^{I,J}(u)$ 分量式地支配 $D^{I,J}(v)$。
• 双陪集 $W_I b W_J$ 的最大元 $b^{\text{max}}$ 明确给出为 $b^{\text{max}} = w_{0,I}^{I \cap bJb^{-1}} b w_{0,J}$，以简洁证明确认了已知公式。
• 矩阵 $D^{I,J}(w)$ 等于标准 $D(w)$ 矩阵的 $(\overline{I}, \overline{J})$-子矩阵，将双陪集结构与经典的Bruhat矩阵准则联系起来。
• 证明依赖于长度的归纳法和提升性质，Deodhar引理由用于控制反射作用下抛物分量的行为。
• 在 $W = S_7$，$I = \{s_1,s_2,s_4,s_6\}$，$J = \{s_1,s_3,s_4,s_5\}$，$u = 1342567$，$v = 3471526$ 的例子中，矩阵比较确认了 $u \leq v$ 和 $u^{\text{max}} \leq v^{\text{max}}$。