[논문 리뷰] Irreducible representations of rational Cherednik algebras for exceptional Coxeter groups, Part I

Emily Norton|arXiv (Cornell University)|2014. 11. 28.

Algebraic structures and combinatorial models참고 문헌 7인용 수 6

한 줄 요약

이 논문은 예외적인 코x터 군 $W = H_4$, $E_6$, $E_7$, $F_4$ 및 $E_8$에 대해 $c = 1/d$에서 유리 체레드니크 대수 $H_c(W)$의 분해 행렬을 계산한다. 여기서 $d$는 $W$의 기본 차수를 나누며 $d \neq 2$이다. 이 분해 행렬이 유니포텐트 블록의 유한체의 리 계열 군 $G(q)$의 분해 행렬에 포함되어 있음을 보이며, 이는 비정의 특성에서의 유한체 표현 이론과 유리 체레드니크 대수 표현 이론 사이의 깊은 연결을 드러낸다.

ABSTRACT

This paper and its sequel describe the irreducible representations of the rational Cherednik algebra $H_c(W)$ for a finite Coxeter group $W$ of type $H_4$, $F_4$ with equal parameters, $E_6$, $E_7$, and $E_8$, when $c$ is not a half-integer. Herein appear the decomposition matrices of Category $\mathcal{O}_c(W)$ for $W=H_4$, $E_6$, and $E_7$, as well as a classification of finite-dimensional representations of $H_c(W)$ for these groups and for $H_c(F_4)$ with equal parameters.

연구 동기 및 목표

• 예외적인 코x터 군 $W = H_4$, $E_6$, $E_7$, $F_4$, $E_8$에 대해 $c = 1/d$에서 Category $\mathcal{O}_c(W)$의 분해 행렬을 결정한다. 여기서 $d$는 기본 차수를 나누며 $d \neq 2$이다.
• 이 군들에 대해 $H_c(W)$의 유한차원 기약 표현을 분류한다.
• 비정의 특성에서의 유한체의 리 계열 군 $G(q)$의 유니포텐트 블록과의 분해 행렬 사이의 구조적이고 수치적인 연결을 확립한다.
• 분해 수가 $\ell \mid \Phi_d(q)$일 때 $H_c(W)$의 분해 수와 $G(q)$-블록의 분해 수 사이의 연결을 제안하는 추측을 제시한다.

제안 방법

• 분해 데이터를 유지하는 $\mathcal{O}_c(W)$에서 $\mathcal{H}_q(W)$-모듈에 사상하는 KZ 함자 $\operatorname{KZ}: \mathcal{O}_c(W) \to \mathcal{H}_q(W)$-mod를 활용한다. 여기서 $q = e^{2\pi i c}$이다.
• 표 [GJ]에 기록된 $\mathcal{H}_q(W)$의 분해 행렬을 기반으로 하되, $q = e^{2\pi i c}$에서의 값을 사용하고, 행과 열을 부호 표현과 텐서곱하여 $H_c(W)$-모듈 레이블과 일치시킨다.
• KZ 함자의 성질을 활용하여, 전체 지지도가 아닌 표현에 해당하는 열을 제거함으로써, 유도와 제거를 통해 $H_c(W)$ 블록의 전체 분해 행렬을 복원한다.
• $\mathfrak{sl}_2$-모듈 구조를 이용하여 기약 표현의 유한차원성을 분석한다: 유한차원성은 $h_c(\tau) \in \mathbb{Z}_{\leq 0}$임을 의미하며, 이는 가능한 최저 무게를 제약한다.
• 레마 (E), (Symm), (dim Hom), 및 (RR)을 사용하여 분해 행렬의 누락된 항목을 계산한다. 특히, 결함 1 블록의 경우에 중점을 둔다.
• 블록의 결함을 분석한다: 결함 0 블록은 단일 원소이며, 결함 1 블록은 유일한 지지가 완전하지 않은 기약 표현을 가지며, 이는 삼중대각형 분해 행렬의 구조를 가진다.

실험 결과

연구 질문

• RQ1 $W = H_4$, $E_6$, $E_7$, $F_4$, $E_8$에 대해 $c = 1/d$에서 $\mathcal{O}_c(W)$의 분해 행렬은 무엇인가? 여기서 $d$는 기본 차수를 나누며 $d \neq 2$이다?
• RQ2 기약 표현 중에서 $H_c(W)$가 유한차원인 것은 무엇이며, 그 차원은 얼마인가?
• RQ3 $H_c(W)$의 분해 행렬과 $\ell \mid \Phi_d(q)$인 유한체의 리 계열 군 $G(q)$의 유니포텐트 블록의 분해 행렬 사이의 관계는 무엇인가?
• RQ4 $\ell \gg 0$일 때 $H_c(W)$의 분해 행렬이 $G(q)$-블록의 분해 행렬에 정사각형 부분행렬로 포함될 수 있는가?
• RQ5 분해 수 사이에 일반적인 수치적 관계가 존재하는가? 특히 하한에 관해 어떻게 되는가?

주요 결과

• $W = H_4$, $E_6$, $E_7$에 대해 $c = 1/d$에서 $\mathcal{O}_c(W)$의 분해 행렬이 계산되어 표로 정리되었다. 여기서 $d$는 기본 차수를 나누며 $d \neq 2$이다.
• $W = H_4$, $F_4$, $E_6$, $E_7$, $E_8$에 대해, $c = 1/d$이고 $d$가 기본 차수를 나눌 때, $H_c(W)$의 모든 유한차원 기약 표현이 분류되었다.
• $\ell \mid \Phi_d(q)$이면, $c = 1/d$일 때 $H_c(W)$의 분해 행렬이 $G(q)$의 유니포텐트 블록의 분해 행렬에 정사각형 부분행렬로 포함된다. 이는 $E_6$, $E_7$, $E_8$의 $c = 1/4$ 경우를 포함한 모든 계산된 경우에 해당된다.
• $H_c(W)$의 분해 행렬은 역행렬을 통해 모든 기약 표현의 특징을 제공하며, 이는 Verma-플래그의 중복도 $[L(\tau) : M(\sigma)]$를 포함한다.
• 결함 1 블록의 경우, 임의의 기약 표현의 Verma-분해는 무게선에서 오른쪽에 있는 Verma 표현들의 교대합으로 주어진다. 이는 루오케르에 의해 증명되었다.
• 논문은 $H_c(W)$에서의 분해 수 $[M(\tau) : L(\sigma)]$가 $\tau \otimes \mathrm{sgn}$ 및 $\sigma \otimes \mathrm{sgn}$로 표기된 $G(q)$-블록에서의 해당 분해 수의 하한이 되는 것으로 추측한다. 이는 $A_n$, $B_n$, 그리고 예외적 유형에서의 증거를 바탕으로 한다.