[論文レビュー] Logarithmic tensor category theory, VI: Expansion condition, associativity of logarithmic intertwining operators, and the associativity isomorphisms

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

Algebraic structures and combinatorial models参考文献 10被引用数 58

ひとこと要約

この論文は、一般化されたモジュールのカテゴリにおけるP(z)-適合性および勾配制限条件を満たす一般化モジュールのカテゴリの文脈で、解析的収束性と双対性の議論を用いて、対数的相互作用作用素の積の展開を定理として厳密に証明することで、対数的共形場理論の数学的基盤を確立する。主な貢献は、新規の「展開条件」を導入し、対数的相互作用作用素の結合的性質を証明することで、頂点代数のモジュールのテンソルカテゴリにおいて自然な結合的同型を構成することにある。

ABSTRACT

This is the sixth 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 VI), we construct the appropriate natural associativity isomorphisms between triple tensor product functors. In fact, we establish a "logarithmic operator product expansion" theorem for logarithmic intertwining operators. In this part, a great deal of analytic reasoning is needed; the statements of the main theorems themselves involve convergence assertions.

研究の動機と目的

• 頂点作用素代数の一般化モジュールのカテゴリにおける三重テンソル積函手間の自然な結合的同型を構成すること。
• 有限的再帰的ケースを一般化して、対数的作用素積展開を数学的に厳密な定理として確立すること。
• 相互作用写像の展開条件と結合的同型の存在が等価であることを定義し、証明すること。
• 相互作用写像または対数的相互作用作用素の積と反復が、適切なテンソル積モジュールを介して一意に因数分解されることを示すこと。
• 収束性と双対性の完全な解析的枠組みを対数的テンソルカテゴリ理論に提供し、シリーズにおける先行研究を拡張すること。

提案手法

• 積と反復の等価性を保証する収束性および適合性条件のもとで、相互作用写像のための「展開条件」を導入し、その分析を行う。
• 双対空間におけるテンソル積の制約として、P(z1,z2)-適合性およびP(z1,z2)-局所的勾配制限条件を基礎とする。
• 定理9.17および補題9.22を用いて中間的一般化モジュールを構成し、異なるテンソル積構成間の同型の存在を保証する。
• 双対性およびモジュール写像の構成を用いて、(W1 ⊠P(z1−z2) W2) ⊠P(z2) W3 と W1 ⊠P(z1) (W2 ⊠P(z2) W3) 間の自然同型として、結合的同型 AP(z1−z2),P(z2)P(z1),P(z2) を定義する。
• このような同型の存在が展開条件を意味することと、逆に展開条件が同型の存在を意味することを証明し、圏的同値性を確立する。
• 対応写像と双対性を用いて、テンソル積函手および相互作用写像を含む図式の自然性と可換性を検証する。

実験結果

リサーチクエスチョン

• RQ1 対数的相互作用作用素の積が反復に表現可能となる条件は何か。逆に、反復が積に表現可能となる条件は何か。
• RQ2 対数的相互作用作用素の文脈において、反復級の収束性と等価性を保証する解析的および代数的条件は何か。
• RQ3 一般化モジュールのカテゴリにおける三重テンソル積函手間の結合的同型は、どのように構成され、それが自然であることがどのように証明されるか。
• RQ4 展開条件が相互作用写像の積と反復の構成を結びつける際の明確な役割は何か。
• RQ5 結合的同型は、共形場理論における対数的作用素積展開とどのように関係しているか。

主な発見

• 相互作用写像の展開条件は、三重テンソル積函手間の自然な結合的同型の存在と同値である。
• 結合的同型 AP(z1−z2),P(z2)P(z1),P(z2) は一意に定まり、(W1 ⊠P(z1−z2) W2) ⊠P(z2) W3 と W1 ⊠P(z1) (W2 ⊠P(z2) W3) 間のモジュール同型を定義する。
• 対数的作用素積展開は数学的定理として確立され、対数的相互作用作用素の積は反復に、逆に反復は積に表現可能である。
• この構成は、反復級の収束性と順序入れ替えによる和の等価性に依拠しており、テンソル積の双対空間における解析的議論によって証明されている。
• 結合的同型は、対応写像とテンソル積函手を含む図式の可換性によって示される自然性条件を満たす。
• 展開条件により、P(z1,z2)-適合性および勾配制限条件を満たす双対空間の要素が、相互作用写像の積と反復の両方から生じることが保証される。