[論文レビュー] A note on the "logarithmic-W_3" octuplet algebra and its Nichols algebra

A. M. Semikhatov|arXiv (Cornell University)|Jan 10, 2013

Algebraic structures and combinatorial models参考文献 26被引用数 3

ひとこと要約

本稿では、原始的 $2p$ 乗根 $\mathfrak{q} = e^{i\pi/p}$ によって定義される対角的 braiding を持つランク2のニコルズ代数の中心化子として、対数的 $χ_{3}$-拡張チラル代数、すなわち八重項代数 $ω_{p,1}$ を構成する。自由場実現とスクリーニング作用素を用いて、オペレータ積展開（OPE）構造とモジュール表現を確立し、それらがニコルズ代数のイェッター–ドリンフェルドモジュールと類似していることを示し、$p \geq 2$ において $ω_{p,1}$ と $β(X)$ モジュールのカテゴリカルな対応を提案する。これにより、$χ_{3}$ 対称性への三重項代数のパラダイムの拡張が達成される。

ABSTRACT

We describe a Nichols-algebra-motivated construction of an octuplet chiral algebra that is a "W_3-counterpart" of the triplet algebra of (p,1) logarithmic models of two-dimensional conformal field theory.

研究の動機と目的

• Virasoro代数（三重項代数）から $χ_{3}$ 代数への対数的 CFT フレームワークの拡張を、対応する八重項チラル代数の構成によって達成すること。
• パラメータ $\mathfrak{q} = e^{i\pi/p}$, $p \geq 2$ で定義される対角的 braiding を持つランク2のニコルズ代数 $β(X)$ 及びそのイェッター–ドリンフェルドモジュールの構造を記述すること。
• 自由場実現と OPE 構造を用いて、$ω_{p,1}$ の既約モジュールと単純なイェッター–ドリンフェルド $β(X)$-モジュールの間の対応を提案すること。
• 既知の $(p,1)$-三重項ケースにおける関係に類似した、$ω_{p,1}$ 代数とニコルズ代数 $β(X)$ の表現カテゴリの間のファンクター的同倣関係を構築すること。

提案手法

• ニコルズ代数 $β(X)$ の生成子をスクリーニング作用素 $F_i = \oint e^{\alpha_i \cdot \varphi}$ として実現し、braiding 行列 $q_{ij} = \begin{pmatrix} \mathfrak{q}^2 & \mathfrak{q}^{-1} \\ \mathfrak{q}^{-1} & \mathfrak{q}^2 \end{pmatrix}$, $\mathfrak{q} = e^{i\pi/p}$ を再現するように運動量 $\alpha_i$ を選ぶ。
• テンソル代数 $T(X)$ から $q$-交換関係および $p$ 乗関係によって生成されるイデアルを商取ることで、ニコルズ代数 $\mathfrak{B}(X)$ を構成し、$\dim \mathfrak{B}(X) = p^3$ を得る。
• Poincaré–Birkhoff–Witt 基底 $F_1^r F_3^t F_2^s$（$F_3 = [F_2, F_1]$）を導出し、$q$-変形シャッフル積を用いて乗法則を計算する。
• 八重項代数 $\mathscr{O}_{p,1}$ を $\mathfrak{B}(X)$ を中心化するチラル代数として定義し、$\mathscr{W}_\alpha, \mathscr{W}_\beta, \mathscr{W}_{\alpha\beta\alpha}$ などの場を導入し、$T(w)$ およびそれら相互間の OPE を計算する。
• $\omega_\alpha, \omega_\beta$ を基本重みとし、自由場表現 $\mathscr{F}_{n_1,n_2}(z) = \exp\left(\frac{1-n_1}{p}\omega_\alpha(z) + \frac{1-n_2}{p}\omega_\beta(z)\right)$ を定義し、その conformal 次元を計算する。
• 自由場実現 $\mathscr{F}_{n_1,n_2}(z)$ から生成される $\mathscr{O}_{p,1}$-モジュールが、braiding と OPE 挙動の一致に基づき、単純なイェッター–ドリンフェルド $\mathfrak{B}(X)$-モジュールの対応物であると提案する。

実験結果

リサーチクエスチョン

• RQ1 $(p,1)$-三重項代数の $\mathcal{W}_3$ 対応物は、ニコルズ代数中心化子を用いてどのように構成可能か？
• RQ2 braiding 行列 $q_{ij} = \begin{pmatrix} \mathfrak{q}^2 & \mathfrak{q}^{-1} \\ \mathfrak{q}^{-1} & \mathfrak{q}^2 \end{pmatrix}$, $\mathfrak{q} = e^{i\pi/p}$ を持つランク2のニコルズ代数 $\mathfrak{B}(X)$ 及びそのイェッター–ドリンフェルドモジュールの明示的構造は何か？
• RQ3 $\mathscr{O}_{p,1}$ の八重項代数における自由場実現 $\mathscr{F}_{n_1,n_2}(z)$ の OPE と conformal 次元は、対応する $\mathfrak{B}(X)$-モジュールと一致するか？
• RQ4 $\mathscr{O}_{p,1}$ と $\mathfrak{B}(X)$ の表現カテゴリは、ファンクターを介して関係づけられるか？これは、既知の $(p,1)$-三重項ケースへの拡張である。
• RQ5 $\mathscr{O}_{p,1}$ 場の OPE における $s\ell(3)$-類似構造は、特に $3p-2$ 階の特異ベクトルにおいてどのような役割を果たすか？

主な発見

• 与えられた braiding 行列を持つニコルズ代数 $\mathfrak{B}(X)$ は次元 $p^3$ を持ち、PBW 基底 $F_1^r F_3^t F_2^s$（$0 \leq r,s,t \leq p-1$）を持ち、乗法則は $q$-変形シャッフル積で与えられる。
• 八重項代数 $\mathscr{O}_{p,1}$ は $\mathfrak{B}(X)$ を中心化するチラル代数として構成され、$\mathscr{W}_\alpha, \mathscr{W}_\beta, \mathscr{W}_{\alpha\beta\alpha}, \mathscr{W}_{\beta\alpha\beta}$ および $T(z)$ などの場を含み、それらの OPE には $3p-2$ 階の特異ベクトルが現れる。
• 自由場表現 $\mathscr{F}_{n_1,n_2}(z)$ の conformal 次元は $\Delta_{n_1,n_2} = p - n_1 - n_2 + \frac{n_1^2 + n_1n_2 + n_2^2}{3p} - \frac{(p-1)^2}{p}$ であり、6つの重みペアのワイル軌道に沿って変換する。
• $\mathscr{W}_\alpha(z)\mathscr{W}_\beta(w)$ の OPE には $3p-2$ 階の特異ベクトルが含まれ、$\mathscr{W}_\alpha(z)\mathscr{W}_{\alpha\beta\alpha}(w)$ および $\mathscr{W}_\beta(z)\mathscr{W}_{\beta\alpha\beta}(w)$ の OPE は $z=w$ で正則であり、非特異な融合を示している。
• $\mathfrak{B}(X)$-モジュール $V^{\{n_1,n_2\}}$ と $\mathscr{F}_{n_1,n_2}(z)$ から生成される $\mathscr{O}_{p,1}$-モジュールは、スクリーニング作用素 $F_i$ との braiding において同型であるため、提案されたカテゴリカル同値性を支持する。
• 本構成により、既知の $(p,1)$-三重項 CFT とニコルズ代数モジュールの関係を $\mathcal{W}_3$ 拡張ケースに拡張するための枠組みが提供され、$\mathscr{O}_{p,1}$ が三重項代数の $\mathcal{W}_3$ 対応物として機能することが示された。