[論文レビュー] Logarithmic tensor category theory, VII: Convergence and extension properties and applications to expansion for intertwining maps

Yi-Zhi Huang, James Lepowsky+1 more|arXiv (Cornell University)|Oct 10, 2011

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

ひとこと要約

本稿は、対数的テンソルカテゴリー理論における相互作用写像の収束および拡張性質について、十分条件を確立する。$C_1$-余有限性および準有限次元性の条件が、対数的相互作用作用素の積および反復の絶対収束および解析的拡張を保証することを証明する。主な結果は、これらの代数的条件が、頂点作用素代数表現カテゴリ−におけるbraidedテンソルカテゴリ構造に必要な結合的同型を示すことにある。

ABSTRACT

This is the seventh 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 VII), we give sufficient conditions for the existence of the associativity isomorphisms.

研究の動機と目的

• 対数的テンソルカテゴリ理論における相互作用写像の収束および拡張性質を保証する十分条件を確立すること。
• $C_1$-余有限性および準有限次元性の条件が、結合的同型に必要な収束および展開条件を満たすことを示すこと。
• [H2]における微分方程式のアプローチを対数的設定に一般化し、相互作用作用素の積および反復の解析的接続を証明すること。
• 反復された相互作用写像から生じる多価正則関数が、正則な特異点の振る舞いを示すことを示し、グローバルな解析的拡張を可能にすること。
• 頂点作用素代数表現カテゴリにおけるbraidedテンソルカテゴリ構造を構成するために必要な基礎的な解析的条件を整えること。

提案手法

• 領域 $|z_1| > |z_2| > 0$ および $|z_2| > |z_1 - z_2| > 0$ における正則関数を用いて、収束および拡張性質をグローバルに定式化し、絶対収束および解析的接続を保証する。
• 中間の一般化された $V$-加群の有限生成性を要件とする、対数的相互作用作用素の積および反復の収束および拡張性質を定義する。
• 正則特異点（[Kn]で定義）を持つ微分方程式を用いて、相互作用写像から生じる多価関数の解析的性質を分析する。
• 正則特異点の理論からの結果を適用し、微分系の解が対数的相互作用作用素の展開と同じ形をしていることを示す。
• 相互作用写像の同型写像の像が $\mathbb{C}[z_1^{\pm1}, z_2^{\pm1}, (z_1 - z_2)^{-1}]$ 上で有限生成であることを証明し、解析的拡張における $\log z_2$ のべきの上界 $K$ を保証する。
• 像モジュールの有限生成構造を活用し、解析的拡張における対数項の次数をバインドすることで、すべての要素に対して一様な制御を確保する。

実験結果

リサーチクエスチョン

• RQ1 どのような代数的条件が、対数的相互作用作用素の積および反復の絶対収束および解析的拡張を保証するか？
• RQ2 [H2]における微分方程式のアプローチを、対数的設定に一般化して収束および拡張性質を証明するにはどうすればよいか？
• RQ3 相互作用写像の積および反復の解析的接続が、有限和の反復または積と同じ関数的形を保つために必要な条件は何か？
• RQ4 $C_1$-余有限性および準有限次元性の条件が、対数的設定における収束および拡張性質をどのように示すか？
• RQ5 反復された相互作用写像から生じる多価正則関数の解析的接続において、正則特異点の役割は何か？

主な発見

• カテゴリ $\mathcal{C}$ のすべての対象に対して $C_1$-余有限性および準有限次元性の条件が成り立つと、相互作用写像の積および反復の収束および拡張性質が保証される。
• 任意の $n \in \mathbb{Z}_+$ に対して、系列 $\langle w_0', \mathcal{Y}_1(w_1, z_1) \cdots \mathcal{Y}_n(w_n, z_n) w_{n+1} \rangle$ は領域 $|z_1| > \cdots > |z_n| > 0$ で絶対収束し、$\mathbb{C}^n \setminus \{z_i = 0, z_i = \infty, z_i = z_j, i \neq j\}$ 上の多価正則関数に解析的接続可能である。
• 任意の特異点（$z_i = 0$、$z_i = \infty$、または $z_i = z_j$）の近傍での解析的接続は、正則特異点を持つ微分方程式系の解と同じ形の展開を持つ。
• 相互作用写像の同型写像 $\phi_{\mathcal{Y}_1, \mathcal{Y}_2}$ の像は $\mathbb{C}[z_1^{\pm1}, z_2^{\pm1}, (z_1 - z_2)^{-1}]$ 上の有限生成モジュールであり、解析的拡張における $\log z_2$ のべきの上界 $K$ を保証する。
• 対数項が存在しない場合（すなわち、$\mathcal{C}$ が $\mathcal{M}_{sg}$ に属し、すべての対象が既約元の有限直和である場合）、対数項なしに収束および拡張性質が成り立つ。
• $K$ に対する上界の存在は、像モジュール $T/J$ の有限生成性によって確立され、解析的拡張における一様な制御が保証される。