[論文レビュー] Vertex tensor category structure on a category of Kazhdan--Lusztig

Lin Zhang|ArXiv.org|Jan 9, 2007

Algebraic structures and combinatorial models参考文献 16被引用数 12

ひとこと要約

この論文は、 Huang-Lepowsky-Zhang の一般化対数的テンソル積理論のための条件を検証することによって、非正整数レベルにおけるアフィンリー代数のモジュールの Kazhdan-Lusztig の圏 $\mathcal{O}_\kappa$ に頂点テンソル圏構造を確立する。主な貢献は、結合的同型写像の新しい頂点代数的構成法であり、$\mathcal{O}_\kappa$ が自然な頂点テンソル圏構造を備えていることを証明し、Kazhdan-Lusztig のbraidedテンソル圏を頂点作用素代数の枠組みに埋め込むことになる。

ABSTRACT

We incorporate a category of certain modules for an affine Lie algebra, of a certain fixed non-positive-integral level, considered by Kazhdan and Lusztig, into the representation theory of vertex operator algebras, by using the logarithmic tensor product theory for generalized modules for a vertex operator algebra developed by Huang, Lepowsky and the author. We do this by proving that the conditions for applying this general logarithmic tensor product theory hold. As a consequence, we prove that this category has a natural vertex tensor category structure, and in particular we obtain a new, vertex-algebraic, construction of the natural associativity isomorphisms and proof of their properties.

研究の動機と目的

• 非正整数レベルにおける Kazhdan-Lusztig の圏 $\mathcal{O}_\kappa$ を頂点作用素代数の表現理論に統合すること。
• Huang, Lepowsky, Zhang の一般化対数的テンソル積理論に必要な条件が $\mathcal{O}_\kappa$ で満たされていることを検証すること。
• 一般化テンソル積フレームワークを用いて、$\mathcal{O}_\kappa$ 内の結合的同型写像の新しい頂点代数的構成法を確立すること。
• $\mathcal{O}_\kappa$ が自然な頂点テンソル圏構造（およびbraidedテンソル圏構造）を備えていることを証明すること。
• Kazhdan-Lusztig の元々のテンソル積構成法と、一般化テンソル積理論から導かれるものとの間の同倹性を示すこと。

提案手法

• 相互作用作用素と対数的項を含む条件を導入することで、一般化テンソル積理論における微妙な適合性条件の代わりの条件を確立し、適合性の検証を可能にする。
• 頂点作用素代数 $V_{\hat{\mathfrak{g}}}(\ell,0)$ の一般化モジュールの圏 $\mathcal{O}_\kappa$ に [HLZ1] および [HLZ2] の一般化対数的テンソル積理論を適用する。
• $\mathcal{O}_\kappa$ の対象が $C_1$-cofinite かつ擬有限次元的であることを示し、テンソル理論に必要な主要な有限性条件を満たしていることを証明する。
• $L(-1)$-微分性を用いて、一般化モジュールが $C_1(W)$ を含む有限次元部分空間の張りで生成されることを示し、$C_1$-cofiniteness を保証する。
• $\mathcal{O}_\kappa$ が対対応関手、$Q(z)$-および $P(z)$-テンソル積に関して閉じていることを証明し、圏的閉包性を確認する。
• 適合性条件を介して、Kazhdan-Lusztig の元々のテンソル積と一般化理論から導かれるテンソル積との同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 Kazhdan-Lusztig の圏 $\mathcal{O}_\kappa$ は、Huang, Lepowsky, Zhang の一般化対数的テンソル積理論に必要な条件を満たしているか？
• RQ2 $\mathcal{O}_\kappa$ 内の結合的同型写像は、対数的相互作用作用素に基づく頂点代数的枠組みを用いて再構成可能か？
• RQ3 一般化理論を用いて構成された $\mathcal{O}_\kappa$ 内のテンソル積関手は、Kazhdan-Lusztig の元々の構成と同値か？
• RQ4 $\mathcal{O}_\kappa$ の対象は $C_1$-cofinite かつ擬有限次元的か？ これにより一般化テンソル理論の適用可能性が保証されるか？
• RQ5 $\mathcal{O}_\kappa$ は自然な頂点テンソル圏構造（およびbraidedテンソル圏構造）を備えているか？

主な発見

• $\mathcal{O}_\kappa$ は、[HLZ1] および [HLZ2] で開発された一般化対数的テンソル積理論に必要なすべての条件を満たしている。
• テンソル積構成における微妙な適合性条件の代わりの条件が確立され、理論の適用可能性の検証が可能になった。
• Kazhdan-Lusztig の元々のテンソル積と、一般化テンソル積理論から導かれるテンソル積との二つの構成法が同一であることが証明された。
• $\mathcal{O}_\kappa$ のすべての対象は、一般化 $V_{\hat{\mathfrak{g}}}(\ell,0)$-モジュールとして $C_1$-cofinite であり、各 $W \in \mathcal{O}_\kappa$ に対して $W/C_1(W)$ が有限次元的である。
• $\mathcal{O}_\kappa$ のすべての対象は、任意の実数 $N$ に対して $\coprod_{\Re(n)<N} W_{[n]}$ が有限次元的であるため、擬有限次元的である。
• $\mathcal{O}_\kappa$ は一般化テンソル積理論の条件を満たすため、自然な頂点テンソル圏構造を備えており、その結果、自然なbraidedテンソル圏構造も備えている。