Isaacs Fusion Subcategory

• The concept defines a fusion subcategory generated by a simple object satisfying the Isaacs condition, which forces divisibility constraints on object dimensions.
• It describes a local fusion subcategory formed by tensor powers and duals, linking character theory, grading, and integrality properties in fusion rings.
• In ribbon and modular settings, every simple object generates an Isaacs fusion subcategory, enabling modular divisibility theorems analogous to classical Isaacs results.

An Isaacs fusion subcategory is, in the usage of the recent literature, the fusion subcategory generated by a simple object $X$ when that generated subcategory satisfies the Isaacs integrality condition; more generally one speaks of an $s$-Isaacs fusion subcategory when it satisfies the $s$-Isaacs condition (Burciu, 9 Jul 2025). The notion is therefore local rather than ambient: it does not name a canonical construction such as a pointed, adjoint, or centralizer subcategory, but instead records an arithmetic property of the smallest fusion subcategory $\langle X\rangle$ containing a given simple object. Its significance lies in the fact that this local Isaacs condition yields divisibility constraints on $\dim(X)$ and $\operatorname{FPdim}(X)$, with especially strong consequences in ribbon and modular settings (Burciu, 9 Jul 2025).

1. Definition and formal setting

The operative definition is formulated for a fusion category $\mathcal C$ through the subcategory generated by a simple object $X$. The notation

$\langle X\rangle$

denotes the smallest fusion subcategory containing $X$, equivalently the full tensor subcategory generated by tensor powers of $s$0 and $s$1, closed under subobjects and finite direct sums (Burciu, 9 Jul 2025).

For a fusion category with commutative Grothendieck ring $s$2, the paper (Burciu, 9 Jul 2025) recalls the $s$3-Isaacs condition from earlier work. Writing $s$4 for a linear character, $s$5 for the corresponding conjugacy class, and $s$6 for the ring of algebraic integers, $s$7 is called $s$8-Isaacs when

$s$9

for every linear character $s$0 and every simple object $s$1 (Burciu, 9 Jul 2025). The case $s$2 is the ordinary Isaacs property.

In this language, an Isaacs fusion subcategory is simply a generated subcategory $s$3 that is $s$4-Isaacs, and an $s$5-Isaacs fusion subcategory is a generated subcategory $s$6 that is $s$7-Isaacs (Burciu, 9 Jul 2025). Thus the term does not introduce a new intrinsic type of subcategory construction; it specifies that a singly generated fusion subcategory satisfies a particular integrality condition.

2. Isaacs property as the underlying arithmetic condition

The subcategory notion rests on a broader theory of the Isaacs property for fusion rings and fusion categories. In the fusion-ring formulation, a fusion ring $s$8 with basis $s$9 is called Isaacs if

$\langle X\rangle$0

for all basis elements $\langle X\rangle$1 and all irreducible representations $\langle X\rangle$2, where $\langle X\rangle$3 is the abstract matrix class sum obtained from the Fourier transform and $\langle X\rangle$4 is the associated central character (Burciu et al., 2022). A central explicit formula is

$\langle X\rangle$5

with $\langle X\rangle$6 the formal codegree (Burciu et al., 2022).

For pseudo-unitary fusion categories, this ring-theoretic condition coincides with the categorical Isaacs property. More precisely, if $\langle X\rangle$7, then

$\langle X\rangle$8

so the categorical $\langle X\rangle$9-Isaacs condition is exactly the abstract Isaacs condition on the Grothendieck ring (Burciu et al., 2022). In this sense, the arithmetic content of an Isaacs fusion subcategory is already encoded by the Grothendieck ring of $\dim(X)$0 whenever pseudo-unitarity is available.

In the commutative case, the Isaacs property occupies a specific place in an arithmetic hierarchy: $\dim(X)$1 and both implications are strict (Burciu et al., 2022). This makes the Isaacs condition stronger than basic Frobenius-type divisibility but weaker than full algebraic integrality of matrix-class-sum structure constants.

The property is also restrictive. The Extended Haagerup fusion categories $\dim(X)$2 do not satisfy the Isaacs property, giving a negative answer to a question of Etingof–Nikshych–Cuadra and recovering that $\dim(X)$3 has no braiding (Burciu et al., 2022). Moreover, Isaacs is not Morita invariant (Burciu et al., 2022). Consequently, calling a generated subcategory “Isaacs” is a genuine extra condition, not a formal consequence of exoticity, Morita class, or general fusion-ring behavior.

3. Generated subcategories and the associated character data

The theory in (Burciu, 9 Jul 2025) attaches several character-theoretic invariants to a simple object $\dim(X)$4. For a fusion category $\dim(X)$5 with commutative Grothendieck ring, the kernel of $\dim(X)$6 is

$\dim(X)$7

and the center of $\dim(X)$8 is

$\dim(X)$9

The set $\operatorname{FPdim}(X)$0 plays the role of an object-wise center and is the quantity that appears in the main divisibility theorems (Burciu, 9 Jul 2025).

When the ambient category is the generated category itself, this center simplifies sharply: $\operatorname{FPdim}(X)$1 where $\operatorname{FPdim}(X)$2 denotes the group-like elements of the dual hypergroup (Burciu, 9 Jul 2025). Since

$\operatorname{FPdim}(X)$3

this identifies the center-set of the generator with the universal grading group of the generated subcategory (Burciu, 9 Jul 2025). In this way, an Isaacs fusion subcategory is closely tied to the grading-theoretic structure of $\operatorname{FPdim}(X)$4.

There is also a relation to the adjoint subcategory. Under the hypothesis $\operatorname{FPdim}(X)$5, one has

$\operatorname{FPdim}(X)$6

and for simple $\operatorname{FPdim}(X)$7,

$\operatorname{FPdim}(X)$8

(Burciu, 9 Jul 2025). Thus the center-set of a generator is controlled by the adjoint part of the generated subcategory. This is a structural description rather than a merely numerical one: it places Isaacs fusion subcategories at the intersection of character theory, universal grading, and adjoint decomposition.

A further identity links the ambient category $\operatorname{FPdim}(X)$9 and the generated subcategory $\mathcal C$0: $\mathcal C$1 This Bantay-type formula is one of the key bridges used to transfer divisibility information from the generated subcategory back to the ambient category (Burciu, 9 Jul 2025).

4. Divisibility theorems for Isaacs fusion subcategories

The main purpose of the notion is arithmetic. If $\mathcal C$2 is simple and $\mathcal C$3 is Isaacs, then the dimension of $\mathcal C$4 is forced to divide a controlled quotient of the ambient dimension. In the spherical setting, the refined theorem states: $\mathcal C$5 where $\mathcal C$6 is the order attached to the center-set of $\mathcal C$7 (Burciu, 9 Jul 2025).

Under the additional hypothesis that $\mathcal C$8 is real non-negative (RN), this simplifies to

$\mathcal C$9

(Burciu, 9 Jul 2025). The RN condition is available in important classes, including pseudo-unitary braided fusion categories and unitary fusion categories (Burciu, 9 Jul 2025).

The same paper proves broader $X$0-Isaacs refinements for $X$1 and stronger square-divisibility-type statements for $X$2, again expressed through $X$3, $X$4, and $X$5 (Burciu, 9 Jul 2025). The ordinary Isaacs case $X$6 is the basic specialization relevant to the terminology.

One important consequence is global. If every fusion subcategory generated by a simple object is Isaacs, then $X$7 is Frobenius type (Burciu, 9 Jul 2025). A plausible implication is that Isaacs fusion subcategories provide a local mechanism for Frobenius-type divisibility phenomena, complementing the strong Frobenius property established for weakly group-theoretical fusion categories (0809.3031).

5. Ribbon and modular specializations

The broadest source of examples comes from braiding. The paper (Burciu, 9 Jul 2025) recalls that every ribbon fusion category is Isaacs. Therefore, in a pseudo-unitary ribbon category, every simple object $X$8 automatically generates an Isaacs fusion subcategory, and one obtains the divisibility theorem

$X$9

(Burciu, 9 Jul 2025). This is presented as a categorical analogue of Isaacs’ classical theorem that the degree of an irreducible character of a finite group divides the index of the center.

The modular case is stronger. If $\langle X\rangle$0 is modular and generated by a simple object $\langle X\rangle$1, so that

$\langle X\rangle$2

then

$\langle X\rangle$3

(Burciu, 9 Jul 2025). The proof uses modular data: for simple objects $\langle X\rangle$4, one has

$\langle X\rangle$5

and

$\langle X\rangle$6

with $\langle X\rangle$7 the modular $\langle X\rangle$8-matrix (Burciu, 9 Jul 2025). The square-divisibility statement is therefore genuinely modular rather than merely spherical.

This stronger modular theorem is used to obtain the converse direction of an Ito–Michler-type result for weakly integral modular categories. If

$\langle X\rangle$9

then

$X$0

if and only if

$X$1

(Burciu, 9 Jul 2025). In this sense, Isaacs fusion subcategories are not merely a local curiosity: they feed directly into prime-divisibility criteria for modular categories.

6. Terminological scope and relation to other subcategory notions

The expression Isaacs fusion subcategory is not a long-established standard term across the fusion-category literature. The paper that develops the abstract and categorical Isaacs property for fusion rings and pseudo-unitary fusion categories does not define an “Isaacs fusion subcategory”; it studies the Isaacs property itself, not a special class of subcategories (Burciu et al., 2022). Likewise, works on other major subcategory formalisms use different organizing principles.

For equivariantizations, fusion subcategories are parameterized by triples $X$2 consisting of a $X$3-invariant fusion subcategory, a normal subgroup, and a $X$4-equivariant trivialization (Galindo et al., 2021). For $X$5-type braided categories, the canonical non-pointed factor is

$X$6

equivalently the centralizer of a pointed modular factor; this is a grading- and centralizer-defined construction, not an Isaacs subcategory (Feng et al., 2022). In the modular-extension literature, a different notion is prominent: a Galois-closed or Galois-stable fusion subcategory, characterized by stability under the Galois action on modular data or, equivalently, by integrality of the relative centralizer in a modular extension (Johnson-Freyd, 30 Jan 2026). In the Haagerup and Extended Haagerup settings, the relevant “subgroup-like” structures are often simple module categories or Morita-equivalent categories rather than fusion subcategories with Isaacs-type arithmetic constraints [(Grossman et al., 2011); (Grossman et al., 2018)].

Accordingly, an Isaacs fusion subcategory should be understood narrowly and precisely. It is not a canonical subcategory extracted functorially from a fusion category, nor is it synonymous with a pointed, adjoint, Müger-centralizer, equivariant, or Galois-closed subcategory. It is a generated fusion subcategory $X$7 carrying the Isaacs integrality property, introduced to convert local character-theoretic integrality into explicit divisibility theorems for the generating simple object (Burciu, 9 Jul 2025).