[논문 리뷰] A Z_2-orbifold model of the symplectic fermionic vertex operator superalgebra

Toshiyuki Abe|ArXiv.org|2005. 03. 23.

Algebraic structures and combinatorial models참고 문헌 25인용 수 14

한 줄 요약

이 논문은 $d$ 쌍의 심플렉틱 페르미온으로 생성되는 심플렉틱 페르미온 수반 베르투엑터 연산자 슈퍼대수의 $\field{Z}_2$-오르비폴드로서 중심 호수 $-2d$인 무리수 $C_2$-코페이니티브 베르투엑터 연산자 대수를 구성한다. 모든 기약 모듈을 분류하고, 자동형군이 $Sp(2d,\mathbb{C})/\langle\theta\rangle$와 동형임을 증명하며, $d=1$일 때 $c=-2$ 삼중체 대수를 실현하고 고차원 $d$로 일반화한다. 이 구성은 주우의 대수와 $\field{Z}_2$-오르비폴드의 표현 이론에 기반한다.

ABSTRACT

We construct an irrational C_2-cofinite vertex operator algebra associatted to a finite dimensional vector space with a nondegenerate skew-symmetric bilinear form. We also classify its equivalence classes of irreducible modules and determine its automorphism group.

연구 동기 및 목표

• 임의의 양의 정수 $d$에 대해 중심 호수 $-2d$인 무리수 $C_2$-코페이니티브 베르투엑터 연산자 대수를 구성하는 것.
• 이 베르투엑터 연산자 대수에 대한 모든 기약 모듈을 분류하는 것.
• 구성된 베르투엑터 연산자 대수의 자동형군을 규명하는 것.
• 심플렉틱 페르미온을 이용해 쾌쉬의 $c=-2$ 삼중체 대수 실현을 고차원 $d$로 일반화하는 것.

제안 방법

• 심플렉틱 페르미온 $d$ 쌍으로부터 $\mathfrak{h}$ 위의 비퇴화 반대칭 형식을 갖는 포크 공간 구성법을 통해 베르투엑터 연산자 슈퍼대수 $SF$를 구성한다.
• 기저 $\{e^i, f^i\}$가 $\langle f^i, e^j\rangle = \delta_{ij}$를 만족하는 $\mathfrak{h}$의 기저를 사용하여 $SF$ 내의 바이어로소 벡터를 정의함으로써 중심 호수 $c = -2d$를 얻는다.
• 표준적 인볼루션 $\theta$에 대한 $\field{Z}_2$-오르비폴드로서 $SF^+$를 정의함으로써 $SF^+$를 베르투엑터 연산자 대수로 만든다.
• Zhu의 대수와 모듈 이론을 이용하여 $d=1$과 $d\geq 2$의 경우에 대해 $A(SF^+)$-모듈의 분석을 통해 $SF^+$-기본 모듈을 분류한다.
• $d=1$의 경우 직접 계산을 통해 $SF^+$의 $C_2$-코페이니티브성을 증명하고, 텐서곱 구조를 통해 고차원으로 확장한다.
• 모듈의 동형과 이중선형 형식의 불변성을 통해 $\operatorname{Aut}(SF^+)$가 $Sp(2d,\mathbb{C})/\langle\theta\rangle$와 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 심플렉틱 페르미온 수반 베르투엑터 연산자 슈퍼대수의 $\field{Z}_2$-오르비폴드의 구조는 어떻게 되며, 중심 호수는 얼마인가?
• RQ2 이 오르비폴드 베르투엑터 연산자 대수에 대한 모든 기약 모듈은 어떻게 분류할 수 있는가?
• RQ3 결과적으로 얻어진 베르투엑터 연산자 대수 $SF^+$의 자동형군은 무엇인가?
• RQ4 $d=1$의 경우와 텐서곱 구조를 통해 $SF^+$의 $C_2$-코페이니티브성이 어떻게 유도되는가?
• RQ5 $c=-2$ 삼중체 대수가 $d=1$일 때 심플렉틱 페르미온 VOSA의 짝수 부분으로 실현되는가, 고차원 $d$로 일반화되는가?

주요 결과

• 베르투엑터 연산자 대수 $SF^+$는 임의의 양의 정수 $d$에 대해 중심 호수 $-2d$를 가지며, $C_2$-코페이니티브이다. $C_2$-코페이니티브성은 $d=1$의 경우 직접 증명되었다.
• 모듈 $SF^\pm$, $SF(\theta)^\pm$의 특성치 $S_M(\tau)$는 상호로 다르며, 이는 임의의 자동형 $g$가 모듈 구조에 대해 스칼라 곱을 제외하고 자명하게 작용함을 의미한다.
• $Sp(2d,\mathbb{C}) \to \operatorname{Aut}(SF^+)$의 자연스러운 준동형사상은 전사적이며, 이는 $\operatorname{Aut}(SF^+) \cong Sp(2d,\mathbb{C})/\langle\theta\rangle$를 확인한다.