[논문 리뷰] Harish-Chandra bimodules for quantized Slodowy slices

Victor Ginzburg|ArXiv.org|2008. 07. 02.

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

한 줄 요약

이 논문은 프리미트의 양자 슬로도위 슬라이스 위에서의 하리슈-찬드라 이중모듈을 도입하며, 슬로도위 슬라이스 위의 다항함수의 파울슨 대수에 대한 비가환 변형인 비가환 대수에 대해 연구한다. 마이크로로컬 기법을 통해 정규 특이점을 정의하고, 번역 함자들을 구성함으로써, 이러한 대수들에 대해 카테고리 O의 유사체를 제공한다. 저자는 프리미트의 원시 이상에 대한 추측을 증명하고, 비가환 프로젝션 구성법을 통해 비가환 해상도를 구축한다.

ABSTRACT

The Slodowy slice is an especially nice slice to a given nilpotent conjugacy class in a semisimple Lie algebra. Premet introduced noncommutative quantizaions of the Poisson algebra of polynomial functions on the Slodowy slice. In this paper, we define and study Harish-Chandra bimodules over Premet's algebras. We apply the technique of Harish-Chandra bimodules to prove a conjecture of Premet concerning primitive ideals, and to construct `noncommutative resolutions' of Slodowy slices via translation functors.

연구 동기 및 목표

• 프리미트의 양자 슬로도위 슬라이스 대수 $A_c$에 대해, 카테고리 O의 유사체가 없는 문제를 해결하고자 하며, 이는 슬로도위 슬라이스 위의 파울슨 대수에 대한 비가환 변형이다.
• 약한 하리슈-찬드라 이중모듈과 정규 특이점의 개념을 사용하여, $A_c$ 위에서의 하리슈-찬드라 이중모듈의 카테고리를 정의함으로써, 카테고리 O의 대체물로 기능하도록 한다.
• 유한 차원 $A_c$-모듈이 원시 이상을 갖는다는 프리미트의 추측을 증명하며, 이는 유한 차원 $A_c$-모듈이 유한 차원 $\mathcal{U}(\mathfrak{g})$의 원시 이상을 가지며, 그 관련 다양체가 담근 원소 $e$의 고정점의 동치류의 폐포임을 보여준다.
• 번역 함자들과 비가환 프로젝션 구성법을 통해 슬로도위 슬라이스 $\mathcal{S}$의 비가환 해상도를 구축함으로써, 비가환 대수기하학에서의 이전 결과를 일반화한다.

제안 방법

• 필터링된 대수 $A$ 위에서 약한 하리슈-찬드라 이중모듈을 정의하며, $\operatorname{gr} A$ 가 가환이고 파울슨 대수임을 가정하여, 고전적인 $\mathcal{U}(\mathfrak{g})$의 개념을 일반화한다.
• 마이크로로컬 기법을 사용하여 $A_c$-이중모듈의 정규 특이점을 정의함으로써, 플래그 다양체 위의 $\mathscr{D}$-모듈 이론에서의 결과를 확장한다.
• 베일린슨-버니스타인 국소화 정리를 적용하여 $\mathscr{D}$-모듈을 $\mathcal{B} \times \mathcal{B}$ 위에서 $({\mathcal{U}}_{\mu},{\mathcal{U}}_{\nu})$-이중모듈과 연결함으로써, 국소적으로 유한한 수반 작용과 정규 특이점 사이의 동치를 확립한다.
• 하리슈-찬드라 $\mathcal{U}(\mathfrak{g})$-이중모듈에서 하리슈-찬드라 $A_c$-이중모듈로의 위트너 타입 함자를 구성함으로써 표현론적 자료의 이동을 가능하게 한다.
• 번역 함자들을 $A_c$-모듈에 적용하여 비가환 프로젝션 구성법을 정의함으로써, 슬로도위 슬라이스 $\mathcal{S}$의 비가환 해상도를 얻는다.
• 군 $G^{sc}$-등변 $\mathscr{D}$-모듈이 $\mathcal{B} \times \mathcal{B}$ 위에서 정의된 경우, 유한 개의 궤도를 가지므로 정규 특이성을 갖는다는 사실을 이용하여, 정규 특이성을 유도한다.

실험 결과

연구 질문

• RQ1 프리미트의 양자 슬로도위 슬라이스 대수 $A_c$에 대해 하리슈-찬드라 이중모듈의 카테고리를 정의할 수 있는가? 이는 카테고리 O의 대체물로 기능할 수 있는가?
• RQ2 어떻게 $A_c$-이중모듈에 대해 정규 특이점의 올바른 개념을 정의할 수 있으며, 이는 $\mathscr{D}$-모듈 이론의 고전적 개념과 어떻게 관련이 있는가?
• RQ3 하리슈-찬드라 $\mathcal{U}(\mathfrak{g})$-이중모듈에서 $A_c$-이중모듈로의 위트너 함자 구성법이 원시 이상에 대한 프리미트의 추측을 증명하는 데 새로운 증명을 제공하는가?
• RQ4 번역 함자들을 $A_c$-모듈에 적용하여 비가환 프로젝션 구성법을 통해 슬로도위 슬라이스 $\mathcal{S}$의 비가환 해상도를 구축할 수 있는가?
• RQ5 하리슈-찬드라 $A_c$-이중모듈의 카테고리는 담근 원소 $e$의 담근 궤도의 폐포인 $\overline{\operatorname{Ad} G(e)}$의 기하학과 어떻게 관련이 있는가?

주요 결과

• 하리슈-찬드라 $A_c$-이중모듈의 카테고리는 정규 특이점을 갖는 약한 하리슈-찬드라 이중모듈로 정의되며, 직접적인 유사체가 없는 상황에서 카테고리 O의 자연스러운 대체물이 된다.
• 하리슈-찬드라 $\mathcal{U}(\mathfrak{g})$-이중모듈에서 $A_c$-이중모듈로의 위트너 함자를 구성하고, 이를 통해 프리미트의 추측을 증명하는 새로운 직접적 증명을 제시한다. 이는 $A_c$-유한 차원 모듈이 원시 이상을 가지며, 그 관련 다양체가 $\overline{\operatorname{Ad} G(e)}$임을 보여준다.
• $\mathscr{D}$-모듈이 $\mathcal{B} \times \mathcal{B}$ 위에서 국소적으로 유한한 수반 작용과 정규 특이점 사이의 동치는 마이크로로컬 기법을 통해 $A_c$-이중모듈로 확장된다.
• 번역 함자들을 $A_c$-모듈에 정의하고, 이를 통해 비가환 프로젝션 구성법을 통해 슬로도위 슬라이스 $\mathcal{S}$의 비가환 해상도를 얻는다. 이는 고든-스터포드와 보야르체노코의 이전 작업을 일반화한다.
• 번역 함자들을 통한 비가환 해상도의 구성은 하위정규 경우에서 보야르체노코의 해상도를 회복할 것으로 예상되며, 브리스코른-슬로도위 이론에 의해 켈러니안 특이점의 기하학과도 호환된다.
• 하리슈-찬드라 이중모듈 이론은 $A_c$의 양면 이상과 원시 이상을 연구하는 데 사용할 수 있는 프레임워크를 제공하며, 이는 고전적인 $\mathcal{U}(\mathfrak{g})$ 이론을 일반화한다.