[논문 리뷰] Twisted representations of vertex operator algebras and associative algebras

Chongying Dong, H. Li외 1명|ArXiv.org|1997. 02. 21.

Algebraic structures and combinatorial models참고 문헌 7인용 수 8

한 줄 요약

이 논문은 유니터리 연산자 대수 $V$와 유한 차수의 자기동형사상 $g$에 관련된 연산자 대수의 가족 $A_{g,n}(V)$를 구성하며, 순열 가능한 $V$-모듈과 이러한 대수 위의 모듈 사이에 범주적 동치를 수립한다. 주요 결과는 $V$가 $g$-유리적임과 동시에 모든 $A_{g,n}(V)$가 유한 차원의 반단순 대수임이 서로 동치임을 보여준다.

ABSTRACT

Let V be a vertex operator algebra and g an automorphism of order T. We construct a sequence of associative algebras A_{g,n}(V) with n\in\frac{1}{T}\Z nonnegative such that A_{g,n}(V) is a quotient of A_{g,n+1/T}(V) and a pair of functors between the category of A_{g,n}(V)-modules which are not A_{g,n-1/T}(V)-modules and the category of admissible V-modules. These functors exhibit a bijection between the simple modules in each category. We also show that V is g-rational if and only if all A_{g,n}(V) are finite-dimensional semisimple algebras.

연구 동기 및 목표

• 유니터리 연산자 대수 $V$의 자동형사상 $g$에 의한 비틀린 모듈과 연산자 대수 $A_{g,n}(V)$ 위의 모듈 사이의 범주적 대응을 수립하기.
• 연산자 대수의 시각을 통해 비틀린 표현의 구조를 이해하기.
• 대수 $A_{g,n}(V)$의 표현 이론을 통해 $V$의 $g$-유리성의 특성화를 하기.
• 유한 차원의 연산자 대수를 사용하여 $V$의 순열 가능한 모듈을 체계적으로 분석할 수 있는 프레임워크를 제공하기.

제안 방법

• 자기동형사상 $g$의 차수 $T$에 대해 $n \in \frac{1}{T}\mathbb{Z}_{\geq 0}$인 경우에 대해 연속적인 연산자 대수 $A_{g,n}(V)$를 정의한다.
• 모듈 $A_{g,n}(V)$ 중에서 $A_{g,n-1/T}(V)$-모듈가 아닌 것들과 순열 가능한 $V$-모듈의 범주 사이의 함자를 구성한다.
• 이 함자들이 각 범주의 단순 모듈 사이의 일대일 대응을 유도함을 보인다.
• $V$-모듈의 구조와 $g$의 작용을 이용하여, 대수 $A_{g,n}(V)$를 이들 대수의 더 큰 순서열의 몫으로 정의한다.
• 유니터리 연산자 대수 이론과 모듈 범주의 이론을 활용하여, $A_{g,n}(V)$의 반단순성과 유한 차원성과 $V$의 $g$-유리성 간의 관계를 규명한다.
• 표현론적 기법을 적용하여 모듈 범주를 분석하고, 함자를 통해 범주 간의 동치를 증명한다.

실험 결과

연구 질문

• RQ1 유니터리 연산자 대수 $V$의 자동형사상 $g$에 의한 비틀린 표현은 어떻게 연산자 대수를 통해 체계적으로 분류할 수 있는가?
• RQ2 순열 가능한 $V$-모듈의 범주와 대수 $A_{g,n}(V)$ 위의 모듈의 범주 사이의 정확한 관계는 무엇인가?
• RQ3 $A_{g,n}(V)$에 어떤 조건이 성립할 경우 유니터리 연산자 대수 $V$가 $g$-유리적이게 되는가?
• RQ4 대수 $A_{g,n}(V)$들은 순서열에서 어떻게 상호 연관되어 있으며, $V$로부터 어떤 구조를 물려받는가?
• RQ5 대수 $A_{g,n}(V)$의 유한 차원성과 반단순성은 $V$의 $g$-유리성을 완전히 특성화할 수 있는가?

주요 결과

• 모듈 $A_{g,n}(V)$의 범주와 순열 가능한 $V$-모듈의 범주 사이의 함자들이 각각의 단순 모듈 사이의 일대일 대응을 수립한다.
• $A_{g,n}(V)$는 $A_{g,n+1/T}(V)$의 몫이 되며, 이는 연산자 대수의 감소하는 사슬을 이룬다.
• $V$가 $g$-유리적임과 동시에 모든 대수 $A_{g,n}(V)$가 유한 차원이면서 반단순임이 서로 동치이다.
• 이 구성은 비틀린 $V$-모듈과 대수 $A_{g,n}(V)$ 위의 모듈 사이에 완전한 범주적 동치를 제공한다.
• 이 프레임워크는 $V$의 표현론을 유한 차원의 연산자 대수의 연구로 환원할 수 있게 한다.
• 결과적으로, 유니터리 연산자 대수와 연산자 대수 간의 관계를 자동형사상에 의한 비틀린 모듈의 경우로 일반화한다.