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

Roman Bezrukavnikov, Pavel Etingof|arXiv (Cornell University)|2008. 03. 25.

Advanced Topics in Algebra인용 수 8

한 줄 요약

이 논문은 유리 Cherednik 대수에 대해 포물선형 유도 및 제약 함자들을 도입하여 그 표현 이론의 더 깊은 구조 분석을 가능하게 한다. 이는 Gordon-Stafford의 Morita 동치를 매개수 c에 대한 사전 제약 없이 증명하고, S_n-불변 벡터를 가지지 않는 범주 O의 표현을 분류하며, 그 수에 대한 추측을 확인하는 데 기여한다. 또한 −1 < c < 0 인 경우 구면 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<c<0, and a strengthened version of the main result of arXiv:math/0312474, as well as an appendix by the second author containing arXiv:0706.4308, on the reducibility of the polynomial representation of the trigonometric Cherednik algebra.

연구 동기 및 목표

• 유리 Cherednik 대수에 대해 포물선형 유도 및 제약 함자를 개발하여 그 표현 이론의 구조적 이해를 향상시키는 것.
• 유형 A 유리 Cherednik 대수의 Gordon-Stafford Morita 동치 정리에서 매개수 c가 반정수일 수 없음이라는 제약 조건을 제거하는 것.
• S_n-불변 벡터를 가지지 않는 유형 A 유리 Cherednik 대수의 범주 O 내 표현을 분류하는 것.
• Okounkov와 제1저자의 이러한 표현의 수에 대한 추측을 확인하는 것.
• 매개수 c가 (−1, 0) 구간에 있을 때 유형 A의 구면 Cherednik 대수가 단순함을 증명하는 것.

제안 방법

• 저자들은 유리 Cherednik 대수의 프레임워크 내에서 포물선형 유도 및 제약 함자를 정의하며, 리 대수 표현 이론의 표준 구성들을 일반화한다.
• 이 함자들을 사용하여 범주 O와 구면 부분대수의 구조를 분석하며, 특히 S_n-불변 벡터의 역할에 중점을 둔다.
• c가 반정수가 아님을 전제로 하지 않고도 Gordon-Stafford 정리를 재증명하기 위해 새로운 함자론적 기반을 활용한다.
• 표현의 구성 인자들을 특성화하고 유도/제약 함자를 사용하여 S_n-불변 벡터를 가지지 않는 표현의 분류를 달성한다.
• 범주 O의 구조와 함자들의 성질을 이용하여 −1 < c < 0 인 경우에 구면 Cherednik 대수가 단순함을 증명한다.
• 제2저자의 부록에는 삼각함수 Cherednik 대수의 다항식 표현의 가역성에 관한 결과가 포함되어 있으며, 이는 이전 연구를 확장한다.

실험 결과

연구 질문

• RQ1 유리 Cherednik 대수의 맥락에서 포물선형 유도 및 제약 함자를 어떻게 정의하고 적용할 수 있는가?
• RQ2 유형 A 유리 Cherednik 대수의 Gordon-Stafford Morita 동치가 매개수 c가 반정수가 아님을 전제로 하지 않고도 성립하는가?
• RQ3 S_n-불변 벡터를 포함하지 않는 유형 A 유리 Cherednik 대수의 범주 O 내 표현을 완전히 분류할 수 있는가?
• RQ4 Okounkov와 제1저자의 이러한 표현의 수에 대한 추측이 참인가?
• RQ5 매개수 c가 (−1, 0) 구간에 있을 때 유형 A의 구면 Cherednik 대수가 단순한가?

주요 결과

• Gordon-Stafford의 유리 Cherednik 대수와 그 구면 부분대수 사이의 Morita 동치가 c ≠ 반정수라는 조건 없이 증명되었다.
• 이 논문은 S_n-불변 벡터를 가지지 않는 유형 A 유리 Cherednik 대수의 범주 O 내 모든 표현을 분류하였다.
• 이러한 표현의 수가 Okounkov와 제1저자의 추측과 정확히 일치함이 확인되었다.
• 매개수 c가 −1 < c < 0 를 만족하는 모든 경우에 대해 유형 A의 구면 Cherednik 대수가 단순함이 입증되었다.
• 삼각함수 Cherednik 대수의 다항식 표현이 부록에서 단순히 가역적이지 않음이 증명되었다.
• 두 번째 버전에서는 주요 결과들이 강화되고 확장되었으며, 범주 O의 구조와 유도/제약 함자의 역할에 대한 새로운 통찰이 포함되어 있다.