[논문 리뷰] Associative algebras for (logarithmic) twisted modules for a vertex operator algebra

Yi-Zhi Huang, Jinwei Yang|arXiv (Cornell University)|2016. 03. 14.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 무한 차수의 순환적 작용을 하지 않으며, 비단순적으로 작용하는 자동형사상 $g$를 갖는 정점 연산자 대수 $V$에 대해 두 개의 결합 대수—$Z_g(V)$, 즉 $g$-틀린 제로모드 대수와 $A_g(V)$, 즉 Zhu의 대수의 $g$-틀린 일반화—를 구성한다. 이 대수들의 모듈러와 $g$-틀린 $V$-모듈러 사이의 카테고리 동치를 확립하며, $Z_g(V)$와 $A_g(V)$가 서로 동형임을 증명함으로써, Zhu 이론을 로그형 틀린 모듈러로 일반화한다.

ABSTRACT

We construct two associative algebras from a vertex operator algebra $V$ and a general automorphism $g$ of $V$. The first, called $g$-twisted zero-mode algebra, is a subquotient of what we call $g$-twisted universal enveloping algebra of $V$. These algebras are generalizations of the corresponding algebras introduced and studied by Frenkel-Zhu and Nagatomo-Tsuchiya in the (untwisted) case that $g$ is the identity. The other is a generalization of the $g$-twisted version of Zhu's algebra for suitable $g$-twisted modules constructed by Dong-Li-Mason when the order of $g$ is finite. We are mainly interested in $g$-twisted $V$-modules introduced by the first author in the case that $g$ is of infinite order and does not act on $V$ semisimply. In this case, twisted vertex operators in general involve the logarithm of the variable. We construct functors between categories of suitable modules for these associative algebras and categories of suitable (logarithmic) $g$-twisted $V$-modules. Using these functors, we prove that the $g$-twisted zero-mode algebra and the $g$-twisted generalization of Zhu's algebra are in fact isomorphic.

연구 동기 및 목표

• 자기의 차수와 비단순 작용을 하는 $g$에 대해 Zhu의 결합 대수 프레임워크를 $g$-틀린 모듈러로 확장하는 것.
• 기존 Zhu 대수의 구성 방식이 무한 차수의 경우에 실패하는 문제를 다루는 것.
• 일반적인 $g$-틀린 $V$-모듈러를 위한 $g$-틀린 보편 호환 대수 $U_g(V)$를 정의하고 연구하는 것.
• $g$-틀린 $V$-모듈러와 $g$-틀린 제로모드 대수 $Z_g(V)$의 모듈러 사이의 함자적 동치를 확립하는 것.
• $Z_g(V)$, $\tilde{A}_g(V)$, 및 $A_g(V)$가 서로 동형임을 증명하여, 틀린 표현 이론에서 핵심 대수적 구조를 통합하는 것.

제안 방법

• 정점 연산자 대수 $V$의 아핀화의 텐서 대수의 위상적 완비화를 통해 $g$-틀린 보편 호환 대수 $U_g(V)$를 구성하며, 이는 $g$-틀린 관계를 포함한다.
• $U_g(V)$의 부분몫대수로 $Z_g(V)$를 정의하여, $g$-틀린 정점 연산자의 제로모드 작용을 포착한다.
• $V$의 몫을 통해 정점 연산자 맵에서 유도된 곱을 사용하여, Zhu의 대수의 $g$-틀린 일반화인 $A_g(V)$를 정의한다.
• $S_g(M)$를 이용한 유도 모듈러 구성으로부터 $Z_g(V)$-모듈러에서 $\overline{\mathbb{C}}_+$-등급 $g$-틀린 $V$-모듈러로의 함자를 구성한다.
• $\Omega_g(W)$와 $H_g(M)$을 이용한 제로모드 공간을 통해 $g$-틀린 $V$-모듈러에서 $A_g(V)$-모듈러로의 함자를 확립한다.
• 모듈러 함자와 이를 이용한 역형사상의 구성으로 $Z_g(V)$, $\tilde{A}_g(V)$, 및 $A_g(V)$ 사이의 동형을 증명하며, 그 조합이 항등사상이 됨을 검증한다.

실험 결과

연구 질문

• RQ1 자기의 차수와 비단순 작용을 하는 $g$에 대해, 정점 연산자 대수에 대해 $g$-틀린 보편 호환 대수 $U_g(V)$를 구성할 수 있는가?
• RQ2 로그형 설정에서 $g$-틀린 $V$-모듈러를 분류하는 데 잘 정의된 결합 대수의 구조가 존재하는가?
• RQ3 $g$-틀린 제로모드 대수 $Z_g(V)$가 $g$-틀린 Zhu 대수 $A_g(V)$와 동형임을 보일 수 있는가?
• RQ4 $Z_g(V)$-모듈러와 $g$-틀린 $V$-모듈러 사이의 함자들이 카테고리 동치를 확립하는가?
• RQ5 $Z_g(V)$, $\tilde{A}_g(V)$, 및 $A_g(V)$ 사이의 동형이 Zhu와 Frenkel-Zhu의 고전 결과를 무한 차수 및 로그형 설정으로 일반화하는가?

주요 결과

• $Z_g(V)$는 $g$-틀린 Zhu 대수의 일반화인 $A_g(V)$와 동형임을 증명하여, 고전 결과를 로그형 설정으로 확장한다.
• $U_g(V)$의 구성은 가장 약한 유형의 $g$-틀린 $V$-모듈러를 위한 보편적 프레임워크를 제공하며, Frenkel-Zhu의 보편 호환 대수를 일반화한다.
• $Z_g(V)$-모듈러와 $\overline{\mathbb{C}}_+$-등급 $g$-틀린 $V$-모듈러 사이의 함자는 상호 역함수를 가지며, 카테고리 동치를 확립한다.
• $Z_g(V)$의 원소들은 정확히 $v \in V$에 대해 $[o_g(v)]$의 형태를 가짐을 확인하여, 제로모드 작용이 전체 대수를 생성함을 증명한다.
• $Z_g(V)$와 $A_g(V)$ 사이의 동형은 한 대수에서 증명된 결과가 다른 대수로 즉각 확장됨을 의미하며, 틀린 표현 이론에서 핵심 대수적 구조를 통합한다.
• $\tilde{A}_g(V)$는 $Z_g(V)$와 동형이며, 이는 틀린 상호연결 연산자 맥락에서의 모듈러 불변성을 연구하는 데 더 자연스럽다는 것이 밝혀졌다.