[논문 리뷰] Catalan numbers for complex reflection groups

Iain J. Gordon, Stephen Griffeth|ArXiv.org|2009. 12. 08.

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$를 포함한다.
• 특히 잘 생성된 경우에 대해 순환 체킹 및 갈로아 변형에 관한 추측을 확인하는 것.
• 도수, 지수, 그리고 표현에 대한 $\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})$의 군형 특성으로 나타남을 보인다.
• 자기 동형사상과 순열 $\Psi$를 활용하여 Galois 변형을 적용하여 $p$가 $h$와 서로소일 때 파arameter $p/h$로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 모든 기약 복소 반사군에 대해 $q$-Fuss-Catalan 수를 정의할 수 있는가? 특히 잘 생성된 경우 외의 경우에도 가능한가?
• RQ2 모든 기약 복소 반사군 $W$에 대해 $q$-Fuss-Catalan 다항식 $C_W^{(m)}(q)$가 항상 $\mathbb{N}[q]$에 속하는가?
• RQ3 기본 표현에 대한 순열 $\Psi$는 가짜 차수의 쌍대성과 팔린드롬 성질과 어떻게 관련이 있는가?
• RQ4 기본적으로 유일한 방법으로 기약 반사군 $W$에 대해 유리 Cherednik 대수의 표현론을 사용하여 $(q,t)$-Catalan 다항식을 구성할 수 있는가?
• RQ5 일반화된 Catalan 수는 순환 체킹 현상을 보이며, 어떤 조건에서 그러한 현상이 발생하는가?

주요 결과

• $C_W^{(m)}(q)$는 가설 2.4 하에 모든 기약 복소 반사군에 대해 $\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)$는 $\Psi^m(V^*)$를 지니는 차수 $mh+1$인 매개변수 체계 $\Theta$에 대해 $(P/\Theta)^W$의 Hilbert 급수이다.
• $(q,t)$-Catalan 다항식은 구면 Cherednik 대수에서 기약 표현 $eL_{1+1/h}(\text{triv})$의 군형 특성으로 실현된다.
• 구성은 잘 생성된 군에 대해 [2, 추측 4.3(i)]를 확인하며, $p$가 $h$와 서로소일 때 파arameter $p/h$로 갈로아 변형까지 확장된다.
• 순환 체킹이 확인되었다: 모든 $m$과 $t$에 대해 $C_W^{(m)}(\zeta^t)$는 양의 정수이며, 여기서 $\zeta$는 $W$의 정규 수 $d$의 원분이다.