[논문 리뷰] Some Rational Vertex Algebras

Dražen Adamović|ArXiv.org|1995. 02. 22.

Algebraic structures and combinatorial models참고 문헌 5인용 수 38

한 줄 요약

이 논문은 심플렉틱 아핀 리 대수군 $C_\ell^{(1)}$ 와 관련된 정점 연산자 대수 $L((n - \frac{3}{2})\Lambda_0)$ 의 기약 모듈을 분류하며, 모든 이러한 모듈이 명시적으로 기술된 두 집합 $S_1^n$ 과 $S_2^n$ 의 적합한 가중치로부터 유래됨을 증명한다. 분류 결과는 정점 대수가 유리적임을 보이며, 모든 모듈이 범주 $\mathcal{O}$ 에서 완전 가역적임을 보여주고, 기약 모듈과 특정 다항식 집합 $\mathcal{P}_{0,\ell}$ 의 영점 사이의 대응관계를 수립한다.

ABSTRACT

Let $L((n- frac 3 2)Λ_0)$, $n \in \Bbb N$, be a vertex operator algebra associated to the irreducible highest weight module $L((n- frac 3 2)Λ_0)$ for a symplectic affine Lie algebra. We find a complete set of irreducible modules for $L((n- frac 3 2)Λ_0)$ and show that every module for $L((n- frac 3 2)Λ_0)$ from the category $\Cal O$ is completely reducible.

연구 동기 및 목표

• 정점 연산자 대수 $L((n - \frac{3}{2})\Lambda_0)$ 와 관련된 심플렉틱 아핀 리 대수군 $C_\ell^{(1)}$ 에 대해 모든 기약 모듈을 분류하는 것.
• $L(\lambda)$ 가 $L((n - \frac{3}{2})\Lambda_0)$ 의 모듈이 되는 데 적합한 최고 가중치 $\lambda$ 의 집합을 특성화하는 것.
• 기약 모듈이 유한하고, 범주 $\mathcal{O}$ 에 속한 모든 모듈이 완전 가역적임을 보여 정점 대수군 $L((n - \frac{3}{2})\Lambda_0)$ 가 유리적임을 증명하는 것.

제안 방법

• $C_\ell^{(1)}$ 의 루트 체계와 코루트를 바탕으로, 조건 $\Pi^\lambda = \Pi_i$ ($i=1,2$) 를 만족하는 두 집합 $S_1^n$ 과 $S_2^n$ 을 정의하는 것.
• 카크–바키모 테오리의 적합한 가중치 이론을 사용하여 버마 모듈의 특이 벡터와 기약 몫을 특성화하는 것.
• 정점 대수군의 작용 구조를 활용하여, 기약 $L((n - \frac{3}{2})\Lambda_0)$-모듈과 다항식 집합 $\mathcal{P}_{0,\ell}$ 의 영점 사이의 대응관계를 수립하는 것.
• 정점 대수군 생성자들이 가중치 공간에 작용하는 방식을 이용하여, $n$ 에 대한 귀납법을 통해 집합 $S_1^n$ 과 $S_2^n$ 이 $L(\lambda)$ 가 모듈이 되는 유일한 가중치임을 증명하는 것. 이는 $X_{\epsilon_j + \epsilon_{j+1}}(0)^2 - X_{2\epsilon_j}(0)X_{2\epsilon_{j+1}}(0)$ 의 작용을 사용한다.
• 카크–바키모의 정리 2 를 적용하여, 모든 기약 부분몫이 적합한 경우에 범주 $\mathcal{O}$ 의 모듈이 완전 가역적임을 도출하는 것.
• 웨일 대수의 구조와 정규 순서를 활용하여, $W(A)$ 의 부분대수로 $\overset\circ\to{\mathfrak g} = \mathfrak{sp}_{2\ell}(\mathbb{C})$ 를 실현하는 것.

실험 결과

연구 질문

• RQ1 $n \in \mathbb{N}$ 인 경우, 어떤 적합한 가중치 $\lambda$ 가 기약 $L((n - \frac{3}{2})\Lambda_0)$-모듈을 유도하는가?
• RQ2 $S_1^n$ 과 $S_2^n$ 의 가중치 집합을 통해 $L((n - \frac{3}{2})\Lambda_0)$ 의 기약 모듈을 어떻게 완전히 분류할 수 있는가?
• RQ3 기약 $L((n - \frac{3}{2})\Lambda_0)$-모듈과 다항식 집합 $\mathcal{P}_{0,\ell}$ 의 영점 사이에 일대일 대응이 존재하는가?
• RQ4 정점 연산자 대수군 $L((n - \frac{3}{2})\Lambda_0)$ 는 특히 범주 $\mathcal{O}$ 에서의 완전 가역성 조건을 만족하는가?
• RQ5 $S_1^n$ 과 $S_2^n$ 이 정점 대수군 생성자들이 가중치 공간에 작용하는 방식과 어떻게 관련되어 있는가?

주요 결과

• 기약 $L((n - \frac{3}{2})\Lambda_0)$-모듈은 다항식 집합 $\mathcal{P}_{0,\ell}$ 의 영점과 일대일 대응되며, 이는 완전한 분류를 수립한다.
• $S_1^n$ 과 $S_2^n$ 은 $L(\lambda)$ 가 $L((n - \frac{3}{2})\Lambda_0)$ 의 모듈이 되는 유일한 적합한 가중치이며, $\langle \lambda, c \rangle = n - \frac{3}{2}$ 를 만족한다.
• 기약 모듈이 유한하고, 범주 $\mathcal{O}$ 에 속한 모든 모듈이 완전 가역적이므로, 정점 대수군 $L((n - \frac{3}{2})\Lambda_0)$ 는 유리적이다.
• 분류 결과는 $n$ 에 대한 귀납법을 통해 증명되며, $\tilde{S}_i^n = S_i^n$ ($i=1,2$) 임을 보여, 여기서 $\tilde{S}_i^n$ 은 정점 대수군 생성자들의 가중치 공간에 대한 작용으로 정의된다.
• $n=1$ 인 경우, 집합 $S_1^1$ 과 $S_2^1$ 은 각각 $\{-\frac{1}{2}\Lambda_0, -\frac{3}{2}\Lambda_0 + \Lambda_1\}$ 과 $\{-\frac{1}{2}\Lambda_\ell, -\frac{3}{2}\Lambda_\ell + \Lambda_{\ell-1}\}$ 으로 명시적으로 계산된다.
• 모듈 $M(\lambda)$ 는 $\lambda \in S_1^n \cup S_2^n$ 일 때에만 기약적이며, 이 외의 경우 $M^1(\lambda) \subset M(\lambda)$ 는 적절한 부분모듈이 되며, $\overline{W}M(\lambda) = M^1(\lambda)$ 는 정확히 $\lambda \in S_1^n \cup S_2^n$ 일 때 성립함을 보였다.