[논문 리뷰] Quantum Hamiltonian reduction of W-algebras and category O

Stephen P. Morgan|arXiv (Cornell University)|2015. 02. 25.

Algebraic structures and combinatorial models참고 문헌 23인용 수 6

한 줄 요약

이 논문은 A형 리 대수에서 인접한 노름형 원소에 대응하는 W-대수 간의 관계를 설정하기 위해 단계별 양자 해밀토니안 축소를 도입한다. 이는 이러한 W-대수 간의 이중모듈을 구성하고, 그들의 범주 O 블록 간의 동치를 확립함으로써 번역 함수자들을 일반화하며, $U(\frak{sl}_2)$와 같은 양자군의 분류화를 위한 프레임워크를 제공한다.

ABSTRACT

W-algebras are a class of non-commutative algebras related to the classical universal enveloping algebras. They can be defined as a subquotient of U(g) related to a choice of nilpotent element e and compatible nilpotent subalgebra m. The definition is a quantum analogue of the classical construction of Hamiltonian reduction. We define a quantum version of Hamiltonian reduction by stages and use it to construct intermediate reductions between different W-algebras U(g,e) in type A.This allows us to express the W-algebra U(g,e') as a subquotient of U(g,e) for nilpotent elements e' covering e. It also produces a collection of (U(g,e),U(g,e'))-bimodules analogous to the generalised Gel'fand-Graev modules used in the classical definition of the W-algebra; these can be used to obtain adjoint functors between the corresponding module categories. The category of modules over a W-algebra has a full subcategory defined in a parallel fashion to that of the Bernstein-Gel'fand-Gel'fand (BGG) category O; this version of category O(e) for W-algebras is equivalent to an infinitesimal block of O by an argument of Miličić and Soergel. We therefore construct analogues of the translation functors between the different blocks of O, in this case being functors between the categories O(e) for different W-algebras U(g,e). This follows an argument of Losev, and realises the category O(e') as equivalent to a full subcategory of the category O(e) where e' is greater than e in the refinement ordering.

연구 동기 및 목표

• A형에서 W-대수에 대해 단계별 양자 해밀토니안 축약을 개발하여, 인접한 노름형 원소에 대응하는 W-대수 간의 중간 축약을 가능하게 한다.
• 일반화된 겔판트-그레이브 모듈과 유사한 $(U(\frak{g},e), U(\frak{g},e'))$-이중모듈을 구성하여, W-대수의 모듈 범주 간의 수반 함수자를 유도한다.
• 다른 W-대수 $U(\frak{g},e)$에 대한 범주 O의 전부분 범주 간 동치를 확립하여, BGG 의미에서의 번역 함수자를 일반화한다.
• 정련 순서에서 $e' \geq e$일 때, $\epsilon(e')$를 $\epsilon(e)$의 전부분 범주로 실현하여 루소프의 프레임워크를 확장한다.
• 버너스타인, 프렌켈, 코바노프의 영감을 받아, W-대수의 범주 O를 통한 $U(\frak{sl}_2)$의 분류화를 위한 새로운 길을 제공한다.

제안 방법

• 단계별 양자 해밀토니안 축약을 활용하여, 반직접곱 구조 $\mathfrak{m}_2 = \mathfrak{m}_1 \rtimes \mathfrak{k}$를 통한 축약 과정을 분해한다.
• 로소프의 변형 양자화 및 양자 대수의 완비화 기법을 적용하여, 페도소프의 스타곱을 통해 $U(\frak{g},e_1)^\heartsuit$ 와 $U(\frak{g},e_2) \otimes \mathbf{A}_V^\heartsuit$ 간의 관계를 설정한다.
• 등변 심플렉틱 동형사상 $\psi: T_xX_1 \to T_xX_2 \oplus V^*$ 와 룬라 슬라이스 정리를 활용하여, 완비화된 대수의 $\widetilde{G}$-등변 동형사상을 구성한다.
• G-불변량과 $\mathbb{C}^\times$-유한 부분을 통해 $\Phi: U(\frak{g},e_1)^\heartsuit \to (U(\frak{g},e_2) \otimes \mathbf{A}_V)^\heartsuit$ 의 사상을 구성한다.
• 스키라빈 동치를 이용하여 W-대수의 범주 $\mathcal{O}(e)$를 BGG 범주 $\mathcal{O}$의 무한소 블록과 동치로 식별한다.
• Whittaker 모듈과 범주 O 블록 간의 연결을 위해, $K: \mathsf{Whit}^\mathfrak{t}_\mathfrak{m}(U(\frak{g},e_1)) \to \mathcal{O}^\mathfrak{t}(e_2, \mathfrak{p}_2)$ 의 범주 동치를 확립한다.

실험 결과

연구 질문

• RQ1 어떻게 단계별 양자 해밀토니안 축약을 통해 인접한 노름형 원소에 대응하는 W-대수 간의 관계를 확장할 수 있는가?
• RQ2 이러한 축약에서 유도되는 이중모듈은 무엇이며, 어떻게 W-대수의 모듈 범주 간의 수반 함수자를 유도하는가?
• RQ3 W-대수의 범주 O는 BGG 범주 $\mathcal{O}$와 유사하게 구성될 수 있는가? 그리고 서로 다른 $e$에 대해 블록 간의 동치는 무엇인가?
• RQ4 정련 순서 $e' \geq e$ 는 W-대수의 범주 O에서 부분범주 포함 관계와 어떻게 관련되는가?
• RQ5 이 프레임워크는 버너스타인, 프렌켈, 코바노프가 제안한 바와 같이 $U(\frak{sl}_2)$의 분류화를 지원할 수 있는가?

주요 결과

• 논문은 $e' \geq e$ 인 인접한 노름형 원소에 대해 $U(\frak{g},e')$ 가 $U(\frak{g},e)$ 의 부분몫대수로 실현되는 단계별 양자 해밀토니안 축약을 구성한다.
• 일반화된 겔판트-그레이브 모듈과 유사한 $(U(\frak{g},e), U(\frak{g},e'))$-이중모듈을 확립하여, W-대수의 모듈 범주 간의 수반 함수자를 가능하게 한다.
• W-대수에 대한 범주 $\mathcal{O}(e)$ 는 스키라빈 동치를 통해 BGG 범주 $\mathcal{O}$ 의 무한소 블록과 동치임을 식별한다.
• 정련 순서에서 $e' \geq e$ 이면 $\mathcal{O}(e')$ 가 $\mathcal{O}(e)$ 의 전부분 범주로 실현되며, 이는 번역 함수자를 일반화한다.
• 완비화 및 $\widetilde{G}$-등변 동형사상을 통해 $\mathsf{Whit}^\mathfrak{t}_\mathfrak{m}(U(\frak{g},e_1)) \to \mathcal{O}^\mathfrak{t}(e_2, \mathfrak{p}_2)$ 의 범주 동치를 확립한다.
• 이 구성은 버너스타인, 프렌켈, 코바노프의 프레임워크를 따르며, $U(\frak{sl}_2)$ 의 분류화를 위한 새로운 길을 제공한다.