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.

On $\mathbb{N}$-graded vertex algebras associated with Gorenstein algebras

Associative algebras and the representation theory of grading-restricted vertex algebras

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

Twisted representations of [math]-graded vertex algebras over a good field

Differential graded vertex Lie algebras

Torus n-Point Functions for $\mathbb{R}$-graded Vertex Operator Superalgebras and Continuous Fermion Orbifolds

Bigraded differential algebra for vertex algebra complexes

First-order deformations of freely generated vertex algebras

Moduli spaces of conformal structures on Heisenberg vertex algebras

Noncommutatively Graded Algebras

Semi-conformal structure on certain vertex superalgebras associated to vertex superalgebroids

(G,χ_ϕ)-Equivariant Φ-Coordinated Modules for Vertex Algebras

Ordinary modules for vertex algebras of $\mathfrak{osp}_{1|2n}$

Certain Clifford-like algebra and quantum vertex algebras

Fermionic construction of the $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra and its $\mathbb{Z}_2$-twisted module, I

Cohomological Varieties Associated to Vertex Operator Algebras

On certain noncommutative geometries via categories of sheaves of (graded) PI-algebras

From vertex operator superalgebras to graded-local conformal nets and back

Fermionic construction of the -graded meromorphic open-string vertex algebra and its -twisted module, I

Vertex algebras from divisors on Calabi-Yau threefolds

On parafermion vertex algebras of $\frak{sl}(2)_{-3/2}$ and $\frak{sl}(3)_{-3/2}$