[논문 리뷰] Energy-momentum tensor for the toroidal Lie algebras

Yuly Billig|ArXiv.org|2002. 01. 31.

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

한 줄 요약

이 논문은 전체 $(N+1)$-토로이드 리 대수와 그 발산이 없는 부분대수 $\\mathfrak{g}_{ ext{div}}$에 대해 정점 연산자 대수(VOA) 표현을 구축하며, 에너지-모멘텀 텐서를 포함하기 위해 누락된 $t_0$-미분 작용소를 통해 오랫동안 미해결된 표현 이론의 격차를 메운다. 주요 기여는 애초에 아핀, 초평면 격자, $\\widehat{sl}_N$, 바이레소(Virasoro) VOA의 텐서곱으로 구성된 $\\mathfrak{g}_{ ext{div}}$에 대한 충실한 VOA 모듈을 제공하는 것으로, 중심 전하 조건 $2(N+1) + \\text{rank}(V_{\\widehat{\\dot{\\mathfrak{g}}}}(c)) + \\overline{c}_L = 26$ 를 만족하며, $N=12$일 때 모듈러 모듈이 되고 $\\eta$-함수 특성을 갖는 임계 경우를 제공한다.

ABSTRACT

We construct vertex operator representations for the full (N+1)-toroidal Lie algebra g. We associate with g a toroidal vertex operator algebra, which is a tensor product of an affine VOA, a sub-VOA of a hyperbolic lattice VOA, affine sl(N) VOA and a twisted Heisenberg-Virasoro VOA. The modules for the toroidal VOA are also modules for the toroidal Lie algebra g. We also construct irreducible modules for an important subalgebra gdiv of the toroidal Lie algebra that corresponds to the divergence free vector fields. This subalgebra carries a non-degenerate invariant bilinear form. The VOA that controls the representation theory of gdiv is a tensor product of an affine VOA Vaff(c) at level c, a sub-VOA of a hyperbolic lattice VOA, affine sl(N) VOA and a Virasoro VOA at level cvir with the following condition on the central charges: 2(N+1) + rank Vaff(c) + cvir = 26.

연구 동기 및 목표

• 에너지-모멘텀 텐서를 담고 있는 누락된 $t_0$-미분 작용소를 포함하여 전체 대수에 대해 정점 연산자 대수(VOA) 표현을 구축함으로써 토로이드 리 대수의 표현 이론을 완성하기 위해.
• 이전에 $t_0$-미분 작용소가 제외되어 있어 물리적 일관성에 필수적인 초평면 이론에서의 표현 실현이 불완전했던 오랜 문제를 해결하기 위해.
• 발산이 없는 부분대수 $\\mathfrak{g}_{ ext{div}}$에 대해 충실한 VOA 모듈을 확립하여, 비퇴화된 불변 이차형식을 지니며 잘 정의된 에너지-모멘텀 텐서를 가짐을 보장하기 위해.
• 아핀, 격자, 바이레소 VOA의 중심 전하 조건을 유도하여, 표현의 모듈러 불변성과 물리적 일관성을 보장하기 위해.

제안 방법

• 아핀 VOA $V_{\\widehat{\\dot{\\mathfrak{g}}}}(c)$, 초평면 격자 VOA $V^{+}_{ ext{Hyp}}$의 부분VOA, 아핀 $\\widehat{sl}_N$ VOA, 그리고 트위스트된 헤이젠베르크-바이레소 VOA의 텐서곱으로 토로이드 VOA를 구성한다.
• 이전에 복잡한 코ycle 문제로 어려움을 겪었던 $t_0$-미분 작용소를 포함하기 위해 표현을 확장함으로써 전체 $(N+1)$-토로이드 리 대수에 대한 정점 연산자 실현을 시행한다.
• BB의 주요 실현 프레임워크를 사용하여, $\mathbb{Z}^N$-중심화된 모듈 $T$를 기반으로 한 모듈을 유도하며, $T$는 $\mathcal{D}_0$에 대한 텐서 모듈이자 $\mathcal{R}_0 \otimes \\dot{\\mathfrak{g}} \oplus \mathcal{K}_0$에 대한 토로이드 모듈이다.
• VOA에서 $\\widehat{d}_a({\bf r},z)$의 작용을 통해 에너지-모멘텀 텐서를 정의하며, (4.6)–(4.9) 및 (5.11)의 명시적 장 표현이 $\\mathfrak{g}_{ ext{div}}$의 리 괄목 관계를 만족함을 보인다.
• 레마 5.4와 모듈 구성에서의 항등식 보존을 통해 $\\mathfrak{g}_{ ext{div}}$의 교환관계가 VOA에서 유지됨을 검증함으로써 모듈 구조를 확립한다.
• 무작위 모듈의 존재를 위한 필수 조건으로 중심 전하 조건 $2(N+1) + \\text{rank}(V_{\\widehat{\\dot{\\mathfrak{g}}}}(c)) + \\overline{c}_L = 26$ 를 도출하며, 이는 끈 이론의 'ghost 없음 정리'와 유사하다.

실험 결과

연구 질문

• RQ1 에너지-모멘텀 텐서를 포함한 누락된 $t_0$-미분 작용소를 포함하여 전체 $(N+1)$-토로이드 리 대수에 대해 완전한 정점 연산자 대수 표현을 어떻게 구성할 수 있는가?
• RQ2 발산이 없는 부분대수 $\\mathfrak{g}_{ ext{div}}$의 기약 모듈의 구조는 무엇이며, 전체 토로이드 대수와의 관계는 어떠한가?
• RQ3 VOA의 텐서곱이 $\\mathfrak{g}_{ ext{div}}$에 대해 일관되고 모듈러적이며 물리적으로 의미 있는 표현을 제공하기 위해 만족해야 할 중심 전하 조건은 무엇인가?
• RQ4 임계 값 $N=12$일 때 표현 이론과 모듈러 성질에 대해 어떤 일이 일어나는가?
• RQ5 $N=12$일 때 초평면 격자 VOA $V^{+}_{ ext{Hyp}}$는 $\\mathcal{D}_{ ext{div}} \oplus \mathcal{K}$에 대해 리 대수 작용을 지닐 수 있는가? 그 특성은 어떤가?

주요 결과

• 논문은 $\\mathfrak{g}_{ ext{div}}$에 대해 충실한 정점 연산자 대수 모듈을 구성하며, 이는 $V_{\\widehat{\\dot{\\mathfrak{g}}}}(c)$, $V^{+}_{ ext{Hyp}}$, $L_{\\widehat{sl}_N}(\lambda_1,0)$, $L_{\\overline{\\mathcal{V}ir}}(h,\\overline{c}_L)$의 기약 모듈의 텐서곱으로 표현되며, 리 대수 작용 하에서 전체 구조가 유지됨을 보였다.
• 중심 전하 조건 $2(N+1) + \\text{rank}(V_{\\widehat{\\dot{\\mathfrak{g}}}}(c)) + \\overline{c}_L = 26$ 는 $\\mathfrak{g}_{ ext{div}}$의 기약 모듈 존재를 위한 필수적이고 충분한 조건이며, 끈 이론의 'ghost 없음 정리'와 유사하다.
• $N=12$일 때 모듈 $V^{+}_{ ext{Hyp}}$는 리 대수 $\\mathcal{D}_{ ext{div}} \oplus \mathcal{K}$에 대해 자연스러운 작용을 하며, 코ycle $\tau_1$을 지닌다. 그 특성은 $\text{char}\, V^{+}_{ ext{Hyp}} = q_0 \prod_{k=1}^{\infty} (1 - q_0^{-k})^{-24} \times \prod_{p=1}^{12} \sum_{j \in \mathbb{Z}} q_p^j$ 로 표현되며, 모듈러 불변성을 띈다.
• 에너지-모멘텀 텐서는 $\\widehat{d}_a({\bf r},z)$의 작용을 통해 완전히 실현되었으며, (4.6)–(4.9) 및 (5.11)의 명시적 장 표현이 $\\mathfrak{g}_{ ext{div}}$의 리 괄목 관계를 만족함을 보여, 오랫동안 미해결되었던 표현 이론의 장벽을 해결했다.
• 초평면 격자의 비정규성으로 인해 메트릭이 정규성을 갖지 않기 때문에 표현은 유니타리화되지 않으며, 아핀 및 바이레소 부분이 유니타리일지라도 이는 구성의 핵심적인 물리적 제약를 드러낸다.
• 임계 경우 $N=12$는 전체 구조가 격자 VOA $V^{+}_{ ext{Hyp}}$로 붕괴되는 고유한 예외적 모듈을 제공하며, 리 대수 $\\mathcal{D}_{ ext{div}} \oplus \mathcal{K}$는 정점 연산자를 통해 작용하며, 특성은 12개의 델타 함수와 $\eta$-함수의 $-24$-제곱의 곱으로 표현된다.