[논문 리뷰] Quantization of Slodowy slices

Wee Liang Gan, Victor Ginzburg|arXiv (Cornell University)|2001. 05. 28.

Advanced Algebra and Geometry참고 문헌 9인용 수 23

한 줄 요약

이 논문은 복소 반단순 리 대수에서의 영점 궤도에 대한 횡단 자르기인 슬로도비 슬라이스의 양자화를 일반화된 겔판트-그레이브 표현에서 유도된 모듈을 통해 구축한다. ½-정수 값의 $\frak{sl}_2$-삼중항과 등방성 부분공간 $\frak{m}_\frak{l}$의 선택을 이용하여, 보편 포락환 $U\frak{g}$에서 몫 대수 $H_\frak{l}$를 정의하고, 그의 관련 군화 대수가 자연스러운 파울리 항등식을 지닌 슬로도비 슬라이스의 좌표환과 자연스럽게 동형임을 증명한다.

ABSTRACT

We give a direct proof of (a slight generalization of) the recent result of A. Premet related to generalized Gelfand-Graev representations and of an equivalence due to Skryabin.

연구 동기 및 목표

• 복소 반단순 리 대수 $\mathfrak{g}$의 영점 원소 $e$에 대응하는 슬로도비 슬라이스 $\mathcal{S} = e + \ker \operatorname{ad}f$의 양자화를 구축하는 것.
• $\frak{sl}_2$-삼중항을 이용해 코스타ント의 주요 영점 궤도 결과를 일반화하여 임의의 영점 궤도로 확장하는 것.
• 유도된 모듈 $H_\frak{l}$의 관련 군화 대수와 좌표환 $\mathbb{C}[\mathcal{S}]$ 사이에 자연스러운 동형을 확립하는 것, 이는 군화된 파울리 대수로서의 동형이다.
• 건설 과정이 $\frak{g}(-1)$의 등방성 부분공간 $\frak{l} \subset \mathfrak{g}(-1)$의 선택에 영향을 받지 않는다는 것을 보이는 것.

제안 방법

• 슬로도비 슬라이스 $\mathcal{S} = \Phi(e + \ker \operatorname{ad}f)$를 정의한다. 여기서 $\Phi$는 카일링 형식에 의해 유도된 동형사상이다.
• 등방성 부분공간 $\frak{l} \subset \mathfrak{g}(-1)$를 고정하고, 영점 부분대수 $\frak{m}_\frak{l} = \frak{l} \oplus \bigoplus_{i \leq -2} \mathfrak{g}(i)$ 및 $\frak{n}_\frak{l^\perp} = \frak{l}^\perp \oplus \bigoplus_{i \leq -2} \mathfrak{g}(i)$를 정의한다.
• 보편 포락환 $U\mathfrak{g}$의 모듈 $Q_\frak{l} = U\mathfrak{g} \otimes_{U\frak{m}_\frak{l}} \mathbb{C}_\chi$를 구성한다. 여기서 $\chi = \Phi(e)$이다.
• $H_\frak{l} = Q_\frak{l}^{\operatorname{ad} \frak{n}_\frak{l}}$로 정의한다. 이는 $\frak{n}_\frak{l}$의 수반 작용에 대한 불변 부분공간이다.
• $H_\frak{l}$에 $U\mathfrak{g}$에서 유도된 곱을 부여하고, $\frak{n}_\frak{l}$에 의한 $I_\frak{l}$의 이상의 안정성에 의해 곱이 잘 정의됨을 보인다.
• 좌표환 $\mathbb{C}[\mathcal{S}]$에 카즈단 군화를 도입하고, $H_\frak{l}$에 카즈단 필터링을 도입하며, $\operatorname{gr} H_\frak{l} \cong \mathbb{C}[\mathcal{S}]$임을 증명한다. 이는 군화된 파울리 대수로서의 동형이다.

실험 결과

연구 질문

• RQ1 슬로도비 슬라이스 $\mathcal{S}$의 양자화는 $\frak{sl}_2$-삼중항의 설정에서 표현론적 방법을 통해 구축될 수 있는가?
• RQ2 불변 부분대수 $H_\frak{l}$의 관련 군화 대수는 군화된 파울리 대수로서 좌표환 $\mathbb{C}[\mathcal{S}]$와 자연스럽게 동형인가?
• RQ3 대수 $H_\frak{l}$의 구성은 $\frak{g}(-1)$의 등방성 부분공간 $\frak{l} \subset \mathfrak{g}(-1)$의 선택에 의존하는가?
• RQ4 $\mathbb{C}^*$-작용이 $\mathfrak{g}$에 작용할 때, $\mathcal{S}$ 위의 파울리 항등식을 어떻게 유지하는가?
• RQ5 등장하는 $\operatorname{gr} H_\frak{l} \cong \mathbb{C}[\mathcal{S}]$ 동형은 양의 특성 기법이나 BRST 코homology에 의존하지 않고도 확립될 수 있는가?

주요 결과

• 관련 군화 대수 $\operatorname{gr} H_\frak{l}$는 군화된 파울리 대수로서 $\mathbb{C}[\mathcal{S}]$와 자연스럽게 동형이다.
• $H_\frak{l}$는 $\frak{g}(-1)$의 등방성 부분공간 $\frak{l} \subset \mathfrak{g}(-1)$의 선택에 영향을 받지 않으며, 이는 구성이 잘 정의되어 있음을 보장한다.
• $H_\frak{l}$의 곱은 왼쪽 이상 $I_\frak{l}$가 $\frak{n}_\frak{l}$의 수반 작용에 대해 안정적이므로 잘 정의된다.
• 모든 코어지언트 궤도 $\mathcal{O}$에 대해 $\mathcal{O} \cap \mathcal{S}$ 위의 심플렉틱 구조는 키릴로프-코스타ント 형식에 의해 유도되며 비퇴화적이다.
• 모든 $x \in \mathcal{S}$에 대해 $[x, [f, \mathfrak{g}]] \cap \ker \operatorname{ad}f = 0$ 이 성립하며, 이는 제한된 심플렉틱 형식의 비퇴화성을 보장한다.
• 동형 $\operatorname{gr} H_\frak{l} \cong \mathbb{C}[\mathcal{S}]$는 $\frak{sl}_2$-중량 분해와 $\mathfrak{g}(-1)$ 위의 반대칭 형식 $\omega(x,y) = \chi([x,y])$의 비퇴화성에 기반한 직접적인 대수적 증명을 통해 확립된다.