[论文解读] Cyclic sieving of noncrossing partitions for complex reflection groups

David Bessis, Victor Reiner|arXiv (Cornell University)|Jan 27, 2007

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

一句话总结

本文在良好生成的复反射群中建立了非交叉划分的循环筛分现象（CSP），证明了 $W$-q-Catalan 多项式 $\mathrm{Cat}(W,q)$ 对应于阶为 $h$ 的正则元素 $c$ 在集合 $NC(W)$ 上作用下的不动点计数，推广了对称群情形下的已知 CSP。关键结果表明 $|X^{c^i}| = [\mathrm{Cat}(W,q)]_{q=\zeta_h^i}$，通过有理 Cherednik 代数将代数组合学与表示理论联系起来。

ABSTRACT

We prove an instance of the cyclic sieving phenomenon, occurring in the context of noncrossing parititions for well-generated complex reflection groups.

研究动机与目标

• 在良好生成的复反射群中建立非交叉划分的循环筛分现象（CSP）。
• 将对称群（类型 $A_{n-1}$）的已知 CSP 推广至任意良好生成的复反射群。
• 将 $W$-q-Catalan 数 $\mathrm{Cat}(W,q)$ 与阶为 $h$ 的正则元素 $c$ 在 $NC(W)$（非交叉划分的集合）上的作用联系起来。
• 通过有理 Cherednik 代数与 Springer 的正则元素理论，为理解 CSP 提供一个概念性框架。

提出的方法

• 将 $NC(W)$ 定义为满足 $\ell_R(w) + \ell_R(w^{-1}c) = n$ 的群元素 $w \in W$ 的集合，其中 $c$ 是阶为 $h$ 的正则元素。
• 使用 $W$-q-Catalan 多项式 $\mathrm{Cat}(W,q) = \prod_{i=1}^n \frac{[h + d_i]_q}{[d_i]_q}$ 作为生成函数，其中 $[n]_q = \frac{q^n - 1}{q - 1}$。
• 应用循环筛分现象的定义：对于 $c^i \in \langle c \rangle \cong \mathbb{Z}/h\mathbb{Z}$，验证 $|X^{c^i}| = [\mathrm{Cat}(W,q)]_{q=\zeta_h^i}$。
• 通过结构引理与包含关系的仔细分析证明结果，依赖于良好生成性与绝对长度函数。
• 利用 Springer 的正则元素理论，以及良好生成群中存在阶为 $h$ 的正则元素的事实。
• 将结果与类型 $A$ 中的已知 CSP 联系起来，并推测其在反链与丛 complexes 上的推广。

实验结果

研究问题

• RQ1 对于良好生成的复反射群，$W$-q-Catalan 多项式 $\mathrm{Cat}(W,q)$ 是否枚举了正则元素 $c$ 在非交叉划分集合 $NC(W)$ 上的循环作用下的不动点？
• RQ2 循环筛分现象能否从类型 $A$ 推广至所有良好生成的复反射群？
• RQ3 是否存在关于有理 Cherednik 代数或 Springer 理论的更深层次代数或几何解释，以说明该 CSP？
• RQ4 CSP 能否推广至 $m$-Fuss-Catalan 对象及其他 $W$-Catalan 组合模型（如反链或丛）？

主要发现

• 三元组 $(NC(W), \mathrm{Cat}(W,q), \langle c \rangle)$ 展现出循环筛分现象，对所有 $i$ 满足 $|X^{c^i}| = [\mathrm{Cat}(W,q)]_{q=\zeta_h^i}$。
• 证明依赖于一个结构引理，以及对绝对长度函数 $\ell_R$ 和正则元素 $c$ 的共轭作用的细致分析。
• 当 $W = \mathfrak{S}_n$（类型 $A_{n-1}$）时，该结果恢复了关于非交叉划分在循环旋转下的已知 CSP。
• 该结果对所有良好生成的复反射群均成立，包括 $E_8$，其中 $|NC^{1}(W)^\phi| = 88 = \mathrm{Cat}^{1}(W,\zeta_4)$，对应阶为 4 的元素 $\phi$。
• 作者猜想 CSP 可推广至 Panyushev 在正根反链上的循环作用，此时 $C = \mathbb{Z}/2h\mathbb{Z}$，并推广至丛复形，此时 $C$ 的阶为 $mh+2$。
• 对于 $NC^m(W)$，猜想存在 $m$-Fuss-Catalan 版本的 CSP，循环群阶为 $(m+1)h$，推广了 $m=1$ 时 White 已验证的情形。