Flatness of Tensor Products and Semi-Rigidity for $C_2$-cofinite Vertex Operator Algebras II

Abstract

Let V be a simple C_2-cofinite VOA of CFT-type and we assume that there is a simple module U such that \Hom_V(U\boxtimes V',V)\not=0 where V' is a restricted dual of V. As the author has shown, an S-transformation S(Ψ_V) of a trace function Ψ_V on V corresponding \begin{pmatrix}0&-1\cr 1&0\end{pmatrix} may contain pseudo-trace functions. Our assumption in this paper is that no pseudo-trace functions appear in S(Ψ_V). Under these assumptions, we prove that every V-module W is semirigid and Ψ_W appears in S(Ψ_V). As a corollary of our main theorem, a fixed point subVOA of a rational VOA of CFT-type by an automorphism of finite order becomes rational if fixed point subVOA is C_2-cofinite.

14 pages, we avoid the calculations of fusion matrices, we need one assumption to avoid pseudo-trace function, and we also add a proof of the semisimplicity of orbifold models of rational VOAs

Cited by in corpus (10)

• C_2-cofiniteness of cyclic-orbifold models
• Zhu's algebra, C_2-algebra and C_2-cofiniteness of parafermion vertex operator algebras
• Flatness and Semi-Rigidity of Vertex Operator Algebras
• C_2-cofiniteness of the 2-cycle permutation orbifold models of minimal Virasoro vertex operator algebras
• C_2-cofinite W-algebras and their logarithmic representations
• On the definition and K-theory realization of a modular functor
• On duality and extended chiral symmetry in the SL(2,R) WZW model
• On W-algebra extensions of (2,p) minimal models: p > 3
• Representations of ${\mathbb{Z}}_2$-orbifold of the parafermion vertex operator algebra $K(s{l}_2,k)$
• Representations of Vertex Operator Algebras $V_{L_2}^{S_4}$ and $V_{L_2}^{A_5}$