[論文レビュー] Intertwining operators and modular invariance

Masahiko Miyamoto|ArXiv.org|Oct 18, 2000

Algebraic structures and combinatorial models参考文献 13被引用数 28

ひとこと要約

本稿は、有理的頂点 operator 代数における相互作用作用素に対して、Zhuのモジュラー不変性理論を拡張し、型 ${W\choose U\quad W}$ の相互作用作用素のトレース関数が弱化された $C_{[2,0]}$ 条件の下でモジュラー不変性を満たすことを証明する。主な結果として、$\frac{1}{2}, \frac{1}{10}, \frac{2}{5}, \frac{1}{7}$ といった有理数の重みを持つモジュラー形式を、特定の相互作用作用素のトレース関数を用いて、それぞれ $\eta(\tau)$, $\eta(\tau)^{1/5}$, $\eta(\tau)^{4/5}$, $\eta(\tau)^{2/7}$ として明示的に構成する。

ABSTRACT

We extend the modular invariance property of the trace functions of vertex operator algebra on the set of irreducible modules (Zhu's theory) to the case of trace functions of intertwining operators.

研究の動機と目的

• Zhuのモジュラー不変性理論を頂点作用素から、有理的頂点 operator 代数における相互作用作用素へ拡張すること。
• 型 ${W\choose U\quad W}$ の相互作用作用素のトレース関数が、弱化された $C_{[2,0]}$ 条件の下でモジュラー形式であることを確立すること。
• 特定の相互作用作用素のトレース関数を明示的に計算し、既知の有理数重みのモジュラー形式と同定すること。
• このようなトレース関数の空間が $SL(2,\mathbb{Z})$ の作用に関して不変であることを示し、整数重みのモジュラー形式に関する以前の結果を一般化すること。

提案手法

• 型 ${W\choose U\quad W}$ の相互作用作用素 $I$ に対して、$u \in U$ に対しトレース関数 $S^I(u,\tau) = q^{-c/24} \operatorname{tr}_W I(u,z) q^{L(0)}$ を定義することで、Zhuの枠組みを相互作用作用素に適応する。
• $C_{[2,0]}$ 条件を導入・利用し、$C_2$ より弱い有限性仮定として用いることで、トレース関数が適切に定義され、モジュラー性を満たすことを保証する。
• Liの結果（相互作用作用素と $A(V)$-加群準同型の間の同型）を応用し、トレース空間の構造を分析する。
• $L(-1)$-微分性および結合則の恒等式を用いて、トレース関数の微分方程式を導出する。
• トレース関数が線形キャラクターを持つモジュラー形式であることを利用し、先頭項を比較することで、$\eta(\tau)^k$ のような既知の形式と一意に同定できることを示す。
• ヴェルマ加群の構造と特異ベクトルの条件を用いて、トレース関数の非消滅性および相互作用空間の完全不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 有理的頂点 operator 代数における頂点作用素から相互作用作用素へ、モジュラー不変性を拡張することは可能か？
• RQ2 モジュール $U$ に対してどのような条件下で、相互作用作用素のトレース関数 $S^I(u,\tau)$ の空間がモジュラー性を保つのか？
• RQ3 特定の相互作用作用素のトレース関数を明示的に計算し、既知の有理数重みのモジュラー形式と同定することは可能か？
• RQ4 与えられた相互作用作用素のトレース関数から生じるモジュラー形式の正確な重みとキャラクターは何か？

主な発見

• 型 ${W\choose U\quad W}$ の相互作用作用素 $I$ に対して、$U = L(\frac{1}{2},\frac{1}{2})$, $W = L(\frac{1}{2},\frac{1}{16})$ のとき、トレース関数 $S^I(u,\tau)$ は重み $\frac{1}{2}$ のモジュラー形式であり、ディーデキンドのエータ関数 $\eta(\tau)$ に等しい。
• $U = L(\frac{7}{10},\frac{1}{10})$, $W = L(\frac{7}{10},\frac{3}{80})$ のとき、トレース関数 $S^I(u,\tau)$ は $\eta(\tau)^{1/5}$ に同定され、重み $\frac{1}{10}$ のモジュラー形式である。
• $U = L(\frac{4}{5},\frac{2}{5})$, $W = L(\frac{4}{5},\frac{1}{15})$ のとき、トレース関数 $S^I(u,\tau)$ は $\eta(\tau)^{4/5}$ に等しく、重み $\frac{2}{5}$ のモジュラー形式である。
• $U = L(\frac{6}{7},\frac{1}{7})$, $W = L(\frac{6}{7},\frac{1}{21})$ のとき、トレース関数 $S^I(u,\tau)$ は $\eta(\tau)^{2/7}$ に等しく、重み $\frac{1}{7}$ のモジュラー形式である。
• 固定された $U$ および $u \in U$ に対して、トレース関数 $S^I(u,\tau)$ の空間は、$\dim I{W\choose U\quad W} = 1$ のとき1次元であり、スカラー倍を除き一意にモジュラー形式が定まる。
• 証明は、$S^I(u,\tau)$ の非消滅性と、その先頭項が既知のモジュラー形式と一致することに依拠しており、正則性およびモジュラー性から等式が強制的に成立する。