[논문 리뷰] From vertex operator algebras to conformal nets and back

Sebastiano Carpi, Yasuyuki Kawahigashi외 2명|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2015. 03. 04.

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

한 줄 요약

이 논문은 에너지 경계와 강한 국소성 조건을 만족하는 강한 국소성 단위 유니터리 정점 연산자 대수(VOA)와 등각 네티워크 사이에 엄밀하고 역행 가능한 대응 관계를 수립한다. 이는 양자장 이론의 대수적 구조에서 핵심적인 역할을 한다. 에너지 경계와 강한 국소성 조건을 만족하는 VOA로부터 등각 네티워크를 구성하고, 내적의 선택과 무관하게 이 구성이 잘 정의됨을 증명하며, VOA가 네티워크로부터 복원 가능하다는 점을 보여, 자연스러운 해석적 조건 하에서 두 주요 초순수 등각 장 이론 표현 간 깊이 있는 동치성을 입증한다.

ABSTRACT

We consider unitary simple vertex operator algebras whose vertex operators satisfy certain energy bounds and a strong form of locality and call them strongly local. We present a general procedure which associates to every strongly local vertex operator algebra V a conformal net A_V acting on the Hilbert space completion of V and prove that the isomorphism class of A_V does not depend on the choice of the scalar product on V. We show that the class of strongly local vertex operator algebras is closed under taking tensor products and unitary subalgebras and that, for every strongly local vertex operator algebra V, the map W\mapsto A_W gives a one-to-one correspondence between the unitary subalgebras W of V and the covariant subnets of A_V. Many known examples of vertex operator algebras such as the unitary Virasoro vertex operator algebras, the unitary affine Lie algebras vertex operator algebras, the known c=1 unitary vertex operator algebras, the moonshine vertex operator algebra, together with their coset and orbifold subalgebras, turn out to be strongly local. We give various applications of our results. In particular we show that the even shorter Moonshine vertex operator algebra is strongly local and that the automorphism group of the corresponding conformal net is the Baby Monster group. We prove that a construction of Fredenhagen and Jörss gives back the strongly local vertex operator algebra V from the conformal net A_V and give conditions on a conformal net A implying that A= A_V for some strongly local vertex operator algebra V.

연구 동기 및 목표

• 단위 유니터리 정점 연산자 대수와 등각 네티워크 사이에 엄밀한 수학적 대응 관계를 수립함으로써, 초순수 등각 장 이론의 두 기초적 프레임워크 간의 관계를 규명한다.
• 에너지 경계와 강한 국소성 조건을 만족하는 '강한 국소성 VOA'의 클래스를 정의하고 특성화함으로써, 연산자 대수 이론 기법과의 호환성을 확보한다.
• 이러한 VOA로부터 구성된 등각 네티워크의 구성이 VOA 위의 스칼라 곱의 선택과 무관하게 잘 정의됨을 증명한다.
• VOA의 단위 유니터리 부분대수와 그에 대응하는 등각 네티워크의 공변 부분넷 사이의 대응 관계가 일대일임을 보인다.
• 기존의 알려진 VOA들—예를 들어 무지개 VOA와 단위 유니터리 바이어스로라 대수—가 강한 국소성 조건을 만족함을 보이고, 그에 대응하는 네티워크가 전체 자기동형군(예: 베이비 몬스터 군)을 실현함을 보여준다.

제안 방법

• 에너지 경계와 정점 연산자에 대한 강한 국소성 조건을 만족하는 강한 국소성 VOA를 정의한다.
• 강한 국소성 VOA $V$의 힐버트 공간 완비화 위에 정점 연산자와 그 스메어드 필드를 사용하여 등각 네티워크 $\mathcal{A}_V$를 구성한다.
• 넷 $\mathcal{A}_V$가 모비우스 공변성, 이소토니아, 국소성을 만족함을 증명함으로써, 유효한 등각 네티워크임을 입증한다.
• 비소그나노-비히르먼 성질과 해석적 계속 기법(스바르츠 반사 원리 활용)을 사용하여 해밀토니안의 정의역 성질과 에너지 경계를 확립한다.
• 프레덴하겐-요르스의 일반화된 구성법을 활용하여 등각 네티워크로부터 원래의 VOA를 재구성함으로써, 완전한 역행성(역대칭성)을 입증한다.
• 기존의 알려진 VOA들(예: 바이어스로라, 아핀, $c=1$, 무지개)에 이 те오리의 적용을 시도하고, 그것들이 강한 국소성 조건을 만족함을 확인하며, 그에 대응하는 네티워크의 명시적 실현을 제시한다.

실험 결과

연구 질문

• RQ1 에너지 경계와 강한 국소성 조건을 만족하는 단위 유니터리 정점 연산자 대수를 스칼라 곱의 선택과 무관하게 체계적으로 등각 네티워크와 연관시킬 수 있는가?
• RQ2 VOA의 단위 유니터리 부분대수와 그에 대응하는 등각 네티워크의 공변 부분넷 사이의 대응 관계가 일대일인가?
• RQ3 원래의 정점 연산자 대수는 그에 대응하는 등각 네티워크로부터 재구성될 수 있으며, 이러한 재구성은 어떤 조건 하에서 성립하는가?
• RQ4 기존의 알려진 VOA들(예: 무지개, $c=1$, 아핀) 중에서 강한 국소성 조건을 만족하는 것은 무엇이며, 그에 대응하는 등각 네티워크의 대칭성은 무엇인가?
• RQ5 어떤 해석적 및 대수적 조건들이 등각 네티워크가 강한 국소성 정점 연산자 대수로부터 유도됨을 보장하는가?

주요 결과

• 강한 국소성 VOA $V$로부터 구성된 등각 네티워크 $\mathcal{A}_V$의 구성은 $V$ 위의 스칼라 곱의 선택과 무관하게 잘 정의된다.
• 사상 $W \mapsto \mathcal{A}_W$는 $V$의 단위 유니터리 부분대수 $W$와 $\mathcal{A}_V$의 공변 부분넷 사이의 일대일 대응을 이룬다.
• 무지개 정점 연산자 대수의 짧은 짝수 부분대수는 강한 국소성 조건을 만족하며, 그에 대응하는 등각 네티워크의 자기동형군은 베이비 몬스터 군과 동형임을 보였다.
• 프레덴하겐-요르스 구성법을 통해 원래의 강한 국소성 VOA가 그에 대응하는 등각 네티워크로부터 재구성되며, 이는 역행성 있는 이중성 관계를 확립한다.
• 강한 국소성 VOA의 클래스는 텐서곱과 단위 유니터리 부분대수를 취하는 것과 같은 자연스러운 대수적 연산에 대해 닫혀 있음을 보여, 안정성을 확보한다.
• 바이어스로라, 아핀 리 대수, $c=1$, 무지개 VOA 등 모든 알려진 예시들이 강한 국소성 조건을 만족함을 확인하였으며, 이는 등각 네티워크 형식론과의 호환성을 입증한다.