[論文レビュー] C_1-cofiniteness and Fusion Products of Vertex Operator Algebras

Masahiko Miyamoto|arXiv (Cornell University)|May 14, 2013

Algebraic structures and combinatorial models参考文献 2被引用数 12

ひとこと要約

この論文は、2つの$C_1$-cofiniteな$\mathbb{N}$-可 gradableな頂点 operator algebraのモジュールの融合積が、自身で$C_1$-cofiniteであることを確立し、このようなモジュールのカテゴリにおける融合積の存在および有限性を保証する。$g(V)$-モジュールを用いた射影極限の構成と、相互作用作用素における微分方程式を用いて、商$T/C_1(T)$の次元がモジュールにのみ依存する定数によって有界であることを証明し、融合積の$C_1$-cofinitenessを保証する。

ABSTRACT

Let V be a vertex operator algebra. We prove that if U and W are C_1-cofinite {\mathbb N}-gradable V-modules, then a fusion product U\boxtimes W is well-defined and also a C_1-cofinite {\mathbb N}-gradable V-module, where the fusion product is defined by (logarithmic) intertwining operators. This is also true for C_2-cofinite {\mathbb N}-gradable modules.

研究の動機と目的

• 頂点作用素代数（VOA）表現理論における融合積の非存在問題を解決するために、$g(V)$-モジュールに基づく新しい枠組みを導入すること。
• 融合積が存在し、良好に振る舞うための条件を確立すること、特に$C_1$-cofinitenessを主要基準として焦点を当てる。
• 2つの$C_1$-cofiniteな$\mathbb{N}$-可 gradableモジュールの融合積が、依然として$C_1$-cofiniteであることを証明し、カテゴリが融合に関して閉じていることを保証すること。
• $C_m$-cofiniteness（$m \geq 1$）へ一般化し、商$T/C_m(T)$における次元の成長が有界であることを示すこと。
• 普遍的性質と相互作用作用素の展開を用いて融合積の結合的性質を示し、整合的なテンソルカテゴリ構造を構築すること。

提案手法

• $V$-モジュールの$C_m$-cofinitenessを、$C_m(U) = \text{Span}_{\mathbb{C}}\{v_{-m}u \mid \text{wt}(v) > 1 - m\}$の部分空間が$U$において有限余次元であると定義する。
• $U \boxtimes W$の融合積を、$V$-モジュールの射影極限として構成し、それらを$g(V)$-モジュールとして扱うことで、存在を保証する。
• 制限双対$T'$と双線形形式$\langle \theta, \mathcal{Y}(u,z)w \rangle$を用いて、$\theta \in \text{Annih}(C_m(T)) \cap T'$の相互作用作用素を分析する。
• $F(\theta, p, q; z) = \langle \theta, \mathcal{Y}(p,z)q \rangle$が、$\theta$に依存しない$\mathbb{C}[z, z^{-1}]$の係数をもつ$F(\theta, p^i, q^j; z)$の線形結合であることを証明する。
• 重みに関する帰納法を用いて、$U$および$W$からの全射相互作用作用素を受ける任意のモジュール$T$について、$\dim T / C_m(T)$の均一な上限$f_m(U,W)$を確立する。
• 相互作用作用素の普遍性と微分方程式の解の結合的性質を活用して、結合的同型$U \boxtimes (W \boxtimes T) \cong (U \boxtimes W) \boxtimes T$を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、$\mathbb{N}$-可 gradableモジュールのカテゴリ内に$V$-モジュールとしての融合積$U \boxtimes W$が存在するか？
• RQ2 $U$および$W$の$C_1$-cofinitenessが、それらの融合積$U \boxtimes W$の$C_1$-cofinitenessを保証するか？
• RQ3 $U$および$W$からの全射相互作用作用素を受ける任意の$\mathbb{N}$-可 gradable $V$-モジュール$T$について、$T / C_m(T)$の次元に均一な上限があるか？
• RQ4 相互作用作用素の構造とそれらの微分方程式の解が、融合積の結合的性質をどのように保証するか？
• RQ5 融合積の構成を形式的べき級数（対数的でない）相互作用作用素へ拡張可能か？また、$C_1$-cofinitenessは保たれるか？

主な発見

• 2つの$C_1$-cofiniteな$\mathbb{N}$-可 gradable $V$-モジュールの融合積$U \boxtimes W$は、$V$-モジュールとして自身でも$C_1$-cofiniteである。
• $U$および$W$からの全射相互作用作用素を受ける任意の$\mathbb{N}$-可 gradable $V$-モジュール$T$について、次元$\dim T / C_1(T)$は、$U$および$W$にのみ依存する定数$f_1(U,W)$によって有界である。
• $C_1$-cofiniteな$\mathbb{N}$-可 gradableモジュールのカテゴリにおいて、結合的同型$U \boxtimes (W \boxtimes T) \cong (U \boxtimes W) \boxtimes T$が成り立ち、普遍的性質によって誘導される自然な同型が存在する。
• $g(V)$-モジュールのカテゴリにおける射影極限による融合積の構成は存在を保証し、$C_1$-cofiniteness条件により、極限が$V$-モジュールであることが保証される。
• この結果は$C_m$-cofinitenessへ一般化可能である：$U$および$W$が$C_m$-cofinitenessならば、$U \boxtimes W$も$C_m$-cofinitenessであり、$\dim T / C_m(T) < f_m(U,W)$である。
• $\mathbb{N}$-可 gradable $C_1$-cofinitenessモジュールのカテゴリ$\mathcal{O}^{C_1}$は融合に関して閉じており、融合積は結合的であり、テンソルカテゴリの公理を満たす。