[논문 리뷰] On category O for cyclotomic rational Cherednik algebras

Iain J. Gordon, Ivan Losev|arXiv (Cornell University)|2011. 09. 11.

Algebraic structures and combinatorial models참고 문헌 35인용 수 48

한 줄 요약

이 논문은 Gℓ(n) 유형의 순환 유리 치레드니크 대수의 범주 𝒪에 대해 유도된 및 최고 무게 동치성을 확립하며, ℤℓ 작용 하에서 𝒪ₚ와 𝒪σ(p)가 동치임을 증명하고, p−p′∈ℤ일 때 𝒪ₚ와 𝒪ₚ′가 유도 동치임을 보이며, 비유리 조건 하에서 𝒪ₚ가 GL(n)에 대한 파라보릭 범주 𝒪와 동치임을 증명한다. 이러한 결과들은 에팅오프와 루퀴에르의 표현 이론 및 분류화에 대한 추측의 특수한 경우를 확인한다.

ABSTRACT

We study equivalences for category O_p of the rational Cherednik algebras H_p of type G_l(n) = μ_l^n times S_n: a highest weight equivalence between O_p and O_{σ(p)} for σ\in S_l and an action of S_l on a non-empty Zariski open set of parameters p; a derived equivalence between O_p and O_{p'} whenever p and p' have integral difference; a highest weight equivalence between O_p and a parabolic category O for the general linear group, under a non-rationality assumption on the parameter p. As a consequence, we confirm special cases of conjectures of Etingof and of Rouquier.

연구 동기 및 목표

• 모든 σ∈𝔖ℓ에 대해 𝒪ₚ와 𝒪σ(p) 사이의 최고 무게 동치성을 확립하여, 매개변수의 순열에 따른 대칭성을 보여주기.
• p와 p′이 정수 벡터로 다를 때마다 𝒪ₚ와 𝒪ₚ′ 사이의 유도 동치성을 구축하여, 유리 치레드니크 대수 표현 이론에서 알려진 결과를 순환 경우로 일반화하기.
• 매개변수 p에 대해 비유리 조건을 가정할 때, 𝒪ₚ와 GL(n)에 대한 파라보릭 범주 𝒪 사이의 최고 무게 동치성을 증명하여, 치레드니크 대수 표현 이론과 고전적 리군 표현 이론을 연결하기.
• 순환 유리 치레드니크 대수의 구조와 그 분류화에 대한 에팅오프와 루퀴에르의 추측의 특수한 경우를 확인하기.
• 비유리 매개변수 조건 하에서 범주 𝒪ₚ 내의 유한차원 표현의 조합적 분류를 제공하기.

제안 방법

• Gℓ(n)에 의해 몫을 취한 공간 (𝔥×𝔥*)/Gℓ(n)의 심플렉틱 해소에 대한 Weyl 군 작용을 활용하여, 양자화로 올라가면서 구면 부분대수에 대칭성을 유도하기.
• 심플렉틱 해소 위의 기울임 번들(tilting bundle)을 사용하여, 해소 위의 코herent sheaf와 ℂ[𝔥×𝔥*] 위의 호환 모듈 간의 유도 동치를 유도하며, 이는 비가환 설정으로 올라간다.
• 변형 양자화 위의 토루스 호환 층의 범주와 치레드니크 대수의 토루스 호환 표현의 범주 사이의 유도 동치를 구축하기.
• 유도 범주를 이러한 호환 범주로 줄여내는 일련의 감소를 통해, 치레드니크 대수 설정으로 유도 동치를 이전하기.
• 비유리 조건 하에서 매개변수 p에 대해 고차원 슈어-웨일 대칭성을 적용하여, Gℓ(n) 유형의 탈구성 히드라 대수를 GL(n)의 파라보릭 범주 𝒪와 연결하기.
• 미세국소 기하학과 KZ 함수를 사용하여, 구면 범주 𝒪를 전체 범주 𝒪와 연결하고, e:𝒪ₚ→𝒪ₚsph의 사영 함수의 핵을 분석하기.

실험 결과

연구 질문

• RQ1 대칭군 𝔖ℓ은 순환 유리 치레드니크 대수의 매개변수 공간에 작용하는가? 만약 그렇다면, 𝒪ₚ와 𝒪σ(p) 사이의 최고 무게 동치성을 유도하는가?
• RQ2 p와 p′이 정수 벡터로 다를 때, 범주 𝒪ₚ와 𝒪ₚ′는 유도 동치인가?
• RQ3 비유리 매개변수 p에 대해, 범주 𝒪ₚ는 GL(n)에 대한 파라보릭 범주 𝒪로 표현될 수 있는가? 만약 그렇다면, 명시적인 동치는 무엇인가?
• RQ4 함수 e:𝒪ₚ→𝒪ₚsph의 핵의 구조는 무엇이며, 그로텐디크 군과의 관계는 어떻게 되는가?
• RQ5 지원 조건과 단일계 조건을 사용하여, 비호환 𝒟α-모듈의 범주 내에 미세국소 범주 𝒪를 정의할 수 있는가?

주요 결과

• 저자들은 모든 σ∈𝔖ℓ에 대해 𝒪ₚ와 𝒪σ(p) 사이의 최고 무게 동치성을 구성하여, 매개변수 공간이 대칭군의 대칭 작용을 갖는다는 것을 보였다.
• p와 p′이 정수 벡터로 다를 때마다 𝒪ₚ와 𝒪ₚ′ 사이의 유도 동치성을 확립하여, 기존의 결과를 순환 경우로 일반화하였다.
• 매개변수 p가 유리수가 아닐 것이라는 가정 하에, 𝒪ₚ와 GL(n)에 대한 파라보릭 범주 𝒪 사이의 최고 무게 동치성을 구성하여, 치레드니크 대수 표현 이론과 고전적 리군 표현 이론을 명시적으로 연결하였다.
• 𝒪ₚ와 파라보릭 범주 𝒪 간의 동치성 덕분에, 𝒪ₚ 내의 기약 표현의 지지의 조합적 특성화가 가능해졌으며, 비유리 조건 하에서의 유한차원 표현의 정확한 분류가 가능해졌다.
• 논문의 결과들은 에팅오프와 루퀴에르의 순환 유리 치레드니크 대수의 구조와 그 분류화에 대한 추측의 특수한 경우를 확인하였다.
• 논문은 𝒟α-모듈에 대해 지지와 단일계 조건을 사용한 미세국소 범주 𝒪의 정의 가능성을 제시하여, 특이하거나 비순환 설정에서 범주 𝒪를 정의하는 데 새로운 프레임워크를 제안한다.