Unitary Categorification Criterion for Based Rings

• The paper introduces explicit analytic and combinatorial criteria, including the primary n-criterion and localized tests, to determine when a based ring can be unitarily categorified.
• It details the use of fusion matrices, operator norms, and positive semidefiniteness tests (notably the primary 3-criterion) to rigorously verify categorifiability.
• The approach integrates classical methods with modern tools like noncommutative Minkowski inequalities and triangular prism equations to resolve ambiguities in high-rank or noncommutative cases.

A unitary categorification criterion for based rings is a set of explicit necessary and/or sufficient conditions that determine when a given based ring—such as a fusion or multifusion ring—admits a realization as the Grothendieck ring of a unitary fusion category. These conditions are formulated in terms of the structure constants, dimensions, representation theory, and sometimes combinatorial or analytic invariants of the ring. The last decade has seen the development of powerful analytic and combinatorial tests clarifying the landscape of categorifiable based rings, with increasing strength and computability even in the noncommutative or high-rank case.

1. Core Definitions: Based Rings, Fusion Structures, and Unitary Categorification

A based ring $R$ is a free $\mathbb{Z}$-module with a distinguished basis $\{x_i\}_{i\in I}$, structure constants $N_{i,j}^k\in\mathbb{Z}_{\geq0}$ subject to

$x_i x_j = \sum_{k \in I} N_{i,j}^k x_k$

and an involution $*: I \to I$, extended semi-antilinearly, making $R$ a $\ast$-algebra with trace $T(x_i)=\delta_{i,1}$ (or analogous, as relevant). If $1\in \{x_i\}$, $R$ is a fusion ring; $R$ is a multifusion ring if $R$ has a unit up to decomposition.

A unitary categorification of $R$ is a spherical unitary fusion category $\mathcal{C}$ such that $\mathrm{Gr}(\mathcal{C}) \cong R$ as based rings with $[X_i] \mapsto x_i$ for simple objects $X_i$. That is, there exists a C*-tensor category $\mathcal{C}$ whose fusion rules, quantum dimensions, dualities, and class data recover all the combinatorics and inner products of $R$. Admitting a unitary categorification is thus a stringent requirement reflecting deep algebraic, analytic, and number-theoretic properties of the structure constants and associated data (Huang et al., 2022).

2. The Primary $n$-Criterion: Complete Positivity and Analytic Obstructions

The primary $n$-criterion, introduced and fully developed in Huang–Liu–Palcoux–Wu, gives a computable, representation-free analytic obstruction for unitary categorification. Given $R$ of rank $m$ with fusion matrices $M_i\in M_m(\mathbb{Z}_{\geq0})$ and operator norms $\|M_i\|$, the $n$th primary matrix is defined as

$$T_n = \sum_{i=1}^m \|M_i\|^2\, (M_i)^{\otimes (n-1)} \in M_{m^{n-1}}(\mathbb{C})$$

The criterion asserts: If $R$ is unitarily categorifiable, then for all $n\geq 1$,

$T_n \succeq 0$

(i.e., $T_n$ is positive semidefinite). The $n=3$ case, the "primary 3-criterion", is particularly powerful; $T_3 \geq 0$ already strictly strengthens classical commutative criteria, especially for noncommutative rings (Huang et al., 2022).

This test arises from the complete positivity of the comultiplication $\Delta$ in the bialgebra structure on $B=R\otimes \mathbb{C}$. If $\Delta: B \to B\otimes B$ is not completely positive, $R$ cannot be categorified unitarily.

3. Comparison to Classical Criteria: Schur, Liu–Palcoux–Wu, and Beyond

Historically, the Schur-product criterion applies to commutative based rings $(R=\mathbb{C}[\text{fusion ring}])$ with diagonalizable fusion matrices. For unitary categorification, the Schur condition requires positivity of all symmetric tensor powers of characters:

$$\sum_{i=1}^{m} \prod_{j=1}^n \chi_j(x_i) / d_i^2 \geq 0$$

for any $n$-tuple of irreducible characters/columns. However, this is generally not strong enough for noncommutative $R$ or high-multiplicity cases (Liu et al., 2020).

The Liu–Palcoux–Wu invariants generalize this to higher arity and noncommutative settings:

$$I_n(\pi_1,\ldots,\pi_n; v_1,\ldots, v_n) = \sum_{i\in I} \prod_{j=1}^n (\pi_j(x_i)v_j, v_j)/\prod_j a_{\pi_j}$$

where $a_{\pi_j}$ are formal codegrees. For a unitary categorification, all these invariants must be nonnegative, but this still often requires full knowledge of the ring representations (Etingof et al., 2021).

The primary $n$-criterion strictly implies all Schur-type obstructions and, for $n\geq3$, provides stronger restrictions on triple and higher convolution data (Huang et al., 2022).

4. Localization, Twisting, and Computational Advantages

A significant innovation is localization: given a subset $S\subset\{1,\ldots,m\}$, form the coordinate projection $P_S$ and reduced left-mult. matrices $M_i|_S := P_S M_i P_S^\top$. One defines a localized criterion:

$$T_{n,S} = \sum_{i=1}^m \|M_i\|^2 (M_i|_S)^{\otimes (n-1)}$$

which must be positive semidefinite if $R$ is unitarily categorifiable. The main computational advantages are:

• Only small submatrices need to be checked, drastically reducing storage and computational costs.
• Localization enables application to rings with sparse or partially known data, high rank, or large multiplicities.
• Twisted and reduced versions (using unitary matrices $U_i$) enhance flexibility and handle cases where parts of the fusion data are missing or ambiguous (Huang et al., 2022).

Thus, localized and twisted primary criteria supply a unified and computable approach for practical exclusion or verification.

5. Noncommutative Minkowski Inequality and Analytic Criteria

Recent results establish a noncommutative Minkowski-type integral inequality for commuting squares of tracial von Neumann algebras. This leads to a strong analytic necessary condition: for any fusion ring $R$ with fusion coefficients $N_{ij}^{k}$ and quantum dimensions $d_j$, the following holds for all $i,j,k$, $p\geq1$, and all nonnegative sequences $(a_n)$:

$$\left( \sum_{l=1}^s \left( \sum_{n=1}^s \frac{N_{l k}^n a_n d_n}{d_l}\right)^p \frac{N_{ij}^l d_l}{d_j} \right)^{1/p} \leq \sum_{m=1}^s \left( \sum_{n=1}^s \frac{N_{im}^n a_n^p d_n}{d_m} \right)^{1/p} \frac{N_{jk}^m d_m}{d_j}$$

Failure of this inequality for any permitted parameters excludes unitary categorification of $R$ (Lim, 20 Jan 2026). This criterion surpasses previous approaches in both strength and breadth, excluding a significant fraction of candidate rings not filtered by earlier tests.

6. Triangular Prism Equations, Frobenius–Schur Indicators, and Full Characterizations

The triangular prism equations (TPE) constitute a set of combinatorial invariants derived from graphical tensor calculus and are strictly equivalent, modulo change of basis, to the pentagon equations for spherical fusion categories. A based ring $R$ is unitarily categorifiable if and only if solutions to all TPE exist, with all $F$-symbols unitary. The TPE facilitate localization of the pentagon system, simplifying existence and exclusion problems in practice (Liu et al., 2022).

A further refinement is obtained via Frobenius–Schur indicators, particularly the enhanced second indicator theorem, which relates odd multiplicities in self-dual objects to real-valued $F$-symbols. This simplifies many cases and resolves ambiguity in solutions.

7. Applications, Examples, and Classification Results

These criteria have been instrumental in the classification of Grothendieck rings of complex fusion categories of small rank and multiplicity. Exhaustive computer-assisted tests, leveraging the suite of primary, Schur, Drinfeld, d-number, cyclotomic, Lagrange, and spectrum criteria, have classified all fusion rings of rank $\leq 6$ and multiplicity one: precisely those not eliminated by these necessary conditions admit unitary realization (with explicit localized pentagon solutions supplied for each survivor) (Liu et al., 2020).

Concrete counterexamples—where, for instance, a negative eigenvalue in $T_3$ or violation of the noncommutative Minkowski inequality occurs—demonstrate non-categorifiability even in ambiguous or previously intractable cases (Huang et al., 2022, Lim, 20 Jan 2026). These methods are now standard in computational fusion ring theory and underpin current efforts to classify and understand unitary fusion categories in higher rank and complexity.

---

Summary Table: Selected Unitary Categorification Criteria

Criterion	Type	Strength/applicability
Primary $n$-criterion	Analytic, matrix	Strongest for $n\geq3$, both commutative and noncommutative (Huang et al., 2022)
Noncommutative Minkowski	Analytic, inequality	Strong, new for all ranks, detects failures missed before (Lim, 20 Jan 2026)
Schur-product	Character-theoretic	Weaker, commutative case, classical (Liu et al., 2020)
Liu–Palcoux–Wu invariants	Representation-theoretic	General, but representation data required (Etingof et al., 2021)
Triangular prism equations	Combinatorial, graphical	Necessary and sufficient in unitary case, localized efficiency (Liu et al., 2022)

These criteria, especially when used in concert, yield a comprehensive obstruction theory for unitary categorification of based rings and fusion rings, reflecting an overview of number-theoretic, analytic, and tensor-categorical perspectives.