[논문 리뷰] Almost-commuting variety, D-modules, and Cherednik Algebras

Wee Liang Gan, Victor Ginzburg|ArXiv.org|2004. 09. 15.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 $n \times n$ 행렬 $X,Y$, 벡터 $i \in \mathbb{C}^n$, $j \in \mathbb{C}^n$ 에 대해 $[X,Y] + ij = 0$ 를 만족하는 거의교환되는 다양체 $\times$ 를 연구하며, 이가 차원 $n+1$ 의 기약 성분을 가지며, 감소된 완전교점임을 보여준다. 이는 $\mathscr{M}_{\text{nil}}$ 에 지지된 $\mathscr{D}$-모듈의 범주를 도입하고, 유리 Cherednik 대수의 범주 $\mathcal{O}$ 로의 양자 해밀토니안 축소 함자를 구성함으로써 기하적 표현론과 심플렉틱 특이점 사이의 연결 고리를 확립한다.

ABSTRACT

We study a scheme M closely related to the set of pairs of n by n-matrices with rank 1 commutator. We show that M is a reduced complete intersection with n+1 irreducible components, which we describe. There is a distinguished Lagrangian subvariety Nil in M. We introduce a category, C, of D-modules whose characteristic variety is contained in Nil. Simple objects of that category are analogous to Lusztig's character sheaves. We construct a functor of Quantum Hamiltonian reduction from category C to the category O for type A rational Cherednik algebra.

연구 동기 및 목표

• 거의교환되는 다양체 $\mathscr{M} = \{(X,Y,i,j) \mid [X,Y] + ij = 0\}$ 의 기하적 구조를 이해하는 것.
• $\mathscr{M}$ 의 스킴 이론적 성질, 즉 기약 성분, 감소성, 차원 등을 분석하는 것.
• 특성다양체가 라그랑주 부분다양체 $\mathscr{M}_{\text{nil}}$ 에 포함된 힐버트 $\mathscr{D}$-모듈의 범주 $\mathscr{C}$ 를 정의하고 연구하는 것.
• 유리 Cherednik 대수의 유형 $A$ 에 대한 범주 $\mathcal{O}$ 로의 양자 해밀토니안 축소 함자를 구성하는 것.
• 기하적 표현론적 해석을 통해 $\mathscr{D}$-모듈을 통한 문자층의 기하적 실현을 확립하는 것.

제안 방법

• $J$ 를 $[X,Y] + ij$ 의 성분들로 생성되는 아이디얼로 하여, $\mathscr{M}$ 을 몽환환의 스펙트럼 $\mathbb{C}[X,Y,i,j]/J$ 로 정의한다.
• 교환자 랭크와 순환부분공간의 차원에 따라 $k = 0, \dots, n$ 으로 색인화된 기약 성분 $\mathscr{M}_k$ 로 $\mathscr{M}$ 을 분해한다.
• 정의 방정정식의 명시적 대수적 및 기하적 분석을 통해 $\mathscr{M}$ 이 차원 $n^2 + 2n$ 의 감소된 완전교점임을 증명한다.
• $Y$ 가 영점행렬일 때의 부분다양체 $\mathscr{M}_{\text{nil}} \subset \mathscr{M}$ 을 식별하고, $T^*(\mathfrak{gl}_n \times \mathbb{C}^n)$ 에서 라그랑주 완전교점임을 보인다.
• 특성다양체가 $\mathscr{M}_{\text{nil}}$ 에 포함된 힐버트 $\mathscr{D}$-모듈의 범주 $\mathscr{C}$ 를 구성하고, Lusztig의 문자층과 유사하게 다룬다.
• 양자 해밀토니안 축소를 통해 $G$-동차 $\mathscr{D}$-모듈의 구조와 그라디에이션 대수의 준동형 $\pi^*: \mathbb{C}[\mathbf{y}]^{S_n} \to \mathbb{C}[\mathscr{M}]$ 을 통한 $\mathscr{C}$ 와 유리 Cherednik 대수의 범주 $\mathcal{O}$ 를 연결한다.

실험 결과

연구 질문

• RQ1 거의교환되는 다양체 $\mathscr{M} = \{(X,Y,i,j) \mid [X,Y] + ij = 0\}$ 의 스킴 이론적 구조는 무엇인가?
• RQ2 다양체 $\mathscr{M}$ 은 몇 개의 기약 성분을 가지며, 그 기하학적 및 표현론적 기술은 무엇인가?
• RQ3 영점 부분 $\mathscr{M}_{\text{nil}}$ 은 코탄젠트(bundle) $T^*(\mathfrak{gl}_n \times \mathbb{C}^n)$ 에서 라그랑주인가?
• RQ4 $\mathscr{M}_{\text{nil}}$ 에서의 $\mathscr{D}$-모듈의 범주를 Lusztig의 문자층과 유사한 성질을 가지도록 구성할 수 있는가?
• RQ5 유리 Cherednik 대수의 범주 $\mathcal{O}$ 로의 $\mathscr{C}$ 에서의 양자 해밀토니안 축소 함수가 정확한 함수이며, 단순 모듈의 기하적 실현을 제공하는가?

주요 결과

• 스킴 $\mathscr{M}$ 은 차원 $n^2 + 2n$ 의 감소된 완전교점이며, $n+1$ 개의 기약 성분 $\mathscr{M}_0, \dots, \mathscr{M}_n$ 을 가진다.
• 영점 부분 $\mathscr{M}_{\text{nil}}$ 는 $Y$ 가 영점행렬일 때 정의되며, $T^*(\mathfrak{gl}_n \times \mathbb{C}^n)$ 에서 라그랑주 완전교점이다.
• 특성다양체가 $\mathscr{M}_{\text{nil}}$ 에 포함된 힐버트 $\mathscr{D}$-모듈의 범주 $\mathscr{C}$ 는 Lusztig의 문자층과 유사한 단순 대상들을 가진다.
• 유리 Cherednik 대수의 범주 $\mathcal{O}$ 로의 양자 해밀토니안 축소 함수는 정확하다.
• 대수 $\mathbb{C}[\mathscr{M}]$ 은 $(X,Y,i,j) \mapsto \text{Spec}(Y)$ 에 의해 유도되는 사상 $\pi^*$ 를 통해 대칭대수 $\mathbb{C}[\mathbf{y}]^{S_n}$ 의 모듈로서 자유이다.
• 모든 $k \geq 1$ 에 대해 그라디에이션된 $\mathbb{C}[\mathbf{y}]^{S_n}$-모듈 $\mathbb{C}[\mathscr{M}]^{(k)}$ 는 $G$-작용의 평탄성과 완전가소성에 의해 자유이다.