[論文レビュー] Logarithmic tensor category theory, IV: Constructions of tensor product bifunctors and the compatibility conditions

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

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

ひとこと要約

この論文は、相性条件および双対空間条件を用いて、対数的テンソル圏理論における $P(z)$-および $Q(z)$-テンソル積双関手を構成する。両方の双関手に対して、$Q(z)$-理論に依存せずに直接的証明が可能な、新しい独立した構成法を確立している。これにより、以前の結果が一般化され、頂点代数表現理論におけるbraidedテンソル圏構造の基礎的道具が提供される。

ABSTRACT

This is the fourth 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 IV), we give constructions of the P(z)- and Q(z)-tensor product bifunctors using what we call "compatibility conditions" and certain other conditions.

研究の動機と目的

• 対数的テンソル圏理論における $P(z)$-および $Q(z)$-テンソル積双関手の一般的かつ独立した構成法を提供すること。
• 双対空間の要素に関する適切な相性条件および双対性条件の下で、これらの双関手の存在を確立すること。
• 有限的再帰的状況からの以前の構成を、非半単純な加群を含むより広い対数的設定へ一般化すること。
• 直接的な議論を $P(z)$-設定で用いて、相互作用写像およびテンソル積関手に関する定理を証明し、$Q(z)$-理論に依存しないこと。
• 以降の論文における結合的同型およびbraidedテンソル圏構造の基盤を築くこと。

提案手法

• 頂点代数のアフィニゼーションおよび逆作用素写像を用いて、双対空間上の作用 $\tau_{P(z)}$ および $\tau_{Q(z)}$ を定義する。
• 双対空間内の線形汎関数における相性条件を適用し、テンソル積構成の整合性を保証する。
• $P(z)$-および $Q(z)$-相互作用写像を作用 $\tau_{P(z)}$ および $\tau_{Q(z)}$ を用いて再定式化し、テンソル積の新しい特徴づけを可能にする。
• ジャコビ恒等式およびデルタ関数の関係を用いた形式的計算により、作用素積展開の整合性を検証する。
• 留数計算および有理関数の恒等式を用いて、交換関係式および構成された双関手の整合性を検証する。
• 定理 5.44, 5.45, 5.76, 5.77 の証明を留数評価およびデルタ関数の恒等式を用いて行い、構成法の妥当性を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして $Q(z)$-理論に依存せずに、対数的設定における $P(z)$-および $Q(z)$-テンソル積双関手を独立して構成できるか？
• RQ2 双対空間の要素に必要な・十分な相性条件は何か？ これにより、整合的な $P(z)$-および $Q(z)$-テンソル積が存在する。
• RQ3 双対空間上での作用 $\tau_{P(z)}$ および $\tau_{Q(z)}$ は、テンソル積双関手の構成をどのように促進するか？
• RQ4 頂点代数のアフィニゼーションおよび逆作用素写像は、テンソル積構成の一般化にどのように寄与するか？
• RQ5 定理 5.44, 5.45, 5.76, 5.77 の証明は、どのようにして新しい構成法の整合性および正しさを確立するか？

主な発見

• 命題 5.9 は、$Q(z)$-理論に依存しない、$P(z)$-設定における新しい直接的証明を提供しており、以前の研究では得られなかった。
• 定理 5.44 および 5.45 は、有限的再帰的状況ですでに有効な新しい議論を用いて証明されており、従来の構成法を超えた新たな洞察を提供する。
• $P(z)$-テンソル積双関手は、[HL3] で用いられた間接的手法を避けるために、相性条件を直接用いて構成されている。
• $Q(z)$-テンソル積双関手は類似の技術を用いて構成されており、相性条件が作用素積展開全体の整合性を保証している。
• 定理 5.76 および 5.77 の証明は、留数計算およびデルタ関数の恒等式に依存しており、交換関係式および双関手の整合性を検証している。
• 双対空間内の線形汎関数における相性条件は、構成された双関手が必要な相互作用およびテンソル積公理を満たすことを保証するために不可欠である。