[논문 리뷰] A construction of admissible $A_1^{(1)}$-modules of level $-{4/3}$

Dražen Adamović|ArXiv.org|2004. 01. 05.

Algebraic structures and combinatorial models참고 문헌 18인용 수 4

한 줄 요약

이 논문은 유리 격자와 관련된 일반화된 버전 대수를 사용하여 애드미시블 모듈을 명시적으로 구성함으로써, 수준 $-4/3$에서 아핀 리 대수 $A_1^{(1)}$에 대해 연구한다. $L(-4/3\Lambda_0)$의 단순 버전 연산자 대수를 격자 구성법을 통해 실현하고, 중심 전하 $c = -7$를 가진 $\mathcal{W}(2,5)$ 대수와 동형인 부분대수를 식별함으로써, 저널로드릭 표현의 새로운 실현이 가능함을 보여준다. 이는 $\widehat{su}(2)_{-4/3}$ WZW 모델의 코셋 구성법으로서 $\mathcal{W}$-대수의 기원을 규명한다.

ABSTRACT

By using generalized vertex algebras associated to rational lattices, we construct explicitly the admissible modules for the affine Lie algebra $A_1 ^{(1)}$ of level $-{4/3}$. As an application, we show that the W(2,5) algebra with central charge c=-7 investigated in math.QA/0207155 is a subalgebra of the simple affine vertex operator algebra $L(-{4/3}Λ_0)$.

연구 동기 및 목표

• 아핀 리 대수 $A_1^{(1)}$의 수준 $-4/3$에서 비가역적 애드미시블 모듈의 명시적 구성 제공.
• 유리 격자 위의 일반화된 버전 대수를 사용하여 단순 버전 연산자 대수 $L(-4/3\Lambda_0)$를 실현하는 것.
• $L(-4/3\Lambda_0)$의 부분대수로서 중심 전하 $c = -7$를 가진 $\mathcal{W}(2,5)$ 대수를 식별하고, $\widehat{su}(2)_{-4/3}$ WZW 모델의 코셋 구성법과 연결하는 것.
• 라티스 구성 내에서 무한히 많은 비-정수 계수의 비가역적 부분모듈이 존재함을 보여주며, 이는 로그 표현의 존재를 드러낸다.

제안 방법

• 유리 격자 $L = \mathbb{Z}(\gamma + \delta) + \mathbb{Z}(\gamma - \delta)$와 $\langle \gamma, \gamma \rangle = -\langle \delta, \delta \rangle = 1/6$를 갖는 라티스에서 일반화된 버전 대수 $V_L$를 구성한다.
• 스크리닝 연산자 $Q = e^{-6\gamma}_0$를 정의하고, 이를 통해 $V_L$의 부분대수 중 $L(-4/3\Lambda_0)$와 동형인 것을 식별한다.
• 생성자 $e, h, f$를 버전 연산자로 실현함으로써 $V_L$ 내부의 $\widehat{su}(2)_{-4/3}$-모듈 구조를 규명한다: $e = e^{3(\gamma - \delta)}$, $h = 4\delta(-1)$, $f = -\frac{2}{9}Qe^{3(\gamma + \delta)}$.
• $L(-4/3\Lambda_0)$의 $h(0)$-고유공간 분해를 분석하고, $M^{(0)} = \ker_{L(-4/3\Lambda_0)} h(0)$를 버전 연산자 부분대수로 식별한다.
• $M^{(0)}$이 $\overline{M(1)} \cong \overline{M_\gamma(1)} \otimes M_\delta(1)$와 동형임을 증명하며, 여기서 $\overline{M_\gamma(1)}$은 중심 전하 $c = -7$를 가진 $\mathcal{W}(2,5)$ 대수이다.
• 코셋 $C(L(-4/3\Lambda_0), M_\delta(1))$가 $\overline{M_\gamma(1)}$과 동형임을 확인함으로써, $\mathcal{W}(2,5)$ 대수가 코셋 부분대수로 존재함을 입증한다.

실험 결과

연구 질문

• RQ1 어떻게 라티스 버전 대수 기법을 사용하여 $A_1^{(1)}$의 수준 $-4/3$에서의 애드미시블 모듈을 명시적으로 구성할 수 있는가?
• RQ2 버전 연산자 대수 $L(-4/3\Lambda_0)$의 구조는 무엇이며, 유리 격자 위의 일반화된 버전 대수와 어떤 관계가 있는가?
• RQ3 중심 전하 $c = -7$를 가진 $\mathcal{W}(2,5)$ 대수는 $L(-4/3\Lambda_0)$의 부분대수로 실현될 수 있는가? 만약 가능하다면 어떤 구성 방식을 통해 이루어지는가?
• RQ4 스크리닝 연산자 $Q = e^{-6\gamma}_0$는 $V_L$ 내부의 비가역 모듈과 부분대수를 식별하는 데 어떤 역할을 하는가?
• RQ5 코셋 구성 $C(L(-4/3\Lambda_0), M_\delta(1))$는 알려진 $\mathcal{W}$-대수로 식별될 수 있는가? 이는 $\widehat{su}(2)_{-4/3}$의 표현 이론에 어떤 함의를 갖는가?

주요 결과

• 버전 연산자 대수 $L(-4/3\Lambda_0)$는 이중형 $\langle \gamma, \gamma \rangle = -\langle \delta, \delta \rangle = 1/6$를 가진 유리 격자에서 구성된 일반화된 버전 대수 $V_L$의 부분대수로 실현된다.
• 생성자 $e = e^{3(\gamma - \delta)}$, $h = 4\delta(-1)$, $f = -\frac{2}{9}Qe^{3(\gamma + \delta)}$로 생성되는 $V_L$의 부분대수는 $L(-4/3\Lambda_0)$와 동형이며, 이는 애드미시블 모듈의 명시적 구성이다.
• $L(-4/3\Lambda_0)$의 $h(0)$-고유공간 분해는 $L(-4/3\Lambda_0) = \bigoplus_{i \in \mathbb{Z}} M^{(i)}$로 표현되며, 각 $M^{(i)}$는 $M^{(0)} = \ker_{L(-4/3\Lambda_0)} h(0)$에 대한 단순 모듈이다.
• 부분대수 $M^{(0)} = \ker_{L(-4/3\Lambda_0)} h(0)$는 $\overline{M(1)} \cong \overline{M_\gamma(1)} \otimes M_\delta(1)$와 동형이며, 여기서 $\overline{M_\gamma(1)}$은 중심 전하 $c = -7$를 가진 $\mathcal{W}(2,5)$ 대수이다.
• 코셋 버전 대수 $C(L(-4/3\Lambda_0), M_\delta(1))$는 $\overline{M_\gamma(1)}$과 동형이며, 이는 $\mathcal{W}(2,5)$ 대수가 중심 전하 $c = -7$를 가진 $\widehat{su}(2)_{-4/3} / \widehat{u}(1)$ 코셋으로서 기원함을 확인한다.
• 이 구성은 $\mathbb{Z}_{\geq 0}$-계수가 아닌 무한히 많은 비가역 부분모듈을 생성하며, 이는 $\widehat{su}(2)_{-4/3}$ 이론 내에 로그 표현이 존재함을 시사한다.