Compact Rigid Balanced Braided Monoidal Category

• Compact rigid balanced braided monoidal categories are k-linear presentable structures with a cocontinuous monoidal product, natural braiding, compatible twist, and enough compact projectives ensuring all compact objects are dualizable.
• They are foundational in rational conformal field theory, enabling modular functor constructions and mapping class group representations, with applications extending to vertex operator algebras and quantum groups.
• Their rigorous framework supports constructions like factorization homology, skein-theoretic models, and cyclic framed E₂-algebras that extend topological quantum field theory in non-finite, rigid contexts.

A compact rigid balanced braided monoidal category is a $k$-linear presentable category $\mathcal{A}$, over an algebraically closed field $k$, equipped with a cocontinuous monoidal product, a natural braiding, a compatible twist (balancing), and enough compact projective objects, such that every compact object is dualizable and the monoidal unit is compact. These categories generalize the finite modular tensor category structures prevalent in rational conformal field theory, providing a rigorous framework for constructing systems of mapping class group representations and open modular functors in the non-finite, rigid context most naturally arising in the study of vertex operator algebras and related representation categories (Yeral, 3 Feb 2026).

1. Formal Structure and Core Definitions

A compact rigid balanced braided monoidal category $\mathcal{A}$ possesses:

• Monoidal Product: A cocontinuous functor

$$\otimes: \mathcal{A} \boxtimes \mathcal{A} \longrightarrow \mathcal{A}$$

with unit object $I$ and associator/unit isomorphisms

$$\alpha_{X,Y,Z}: (X\otimes Y)\otimes Z \xrightarrow{\cong} X\otimes (Y\otimes Z), \quad \lambda_X: I\otimes X \xrightarrow{\cong} X, \quad \rho_X: X\otimes I \xrightarrow{\cong} X$$

satisfying Mac Lane's coherence conditions.

• Braiding: Natural isomorphisms

$c_{X,Y}: X\otimes Y \xrightarrow{\cong} Y\otimes X$

satisfying hexagon identities expressing compatibility of the braiding with associators.

• Twist/Balancing: A natural automorphism $\theta_X: X \xrightarrow{\cong} X$ of the identity functor, with $\theta_I = \mathrm{id}_I$ and

$$\theta_{X\otimes Y} = c_{Y,X} \circ c_{X,Y} \circ (\theta_X \otimes \theta_Y)$$

and compatibility with duals, i.e., $(\theta_X)^\vee = \theta_{X^\vee}$.

• Rigidity: For all $X \in \mathcal{A}$, existence of left and right duals $X^\vee$, ${}^\vee X$, with evaluation and coevaluation morphisms satisfying snake identities.
• Compactness and Compact Projectives: An object $P$ is compact if $\mathrm{Hom}(P,-)$ preserves filtered colimits, compact projective if it preserves all colimits. Having enough compact projectives means every object is a colimit of such objects; compact rigid means all compact objects are dualizable and $I$ is compact.

2. Compact Projective Objects and Ind-Completion

The category $\mathcal{A}$, being presentable, is the Ind-completion of its full subcategory $\mathsf{cp}(\mathcal{A})$ of compact projective objects. For $P \in \mathsf{cp}(\mathcal{A})$, duals $P^\vee$ exist and satisfy

$$\mathrm{ev}_P: P^\vee \otimes P \to I,\qquad \mathrm{coev}_P: I \to P \otimes P^\vee$$

with snake identities. Lemma 2.1 guarantees the dual of a compact projective is again compact projective, ensuring the persistence of rigid structure on the compact subcategory. Standard adjunction isomorphisms

$$\mathrm{Hom}(-\otimes P, -) \cong \mathrm{Hom}(-, -\otimes P^\vee), \quad \mathrm{Hom}(P^\vee \otimes -, -) \cong \mathrm{Hom}(-, P\otimes -)$$

hold on compact projectives and extend by cocontinuity.

3. Braiding, Twist, and Dual Compatibility

The twist automorphism $\theta$ satisfies:

• Monoidal Compatibility: $$\theta_{X\otimes Y} = c_{Y,X}\circ c_{X,Y}\circ (\theta_X\otimes \theta_Y)$$, $\theta_I = \mathrm{id}_I$
• Dual Compatibility: Under $\mathrm{Hom}(I, X^\vee)\cong \mathrm{Hom}(X, I)$, $(\theta_X)^\vee = \theta_{X^\vee}$

This yields a balanced braided monoidal structure in the sense of Turaev and Bakalov–Kirillov, allowing for the construction of modular functors and mapping class group actions (Yeral, 3 Feb 2026).

4. Examples: Hopf Algebras, Quantum Groups, Vertex Operator Algebras

Representative cases include:

• Comodules of Hopf Algebras: For $H$ a Hopf algebra with a semiperfect category of finite-dimensional comodules (e.g., $H$ cosemisimple), $\mathrm{Comod}(H)$ is abelian, rigid, braided, and has enough projectives. Its Ind-completion satisfies compact rigid balanced braided monoidal conditions.
• Quantum Groups at Generic $q$: For $\mathfrak{g}$ a simple Lie algebra and $q$ not a root of unity, the category of comodules of the restricted dual of $U_q(\mathfrak{g})$ is compact rigid, balanced, braided, with infinitely many simples.
• Vertex Operator Algebras (VOAs): The category $\mathscr{F}$ of modules for the rank-1 bosonic ghost ($\beta\gamma$-system) is abelian, ribbon, has enough projectives, but not $C_2$-cofinite; its Ind-completion $\mathbf{F} = \mathrm{Ind}\,\mathscr{F}$ provides a non-finite compact rigid balanced braided monoidal category in $\mathsf{Pr}$.

5. Mapping Class Group Representations and Open Modular Functors

Proposition 2.3 establishes that any compact rigid balanced braided monoidal category $\mathcal{A}$ with enough compact projectives and twist compatible with duals forms a cyclic framed $E_2$-algebra in the symmetric monoidal bicategory $\mathsf{Pr}$. By Müller–Woike [MW6], such an algebra canonically extends to an open modular functor

$$\mathcal{A}_!: \{\text{oriented surfaces with parametrized boundary intervals}\} \longrightarrow \mathsf{Vect}$$

providing mapping class group $\mathrm{Map}(\Sigma)$ actions on these vector spaces, compatible with interval gluing.

6. Factorization Homology and the Holographic Principle

For any oriented surface $\Sigma$ with $n$ marked boundary intervals (at least one per connected component), one constructs a cocontinuous functor

$$\mathrm{FH}_{\mathcal{A}}(\Sigma; -): \mathcal{A}^{\boxtimes n} \longrightarrow \mathsf{Vect}$$

For compact projective input $X \in \mathsf{cp}(\mathcal{A}^{\boxtimes n})$,

$$\mathrm{FH}_{\mathcal{A}}(\Sigma; X) = \mathrm{Hom}_{\int_\Sigma \mathcal{A}} \bigl( \mathcal{O}_\Sigma, X \rhd \mathcal{O}_\Sigma \bigr )$$

with $\int_\Sigma \mathcal{A}$ the factorization homology and $\mathcal{O}_\Sigma$ the quantum structure sheaf. The canonical action $\rhd$ arises from the insertion of labeled disks on the marked intervals. Theorem 3.3 identifies this functor as precisely the open modular functor $\mathcal{A}_!$. For label choices $X_1, \ldots, X_n \in \mathsf{cp}(\mathcal{A})$

$$\mathcal{A}_!(\Sigma; X_1, \ldots, X_n) \cong \mathrm{Hom}_{\int_\Sigma \mathcal{A}} \bigl( \mathcal{O}_\Sigma, (X_1 \boxtimes \cdots \boxtimes X_n)\rhd \mathcal{O}_\Sigma \bigr)$$

carrying a $\mathrm{Map}(\Sigma)$-action and satisfying excision and gluing axioms. This description realizes mapping class group representations and correlator spaces as having three-dimensional origins—an explicit manifestation of the holographic principle.

7. Frobenius Algebra Pointings, Open Correlators, and Further Structures

A compact projective symmetric Frobenius algebra $F \in \mathsf{cp}(\mathcal{A})$ has a unital associative algebra structure $(\mu, \eta)$ and a non-degenerate symmetric pairing $\beta: F \otimes F \to I$, with $F \cong F^\vee$ and the Frobenius identity

$$\beta \circ (\mu \otimes \mathrm{id}) = \beta \circ (\mathrm{id} \otimes \mu)$$

such $F$ defines a consistent system of open correlators in the modular functor $\mathcal{A}_!$ via vectors

$$\xi_\Sigma^F \in \mathcal{A}_!(\Sigma; F, \ldots, F)$$

invariant under mapping class group actions and compatible with gluing. Any such invariant family requires $F$ to have a symmetric Frobenius structure.

Additional structures include skein-theoretic models where $\int_\Sigma \mathcal{A}$ becomes an admissible skein category—objects are disk collections labeled by compact projectives, morphisms arise from skein modules in $\Sigma \times [0,1]$—providing a concrete three-dimensional construction of two-dimensional conformal blocks. The cyclic framed $E_2$-structure yields ansular (one-holed) functors and handlebody group representations, with extensions to reflection-equation algebras generated by factorization homology on cylinders:

$$\mathbb{F} = \int^{P \in \mathsf{cp}(\mathcal{A})} P^\vee \otimes P$$

such that

$$\int_{\mathbb{S}^1\times[0,1]} \mathcal{A} \cong \mathrm{Mod}_{\mathcal{A}(\mathbb{F})}$$

allowing modular functor extensions from labels in $\mathcal{A}$ to those in $\mathrm{Mod}_{\mathcal{A}(\mathbb{F})}$.

A plausible implication is that non-finite, compact rigid balanced braided monoidal categories extend the rich mapping class group and correlator theory previously tied to semisimple, finite scenarios, reflecting the full power of categorical and topological quantum field theoretic constructions (Yeral, 3 Feb 2026).