[논문 리뷰] The Calogero-Moser partition and Rouquier families for complex reflection groups

Maurizio Martino|ArXiv.org|2008. 01. 10.

Algebraic structures and combinatorial models참고 문헌 21인용 수 3

한 줄 요약

이 논문은 복소 반사군의 기약 표현의 Calogero-Moser 분할과 순환 히드라 알지브라에서의 Rouquier 가족 간의 추측을 제안한다. 특히 $G(l,1,n) = \mathbb{Z}/l\mathbb{Z} \wr S_n$의 와이어드 프로덕트에 대해 Rouquier 가족이 Calogero-Moser 분할을 정교화함을 보여줌으로써 이 추측을 증명한다. 블록 크기의 기하학적 해석과 다항식의 잔여 조건을 통한 고차수 Fock 공간과의 연결을 포함한다.

ABSTRACT

Let $W$ be a complex reflection group. We formulate a conjecture relating blocks of the corresponding restricted rational Cherednik algebras and Rouquier families for cyclotomic Hecke algebras. We verify the conjecture in the case that $W$ is a wreath product of a symmetric group with a cyclic group of order $l$.

연구 동기 및 목표

• 복소 반사군에 대해 제한된 유리 Cherednik 대수의 블록(즉, Calogero-Moser 분할)과 순환 히드라 대수에서의 Rouquier 가족 간의 관계를 추측으로서 제시한다.
• 이 추측이 와이어드 프로덕트 $G(l,1,n) = \mathbb{Z}/l\mathbb{Z} \wr S_n$의 경우에 대해 검증된다.
• 각 Rouquier 블록의 크기에 대해 다항식의 잔여 조건을 통한 기하학적 해석을 제공한다.
• Calogero-Moser 분할이 $U_v(\mathfrak{sl}_\infty)$의 고차수 Fock 공간 표현과 조합적 불변량을 통해 연결됨을 제시한다.

제안 방법

• 제한된 유리 Cherednik 대수 $\overline{H}_{\mathbf{k}}$를 유리 Cherednik 대수 $H_{\mathbf{k}}$의 유한차원 몫으로 정의하고, 이 블록들이 $\mathrm{Irr}W$의 Calogero-Moser 분할을 정의한다.
• 등가 $H_{\mathbf{k}} \cong H_{\lambda\mathbf{k}}$를 사용하여 매개변수를 정규화하고 Calogero-Moser 분할 분석을 단순화한다.
• 다중분할의 $J$-하트와 Rouquier 가족 사이의 조합적 대응을 다항식 $\mathrm{Res}^{\overline{\mathbf{m}}}_{\boldsymbol{\lambda}}(x^d)$의 잔여 조건을 통해 수립한다.
• 다음과 같은 조건을 만족함을 증명한다: $\boldsymbol{\lambda} \sim_{R_{\mathbf{m}}} \boldsymbol{\mu}$ if and only if $\mathrm{Res}^{\overline{\mathbf{m}}}_{\boldsymbol{\lambda}}(x^d) = \mathrm{Res}^{\overline{\mathbf{m}}}_{\boldsymbol{\mu}}(x^d)$, 이를 위해 $x^k\mathbb{Z}[x^d,x^{-d}]$ 성분으로의 사영을 사용한다.
• 같은 $J$-하트를 가진다 해도 $\boldsymbol{\lambda} \sim_{CM_{\mathbf{h}}} \boldsymbol{\mu}$임을 제3.9정리로 보이고, 매개변수 스케일링을 통해 $CM_{\mathbf{h}}$와 $CM_{d\mathbf{h}}$ 분할 간의 관계를 규명한다.
• Calogero-Moser 분할을 $U_v(\mathfrak{sl}_\infty)$의 고차수 Fock 공간 $F(\Lambda_{\mathbf{m}})$에서의 기저 벡터 $s_{\boldsymbol{\lambda}}$의 무게와 연결한다.

실험 결과

연구 질문

• RQ1 복소 반사군에 대해 Rouquier 가족의 분할이 Calogero-Moser 분할을 정교화하는가?
• RQ2 각 Rouquier 블록의 크기를 다항식의 잔여 조건을 통한 기하학적 해석으로 설명할 수 있는가?
• RQ3 Calogero-Moser 분할과 고차수 Fock 공간 표현에서의 벡터의 무게 사이에 연결 고리가 존재하는가?
• RQ4 이 추측은 와이어드 프로덕트 $G(l,1,n)$에 대해 성립하는가? 만약 그렇다면, 그 뒤에 있는 조합적 메커니즘은 무엇인가?
• RQ5 매개변수 $\mathbf{k}$와 $\mathbf{m}$은 Cherednik 대수와 히드라 대수의 양쪽 블록 구조와 어떻게 관련되어 있는가?

주요 결과

• Rouquier 가족이 Calogero-Moser 분할을 정교화한다는 추측은 $G(l,1,n)$에서 명시적 조합적 비교를 통해 검증되었다.
• 두 다중분할 $\boldsymbol{\lambda}, \boldsymbol{\mu} \in \mathcal{P}(l,n)$이 동일한 Rouquier 가족에 속하는 것은 $\mathrm{Res}^{\overline{\mathbf{m}}}_{\boldsymbol{\lambda}}(x^d) = \mathrm{Res}^{\overline{\mathbf{m}}}_{\boldsymbol{\mu}}(x^d)$와 동치이다.
• $G(l,1,n)$의 Calogero-Moser 분할은 $U_v(\mathfrak{sl}_\infty)$의 고차수 Fock 공간 $F(\Lambda_{\mathbf{m}})$에서의 기저 벡터의 무게 분할과 정확히 일치한다.
• 다중분할의 $J$-하트는 그 Calogero-Moser 블록을 결정하며, 동일한 $J$-하트를 가진다 해도 $CM_{\mathbf{h}}$ 기준으로 동일한 블록에 속한다.
• 매개변수 스케일링 성질 $\overline{H}_{\mathbf{k}} \cong \overline{H}_{d\mathbf{k}}$는 $\boldsymbol{\lambda} \sim_{CM_{\mathbf{h}}} \boldsymbol{\mu}$이면 $\boldsymbol{\lambda} \sim_{CM_{d\mathbf{h}}} \boldsymbol{\mu}$임을 보여주며, 이는 양방향 관계를 의미한다.
• 각 Rouquier 블록의 기하학적 크기는 동일한 잔여 조건 $\mathrm{Res}^{\overline{\mathbf{m}}}_{\boldsymbol{\lambda}}(x^d)$를 공유하는 다중분할의 수에 의해 결정된다.