[论文解读] A Little bijection for affine Stanley symmetric functions

Thomas Lam, Mark Shimozono|ArXiv.org|Jan 19, 2006

Advanced Combinatorial Mathematics参考文献 6被引用 3

一句话总结

本文将 Little 的组合双射推广至仿射情形，引入了仿射 Little 双射，该双射在仿射置换的约化字上定义了一个符号反转对合。关键贡献是提出了 Little 恒等式的仿射类比，证明了在右 $ r $-覆盖上的仿射 Stanley 对称函数之和等于在左 $ r $-覆盖上的和，从而为仿射情形下的 Lascoux-Schützenberger 树提供了组合基础。

ABSTRACT

David Little developed a combinatorial algorithm to study the Schur-positivity of Stanley symmetric functions and the Lascoux-Schützenberger tree. We generalize this algorithm to affine Stanley symmetric functions.

研究动机与目标

• 将 Little 在有限对称群上的组合双射扩展至仿射对称群，特别是针对仿射 Stanley 对称函数。
• 在仿射置换的强序中，建立 Little 恒等式的仿射类比，关联右覆盖与左覆盖的和。
• 为理解仿射 Stanley 对称函数的结构提供组合框架，类似于有限情形下的 Lascoux-Schützenberger 树。
• 探索仿射 Little 双射与仿射 Chevalley 公式之间的联系，尽管此处未完全证明仿射 Schur 函数的正性。

提出的方法

• 通过仿射对称群 $\tilde{S}_n$ 中的约化字，将基于插入的 Little 双射推广至仿射情形。
• 通过与满足 $ r < s $ 或 $ s < r $ 的对换 $ t_{r,s} $ 相乘，定义置换 $ v $ 的右 $ r $-覆盖与左 $ r $-覆盖。
• 在约化字上构造一个符号反转对合，交换右 $ r $-覆盖与左 $ r $-覆盖，同时保持仿射 Stanley 对称函数之和不变。
• 利用循环递减字的结构及其在最大循环区间上的分解，定义仿射置换的规范约化字。
• 应用关于长度减少和反射分解的组合引理，证明非约化乘积中临界反射对的存在性与唯一性。
• 依赖 $\tilde{S}_n$ 中的强 Bruhat 序与反射关系，定义覆盖关系，并确保双射尊重偏序集结构。

实验结果

研究问题

• RQ1 能否将 Little 在有限对称群上的双射扩展至仿射对称群 $\tilde{S}_n$？
• RQ2 是否存在 Little 恒等式的仿射类比，使得右 $ r $-覆盖与左 $ r $-覆盖上仿射 Stanley 对称函数之和相等？
• RQ3 仿射 Little 双射如何与仿射 Chevalley 公式及仿射 Grassmannian 上同调的几何结构相关联？
• RQ4 该双射能否用于证明仿射 Stanley 对称函数在仿射 Schur 基下的 Schur-正性？
• RQ5 循环递减约化字在构造仿射置换的规范代表元中起什么作用？

主要发现

• 构造了仿射 Little 双射，即作为约化字上的符号反转对合，交换给定仿射置换的右 $ r $-覆盖与左 $ r $-覆盖。
• 证明了 Little 恒等式的仿射类比：$\sum_{w \in \Psi^{+}_r(v)} \tilde{F}_w = \sum_{w \in \Psi^{-}_r(v)} \tilde{F}_w $，对所有 $ v \in \tilde{S}_n $ 和 $ r \in \mathbb{Z}/n\mathbb{Z} $ 成立。
• 双射被证明与仿射 Chevalley 公式密切相关，暗示其与仿射 Grassmannian 几何之间存在更深层次的联系。
• 循环递减元素的规范约化字被表征为最大循环区间中字的交错组合，且此类元素的所有约化字均为循环递减。
• 确立了循环递减元素的约化字唯一性：$ w(A) $ 的每个约化字均为循环递减，且其基础集合为 $ A $。
• 本文证明了 $ \ell(xy) < \ell(x) + \ell(y) $ 当且仅当存在一个反射 $ t $，使得 $ xt < x $ 且 $ ty < y $，该结论用于刻画反射乘积的非约化性。