[논문 리뷰] Quantizations of conical symplectic resolutions I: local and global structure

Tom Braden, Nicholas Proudfoot외 1명|arXiv (Cornell University)|2012. 08. 19.

Algebraic structures and combinatorial models참고 문헌 60인용 수 93

한 줄 요약

이 논문은 콘형 심플렉틱 해소의 양자화를 위한 통합적 프레임워크를 수립하며, 보일린슨-버너스타인 국지화 이론과 리 대수기반을 초월한 하리슈-차이라 빌모듈 이론을 일반화한다. 일반기의 경우, 전역 섹션과 국지화 유도 함자들이 유도 동치를 이룬다는 것을 증명하며, 브레인 군 작용과 트위스팅 함자를 퀘이버 및 히퍼토릭 다양체와 같은 새로운 대수로 확장한다.

ABSTRACT

We re-examine some topics in representation theory of Lie algebras and Springer theory in a more general context, viewing the universal enveloping algebra as an example of the section ring of a quantization of a conical symplectic resolution. While some modification from this classical context is necessary, many familiar features survive. These include a version of the Beilinson-Bernstein localization theorem, a theory of Harish-Chandra bimodules and their relationship to convolution operators on cohomology, and a discrete group action on the derived category of representations, generalizing the braid group action on category O via twisting functors. Our primary goal is to apply these results to other quantized symplectic resolutions, including quiver varieties and hypertoric varieties. This provides a new context for known results about Lie algebras, Cherednik algebras, finite W-algebras, and hypertoric enveloping algebras, while also pointing to the study of new algebras arising from more general resolutions.

연구 동기 및 목표

• 보일린슨-버너스타인 국지화 이론과 하리슈-차이라 빌모듈 이론을 보편 환의 대수를 초월하여 일반화하기 위해.
• 일반기의 경우, 양자화된 해소의 모듈 범주와 그 섹션 환 사이의 유도 동치를 수립하기 위해.
• 심플렉틱 해소에서 유래하는 새로운 종류의 대수로, 브레인 군 작용을 트위스팅 함자를 통해 확장하기 위해.
• 처르레니크 대수, 유한 W-대수, 히퍼토릭 환의 대수 표현 이론을 위한 통일된 프레임워크를 제공하기 위해.

제안 방법

• 콘형 심플렉틱 해소의 변형 양자화를 사용하며, H²(M; ℂ)로 매개변수화된다.
• 양자 해밀토니안 감소를 적용하고, 양자 디우스터마트-헤크만 정리를 증명한다.
• 비일반기의 경우 섹션 환 A를 대체하기 위해 Z-대수를 도입한다.
• 양자화된 대수 위의 모듈 범주 D -mod를 구성하며, M이 코타angent 번들의 경우 휘어진 D-모듈과 동치가 된다.
• 일반기의 경우 전역 섹션과 국지화 함자를 통해 유도 동치를 수립한다.
• 쇠르겔의 동치와 기하적 실현을 이용해, 범주 O의 트위스팅 함자를 양자화된 해소의 유도 범주로 번역한다.

실험 결과

연구 질문

• RQ1 보일린슨-버너스타인 국지화 이론은 플래그 다양체를 초월하여 임의의 콘형 심플렉틱 해소로 어떻게 일반화될 수 있는가?
• RQ2 양자화된 해소의 모듈 범주와 그 섹션 환 사이의 유도 동치가 성립하기 위한 조건은 무엇인가?
• RQ3 트위스팅 함자와 브레인 군 작용은 범주 O에서 심플렉틱 해소에서 유래한 새로운 대수로 어떻게 확장될 수 있는가?
• RQ4 특성 사이클은 트위스팅 함자가 유도 범주에 작용할 때 어떤 역할을 하는가?
• RQ5 해소의 기하학적 구조는 그 양자화된 표현 이론의 구조에 어떻게 영향을 미치는가?

주요 결과

• 주기 λ + kη에서 η가 풍부한 경우, 모든 유한한 복소수 k를 제외한 나머지 경우에 대해 전역 섹션의 유도 함자와 국지화 함자가 서로의 역 동치를 이룬다.
• 양자화된 디우스터마트-헤크만 정리가 증명되며, 이는 양자화와 해밀토니안 감소 사이의 관계를 설명한다.
• 표현의 유도 범주에서 트위스팅 함자는 강한 프로젝티브 함자와의 강한 가환성과 베르마 모듈에 대한 작용에 의해 유일하게 특징지어진다.
• 기본군 π₁(E/W, [λ])의 유도 범주에 대한 작용은 웨일 군을 통해 인코딩되며, H²ᵈⁱᵐᴹᶻ(M × M; ℂ)로의 준동형을 유도한다.
• 트위스팅 함자의 그로텐디크 군 작용은 기하학적 하리슈-차이라 빌모듈과 그 특성 사이클을 통한 콘볼루션을 통해 실현된다.
• 논문은 양자화된 해소 위의 휘어진 D-모듈의 유도 범주에서 아르히포프의 트위스팅 함자의 기하학적 실현을 구성한다.