[論文レビュー] Hyperplane Arrangements and Diagonal Harmonics

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

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

ひとこと要約

この論文は、型$A$のアフィンワイル群を用いて、$q,t$-Catalan数および対角調和の双次数付きヒルベルト系列の新しい組合せ的解釈を提案する。シュイとイシュの超平面配置を介して、アフィン置換上の二つの統計量—「面積」および「バウンス」—を定義し、それらがハグランドとローラーの元々の統計量と一致することを証明する。主な貢献は、根格子とアフィン置換を通じて、超平面配置と対角調和の間に幾何的・代数的枠組みを確立することにある。

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.

研究の動機と目的

• アフィンワイル群の構造を用いて、$q,t$-Catalan数および対角調和のヒルベルト系列の新しい組合せ的解釈を提供すること。
• シュイとイシュの超平面配置から生じるアフィン置換上の二つの統計量—「面積」と「バウンス」—を定義し、それらを分析すること。
• バウンス統計量と根格子との間の関係を確立し、対角調和の生成関数における$t$-次数の幾何的解釈を提供すること。
• これらの統計量を拡張されたシュイ配置および有界な部屋にまで拡張し、高次のベルジェロ-ガルシア・ナブラー作用素のべき乗に対する推測的解釈を提示すること。
• 型$A$を超えた一般化の基盤を築くこと、特に現在組合せ的解釈が存在しない他のワイル群や複素型において。

提案手法

• 超平面$e_i - e_j = 1$（$i < j$）を用いて、$×_{0}^{n}$におけるシュイ配置の双対として、新しい超平面配置としてイシュ配置を定義し、それが空間をアロケーブに分割することを示す。
• アフィン置換上の「いっし」統計量を、基本アロケーブから特定のアロケーブに移動する際、イシュ配置の超平面を何本通るかの逆数として定義する。
• アフィン置換上の「し」統計量を、同じ経路でシュイ配置の超平面を何本通るかとして定義し、これがハグランドのバウンス統計量と一致することを証明する。
• アフィン置換の座標の和として定義される「面積」統計量が、$q,t$-Catalan展開における標準的な面積統計量に対応することを確立する。
• アフィンワイル群$χτ(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$を用いて、超平面配置を通じて$q,t$-Catalan数を組合せ的に解釈できるか？
• RQ2 バウンス統計量は、イシュ配置を通じて根格子上の統計量として自然に表現できるか？
• RQ3 アフィン置換上の統計量「面積」と「バウンス」を、ハグランドとローラーの元々の統計量を回復するように定義できるか？
• RQ4 統計量「し」を高次元単体$D^p(n)$、特に$p=2$、$n=5$に対してどのように一般化できるか？
• RQ5 この枠組みは、型$A$を超えて、特に有理チャレドニク代数やナブラー作用素の文脈において、他の型へ拡張可能か？

主な発見

• イシュ配置を用いて定義されたアフィン置換上の「いっし」統計量は、ハグランドの$q,t$-Catalan公式における面積統計量と一致する。
• シュイ配置を用いて定義されたアフィン置換上の「し」統計量は、元々の$q,t$-Catalan数の組合せ的解釈におけるバウンス統計量と同等である。
• バウンス統計量は根格子上の関数として自然に表現され、対角調和のヒルベルト系列における$t$-次数の幾何的解釈を提供する。
• 単体$D^2(5)$に対して、すべての16個のアロケーブにおける「いっし」統計量の生成関数は$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)$が、基本対称関数に作用するベルジェロ-ガルシア・ナブラー作用素のすべての整数乗への一般化を表すと推測している。