We show that the category of finite-length generalized modules for the singlet vertex algebra M(p), p∈Z>1, is equal to the category OM(p) of C1-cofinite M(p)-modules, and that this category admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. Since OM(p) includes the uncountably many typical M(p)-modules, which are simple M(p)-module structures on Heisenberg Fock modules, our results substantially extend our previous work on tensor categories of atypical M(p)-modules. We also introduce a tensor subcategory OM(p)T, graded by an algebraic torus T, which has enough projectives and is conjecturally tensor equivalent to the category of finite-dimensional weight modules for the unrolled restricted quantum group of sl2 at a 2pth root of unity. We compute all tensor products involving simple and projective M(p)-modules, and we prove that both tensor categories OM(p) and OM(p)T are rigid and thus also ribbon. As an application, we use vertex operator algebra extension theory to show that the representation categories of all finite cyclic orbifolds of the triplet vertex algebras W(p) are non-semisimple modular tensor categories, and we confirm a conjecture of Adamović-Lin-Milas on the classification of simple modules for these finite cyclic orbifolds.
Read full abstract