[논문 리뷰] Lectures on Wakimoto modules, opers and the center at the critical level

Edward Frenkel|ArXiv.org|2002. 10. 02.

Algebraic structures and combinatorial models참고 문헌 28인용 수 51

한 줄 요약

이 논문은 코homological 방법과 버텍스 대수 기법을 사용하여 애파인 카크-무디 대수의 임계 수준에서 와키모토 모듈을 구성하고, 임계 수준에서의 유일한 포함 대수의 중심과 랑글랜즈 쌍대 리 대수에 관련된 고전적 W-대수 사이의 자연스러운 동형사상을 확립한다. 주요 결과는 이 중심이 형식적 디스크 위의 $^L G$-오퍼스 공간 위의 함수 대수와 일치하며, 버텍스 파울스 구조를 유지함을 밝힌다.

ABSTRACT

Wakimoto modules are representations of affine Kac-Moody algebras in Fock modules over infinite-dimensional Heisenberg algebras. In these lectures we present the construction of the Wakimoto modules from the point of view of the vertex algebra theory. We then use Wakimoto modules to identify the center of the completed universal enveloping algebra of an affine Kac-Moody algebra at the critical level with the algebra of functions on the space of opers for the Langlands dual group on the punctured disc. These results were originally obtained by B. Feigin and the author.

연구 동기 및 목표

• 애파인 카크-무디 대수에 대한 와키모토 모듈의 버텍스 대수 이론적 구성 제공
• 임계 수준에서 $V_{\tilde{\rho}}(\frak{g})$의 중심과 랑글랜즈 쌍도 그룹에 관련된 고전적 $\mathcal{W}$-대수 사이의 동형사상 수립
• 와키모토 실현을 반무한성 파라보릭 유도 프레임워크로 확장
• 와키모토 모듈을 사용하여 임계 수준에서 기약 모듈의 특성에 대한 카크-카즈단 추측을 증명
• 임계 수준에서의 중심이 형식적 디스크 위의 $^L G$-오퍼스 위의 함수 대수와 동형이며, 버텍스 파울스 구조를 유지함을 보임

제안 방법

• 코homological 방법을 사용하여 버텍스 대수 $V_\kappa(\frak{g})$에서 푸옥 모듈 $M_{\frak{g}} \otimes \pi^{\kappa - \kappa_c}_0$로의 준동형사상 구성
• 코homology에서의 저항 클래스를 애파인 카크-무디 대수를 정의하는 클래스와 식별
• 두 번째 종류의 스크리닝 연산자를 사용하여 $V_{\kappa_c}(\frak{g})$의 중심 분석
• 임계 수준에서 최고 무게 0인 벨라 모듈과 특정 와키모토 모듈 사이의 동형사상을 활용하여 특별한 벡터의 관련 계승을 계산
• $\rho$로 이동된 하리시-찬드라 준동형사상을 적용하여 중심을 $\operatorname{Fun}({}^\frak{h})^W_\rho$와 연결하고, 잔여 사상들을 사용하여 계승 성분을 식별
• 중심과 $\operatorname{Fun} \operatorname{Op}_{{}^L G}(\mathbb{D}^\times)_{\leq 1}^0$ 사이의 동형사상이 버텍스 파울스 구조를 유지함을 보임

실험 결과

연구 질문

• RQ1 어떻게 버텍스 대수 이론을 사용하여 임의의 애파인 리 대수에 대해 와키모토 모듈을 체계적으로 구성할 수 있는가?
• RQ2 임계 수준에서의 유일한 포함 대수 $V_{\kappa_c}(\frak{g})$의 중심의 구조는 무엇인가?
• RQ3 임계 수준에서의 $V_{\kappa_c}(\frak{g})$의 중심은 랑글랜즈 쌍도 리 대수에 관련된 고전적 $\mathcal{W}$-대수와 동형인가?
• RQ4 두 번째 종류의 스크리닝 연산자는 어떻게 임계 수준에서 중심을 계산하는 데 기여하는가?
• RQ5 형식적 디스크 위의 $^L G$-오퍼스 위의 함수 대수는 중심과 버텍스 파울스 대수로서 동형인가?

주요 결과

• 임계 수준에서의 $V_{\kappa_c}(\frak{g})$의 중심은 랑글랜즈 쌍도 리 대수 ${}^L\frak{g}$에 관련된 고전적 $\mathcal{W}$-대수와 자연스럽게 동형이다.
• 잔여 사상과 $\rho$로 이동된 하리시-찬드라 준동형사상을 통해 중심과 $\operatorname{Fun} \operatorname{Op}_{{}^L G}(\mathbb{D}^\times)_{\leq 1}^0$ 사이의 동형사상이 확립된다.
• 중심은 $\operatorname{Fun}({}^L\frak{h})^W_\rho$와 동형이며, 교차 다이어그램의 아래 수평 화살표는 $f \mapsto f^-$로 주어지며, 여기서 $f^-(\lambda + \rho) = f(-\lambda - \rho)$이다.
• 중심과 $\operatorname{Fun} \operatorname{Op}_{{}^L G}(\mathbb{D}^\times)_{\leq 1}^0$ 사이의 동형사상은 버텍스 파울스 구조를 유지한다.
• 반무한성 파라보릭 유도 프레임워크를 통한 와키모토 모듈의 구성은 재구성된 군에 대한 표준 유도의 일반화이다.
• 와키모토 실현과 특별한 벡터의 계승을 사용하여 임계 수준에서 기약 모듈의 특성에 대한 카크-카즈단 추측이 증명된다.