[論文レビュー] Logarithmic tensor category theory, II: Logarithmic formal calculus and properties of logarithmic intertwining operators

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

Algebraic structures and combinatorial models参考文献 11被引用数 59

ひとこと要約

本稿は対数的形式的微積分を構築し、$L(0)$-半単純性が成立しない場合に頂点作用素代数論におけるテンソルカテゴリ構造を構成するための主要な道具である対数的相互作用演算子の基礎的性質を確立する。本稿は、対数的相互作用演算子の係数が一般化された重み部分空間への射影から再構成可能であることを証明し、重み付き相互作用写像と対数的単項式の線形結合によって演算子の成分を回復可能であることを示す。

ABSTRACT

This is the second 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 II), we develop logarithmic formal calculus and study logarithmic intertwining operators.

研究の動機と目的

• 頂点作用素代数論における $x$ および $\log x$ の形式的変数を含む厳密な形式的微積分フレームワークを確立すること。
• 非単純な設定における通常の相互作用演算子の代替として、対数的相互作用演算子を定義し、その性質を研究すること。
• 対数的相互作用演算子の係数が一般化された重み部分空間への射影から回復可能であることを証明すること。
• 対数的共形場理論におけるテンソルカテゴリ構造を構築するための代数的基盤を提供すること。
• 後続の8部構成の対数的テンソルカテゴリ理論シリーズにおける解析的発展に不可欠な技術的ツールを提供すること。

提案手法

• 複素数のべきをとる $x$ および $\log x$ の形式的級数を導入し、その空間上で微分作用素 $\frac{d}{dx}$ を定義する。
• 線形性、和および積の法則、指数作用素との整合性を含む形式的微分の性質を確立する。
• 一般化されたモジュールの係数をもつ形式的級数として、タイプ ${W_3 \choose W_1\,W_2}$ の対数的相互作用演算子を定義する。
• 重み付き射影を用いて、個々の成分 $({w_{(1)}}^\mathcal{Y}_{n;r}w_{(2)})$ を線形結合によって再構成する。
• 特に対数的係数をもつパスカル型行列の逆行列を用いた行列逆行列技術を適用し、係数を射影された演算子の形で表現する。
• 係数再構成における $x$ および $\log x$ 項のキャンセルを示す明示的公式（例えば (3.124)）を導出する。

実験結果

リサーチクエスチョン

• RQ1 頂点作用素代数論において、$\log x$ に依存する単項式が存在する状況で、形式的微分を厳密に定義・操作することは可能か？
• RQ2 対数的相互作用演算子の個々の係数が、一般化された重み部分空間への射影から回復可能となるための条件は何か？
• RQ3 対数的相互作用演算子は、その係数構造および再構成法において、通常の相互作用演算子とどのように異なるか？
• RQ4 非単純な設定における、対数的相互作用演算子の積および反復作用の背後にある代数的構造は何か？
• RQ5 $x$ および $\log x$ を含む形式的微積分は、テンソルカテゴリ構造の構築に不可欠な構造的恒等式を導出するためにどのように利用可能か？

主な発見

• 対数的相互作用演算子の係数 $({w_{(1)}}^\mathcal{Y}_{n;r}w_{(2)})$ は、重み付き相互作用写像の射影の有限線形結合として再構成可能である。
• 再構成公式 (3.124) は、$({w_{(1)}}^\mathcal{Y}_{n;r}w_{(2)})$ を $x^{n+1}$、対数的単項式、および $\mathcal{Y}((L(0)-n_1)^i w_{(1)},x)(L(0)-n_2)^j w_{(2)})$ の射影の線形結合として明示的に表現する。
• 式 (3.123) の行列 $A$ は正則であり、パスカル行列の逆行列と対数的スケーリングを含む逆行列をもつため、係数の一意的再構成が可能である。
• 形式的微分 $\frac{d}{dx}$ はライブニッツ則を満たし、和および指数作用と可換であるため、対数的形式的級数上の微積分の整合性が保証される。
• $x^n(\log x)^k$ の係数は、重み部分空間への射影のみからは回復できないが、導出された線形系を用いることで、全係数集合は回復可能である。
• 本手法は解析的仮定を回避する完全な代数的再構成メカニズムを提供し、シリーズの後の解析的発展のための重要な一歩を形成する。