[論文レビュー] Logarithmic tensor product theory for generalized modules for a conformal vertex algebra, Part I

Yi-Zhi Huang, James Lepowsky+1 more|ArXiv.org|Sep 29, 2006

Algebraic structures and combinatorial models参考文献 43被引用数 60

ひとこと要約

この論文は、共形およびM"obius頂点代数の一般化されたモジュールに対して対数的テンソル積理論を確立し、一般化された重複度空間をもつ非半単純なカテゴリに以前の研究を拡張する。対数的相互作用作用素を導入し、頂点作用素代数の技法を用いてP(z)およびQ(z)テンソル積関手を構成し、対数的 conformal field theoryにおけるbraided tensor category 構造の基盤を築く。

ABSTRACT

We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ``conformal vertex algebra'' or even more generally, for a "Möbius vertex algebra.'' We do not require the module categories to be semisimple, and we accommodate modules with generalized weight spaces. As in the earlier series of papers, our tensor product functors depend on a complex variable, but in the present generality, the logarithm of the complex variable is involved. This first part is devoted to the study of logarithmic intertwining operators and their role in the construction of the tensor product functors. Part II of this work will be devoted to the construction of the appropriate natural associativity isomorphisms between triple tensor product functors, to the proof of their fundamental properties, and to the construction of the resulting braided tensor category structure. This work includes the complete proofs in the present generality and can be read independently of the earlier series of papers.

研究の動機と目的

• 頂点作用素代数モジュールのテンソル積理論を、一般化された重複度空間をもつ非半単純なカテゴリに一般化すること。
• 理論を共形およびM"obius頂点代数に拡張し、テンソル積関手に対数的構造を許容すること。
• 対数的相互作用作用素のための厳密な枠組みを構築し、それらがテンソル積を構成する役割を果たすことを明らかにすること。
• 対数的 conformal field theoryにおけるbraided tensor category 構造の基盤を築くこと。
• 重要な頂点代数のクラス（格子、アフィン、最小模型VOAなど）に適用可能な、完全で独立した証明を、完全な一般性において提供すること。

提案手法

• テンソル積構成の主要な構成要素として、対数的相互作用作用素を導入する。
• 複素変数zに依存し、対数的項を含むP(z)-およびQ(z)-テンソル積関手を定義する。
• 対数的構造を頂点代数構造からテンソル積を構成するために、逆作用素写像およびaffinization技法を用いる。
• 関手的性質を検証するために、頂点作用素の交換関係公式および留数計算を適用する。
• 演算子積展開および結合則の操作を可能にするために、形式的デルタ関数およびその性質を用いる。
• テンソル積上の汎関数に対して、整合性条件および下位切断条件を確立し、定義の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般化された重複度空間をもつ非半単純なモジュールカテゴリに対して、テンソル積関手をどのように一般化できるか。
• RQ2 対数的相互作用作用素は、共形およびM"obius頂点代数のテンソル積構成において果たす役割は何か。
• RQ3 この一般化された設定において、三重テンソル積の結合則同型をどのように構成し、証明できるか。
• RQ4 対数的設定において、相互作用作用素の収束性および拡張性を保証する条件は何か。
• RQ5 半単純性を要件としない一般化されたモジュールに対して、braided tensor category 構造を確立できるか。

主な発見

• P(z)-テンソル積関手は、対数的相互作用作用素および逆作用素写像を用いて構成され、頂点代数の公理と整合的であることが保証される。
• Q(z)-テンソル積関手は、汎関数上の整合性条件によって定義され、形式的デルタ関数を含む変則的交換性を満たす。
• 定理5.70および5.71は、Q(z)-テンソル積が頂点作用素の作用と整合的であり、対数的設定における必要な結合則を満たすことを確立する。
• 定理5.71の証明は、汎関数上のY′_Q(z)の作用が、z−1δ((x1−x0)/z)を含む変則的交換関係公式を満たすことを示し、一貫性を保証する。
• テンソル積関手の構成は、留数計算およびデルタ関数の分配法則に依存し、演算子積展開の操作を可能にする。
• この枠組みは、格子、アフィン代数、最小模型など、有理的頂点作用素代数を含む十分に一般なクラスをカバーでき、既知の結果を非半単純な場合にまで拡張する。