[논문 리뷰] Vertex operator algebras associated to the Virasoro algebra over an arbitrary field

Chongying Dong, Li Ren|arXiv (Cornell University)|2013. 08. 01.

Algebraic structures and combinatorial models참고 문헌 36인용 수 3

한 줄 요약

이 논문은 임의의 체 $\mathbb{F}$에서 $\mathrm{ch}\,\mathbb{F} \neq 2$ 인 바라소르 대수에 관련된 정점 연산자 대수를 구성하고 분류한다. 페르미온적 실현과 특이 벡터 분석을 통해 $L(\frac{1}{2},0)_\mathbb{F}$가 $\mathrm{ch}\,\mathbb{F} \neq 7$ 일 때는 세 개의 기약 모듈러스($h = 0, \frac{1}{2}, \frac{1}{16}$)를 가지며 유리적임을 증명한다. 그러나 $\mathrm{ch}\,\mathbb{F} = 7$ 일 때는 4차에서 특이 벡터의 붕괴로 인해 두 개의 모듈러스만 존재한다.

ABSTRACT

The vertex operator algebras and modules associated to the highest weight modules for the Virasoro algebra over an arbitrary field F whose characteristic is not equal to 2 are studied. The irreducible modules of vertex operator algebra L(1/2,0)_F are classified. The rationality of L(1/2,0)_F is established if the characteristic of F is different from 7.

연구 동기 및 목표

• 임의의 체 $\mathbb{F}$에서 $\mathrm{ch}\,\mathbb{F} \neq 2$ 인 정점 연산자 대수와 그 모듈러스를 연구함으로써, 복소해석적 결과를 일반 체로 확장한다.
• 그러한 체에서 정점 연산자 대수 $L(\frac{1}{2},0)_\mathbb{F}$의 기약 모듈러스를 분류한다.
• $\mathrm{ch}\,\mathbb{F} \neq 7$ 일 때 $L(\frac{1}{2},0)_\mathbb{F}$의 유리성을 확립하고, $\mathrm{ch}\,\mathbb{F} = 7$ 일 때의 특수한 경우를 분석한다.
• $\mathbb{F}$로의 기저 변경 하에서 $R$-형태의 $L(\frac{1}{2},h)$의 행동을 조사하며, 특히 $\mathrm{ch}\,\mathbb{F} = 7$ 일 때 $\mathbb{F} \otimes_R L(\frac{1}{2},h)_R \cong L(\frac{1}{2},h)_\mathbb{F}$ 가 성립하지 않는 이유를 밝힌다.

제안 방법

• 정점 연산자 슈퍼대수 $V(H_\mathbb{F}, \mathbb{Z}+\frac{1}{2})$와 그 $\tau$-스위치 모듈러스 $V(H_\mathbb{F}, \mathbb{Z})$ 를 이용한 $L(\frac{1}{2},h)_\mathbb{F}$ 의 페르미온적 실현. 여기서 $H_\mathbb{F} = \mathbb{F}a$ 이고 $(a,a)=1$.
• FF에서의 공식을 활용하여 베르마 모듈러스 $V(\frac{1}{2},h)_\mathbb{F}$ 에서 특이 벡터를 명시적으로 구성함으로써 기약 모듈러스를 분류한다.
• 모듈러스의 완전 가역성과 부분모듈러스의 기약성을 증명하기 위해 $V(H_\mathbb{F}, \mathbb{Z})$ 와 $V(H_\mathbb{F}, \mathbb{Z}+\frac{1}{2})$ 에 정의된 비퇴화 대칭 이차형식의 사용.
• $\mathrm{ch}\,\mathbb{F} \neq 7$ 일 때, $V(H_\mathbb{F}, \mathbb{Z}+\frac{1}{2})$ 의 짝수 부분과 홀수 부분이 각각 $L(\frac{1}{2},0)_\mathbb{F}$ 와 $L(\frac{1}{2},\frac{1}{2})_\mathbb{F}$ 와 동형임을 증명한다. 또한 $V(H_\mathbb{F}, \mathbb{Z})$ 의 두 부분이 모두 $L(\frac{1}{2},\frac{1}{16})_\mathbb{F}$ 와 동형임을 보임.
• 직교 보완과 최대 군집 부분모듈러스를 이용한 귀납적 추론을 통해 $Vir_\mathbb{F}$-모듈러스의 완전 가역성을 증명하고, $L(\frac{1}{2},h)_\mathbb{F}$ 의 기약성을 확립한다.
• $V(\frac{1}{2},0)_\mathbb{F}$ 에서 특이 벡터 $a(-\frac{1}{2})a(-\frac{7}{2}) - 3a(-\frac{3}{2})a(-\frac{5}{2})$ 를 분석함. 이는 $\mathrm{ch}\,\mathbb{F} \neq 7$ 일 때에만 최고 무게 벡터이며, $\mathrm{ch}\,\mathbb{F} = 7$ 일 때 4차 특이 벡터가 존재함을 보여준다.

실험 결과

연구 질문

• RQ1 임의의 체 $\mathbb{F}$ 에서 $\mathrm{ch}\,\mathbb{F} \neq 2$ 를 만족하는 정점 연산자 대수 $L(\frac{1}{2},0)_\mathbb{F}$ 의 구조는 어떻게 되는가?
• RQ2 기약 모듈러스의 수는 $\mathbb{F}$ 의 특성에 따라 어떻게 달라지며, $L(\frac{1}{2},0)_\mathbb{F}$ 는 몇 개의 서로 동치가 아닌 기약 모듈러스를 가질 수 있는가?
• RQ3 $\mathrm{ch}\,\mathbb{F} \neq 2$ 인 모든 $\mathbb{F}$ 에서 $L(\frac{1}{2},0)_\mathbb{F}$ 가 유리적인가? 이 경우에서 $\mathrm{ch}\,\mathbb{F} = 7$ 의 역할은 무엇인가?
• RQ4 $R = \mathbb{Z}[\frac{1}{2}]$ 인 $R$-형태 $L(\frac{1}{2},h)_R$ 가 $\mathrm{ch}\,\mathbb{F} = 7$ 일 때 $L(\frac{1}{2},h)_\mathbb{F}$ 로 기저를 바꾸는 데 실패하는 이유는 무엇인가?
• RQ5 $\mathrm{ch}\,\mathbb{F} = 7$ 일 때 $V(\frac{1}{2},0)_\mathbb{F}$ 의 4차 특이 벡터는 어떤 의미를 가지며, 이는 모듈러스 구조에 어떻게 영향을 미치는가?

주요 결과

• $\mathrm{ch}\,\mathbb{F} \neq 7$ 일 때, 정점 연산자 대수 $L(\frac{1}{2},0)_\mathbb{F}$ 는 정확히 세 개의 서로 동치가 아닌 기약 모듈러스 $L(\frac{1}{2},h)_\mathbb{F}$ ($h = 0, \frac{1}{2}, \frac{1}{16}$) 를 가지며, 이는 유리적이다.
• $\mathrm{ch}\,\mathbb{F} = 7$ 일 때, $L(\frac{1}{2},0)_\mathbb{F}$ 는 기약 모듈러스가 두 개 뿐이며, $L(\frac{1}{2},0)_\mathbb{F}$ 와 $L(\frac{1}{2},\frac{1}{2})_\mathbb{F}$ 이다. 이는 $\frac{1}{2} = \frac{1}{16}$ 로 합쳐지고 4차 특이 벡터로 인해 붕괴되기 때문이다.
• $V(H_\mathbb{F}, \mathbb{Z}+\frac{1}{2})$ 의 짝수 부분은 $L(\frac{1}{2},0)_\mathbb{F}$ 와 동형이며, 홀수 부분은 $L(\frac{1}{2},\frac{1}{2})_\mathbb{F}$ 와 동형이다. 이는 $\mathrm{ch}\,\mathbb{F} \neq 7$ 일 때 성립한다.
• $\mathrm{ch}\,\mathbb{F} \neq 7$ 일 때, $\tau$-스위치 모듈러스 $V(H_\mathbb{F}, \mathbb{Z})$ 의 짝수 부분과 홀수 부분 모두 $L(\frac{1}{2},\frac{1}{16})_\mathbb{F}$ 와 동형이며, 이는 세 번째 모듈러스를 확인한다.
• 특이 벡터 $a(-\frac{1}{2})a(-\frac{7}{2}) - 3a(-\frac{3}{2})a(-\frac{5}{2})$ 는 $\mathrm{ch}\,\mathbb{F} \neq 7$ 일 때에만 $V(\frac{1}{2},0)_\mathbb{F}$ 에서 최고 무게 벡터이며, 이는 분류에 핵심적이다.
• $\mathrm{ch}\,\mathbb{F} = 7$ 일 때, $R = \mathbb{Z}[\frac{1}{2}]$ 인 $R$-형태 $L(\frac{1}{2},h)_R$ 는 $L(\frac{1}{2},h)_\mathbb{F}$ 로 기저를 바꾸지 못하며, 이는 유리 정점 연산자 대수의 기대되는 내림성질이 실패함을 나타낸다.