[논문 리뷰] Quantizations of nilpotent orbits vs 1-dimensional representations of W-algebras

Ivan Losev|arXiv (Cornell University)|2010. 04. 10.

Advanced Algebra and Geometry참고 문헌 18인용 수 5

한 줄 요약

이 논문은 $G$--equivariant nilpotent 궤도(및 그 커버링)의 양자화와 유한 W대수의 $\Gamma$-고정 1차원 표현 사이에 일대일 대응을 수립한다. 여기서 $\Gamma$는 커버링 상의 점의 안정자군의 성분군이다. 이 결과는 Moeglin의 Whittaker 모델과 원시 이상에 관한 이전 작업을 통해 알려져 있었지만, 이 논문에서는 변형 양자화와 제트 번들의 기법을 사용하여 더 직접적이고 자연스러운 증명을 제시한다.

ABSTRACT

Let g be a semisimple Lie algebra over an algebraically closed field K of characteristic 0 and O be a nilpotent orbit in g. Then Orb is a symplectic algebraic variety and one can ask whether it is possible to quantize $\Orb$ (in an appropriate sense) and, if so, how to classify the quantizations. On the other hand, for the pair (g,O) one can construct an associative algebra W called a (finite) W-algebra. The goal of this paper is to clarify a relationship between quantizations of O (and of its coverings) and 1-dimensional W-modules. In the first approximation, our result is that there is a one-to-one correspondence between the two. The result is not new: it was discovered (in a different form) by Moeglin in the 80's.

연구 동기 및 목표

• Nilpotent 궤도의 양자화와 유한 W대수의 1차원 표현 간의 관계를 명확히 하기 위해.
• 기존의 알려진 양자화와 1차원 $\mathcal{W}$-모듈 표현 간의 대응을 변형 양자화와 기하학적 기법을 사용하여 재정립하는 것.
• Moeglin의 이전 결과들 — Whittaker 모델과 원시 이상에 관한 것 — 을 변형 양자화와 $G$-equivariant 커버링의 관점에서 재구성하기 위해.
• 성분군 $\Gamma$의 고정점들을 통해 $G$-equivariant nilpotent 궤도의 양자화를 분류하기 위해.

제안 방법

• Nilpotent 궤도 $\mathbb{O}$ 상의 $G$ 및 $\mathbb{K}^\times$-작용과 호환되는 대수기하학적 설정에서의 변형 양자화를 사용한다.
• 주어진 $\mathfrak{sl}_2$-삼중체와 Slodowy 절단으로부터 W대수 $\mathcal{W}$를 구성하며, $\operatorname{gr}\mathcal{W} \cong \mathbb{K}[S]$ 이고, $Q = Z_G(e,h,f)$-작용을 부여한다.
• $\mathfrak{Id}^1(\mathcal{W})$ 를 $\mathcal{W}$의 쌍면 이디얼 중 계수 1인 것들의 집합으로 정의하여, 이는 1차원 $\mathcal{W}$-모듈을 분류한다.
• G--equivariant 커버링 $\widetilde{\mathbb{O}}$ 상의 점 $x$에 대해 성분군 $\Gamma = G_x / (G_x)^\circ$ 를 도입하고, $\mathfrak{Id}^1(\mathcal{W})$ 위에 작용하는 것으로 고려한다.
• 양자화의 제트 번들 구조와 [Lo1]의 분해 정리로부터 $\mathcal{W}$의 필터링 구조와 양자화의 분류를 연결한다.
• Rees 대수와 완비화 기법을 사용하여 $\mathcal{D}$가 최대 필터링된 Dixmier 대수와 관련됨을 보이고, 양자화로부터 유도된 $\Gamma$-고정 1차원 $\mathcal{W}$-모듈로의 대응이 이분법임을 증명한다.

실험 결과

연구 질문

• RQ1 G--equivariant nilpotent 궤도의 양자화 및 그 커버링은 어떻게 1차원 유한 W대수 표현과 관련이 있는가?
• RQ2 표현 이론적 도구가 아닌 변형 양자화와 기하학적 기법을 사용하여, 양자화와 1차원 $\mathcal{W}$-모듈 간의 대응을 재정립할 수 있는가?
• RQ3 성분군 $\Gamma = G_x / (G_x)^\circ$ 는 이러한 양자화를 분류하는 데 어떤 역할을 하는가?
• RQ4 $Q = Z_G(e,h,f)$ 가 $\mathfrak{Id}^1(\mathcal{W})$ 위에 작용할 때, 이 작용이 $\Gamma$로 내림내림되는가? 그리고 고정점 집합이 중요한 이유는 무엇인가?
• RQ5 $\mathcal{D}$의 양자화로부터 $\mathcal{A}_{\mathcal{D}}$를 구성할 때, 이 과정가 최대 필터링된 Dixmier 대수의 구조를 얼마나 잘 복원하는가?

주요 결과

• $\widetilde{\mathbb{O}}$의 $G$-equivariant 양자화의 이소모르피즘 클래스 집합과 $\mathfrak{Id}^1(\mathcal{W})$ 내의 $\Gamma$-고정점 집합 사이에 자연스러운 이분법이 존재한다. 여기서 $\Gamma$는 $\widetilde{\mathbb{O}}$ 상의 점의 안정자군의 성분군이다.
• $\mathcal{D}$의 양자화로부터 $\mathcal{A}_{\mathcal{D}}$를 구성하면, 이는 $\mathbb{O}$의 커버링을 양자화하는 최대 필터링된 Dixmier 대수가 되며, 모든 이러한 대수는 이 방식으로 유도된다.
• 증명 과정에서 제트 번들과 Rees 대수의 구조를 통해 변형 양자화와 1차원 $\mathcal{W}$-모듈 간의 직접적인 연결을 확립하였으며, Whittaker 모델 이론을 회피할 수 있었다.
• 이 결과는 Moeglin의 원시 이상에 Whittaker 모델이 존재하는 경우의 분류와 동치이지만, 더 기하학적이고 표현론적으로 명확한 프레임워크를 사용하여 재정립되었다.
• $Q = Z_G(e,h,f)$ 가 $\mathfrak{Id}^1(\mathcal{W})$ 위에 작용하는 것은 $\Gamma$ 위로 내림내림되며, 이 작용의 고정점 집합이 양자화를 분류한다.
• 대응은 자연스럽고 함의적이다: 이소모르픽인 양자화는 이소모르픽인 1차원 $\mathcal{W}$-모듈과 대응되며, 분류는 $\widetilde{\mathbb{O}}$ 상의 점 $x$의 선택에 따라 코너링을 제외하고 독립적이다.