[논문 리뷰] Rouquier's conjecture and diagrammatic algebra

Ben Webster|arXiv (Cornell University)|2013. 06. 01.

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

한 줄 요약

이 논문은 순환 유리 Cherednik 대수의 범주 O를 체계적으로 실현하는 두 개의 다이어그램 대수를 구성하여 Rouquier의 추측을 증명한다. 이로써 분해 수와 고차원 Fock 공간에서 Uglov의 최대기저 사이의 직접적인 연결이 확립된다. 주요 기여는 범주 O에 대한 완전히 명시적이고, 군화된, 다이어그램적인 모델을 제공함으로써, 동차 셀 기저와 ℓ와 e의 역할을 교환하는 코즐 다이얼로지가 포함된 것이다.

ABSTRACT

We prove a conjecture of Rouquier relating the decomposition numbers in category $\mathcal{O}$ for a cyclotomic rational Cherednik algebra to Uglov's canonical basis of a higher level Fock space. Independent proofs of this conjecture have also recently been given by Rouquier, Shan, Varagnolo and Vasserot and by Losev, using different methods. Our approach is to develop two diagrammatic models for this category $\mathcal{O}$; while inspired by geometry, these are purely diagrammatic algebras, which we believe are of some intrinsic interest. In particular, we can quite explicitly describe the representations of the Hecke algebra that are hit by projectives under the $\mathsf{KZ}$-functor from the Cherednik category $\mathcal{O}$ in this case, with an explicit basis. This algebra has a number of beautiful structures including categorifications of many aspects of Fock space. It can be understood quite explicitly using a homogeneous cellular basis which generalizes such a basis given by Hu and Mathas for cyclotomic KLR algebras. Thus, we can transfer results proven in this diagrammatic formalism to category $\mathcal{O}$ for a cyclotomic rational Cherednik algebra, including the connection of decomposition numbers to canonical bases mentioned above, and an action of the affine braid group by derived equivalences between different blocks.

연구 동기 및 목표

• 순환 Cherednik 대수의 범주 O에서의 분해 수와 Fock 공간에서 Uglov의 최대기저 사이의 연결을 밝혀내는 것.
• 순환 유리 Cherednik 대수의 범주 O를 모델링하는 명시적인 다이어그램 대수를 구성하는 것.
• KZ 함수자의 이미지와 프로젝티브 모듈의 구조를 이해하기 위한 새로운 순수 조합론적이고 다이어그램적인 프레임워크를 제공하는 것.
• 쌍대 매개수에 대응하는 대수들 사이의 코즐 다이얼로지를 수립하여, 조합론에서 ℓ와 e 사이의 대칭성을 드러내는 것.
• Brundan-Kleshchev의 히드라 대수의 군화와 호환되는, 범주 O의 군화된 리프트를 제공하여 분해 수의 q-아날로그를 가능하게 하는 것.

제안 방법

• 두 가지 표현 방식을 통해 다이어그램 대수 Ts를 구성: 비동차적 '헤크 유사' 형태와 군화된 'KLR 유사' 형태로, Khovanov-Lauda-Rouquier 대수를 일반화한다.
• 같은 모양의 일반화된 표준 Young 표를 인덱스로 하는 동차 셀 기저를 정의하여 명시적인 모듈 기술을 가능하게 한다.
• Ts의 유한차원 표현 범주와 순환 Cherednik 대수의 범주 O 사이의 동치를 수립하여 정리 A를 증명한다.
• Webe의 펄스러운 층에서 유래한 기하적 입력을 활용하여, KZ 함수자 아래에서 프로젝티브 모듈의 이미지가 Uglov의 최대기저와 일치함을 증명한다.
• s와 s′가 e를 모듈로로 한 순열일 경우, 애매한 브레이드 군 작용 하에 유도 범주 Db(Ts -mod)와 Db(Ts′ -mod) 사이의 동치를 증명하여 정리 B(3)를 확보한다.
• ℓ×e 크기의 구슬 위치 행렬을 공액기에서 전치함으로써 Ts와 그 쌍대 대수 사이의 코즐 다이얼로지를 수립하며, 이는 애매한 웨일 군의 역작용을 통해 일치한다.

실험 결과

연구 질문

• RQ1 순환 유리 Cherednik 대수의 범주 O는 다이어그램 방법으로 어떻게 명시적으로 기술할 수 있는가?
• RQ2 이 범주에서의 분해 수와 고차원 Fock 공간에서 Uglov의 최대기저 사이의 정확한 관계는 무엇인가?
• RQ3 KZ 함수자 아래에서 프로젝티브 모듈의 이미지는 명시적인 기저와 군화로 기술될 수 있는가?
• RQ4 애매한 브레이드 군은 이러한 대수의 유도 범주에 어떻게 작용하며, 그 기하적 기원은 무엇인가?
• RQ5 이 설정에서 코즐 다이얼로지의 조합론적 구조는 무엇이며, 그것과 아바쿠스 행렬의 전치는 어떻게 관련되는가?

주요 결과

• 순환 유리 Cherednik 대수의 범주 O는 다이어그램 대수 Ts의 유한차원 표현 범주와 카테고리적으로 동치이며, 이는 문헌에서 처음으로 이 범주에 대한 명시적 기술을 제공한다.
• 다이어그램 대수 Ts는 같은 모양의 일반화된 표준 Young 표 쌍을 인덱스로 하는 동차 셀 기저를 지닌다. 이는 명시적인 모듈 구성 가능성을 보장한다.
• 군화된 그로텐디에크 군 K0_q(Ts)는 Uglov의 q-Fock 공간과 자연스럽게 동형이며, 표준 모듈은 순수 외적을, 프로젝티브 모듈은 최대기저로, 단순 모듈은 그 쌍대 기저로 대응한다.
• 충전 수 s와 s′가 e를 모듈로로 한 순열일 경우, 애매한 브레이드 군 작용 하에 유도 범주 Db(Ts -mod)와 Db(Ts′ -mod)는 동치이며, 이는 애매한 웨일 군 작용을 리프팅한다.
• Ts와 그 쌍대 대수 사이의 코즐 다이얼로지는 아바쿠스의 ℓ×e 크기의 구슬 위치 행렬을 전치함으로써 조합론적으로 실현되며, 이 다이얼로지 맵은 ℓ와 e의 역할을 서로 바꾼다.
• Ts의 군화는 코즐이며, 대수는 균형 잡힌 표준 코즐 대수로서, [Webe]와 [RSVV]의 기하적 입력을 통해 확립된다.