[논문 리뷰] Supports of simple modules in cyclotomic Cherednik categories O

Ivan Losev|arXiv (Cornell University)|2015. 09. 01.

Algebraic structures and combinatorial models참고 문헌 22인용 수 24

한 줄 요약

이 논문은 $G(\ell,1,n)$에 대한 순환 유리 Cherednik 범주 $\mathcal{O}$에서 단순 모듈의 지지집합을 조합적 크리스탈 구조를 사용하여 계산한다. 새로운 $\mathfrak{sl}_\infty$-크리스탈 작용을 $\ell$-다중분할에 도입하여 $q(\lambda)$ 불변량을 표현하고, 단순 모듈 $L_c(\lambda)$의 지지집합이 $W\Gamma_{p,q}$임을 보이며, 여기서 $p(\lambda)$와 $q(\lambda)$는 각각 $\hat{\mathfrak{sl}}_e$와 $\mathfrak{sl}_\infty$ 크리스탈에서의 깊이에 의해 결정된다.

ABSTRACT

The goal of this paper is to compute the supports of simple modules in the categories $\mathcal{O}$ for the rational Cherednik algebras associated to groups $G(\ell,1,n)$. For this we compute some combinatorial maps on the set of simples: wall-crossing bijections and a certain $\mathfrak{sl}_\infty$-crystal associated to a Heisenberg algebra action on a Fock space.

연구 동기 및 목표

• 순환 Cherednik 범주 $\mathcal{O}$에서 $G(\ell,1,n)$에 대해 단순 모듈의 지지집합을 계산한다.
• 새로운 $\mathfrak{sl}_\infty$-크리스탈 구조를 사용하여 지지집합 $W\Gamma_{p,q}$에서 두 번째 매개변수인 $q(\lambda)$에 대한 조합적 공식을 제공한다.
• $\hat{\mathfrak{sl}}_e$와 $\mathfrak{sl}_\infty$ 크리스탈이 $\ell$-다중분할의 집합에서 서로 교환 가능하다는 것을 증명한다.
• 지지집합 계산을 Koszul dualit와 Gaitsgory의 중심 함수를 통한 기하적 분류화와 연결한다.

제안 방법

• $\ell$-다중분할의 집합 $\mathcal{P}_\ell$에 수준 1의 $\mathfrak{sl}_\infty$-크리스탈을 도입하며, 생성 연산자는 분할에 $e$개 상자를 추가한다.
• 벽을 넘는 이중사상 함수를 사용하여 매개변수 공간의 비어 있는 영역에서 모든 다른 영역으로 크리스탈 구조를 이전한다.
• $\hat{\mathfrak{sl}}_e$와 $\mathfrak{sl}_\infty$ 크리스탈의 교환 작용을 활용하여 $q(\lambda)$의 계산을 $\hat{\mathfrak{sl}}_e$-크리스탈의 특이 원소로 줄인다.
• 푸크 공간 표현 이론과 수준-랭크 대칭을 활용하여 $\mathfrak{sl}_\infty$-크리스탈을 히젠버그 대수 작용과 연결한다.
• 기하적 프레임워크인 아핀 범주 $\mathcal{O}^{\text{aff}}_{{\bf s},{\bf s}^\prime}$와 Gaitsgory의 중심 함수를 사용하여 히젠버그 작용을 분류적으로 실현한다.
• L4와 RSVV의 영감을 받은 구성 방법을 통해 아핀 범주의 다항식 자르기와 유한 차수의 범주 $\mathcal{O}_c(n)$을 연결한다.

실험 결과

연구 질문

• RQ1 순환 Cherednik 범주 $\mathcal{O}$에서 단순 모듈 $L_c(\lambda)$의 지지집합은 $\ell$-다중분할 $\lambda$와 매개변수 $c$로부터 어떻게 조합적으로 계산할 수 있는가?
• RQ2 지지집합 $W\Gamma_{p,q}$를 매개변수화하는 불변량 $q(\lambda)$의 조합적 구조는 무엇인가?
• RQ3 $\mathcal{P}_\ell$에 정의된 $\hat{\mathfrak{sl}}_e$와 $\mathfrak{sl}_\infty$ 크리스탈은 어떻게 상호작용하며, 이는 $q(\lambda)$의 계산에 사용될 수 있는가?
• RQ4 푸크 공간 위의 히젠버그 대수 작용은 기하적 범주 $\mathcal{O}$와 Koszul dualit를 통해 분류적으로 실현될 수 있는가?

주요 결과

• 단순 모듈 $L_c(\lambda)$의 지지집합은 $W\Gamma_{p,q}$이며, 여기서 $p(\lambda)$와 $q(\lambda)$는 각각 $\hat{\mathfrak{sl}}_e$와 $\mathfrak{sl}_\infty$ 크리스탈에서의 깊이에 의해 결정된다.
• $\mathfrak{sl}_\infty$-크리스탈은 $\mathcal{P}_\ell$ 위에 수준 1 크리스탈로 명시적으로 구성되며, 생성 연산자는 다중분할에 $e$개 상자를 추가한다.
• $\mathfrak{sl}_\infty$-크리스탈은 $\hat{\mathfrak{sl}}_e$-크리스탈과 교환 가능하여 $q(\lambda)$의 계산을 $\hat{\mathfrak{sl}}_e$-크리스탈의 특이 원소로 줄일 수 있다.
• 이 구성은 $\mathfrak{sl}_\infty$-크리스탈에서 $\lambda$의 깊이로 $q(\lambda)$에 대한 조합적 공식을 제공하며, $\ell=1$인 경우에 알려진 결과를 일반화한다.
• 푸크 공간 위의 히젠버그 대수 작용은 기하적 아핀 범주 $\mathcal{O}^{\text{aff}}_{{\bf s},{\bf s}^\prime}$에서 Gaitsgory의 중심 함수를 통해 분류적으로 실현된다.
• 범주 $\mathcal{O}^{\text{aff}}_{{\bf s},{\bf s}^\prime}$와 $\mathcal{O}^{\text{aff}}_{{\bf s}^\prime,{\bf s}}$ 사이의 Koszul dualit는 $\hat{\mathfrak{sl}}_e$와 $\hat{\mathfrak{sl}}_\ell$ 작용을 교환하며, 히젠버그 작용을 유지한다.