[논문 리뷰] Parabolic induction and restriction functors for rational Cherednik algebras

Roman Bezrukavnikov, Pavel Etingof|ArXiv.org|2008. 03. 25.

Algebraic structures and combinatorial models참고 문헌 2인용 수 11

한 줄 요약

이 논문은 유리 Cherednik 대수에서의 포물선형 유도 및 제약 함자들을 도입하며, 포물선 부분대수가 전체 대수에 통합되지 않는 장애를 회피하기 위해 매개수 $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ 에 의존하는 방식으로 이를 해결한다. 이 함자들은 정확하고 서로 수반되며, 매개수 공간에서 비자명한 단일화를 가지며, Gordon-Stafford 정리의 $ c \notin \frac{1}{2} + \mathbb{Z} $ 조건 없이 증명하는 데 사용되며, 유한차원 표현을 분류하고 $ S_n $ 에서 Okounkov의 비정상 표현에 대한 추측을 확인한다. 핵심 기여는 Cherednik 대수의 맥락에서 기하학적이고 매개수에 의존하는 포물선 함자들의 일반화로, 표현 이론에 깊이 있는 응용을 가진다.

ABSTRACT

We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In particular, we prove the Gordon-Stafford theorem about Morita equivalence of the rational Cherednik algebra for type A and its spherical subalgebra, without the assumption that c is not a half-integer, which was required up to now. Also, we classify representations from category O over the rational Cherednik algebras of type A which do not contain an S_n-invariant vector, and confirm a conjecture of Okounkov and the first author on the number of such representations. In the second version we have added a result on the simplicity of the spherical Cherednik algebra of type A for -1

연구 동기 및 목표

• 표준적 통합 기반의 구성이 실패하는 상황에서 Hecke 대수에서의 포물선 유도 및 제약 함자들을 유리 Cherednik 대수로 일반화하는 것.
• 매개수 $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ 에 의존하는 함자를 정의하여 비자명한 단일화를 포착하고, $ b $ 에서의 표준적 동형사상이 없도록 하는 것.
• 이 함자들을 사용하여 $ W = S_n $ 에서 $ c \notin \frac{1}{2} + \mathbb{Z} $ 조건 없이 Gordon-Stafford 정리를 증명하고, 유리 Cherednik 대수의 유한차원 표현을 분류하는 것.
• W = S_n 인 경우 카테고리 $ \mathcal{O} $ 에서의 기약 비정상 표현의 수에 대한 Okounkov의 추측을 확인하는 것.

제안 방법

• 매개수 $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ 에 따라 매개수화된 포물선 유도 및 제약 함자 $ \text{Res}_b $ 와 $ \text{Ind}_b $ 를 $ \mathcal{O}_c(W,\mathfrak{h})_0 $ 에서 $ \mathcal{O}_c(W',\mathfrak{h}')_0 $ 로 정의한다.
• 함자들이 정확하고 서로 수반되며, $ b $ 를 넘어서는 동형사상이 표준적이지 않아 매개수 공간에서 비자명한 단일화가 발생함을 보인다.
• 이 함자들을 사용하여 Whittaker 모듈의 카테고리와 $ \mathcal{O}_c(W_\lambda,\mathfrak{h})_0 $ 의 카테고리 사이의 관계를 설정하고, 카테고리의 동치를 확립한다.
• 함자들을 사용하여 $ W = S_n $ 에서 $ c \notin \frac{1}{2} + \mathbb{Z} $ 조건 없이 Gordon-Stafford 정리를 증명한다.
• 함자들을 사용하여 $ S_n $ 에서 $ \mathcal{O} $ 의 기약 비정상 표현의 수를 계산하며, $ c = -r/m $ 에서 $ m $-비정규가 아닌 분할의 수와 일치함을 보인다.
• 부록을 통해 열린 DAHA에 이 틀을 적용하여, 열린 DAHA의 유한차원 표현이 정 stabilizer 부분군에서의 유리 Cherednik 대수의 유한차원 표현의 직합과 동치임을 보인다.

실험 결과

연구 질문

• RQ1 포물선 부분대수가 자연스럽게 통합되지 않는 상황에서, 포물선 유도 및 제약 함자들을 유리 Cherednik 대수로 일반화할 수 있는가?
• RQ2 매개수 $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ 는 이러한 함자들을 정의하는 데 어떤 역할을 하는가? 그리고 단일화가 어떻게 발생하는가?
• RQ3 이 함자들을 사용하여 $ c \notin \frac{1}{2} + \mathbb{Z} $ 조건 없이 Gordon-Stafford 정리를 증명할 수 있는가?
• RQ4 유리 Cherednik 대수의 $ S_n $ 에서 카테고리 $ \mathcal{O} $ 에서의 기약 비정상 표현의 수는 무엇이며, $ c $ 에 따라 어떻게 달라지는가?
• RQ5 열린 DAHA의 유한차원 표현은 정 stabilizer 부분군에서의 유리 Cherednik 대수의 표현과 어떻게 관련이 있는가?

주요 결과

• 포물선 유도 및 제약 함자 $ \text{Res}_b $ 와 $ \text{Ind}_b $ 는 정확하고 서로 수반되며, $ b $ 를 넘어서는 동형사상이 표준적이지 않아 매개수 공간에서 비자명한 단일화가 발생한다.
• Whittaker 모듈의 카테고리 $ H_c(W,\mathfrak{h}) $ 는 $ \mathcal{O}_c(W_\lambda,\mathfrak{h})_0 $ 와 동치이며, 이는 이러한 모듈의 기하학적 해석을 제공한다.
• Gordon-Stafford 정리는 $ c \notin \frac{1}{2} + \mathbb{Z} $ 조건 없이 재증명되었으며, $ H_c(S_n,\mathbb{C}^{n-1}) $ 가 모든 $ c $ 에 대해 그 구면 부분대수와 Morita 동치임을 보였다.
• W = S_n 인 경우, $ c = -r/m $ 에서 $ 2 \leq m \leq n $, $ 0 < r < m $, $ \gcd(r,m) = 1 $ 라면, $ \mathcal{O} $ 에서의 기약 비정상 표현의 수는 $ m $-비정규 분할의 수와 일치하며, Okounkov와 Bezrukavnikov의 추측을 확인한다.
• 구면 Cherednik 대수 $ A_c(S_n) $ 는 $ -1 < c < 0 $ 에서 단순하다. 이는 비정상 표현의 분류의 결과이다.
• 열린 DAHA의 유한차원 표현은 궤도 대표자 $ x \in \Sigma' $ 에 대한 $ FD(H_{c_x}(W_x,\mathfrak{h})) $ 의 직합과 동치이며, 이는 임의의 매끄러운 군 작용으로 일반화된 결과이다.