[논문 리뷰] Lattice construction of logarithmic modules for certain vertex algebras

Dražen Adamović, Antun Milas|arXiv (Cornell University)|2009. 02. 19.

Algebraic structures and combinatorial models참고 문헌 21인용 수 6

한 줄 요약

이 논문은 로그 제로모드 작용을 이용한 정점 연산자의 변형을 통해, 특히 트리플렛 대수 $W(p)$와 그 확장에 대해 로그 모듈러의 새로운 격자 기반 구성을 제시한다. 주요 기여는 $W(p)$ 및 적정 수준에서의 아핀 정점 대수에 대한 로그 표현의 명시적 실현과 로그 통합 연산자의 구축으로, 이는 $W(p)$-모듈과 루트 단위 $q = e^{\tau i/p}$에서의 제한 양자군 $U_q(\mathfrak{sl}_2)$의 표현 간 추측되는 동치성에 강력한 증거를 제공한다.

ABSTRACT

A general method for constructing logarithmic modules in vertex operator algebra theory is presented. By utilizing this approach, we give explicit vertex operator construction of certain indecomposable and logarithmic modules for the triplet vertex algebra W(p) and for other subalgebras of lattice vertex algebras and their N=1 super extensions. We analyze in detail indecomposable modules obtained in this way, giving further evidence for the conjectural equivalence between the category of W(p)-modules and the category of modules for the restricted quantum group $\bar{\mathcal{U}}_q(sl_2)$ at root of unity. We also construct logarithmic representations for a certain affine vertex operator algebra at admissible level realized in \cite{A-2005}. In this way we prove the existence of the logarithmic representations predicted in \cite{G}. Our approach enlightens related logarithmic intertwining operators among indecomposable modules, which we also construct in the paper.

연구 동기 및 목표

• 정점 연산자 대수 이론에서 로그 모듈러를 구성하는 일반적인 방법을 개발하는 것, 특히 $C_2$-코페르티브이고 무리수인 정점 대수, 예를 들어 트리플렛 대수 $\mathcal{W}(p)$에 대해.
• 정점 대수 $\mathcal{W}(p)$ 및 그 $N=1$ 슈퍼확장에 대해 분해 불가능하고 로그 표현을 갖는 모듈러의 명시적 정점 연산자 구성으로, 로그 양자장 이론 분야에서 오랫동안 미해결된 문제를 해결하는 것.
• 표현 범주 간의 연결을 수립하여 $\mathcal{W}(p)$의 표현 범주와 $q = e^{\tau i/p}$에서의 제한 양자군 $\mathcal{U}_q(\mathfrak{sl}_2)$의 표현 범주 간의 동치성을 제안하는 데 기여하며, 이에 대한 새로운 증거를 제공하는 것.
• 적정 수준에서의 아핀 정점 대수, 예를 들어 $L(-\frac{4}{3}\mathcal{L}_0)$에 대한 로그 표현을 명시적으로 실현하여 이전 연구에서의 예측을 확인하는 것.
• 새로운 로그 정점 연산자 형식을 통해 $\mathcal{L}(x)$-의존 지수를 포함하여 분해 불가능한 모듈러 간의 로그 통합 연산자를 정의하고 구성하는 것.

제안 방법

• 스크리닝 연산자를 사용하여 커널로 정점 대수를 정의함으로써, $\mathcal{W}(p,p')$ 및 $\mathcal{W}(p)$ 대수를 격자 정점 대수와 헤이젠베르그 대수의 확장으로 구성하는 것.
• 새로운 로그 정점 연산자 $\mathcal{D}_{\mathcal{L}og}(v,x) = \exp(\mathcal{L}og(x)v_0 + \sum_{n=1}^\infty \frac{v_n}{-n}(-x)^{-n})$를 도입하여, $\mathcal{L}og(x)$를 통해 로그 항을 포함함으로써 로그 모듈러의 구축을 가능하게 하는 것.
• 일반 통합 연산자 $\mathcal{Y}(u,x)$에 로그 정점 연산자 $\mathcal{D}_{\mathcal{L}og}(v,x)$를 적용하여 새로운 로그 통합 연산자 $\mathcal{Y}_{\mathcal{L}og}(u,x) = \mathcal{Y}(\mathcal{D}_{\mathcal{L}og}(v,x)u,x)$를 정의함으로써, $L(-1)$-미분과 자카비 항등식을 유지하는 것.
• 격자 정점 대수 모듈러에서 제로모드 작용을 변형하여 로그 모듈러를 구성하는 것. 여기서 $v_0$는 멱등적으로 작용하며, 비완전한 $L(0)$-작용이 가능하게 한다.
• 자유장 실현을 통해 아핀 정점 대수 $L(-\frac{4}{3}\mathcal{L}_0)$에 대한 로그 모듈러 $\mathcal{R}_{-1/3}$를 실현함으로써, [23]에서 예측된 존재성을 확인하는 것.
• 양자군 $\mathcal{U}_q(\mathfrak{sl}_2)$의 관점에서 분해 불가능한 $\mathcal{W}(p)$-모듈을 분석함으로써, 격자 구축이 기대되는 표현론적 구조를 유지함을 보여주는 것.

실험 결과

연구 질문

• RQ1 격자 정점 대수의 직접적 구조가 로그 모듈러를 허용하지 않음에도 불구하고, 격자 정점 대수와 스크리닝 연산자를 사용하여 트리플렛 정점 대수 $\mathcal{W}(p)$의 로그 모듈러를 명시적으로 구성할 수 있는가?
• RQ2 표현 범주가 $q = e^{\tau i/p}$에서의 제한 양자군 $\mathcal{U}_q(\mathfrak{sl}_2)$의 표현 범주와 동치성을 보이며, 이는 명시적 모듈러 구성으로 입증될 수 있는가?
• RQ3 비완전한 모듈러의 맥락에서, 특히 표준 정점 연산자 형식이 실패할 경우 로그 통합 연산자를 어떻게 정의하고 구성할 수 있는가?
• RQ4 이전에는 추측만 되어 있었던, 적정 수준에서의 아핀 정점 대수에 대한 로그 표현을 자유장 구성으로 명시적으로 실현할 수 있는가?
• RQ5 스크리닝 연산자와 그 커널은 어떤 방식으로 로그 표현을 지닌 $\mathcal{W}$-대수를 생성하는가? 그리고 표준 양자 감소와는 어떻게 다를까?

주요 결과

• 논문은 격자 정점 대수와 스크리닝 연산자를 사용하여, 이전에 알려진 $p=2$ 경우를 초월해 모든 $p \neq 2$에 대해 트리플렛 정점 대수 $\mathcal{W}(p)$에 대한 명시적 로그 모듈러를 구성한다.
• 자유장 실현을 통해 아핀 정점 대수 $L(-\frac{4}{3}\mathcal{L}_0)$에 대한 로그 모듈러 $\mathcal{R}_{-1/3}$의 새로운 실현을 제공함으로써, [23]과 [24]에서 예측된 존재성을 확인한다.
• 로그 정점 연산자 $\mathcal{D}_{\mathcal{L}og}(v,x)$를 사용하여 타입 $\widetilde{M}_3 \over \mathcal{V} \widetilde{M}_2$의 로그 통합 연산자를 구성함으로써, 표준 정점 연산자 표현에서의 모호함을 해결한다.
• 이 방법은 $L(-\frac{4}{3}\mathcal{L}_0)$에 대한 로그 표현이 $\mathbb{Z}_{\to 0}$-중량화되지 않음을 드러내며, 이는 Zhu 대수 이론으로서는 탐지될 수 없음을 시사한다. 이는 새로운 도구의 필요성을 강조한다.
• 네브우-슈와르 대수와 격자 정점 슈퍼대수의 확장으로서의 $N=1$ 슈퍼확장 $\mathcal{SW}(p,p')$의 구성은 표현 이론이 풍부한 새로운 로그 VOAs의 가문을 제공한다.
• 동일한 분해 불가능한 모듈러 구조가 양측에서 동일하게 유도됨을 보여, $\mathcal{W}(p)$-모듈의 범주와 $q = e^{\tau i/p}$에서의 $\mathcal{U}_q(\mathfrak{sl}_2)$-모듈의 범주 간 추측되는 동치성에 강력한 증거를 제공한다.