[논문 리뷰] Classification of simple $W_n$-modules with finite-dimensional weight spaces

Yuly Billig, Vyacheslav Futorny|arXiv (Cornell University)|2013. 04. 19.

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

한 줄 요약

이 논문은 유한차원 무게 공간을 가진 모든 단순 $W_n$-모듈을 분류하며, Eswara Rao의 추측을 증명한다. 즉, 이러한 모듈은 최고 무게 유형이거나 토러스 위의 텐서장 모듈의 몫이다. 증명은 $W_n$-모듈에서 $AW_n$-모듈로의 $A$-커버 함자 구축과 $W_1$의 보편 포락대수에서의 새로운 이차 항등식을 바탕으로 한다. 이는 쿠스피달 모듈이 이 구축에서 그대로 쿠스피달 상태를 유지하도록 보장한다.

ABSTRACT

We classify all simple $W_n$-modules with finite-dimensional weight spaces. Every such module is either of a highest weight type or is a quotient of a module of tensor fields on a torus, which was conjectured by Eswara Rao. This generalizes the classical result of Mathieu on simple weight modules for the Virasoro algebra. In our proof of the classification we construct a functor from the category of cuspidal $W_n$-modules to the category of $W_n$-modules with a compatible action of the algebra of functions on a torus. We also present a new identity for certain quadratic elements in the universal enveloping algebra of $W_1$, which provides important information about cuspidal $W_1$-modules.

연구 동기 및 목표

• 유한차원 무게 공간을 가진 모든 단순 $W_n$-모듈을 분류하여, Virasoro 대수의 모듈에 대한 Mathieu의 분류를 확장한다.
• Eswara Rao의 추측을 해결한다. 즉, 이러한 모듈은 최고 무게 유형이거나 토러스 위의 텐서장 모듈의 몫이다.
• 쿠스피달 $W_n$-모듈의 구조를 $AW_n$-모듈과 공인함자에 의해 연결함으로써 이해한다.
• 쿠스피달 $W_1$-모듈의 행동을 제어하는 $U(W_1)$에서의 새로운 대수적 항등식을 확립한다.

제안 방법

• 토러스 위의 함수 대수 $A$에 대해, $W_n$-모듈에서 $AW_n$-모듈로의 공인함자 $M \mapsto \mathrm{Hom}(A,M)$를 구성한다.
• $W_n$-모듈 $M$의 $A$-커버 $\widehat{M}$을 정의한다. 이는 $\psi(x,u)$ 형태의 원소들에 의해 생성되는 $AW_n$-부분모듈로, $\psi(x,u)(f) = (fx)u$를 만족한다.
• 새로운 $U(W_1)$ 내 이차 항등식을 사용하여, 쿠스피달 $W_n$-모듈의 $A$-커버가 여전히 쿠스피달임을 증명한다: $$ \sum_{i,j} (-1)^{i+j} \binom{m}{i}\binom{m}{j} \{\Omega^{(m)}_{k-i,s-j}, \Omega^{(m)}_{q+i,p+j}\} - \{\Omega^{(m)}_{k-i,q-j}, \Omega^{(m)}_{s+i,p+j}\} = (q-s)(p-k+2m)\Omega^{(4m)}_{k+p+2m,s+q-2m} $$
• A-커버 구축을 통해 단순 쿠스피달 $W_n$-모듈의 분류 문제를 단순 쿠스피달 $AW_n$-모듈의 분류 문제로 환원한다. 이는 이전 연구에서 알려진 바가 있다.
• A-커버 함자를 적용하여, 모든 단순 쿠스피달 $W_n$-모듈이 텐서장 모듈 $T(U,\beta)$의 단순 몫이거나, de Rham 복합체 $d\Omega^k(\beta)$의 부분모듈임을 보인다.
• 모듈 $W_n$이 $A$에 작용하므로, 조건 $W_n M = M$ 하에서 $\widehat{M} \to M$ 에 대한 전사 준동형사상이 존재함을 이용하여, $AW_n$-모듈 분류로의 환원이 가능하다.

실험 결과

연구 질문

• RQ1 Eswara Rao의 추측에 따르면, 유한차원 무게 공간을 가진 모든 단순 $W_n$-모듈은 최고 무게 유형이거나 토러스 위의 텐서장 모듈의 몫인가?
• RQ2 함자적 구축을 통해 단순 쿠스피달 $W_n$-모듈의 분류 문제를 단순 쿠스피달 $AW_n$-모듈의 분류 문제로 환원할 수 있는가?
• RQ3 $U(W_1)$ 내 어떤 대수적 구조가 쿠스피달 $W_1$-모듈의 행동을 제어하며, $A$-커버 하에서 무게 공간의 유한성을 보장하는가?
• RQ4 $A$-커버 구축이 $W_n$-모듈의 쿠스피달 성질을 어떻게 유지하는가? 어떤 조건에서 이것이 전사인가?
• RQ5 단순 최고 무게 유형 모듈의 정확한 구조는 무엇이며, $W_{n-1}$-모듈과의 관계는 어떻게 되는가?

주요 결과

• 모든 유한차원 무게 공간을 가진 단순 $W_n$-모듈은 최고 무게 유형이거나 텐서장 모듈 $T(U,\beta)$의 단순 몫이며, 이는 Eswara Rao의 추측을 확인한다.
• $W_n$-모듈의 $A$-커버는 여전히 쿠스피달이며 유한차원 무게 공간을 가진다. 이는 $AW_n$-모듈 분류로의 환원을 가능하게 한다.
• $U(W_1)$ 내에서의 새로운 이차 항등식은 $\Omega_{k,s}^{(m)} = \sum_{a=0}^m (-1)^a \binom{m}{a} e_{k-a} e_{s+a}$를 포함하며, 충분히 큰 $m$에 대해 $\Omega_{k,s}^{(m)}$ 가 임의의 쿠스피달 $W_1$-모듈을 영으로 보낸다.
• 단순 쿠스피달 $W_n$-모듈은 유한차원 단순 $gl_n$-모듈 $U$가 $\bigwedge^k \mathbb{C}^n$ 와 동형이 아닐 경우, $T(U,\beta)$ 와 동형이거나, $0 \leq k < n$ 인 경우 $d\Omega^k(\beta) \subset \Omega^{k+1}(\beta)$ 와 동형이거나, 또는 1차원 자명 모듈과 동형이다.
• 최고 무게 유형의 단순 모듈은 유한차원 단순 $gl_{n-1}$-모듈 $U$, $\beta \in \mathbb{C}^{n-1}$, $\gamma \in \mathbb{C}$, $g \in GL_n(\mathbb{Z})$ 에 대해 $L(U,\beta,\gamma)^g$ 와 동형이며, 여기서 $L(U,\beta,\gamma)$ 는 일반화된 베르마 모듈이다.