[論文レビュー] Kazhdan--Lusztig correspondence for the representation category of the triplet W-algebra in logarithmic Conformal Field Theory

BL Feigin, AM Gainutdinov+2 more|arXiv (Cornell University)|Dec 28, 2005

Algebraic structures and combinatorial models被引用数 11

ひとこと要約

本稿は、対数的 conformal field theory における三重項 W代数 W(p) の表現カテゴリと、$q = e^{i\pi/p}$ における制限量子群 $U_q\,\mathrm{SL}_2$ の有限次元表現のカテゴリ C(p) の間の同型を提案する。C(p) に含まれるすべての非分解的表現を、射影的表現とクライナーク・クiver に由来する3つの系列に完全に分類し、p=2 に対して同型を証明するとともに、量子群の中心と CFT の中心の一致、および普遍 R-行列と braiding 行列の一致を確立する。

ABSTRACT

To study the representation category of the triplet W-algebra W(p) that is the symmetry of the (1,p) logarithmic conformal field theory model, we propose the equivalent category C(p) of finite-dimensional representations of the restricted quantum group $U_q SL2$ at $q=e^{\frac{i\pi}{p}}$. We fully describe the category C(p) by classifying all indecomposable representations. These are exhausted by projective modules and three series of representations that are essentially described by indecomposable representations of the Kronecker quiver. The equivalence of the W(p)- and $U_q SL2$-representation categories is conjectured for all $p\ge 2$ and proved for p=2, the implications including the identifications of the quantum-group center with the logarithmic conformal field theory center and of the universal R-matrix with the braiding matrix.

研究の動機と目的

• 三重項 W代数 W(p) の表現カテゴリと、$q = e^{i\pi/p}$ における制限量子群 $U_q\,\mathrm{SL}_2$ の有限次元表現カテゴリの間のカテゴリカル同型を確立すること。
• 量子群のカテゴリ C(p) におけるすべての非分解的表現を完全に分類すること。
• p=2 の場合に、提案された同型を証明し、対応の具体的な実現を与えること。
• 量子群の中心を対数的 conformal field theory の中心と一致させること。
• 量子群の普遍 R-行列を conformal field theory の braiding 行列と一致させること。

提案手法

• 制限量子群 $U_q\,\mathrm{SL}_2$ における $q = e^{i\pi/p}$ のときの有限次元表現のカテゴリ C(p) を構成すること。
• 根の単位根における量子群のモジュール構造を分析することで、C(p) に含まれるすべての非分解的表現を分類すること。
• 射影的モジュールと、クライナーク・クiver の非分解的表現に対応する3つの系列の表現を同定すること。
• 表現論的技法を用いて、p=2 のときの W(p)-表現カテゴリと $U_q\,\mathrm{SL}_2$-表現カテゴリの同型を確立すること。
• カテゴリ的および代数的同型を用いて、量子群の中心が対数的 CFT の中心と一致することを検証すること。
• $U_q\,\mathrm{SL}_2$ の普遍 R-行列が conformal field theory の設定における braiding 行列に対応することを確認すること。

実験結果

リサーチクエスチョン

• RQ1 三重項 W代数 W(p) の表現カテゴリと、$q = e^{i\pi/p}$ における制限量子群 $U_q\,\mathrm{SL}_2$ の有限次元表現カテゴリの間にはカテゴリカル同型が存在するか？
• RQ2 カテゴリ C(p) における $U_q\,\mathrm{SL}_2$ 表現のすべての非分解的表現の完全な分類は何か？
• RQ3 この対応の下で、量子群の中心と対数的 conformal field theory の中心はどのように関係するか？
• RQ4 $U_q\,\mathrm{SL}_2$ の普遍 R-行列は、W(p)-CFT の braiding 行列と一致するか？
• RQ5 提案された同型は p=2 に対して厳密に証明可能であり、その表現カテゴリの構造にどのような意味を持つのか？

主な発見

• $q = e^{i\pi/p}$ における $U_q\,\mathrm{SL}_2$ の有限次元表現のカテゴリ C(p) は完全に分類されており、すべての非分解的表現は射影的モジュールとクライナーク・クiver に由来する3つの系列から成る。
• p=2 の場合に、W(p)-表現カテゴリと C(p) の間の同型が厳密に証明され、両理論の間の明確な結びつきが確立された。
• 制限量子群 $U_q\,\mathrm{SL}_2$ の中心が、対数的 conformal field theory の中心と一致することが同定された。これは重要な構造的一致を確認するものである。
• $U_q\,\mathrm{SL}_2$ の普遍 R-行列が、W(p)-CFT の braiding 行列と正確に一致することが示され、カテゴリカル braiding 構造の妥当性が裏付けられた。
• C(p) における非分解的表現の分類は完全であり、射影的モジュールとクライナーク・クiver の表現理論に由来する3つの系列のみが含まれる。
• p=2 における結果は、すべての $p \geq 2$ に対して予想される同型の強力な証拠を提供し、対数的 conformal field theories を量子群表現理論を用いて研究する新しい枠組みを提供する。