Pith. sign in

REVIEW 3 major objections 4 minor 41 references

Modular fusion categories with few twists

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper classifies modular fusion categories with two or three distinct twists, forcing each either into a low Frobenius-Schur exponent or onto an explicit finite list.

desk verdict A genuinely new classification of modular categories by number of twists, with a clean proof structure, but the N=4 case rests on an unverified 204-case computational check that a serious referee should ask to be made reproducible. read the letter →

arxiv 2509.02501 v1 pith:WHK46TL5 submitted 2025-09-02 math.QA math.RT

Andrew Schopieray This is my paper · ORCID
classification math.QAmath.RT MSC 18M2018M1520C1511F06
keywords modularfusioncategoryFrobenius-SchurexponenttwistsT-matrixSL(2Z)representationscongruencesubgrouptwisteddoublesoffinitegroupsGaloisaction
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper classifies modular fusion categories—the algebraic data behind (2+1)-dimensional topological quantum field theories—by the number of distinct twists (eigenvalues of the $T$-matrix) attached to their simple objects. The main theorems state that a category with exactly two distinct twists must either have Frobenius-Schur exponent $2$ or be braided equivalent to one of a handful of pointed or Fibonacci-type categories, and that a category with exactly three distinct twists must either have exponent $3$ or appear on the explicit list in Figure 6. From this, the paper derives a finiteness result: for every positive integer $N$, only finitely many modular fusion categories of Frobenius-Schur exponent $N$ have a twist set that is a proper subset of the $N$-th roots of unity. The classification also determines exactly which $SL(2,\mathbb{Z}/n\mathbb{Z})$-representations with few $t$-eigenvalues can arise from modular fusion categories.

What carries the argument

The argument runs through the congruence subgroup representation $\rho'_C$: the normalized modular representation of a modular fusion category factors through $SL(2,\mathbb{Z}/n\mathbb{Z})$, where $n$ is the order of the $T$-matrix, and Lemmas 3.0.0.1 and 3.0.0.2 give the complete list of irreducible representations of these finite groups with at most three $t$-eigenvalues (eigenvalues of the normalized $T$-matrix). The key numerical identity is the Gauss-sum relation $D=\tau_1\tau_{-1}$, which, when expanded in terms of partial dimensions $D_\zeta=\sum_{\theta_X=\zeta}\dim(X)^2$, becomes a quadratic equation in the $D_\zeta$'s; the possible orders of $T$ are first restricted by Galois actions on roots of unity, and then each quadratic case is solved, with algebraic $d$-numbers (algebraic integers generating Galois-invariant ideals) and known classifications used to identify or eliminate the candidates.

What would settle it

Compute the twist distributions (the $T$-matrix diagonal) for every twisted double $Z(\mathrm{Vec}^\omega_G)$ with $G$ one of the seven 2-groups of order 16 of exponent 4 and all cocycles $\omega$; exhibiting one such category with exactly three distinct twists would refute Theorem 5.3.

Watch

Extended reading notes

Core claim

The central claim, phrased as the author would phrase it, is that 'few twists' is a structural constraint. If $C$ is a modular fusion category whose simple objects carry exactly two distinct twists, then either $\mathrm{FSexp}(C)=2$, or $C$ is braided equivalent to a rank-2 metric group $C(C_2,q)$, a rank-3 metric group $C(C_3,q)$, or an adjoint $\mathfrak{sl}_2$ category at level $5$, $C(\mathfrak{sl}_2,5,q)_{\mathrm{ad}}$; these are tabulated in Figure 5. If $C$ has exactly three distinct twists, then either $\mathrm{FSexp}(C)=3$, or $C$ is braided equivalent to one of the categories in Figure 6: certain metric groups built from $C_2,C_4,C_5,C_4^2$, the Ising categories $I_q$, products of Fibonacci categories, $C(\mathfrak{sl}_2,7,q)_{\mathrm{ad}}$, and the unique twisted double of $C_2^3$ with twist set $\{\zeta_4,\zeta_4^3\}$ (rank 22, dimension 64). The formal consequence is that for each $N$ there are finitely many such categories of exponent $N$ with incomplete twist sets.

Load-bearing premise

The classification of the three-twist, exponent-4 case depends on an unverified finite check: among 204 sets of modular data for twisted doubles of groups of order 16, none is asserted to have exactly three distinct twists, but no code or output is supplied.

Editorial extensions

If this is right

  • For every $N$, the braided equivalence classes of modular fusion categories with $\mathrm{FSexp}(C)=N$ and fewer than four twists forming a proper subset of the $N$-th roots of unity form a finite set; for $N=4$ there are exactly seven such classes.
  • A modular fusion category whose twists have pairwise coprime orders is either trivial or one of the two-twist categories listed in Theorem 5.1 (Theorem 5.2).
  • The classification determines exactly which nonnegative integer linear combinations of the low-$t$-spectrum irreducible $SL(2,\mathbb{Z}/n\mathbb{Z})$-representations can appear as $\rho'_C$, so the remaining combinations are ruled out as modular data.
  • In the three-twist case with $N=5$, the only possibilities are the pointed categories $C(C_5,q)$, the Fibonacci categories $C(\mathfrak{sl}_2,5,q)_{\mathrm{ad}}$, and their products (Lemma 5.2.4.1).
  • In the three-twist case, if $8$ divides the order of the normalized $T$-matrix, then either $N=16$ and $C$ is an Ising category, or the twists are $\{1,-1,\zeta_8\}$ with $N=8$, or $N=4$ (Lemma 5.2.0.2).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial extension: the same partial-dimension quadratic method looks ready-made for a four-twist classification of prime (indecomposable) categories, since products are exactly what make the fixed-exponent problem infinite.
  • Editorial extension: an independent, reproducible enumeration of the 204 modular data sets of twisted doubles of the seven exponent-4 groups of order 16 would place the $N=4$ branch of Theorem 5.3 on fully transparent computational footing.
  • Editorial extension: for topological-order physics, the classification reads as a spin-spectrum constraint—any anyon theory whose topological spins take two or three values is either pointed or one of the low-level $\mathfrak{sl}_2$ adjoint theories.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper classifies modular fusion categories up to braided equivalence with fewer than four distinct twists among simple objects. Theorem 5.1 handles the two-twist case, Theorem 5.3 handles the three-twist case, and the authors deduce a finiteness statement: for each Frobenius-Schur exponent N, only finitely many categories with a proper subset of the N-th roots of unity as twists exist. The main techniques are Gauss-sum identities relating the partial dimensions D1, Dθ, Dη, the classification of irreducible SL(2,Z/nZ)-representations with few t-eigenvalues, Galois actions on modular data, and algebraic d-number arguments in quadratic fields. The paper also provides an independent short proof of the known N=2 classification and an application to realizable SL(2,Z/nZ)-representations.

Significance. If the classification is correct, it is a substantial contribution to the structural theory of modular fusion categories: it gives the first finiteness result of this kind for incomplete twist sets and produces an explicit short list of sporadic categories. The main structural derivations, such as the quadratic relations in Lemma 5.2.0.1 and the d-number lemmas in Appendix A, are clean and appear rigorous. The paper also makes good use of the irreducible SL(2,Z/nZ)-representation lists, and the Galois/d-number arguments are genuinely explanatory rather than brute-force. The principal weakness is that the N=4 branch, which is load-bearing for Theorem 5.3, relies on a large finite enumeration that is asserted but not documented.

major comments (3)
  1. [Section 5.2.5, Lemma 5.2.5.9] The N=4 classification rests on the assertion that among 204 sets of modular data for twisted doubles of exponent-4 groups of order 16, none have exactly three distinct twists. No GAP code, script, output file, or table of the 204 datasets is provided; the phrase 'checked by hand or using the computer algebra software GAP' is not reproducible. This finite check is the only step that rules out the infinitely many potential order-16 twisted doubles, so Theorem 5.3 and the 'exactly three' N=4 list in Section 5.2.5 are incomplete without a verifiable record. Please supply the code or a table of the twist sets, or replace the assertion with a documented computer-assisted proof.
  2. [Section 5.2.5, Lemma 5.2.5.2] The reduction to pointed modular data invokes 'Proposition 1 of [5]' without stating it. The sentence 'Proposition 1 of [5] implies we need to prove there does not exist a pointed modular fusion category D satisfying (1), (2), and (3)' is not self-contained and is logically ambiguous: D was earlier assumed to satisfy dim(D) in {8,16}, so it is unclear whether 'pointed' is a typo or whether [5, Prop. 1] asserts the existence of a pointed replacement. Since Lemma 5.2.5.2 is used both in the N=4 case and in the N=8 case (the xi=zeta_8 branch), please state the proposition in full and spell out the reduction.
  3. [Section 5.2.5, Lemma 5.2.5.2] The sentence 'The case when dim(D)=8 is immediately eliminated by perusing all possible modular data of rank 8 [24, Appendix D.7]' needs justification, because a modular fusion category of dimension 8 need not have rank 8. If the intended argument uses the classification of modular data up to rank 11 from [24], please cite the relevant rank range and explain why the rank of D is at most 8; otherwise the elimination of the dimension-8 case is incomplete. The reader should not have to infer which part of [24] is being used.
minor comments (4)
  1. [Section 1 and Section 5.2.3] There are several typos: 'prescisely' in the introduction, 'nontrival' in Section 5.2.3, and 'dimenson' in the statement of Lemma 5.2.5.8.
  2. [Figure 6] The rows of Figure 6 are visually run together in the typeset version, especially the C(C4,q) and Iq rows, whose column entries appear merged ('4 -1,q(1) 8'). Please reformat the table so that each column is unambiguous.
  3. [Figure 7] Figure 7 appears before the subsections it summarizes. Consider moving it to the beginning of Section 5.2 or adding a pointer in the text so that the table's role is clear.
  4. [Section 5.2.5, Lemma 5.2.5.9] The claim that exactly 7 of the 14 groups of order 16 have exponent 4 should be justified or referenced, since this count is used to arrive at the number 204 of modular data sets to inspect.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the classifications in Theorems 5.1 and 5.3 are derived from modular-data identities, Galois-action constraints, and external classification results; the order-16 enumeration gap in Lemma 5.2.5.9 is a reproducibility risk, not a circular reduction.

full rationale

I walked the derivation chains of Theorems 5.1 and 5.3. The main reductions are algebraic or representation-theoretic consequences of the modular data relations (Equations (5) and (11)), Galois conjugation, and external classifications: the irreducible SL(2,Z/nZ) representations of Lemmas 3.0.0.1 and 3.0.0.2 come from [29,30]; nilpotence, Witt equivalence, and metric-group classifications come from [9,10,14,22]; the global-dimension classifications used in the N=5 and rank-2/3 steps come from [33] and [34]. I found no step where the target lists in Figures 5 and 6 are fed back as assumptions, and no equation in which a fitted or defined quantity is renamed as a prediction. The self-citations that are load-bearing, such as [5, Proposition 1] in Lemma 5.2.5.2 and [35, Lemma 5.2.2] in Lemma 5.2.0.2, are invoked as structural lemmas with stated assumptions that do not include the theorem being proved; I cannot exhibit a reduction of either cited result to the present paper's conclusion, and they are not definitions, fits, or uniqueness claims imported solely to forbid alternatives. The genuine weakness is in Lemma 5.2.5.9, where the N=4 classification relies on the assertion that none of 204 sets of modular data for twisted doubles of order-16 groups have exactly three distinct twists, checked 'by hand or using the computer algebra software GAP' but with no code, scripts, or output provided. That is a correctness and reproducibility gap, not circularity: a missed example would disprove Theorem 5.3, whereas a circular derivation would make the theorem true by construction. Therefore no circular step is established, and the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 9 assumptions · 0 invented entities

The central claim rests on established classifications of SL(2,Z/nZ) representations, modular data up to rank 11, Witt class cores, and nilpotent category structure, all taken as axioms from the literature. The only ad hoc assumption is the undocumented GAP enumeration of 204 modular data sets, which is load-bearing for the N=4 classification.

assumptions (9)
  • standard math The classification of irreducible SL(2,Z/nZ)-representations from [29,30] is complete and correct.
    Lemmas 3.0.0.1 and 3.0.0.2 list all irreducible representations with fewer than four t-eigenvalues based on [29,30]; the entire bounding of possible twist spectra depends on this list.
  • standard math Non-empty intersection criterion [1, Lemma 3.18] for modular data.
    Used in Proposition 3.0.0.1, Lemma 5.2.0.3 and Section 5.2.6 to rule out combinations of irreducible summands.
  • standard math [35, Lemma 5.2.2]: the multiplicity of an irreducible SL(2,Z/nZ)-summand in rho'_C identifies the rank and forces rank 1 when the representation is one-dimensional.
    Used in Proposition 3.0.0.1 and Lemma 5.2.0.2 to conclude categories are trivial or rank 3.
  • domain assumption Classification of modular data up to rank 11 [24] is correct.
    Lemma 5.2.5.2 eliminates dimension 8 categories by perusing rank 8 modular data in [24, Appendix D.7].
  • standard math Witt class core theorem [22, Theorem 1.1]: every weakly group-theoretical braided fusion category is Witt equivalent to a product of a pointed category and Ising categories.
    Used repeatedly in Sections 5.2.3, 5.2.5, and Theorem 5.2 to reduce to pointed or Ising representatives.
  • standard math Nilpotent modular categories are braided equivalent to twisted doubles of finite groups [9, Theorem 1.2 and 1.3].
    Used in Theorem 4.1, Section 5.2.1 and Lemma 5.2.5.1.
  • ad hoc to paper The finite enumeration of 204 modular data sets for twisted doubles of groups of order 16 in Lemma 5.2.5.9 is complete and correct.
    No code or detailed data are given; the N=4 classification relies on this unverified check.
  • domain assumption The unique twisted double of C2^3 with exactly three distinct twists is as given in [18, Figure 4].
    Used in Lemma 5.2.5.9 to include the rank 22 example in Figure 6.
  • standard math Classification of fusion categories of global dimensions 3, 5 and (1/2)(3 +/- sqrt(5)) from [33, Example 5.1.2].
    Used in Section 5.2.4 and Lemma 5.2.4.1 to identify N=5 categories.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Modular fusion categories with few twists." pith.science (2026). https://pith.science/paper/WHK46TL5

@misc{pith2026250902501,
  author       = {Pith},
  title        = {Pith review of: Modular fusion categories with few twists},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WHK46TL5}},
  note         = {Machine review of arXiv:2509.02501}
}
abstract

We classify modular fusion categories up to braided equivalence with less than four distinct twists of simple objects by observing that under this assumption, for each positive integer $N$, there are finitely many modular fusion categories of Frobenius-Schur exponent $N$ up to braided equivalence whose twists are a proper subset of the $N^\mathrm{th}$ roots of unity.

Figures

Figures reproduced from arXiv: 2509.02501 by the authors.

Figure 1
Figure 1. The modular data of the largest incomplete modular fusion category with less than 4 twists [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Recurring notation 2 Modular fusion categories We will primarily adhere to the definitions and notation found in the standard textbook [13] wherein a modular tensor category is a fusion category [13, Definition 4.1.1] with a spherical structure [13, Definition 4.7.14] and nondegenerate braiding [13, Section 8.20]. In particular, the set of isomorphism classes of simple objects of a modular fusion category C will be … view at source ↗
Figure 3
Figure 3. Irreducible SL(2, Z/nZ)-reps. with less than three distinct t-eigenvalues up to isomorphism. Their given names are from [29, 30] and their levels are the collective order of their t-spectra. Proof. Let J be the set of the prime integers and assume n = Q p∈J p ap for some ap ∈ Z≥0. Each irre￾ducible SL(2, Z/nZ)-representation factors as ρ ∼= N p∈J ρp ap where ρp ap is an irreducible SL(2, Z/pap Z)- representation [12… view at source ↗
Figures from the paper (11 more)
Figure 4
Figure 4. Figure 4: Irreducible SL(2, Z/nZ)-reps. with exactly three distinct t-eigenvalues up to isomorphism. Their given names are from [29, 30] and their levels are the collective order of their t-spectra. Proof. The proof is the same as that of Lemma 3.0.0.1 since any irreducible repr…
Figure 5
Figure 5. Figure 5: Modular fusion categories with two distinct twists and [PITH_FULL_IMAGE:figures/full_fig_p008_5.png]
Figure 6
Figure 6. Figure 6: Modular fusion categories with three distinct twists and [PITH_FULL_IMAGE:figures/full_fig_p010_6.png]
Figure 7
Figure 7. Figure 7: Possible N, the section or result which classifies such modular fusion categories, and the corre￾sponding number of braided equivalence classes of categories In addition to the more involved Lemmas 5.2.0.2 and 5.2.0.3, we will rely on the following quadratic relation a…
Figure 8
Figure 8. Figure 8: Twists when ν2 is level 8 with three distinct t-eigenvalues Many of these combinations of fulls twists are incompatible with the corresponding ξ since ξ must have the same argument as τ1 = D1 + Dθθ + Dηη. The possible twists and ξ when θ is a primitive eighth root of u…
Figure 9
Figure 9. Figure 9: A geometric view of τ1 = ζ 3 4 √ D with twists {1, ζ8, ζ5 8 } and ξ = ζ 3 4 Geometrically, D1 = √ D = p D1 + Dθ + Dη, hence D1 = (1/2)  1 + p 1 + 4(Dθ + Dη)  . Elementary trigonometry gives D1 √ 2 = Dθ + Dη, hence D1 = (1/2)  1 + p 1 + 4√ 2D1  which implies D1 = 1 …
Figure 10
Figure 10. Figure 10: Twists when ν2 is level 8 with two distinct t-eigenvalues Lemma 5.2.0.3. Let C be a modular fusion category with three distinct twists: 1, θ, and η. If n = 12, then N ∈ {3, 4, 6}. Proof. As in previous proofs, Lemmas 3.0.0.1 and 3.0.0.2 give a finite number of possibl…
Figure 11
Figure 11. Figure 11: Two-dimensional irreducible representations with level dividing 12 [PITH_FULL_IMAGE:figures/full_fig_p013_11.png]
Figure 12
Figure 12. Figure 12: Possible twists when 12 divides the order of [PITH_FULL_IMAGE:figures/full_fig_p013_12.png]
Figure 13
Figure 13. Figure 13: A geometric view of τ1 = ζ8 √ D with twists {1, ζ4, ζ3 4 } and ξ = ζ8 5.2.6 N = 8 In this case n is divisible by 8 [26, Theorem 7.1] and Lemma 5.2.0.2 states that the twists of C are 1, −1, and ζ8 up to Galois conjugacy of modular fusion categories and ξ = ζ8 or ξ = ζ…
Figure 14
Figure 14. Figure 14: A geometric view of τ1 = ζ 3 8 √ D with twists {1, −1, ζ8} and ξ = ζ 3 8 Geometrically, Dη = √ D = p D1 + Dθ + Dη, hence Dη = (1/2)(1 + p 1 + 4(D1 + Dθ)). Elementary trigonometry gives Dη √ 2 = D1 + Dθ, hence Dη = (1/2)(1 + q 1 + 4√ 2Dη) which implies Dη = 1 + √ 2 whi…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 38 canonical work pages

  1. [5]

    On Frobenius-Schur exponent bounds, 2024

    Agustina Czenky, Julia Plavnik, and Andrew Schopieray. On Frobenius-Schur exponent bounds, 2024

    work page 2024

  2. [24]

    Rowell, and Xiao-Gang Wen

    Siu-Hung Ng, Eric C. Rowell, and Xiao-Gang Wen. Classification of modular data up to rank 11, 2023

    work page 2023

  3. [1]

    Rowell, and Zhenghan Wang

    Paul Bruillard, Siu-Hung Ng, Eric C. Rowell, and Zhenghan Wang. On classification of modular cate- gories by rank. Int. Math. Res. Not. IMRN , (24):7546–7588, 2016

    work page 2016

  4. [2]

    Rowell, and Zhenghan Wang

    Paul Bruillard, Siu-Hung Ng, Eric C. Rowell, and Zhenghan Wang. Rank-finiteness for modular cate- gories. J. Amer. Math. Soc. , 29(3):857–881, 2016

    work page 2016

  5. [3]

    Remarks on Galois symmetry in rational conformal field theories

    Antoine Coste and Terry Gannon. Remarks on Galois symmetry in rational conformal field theories. Physics Letters B , 323(3):316–321, 1994

    work page 1994

  6. [4]

    Finite group modular data

    Antoine Coste, Terry Gannon, and Philippe Ruelle. Finite group modular data. Nuclear Phys. B , 581(3):679–717, 2000

    work page 2000

  7. [6]

    On arithmetic modular categories

    Orit Davidovich, Tobias Hagge, and Zhenghan Wang. On arithmetic modular categories. arXiv e-prints, page arXiv:1305.2229, May 2013

    arXiv 2013

  8. [7]

    The Witt group of non-degenerate braided fusion categories

    Alexei Davydov, Michael M¨ uger, Dmitri Nikshych, and Victor Ostrik. The Witt group of non-degenerate braided fusion categories. J. Reine Angew. Math. , 677:135–177, 2013

    work page 2013

Show all 41 references
  1. [8]

    Congruence property in conformal field theory

    Chongying Dong, Xingjun Lin, and Siu-Hung Ng. Congruence property in conformal field theory. Algebra Number Theory, 9(9):2121–2166, 2015

    2015

  2. [9]

    Group-theoretical properties of nilpotent modular categories, 2007

    Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. Group-theoretical properties of nilpotent modular categories, 2007

    2007

  3. [10]

    On braided fusion categories

    Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. On braided fusion categories. I. Selecta Math. (N.S.) , 16(1):1–119, 2010

    2010

  4. [11]

    W. Eholzer. Fusion algebras induced by representations of the modular group. Internat. J. Modern Phys. A, 8(20):3495–3507, 1993

    1993

  5. [12]

    On the classification of modular fusion algebras

    Wolfgang Eholzer. On the classification of modular fusion algebras. Comm. Math. Phys. , 172(3):623– 659, 1995

    1995

  6. [13]

    Tensor Categories

    Pavel Etingof, Shlomo Gelaki., Dmitri Nikshych, and Victor Ostrik. Tensor Categories. Mathematical Surveys and Monographs. American Mathematical Society, 2015

    2015

  7. [14]

    Weakly group-theoretical and solvable fusion cate- gories

    Pavel Etingof, Dmitri Nikshych, and Victor Ostrik. Weakly group-theoretical and solvable fusion cate- gories. Advances in Mathematics, 226(1):176–205, 2011

    2011

  8. [15]

    On fusion categories

    Pavel Etingof, Dmitri Nikshych, and Viktor Ostrik. On fusion categories. Ann. of Math. (2), 162(2):581– 642, 2005

    2005

  9. [16]

    Algebraic number fields generated by dimensions in fusion rings

    Terry Gannon and Andrew Schopieray. Algebraic number fields generated by dimensions in fusion rings. Commun. Number Theory Phys. , 18(4):705–743, 2024

    2024

  10. [17]

    Nilpotent fusion categories

    Shlomo Gelaki and Dmitri Nikshych. Nilpotent fusion categories. Adv. Math., 217(3):1053–1071, 2008

    2008

  11. [18]

    On the gauge equivalence of twisted quantum doubles of elementary abelian and extra-special 2-groups

    Christopher Goff, Geoffrey Mason, and Siu-Hung Ng. On the gauge equivalence of twisted quantum doubles of elementary abelian and extra-special 2-groups. J. Algebra, 312(2):849–875, 2007

    2007

  12. [19]

    Computing modular data for pointed fusion categories

    Angus Gruen and Scott Morrison. Computing modular data for pointed fusion categories. Indiana Univ. Math. J. , 70(2):561–593, 2021

    2021

  13. [20]

    and Viktor Ostrik

    Alexander Kirillov, Jr. and Viktor Ostrik. On a q-analogue of the McKay correspondence and the ADE classification of sl2 conformal field theories. Adv. Math., 171(2):183–227, 2002

    2002

  14. [21]

    Modular categories are not determined by their modular data

    Micha¨ el Mignard and Peter Schauenburg. Modular categories are not determined by their modular data. Lett. Math. Phys. , 111(60), 2021. 22

    2021

  15. [22]

    The core of a weakly group-theoretical braided fusion category

    Sonia Natale. The core of a weakly group-theoretical braided fusion category. Internat. J. Math. , 29(2):1850012, 23, 2018

    2018

  16. [23]

    Rowell, Zhenghan Wang, and Xiao-Gang Wen

    Siu-Hung Ng, Eric C. Rowell, Zhenghan Wang, and Xiao-Gang Wen. Reconstruction of modular data from SL2(Z) representations. Comm. Math. Phys. , 402(3):2465–2545, 2023

    2023

  17. [25]

    Frobenius-Schur indicators and exponents of spherical categories

    Siu-Hung Ng and Peter Schauenburg. Frobenius-Schur indicators and exponents of spherical categories. Adv. Math., 211(1):34–71, 2007

    2007

  18. [26]

    Congruence subgroups and generalized Frobenius-Schur indica- tors

    Siu-Hung Ng and Peter Schauenburg. Congruence subgroups and generalized Frobenius-Schur indica- tors. Comm. Math. Phys. , 300(1):1–46, 2010

    2010

  19. [27]

    Higher Gauss sums of modular categories

    Siu-Hung Ng, Andrew Schopieray, and Yilong Wang. Higher Gauss sums of modular categories. Selecta Math. (N.S.), 25(4):Paper No. 53, 32, 2019

    2019

  20. [28]

    Modular categories with transitive Galois actions

    Siu-Hung Ng, Yilong Wang, and Qing Zhang. Modular categories with transitive Galois actions. Comm. Math. Phys., 390(3):1271–1310, 2022

    2022

  21. [29]

    Die irreduziblen Darstellungen der Gruppen SL2(Zp), insbesondere SL2(Z2)

    Alexandre Nobs. Die irreduziblen Darstellungen der Gruppen SL2(Zp), insbesondere SL2(Z2). I. Com- ment. Math. Helv. , 51(4):465–489, 1976

    1976

  22. [30]

    Die irreduziblen Darstellungen der GruppenSL2(Zp), insbesondere SL2(Zp)

    Alexandre Nobs and J¨ urgen Wolfart. Die irreduziblen Darstellungen der GruppenSL2(Zp), insbesondere SL2(Zp). II. Comment. Math. Helv. , 51(4):491–526, 1976

    1976

  23. [31]

    On formal codegrees of fusion categories

    Victor Ostrik. On formal codegrees of fusion categories. Math. Res. Lett., 16(5):895–901, 2009

    2009

  24. [32]

    Pivotal fusion categories of rank 3

    Victor Ostrik. Pivotal fusion categories of rank 3. Mosc. Math. J. , 15(2):373–396, 405, 2015

    2015

  25. [33]

    Remarks on global dimensions of fusion categories

    Victor Ostrik. Remarks on global dimensions of fusion categories. In Tensor categories and Hopf algebras, volume 728 of Contemp. Math., pages 169–180. Amer. Math. Soc., Providence, RI, 2019

    2019

  26. [34]

    Fusion categories of rank 2

    Viktor Ostrik. Fusion categories of rank 2. Math. Res. Lett., 10(2-3):177–183, 2003

    2003

  27. [35]

    Modular Tensor Categories, Subcat- egories, and Galois Orbits

    Julia Plavnik, Andrew Schopieray, Zhiqiang Yu, and Qing Zhang. Modular Tensor Categories, Subcat- egories, and Galois Orbits. Transform. Groups, 29(4):1623–1648, 2024

    2024

  28. [36]

    Lie theory for fusion categories: a research primer

    Andrew Schopieray. Lie theory for fusion categories: a research primer. In Topological phases of matter and quantum computation , volume 747 of Contemp. Math., pages 1–26. Amer. Math. Soc., Providence, RI, 2020

    2020

  29. [37]

    Categorification of integral group rings extended by one dimension

    Andrew Schopieray. Categorification of integral group rings extended by one dimension. J. Lond. Math. Soc. (2), 108(4):1617–1641, 2023

    2023

  30. [38]

    Classification of spherical fusion categories of Frobenius-Schur exponent

    Zheyan Wan and Yilong Wang. Classification of spherical fusion categories of Frobenius-Schur exponent

  31. [39]

    Algebra Colloq., 28(1):39–50, 2021

    2021

  32. [40]

    Pre-modular fusion categories of global dimension p2

    Zhiqiang Yu. Pre-modular fusion categories of global dimension p2. J. Algebra, 624:63–92, 2023

    2023

  33. [41]

    On the realization of a class of SL(2 , Z) representations

    Zhiqiang Yu. On the realization of a class of SL(2 , Z) representations. J. Noncommut. Geom. , 18(4):1521–1542, 2024. 23

    2024

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.