[논문 리뷰] On Deformation Quantizations of Hypertoric varieties

Gwyn Bellamy, Toshiro Kuwabara|arXiv (Cornell University)|2010. 05. 25.

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

한 줄 요약

이 논문은 미분 연산자 대신 W-대수를 사용하여 초타원형 다양체에 대한 베일린스킨-버니스타인 유형의 국소화 정리를 수립한다. 그들은 GIT 챔버 내부에 있는 특성에 대해 양자 해밀턴 감소에 대한 모듈의 범주가 W-대수의 층에 대한 양호한 모듈의 범주와 동치임을 증명하며, 이는 순환군에 대한 유리형 체레드니크 대수에 응용된다.

ABSTRACT

Based on a construction by Kashiwara and Rouquier, we present an analogue of the Beilinson- Bernstein localization theorem for hypertoric varieties. In this case, sheaves of differential operators are replaced by sheaves of W-algebras. As a special case, our result gives a localization theorem for rational Cherednik algebras associated to cyclic groups.

연구 동기 및 목표

• 미분 연산자 대신 W-대수를 사용하여 초타원형 다양체로 베일린스킨-버니스타인 국소화 정리를 확장하는 것.
• 양자 해밀턴 감소에 대한 모듈의 범주와 초타원형 다양체 위의 W-대수의 층에 대한 양호한 모듈의 범주 사이의 범주적 동치를 수립하는 것.
• 결과를 순환군에 관련된 유리형 체레드니크 대수에 적용하여, 특히 칼라인 특이점의 맥락에서 고려하는 것.
• 해밀턴 감소를 통한 초타원형 다양체 위의 W-대수에 대해 W-유창성과 전역 생성 성질을 증명하는 것.
• 양자 해밀턴 감소의 유한한 전역 차원이 매개변수 공간의 제약 없이도(벽을 제외하고) 국소화 동치가 성립함을 보이는 것.

제안 방법

• 재구성된 군의 작용에 의한 심플렉틱 벡터 공간 위의 해밀턴 감소를 통한 심플렉틱 다양체 위의 W-대수의 카시와라-루이에르 구성 방법을 사용한다.
• 초타원형 다양체에 대해 W-유창성에 대한 기준을 적용하며, 이는 심플렉틱 벡터 공간 위의 토르스 작용의 해밀턴 감소이다.
• 모듈러 해밀턴 감소 이론을 토르스 작용에 적용하며, 무송과 반 데른 베르그의 이러한 대수의 구조에 대한 결과를 활용한다.
• 환경 공간으로부터의 풀어내림을 통해 초타원형 다양체 위의 W-대수의 층을 정의하여 심플렉틱 구조와의 호환성을 확보한다.
• 국소화 함자 $\mathsf{Loc}(M) = \mathscr{A}_{\chi} \otimes_{\mathsf{U}_{\chi}} M$ 와 그 준수함자 $\mathsf{Sec}(\mathscr{M}) = \mathrm{Hom}_{\mathscr{A}_{\chi}}(\mathscr{A}_{\chi}, \mathscr{M})$ 를 사용하여 범주적 동치를 수립한다.
• GIT 챔버 내부에 있는 $\chi$ 에 대해 $\mathsf{U}_{\chi}$ 의 유한한 전역 차원에 관한 결과를 적용하여 동치의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 W-대수를 사용하여 미분 연산자가 아닌 초타원형 다양체에 대해 베일린스킨-버니스타인 스타일의 국소화 정리를 수립할 수 있는가?
• RQ2 국소화 함자 $\mathsf{Loc}$ 가 $\mathsf{U}_{\chi}$-모듈의 범주와 $\mathscr{A}_{\chi}$-모듈의 양호한 범주 사이의 동치를 유도하는 조건은 무엇인가?
• RQ3 초타원형 다양체 위의 W-대수 이론은 순환군에 대한 유리형 체레드니크 대수와 어떻게 관련이 있는가?
• RQ4 GIT 챔버의 구조와 G.I.T. 벽의 회피가 전역 단면 함자의 유한성과 반단순성 보장에 어떤 역할을 하는가?
• RQ5 유한한 전역 차원을 가진 $\mathsf{U}_{\chi}$ 가 매개변수 공간의 제약 없이도 국소화 동치의 타당성을 보장하는 데 얼마나 기여하는가?

주요 결과

• 모든 $\chi \in C_{\mathbb{Q}}$ 에 대해, $\chi$ 가 GIT 챔버 내부에 있을 경우 국소화 함자 $\mathsf{Loc}$ 는 범주적 동치 $\mathsf{U}_{\chi}\text{-mod} \xrightarrow{\sim} \underline{\mathrm{Mod}}^\mathrm{good}_F(\mathscr{A}_{\chi})$ 를 유도하며, 그 역은 $\mathsf{Sec}$ 이다.
• 모든 $\chi \in C_{\mathbb{Q}}$ 에 대해, $\theta \in C \cap \mathbb{X}(T)$ 가 존재하여 $\mathsf{Loc}$ 가 동치 $\mathsf{U}_{\chi + \theta}\text{-mod} \xrightarrow{\sim} \mathrm{Mod}^\mathrm{good}_F(\mathscr{A}_{\chi + \theta})$ 를 유도한다.
• 만약 $\mathsf{U}_{\chi}$ 가 유한한 전역 차원을 가진다면, $\mathsf{Loc}$ 는 동치 $\mathsf{U}_{\chi}\text{-mod} \xrightarrow{\sim} \mathrm{Mod}^\mathrm{good}_F(\mathscr{A}_{\chi})$ 를 유도한다.
• 최소 해석 $\widetilde{\mathbb{C}^2/\mathbb{Z}_m}$ 에서, 국소화 정리는 유리형 체레드니크 대수 $H_{\mathbf{h}}$ 에 적용되며, $\mathbf{h} \notin \mathcal{C}$ 이면 동치 $H_{\mathbf{h}}\text{-mod} \xrightarrow{\sim} \mathrm{Mod}^\mathrm{good}_F(\mathscr{A}_{\mathbf{h}})$ 가 성립한다.
• 구면 부분대수 $eH_{\mathbf{h}}e$ 는 $\mathfrak{gl}_m(\mathbb{C})$ 의 하위정규(nilpotent) 원소에 관련된 유한한 $\mathcal{W}$-대수와 동형이며, 국소화 결과는 이 맥락에서 알려진 동치를 복원한다.
• 동치는 함자 $\mathsf{Loc}(e \cdot -)$ 와 $eH_{\mathbf{h}}e \otimes_{eH_{\mathbf{h}}e} \mathsf{Sec}(-)$ 를 통해 실현되며, 이는 기존의 $\mathcal{W}$-대수와 체레드니크 대수 이론에 대한 결과들과의 호환성을 확인한다.