[논문 리뷰] Quiver varieties, category O for rational Cherednik algebras, and Hecke algebras

Iain J. Gordon|ArXiv.org|2007. 03. 06.

Algebraic structures and combinatorial models참고 문헌 32인용 수 27

한 줄 요약

이 논문은 합리적 체레드니크 대수, 퀼리 다양체, 헤케 대수 간의 기하적 다리를 구축하여, 범주 $\mathcal{O}$ 내의 $c$-함수를 나카지마 퀄리 다양체 위의 모르스 함수와 연결함으로써 $c$-순서의 기하적 해석을 제공하고, KZ-함수를 통해 헤케 대수의 $a$-함수와의 연결을 드러냄으로써, 퀄리 다양체 위의 G.I.T. 카메라 구조를 기반으로 한 통합된 기하적 프레임워크를 제시함으로써 표현 이론의 조합적 순서를 기하학적으로 해석함.

ABSTRACT

We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically using this relationship; we also relate the geometry to the a-function for Hecke algebras with unequal parameters.

연구 동기 및 목표

• 나카지마 퀄리 다양체를 이용하여 합리적 체레드니크 대수의 범주 $\mathcal{O}$에 대한 기하 모델을 제공한다.
• 범주 $\mathcal{O}$ 내의 $c$-함수 순서를 퀄리 다양체 위의 모으스 함수로 해석하여 최고 무게 구조의 기하적 기원을 제공한다.
• 이와하라-헤케 대수의 $a$-함수를 퀄리 다양체 위의 G.I.T. 카메라 구조와 연결하여, 본나페와 제크의 가설(가중치 함수 등가류)과의 연관성을 밝힌다.
• 퀄리 다양체와 안정성 매개변수를 기반으로 한 공통된 기하적 프레임워크를 통해 체레드니크 대수와 헤케 대수의 조합론을 통합한다.

제안 방법

• 합리적 체레드니크 대수의 표현 범주로부터 $\mathbb{Z}$-대수를 구성하고, 이를 나카지마 퀄리 다양체 위의 층과 연결한다.
• 퀄리 다양체의 기하학을 활용하여 $c$-함수를 위상적 모으스 함수로 해석하고, 안정성 매개변수 $\boldsymbol{\theta}$가 G.I.T. 카메라에 대응함을 보인다.
• 퀄리 다양체 내의 유인 부분다양체 $\mathcal{Z}_{\boldsymbol{\lambda}}$를 통해 $\ell$-다중분할에 대한 기하적 부분순서 $\prec_{\bf h}$를 정의한다.
• KZ-함수를 적용하여 체레드니크 대수의 기하 정보를 순환 헤케 대수로 이전하고, $a$-함수와 퀄리 다양체의 분할 구조를 연결한다.
• 매개변수 공간 $\mathbb{Q}^\ell$의 카메라 분할을 분석하여 $a$-함수가 G.I.T. 카메라 내에서 일정함을 보이고, 본나페와 제크의 가설을 지지함을 밝힌다.
• $\beta$-수, 함의, 애매한 대칭군 $\tilde{\mathfrak{S}}_\ell$와 같은 조합론적 도구를 사용하여 기하 순서와 그 정교화를 묘사한다.

실험 결과

연구 질문

• RQ1 합리적 체레드니크 대수의 범주 $\mathcal{O}$ 내의 $c$-함수 순서는 퀄리 다양체를 통해 어떻게 기하학적으로 해석될 수 있는가?
• RQ2 $c$-함수와 나카지마 퀄리 다양체의 모으스 이론 사이의 관계는 무엇이며, 특히 안정성 매개변수와 카메라 분할 측면에서 어떻게 설명될 수 있는가?
• RQ3 불균형 매개변수를 가진 이와하라-헤케 대수의 $a$-함수는 퀄리 다양체의 G.I.T. 카메라 구조와 어떻게 관련이 있는가?
• RQ4 퀄리 다양체에서 유도된 $\ell$-다중분할 위의 기하 순서는 $c$-순서를 정교화하고 범주 $\mathcal{O}$의 최고 무게 구조를 유지하는가?
• RQ5 $c$-카메라와 $a$-함수 등가류는 매개변수 공간에서 동일한 G.I.T. 카메라 분할을 따르는가?

주요 결과

• 합리적 체레드니크 대수의 범주 $\mathcal{O}$ 내의 $c$-함수 순서는 나카지마 퀄리 다양체 위의 모으스 함수에서 기인하며, 최고 무게 구조의 기하적 기원을 제공한다.
• 기하적 부분순서 $\prec_{\bf h}$는 퀄리 다양체 내의 유인 부분다양체 $\mathcal{Z}_{\boldsymbol{\lambda}}$를 통해 정의되며, 최고 무게 구조를 유지할 것으로 기대된다.
• 헤케 대수의 $a$-함수는 퀄리 다양체 매개변수 공간의 G.I.T. 카메라 내에서 일정하며, 본나페와 제크의 가설(가중치 함수 등가류)을 지지한다.
• $\mathbb{Q}^\ell$ 매개변수 공간 내의 $c$-카메라는 $c$-함수가 다중분할에 대해 동일한 총순서를 유도하는 영역이며, 이 카메라는 퀄리 다양체 구축의 G.I.T. 카메라와 일대일 대응된다.
• 기하 순서의 조합론적 구조는 $\beta$-수와 함의 함수를 통해 묘사되며, $\mathbb{Z}$-대수 구성법을 통해 $c$-함수와 퀄리 다양체 기하학 간의 명시적 공식이 유도된다.
• 상대적 위치에 따른 $B$-수의 경우 분석을 통해 $L(\boldsymbol{\lambda}) - L(\boldsymbol{\mu}) = R(\boldsymbol{\lambda}) - R(\boldsymbol{\mu})$의 등식이 증명되어 기하 순서의 일관성을 확인한다.