🔢 mathematics

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

This paper investigates the conditions under which categories of modules over commutative algebras in braided monoidal and Grothendieck-Verdier categories inherit or induce rigidity, providing new criteria for establishing the strong rationality of vertex operator algebra extensions and enabling future proofs of rigidity for weight modules of affine VOAs.

Original authors: Thomas Creutzig, Robert McRae, Kenichi Shimizu, Harshit Yadav

Published 2026-09-14

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Thomas Creutzig, Robert McRae, Kenichi Shimizu, Harshit Yadav

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern mathematics and theoretical physics, there is a field dedicated to understanding the hidden symmetries that govern the universe. These symmetries are not just visual patterns, but deep algebraic rules that dictate how particles interact and how space-time might be structured. At the heart of this field lies a concept called a "category," which is essentially a way of organizing mathematical objects and the relationships between them. When these objects can be combined in a specific, consistent way, they form a "monoidal category." If these combinations also follow a rule where the order of interaction matters in a predictable, braided fashion, they become "braided monoidal categories." These structures are the mathematical backbone of two-dimensional conformal field theory, a framework used to describe the behavior of quantum systems at critical points, such as phase transitions in materials or the strings in string theory. For decades, mathematicians have been particularly interested in a specific property of these categories called "rigidity." Rigidity ensures that every object in the system has a well-defined "dual" or "mirror image," much like how a particle has an antiparticle. This property is crucial because it allows physicists to calculate probabilities and invariants that describe knots, links, and the shape of three-dimensional spaces. Without rigidity, the mathematical machinery often breaks down, leaving many fundamental questions unanswered.

The challenge arises when these systems are not perfectly simple. In the real world, and in many advanced theoretical models, the systems are often "non-semisimple," meaning they contain complex, tangled structures that cannot be easily broken down into independent, simple pieces. For a long time, proving that these complex, non-simple systems still possess the vital property of rigidity was an incredibly difficult task. It usually required solving intricate differential equations for every single specific case, a process so tedious and prone to error that it seemed impossible to generalize. Researchers were left with a gap: they could prove rigidity for simple, idealized systems, but they could not be sure if the more complex, realistic systems shared this essential feature. This uncertainty stalled progress in understanding the mathematical foundations of logarithmic conformal field theories, which are believed to describe many physical phenomena that the simpler theories miss.

A team of mathematicians has now bridged this gap with a new set of tools that shifts the perspective on the problem. Instead of trying to prove rigidity directly for the complex system, they developed a method to determine rigidity by looking at a related, often simpler, sub-system. Imagine a large, intricate machine where the gears are jammed and the movement is chaotic. The researchers found that if you can identify a specific, well-behaved subset of gears that moves smoothly and predictably, you can deduce that the entire machine, jammed gears and all, must also have a coherent, rigid structure. In their work, they focused on "commutative algebras," which are algebraic structures that act like extensions or larger versions of the original system. They proved that if the category of "local modules"—a specific type of well-behaved object within this extended system—is rigid, then the original, larger system must also be rigid, provided a few mild conditions are met. This is a significant reversal of the usual logic, which typically tries to build up from the simple to the complex. Here, they showed that the rigidity of the complex whole can be inherited from the rigidity of its well-behaved parts.

The researchers also tackled the reverse direction: determining when the complex, extended system inherits rigidity from the original, simpler system. They identified specific criteria, such as the existence of certain embeddings or non-zero interactions, that guarantee this inheritance. Crucially, their methods do not rely on the system being "unitary" or having positive dimensions, which are restrictive conditions that ruled out many interesting physical models in the past. By removing these barriers, they opened the door to proving rigidity for a much wider class of systems, including those that were previously considered too messy to analyze.

One of the most immediate applications of this work is in the study of vertex operator algebras, which are the mathematical structures used to describe the symmetries of two-dimensional quantum field theories. Specifically, the authors used their new theorems to solve a long-standing open problem regarding the rigidity of weight modules for the simple affine vertex operator algebra of the Lie algebra $sl_2$ at any admissible level. This algebra is a prototypical example of a system that is non-rational and non-semisimple, making it a perfect test case for their methods. By embedding this algebra into a larger, better-understood system involving a rational Virasoro algebra and a half-lattice algebra, they were able to prove that the category of its weight modules is indeed rigid. This result confirms that the mathematical framework for these complex systems is stable and well-defined, allowing physicists and mathematicians to proceed with confidence in calculating fusion rules and other physical quantities.

The paper also addresses the status of "strongly rational" vertex operator algebras, which are the gold standard in the field. A major question was whether an extension of a strongly rational algebra remains strongly rational, even if the extension is complex. The authors proved that this is indeed the case, provided the extension is simple and graded in a specific way. This finding removes a previous requirement that the dimension of the extension be non-zero, a condition that was difficult to verify and often failed in practice. By showing that rigidity and semisimplicity are preserved under these extensions without needing that extra condition, the work solidifies the theoretical foundation for a vast array of new examples in conformal field theory.

Furthermore, the authors extended their results to vertex operator superalgebras, which include both commuting and anti-commuting variables, a necessary feature for describing fermions in physics. They demonstrated that the rigidity properties hold for these superalgebra extensions as well, provided the even part of the algebra is self-contragredient. This generalization ensures that the mathematical tools developed for bosonic systems can be reliably applied to fermionic systems, which are essential for a complete description of the physical world. The work also clarifies the relationship between different ways of defining duality in these categories, showing that the categorical definition of duality aligns perfectly with the physical definition used in vertex operator algebra theory.

In essence, this research provides a robust, general framework for establishing rigidity in complex, non-semisimple systems. It moves the field away from case-by-case analysis, which is often intractable, toward a structural approach that relies on the relationships between different parts of the system. The authors have not only solved specific, high-profile problems like the rigidity of the $sl_2$ weight modules but have also provided a toolkit that can be applied to many other systems, including affine W-algebras and various coset constructions. Their work suggests that the property of rigidity is far more common and robust than previously thought, persisting even in the most tangled and non-simple mathematical landscapes. This gives the community a powerful new lens through which to view the symmetries of the universe, ensuring that the mathematical descriptions of these systems are as solid and reliable as the physical phenomena they aim to describe.

Technical Summary: Commutative Algebras in Grothendieck-Verdier Categories, Rigidity, and Vertex Operator Algebras

Problem Statement
The paper addresses the fundamental problem of establishing rigidity (the existence of dual objects) in braided monoidal categories arising from Vertex Operator Algebras (VOAs). While rigidity is a cornerstone for modular tensor categories and topological invariants, many VOA representation categories of interest—particularly those associated with non-rational, non-semisimple, or logarithmic VOAs—are not known to be rigid. Existing general rigidity results often rely on strong assumptions, such as semisimplicity or the non-vanishing of categorical dimensions (e.g., pseudo-unitarity), which are difficult to verify in general settings. Furthermore, the relationship between the rigidity of a VOA $V$ , its extension $A$ , and the associated module categories ( $C$ , $C_A$ , and $C^{\text{loc}}_A$ ) lacks a unified categorical framework that does not require $A$ to be a "rigid algebra" in the sense of Kirillov and Ostrik (which requires $\dim(A) \neq 0$ ).

Methodology
The authors employ a two-pronged categorical approach, bridging finite tensor categories and the more general Grothendieck-Verdier categories (which admit a weaker duality structure).

Rigidity of Module Categories from the Base Category:
Assuming the base braided monoidal category $\mathcal{C}$ is a finite tensor category, the authors investigate conditions under which the category of $A$ -modules ( $\mathcal{C}_A$ ) and the subcategory of local $A$ -modules ( $\mathcal{C}^{\text{loc}}_A$ ) inherit rigidity.
- Key Shift: Instead of requiring $A$ to be a "rigid" (or étale) algebra with non-zero dimension, the authors utilize the concept of exact algebras introduced by Etingof and Ostrik. An algebra $A$ is exact if $\mathcal{C}_A$ is an exact module category over $\mathcal{C}$ .
- Criteria: They establish that if $A$ $A$ is a simple commutative algebra in a braided finite tensor category, rigidity of $\mathcal{C}_A$ $C_{A}$ and $\mathcal{C}^{\text{loc}}_A$ $C_{A}^{loc}$ follows if $A$ $A$ satisfies any of the following equivalent conditions (derived from [EO21]):
  - There exists an $A$ -module embedding $^*A \hookrightarrow A \otimes X$ (or $A^* \hookrightarrow X \otimes A$ ).
  - $A^* \otimes_A \, ^*A \neq 0$ .
- Applications: These conditions are shown to hold in integral categories, for Frobenius algebras, or when $\text{Hom}_{\mathcal{C}}(A, 1) \neq 0$ .
Rigidity of the Base Category from Local Modules (The Converse):
The paper tackles the converse problem: if the category of local modules $\mathcal{C}^{\text{loc}}_A$ is rigid, under what conditions is the base category $\mathcal{C}$ (and the full module category $\mathcal{C}_A$ ) rigid?
- Framework: The authors assume $\mathcal{C}$ is a Grothendieck-Verdier category (a monoidal category with a dualizing object $K$ , not necessarily the unit). This structure is weaker than rigidity but is known to exist for many VOA module categories (e.g., [ALSW25]).
- Induction and Duality: They construct a braided monoidal functor $I: \mathcal{C} \to \mathcal{Z}(\mathcal{C})^{\text{loc}}_{(A, \sigma)}$ (where $\mathcal{Z}$ is the Drinfeld center) via induction.
- Conditions for Rigidity: They prove that if $\mathcal{C}^{\text{loc}}_A$ $C_{A}^{loc}$ is rigid and every simple object of $\mathcal{C}_A$ $C_{A}$ is local, then $\mathcal{C}$ $C$ is rigid provided:
  - A mild non-degeneracy condition on $\mathcal{C}$ (ensuring the induction functor is fully faithful).
  - The induction functor commutes with duality (specifically, $F_A(DX) \cong F_A(X)^*$ ).
  - The unit morphism $\iota_A: 1 \to A$ is injective.

Key Contributions and Results

Generalization of Rigidity Criteria for Extensions:
The paper removes the requirement that the categorical dimension of an extension $A$ be non-zero. By replacing rigid algebras with exact algebras, the authors prove that if $V$ is a strongly rational VOA and $A$ is a simple, $\mathbb{Z}_{\geq 0}$ -graded extension, then $A$ is also strongly rational. This resolves a long-standing open problem in the maximum possible generality, without assuming pseudo-unitarity.
Rigidity for Non-Rational VOAs:
The authors provide criteria for rigidity in non-semisimple settings. Specifically, if $V$ is a strongly finite VOA with a rigid representation category, and $A$ is a simple extension satisfying the exactness criteria (e.g., $A$ is self-contragredient), then the category of $A$ -modules is a non-degenerate braided finite tensor category. If $A$ is also $\mathbb{Z}$ -graded, the category is a modular tensor category (possibly non-semisimple).
Grothendieck-Verdier Structure on Module Categories:
The paper proves that if $\mathcal{C}$ is a Grothendieck-Verdier category, then the category of $A$ -modules $\mathcal{C}_A$ is also a Grothendieck-Verdier category. Furthermore, if $\mathcal{C}$ is a ribbon Grothendieck-Verdier category and $\theta^2_A = \text{id}_A$ , then the local module category $\mathcal{C}^{\text{loc}}_A$ is a braided Grothendieck-Verdier category. This establishes a structural foundation for studying duality in non-rigid VOA categories.
Vertex Algebraic Interpretation:
The authors explicitly translate these categorical results into the language of VOAs. They identify the dualizing object in $\mathcal{C}^{\text{loc}}_A$ with the contragredient module $A'$ and prove that the categorical Grothendieck-Verdier structure coincides with the vertex algebraic structure defined by contragredient modules.

Significance and Claims
The paper claims to provide a robust, general framework for proving rigidity in vertex algebraic braided monoidal categories without relying on case-by-case analysis of differential equations (regular singular point equations) or restrictive assumptions like semisimplicity or non-vanishing dimensions.

Resolution of Open Problems: The results are applied to prove the rigidity of the category of weight modules for the simple affine VOA $L_k(\mathfrak{sl}_2)$ at any admissible level. This is a prototypical example of a non-semisimple category central to logarithmic conformal field theory.
Facilitation of Logarithmic Kazhdan-Lusztig Correspondences: The converse result (rigidity of $\mathcal{C}$ from $\mathcal{C}^{\text{loc}}_A$ ) is motivated by and facilitates the proof of equivalences between non-semisimple VOA module categories and quantum group/quasi-Hopf algebra categories. The authors note that their conditions for the full faithfulness of the relevant functors are weaker than previously assumed, making these correspondences more feasible to establish.
Broad Applicability: The methods are demonstrated to apply to a wide range of examples, including extensions of rational VOAs, triplet algebras, and affine VOAs at admissible levels, as well as vertex operator superalgebra extensions.

In summary, the paper establishes that rigidity is a property that can be transferred between a VOA and its extensions under mild, verifiable algebraic conditions (exactness), thereby unifying the treatment of rational and non-rational VOA representation categories within the framework of Grothendieck-Verdier duality.

More like this