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

TL;DR

This paper investigates semi-rigidity in C_2-cofinite vertex operator algebras, establishing flatness of modules and conditions for rationality, extending understanding beyond the rational case.

Contribution

It introduces semi-rigidity as a weaker condition than rigidity and proves flatness of modules and rationality criteria under this condition.

Findings

Projective covers are direct summands of tensor products with finitely generated modules.

Finitely generated modules exhibit flatness under tensor products.

Semi-rigidity implies rationality if a rational subVOA exists.

Abstract

We study properties of a C_2-cofinite vertex operator algebra of CFT type. If it is also rational and V'\cong V, then the rigidity of the tensor category of modules has been proved by Huang. When we treat an irrational C_2-cofinite VOA, the rigidity is too strong, because it is almost equivalent to be rational as we see. We introduce a natural weaker condition "semi-rigidity". Under this condition, we prove the following results. For a projective cover P of a V-module V and a finitely generated V-module M, the projective cover of M is a direct summand of the tensor product P\boxtimes M defined by logarithmic intertwining operators. Using this result, we prove the flatness property of finitely generated modules for the tensor products, that is, if 0\to A\to B\to C\to 0 is exact then so is 0\to D\boxtimes A\to D\boxtimes B\to D\boxtimes C\to 0 for any finitely generated V-modules A, B, C and D. As a corollary, we have that if a semi-rigid C_2-cofinite V contains a rational subVOA with the same Virasoro element, then V is rational.