[論文レビュー] Logarithmic tensor category theory for generalized modules for a conformal vertex algebra, I: Introduction and strongly graded algebras and their generalized modules

Yi-Zhi Huang, James Lepowsky+1 more|arXiv (Cornell University)|Dec 19, 2010

Algebraic structures and combinatorial models被引用数 7

ひとこと要約

本稿は、共形およびモービウス頂点代数の一般化されたモジュールに対する包括的な対数的テンソルカテゴリー理論を導入し、非半単純な設定における対数的構造を含む、古典的なテンソルカテゴリー理論の拡張を提供する。基礎的ツールとして、対数的相互作用作用素、整合性条件、結合則同型を確立し、完全なブレード付きテンソルカテゴリ構造を可能にする。主な結果として、結合則同型の存在が示され、ヤコビ恒等式が有理関数性、交換性、結合性の公理に置き換えられる。

ABSTRACT

This is the first part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. This theory generalizes the tensor category 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 required; the general representation theory of vertex operator algebras requires logarithmic structure. This work includes the complete proofs in the present generality and can be read independently of the earlier series of papers. Since this is a new theory, we present it in detail, including the necessary new foundational material. In addition, with a view toward anticipated applications, we develop and present the various stages of the theory in the natural, general settings in which the proofs hold, settings that are sometimes more general than what we need for the main conclusions. In this paper (Part I), we give a detailed overview of our theory, state our main results and introduce the basic objects that we shall study in this work. We include a brief discussion of some of the recent applications of this theory, and also a discussion of some recent literature.

研究の動機と目的

• 共形およびモービウス頂点代数の一般化されたモジュールのための一般化されたテンソルカテゴリ理論を構築し、半単純な場合を越えて展開すること。
• 頂点作用素代数表現論に非有理的・対数的構造を組み込み、一般化された重み空間と非有理的挙動を扱えるようにすること。
• 頂点代数の定義におけるヤコビ恒等式を、積と反復の有理関数性、交換性、結合性の公理に置き換えること。
• 対数的設定における完全なブレード付きテンソルカテゴリ構造を構築する基盤を提供し、共形場理論および表現論に応用可能なものとする。
• 今後の論文シリーズのための自己完結的で詳細な基礎を提供し、可能な限り一般な設定において有効な証明を提示すること。

提案手法

• 一般化されたモジュールのための代数的枠組みとして、強く順位付けられた共形およびモービウス頂点代数を導入する。
• 非有理的・対数的挙動を扱うために、対数的形式的計算および対数的相互作用作用素を発展させる。
• 収束性と結合性を管理するため、適合性条件およびP(z)、Q(z)形式を用いてテンソル積双関手を定義する。
• 相互作用写像の解析的および代数的条件を通じて、三重テンソル積関手間の結合則同型を確立する。
• 行列係数の有理関数性、交換性、結合性を用いて、指定された領域で有理関数への収束を導出する。
• 解析接続を用いて重なり領域における作用素積展開を等価に扱い、メロモルフィックOPEを対数的設定に一般化する。

実験結果

リサーチクエスチョン

• RQ1 一般化された重み空間を有する頂点代数の非半単純モジュールカテゴリに対して、どのようにテンソルカテゴリ理論を一般化できるか？
• RQ2 標準的な有理関数性が失敗する対数的設定において、結合則同型の存在を保証する条件は何か？
• RQ3 頂点作用素代数におけるヤコビ恒等式は、積と反復の有理関数性、交換性、結合性に置き換え可能か？
• RQ4 対数的相互作用作用素は、共形場理論におけるメロモルフィック作用素積展開をどのように一般化するか？
• RQ5 形式的変数とそれらの複素数への特殊化は、収束的・有理的作用素値関数を構成する上で果たす役割は何か？

主な発見

• 頂点作用素代数におけるヤコビ恒等式は、積と反復の有理関数性、交換性、結合性の公理に置き換え可能であり、基礎的公理を単純化できる。
• 頂点作用素の行列係数は、重なり領域 |z₁| > |z₂| > 0、|z₂| > |z₁| > 0、|z₂| > |z₁−z₂| > 0 で有理関数に収束し、共通領域では等式が成立する。
• 作用素積展開 Y(v₁,z₁)Y(v₂,z₂) ∼ Y(Y(v₁,z₁−z₂)v₂,z₂) は、領域 |z₁| > |z₂| > |z₁−z₂| > 0 において有理関数の等式として成立する。
• 対数的相互作用作用素は、メロモルフィックOPEを非有理的・対数的構造へ一般化し、完全な非メロモルフィック作用素積展開を可能にする。
• 適切な適合性条件の下で、三重テンソル積関手間の結合則同型が存在し、ブレード付きテンソルカテゴリ構造の基盤をなす。
• 理論は完全に一般化された設定で展開されており、証明は必要以上に一般な設定でも有効であるため、共形場理論および表現論への広範な適用可能性を保証する。