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

Yi-Zhi Huang, James Lepowsky+1 more|ArXiv.org|Oct 15, 2007

Algebraic structures and combinatorial models被引用数 10

ひとこと要約

本稿は、共形およびモービウス頂点代数の一般化されたモジュールに対して対数的テンソル積理論を確立し、一般化された重複度空間を有する非半単純なカテゴリに以前の研究を拡張する。対数的相互作用作用素を導入し、自然な結合則同型写像を構成し、得られるカテゴリが、緩い表現論的条件下で、完全な整合性を有するbraidedテンソルカテゴリ構造（六角形および三角形恒等式を含む）を備えていることを証明する。

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 required; the general representation theory of vertex operator algebras requires logarithmic structure. The first part of this work is devoted to the study of logarithmic intertwining operators and their role in the construction of the tensor product functors. The remainder of this work is 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.

研究の動機と目的

• 共形頂点代数のモジュールカテゴリの非半単純なカテゴリに、頂点演算子代数のテンソル積理論を一般化すること。
• 対数的構造および完全に可約でないモジュールを扱えるように、共形およびモービウス頂点代数の表現論を発展させること。
• 対数的相互作用作用素を用いて、P(z)およびQ(z)のテンソル積函手を構成すること。
• 三重テンソル積間の自然な結合則同型写像の存在および基本的性質を証明すること。
• この拡張された設定における一般化されたモジュールに対して、完全なbraidedテンソルカテゴリ構造（六角形および三角形恒等式を含む）を確立すること。

提案手法

• テンソル積構成の基礎的構成要素として、対数的相互作用作用素を導入する。
• 複素変数zでパrameter化されたP(z)およびQ(z)のテンソル積函手を定義し、非半単純なモジュールを扱うためにzに関する対数的依存性を導入する。
• 複素平面上のカット付きの経路に沿った並進同型写像を用いて、三重テンソル積間の結合則同型写像を構成する。
• 相互作用作用素のL(−1)-微分性を用いて、対数的構造と解析接続およびモノドロミーを関連付ける。
• 並進同型写像の自然性および経路合成を用いて、六角形および三角形恒等式を含む可換図式により整合性を証明する。
• 行列成分の収束性および拡張性を検証し、相互作用作用素を記述する微分方程式を導出する。

実験結果

リサーチクエスチョン

• RQ1 共形頂点代数のモジュールカテゴリの非半単純なカテゴリに、テンソル積理論をどのように拡張できるか？
• RQ2 一般化された重複度空間が存在する状況で、対数的相互作用作用素はテンソル積函手を構成するために果たす役割は何か？
• RQ3 この一般化された設定において、結合則同型写像はどのように構成され、六角形恒等式を満たすことが証明されるか？
• RQ4 対数的フレームワークにおいて、行列成分の収束性および解析的拡張性を保証する条件は何か？
• RQ5 一般化されたモジュールに対数的構造を含む文脈において、単位同型写像およびその整合性（三角形恒等式）はどのように振る舞うか？

主な発見

• 本稿は、モービウス頂点代数の一般化されたモジュールに対して、完全に可約でない場合でも、well-definedなP(z)-テンソル積函手を構成している。
• 三重テンソル積間の結合則同型写像は明示的に構成され、並進同型写像および相互作用作用素を含む可換図式を用いて六角形恒等式を満たすことが証明されている。
• 単位同型写像の三角形恒等式は、結合則同型写像と経路合成、およびL(−1)-微分性を組み合わせることで検証されている。
• P(z)-テンソル積構造を備えた一般化されたモジュールのカテゴリは、六角形および三角形図式の完全な整合性により、braidedテンソルカテゴリであることが示されている。
• 非半単純表現に不可欠な対数的構造は、函手のパrameter化におけるlog(z)の使用を通じて、理論に組み込まれている。
• 行列成分の収束性および拡張性が確立され、L(−1)-微分性から相互作用作用素を記述する微分方程式が導出されている。