[논문 리뷰] Blocks of restricted rational Cherednik algebras for $G(m,d,n)$

Maurizio Martino|arXiv (Cornell University)|2010. 09. 16.

Algebraic structures and combinatorial models참고 문헌 9인용 수 5

한 줄 요약

이 논문은 $t=0$에서의 덱루-오파다 부분대수를 이용하여 복소 반사군 $G(m,d,n)$에 대한 제한된 유리 카레드니 대수의 블록 분해를 결정한다. 베이비 버마 모듈이 같은 블록에 속해 있는지 여부는 특정 가중치가 부여된 다중분할 잔여치의 합이 일치하는지에 따라 결정되며, 이는 이전 결과를 임의의 매개변수로 일반화하고 조합론적 구조를 순환 히드라 대수와 연결시킨다.

ABSTRACT

We study the Dunkl-Opdam subalgebra of the rational Cherednik algebra for wreath products at $t=0$, and use this to describe the block decomposition of restricted rational Cherednik algebras for $G(m,d,n)$.

연구 동기 및 목표

• 이전에 알려진 유리 매개변수 경우를 초월하여 제한된 유리 카레드니 대수의 블록 분류를 임의의 매개변수로 확장하는 것.
• 표현 이론과 순환 히드라 대수 간의 연결 고리를 조합론적 불변량을 통해 명확히 하는 것.
• 덱루-오파다 부분대수의 고유값을 이용하여 $\overline{H}_c$에 대한 일반적인 블록 분해 공식을 수립하는 것.
• $G(m,1,n)$에서의 결과를 일반선형군의 정규부분군인 $G(m,d,n)$로 일반화하는 것, 특히 $d \mid m$인 경우에 중점을 두고.
• 비균일 매개변수 상황에서도 카레드니 대수의 블록과 히드라 대수의 가족 및 셀을 연결하는 통일된 프레임워크를 제공하는 것.

제안 방법

• 직접 계산과 일반화된 잭 다항식을 통해 중심임을 증명한 요소들 $z_i$에 의해 생성되는 $H_c$의 교환 부분대수인 덱루-오파다 부분대수 $\mathfrak{Z}_c$를 구성한다.
• $\mathfrak{Z}_c$가 베이비 버마 모듈 $\overline{\Delta}_c(\boldsymbol{\lambda})$ 위에 작용하는 방식을 이용하여 고유값 비교를 통해 블록 분해를 결정한다.
• 다중분할 $\boldsymbol{\lambda}$의 각 성분 $\lambda^i$에 대해 잔여치 $\mathrm{Res}_{\lambda^i}(x)$를 정의하고, 가중치 $a_i$를 도입하여 가중 잔여치 합을 구성한다.
• 두 베이비 버마 모듈이 같은 블록에 속해 있음이 $\sum_{i=0}^{m-1} x^{a_i} \mathrm{Res}_{\lambda^i}(x^{-\kappa})$가 동일한지 여부에 의해 결정됨을 증명한다.
• $c$ 매개변수 조합을 제한하고 $m$-다중분할 위에서 $C_d$-작용의 궤도를 분석하여 $G(m,d,n)$에 적용한다.
• 기존 결과 [Bel]을 활용하여 $G(m,d,n)$의 블록 분해를 기술하며, $d$-스터팅 다중분할과 궤도 구조에 따라 경우를 나누어 분석한다.

실험 결과

연구 질문

• RQ1 $t=0$일 때 $G(m,d,n)$에 대한 제한된 유리 카레드니 대수의 블록 분해는 매개변수 $c$에 따라 어떻게 달라지는가?
• RQ2 임의의 매개변수 상황에서 덱루-오파다 부분대수를 사용하여 $t=0$일 때의 블록을 분류할 수 있는가?
• RQ3 두 베이비 버마 모듈이 $G(m,d,n)$에서 같은 블록에 속해 있는지를 결정하는 정확한 조합론적 조건은 무엇인가?
• RQ4 $\overline{H}_c(G(m,d,n))$의 블록은 순환 히드라 대수 $H_n^a$의 블록과 어떻게 관련이 있는가?
• RQ5 동일한 궤도를 가졌지만 시스템 특성이 다른 불변량을 가진 $G(m,d,n)$의 기약 모듈이 같은 블록에 속해 있는 조건은 무엇인가?

주요 결과

• $G(m,d,n)$에 대한 $\overline{H}_c$의 블록 분해는 다중분할 $\boldsymbol{\lambda}$와 $\boldsymbol{\mu}$에 대해 $\sum_{i=0}^{m-1} x^{a_i} \mathrm{Res}_{\lambda^i}(x^{-\kappa})$의 가중 잔여치 합이 일치하는지 여부에 의해 결정된다.
• $\kappa \neq 0$이면 블록 조건은 $\sum_{i=0}^{m-1} x^{a_i} \mathrm{Res}_{\lambda^i}(x) = \sum_{i=0}^{m-1} x^{a_i} \mathrm{Res}_{\mu^i}(x)$로 단순화되며, 이는 유리 매개변수 경우와 일치한다.
• $\kappa = 0$이면 블록 조건은 $\sum_{i=0}^{m-1} x^{a_i} |\lambda^i| = \sum_{i=0}^{m-1} x^{a_i} |\mu^i|$로 변형되며, 성분의 크기만에 의존한다.
• $\boldsymbol{\lambda}$가 $d$-스터팅이고 잔여치 합이 다른 모든 $\boldsymbol{\mu}$와 다를 경우, $\overline{\Delta}_{c'}(\{\boldsymbol{\lambda}\}, \epsilon)$과 $\overline{\Delta}_{c'}(\{\boldsymbol{\lambda}\}, \eta)$가 같은 블록에 속해 있음이 $\epsilon = \eta$일 때에만 성립하며, 이는 궤도 구조를 반영한다.
• $G(m,d,n)$의 블록 구조는 궤도 $\{\boldsymbol{\lambda}\}$와 특성 $\epsilon$에 의해 완전히 결정되며, 블록은 잔여치 합 조건이 충족될 때에만 융합된다.
• 결과는 비유리 매개변수 상황에서도 카레드니 대수의 블록과 루아우이어 가족 간의 추측된 연결 고리를 확인한다.