[論文レビュー] Rigidity and modularity of vertex tensor categories

Yi-Zhi Huang|ArXiv.org|Feb 25, 2005

Algebraic structures and combinatorial models参考文献 36被引用数 6

ひとこと要約

本稿は、標準的条件（非負に次数づけられ、自己双対的、完全可約な弱加群）を満たす単純で $C_2$-cofinite な頂点 operator 代数のモジュールのからいテンソルカテゴリが、rigid（剛性）、balanced（バランス）、非退化的であることを証明し、それらがモジュラーテンソルカテゴリであることを確立している。証明は、先行研究で得られた Verlinde 公式に依拠しており、fusing 行列と braiding 行列を用いて、ねじれ作用素の平方のトレースが可逆行列をなすことを示し、非退化性を確認するとともに、モジュラー構造を完成させる。

ABSTRACT

Let V be a simple vertex operator algebra satisfying the following conditions: (i) The homogeneous subspaces of V of weights less than 0 are 0, the homogeneous subspace of V of weight 0 is spanned by the vacuum and V' is isomorphic to V as a V-module. Every weak V-module gradable by nonnegative integers is completely reducible. (iii) V is C_2-cofinite. (In the presence of Condition (i), Conditions (ii) and (iii) are equivalent to a single condition, namely, that every weak V-module is completely reducible.) Using the results obtained by the author in the formulation and proof of the general version of the Verlinde conjecture and in the proof of the Verlinde formula, we prove that the braided tensor category structure on the category of V-modules is rigid, balanced and nondegenerate. In particular, the category of V-modules has a natural structure of modular tensor category. We also prove that the tensor-categorical dimension of an irreducible V-module is the reciprocal of a suitable matrix element of the fusing isomorphism under a suitable basis.

研究の動機と目的

• 頂点 operator 代数表現論における長年の未解決問題である、モジュールのからいテンソルカテゴリの剛性および非退化性を解消すること。
• 適切な頂点 operator 代数のモジュールのカテゴリが、 conformal field theory や topological quantum field theory の中心的構造たるモジュラーテンソルカテゴリであることを確立すること。
• Verlinde 公式を拡張し、非可約モジュールのカテゴリカル次元が fusing 同型写像の行列成分の逆数に等しいことを証明すること。
• 自然な有限性および半単純性条件下で、モジュールのカテゴリの完全なモジュラリティの証明—剛性、バランス、非退化性—を提供すること。

提案手法

• 先行研究（Huang, 2005）で得られた Verlinde 公式を用いて、テンソルカテゴリにおけるねじれ作用素の平方のトレースを計算する。
• fusing 行列と braiding 行列を適用し、双対とテンソル積を含む重要な系列におけるモジュール写像の合成を分析する。
• モジュール写像と同型写像を含む可換図式を構成し、合成の等価性を示すことで、剛性を証明する。
• Verlinde 公式を用いて、ねじれ作用素の平方のトレースが modular S-行列に比例することを示す。
• S-行列の可逆性と Verlinde 公式を用いて、トレース行列が可逆であることを示し、非退化性を確立する。
• 弱モジュールの完全可約性と $C_2$-cofreeness および $V_{(n)}=0$ for $n<0$ の条件が同値であることに依拠し、カテゴリが半単純的で適切に振る舞うことを保証する。

実験結果

リサーチクエスチョン

• RQ1 $C_2$-cofinite で、$n<0$ に対して $V_{(n)}=0$ かつ $V_{(0)}=\mathbb{C}\mathbf{1}$ を満たす単純な頂点 operator 代数のモジュールのからいテンソルカテゴリは、剛性構造を備えているか？
• RQ2 このようなモジュールのカテゴリは非退化的であるか、すなわちねじれ作用素のトレースからなる S-行列が可逆行列をなすか？
• RQ3 非可約モジュールのテンソルカテゴリカル次元は、fusing 同型写像の行列成分の逆数として表現可能か？
• RQ4 剛性、バランス、非退化性の組み合わせが、カテゴリがモジュラーテンソルカテゴリであることを示唆するか？
• RQ5 直接的な構成が存在しない状況でも、Verlinde 公式は非退化性および剛性を証明するのに十分か？

主な発見

• $V$-モジュールのからいテンソルカテゴリは剛性を有する。すなわち、すべての対象が評価写像とcoevaluation写像を備えた双対を有する。
• カテゴリはバランスを有する。ねじれ同型写像が自然性および整合性公理を満たすように適切に定義されている。
• カテゴリは非退化的である。ねじれ作用素の平方のトレース行列は可逆であり、成分が $\frac{S_{a_1}^{a_2}}{S_e^e}$ として与えられ、非退化性が確認される。
• 非可約 $V$-モジュール $W^{a}$ のテンソルカテゴリカル次元は $\frac{1}{F_a}$ に等しい。ここで $F_a$ は fusing 同型写像の行列成分である。
• $V$-モジュールのカテゴリは、剛性、braiding、バランス、非退化性のすべての公理を満たすため、モジュラーテンソルカテゴリである。
• この結果は、Verlinde 公式がモジュラリティを確立する役割を果たすことを確認し、頂点 operator 代数理論における長年の未解決問題を解決する。