[논문 리뷰] Proof of Varagnolo-Vasserot conjecture on cyclotomic categories O

Ivan Losev|arXiv (Cornell University)|2013. 05. 21.

Algebraic structures and combinatorial models참고 문헌 25인용 수 23

한 줄 요약

이 논문은 변형 기법과 카테고리적 $\mathfrak{sl}_2$-작용을 이용하여 순환 리아소프 리만니크 대수의 $\mathcal{O}$ 범주와 약간의 잘라낸 아핀 평행 범주 $\mathcal{O}$ 사이의 동치를 증명함으로써 바르아고놀로-바세로트 추측의 점 渐진적 형태를 확립한다. 이 결과는 루오커 추측의 분해 수에 대한 확인을 가능하게 하며, 리아소프 리만니크 범주 $\mathcal{O}$ 에 대한 코스줄 듀얼리티를 암시한다.

ABSTRACT

We prove an asymptotic version of a conjecture by Varagnolo and Vasserot on an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a suitable truncation of an affine parabolic category O. We prove an asymptotic version of a conjecture by Varagnolo and Vasserot on an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a suitable truncation of an affine parabolic category O that, in particular, implies Rouquier's conjecture on the decomposition numbers in the former. Our proof uses two ingredients: an extension of Rouquier's deformation approach as well as categorical actions on highest weight categories and related combinatorics. This text replaces arXiv:1207.1299.

연구 동기 및 목표

• 순환 리아소프 리만니크 대수의 $\mathcal{O}$ 범주와 아핀 평행 범주 $\mathcal{O}$ 의 잘라낸 부분 사이의 동치에 대한 바르아고놀로-바세로트 추측의 점 渐진적 형태를 증명하는 것.
• 이 동치를 통해 순환 리아소프 리만니크 대수의 $\mathcal{O}$ 범주에서의 분해 수에 대한 루오커 추측을 검증하는 데 도구로 사용하는 것.
• 루오커의 변형 접근법을 확장하고 최고 무게 범주에 카테고리적 $\mathfrak{sl}_2$-작용을 적용하여 동치를 달성하는 것.
• 일부 조건 하에서 KZ 함자와 히드라 알제브라로의 몫 함자가 완전 충실함을 보여주어 동치를 구성하는 것.
• 결과로 얻어진 동치가 순환 리아소프 리만니크 범주 $\mathcal{O}$ 에 대한 추측된 코스줄 듀얼리티를 암시함을 보여주는 것.

제안 방법

• 최고 무게 범주에 카테고리적 $\mathfrak{sl}_2$-작용을 포함한 루오커의 변형 접근법을 활용한다.
• 카테고리적 $\mathfrak{sl}_2$-작용을 적용하여 $\mathcal{O}$ 범주의 구조를 모델링하고 아핀 평행 범주와 연관지킨다.
• GGOR 범주 $\mathcal{O}$ 에서 순환 히드라 대수의 모듈러 범주로의 KZ 함자를 활용하며, 표준적으로 필터링된 대상에서의 완전 충실성을 이용한다.
• 변형 프레임워크 내에서 함자의 $(-1)$-충실성과 $0$-충실성을 확인하기 위해 다중분할과 크리스탈에 대한 조합 조건을 사용한다.
• 최고 무게 범주 사이의 함자에 대한 충실성에 관한 정리 3.4를 적용하며, 프로젝티브 대상과 분수체로의 기저 변경을 통해 조건을 검증한다.
• 확장된 몫 $Q^j_R(\nu)$ 를 구성하고 분석하여 순환 리아소프 리만니크 범주 $\mathcal{O}$ 와 잘라낸 아핀 평행 범주 $\mathcal{O}$ 를 연결한다.

실험 결과

연구 질문

• RQ1 바르아고놀로와 바세로트가 추측한 바와 같이, 순환 리아소프 리만니크 대수의 $\mathcal{O}$ 범주와 아핀 평행 범주 $\mathcal{O}$ 의 적절한 잘라낸 부분 사이에 동치가 존재하는가?
• RQ2 이러한 동치를 통해 순환 리아소프 리만니크 대수의 $\mathcal{O}$ 범주에서의 분해 수에 대한 루오커 추측을 확인할 수 있는가?
• RQ3 카테고리적 $\mathfrak{sl}_2$-작용과 변형 기법이 최고 무게 범주 맥락에서 이러한 동치를 확립하는 데 얼마나 널리 적용될 수 있는가?
• RQ4 다중분할과 크리스탈에 대한 조합 조건은 변형 프레임워크 내에서 함자의 충실성과 어떻게 관련되는가?
• RQ5 이 동치는 순환 리아소프 리만니크 범주 $\mathcal{O}$ 에 대한 추측된 코스줄 듀얼리티를 암시하는가?

주요 결과

• 논문은 순환 리아소프 리만니크 대수의 $\mathcal{O}$ 범주와 아핀 평행 범주 $\mathcal{O}$ 의 잘라낸 부분 사이의 동치를 확립하여 바르아고놀로-바세로트 추측의 점 渐진적 형태를 증명한다.
• 이 동치는 순환 리아소프 리만니크 대수의 $\mathcal{O}$ 범주에서의 분해 수에 대한 루오커 추측을 암시하며, 이 수들이 평행 카즈단-류스트리크 다항식으로 주어진다는 것을 확인한다.
• 증명은 표준적으로 필터링된 대상에서 KZ 함자의 완전 충실성과 카테고리적 $\mathfrak{sl}_2$-작용을 통한 범주 구조의 통제에 기반한다.
• 저자들은 정리 3.4에 필요한 조건을 프로젝티브 대상과 분수체로의 기저 변경을 통해 검증하여 잘라낸 범주 간의 동치를 확인한다.
• 결과로 코스줄 듀얼리티 추측도 암시되며, 순환 리아소프 리만니크 범주 $\mathcal{O}$ 가 코스줄임을 보이고 그 코스줄 듀얼을 기술할 수 있음을 보여준다.
• 특수한 경우 $\ell=1$ 에서는 $q$-스처 알제브라와 루스티그의 $\mathfrak{gl}_m$ 양자군의 형태에 대한 모듈러 범주와의 동치를 이용하여 동치에 대한 대안적 증명을 제공한다.