일반형 유한 및 아핀 W대수의 새로운 통합 이론

초록

저자들은 glₙ의 nilpotent 원소 중심자에 대응하는 두 개의 분할 λ, µ를 매개변수로 하는 새로운 아핀 W대수 군집 Wᵏ(λ,µ)를 정의하고, 그 Zhu 함자를 적용해 일반형 유한 W대수 U(λ,µ)를 얻는다. 이 구조는 기존의 Kac‑Roan‑Wakimoto 아핀 W대수, 중앙자에 대한 유한 W대수, 그리고 트렁케이션된 현재 대수와의 연결을 한 번에 포괄한다. 주요 결과는 BRST 복합을 이용한 정밀한 생성자 기술과, 특수 경우에 대한 구체적인 동형 사상이다.

상세 분석

이 논문은 type A, 즉 glₙ에 한정된 상황에서 두 단계의 분할 λ와 µ를 도입함으로써 기존 W대수 이론을 크게 확장한다. λ는 nilpotent 원소 e∈glₙ의 Jordan 형태를, µ는 그 중심자 a=glₙᵉ의 내부 구조를 기술한다. 저자들은 λ‑피라미드와 µ‑피라미드를 이용해 a의 기저 {E^{(r)}{ij}}와 그 Z‑그레이딩을 명시적으로 구성하고, 이를 기반으로 n{λ,µ}⊂a(1)이라는 부분 리대수를 정의한다. χ는 n_{λ,µ}에 대한 선형 함수로, 전통적인 Drinfeld‑Sokolov 감소에서 나타나는 ‘전위’와 동일한 역할을 한다.

BRST 복합 C_k(λ,µ)는 a의 affine Kac‑Moody 대수 V_k(a)와 자유 페르미온 대수 F(n_{λ,µ})의 텐서곱 위에 구축되며, 차수‑1 연산자 Q를 통해 코호몰로지를 취한다. 핵심 정리는 Q의 제곱이 0임을 보이고, 그 0차 코호몰로지가 새로운 vertex algebra Wᵏ(λ,µ)임을 증명한다(정리 3.6). 이 과정에서 (3.1)의 비표준 내적을 사용해 중앙 전하 k가 나타나는 항을 정확히 제어한다.

생성자 구조는 두 단계로 나뉜다. 첫 번째는 a의 원소들에 대응하는 현재장 E^{(r)}{ij}(z)이며, 두 번째는 페르미온 필드 ϕ{(i,j,r)}(z)와 그 쌍대체이다. 정리 3.12와 그 추론인 부정리 3.13은 λ와 µ에 따라 필요한 최소 생성자 집합을 제시한다. 특히 λ가 열‑분할(1ⁿ)일 때는 기존 Kac‑Roan‑Wakimoto의 Wᵏ(glₙ,f)와 동형이며, µ가 행‑분할(N)일 때는 전형적인 아핀 W대수 Wᵏ(glₙ)와 일치한다. 반대로 µ가 열‑분할(1ⁿ)이면 Wᵏ(λ,µ)는 중심자 a에 대한 보편적 아핀 vertex algebra V_k(a)와 동일하게 된다.

Zhu functor를 적용하면 Wᵏ(λ,µ)의 0차 모드 대수인 Zhu(Wᵏ(λ,µ))가 일반형 유한 W대수 U(λ,µ)와 동형임을 보인다(정리 4.6). 여기서 U(λ,µ)는 U(a) 위의 왼쪽 아이디얼 I_{λ,µ}=U(a)⟨n+χ(n)⟩을 나눈 뒤 n_{λ,µ}‑불변 부분을 취해 정의한다. 이 구조는 Premet‑Gan‑Ginzburg의 유한 W대수와 동일한 형태를 갖지만, λ와 µ에 따라 다양한 특수화가 가능하다. 예를 들어 λ가 동일한 정수 p로 이루어진 경우 a≅gl_n