[論文レビュー] 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)$ と、$NC(W)$（非交叉分割の集合）上での $h$ 階の正則元 $c$ の作用を結びつけること。
• 有理的Cherednik代数とSpringerの正則元理論を用いた、CSPを理解する概念的枠組みを提供すること。

提案手法

• $c$ を $h$ 階の正則元とするとき、$NC(W)$ を $\ell_R(w) + \ell_R(w^{-1}c) = n$ を満たす群元 $w \in W$ の集合として定義する。
• $[n]_q = \frac{q^n - 1}{q - 1}$ を用いて、$\mathrm{Cat}(W,q) = \prod_{i=1}^n \frac{[h + d_i]_q}{[d_i]_q}$ を生成関数として用いる。
• 巡回的シービング現象の定義を適用する：$c^i \in \langle c \rangle \cong \mathbb{Z}/h\mathbb{Z}$ に対して、$|X^{c^i}| = [\mathrm{Cat}(W,q)]_{q=\zeta_h^i}$ を検証する。
• 整列可能性と絶対長さ関数に依存する構造的補題と包含関係の分析を通じて、結果を証明する。
• 整列可能群における正則元の存在とSpringerの正則元理論を活用する。
• 型 $A$ における既知のCSPと関連づけ、アントイチェーンやクラスタ複体への一般化について考察する。

実験結果

リサーチクエスチョン

• RQ1 整列可能複素反射群において、$W$-q-Catalan多項式 $\mathrm{Cat}(W,q)$ は、正則元 $c$ が非交叉分割の集合 $NC(W)$ に作用する巡回的作用による固定点を数えるか？
• RQ2 巡回的シービング現象は、型 $A$ からすべての整列可能複素反射群へ拡張可能か？
• RQ3 有理的Cherednik代数やSpringer理論の観点から、CSPのより深い代数的・幾何的説明は存在するか？
• RQ4 $m$-Fuss-Catalan対象やアントイチェーン、クラスタなど、$W$-Catalanの組合せ的モデルへのCSPの一般化は可能か？

主な発見

• 三つ組 $(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$ を含むすべての整列可能複素反射群に成立する。特に、$h=4$ の位数4の元 $\phi$ に対して、$|NC^{1}(W)^\phi| = 88 = \mathrm{Cat}^{1}(W,\zeta_4)$ が成り立つ。
• 著者らは、Panyushevのアントイチェーンへの巡回的作用（$C = \mathbb{Z}/2h\mathbb{Z}$）へのCSPの拡張が成り立つと予想している。
• クラスタ複体に対しても、$C$ の位数が $mh+2$ である場合にCSPが成り立つと予想している。
• $m$-Fuss-Catalan版のCSPは、$NC^m(W)$ と位数 $(m+1)h$ の巡回群に対して、$m=1$ の場合にWhiteによって確認された事例を一般化して、予想されている。