Modular Fusion Categories

• Modular fusion categories are semisimple, rigid tensor categories characterized by a spherical structure, finitely many simple objects, and a nondegenerate braiding encoded by S and T matrices.
• They underpin classifications in topological phases and quantum field theories, connecting modular invariants, orbifolds, and relative modular extensions in symmetry-enriched settings.
• They provide rigorous frameworks for analyzing Drinfeld centers, gauge symmetries, and orbifold constructions, enabling precise classification and extension problems in mathematical physics.

Searching arXiv for recent and foundational work on modular fusion categories, modular extensions, and related classification results. A modular fusion category is, in one common usage, a fusion category over $\mathbb C$ equipped with a spherical structure and a nondegenerate braiding, with modular data encoded by matrices $S$ and $T$. In unitary treatments of $2+1$D topological order, the same role is played by a unitary modular tensor category, and in the presence of symmetry one often works relatively: the transparent sector is not required to be trivial, but is fixed to be a symmetric fusion category $\mathcal E$ (Schopieray, 2 Sep 2025, Lan et al., 2016).

1. Foundational definitions and variants of modularity

A fusion category is a semisimple, finite, rigid tensor category with finitely many simple objects and simple tensor unit. A premodular category is a braided, balanced fusion category, and it is modular when its Müger center is trivial, $\mathcal C'=\mathrm{Vec}$. In the braided pivotal setting, nondegeneracy is equivalently expressed by invertibility of the $S$-matrix. The Frobenius–Perron dimension is

$\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$

and the pointed subcategory $\mathcal C_{\mathrm{pt}}$ is generated by the invertible simple objects [(Bruillard et al., 2016); (Yu, 2022); (Bruguières et al., 2012)].

Unitary literature refines this picture. A unitary braided fusion category over $\mathcal E$, abbreviated UBFC/$S$0, is a unitary braided fusion category $S$1 equipped with a braided full embedding $S$2. If the center is exactly $S$3, so that $S$4, then $S$5 is nondegenerate over $S$6, or a UMTC/$S$7. In this relative sense, modularity is measured after fixing the allowed transparent sector. This terminology matters because some treatments reserve “modular fusion category” for the absolute case $S$8, whereas others, especially in the unitary topological-order setting, treat the modular object as a UMTC or as a UMTC/$S$9.

The resulting ambiguity is not merely terminological. It separates two regimes: absolute modularity, where all transparent objects are trivial, and relative modularity, where the transparent sector is prescribed by symmetry. The latter is indispensable in symmetry-enriched and fermionic settings.

2. Modular data, twists, and numerical invariants

For a modular fusion category, the modular data consist of the matrices $T$0 and $T$1. The matrix $T$2 is diagonal, and its diagonal entries are the twists $T$3 of simple objects $T$4. These twists are roots of unity. A basic invariant is the Frobenius–Schur exponent,

$T$5

The normalized modular representation factors through a finite quotient

$T$6

where $T$7 and $T$8. The Gauss sum is

$T$9

and the central charge is defined modulo $2+1$0 by

$2+1$1

The projective modular relations include

$2+1$2

in the integral modular-data setting (Schopieray, 2 Sep 2025, Alekseyev et al., 2023).

These invariants are powerful but incomplete. The modular data $2+1$3 do not determine a modular category in general. A topological refinement is the Borromean tensor $2+1$4, defined by evaluating the Borromean rings colored by three simple objects: $2+1$5 It satisfies symmetries such as $2+1$6 and $2+1$7. For twisted Drinfeld doubles, $2+1$8 together with $2+1$9 distinguishes the $\mathcal E$0 non-equivalent modular categories of the form $\mathcal E$1 for $\mathcal E$2, even though the modular data alone do not (Kulkarni et al., 2018).

The arithmetic of twists is itself a classification tool. Categories with few distinct twists are highly constrained. If all $\mathcal E$3-eigenvalues have pairwise coprime orders, then every twist is in $\mathcal E$4, and a nontrivial modular fusion category in that regime must have exactly two distinct twists.

3. Drinfeld centers, modular extensions, and relative closure

A foundational source of modularity is the Drinfeld center. If $\mathcal E$5 is a pivotal fusion category over a commutative ring $\mathcal E$6, then its center $\mathcal E$7 is modular in the sense of Lyubashenko $\mathcal E$8-modularity, and

$\mathcal E$9

Here modularity is formulated via the coend $\mathcal C'=\mathrm{Vec}$0 and nondegeneracy of the canonical Hopf pairing. Over a field, $\mathcal C'=\mathrm{Vec}$1 is semisimple iff $\mathcal C'=\mathrm{Vec}$2; over an algebraically closed field, this is equivalent to $\mathcal C'=\mathrm{Vec}$3 being a fusion category (Bruguières et al., 2012).

Relative modularity leads to modular extensions. For a UMTC/$\mathcal C'=\mathrm{Vec}$4 $\mathcal C'=\mathrm{Vec}$5, a modular extension is a UMTC $\mathcal C'=\mathrm{Vec}$6 together with a braided full embedding $\mathcal C'=\mathrm{Vec}$7 such that

$\mathcal C'=\mathrm{Vec}$8

This is the minimal modular closure in which the symmetry $\mathcal C'=\mathrm{Vec}$9 is gauged. The physical proposal is that $S$0D anomaly-free topological/SPT orders with on-site symmetry $S$1 are classified, up to stacking with $S$2 quantum Hall states, by triples

$S$3

The modular extensions of the symmetry sector itself form a finite abelian group: $S$4 For a fixed UMTC/$S$5 $S$6, if $S$7, then it is a torsor over $S$8: the action is free and transitive. The relative product $S$9 is defined by condensing a canonical algebra $\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$0 in $\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$1. This organizes symmetry gauging, stacking, and symmetry breaking within a single categorical formalism (Lan et al., 2016).

4. Classification programs and rigidity phenomena

Several classification programs show that modular fusion categories are rigid under rank, twist, and dimension constraints. Rank-finiteness makes classification by rank feasible, and in rank $\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$2 the only possible Grothendieck equivalence classes are

$\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$3

For integral modular data up to rank $\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$4, the classification yields $\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$5 non-pointed modular data and $\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$6 pointed modular data, with no other integral modular data in that range. In the same range, every perfect integral modular fusion category up to rank $\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$7 is trivial (Bruillard et al., 2015, Alekseyev et al., 2023).

A distinct rigidity regime is controlled by the number of twists. If a modular fusion category has fewer than four distinct twists, then for each positive integer $\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$8 there are only finitely many such categories up to braided equivalence whose twists form a proper subset of the $\operatorname{FPdim}(\mathcal C)=\sum_a d_a^2,$9-th roots of unity. For exactly two twists $\mathcal C_{\mathrm{pt}}$0 and $\mathcal C_{\mathrm{pt}}$1, either $\mathcal C_{\mathrm{pt}}$2, or the category is braided equivalent to one of

$\mathcal C_{\mathrm{pt}}$3

For exactly three twists $\mathcal C_{\mathrm{pt}}$4, either $\mathcal C_{\mathrm{pt}}$5, or the category is braided equivalent to one of the categories listed in Figure $\mathcal C_{\mathrm{pt}}$6, including examples such as

$\mathcal C_{\mathrm{pt}}$7

Dimension-based classification yields another sharp dichotomy. Modular categories of dimension $\mathcal C_{\mathrm{pt}}$8 with $\mathcal C_{\mathrm{pt}}$9 square-free are pointed whenever $\mathcal E$0 is odd. For $\mathcal E$1, non-pointed examples are precisely Deligne products built from even metaplectic modular categories of dimension $\mathcal E$2, pointed odd cyclic modular categories, and Semion factors. The same paper identifies the non-pointed $\mathcal E$3 examples with $\mathcal E$4-type fusion rules when $\mathcal E$5 is odd (Bruillard et al., 2016).

5. Distinguished families and arithmetic models

Modular extensions recover major classification results in topological phases. For $\mathcal E$6,

$\mathcal E$7

as groups, reproducing the group-cohomology classification of $\mathcal E$8D bosonic SPT orders. For $\mathcal E$9,

$S$00

recovering Kitaev’s $S$01-fold way; the $S$02 modular extensions consist of $S$03 unitary Ising modular categories and $S$04 pointed modular categories associated to metric groups of order $S$05 (Lan et al., 2016).

The Frobenius–Schur exponent $S$06 case is completely rigid. Every modular category of Frobenius–Schur exponent $S$07 is braided monoidally equivalent to

$S$08

for a non-degenerate quadratic form $S$09, and it decomposes as a Deligne tensor product of the two basic pointed modular categories associated to

$S$10

Its positive Gauss sum $S$11 is a complete invariant: $S$12 This is presented as a categorical analog of Arf’s theorem on classification of non-degenerate quadratic forms over fields of characteristic $S$13 (Wan et al., 2018).

Metaplectic categories supply a large weakly integral family. Fusion categories Grothendieck equivalent to $S$14 admit explicit $S$15- and $S$16-symbols, and their monoidal equivalence classes are organized by arithmetic data $S$17 modulo the orbit relation $S$18. Even metaplectic modular categories of dimension $S$19 with $S$20 odd are $S$21-gaugings of cyclic modular categories of dimension $S$22, specifically particle-hole symmetry gaugings, and there are exactly

$S$23

inequivalent even metaplectic modular categories of dimension $S$24 when

$S$25

with $S$26 distinct odd primes. In the integral metaplectic case, all such categories are group theoretical and therefore have Property $S$27. For the special case with fusion rules of $S$28, the center is braided equivalent to $S$29 for

$S$30

A parallel dimension-theoretic result states that a non-pointed modular fusion category $S$31 with

$S$32

for $S$33 prime and $S$34 a totally positive algebraic unit is Grothendieck equivalent to $S$35 (Ardonne et al., 2016, Deaton et al., 2019, Yu, 2022).

6. Orbifolds, generalized symmetry, and extension problems

Modular fusion categories are also inputs to constructive procedures. An orbifold datum

$S$36

in a modular fusion category $S$37 defines a new modular fusion category $S$38, in a construction described as a generalization of taking the Drinfeld center of a fusion category. In Ising-type modular categories, Fibonacci-type orbifold data yield orbifold modular categories with exactly $S$39 simple objects, and for the parameter choice

$S$40

one obtains

$S$41

(Mulevicius et al., 2020).

Topological approaches recast modular invariance and $S$42-induction directly inside modular fusion categories. In alterfold theory, a modular fusion category $S$43 of non-zero global dimension $S$44 over an arbitrary field supports a torus $S$45-matrix whose entries are natural numbers and which commutes with the modular $S$46- and $S$47-matrices. The trace identities

$S$48

relate modular invariants to Morita data. The same framework introduces double $S$49-induction and higher-genus $S$50-transformations invariant under mapping class group actions (Liu et al., 2024).

The relation between fusion-category symmetry and modularity is especially clear in $S$51D. Boundary symmetry data form a fusion category $S$52, not braided in general, while the bulk lines of the associated Turaev–Viro theory form the Drinfeld center $S$53, a modular tensor category. The anomaly-free condition is the existence of a module category with one simple object, equivalently a fiber functor $S$54. In parallel, permutation extensions of an arbitrary modular tensor category admit an algorithmic decategorified description: the fusion ring of the $S$55-crossed extension of $S$56 is determined by the base fusion ring, the permutation action, and a $S$57-cocycle twist (Thorngren et al., 2021, Delaney, 2019).

A recent extension problem concerns Galois closure. A nondegenerate extension $S$58 is Galois when its centralizer is integral. Schopieray’s conjecture asks whether every premodular fusion category admits a Galois-modular extension. For pseudounitary braided fusion categories, this has been proved: every such category admits a Galois-modular extension. In this setting, for a modular extension $S$59, being Galois is equivalent to closure of the simple objects of $S$60 under the ambient Galois action (Johnson-Freyd, 30 Jan 2026).