On rationality for $C_2$-cofinite vertex operator algebras

This paper establishes that for $C_2$-cofinite vertex operator algebras, the rigidity of the module category implies it forms a factorizable finite ribbon category and proves rationality under specific conditions, thereby confirming the Kac-Wakimoto-Arakawa conjecture for admissible-level affine $W$-algebras and reducing the coset rationality problem to $C_2$-cofiniteness.

The Gist

Imagine the universe of mathematics as a giant, intricate city. In this city, there are special buildings called Vertex Operator Algebras (VOAs). These aren't just any buildings; they are the architectural blueprints for "Conformal Field Theories," which are the mathematical rules governing how particles behave in a 2D world (like a flat sheet of paper).

For a long time, mathematicians knew that if these buildings were built perfectly (a property called being "strongly rational"), the city they created had a beautiful, predictable structure. The "residents" of these buildings (called modules) could interact in a way that formed a perfect, symmetrical dance known as a Modular Tensor Category. This dance is so special it helps physicists understand quantum computing and knot theory.

However, the big question was: How do we know if a building is "perfectly rational" just by looking at its blueprints?

Robert McRae's paper is like a new set of inspection tools that allow us to check if a building is perfect without having to interview every single resident.

Here is the breakdown of his discoveries using simple analogies:

1. The Problem: The "Rationality" Mystery

To prove a VOA is "rational" (perfect), you usually have to check two very hard things:

1. C2-cofiniteness: The building isn't infinitely messy; it has a finite number of "rooms" or structural limits. (Mathematicians already knew how to check this).
2. Rationality: The residents (modules) don't get stuck in weird loops; they can all be separated into simple, independent groups. This is the hard part.

Usually, to prove rationality, you needed a deep, detailed map of every single resident. McRae says: "Wait, we don't need the whole map. We just need to check the building's 'Zhu Algebra'."

2. The Zhu Algebra: The Building's "ID Card"

Think of the Zhu Algebra as the building's official ID card or a simplified summary of its structure.

• The Old Way: To prove the building was rational, you had to check if the ID card was "semisimple" (meaning it had no confusing, overlapping parts) AND you had to manually check every resident to make sure they weren't stuck in a loop.
• McRae's Discovery: He proved that if the ID card (Zhu Algebra) is semisimple, that is enough. You don't need to check the residents individually. If the ID card is clean, the whole building is automatically rational.

Analogy: Imagine you are buying a used car. Usually, you have to test drive it, check the engine, and inspect the tires to know if it's a "good car." McRae found a rule that says: "If the car's VIN (Vehicle Identification Number) is clean and standard, you don't need to test drive it. It's guaranteed to be a good car."

3. The "Rigidity" Test: The Elastic Band

Before proving the building is rational, McRae had to prove the residents could "hold hands" properly. In math, this is called Rigidity.

• Imagine the residents are holding elastic bands. If they pull on each other, they should snap back into a perfect shape. If they get tangled and can't snap back, the structure is "non-rigid" (messy).
• McRae showed that if the building's "character" (a mathematical signature of its energy) behaves nicely when transformed (like turning a page in a book), then the elastic bands are guaranteed to snap back. The structure is Rigid.

4. The Two Big Applications

McRae used his new tools to solve two famous puzzles in the city:

A. The W-Algebras (The "Exotic" Buildings)

There is a class of buildings called Affine W-algebras. For years, mathematicians (Kac, Wakimoto, Arakawa) guessed that a specific type of these buildings (called "exceptional") were perfect.

• The Proof: McRae looked at their "ID cards" (Zhu Algebras). Recent work by others showed these ID cards were clean (semisimple).
• The Result: Because the ID cards were clean, McRae's rule kicked in. BAM! All these "exceptional" W-algebras are automatically proven to be perfect (rational). He didn't need to do the hard work of mapping every resident; the ID card did the heavy lifting.

B. The Coset Problem (The "Roommate" Puzzle)

Imagine you have a huge, perfect apartment complex (A). Inside, there is a perfect, self-contained apartment (U). The "Coset" (V) is the rest of the building—the space left over when you remove U.

• The Question: If the whole complex is perfect, and the first apartment is perfect, is the leftover space (V) also perfect?
• The Catch: We didn't know if the leftover space was "finite" (C2-cofinite).
• The Solution: McRae proved that IF the leftover space is finite, THEN it is automatically perfect.
• Analogy: If you have a perfect cake and you cut out a perfect slice, the remaining cake is also a perfect cake (as long as the remaining cake isn't infinitely crumbly). This solves a decades-old problem in the field.

Summary

Robert McRae's paper is a masterclass in efficiency.

• Before: To prove a mathematical structure was "perfect," you had to do a massive, tedious audit of every single part.
• After: McRae found a shortcut. If the structure's "summary ID" (Zhu Algebra) is clean, the whole thing is perfect. If the structure's "elastic bands" (rigidity) hold, the whole thing is a perfect, symmetrical dance.

He used these shortcuts to instantly certify hundreds of complex mathematical structures as "perfect," saving mathematicians years of work and opening the door to understanding the deep connections between algebra, topology, and quantum physics.

Technical Summary

1. Problem Statement and Context

The central problem addressed in this paper is the classification and structural understanding of strongly finite vertex operator algebras (VOAs). A VOA $V$ is termed strongly finite if it is:

1. Simple and N-graded (or $\frac{1}{2}\mathbb{N}$-graded).
2. Self-contragredient (isomorphic to its contragredient module).
3. $C_2$-cofinite (the subspace $C_2(V) = \text{span}\{u_{-2}v \mid u,v \in V\}$ has finite codimension).

The paper seeks to resolve two major questions regarding such VOAs:

• Rationality: Under what checkable criteria is the category of $V$-modules semisimple (i.e., when is $V$ rational)?
• Non-semisimple Structure: If $V$ is not rational, what is the structure of its module category? Specifically, does it form a factorizable finite ribbon category (a non-semisimple modular tensor category)?

While Huang's modularity theorem established that strongly rational VOAs (which include rationality as a condition) have semisimple modular tensor categories, proving rationality for specific examples is notoriously difficult. It typically requires detailed knowledge of the module structure to rule out non-split extensions. This paper aims to provide internal criteria (based on the VOA structure itself) to guarantee rationality or rigidity without needing a full classification of modules.

2. Methodology

The author employs a sophisticated synthesis of tensor category theory and conformal field theory (CFT) techniques, specifically:

• Vertex Tensor Categories: Utilizing the Huang-Lepowsky-Zhang (HLZ) framework, which establishes that the category of grading-restricted generalized modules for a $C_2$-cofinite VOA is a braided tensor category.
• Rigidity via Contragredients: The paper investigates when the contragredient modules (duals) serve as categorical duals. Rigidity requires the existence of evaluation and coevaluation maps.
• Moore-Seiberg-Huang Method: The core technical tool involves analyzing genus-one correlation functions (trace functions and pseudo-traces) on a torus.
  • The author derives identities for two-point correlation functions by expanding them as series around singularities ($z_1 - z_2 \in \mathbb{Z} + \mathbb{Z}\tau$).
  • By applying the S-transformation ($\tau \mapsto -1/\tau$) to these series, the author relates the S-matrix of characters to the monodromy (double braiding) of the tensor category.
• Zhu Algebra Analysis: The paper leverages the properties of the Zhu algebra $A(V)$, an associative algebra associated with $V$. It uses the fact that if $A(V)$ is semisimple, non-split extensions between modules with the same lowest conformal weight are impossible.
• Orbifold and Coset Techniques: The proofs are generalized to handle fixed-point subalgebras (orbifolds) and commutant subalgebras (cosets) by considering VOAs as subalgebras of larger, better-understood systems.

3. Key Contributions and Main Theorems

The paper establishes three primary theorems and two major applications:

Main Theorem 1: Factorizability from Rigidity

Statement: If $V$ is a strongly finite VOA and its module category $\mathcal{C}$ is rigid, then $\mathcal{C}$ is a factorizable finite ribbon category.
Significance: This confirms a conjecture by Huang, Gaberdiel, and others that the module category of a strongly finite VOA is a "non-semisimple modular tensor category" (factorizable) provided it is rigid. It removes the need to assume semisimplicity to get a rich topological structure.

Main Theorem 2: Rigidity via Character S-Transformation

Statement: If $V$ is strongly finite and the S-transformation of the character of $V$ itself ($S(\text{ch}_V)$) is a linear combination of characters of $V$-modules (i.e., no pseudo-traces appear in the S-transform of the vacuum character), then the category $\mathcal{C}$ is rigid.
Significance: This provides a concrete, checkable condition for rigidity. It connects the modular properties of the vacuum character directly to the categorical property of rigidity.

Main Theorem 3: Rationality via Zhu Algebra Semisimplicity

Statement: If $V$ is strongly finite and its Zhu algebra $A(V)$ is semisimple, then $V$ is rational. Consequently, $\mathcal{C}$ is a semisimple modular tensor category.
Significance: This is a breakthrough. Previously, proving rationality required ruling out non-split extensions for all modules. This theorem shows that checking the semisimplicity of the finite-dimensional associative algebra $A(V)$ is sufficient to guarantee the semisimplicity of the entire module category.

Main Theorem 4: Rationality of Exceptional W-Algebras

Statement: All exceptional affine W-algebras $W_k(\mathfrak{g}, f)$ (obtained via quantum Drinfeld-Sokolov reduction of admissible-level affine VOAs) are strongly rational.
Context: This resolves the Kac-Wakimoto-Arakawa conjecture. The proof relies on recent results by Arakawa and van Ekeren showing these W-algebras have semisimple Zhu algebras, combined with Main Theorem 3. It covers cases where the VOA is $\frac{1}{2}\mathbb{N}$-graded, requiring a generalized version of the main theorems.

Main Theorem 5: The Coset Rationality Problem

Statement: Let $A$ be a strongly rational VOA containing a strongly rational subalgebra $U$. If the coset (commutant) $V = C_A(U)$ is $C_2$-cofinite, then $V$ is also strongly rational.
Significance: This reduces the "coset rationality problem" to the problem of proving $C_2$-cofiniteness. It provides a powerful tool for constructing new rational VOAs from known ones.

4. Results and Applications

1. Resolution of the Kac-Wakimoto-Arakawa Conjecture: The paper proves that all exceptional affine W-algebras are strongly rational. This unifies and generalizes previous partial results for principal and subregular nilpotent orbits.
2. Coset Rationality: The paper provides a third proof of rationality for certain principal W-algebras (via the Arakawa-Creutzig-Linshaw coset realization) and establishes a general framework for proving rationality of cosets.
3. Non-Semisimple Examples: The results apply to non-rational examples like the triplet algebras $W(p)$ and symplectic fermion algebras, confirming their module categories are factorizable finite ribbon categories (rigid but not semisimple).

5. Significance

• Internal Criteria for Rationality: The paper shifts the paradigm of proving rationality from "classifying all modules" to "checking the Zhu algebra." This is a much more tractable algebraic condition.
• Unification of Rational and Non-Rational Theories: It demonstrates that the structural framework of modular tensor categories (specifically factorizability) holds even for non-rational VOAs, provided they are $C_2$-cofinite and rigid.
• Advancement of W-Algebra Theory: By settling the rationality conjecture for exceptional W-algebras, the paper opens the door to applying the full power of modular tensor category theory (e.g., Verlinde formula, topological quantum field theory connections) to this vast class of VOAs.
• Methodological Innovation: The rigorous derivation of genus-one correlation function identities and their application to proving rigidity and factorizability sets a new standard for connecting analytic CFT methods with abstract tensor category theory.

In summary, Robert McRae's paper provides a comprehensive theoretical framework that links the algebraic properties of the Zhu algebra and the modular properties of characters to the categorical structure of VOA modules, solving long-standing conjectures regarding the rationality of W-algebras and cosets.