[논문 리뷰] Quantum SL(2) and logarithmic vertex operator algebras at (p,1)-central charge

Terry Gannon, Cris Negron|arXiv (Cornell University)|2021. 04. 26.

Algebraic structures and combinatorial models참고 문헌 66인용 수 11

한 줄 요약

이 논문은 중심적 전하 $ c = 1 - 6(p-1)^2/p $ 에서 소형 양자 SL(2)의 표현 범주와 쌍대, 단일, 바이라소르 바이어럴로드의 표현 범주 사이의 리본 텐서 동치를 확립한다. 이는 로그형 양자역학적 양자장 이론에서 오랫동안 남아있던 추측을 해결한다. 핵심 결과는 양자군 표현과 로그형 VOAs 사이를 연결하는 명시적 함자들을 통해 텐서, 브레이딩, 리본 구조를 유지하는 카테고리적 동치이다.

ABSTRACT

We provide a ribbon tensor equivalence between the representation category of small quantum SL(2), at parameter q=exp($π$ i/p), and the representation category of the triplet vertex operator algebra at integral parameter p>1. We provide similar quantum group equivalences for representation categories associated to the Virasoro, and singlet vertex operator algebras at central charge c=1-6(p-1)^2/p. These results resolve a number of fundamental conjectures coming from studies of logarithmic CFTs in type A_1.

연구 동기 및 목표

• 로지스틱 CFT에서 양자군 표현과 비유계 VOAs 사이의 기본적 추측을 해결하기 위해.
• 중심 전하 $ c = 1 - 6(p-1)^2/p $ 에서 소형 양자 SL(2)와 쌍대, 단일, 바이어로드 VOAs 사이의 카테고리적 동치를 수립하기 위해.
• 쌍대 VOA $ \mathcal{W}_p $ 의 표현 범주가 모듈라리티를 갖는다는 것을 증명하며, 이는 별개의 관심사가 되는 결과이다.
• 타입 $ A_1 $ 에서 유리 최소 모델의 로그형 유사체를 위한 엄밀한 프레임워크를 제공하기 위해.

제안 방법

• 각 VOA의 아핀 표현으로서 리본 텐서 범주 $ \operatorname{rep}(\mathcal{V}ir_c)_{\mathrm{aff}} $, $ \operatorname{rep}(\mathcal{M}_p)_{\mathrm{aff}} $, 및 $ \operatorname{rep}(\mathcal{W}_p) $ 를 구성한다.
• 루슈티그의 나누어진 거듭제곱 대수를 사용하여 소형 양자 $ \operatorname{SL}(2) $ 의 표현 범주, 즉 $ \operatorname{rep}(u_q(\mathfrak{sl}_2)) $, $ \operatorname{rep}(\dot{\mathbf{u}}_q(\mathfrak{sl}_2)) $, 및 $ \operatorname{rep}(\operatorname{SL}(2)_q) $ 를 정의하고 분석한다.
• 양자군 범주와 VOA 표현 범주 사이의 명시적 리본 텐서 동치를 함자 $ \mathrm{K} $, $ \Psi $, 및 $ \Theta $ 를 통해 수립한다.
• 등가를 제거하는 기법과 텐서 범주에 대한 $ \mathbb{G} $-작용을 사용하여 양자군과 VOAs 간의 구조를 연결한다.
• 모듈라리 군 표현과 융합환의 이전 연구 결과를 적용하여 양측 간의 불변량의 일致성을 검증한다.
• 텐서, 브레이딩, 리본 구조와의 호환성을 확보하기 위해 브레이딩된 모나이드 함자와 자연 동형을 활용한다.

실험 결과

연구 질문

• RQ1 소형 양자 $ \operatorname{SL}(2) $ 의 표현 범주와 중심 전하 $ c = 1 - 6(p-1)^2/p $ 에서 쌍대 VOA 사이에 리본 텐서 동치가 존재하는가?
• RQ2 중심 전하 $ c $ 에서 $ \mathcal{V}ir_c $ 의 로그형 최소 모델 유사체는 양자군 범주와 동치인 표현 범주로 표현될 수 있는가?
• RQ3 쌍대 VOA $ \mathcal{W}_p $ 의 표현 범주는 로그형 CFT에서 모듈라리 텐서 범주를 위해 요구되는 바와 같이 모듈라리인가?
• RQ4 $ u_q(\mathfrak{sl}_2) $ 와 $ \mathcal{W}_p $ 의 융합환과 모듈라리 군 표현이 일치하는가? 그리고 이러한 일치는 텐서 함수로 확장될 수 있는가?
• RQ5 양자군 표현과 VOA 모듈 간의 동치는 타입 $ A_1 $ 을 초월하여 임의의 딘킨 타입으로 확장될 수 있는가?

주요 결과

• 논문은 장기간의 추측을 확인하는 리본 텐서 동치 $ \Theta: \operatorname{rep}(u_q(\mathfrak{sl}_2)) \to \operatorname{rep}(\mathcal{W}_p) $ 를 증명한다. 이는 게인우틴도노프 등이 제기한 쌍대 VOA에 대한 추측을 해결한다.
• 논문은 버쉬라노프 등이 제기한 바이어로드 대수에 대한 추측을 해결하는 리본 텐서 동치 $ \mathrm{K}: \operatorname{rep}(\operatorname{SL}(2)_q) \to \operatorname{rep}(\mathcal{V}ir_c)_{\mathrm{aff}} $ 를 수립한다.
• 크루츠긴, 게인우틴도노프, 런켈이 제기한 단일 대수에 대한 추측을 확인하는 동치 $ \Psi: \operatorname{rep}(\dot{\mathbf{u}}_q(\mathfrak{sl}_2)) \to \operatorname{rep}(\mathcal{M}_p)_{\mathrm{aff}} $ 가 구성된다.
• 표현 범주 $ \operatorname{rep}(\mathcal{W}_p) $ 가 모듈라리임을 증명하였으며, 이는 로그형 CFT에서 모듈라리 텐서 범주를 사용하기 위한 핵심 결과이다.
• 동치가 텐서, 브레이딩, 리본 구조를 유지함을 보였으며, 리본 구조는 양자군에서 표준 선택의 역수로 선택된다.
• 결과는 $ (p,1) $-중심 전하에서 로그형 CFT의 양자군과 VOA 접근법을 통합하며, 향후 일반화를 위한 카테고리적 기반을 제공한다.