[논문 리뷰] ${\mathbb Z}_p$-orbifold constructions

Toshiyuki Abe, Ching Hung Lam외 1명|arXiv (Cornell University)|2017. 05. 25.

Algebraic structures and combinatorial models참고 문헌 22인용 수 4

한 줄 요약

이 논문은 순서 $p$의 고정점이 없는 등급을 갖는 등급을 사용하여 리프 레이트의 정점 연산자 대수 $V_\Lambda$ 위에서 ${\mathbb Z}_p$-오르비폭을 통해 문싱 정점 연산자 대수 $V^\natural$를 구성한다. $p = 3,5,7,13$일 때 이러한 오르비폭 구성이 $V^\natural$을 유도함을 증명하며, ${\mathbb Z}_p$-오르비폭과 ${\mathbb Z}_2$-오르비폭 구성 방식을 통합하고, 두 상호수직인 이징 벡터를 통해 $V^\natural$을 특성화한다.

ABSTRACT

For $p = 3,5,7,13$, we consider a ${\mathbb Z}_p$-orbifold construction of the Moonshine vertex operator algebra $V^ atural$. We show that the vertex operator algebra obtained by the ${\mathbb Z}_p$-orbifold construction on the Leech lattice vertex operator algebra $V_\Lambda$ and a lift of a fixed-point-free isometry of order $p$ is isomorphic to the Moonshine vertex operator algebra $V^ atural$. We also describe the relationship between those ${\mathbb Z}_p$-orbifold constructions and the ${\mathbb Z}_2$-orbifold construction in a uniform manner. In Appendix, we give a characterization of the Moonshine vertex operator algebra $V^ atural$ by two mutually orthogonal Ising vectors.

연구 동기 및 목표

• 순서 $p$의 고정점이 없는 등급을 갖는 등급을 사용하여 리프 레이트 정점 연산자 대수 $V_\Lambda$ 위에서 ${\mathbb Z}_p$-오르비폭을 구성할 때, $p = 3,5,7,13$일 때 그 결과로 문싱 정점 연산자 대수 $V^\natural$이 도출됨을 입증하는 것.
• ${\mathbb Z}_p$-오르비폭과 ${\mathbb Z}_2$-오르비폭 구성 방식이 일관된 프레임워크 내에서 어떻게 통합될 수 있는지 밝혀내는 것.
• 부록에서 제시된 두 상호수직인 이징 벡터를 통해 $V^\natural$을 특성화하는 것.

제안 방법

• ${\mathbb Z}_p$-오르비폭을 리프 레이트 정점 연산자 대수 $V_\Lambda$에 대해 순서 $p$의 고정점이 없는 등급을 사용하여 적용하는 것.
• $\mathbb{Z}_p$-작용을 정점 연산자 대수의 구조로 올려 오르비폭 구성 방식을 정의하는 것.
• 표현 이론과 모듈라 불변성을 사용하여 결과 정점 연산자 대수가 $V^\natural$임을 식별하는 것.
• ${\mathbb Z}_p$-오르비폭 구성과 표준 ${\mathbb Z}_2$-오르비폭 구성 간의 공유 구조와 대칭성을 비교하는 것.
• 부록에서 두 상호수직인 이징 벡터를 사용하여 $V^\natural$을 특성화하여 구조적 불변성을 확립하는 것.

실험 결과

연구 질문

• RQ1 ${\mathbb Z}_p$-오르비폭 구성이 순서 $p$의 고정점이 없는 등급을 갖는 등급을 사용하여 $V_\Lambda$ 위에서 수행될 때, $p = 3,5,7,13$일 때 결과로 문싱 정점 연산자 대수 $V^\natural$이 도출되는가?
• RQ2 ${\mathbb Z}_p$-오르비폭과 ${\mathbb Z}_2$-오르비폭 구성 방식이 통합된 프레임워크 내에서 어떻게 관련지어질 수 있는가?
• RQ3 $V^\natural$은 두 상호수직인 이징 벡터의 존재를 통해 유일하게 특성화될 수 있는가?

주요 결과

• ${\mathbb Z}_p$-오르비폭 구성이 순서 $p$의 고정점이 없는 등급을 갖는 등급을 사용하여 $V_\Lambda$ 위에서 수행될 때, $p = 3,5,7,13$일 때 결과 정점 연산자 대수는 $V^\natural$과 동형임을 보여준다.
• 이 구성은 ${\mathbb Z}_p$-오르비폭과 ${\mathbb Z}_2$-오르비폭 방식을 통합하는 일관된 기술을 제공한다.
• 문싱 정점 연산자 대수 $V^\natural$은 부록에서 보여진 바와 같이 두 상호수직인 이징 벡터의 존재를 통해 특성화된다.
• 오르비폭 구성은 결과가 $V^\natural$임을 식별하기 위해 필요한 모듈라 성질과 표현론적 구조를 유지한다.