[논문 리뷰] Irreducible representations of the rational Cherednik algebra associated to the Coxeter group H_3

Martina Balagović, Arjun Puranik|arXiv (Cornell University)|2010. 04. 13.

Algebraic structures and combinatorial models참고 문헌 10인용 수 4

한 줄 요약

이 논문은 예외적 코xeter 군 $H_3$와 임의의 복소수 매개변수 $c$에 대해 관련된 유리 Cherednik 대수의 분류 $\Omega_c(H_3, \mathfrak{h})$ 내에서 모든 기약 표현의 특징을 표현 이론적 기법과 MAGMA 계산을 통해 계산한다. 주요 결과는 유한 차원 기약 표현의 완전한 분류로, $c = \frac{1}{2}$일 때는 오직 $L_c(\mathbf{1}_+)$, $L_c(\mathbf{3}_-)$, 그리고 $L_c(\widetilde{\mathbf{3}}_-)$만이 유한 차원임을 보이며, 그에 따른 명시적 그로텐디크 군 표현은 그레디에이션, 대칭형, 갈루아 불변성을 통해 유도된다.

ABSTRACT

This paper describes irreducible representations in category O of the rational Cherednik algebra H_c(H_3,h) associated to the exceptional Coxeter group H_3 and any complex parameter c. We compute the characters of all these representations explicitly. As a consequence, we classify all the finite dimensional irreducible representations of H_c(H_3,h).

연구 동기 및 목표

• 예외적 코xeter 군 $H_3$와 임의의 복소수 매개변수 $c$에 대해 관련된 유리 Cherednik 대수의 분류 $\mathcal{O}_c(H_3, \mathfrak{h})$ 내에서 모든 기약 표현의 특징을 계산하는 것.
• $H_c(H_3, \mathfrak{h})$의 모든 유한 차원 기약 표현을 분류하기 위해, $L_c(\tau)$가 유한 차원이 되는 $c$와 $\tau$에 대해 결정하는 것.
• 기본 Verma 모듈 $M_c(\sigma)$를 이용한 기약 모듈의 그로텐디크 군 표현을 특징 이론과 표현 이론적 제약 조건을 통해 명시적으로 제공하는 것.
• 비정규적 매개변수 $c$가 $(-1,0)$에 포함된다는 추측에 대한 첫 번째 반례를 규명하기 위해, $c = \frac{1}{2}$가 $H_3$에 대해 비정규적임을 보이는 것.
• 반정수 $c \geq \frac{3}{2}$에 대해 $\mathcal{O}_c$와 $\mathcal{O}_{c+1}$ 사이의 카테고리 동치를 확립하여, 초기 유한 매개변수 집합을 초월한 특징 공식의 확장을 가능하게 하는 것.

제안 방법

• 기존의 동치 관계를 이용해 매개변수 $(c, \tau)$의 집합을 유한 집합으로 축소: $\mathcal{O}_c \cong \mathcal{O}_{-c}$, $\mathcal{O}_{1/d} \cong \mathcal{O}_{r/d}$ ($d \neq 2$), $\mathcal{O}_c \cong \mathcal{O}_{c+1}$ ($c$가 크기).
• Cherednik 대수 $H_c(H_3, \mathfrak{h})$에 내재된 $\mathfrak{sl}_2$-그레디에이션을 활용하여, $\mathcal{O}_c$ 내 모든 표현이 유한 차원 $H_3$-표현으로 구성된 그레디에이션을 갖는다는 점을 이용.
• Verma 모듈에 정의된 대칭형 $B$를 사용하여, 특히 MAGMA를 활용한 수치적 검증을 통해 특정 그레디에이션 조각에서의 랭크 계산을 통해 기약 몫의 차원을 결정.
• 특성 추적의 갈루아 불변성($\sqrt{5} \mapsto -\sqrt{5}$에 대해)을 활용하여, 그로텐디크 군 분해의 계수를 제약하며, 특히 $L_c(\mathbf{1}_+)$에 대해 적용.
• $(12345)$와 같은 군 원소의 작용을 통해 표현에 대해 추적값이 0이 되는 조건을 강제하여, 특성 공식의 미지 계수를 고정.
• $c = r/2$이면서 $r$가 홀수이고 $r \geq 3$일 때, 함자 $S_c^+$가 카테고리 동치임을 증명하여, 모든 $c = r/2$ ($r > 3$)에 대해 특징 공식의 확장을 가능하게 함.

실험 결과

연구 질문

• RQ1 $\mathcal{O}_c(H_3, \mathfrak{h})$ 내에서 어떤 기약 표현 $L_c(\tau)$가 임의의 복소수 매개변수 $c$에 대해 유한 차원이 되는가?
• RQ2 $\mathcal{O}_c(H_3, \mathfrak{h})$ 내 모든 기약 모듈 $L_c(\tau)$에 대한 명시적 특징 공식은 무엇인가?
• RQ3 $c = \frac{1}{2}$는 $H_3$에 대해 비정규적 매개변수인가? 그리고 이는 비정규적 매개변수가 $(-1,0)$에 포함된다는 추측에 위배되는가?
• RQ4 $S_c^+$와 $S_c^-$ 함자들은 $\mathcal{O}_c$에 어떻게 작용하며, 어떤 조건에서 카테고리 동치가 되는가?
• RQ5 $H_3$-불변량과 갈루아 대칭성은 $L_c(\tau)$의 그로텐디크 군 분해 계수에 어떤 제약을 가하는가?

주요 결과

• $H_c(H_3, \mathfrak{h})$의 기약 표현 중에서 오직 유한 차원인 것은 $c = \frac{1}{2}$일 때이며, 그들은 $L_c(\mathbf{1}_+)$, $L_c(\mathbf{3}_-)$, $L_c(\widetilde{\mathbf{3}}_-)$이다.
• $L_{1/2}(\widetilde{\mathbf{3}}_-)$는 자명한 $H_3$-불변량을 가지며, 이는 $c = \frac{1}{2}$가 비정규적 매개변수에 대한 추측에 대한 첫 번째 반례임을 확인한다.
• $c = \frac{1}{2}$에서 $L_c(\mathbf{1}_+)$의 그로텐디크 군 표현은 $M_c(\mathbf{1}_+) - M_c(\mathbf{5}_+) + M_c(\mathbf{5}_-) + n_{\mathbf{1}_+,\mathbf{3}_+}M_c(\mathbf{3}_+) + n_{\mathbf{1}_+,\widetilde{\mathbf{3}}_+}M_c(\widetilde{\mathbf{3}}_+)$로 주어지며, $n_{\mathbf{1}_+,\mathbf{3}_+} = n_{\mathbf{1}_+,\widetilde{\mathbf{3}}_+} = 1$이다.
• $L_c(\mathbf{3}_-)$와 $L_c(\widetilde{\mathbf{3}}_-)$의 그로텐디크 군 분해 계수는 $n_{\mathbf{3}_- , \mathbf{3}_+} + n_{\mathbf{3}_- , \widetilde{\mathbf{3}}_+} = -1$ 및 $n_{\widetilde{\mathbf{3}}_- , \mathbf{3}_+} + n_{\widetilde{\mathbf{3}}_- , \widetilde{\mathbf{3}}_+} = -1$를 만족하며, 추적 조건을 통해 모든 개별 계수는 $-1$로 결정된다.
• $c = r/2$이면서 $r$가 홀수이고 $r \geq 3$일 때, 함자 $S_c^+$는 카테고리 동치이며, 이는 모든 이러한 $c$에 대해 특징 공식의 확장을 가능하게 한다.
• $L_c(\mathbf{3}_-)$와 $L_c(\widetilde{\mathbf{3}}_-)$의 차수 $-3$ 그레디에이션 조각에서 대칭형 $B$의 핵이 5차원임을 확인하여, 이 모듈이 유한 차원임을 확인한다.