[论文解读] Catalan numbers for complex reflection groups

Iain J. Gordon, Stephen Griffeth|ArXiv.org|Dec 8, 2009

Advanced Algebra and Geometry被引用 4

一句话总结

该论文通过有理 Cherednik 代数与 Knizhnik-Zamolodchikov 连接，为所有不可约复反射群构造了 $(q,t)$-Catalan 多项式与 $q$-Fuss-Catalan 多项式。关键结果是这些多项式属于 $\mathbb{N}[q]$，并推广了经典 Catalan 数，其显式公式由表示理论数据（如虚假次数与不可约表示上的置换 $\Psi$）导出。

ABSTRACT

We construct (q,t)-Catalan polynomials and q-Fuss-Catalan polynomials for any irreducible complex reflection group W. The two main ingredients in this construction are Rouquier's formulation of shift functors for the rational Cherednik algebras of W, and Opdam's analysis of permutations of the irreducible representations of W arising from the Knizhnik-Zamolodchikov connection.

研究动机与目标

• 将经典 Catalan 数推广至所有不可约复反射群，扩展为 $q$-Fuss-Catalan 与 $(q,t)$-Catalan 多项式。
• 证明这些多项式属于 $\mathbb{N}[q]$，确保其整数性与组合意义。
• 利用有理 Cherednik 代数的表示理论与 KZ 连接产生的置换 $\Psi$，在所有复反射群上统一构造这些多项式。
• 验证这些多项式在良生成情形下的循环筛分与 Galois 拓展猜想。
• 给出以次数、指数及 $\Psi$ 在不可约表示上的作用表示的 $q$-Fuss-Catalan 数的显式公式。

提出的方法

• 利用 Rouquier 对有理 Cherednik 代数的平移函子的表述，通过不可约表示的分次特征定义 $(q,t)$-Catalan 多项式。
• 利用 Opdam 对 KZ 连接产生的 $\textsf{Irrep}(W)$ 上置换 $\Psi$ 的分析，通过虚假次数与对偶性定义广义 Catalan 数。
• 将 $q$-Fuss-Catalan 多项式构造为 $C_W^{(m)}(q) = \prod_{i=1}^n \frac{[mh+1+e_i(\Psi^m(V^*)^*)]_q}{[d_i]_q}$，其中 $d_i$ 为基本不变量的次数，$e_i$ 为指数。
• 证明 $C_W^{(m)}(q)$ 是一个齐次参数系 $\Theta$（度数为 $mh+1$，携带 $\Psi^m(V^*)$）的 $(P/\Theta)^W$ 的 Hilbert 级数。
• 证明 $C_W^{(1)}(q)$ 是球面 Cherednik 代数中不可约表示 $eL_{1+1/h}(\text{triv})$ 的分次特征。
• 应用 Galois 拓展，将结果推广至参数 $p/h$（$p$ 与 $h$ 互素）的情形，利用 $\mathbb{C}$ 的自同构与置换 $\Psi$。

实验结果

研究问题

• RQ1 是否可以为所有不可约复反射群（而不仅良生成群）定义 $q$-Fuss-Catalan 数？
• RQ2 对于任意不可约复反射群 $W$，$q$-Fuss-Catalan 多项式 $C_W^{(m)}(q)$ 是否恒属于 $\mathbb{N}[q]$？
• RQ3 不可约表示上的置换 $\Psi$ 如何与虚假次数的对偶性与对称性相关联？
• RQ4 是否能利用有理 Cherednik 代数的表示理论，统一构造所有 $W$ 的 $(q,t)$-Catalan 多项式？
• RQ5 广义 Catalan 数是否表现出循环筛分现象？在何种条件下成立？

主要发现

• 在假设 2.4 下，证明了所有不可约复反射群的 $q$-Fuss-Catalan 多项式 $C_W^{(m)}(q)$ 属于 $\mathbb{N}[q]$。
• 对于良生成群，公式简化为 $C_W^{(m)}(q) = \prod_{i=1}^n \frac{[mh + d_i]_q}{[d_i]_q}$，与文献中标准定义一致。
• $q$-Fuss-Catalan 数 $C_W^{(m)}(q)$ 是 $(P/\Theta)^W$ 的 Hilbert 级数，其中 $\Theta$ 是一个度数为 $mh+1$ 且携带 $\Psi^m(V^*)$ 的参数系。
• $(q,t)$-Catalan 多项式被实现为球面 Cherednik 代数中不可约表示 $eL_{1+1/h}(\text{triv})$ 的分次特征。
• 该构造证实了 [2, 猜想 4.3(i)] 在良生成群的情形，并推广至参数 $p/h$（$p$ 与 $h$ 互素）的 Galois 拓展。
• 确认了循环筛分：对所有 $m$ 与 $t$，$C_W^{(m)}(\zeta^t)$ 是正整数，其中 $\zeta$ 是 $W$ 的正则数 $d$ 阶单位根。