[論文レビュー] 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$を用いて、すべての複素反射群に一様に構成すること。
• 特にwell-generatedな場合に、これらの多項式に関する巡回シービングとガロア捩れの予想を確認すること。
• 次数、指数、および不変表現上の$\Psi$作用を用いて、$q$-Fuss-Catalan数の明示的公式を提供すること。

提案手法

• 有理Cherednik代数のシフト関手のRouquierの定式化を活用し、不可約表現の次数付き特徴標を用いて$(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)$が、$\Psi^m(V^*)$を担う次数$mh+1$の斉次パラメータ系$\Theta$について$(P/\Theta)^W$のHilbert級数であることを確立する。
• $C_W^{(1)}(q)$が、球面Cherednik代数における$eL_{1+1/h}(\text{triv})$の次数付き特徴標として生じることを示す。
• 体$\mathbb{C}$の自己同型と置換$\Psi$を用いて、$p$が$h$と互いに素であるようなパラメータ$p/h$へのガロア捩れを適用する。

実験結果

リサーチクエスチョン

• RQ1 well-generatedでない不可約複素反射群に対しても、$q$-Fuss-Catalan数を定義可能か？
• RQ2 $q$-Fuss-Catalan多項式$C_W^{(m)}(q)$は、任意の不可約複素反射群$W$に対して常に$\mathbb{N}[q]$に属するか？
• RQ3 不変表現上の置換$\Psi$は、偽次数の双対性および回文的性質とどのように関係するか？
• RQ4 有理Cherednik代数の表現論を用いて、すべての$W$に対して$(q,t)$-Catalan多項式を一様に構成可能か？
• RQ5 一般化されたCatalan数は巡回シービング現象を示すか？どのような条件下で？

主な発見

• $C_W^{(m)}(q)$が、仮説2.4のもとで、すべての不可約複素反射群に対して$\mathbb{N}[q]$に属することを示した。
• well-generatedな群では、公式が$C_W^{(m)}(q) = \prod_{i=1}^n \frac{[mh + d_i]_q}{[d_i]_q}$に簡略化され、文献に定義された標準的な定義と一致する。
• $q$-Fuss-Catalan数$C_W^{(m)}(q)$は、$\Psi^m(V^*)$を担う次数$mh+1$のパラメータ系$\Theta$について$(P/\Theta)^W$のHilbert級数である。
• $(q,t)$-Catalan多項式は、球面Cherednik代数における不可約表現$eL_{1+1/h}(\text{triv})$の次数付き特徴標として実現される。
• 構成はwell-generatedな群に対して[2, 系4.3(i)]を確認し、$p$が$h$と互いに素であるようなパラメータ$p/h$へのガロア捩れに拡張される。
• 巡回シービングが確認された：すべての$m$と$t$に対して、$\zeta$を$W$の正則数$d$の単位根とすると、$C_W^{(m)}(\zeta^t)$は正の整数である。