Abstract:Let $A$ be a commutative algebra in a braided monoidal category $\mathcal{C}$; e.g., $A$ could be an extension of a vertex operator algebra (VOA) $V$ in a category $\mathcal{C}$ of $V$-modules. We study when the category $\mathcal{C}_A$ of $A$-modules in $\mathcal{C}$ and its subcategory $\mathcal{C}_A^{\text{loc}}$ of local modules inherit rigidity from $\mathcal{C}$, and then we find conditions for $\mathcal{C}$ and $\mathcal{C}_A$ to inherit rigidity from $\mathcal{C}_A^{\text{loc}}$. First, we assume $\mathcal{C}$ is a braided finite tensor category and prove rigidity of $\mathcal{C}_A$ and $\mathcal{C}_A^{\text{loc}}$ under conditions based on criteria of Etingof-Ostrik for $A$ to be an exact algebra in $\mathcal{C}$. As a corollary, we show that if $A$ is a simple $\mathbb{Z}_{\geq 0}$-graded VOA with a strongly rational vertex operator subalgebra $V$, then $A$ is strongly rational, without requiring the categorical dimension of $A$ as a $V$-module to be non-zero. Next, we assume $\mathcal{C}$ is a Grothendieck-Verdier category, i.e., $\mathcal{C}$ admits a weaker duality structure than rigidity. We first prove $\mathcal{C}_A$ is also a Grothendieck-Verdier category. Using this, we prove that if $\mathcal{C}_A^{\text{loc}}$ is rigid, then so is $\mathcal{C}$ under conditions such as a mild non-degeneracy assumption on $\mathcal{C}$, an assumption that every simple object of $\mathcal{C}_A$ is local, and that induction from $\mathcal{C}$ to $\mathcal{C}_A$ commutes with duality. These conditions are motivated by free field-like VOA extensions $V\subseteq A$ where $A$ is often an indecomposable $V$-module, so our result will make it more feasible to prove rigidity for many vertex algebraic monoidal categories. In a follow-up work, our result will be used to prove rigidity of the category of weight modules for the simple affine VOA of $\mathfrak{sl}_2$ at any admissible level.

Virasoro Vertex Operator Algebras, the (Nonmeromorphic) Operator Product Expansion and the Tensor Product Theory

Tensor products of modules for a vertex operator algebra and vertex tensor categories

Elliptic Genus and Vertex Operator Algebras

2 0 A pr 2 00 4 K-theory associated to vertex operator algebras

3 1 M ar 2 00 4 K-theory associated to vertex operator algebras

TWISTED HEISENBERG-VIRASORO VERTEX OPERATOR ALGEBRA

Ja n 20 02 Elliptic genus and vertex operator algebras

Bell's inequalities II: logical loophole in their interpretation

Vertex Operator Algebras Associated to Modified Regular Representations of Affine Lie Algebras

A correspondence between H3+ WZW and Liouville theories on discs

Deligne tensor products of categories of modules for vertex operator algebras

A general mirror equivalence theorem for coset vertex operator algebras

Cofiniteness conditions, projective covers and the logarithmic tensor product theory

Vertex operator algebra and parenthesized braid operad

Vertex Algebras and Commutative Algebras

Decomposition of the vertex operator algebra V_{\sqrt{2}A_3}

Vertex Operator Algebras and Topologically Twisted Chern-Simons-Matter Theories

Orbifolds of Pointed Vertex Operator Algebras I

Kazhdan-Lusztig Correspondence for Vertex Operator Superalgebras from Abelian Gauge Theories

Commutative algebras in Grothendieck-Verdier categories, rigidity, and vertex operator algebras