[논문 리뷰] Rationality of vertex operator algebras

Chongying Dong, Cuipo Jiang|ArXiv.org|2006. 07. 26.

Algebraic structures and combinatorial models참고 문헌 39인용 수 10

한 줄 요약

이 논문은 단순한 정점 연산자 대수의 유리성에 대한 기본 기준을 수립한다: 정점 연산자 대수 $V$는 그의 Zhu 대수 $A(V)$가 반단순이면서 모든 기약 적응형 $V$-모듈러가 일반 모듈러일 때이고, 뿐일 때에만 유리적이다. 저자들은 이 성질을 연관 대수 $A_n(V)$와 그 이중모듈러 이론을 사용하여 증명하고, 이를 통해 임의의 정부호 짝수 래티스 $L$에 대해 $V_L^+$가 유리적임을 보인다. 핵심 기여는 $V$의 내부 대수적 성질에 기반한 유리성의 완전한 특성화이다.

ABSTRACT

It is shown that a simple vertex operator algebra V is rational if and only if its Zhu algebra A(V) is semisimple and each irreducible admissible V-module is ordinary. A contravariant form on a Verma type admissible V-module is constructed and the radical is exactly the maximal proper submodule. As an application the rationality of V_L^+ for any positive definite even lattice is obtained.

연구 동기 및 목표

• 단순한 정점 연산자 대수의 유리성에 대한 필요충분조건을 수립하기 위해.
• Zhu 대수 $A(V)$의 반단순성이 정점 연산자 대수 $V$의 유리성으로 이어지는지 여부라는 열린 문제를 해결하기 위해.
• 외부 모듈러 카테고리 성질이 아닌 내부 대수적 구조에 기반한 실용적인 유리성 기준을 제공하기 위해.
• 이 기준을 적용하여 임의의 정부호 짝수 래티스 $L$에 대해 $V_L^+$의 유리성을 증명하기 위해.
• 기존의 기약 적응형 모듈러 분류를 $A(V)$-이론 프레임워크를 통해 통합하고 확장하기 위해.

제안 방법

• Zhu 대수 $A(V)$의 일반화인 연관 대수 $A_n(V)$를 사용하여 적응형 모듈러의 첫 $n+1$ 개의 등급 수준을 제어하기 위해.
• $A_{n,m}(V)$ 이중모듈러를 활용하여 적응형 모듈러의 등급 성분 간의 호모모르피즘을 대수적 구조와 연결하기 위해.
• 기약 적응형 $V$-모듈러와 단순 $A(V)$-모듈러 사이의 일대일 대응을 그들의 바닥 수준을 통해 활용하기 위해.
• $A(V)$가 반단순이고 모든 기약 적응형 모듈러가 일반일 경우 모든 적응형 모듈러가 완전 가역적임을 증명하기 위해.
• $V_L^+$에 이 기준을 적용하기 위해 $\bar{A}(V_L^+)$의 구조를 분석하고, $A_H$라는 이상수를 몫으로 취해 $\widehat{A}(V_L^+)$를 얻으며, 이 몫 대수가 반단순임을 보이기 위해.
• $\widehat{A}(V_L^+)$-모듈러에 표현론적 추론을 적용하여, 가중치 공간 분해와 연산자의 비퇴화성에 기반해 유한차원 기약 성분으로 분해됨을 보이기 위해.

실험 결과

연구 질문

• RQ1 Zhu 대수 $A(V)$의 반단순성이 단순한 정점 연산자 대수 $V$의 유리성으로 이어지는가?
• RQ2 모든 기약 적응형 $V$-모듈러가 일반이 되도록 보장하는 조건은 무엇인가?
• RQ3 $V_L^+$가 정부호 짝수 래티스 $L$에 대해 $A(V)$-이론을 통해 유리적임을 입증할 수 있는가?
• RQ4 일반화된 대수 $A_n(V)$와 그 이중모듈러 $A_{n,m}(V)$는 어떻게 모듈러 카테고리의 반단순성을 연구하는 데 기여하는가?
• RQ5 $\widehat{A}(V_L^+)$의 구조는 무엇이며, 왜 반단순인가?

주요 결과

• 단순한 정점 연산자 대수 $V$는 그의 Zhu 대수 $A(V)$가 반단순이면서 모든 기약 적응형 $V$-모듈러가 일반일 때이고, 뿐일 때에만 유리적이다.
• 기약 적응형 모듈러가 일반일 경우, $A(V)$의 반단순성은 유리성에 대한 충분조건이 된다.
• $A(V)$는 적응형 모듈러의 바닥 수준을 제어하며, 정점 연산자 대수 표현 이론에서 최고 무게 모듈러 이론을 일반화한다.
• $\bar{A}(V_L^+)$에서 이상수 $A_H$를 몫으로 취해 얻는 대수 $\widehat{A}(V_L^+)$는 반단순이며, 이는 그 모듈러의 완전 가역성을 암시한다.
• $\bar{A}(V_L^+)$의 부분대수 $A_H$는 $[\bar{B}_\alpha]$에 의해 생성되며, $\mathbb{C}[\widehat{L}/K]/J$와 동형인 이상수이며, 몫 대수 $\widehat{A}(V_L^+)$는 반단순이다.
• 결과적으로, 임의의 정부호 짝수 래티스 $L$에 대해 $V_L^+$는 유리적임을 확인하였으며, 주요 기준을 통해 유리성이 입증되었다.