[論文レビュー] Quantum SL(2) and logarithmic vertex operator algebras at (p,1)-central charge

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

Algebraic structures and combinatorial models参考文献 66被引用数 11

ひとこと要約

この論文は、$ q = e^{\tau i/p} $ における小規模な量子 SL(2) と、中心電荷 $ c = 1 - 6(p-1)^2/p $ における三重項、単一項、およびVirasoro頂点 operator 代数の表現カテゴリの間でリボンテンソル同値性を確立し、対数的 conformal field theory における長年の予想を解決する。主な結果は、テンソル構造、braided 構造、およびリボン構造を保存する明示的なファンクターを通じて、量子群の表現と対数的 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.

研究の動機と目的

• 対数的 conformal field theory における、量子群の表現と非有理的頂点演算子代数の間の基本的予想を解決すること。
• 中心電荷 $ c = 1 - 6(p-1)^2/p $ における小規模な量子 SL(2) と三重項、単一項、およびVirasoro VOAs 間のカテゴリカル同値性を確立すること。
• 三重項 VOA $ \mathcal{W}_p $ の表現カテゴリのモジュラリティを証明すること。これは独立した興味を持つ結果である。
• タイプ $ A_1 $ における有理的最小モデルの対数的アナログを、厳密な枠組みで提供すること。

提案手法

• それぞれの VOAs のアフィン表現として、リボンテンソルカテゴリ $ \operatorname{rep}(\mathcal{V}ir_c)_{\mathrm{aff}} $, $ \operatorname{rep}(\mathcal{M}_p)_{\mathrm{aff}} $, および $ \operatorname{rep}(\mathcal{W}_p) $ を構成する。
• Lusztig の除法べき代数を用いて、小規模な量子 $ \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) $ を定義し、分析する。
• ファンクター $ \mathrm{K} $, $ \Psi $, および $ \Theta $ を用いて、量子群カテゴリと VOA の表現カテゴリの間で明示的なリボンテンソル同値性を確立する。
• 等置（de-equivariantization）技術とテンソルカテゴリ上の $ \mathbb{G} $-作用を用いて、量子群と VOAs 間の構造を関連付ける。
• モジュラー群の表現とファージョン環に関する先行研究の結果を応用し、両側の不変量の整合性を検証する。
• バインドされたモノイダルファンクターと自然同型を用いて、テンソル構造、バーニング構造、およびリボン構造との整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 中心電荷 $ c = 1 - 6(p-1)^2/p $ における小規模な量子 $ \operatorname{SL}(2) $ の表現カテゴリと三重項頂点演算子代数の間で、リボンテンソル同値性が存在するか？
• RQ2 中心電荷 $ c $ における $ \mathcal{V}ir_c $ の有理的最小モデルの対数的アナログは、量子群カテゴリと同値な表現カテゴリとして実現可能か？
• RQ3 三重項 VOA $ \mathcal{W}_p $ の表現カテゴリは、対数的 CFT におけるモジュラテンソルカテゴリに必要な条件を満たすモジュラーであるか？
• RQ4 $ u_q(\mathfrak{sl}_2) $ と $ \mathcal{W}_p $ のファージョン環およびモジュラー群の表現が一致するか？ その一致は、テンソルファンクターにまで拡張可能か？
• RQ5 タイプ $ A_1 $ を超えて、任意のディンキン型にまで、量子群の表現と VOA モジュールの同値性を拡張可能か？

主な発見

• 本論文は、三重項 VOA について、長年の予想である Gainutdinov らによる予想を裏付ける形で、リボンテンソル同値性 $ \Theta: \operatorname{rep}(u_q(\mathfrak{sl}_2)) \to \operatorname{rep}(\mathcal{W}_p) $ を証明した。
• Virasoro代数について、Bushlanov らの予想を解決する形で、リボンテンソル同値性 $ \mathrm{K}: \operatorname{rep}(\operatorname{SL}(2)_q) \to \operatorname{rep}(\mathcal{V}ir_c)_{\mathrm{aff}} $ を確立した。
• Singlet代数について、Creutzig, Gainutdinov, および Runkel の予想を裏付ける形で、同値性 $ \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 の両アプローチが統合され、今後の一般化のためのカテゴリカル基盤が提供された。