[論文レビュー] C_2-cofinite W-algebras and their logarithmic representations

Dražen Adamović, Antun Milas|arXiv (Cornell University)|Dec 30, 2012

Algebraic structures and combinatorial models参考文献 77被引用数 7

ひとこと要約

本稿は、スクリーニング作用素とZhu代数理論を用いて、$χ(W(p))$-代数の対数的モジュールの新規構成を確立し、特定の$χ(V)$-モジュールが、ランク2の冪零$L(0)$作用をもつ$\mathcal{W}(p)$-モジュールへと引き上げられることを示している。主な貢献は、スクリーニングカレント$G(z)$を用いた新規のねじれ構成を通じて、半単純ランク3の自己双対的対数的モジュール（包摂的モジュールを含む）の明示的実現がなされたことである。

ABSTRACT

We discuss our recent results on the representation theory of $\mathcal{W}$--algebras relevant to Logarithmic Conformal Field Theory. First we explain some general constructions of $\mathcal{W}$-algebras coming from screening operators. Then we review the results on $C_2$--cofiniteness, the structure of Zhu's algebras, and the existence of logarithmic modules for triplet vertex algebras. We propose some conjectures and open problems which put the theory of triplet vertex algebras into a broader context. New realizations of logarithmic modules for $\mathcal{W}$-algebras defined via screenings are also presented.

研究の動機と目的

• C_2-コアシティを満たす$χ$-代数における対数的モジュールを体系的に構成する方法を開発すること、特に対数的コンフォーマル場理論の文脈において。
• C_2-コアシティと非単純モジュールカテゴリに注目することで、$χ$-代数の表現理論を有理的および正則な場合を超えて拡張すること。
• スクリーニング作用素と頂点代数自己同型を用いて、対数的モジュール（包摂的モジュールを含む）の明示的実現を提供すること。
• $\mathcal{W}(p)$-トライアッド頂点代数とその$C_2$-コアシティ構造を、より広範なカテゴリカルおよび量子群論的文脈に位置づけること。

提案手法

• 頂点代数$V$の$\mathbb{Z}_{\geq 0}$-次数モジュールを$A(V) = V/O(V)$上のモジュールに結びつけるために、Zhu代数の構成を用い、$O(V)$は要素$a \circ b = \mathrm{Res}_x Y(a,x) \frac{(1+x)^{\deg(a)}}{x^2} b$によって生成される。
• Drinfeld-Sokolov還元を用いて、アフィン頂点代数から$\mathcal{W}(p)$-代数をスクリーニング作用素によって構成し、$V$の像を$V/C_2(V)$による商として定義される$\mathcal{W}$-代数構造を活用する。
• 頂点作用素写像$\widehat{Y}(v,z) = Y(\Delta(G(z),z) v, z)$を導入し、$\mathcal{V}$-モジュールの作用を$G(z)$-関連のねじれモードを用いて$\mathcal{W}(p)$-モジュールへと変換する。ここで$\Delta(G(z),z)$はスクリーニングカレント作用を符号化する。
• $\mathcal{W}(p)$の$C_2$-コアシティを用いて有限表現カテゴリを保証し、根元の単位根における有限次元量子群との間のKazhdan-Lusztig対応予想を適用する。
• $\mathcal{V}$-モジュール$M_2^{\pm}$から、$G(z)$-ねじれモードを用いて頂点作用素を修正することで、明示的なモジュール$\widehat{M}_2^{\pm}$を構成し、$\widehat{L}(0)$作用が冪零であることを示す。
• Zhu代数の理論と関連する次数構造を用いてモジュールカテゴリを分析し、$\widehat{M}_2^{\pm}$が自己双対的であり、半単純ランク3であることを示す。

実験結果

リサーチクエスチョン

• RQ1 スクリーニング作用素と頂点代数自己同型を用いて、$\mathcal{W}(p)$-代数の対数的モジュールをどのように明示的に構成できるか。
• RQ2 $A(\mathcal{W}(p))$のZhu代数の構造は何か、そして$\mathcal{W}(p)$-モジュールの表現理論とどのように関係するか。
• RQ3 $C_2$-コアシティを満たす$\mathcal{W}$-代数における、非可約モジュールの包摂的モジュールをスクリーニングに基づく構成で実現できるか。
• RQ4 新しいねじれモジュール$\widehat{M}_2^{\pm}$は既知の対数的モジュールとどのように関係し、$L(0)$作用の構造は何か。
• RQ5 $C_2$-コアシティは、有限テンソルカテゴリ構造と量子群への接続を可能にする役割を果たすか。

主な発見

• 写像$\widehat{Y}(v,z) = Y(\Delta(G(z),z)v, z)$は、$M_2^{\pm}$の基底ベクトル空間上にwell-definedな弱$\mathcal{W}(p)$-モジュール構造を定め、$\mathcal{V}$-モジュールを$\mathcal{W}(p)$-モジュールへと引き上げることを確認した。
• $\widehat{M}_2^{\pm}$は$\widehat{L}(0) = L(0) + G(0)$を満たし、$\widehat{L}(0)$の作用がランク2の冪零性を示しており、対数的性質を裏付けた。
• $\widehat{M}_2^{\pm}$は自己双対的であり、半単純ランク3をもち、$\widehat{M}_2^{+}$（それぞれ$\widehat{M}_2^{-}$）は$\Lambda(2)$（それぞれ$\Pi(p-2)$）の包摂的モジュールである。
• 頂点作用素写像は$\widehat{Y}(\omega,z) = \widehat{L}(z)$を満たし、$\widehat{L}(0)$の作用が明示的に$L(0) + G(0)$として計算され、共形次元のずれが確認された。
• 本構成は、[NT]で得られた既知の結果と一致するが、スクリーニングカレントに基づくより体系的な方法により、新たな明示的実現を提供した。
• 結果は、$C_2$-コアシティを満たす$\mathcal{W}$-代数と、根元の単位根における有限次元量子群との間の予想的なKazhdan-Lusztig対応を支持する。