[논문 리뷰] Flatness and Semi-Rigidity of Vertex Operator Algebras

Masahiko Miyamoto|arXiv (Cornell University)|2011. 04. 25.

Algebraic structures and combinatorial models참고 문헌 13인용 수 12

한 줄 요약

이 논문은 유리성 조건을 가정하지 않은 정점 연산자 대수(VOA)에 대한 일반적인 정리들을 수립하며, 평탄성과 준강성 개념을 도입하여 약한 조건 하에서 $C_2$-유한 고정점 VOA의 유리성을 증명한다. 이는 $C_2$-유한이고 CFT형이며 유리인 VOA $T$와 그 자동형 $g$가 존재할 때, 고정점 부분대수 $V = T^g$가 $C_2$-유한이면 $V$는 유리적이며, 이는 기존 표준 가정을 초월한 오르비포드 유리성 결과를 일반화한다.

ABSTRACT

In vertex operator algebra theories, most of the general theorems are proved under the assumptions of rationality and C_2-cofiniteness. In this paper, we obtain several general theorems without the assumption of rationality so that we can use them for proving rationality of given C_2-cofinite vertex operator algebras. For example, we apply them to orbifold models and show that if g is a finite automorphism of a rational C_2-cofinite vertex operator algebra T of CFT-type with T'\cong T and a fixed point subVOA T^g is C_2-cofinite, then T^g is also rational.

연구 동기 및 목표

• 유리성 조건을 가정하지 않은 VOA에 대한 일반 정리 개발을 통해 $C_2$-유한 VOA의 유리성 증명을 가능하게 한다.
• 특히 부모 VOA의 유리성 필요성을 제거함으로써 오르비포드 모델 이론을 약화된 가정 하에 확장한다.
• 비단순 구조에서 모듈러 카테고리와 융합 곱을 분석하기 위한 도구로 평탄성과 준강성 개념을 도입하고 활용한다.
• 부모 VOA가 유리적이라도, $C_2$-유한 고정점 VOA가 CFT형일 경우 약한 조건 하에서 그 유리성을 증명한다.

제안 방법

• 표준 $C_2$-유한성보다 더 약한 조건 하에서도 분석이 가능하도록, $V$-모듈러에 대한 수정된 $C_1$-유한성 정의를 도입한다.
• 융합 곱 $U \boxtimes W$를 프로젝티브 극한으로 정의하며, $W \boxtimes U$는 모든 $V$-모듈러 공리만을 만족하고 하한 트렁케이션을 제외한다.
• 준강성 개념을 도입한다: 모듈러 $W$가 준강성이라면, $W \boxtimes \widetilde{W}$와 $\widetilde{W} \boxtimes W$가 모두 $V$-모듈러이고, 일정한 호모모르피즘들이 커버링을 이룬다.
• 준강성 모듈러 $C$의 프로젝티브 코팅 $P_C$를 사용하고, $\ker(\rho_C) \boxtimes W$를 포함하는 수열의 정확성을 증명함으로써 $C_2$-유한성 하에서 평탄성을 확립한다.
• 인터윈잉 연산자에 대한 추적 함수와 모듈러 불변성 기법을 적용하며, $S$-변환 성질을 활용해 유리성을 증명한다.
• 고정점 VOA의 유리성을 유도하기 위해 조건 I(모듈러의 이중체가 $V$로의 비영 호모모르피즘을 가짐)와 조건 II(추적 함수의 모듈러 불변성)를 활용한다.

실험 결과

연구 질문

• RQ1 부모 VOA의 유리성을 가정하지 않고도 $C_2$-유한 고정점 VOA의 유리성을 확립할 수 있는가?
• RQ2 비단순 VOA 모듈러 카테고리에서 융합 곱이 정확성을 유지하는 조건은 무엇인가?
• RQ3 준강성은 비단순 구조에서 강성의 일반화로서 어떻게 프로젝티브성과 평탄성을 보장하는가?
• RQ4 $C_1$-유한성은 오르비포드 유리성의 표준 가정을 약화시키는 데 어떤 역할을 하는가?
• RQ5 인터윈잉 연산자의 추적 함수를 사용하여 모듈러 불변성과 $S$-변환 성질을 통해 유리성을 증명할 수 있는가?

주요 결과

• 만약 $T$가 $C_2$-유한하고 CFT형이며 유리인 VOA이고, $g$가 유한 자동형이며 $V = T^g$가 $C_2$-유한하고 조건 I를 만족한다면, $V$는 유리적이다.
• 모든 단순 $V$-모듈러는 어떤 $g^k$-트위스트된 $T$-모듈러의 부분모듈러와 동형이며, 이는 단순 $V$-모듈러의 완전한 분류를 확보한다.
• 고정점 VOA $V = T^g$는 $T$가 조건 II를 만족하면 조건 II를 만족하며, 이는 모듈러 텐서 카테고리 기법의 적용을 가능하게 한다.
• 준강성은 $V$가 $V$-모듈러로서 프로젝티브일 경우, 모든 준강성 불가분 모듈러가 프로젝티브이며, 모든 모듈러가 준강성이라면 모든 모듈러가 평탄하다는 것을 의미한다.
• 융합 곱 $U \boxtimes W$는 $C_2$-유한성 하에서 수열 $0 \to \ker(\rho_C) \boxtimes W \to P_C \boxtimes W \to C \boxtimes W \to 0$가 정확하므로 잘 정의되어 있다.
• $V$에서의 추적 함수 $\Psi_V(Y(\mathcal{Y}))$는 인터윈잉 연산자의 추적 함수의 선형 조합이며, 그 $S$-변환 역시 같은 조합으로 표현되며, 이는 모듈러 불변성과 유리성을 증명한다.