[论文解读] Hyperplane Arrangements and Diagonal Harmonics

Drew Armstrong|arXiv (Cornell University)|May 11, 2010

Advanced Combinatorial Mathematics参考文献 1被引用 4

一句话总结

本文通过类型 $A$ 的仿射 Weyl 群，提出了 $q,t$-Catalan 数与对角合运动的双加权 Hilbert 系列的新组合解释。通过 Shi 和 Ish 超平面排列，引入了仿射排列上的两个统计量——'面积'与'反弹'，证明其与 Haglund 和 Loehr 的原始统计量一致。其主要贡献在于构建了一个几何与代数框架，通过根格与仿射排列，将超平面排列与对角合运动联系起来。

ABSTRACT

In 2003, Haglund's {\sf bounce} statistic gave the first combinatorial interpretation of the $q,t$-Catalan numbers and the Hilbert series of diagonal harmonics. In this paper we propose a new combinatorial interpretation in terms of the affine Weyl group of type $A$. In particular, we define two statistics on affine permutations; one in terms of the Shi hyperplane arrangement, and one in terms of a new arrangement - which we call the Ish arrangement. We prove that our statistics are equivalent to the {\sf area'} and {\sf bounce} statistics of Haglund and Loehr. In this setting, we observe that {\sf bounce} is naturally expressed as a statistic on the root lattice. We extend our statistics in two directions: to "extended" Shi arrangements and to the bounded chambers of these arrangements. This leads to a (conjectural) combinatorial interpretation for all integral powers of the Bergeron-Garsia nabla operator applied to the elementary symmetric functions.

研究动机与目标

• 通过仿射 Weyl 群结构，为 $q,t$-Catalan 数与对角合运动的 Hilbert 系列提供新的组合解释。
• 在由 Shi 与 Ish 超平面排列导出的仿射排列上，定义并分析两个统计量——'面积'与'反弹'。
• 建立反弹统计量与根格之间的联系，为 $q,t$-Catalan 生成函数提供几何解释。
• 将这些统计量推广至扩展的 Shi 排列与有界胞腔，对 Bergeron-Garsia nabla 算子的更高次幂提出一个猜想性的组合解释。
• 为将这些结果推广至类型 $A$ 之外，特别是在其他 Weyl 群与复数类型中（目前尚无此类组合解释）奠定基础。

提出的方法

• 在 $×_{0}^{n}$ 中定义 Ish 排列为 Shi 排列的对偶超平面排列，使用超平面 $e_i - e_j = 1$（$i < j$），并证明其将空间划分为墙。
• 将仿射排列上的 'ish' 统计量定义为：从基本墙移动到目标墙时，穿越的 Ish 排列中超平面数量的逆。
• 将仿射排列上的 'shi' 统计量定义为：在相同路径中穿越的 Shi 排列中超平面的数量，并证明其与 Haglund 的反弹统计量一致。
• 证明 '面积' 统计量（定义为仿射排列坐标的和）对应于 $q,t$-Catalan 展开中的标准面积统计量。
• 利用仿射 Weyl 群 $χτ(n)$ 在墙上的作用，实现对墙的单传递作用，从而在仿射排列与排列中的胞腔之间建立双射。
• 证明生成函数 $F(p,n;q,t) = \sum_{A \subseteq D^p(n)} q^{\text{ish}^{-1}(A)} t^{(p-1)(n-1)/2 - \text{stat}(A)}$ 满足对称性与特殊化性质，包括 $F(p,n;q,1/q) = [p]_q^{n-1}$ 与 $F_+(p,n;q,t) = \frac{1}{[p+n]_q} \binom{p+n}{n}_q$。

实验结果

研究问题

• RQ1 能否通过类型 $A$ 的仿射 Weyl 群与超平面排列，对 $q,t$-Catalan 数进行组合解释？
• RQ2 反弹统计量是否能通过 Ish 排列自然地表达为根格上的统计量？
• RQ3 能否在仿射排列上定义 '面积' 与 '反弹' 统计量，使其恢复 Haglund 与 Loehr 的原始统计量？
• RQ4 'shi' 统计量在高维单纯形 $D^p(n)$ 上的推广为何，特别是当 $p=2$，$n=5$ 时？
• RQ5 该框架能否推广至类型 $A$ 之外，特别是在有理 Cherednik 代数与 nabla 算子的背景下？

主要发现

• 通过 Ish 排列定义的仿射排列上的 'ish' 统计量，与 Haglund 的 $q,t$-Catalan 公式中的面积统计量一致。
• 通过 Shi 排列定义的仿射排列上的 'shi' 统计量，等价于原始 $q,t$-Catalan 数组合解释中的反弹统计量。
• 反弹统计量自然地表达为根格上的函数，为对角合运动 Hilbert 系列中 $t$-度提供了几何解释。
• 对于单纯形 $D^2(5)$，所有 16 个墙的 'ish' 统计量生成函数为 $10 + 5q + q^2$，而逆在主导锥内的 3 个墙的生成函数为 $1 + q + q^2$，支持了猜想的对称性。
• 生成函数 $F(p,n;q,t)$ 满足 $F(p,n;q,t) = F(p,n;t,q)$ 与 $q^{(p-1)(n-1)/2}F(p,n;q,1/q) = [p]_q^{n-1}$，确认了 $q,t$-Catalan 数的关键性质。
• 本文猜想，生成函数 $F(p,n;q,t)$ 一般化了 $q,t$-Catalan 数，适用于 Bergeron-Garsia nabla 算子对初等对称函数作用的所有整数次幂。