[論文レビュー] Differential equations and intertwining operators

Yi-Zhi Huang|ArXiv.org|Jun 20, 2002

Algebraic structures and combinatorial models参考文献 24被引用数 5

ひとこと要約

この論文は、すべてのモジュールが $ C_1 $-cofiniteness 条件 $ \dim W/C_1(W) < \infty $ を満たす場合、頂点 operator 代数の intertwining 演算子の積および反復の行列要素が、正則な特異点を持つ微分方程式系を満たすことを確立する。主な貢献は、intertwining 演算子の収束および拡張性質の証明であり、これにより頂点テンソル圏と、非可約モジュールの直和上の intertwining 演算子代数構造の構成が可能になる。

ABSTRACT

We show that if every module W for a vertex operator algebra V satisfies the condition that the dimension of W/C_1(W) is less than infinity, where C_1(W) is the subspace of W spanned by elements of the form u_{-1}w for u in V of positive weight and w in W, then matrix elements of products and iterates of intertwining operators satisfy certain systems of differential equations. Moreover, for prescribed singular points, there exist such systems of differential equations such that the prescribed singular points are regular. The finiteness of the fusion rules is an immediate consequence of a result used to establish the existence of such systems. Using these systems of differential equations and some additional reducibility conditions, we prove that products of intertwining operators for V satisfy the convergence and extension property needed in the tensor product theory for V-modules. Consequently, when a vertex operator algebra V satisfies all the conditions mentioned above, we obtain a natural structure of vertex tensor category (consequently braided tensor category) on the category of V-modules and a natural structure of intertwining operator algebra on the direct sum of all (inequivalent) irreducible V-modules.

研究の動機と目的

• $ C_1 $-cofiniteness の下で、intertwining 演算子の行列要素が微分方程式系を満たすことを確立すること。
• テンソル圏構成の主要な要件である、intertwining 演算子の積の収束および拡張性質を証明すること。
• $ C_1 $-cofiniteness 条件の下で、融合規則が有限であることを示すこと。
• $ V $-モジュールの圏上で自然な頂点テンソル圏と intertwining 演算子代数構造を構成すること。
• $ C_1 $-cofiniteness 条件が、相関関数を支配する微分方程式系における正則な特異点の挙動を保証することを示すこと。

提案手法

• すべての $ V $-モジュール $ W $ に対して $ \dim W/C_1(W) < \infty $ が成り立つ $ C_1 $-cofiniteness 条件を用いる。ここで $ C_1(W) $ は $ u \in V_+ $、$ w \in W $ に対する $ u_{-1}w $ の張りである。
• Lepowsky と Huang (HL1–HL4) および Huang (H1, H3–H7) の intertwining 演算子とテンソル積理論に関する結果を適用する。
• 反復および積 intertwining 演算子の行列要素に対して、正則な特異点を持つ微分方程式系を構成する。
• Riemann–Hilbert 対応を用いてモノドロミー表現と braid 群作用を関連づけ、このような微分方程式の存在を正当化する。
• 再帰性および $ C_2 $-cofiniteness 条件を用いて、$ C_1 $-cofiniteness が $ \mathbb{C} $-graded モジュールの完全可約性を示すことを証明する。
• Abe, Buhl, Dong (ABD) の結果および Zhu の理論を適用し、$ C_2 $-cofiniteness および完全可約性から $ C_1 $-cofiniteness および一般化モジュールの非可約モジュールへの直和分解が導かれる。

実験結果

リサーチクエスチョン

• RQ1 頂点 operator 代数の intertwining 演算子の積および反復の行列要素は、$ C_1 $-cofiniteness の下で微分方程式系を満たすか？
• RQ2 所定の特異点を持つような微分方程式系を構成可能か？
• RQ3 $ C_1 $-cofiniteness は intertwining 演算子の収束および拡張性質を保証するか？
• RQ4 $ C_1 $-cofiniteness が有限な融合規則および完全可約性をもたらす条件は何か？
• RQ5 $ C_1 $-cofinite VOA から、自然な頂点テンソル圏と intertwining 演算子代数構造を canonical に構成可能か？

主な発見

• すべての $ V $-モジュールが $ C_1 $-cofinite である限り、intertwining 演算子の積および反復の行列要素は、正則な特異点を持つ微分方程式系を満たす。
• 任意の所定の特異点に対して、その点が正則となるような微分方程式系が存在し、モノドロミー表現の存在を保証する。
• 融合規則の有限性は、$ C_1 $-cofiniteness 条件および微分方程式系の構造から直接導かれる。
• $ C_1 $-cofiniteness および追加の再帰性条件の下で、intertwining 演算子の収束および拡張性質が確立される。
• もし $ V $ が $ C_2 $-cofinite かつ $ \mathbb{C} $-graded であり、すべての $ \mathbb{C} $-graded モジュールが完全可約であるならば、すべての $ \mathbb{C} $-graded モジュールは $ C_1 $-cofinite であり、一般化モジュールは非可約モジュールの直和に分解される。
• 非負の次数、完全可約性、$ C_2 $-cofiniteness の三つの条件が満たされれば、定理 3.5 および 3.7 の結論が成り立ち、完全なテンソル圏および intertwining 演算子代数構造の構築が可能になる。