[论文解读] On involutions in Weyl groups

Jun Hu, Jing Zhang|arXiv (Cornell University)|Sep 27, 2016

Advanced Combinatorial Mathematics参考文献 15被引用 11

一句话总结

该论文确立了一组有限的基本辫子 $I_{\bullet}$-变换，这些变换连接了威尔群类型 $B_n$ 和 $D_n$ 中所有约化的 $I_{\bullet}$-表达式，推广了关于扭曲对合的马茨穆托定理。该研究将这些变换识别为标准辫子关系加上自然的“右端变换”，以及一个在类型 $B_n$ 和 $D_n$ 中独有的新关系，证明了任意两个给定对合的约化表达式均可通过这些变换连接。

ABSTRACT

Let $(W,S)$ be a Coxeter system and $\ast$ be an automorphism of $W$ with order $\leq 2$ such that $s^{\ast}\in S$ for any $s\in S$. Let $I_{\ast}$ be the set of twisted involutions relative to $\ast$ in $W$. In this paper we consider the case when $\ast= ext{id}$ and study the braid $I_\ast$-transformations between the reduced $I_\ast$-expressions of involutions. If $W$ is the Weyl group of type $B_n$ or $D_n$, we explicitly describe a finite set of basic braid $I_\ast$-transformations for all $n$ simultaneously, and show that any two reduced $I_\ast$-expressions for a given involution can be transformed into each other through a series of basic braid $I_\ast$-transformations. In both cases, these basic braid $I_\ast$-transformations consist of the usual basic braid transformations plus some natural "right end transformations" and plus exactly one extra transformation. The main result generalizes our previous work for the Weyl group of type $A_{n}$.

研究动机与目标

• 将关于约化表达式之间辫子关系的马茨穆托定理推广到威爾群中对合的设定。
• 识别出一组有限且统一的基本变换，这些变换保持并生成 $B_n$ 和 $D_n$ 中对合的约化 $I_{\bullet}$-表达式的集合。
• 通过识别出一种在类型 $A_n$ 中不存在的新非标准关系，解决了该变换系统的非平凡性，该关系在 $B_n$ 和 $D_n$ 中的连通性中至关重要。
• 为将关于对合词的组合结果（如 Can、Joyce 和 Wyser 的工作）从类型 $A_n$ 扩展到 $B_n$ 和 $D_n$ 提供基础。

提出的方法

• 使用一个非结合运算 $\ltimes$ 定义 $I_{\bullet}$-表达式，该运算在恒等自同态下尊重对合条件 $w = w^{-1}$。
• 将 $I_{\bullet}$-变换定义为约化 $I_{\bullet}$-表达式之间的移动，推广标准辫子关系。
• 显式构造 $B_n$ 和 $D_n$ 的基本 $I_{\bullet}$-变换集合，包括标准辫子移动、“右端变换”以及一个额外的唯一关系。
• 通过归纳法和陪集分析，证明任意两个给定对合的约化 $I_{\bullet}$-表达式均可通过这些基本变换的序列连接。
• 利用 Hecke 代数和 Lusztig 猜想的结果，验证该变换系统在模同态和标准基元素背景下的有效性。
• 通过在 $D_4$ 中的显式计算，验证新变换的必要性，表明若缺少该关系，表达式图中将出现不连通的分量。

实验结果

研究问题

• RQ1 是否可以使用一组有限且统一的变换，将威爾群中某个对合的所有约化 $I_{\bullet}$-表达式连接起来？
• RQ2 在 $B_n$ 和 $D_n$ 类型中，除了标准辫子关系和右端变换外，还需要哪些额外关系才能连接所有约化 $I_{\bullet}$-表达式？
• RQ3 在 $A_n$ 类型与 $B_n$ 和 $D_n$ 类型之间，变换系统是否存在结构性差异，特别是是否存在一种新的非标准关系？
• RQ4 在 $B_n$ 和 $D_n$ 中的新变换如何与 Hecke 代数的表示理论以及 Lusztig 猜想相关联？
• RQ5 该变换系统能否被推广到所有有限考辛群，并以统一的方式描述？

主要发现

• 对于类型 $B_n$ 和 $D_n$ 的威爾群，给定对合的所有约化 $I_{\bullet}$-表达式均可通过一组有限的基本辫子 $I_{\bullet}$-变换连接。
• 基本变换包括标准辫子关系、自然的“右端变换”，以及一个无法由其他关系推导出的额外关系，该关系对连通性至关重要。
• 该额外关系仅存在于 $B_n$ 和 $D_n$ 类型中，且在 $A_n$ 情况下不存在，表明其相对于先前工作的非平凡推广。
• 该变换系统是极小的，即若移除该额外关系，约化表达式图将不再连通。
• 该结果证实了一个猜想：对于所有有限考辛群及阶数不超过 2 的自同态，此类有限且统一的变换系统存在。
• 在 $D_4$ 中的显式验证表明，该新变换在连通性上既必要又充分，通过 Hecke 代数模计算得以证实。