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.

Weak braiding for algebras in braided monoidal categories

The Right Braids, Quasi-braided Pre-tensor Categories, and General Yang–Baxter Operators

Adjunctions and braided objects

Local Modules in Braided Monoidal 2-Categories

A braided monoidal $(\infty,2)$-category of Soergel bimodules

Infinitesimal braidings and pre-Cartier bialgebras

New Braided Monoidal Categories over Monoidal Hom-Hopf Algebras

Weak Hopf Quivers, Clifford Monoids and Weak Hopf Algebras

Weak Tensor Category and Related Generalized Hopf Algebras

Categorical Quantum Groups and Braided Monoidal 2-Categories

Algebraic, combinatorial and topological properties of singular virtual braid monoids

Central Hopf Monads and Braided Commutative Algebras

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

Derived Braids of Decreasing Products and their Categories

Braiding for quantum 𝑔𝑙₂ at roots of unity

Duality for infinite-dimensional braided bialgebras and their (co)modules

Nondegenerate extensions of near-group braided fusion categories

Grothendieck-Verdier duality in categories of bimodules and weak module functors

Infinitesimal 2-braidings from 2-shifted Poisson structures

Structure theorems for braided Hopf algebras

Braided Hochschild cohomology and Hopf actions