[論文レビュー] Logarithmic tensor category theory, V: Convergence condition for intertwining maps and the corresponding compatibility condition

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

Algebraic structures and combinatorial models参考文献 11被引用数 52

ひとこと要約

本稿は、対数的テンソル圏理論における相互作用写像の収束条件とそれに対応する整合性条件を確立し、頂点 operator 代数の加群のテンソル積に対する結合的同型写像の構成を可能にする。対数的相互作用作用素を取り扱うための解析的道具を構築し、それらの作用素の積と反復が、適切に定義された相互作用写像を通じてテンソル積加群に一意に因数分解できることを証明する。

ABSTRACT

This is the fifth 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. In this paper (Part V), we study products and iterates of intertwining maps and of logarithmic intertwining operators and we begin the development of our analytic approach.

研究の動機と目的

• 対数的テンソル圏理論における相互作用写像の収束条件を定式化し、証明することで、積と反復の合成構造が保証されるようにする。
• z および log z の累乗を含む二重和を取り扱うための解析的原則を構築し、絶対収束および一意な係数決定を保証する。
• テンソル積加群を通じて因数分解される相互作用写像の存在および一意性を確立し、これにより結合的同型写像の構成が可能になるようにする。
• 通常の加群から一般化加群への結果の拡張を含む、相互作用写像および対数的相互作用作用素の形式的枠組みを対数的設定に一般化する。
• 頂点 operator 代数の加群のテンソル圏において、自然な結合的同型写像を構成するために必要な基礎的解析的枠組みを提供する。

提案手法

• 相互作用写像の収束条件を、積条件と反復条件の同値性として導入し、テンソル積構成における合成可能な構造を保証する。
• ラウレンツ級数および対数的ラウレンツ級数展開における係数を一意に決定できる「一意展開集合」（定義 7.5）を定義する。
• 命題 7.8（一意展開集合）および命題 7.9と系 7.10の証明により、z^n (log z)^k を含む二重和の絶対収束を保証する。
• 相互作用写像とテンソル積函手の間の対応（命題 LABEL:pz-iso を通じて）を用い、抽象的な写像を具体的な加群準同型に結びつける。
• P(z)-相互作用函手および P(z)-テンソル積双函手の理論を適用し、三重テンソル積函手間の自然な同型写像を構成する。
• 第 8 章の整合性条件を活用し、対数的相互作用作用素の積と反復が、テンソル積加群を通じて一意に因数分解されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 頂点 operator 代数表現論における対数的相互作用作用素の積と反復の収束性および解析的性質を保証する条件は何か？
• RQ2 P(z₁)-および P(z₂)-相互作用写像の合成が、どのようにしてテンソル積加群を通じて一意に因数分解可能であり、その因数分解を保証する条件は何か？
• RQ3 相互作用写像および対数的相互作用作用素の文脈において、z および log z の累乗を含む二重和の収束を支配する解析的原則は何か？
• RQ4 相互作用写像の整合性条件は、対数的テンソル圏枠組みにおける結合的同型写像の存在とどのように関係しているか？
• RQ5 相互作用写像の積と反復の間の正確な関係は何か？また、収束条件の下でこれらはどのように同値とみなせるか？

主な発見

• 相互作用写像の収束条件は、積条件と反復条件の同値性として定式化され、テンソル圏枠組みにおける合成可能な構造を保証する。
• 命題 7.8 は、一意展開集合が、相互作用写像から生じるラウレンツ級数および対数的ラウレンツ級数展開における係数を一意に決定可能であることを示す。
• 命題 7.9 および系 7.10 は、z^n (log z)^k を含む二重和の絶対収束を保証するものであり、対数的相互作用作用素の解析的制御に不可欠である。
• P(z₁)-相互作用写像と P(z₂)-相互作用写像の積は、W₂ ⊠_{P(z₂)} W₃ というテンソル積加群を通じて一意に因数分解され、新たな写像は W₄ への P(z₁)-相互作用写像である。
• 対数的相互作用作用素に関して、系 8.20 は、積または反復を、中間対象がテンソル積加群であり、第二の作用素がテンソル積相互作用写像に対応する新たな積または反復に一意に書き直せることを示している。
• 本結果により、収束条件および整合性条件が満たされる限り、対数的テンソル圏における結合的同型写像が適切に定義され、自然であることが確立された。