[論文レビュー] Logarithmic tensor category theory, III: Intertwining maps and tensor product bifunctors

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

Algebraic structures and combinatorial models参考文献 9被引用数 50

ひとこと要約

この論文は、頂点代数上の強いための$\tilde{A}$-加重一般モジュールの文脈において、$P(z)$-および$Q(z)$-相互作用写像とそれらに関連するテンソル積双関手を導入し、厳密に定義することで、対数的テンソルカテゴリー理論の基盤的な枠組みを確立している。主な貢献は、普遍的性質と双対性を用いて$P(z)$-および$Q(z)$-テンソル積の存在の同値性を証明したことであり、これにより、後続の研究で結合的同型とbraidedテンソルカテゴリ構造の構築が可能になる。

ABSTRACT

This is the third 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 III), we introduce and study intertwining maps and tensor product bifunctors.

研究の動機と目的

• 頂点代数上の強いための$\tilde{A}$-加重一般モジュールの文脈において、$P(z)$-および$Q(z)$-相互作用写像の概念を形式化すること。
• 普遍的性質と相互作用写像を用いて、$P(z)$-および$Q(z)$-テンソル積双関手を定義すること。
• 双対性および対応するモジュール構成を用いて、$P(z)$-および$Q(z)$-テンソル積の存在の同値性を確立すること。
• 後続の論文で結合的同型とbraidedテンソルカテゴリ構造を構築するための圏論的基盤を築くこと。

提案手法

• 一般化されたヤコビ恒等式（式4.4）および${\frak{sl}}(2)$-括弧関係式（4.5）を用いて$P(z)$-相互作用写像を導入し、重みの整合性を保証する。
• 自然な普遍的性質を用いて、$P(z)$-相互作用写像を表す普遍的対象として$P(z)$-テンソル積双関手を定義する。
• 双対性を用いて$P(z)$-および$Q(z)$-テンソル積を関連付け、$W_1 \boxtimes_{P(z)} W_2$および$W_1 \boxtimes_{Q(z^{-1})} W_2$が一般化$V$-モジュールとして同型であることを示す。
• 対応するモジュール理論および$e^{zL(1)}$と$e^{-z^{-1}L(1)}$の作用を用いて行列係数を関連付け、普遍写像の一意性を証明する。
• $Q(z^{-1})$-テンソル積の普遍的性質を適用し、$Q(z^{-1})$-テンソル積が存在するならば$P(z)$-テンソル積も存在することを示す。
• 対応するモジュール写像と$e^{zL(1)}$共役を含む自然同型を用いて、$P(z)$-テンソル積構造が$Q(z)$-テンソル積構造と同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 二つの強いたための$\tilde{A}$-加重一般$V$-モジュールの$P(z)$-テンソル積が存在する条件は何か？
• RQ2 $P(z)$-および$Q(z)$-相互作用写像の関係は何か？また、双対性はそれらの同値性において果たす役割は何か？
• RQ3 $P(z)$-テンソル積と$Q(z^{-1})$-テンソル積双関手の正確な関係は何か？
• RQ4 $P(z)$-および$Q(z)$-テンソル積の普遍的性質は、一般化$V$-モジュールの圏において一意性と整合性をどのように保証するか？
• RQ5 どのような構造的条件が、$P(z)$-および$Q(z)$-テンソル積双関手を普遍的に構成可能にし、結合的同型の開発を可能にするか？

主な発見

• Corollary 4.52で示されるように、二つの強いたための$\tilde{A}$-加重一般$V$-モジュールの$P(z)$-テンソル積が存在するための必要十分条件は、$Q(z)$-テンソル積が存在することである。
• $P(z)$-テンソル積双関手は、一般化$V$-モジュールとして$Q(z^{-1})$-テンソル積双関手と同型であるが、相互作用写像は幾何的に異なる。
• $P(z)$-テンソル積の普遍的性質は、一意なモジュール写像$\bar{\theta}^{P(z)}$が存在し、$I = \bar{\theta}^{P(z)} \boxtimes_{Q(z^{-1})}$を満たすことによって特徴づけられ、これにより一意性が保証される。
• $P(z)$-テンソル積の構成は、$e^{z^{-1}L(1)}$および$e^{-z^{-1}L(1)}e^{i\theta L(0)}$作用素の可逆性に依存しており、これにより関連するペアリングの全射性が保証される。
• 普遍写像の一意性の証明は、双対写像がすべての$w_{(1)} \boxtimes_{P(z)} w_{(2)}$上で消えることを示すことに依拠し、これにより写像がゼロであることが示され、一意性が証明される。
• $V$と$W$（または$W$と$V$）の$P(z)$-テンソル積は、$W$自体と同型であることが示され、$V$がこのテンソル構造において単位元として作用することを示している。