Group-theoretical property of some integral non-degenerate fusion categories

Z.Yu

Group-theoretical property of some integral non-degenerate fusion categories

T0 review · 0 major / 1 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read An integral non-degenerate fusion category is group-theoretical when simple object dimensions are 1 or prime powers.

desk verdict The paper gives a clean sufficient condition for integral non-degenerate fusion categories to be group-theoretical when dimensions are 1 or prime powers, but it is mostly a reduction to known results. read the letter →

arxiv 2606.22781 v1 pith:BUDPPOWG submitted 2026-06-22 math.QA math.RT

Z.Yu This is my paper · ORCID

classification math.QAmath.RT

keywords fusioncategorygroup-theoreticalintegralnon-degenerateFrobenius-Perrondimensionprimepower

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

The paper proves that an integral non-degenerate fusion category is group-theoretical if the Frobenius-Perron dimensions of its simple objects are 1 or powers of a prime p. This conclusion matters because it supplies a sufficient criterion linking the dimension data directly to a concrete group-theoretic realization. The restriction on dimensions serves as the key hypothesis that triggers the group-theoretical conclusion via prior results on fusion categories. A sympathetic reader would view the statement as reducing certain abstract tensor categories to constructions coming from finite groups and their cohomology.

What carries the argument

The restriction that Frobenius-Perron dimensions of simple objects are 1 or powers of a single prime p, which forces the category to be group-theoretical under the assumptions of integrality and non-degeneracy.

What would settle it

An explicit integral non-degenerate fusion category whose simple objects have Frobenius-Perron dimensions only 1 and powers of one prime, yet which is not group-theoretical, would disprove the claim.

Watch

Extended reading notes

Core claim

We show that an integral non-degenerate fusion category C is group-theoretical if the Frobenius-Perron dimensions of its simple objects are either 1 or powers of a prime p.

Load-bearing premise

The fusion category is integral and non-degenerate and the Frobenius-Perron dimensions of all simple objects are either 1 or powers of one fixed prime.

Editorial extensions

If this is right

The category admits a realization coming from a finite group and a 3-cocycle.
Its fusion rules and associativity data are determined by group cohomology.
The category belongs to the class whose properties follow from group-theoretic constructions.
The result applies uniformly to every category meeting the stated dimension, integrality, and non-degeneracy conditions.

Reading between the lines

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

The argument relies on previously established theorems about fusion categories with restricted dimensions.
The criterion isolates a class of categories whose structure reduces to group data without further computation.
Counterexamples, if any exist, must involve dimensions divisible by at least two distinct primes.

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, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The core claim is that an integral non-degenerate fusion category is group-theoretical precisely when its simple-object Frobenius-Perron dimensions are 1 or powers of a fixed prime p. This is new as an explicit stated criterion, though the argument reduces the statement to existing theorems on solvable and group-theoretical categories once non-degeneracy controls the Müger center and integrality guarantees weak integrality.

The paper does the reduction cleanly. It invokes standard results without adding unverified hypotheses or circular steps, and the dimension-counting and Morita-equivalence pieces line up with what is already in the literature. That is the main positive: a targeted tool that lets someone checking a concrete category skip some cases.

The soft spot is that the novelty is narrow. The condition is a direct consequence of prior work on prime-power dimensions, so the contribution is the combination rather than new machinery or a reorganization of the theory. It will not change how people approach the broader classification problem. The result is also quite specific; many integral categories fall outside the dimension restriction anyway.

This is for readers already working inside fusion-category classification who need quick checks on group-theoretical property. A specialist referee can verify the reduction against the cited theorems in an afternoon. It is worth sending to peer review because the claim is falsifiable and the logic is self-contained, even if the payoff is modest.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that an integral non-degenerate fusion category C is group-theoretical if the Frobenius-Perron dimensions of its simple objects are either 1 or powers of a prime p.

Significance. If the result holds, it supplies a dimension-based criterion for recognizing group-theoretical fusion categories within the integral non-degenerate class. The argument reduces the claim to prior theorems on solvable and group-theoretical categories by using non-degeneracy to control the Müger center and integrality to guarantee weak integrality; it invokes standard results without introducing new parameters, circular appeals, or unverified hypotheses. This strengthens the existing classification toolkit in the field.

minor comments (1)

Abstract: the statement of the main theorem is clear, but a single sentence sketching the reduction to known results on the Müger center would improve accessibility without lengthening the abstract.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No major comments are listed in the report, so we have no specific points to address point-by-point. We will handle any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation reduces to external theorems

full rationale

The manuscript reduces the claim to known external results on integral fusion categories with prime-power dimensions, using non-degeneracy to control the Müger center and integrality to ensure weak integrality, then invoking standard theorems on solvable and group-theoretical categories. No load-bearing self-citations, self-definitional steps, fitted inputs renamed as predictions, or ansatzes smuggled via prior work by the same author appear in the argument chain. The central implication follows from independent mathematical facts rather than internal construction or redefinition.

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

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the claim rests on background definitions of integral non-degenerate fusion categories and group-theoretical categories from prior literature.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Group-theoretical property of some integral non-degenerate fusion categories." pith.science (2026). https://pith.science/paper/BUDPPOWG

@misc{pith2026260622781,
  author       = {Pith},
  title        = {Pith review of: Group-theoretical property of some integral non-degenerate fusion categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BUDPPOWG}},
  note         = {Machine review of arXiv:2606.22781}
}

abstract

We show that an integral non-degenerate fusion category $\mathcal{C}$ is group-theoretical if the Frobenius-Perron dimensions of its simple objects are either 1 or powers of a prime $p$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 1 canonical work pages

[1]

Burciu and S

S. Burciu and S. Natale, Fusion rules of equivariantizations of fusion categories, J. Math. Phys.54(2013), no. 1, 013511, 21 pp. 9

2013
[2]

S. Cui, C. Galindo, J. Plavnik, Z. Wang, On gauging symmetry of modular categories, Comm. Math. Phys.348(2016), no. 3, 1043-1064

2016
[3]

Group-theoretical properties of nilpotent modular categories

V . Drinfeld, S. Gelaki, D. Nikshych and V . Ostrik, Group-theoretical properties of nilpotent modular categories, arXiv: 0704.0195

work page Pith review arXiv
[4]

Drinfeld, S

V . Drinfeld, S. Gelaki, D. Nikshych and V . Ostrik, On braided fusion categories I, Sel. Math. New. Ser.16(2010), no. 2, 1-119

2010
[5]

Etingof, S

P. Etingof, S. Gelaki, D. Nikshych and V . Ostrik, Tensor categories, Mathematical Surveys and Monographs205, Amer. Math. Soc., 2015

2015
[6]

Etingof, D

P. Etingof, D. Nikshych and V . Ostrik, On fusion categories, Ann. of Math.162(2005), no. 2, 581-642

2005
[7]

Etingof, D

P. Etingof, D. Nikshych and V . Ostrik, Fusion categories and homotopy theory, Quantum Topol.1(2010), no. 3, 209-273

2010
[8]

Etingof, D

P. Etingof, D. Nikshych and V . Ostrik, Weakly group-theoretical and solvable fusion cate- gories, Adv. Math.226(2011), no. 1, 176-205

2011

Show all 16 references

[9]

Gelaki and D

S. Gelaki and D. Nikshych, Nilpotent fusion categories, Adv. Math.226(2008), no. 1, 1053- 1071

2008
[10]

Kirillov, Jr, OnG-equivariant modular categories, arXiv:0401119

A. Kirillov, Jr, OnG-equivariant modular categories, arXiv:0401119
[11]

Michler, A finite simple group of Lie type has p-blocks with different defects,p̸= 2, J

G. Michler, A finite simple group of Lie type has p-blocks with different defects,p̸= 2, J. Algebra.104(1986), 220-230

1986
[12]

M ¨uger, Galois theory for braided tensor categories and the modular closure, Adv

M. M ¨uger, Galois theory for braided tensor categories and the modular closure, Adv. Math. 150(2000), no. 2, 151-201

2000
[13]

Naidu, D

D. Naidu, D. Nikshych and S. Witherspoon, Fusion subcategories of representation cate- gories of twisted quantum doubles of finite groups, Int. Math. Res. Not.2009(2009), no. 22, 4183-4219

2009
[14]

Natale, On weakly group-theoretical non-degenerate braided fusion categories, J

S. Natale, On weakly group-theoretical non-degenerate braided fusion categories, J. Non- commut. Geom.8(2014), 1043-1060

2014
[15]

Natale, The core of a weakly group-theoretical fusion category, Internat

S. Natale, The core of a weakly group-theoretical fusion category, Internat. J. Math.29 (2018), no. 2, 1850012, 23 pp

2018
[16]

Ostrik and Z

V . Ostrik and Z. Yu, On the minimal extension and structure of weakly group-theoretical braided fusion categories, Adv. Math.419(2023), Paper No. 108961, 16 pp. Zhiqiang Yu Email: zhiqyumath@yzu.edu.cn School of Mathematical Science, Yangzhou University, Yangzhou 225002, China 10

2023

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.

[1] [1]

Burciu and S

S. Burciu and S. Natale, Fusion rules of equivariantizations of fusion categories, J. Math. Phys.54(2013), no. 1, 013511, 21 pp. 9

2013

[2] [2]

S. Cui, C. Galindo, J. Plavnik, Z. Wang, On gauging symmetry of modular categories, Comm. Math. Phys.348(2016), no. 3, 1043-1064

2016

[3] [3]

Group-theoretical properties of nilpotent modular categories

V . Drinfeld, S. Gelaki, D. Nikshych and V . Ostrik, Group-theoretical properties of nilpotent modular categories, arXiv: 0704.0195

work page Pith review arXiv

[4] [4]

Drinfeld, S

V . Drinfeld, S. Gelaki, D. Nikshych and V . Ostrik, On braided fusion categories I, Sel. Math. New. Ser.16(2010), no. 2, 1-119

2010

[5] [5]

Etingof, S

P. Etingof, S. Gelaki, D. Nikshych and V . Ostrik, Tensor categories, Mathematical Surveys and Monographs205, Amer. Math. Soc., 2015

2015

[6] [6]

Etingof, D

P. Etingof, D. Nikshych and V . Ostrik, On fusion categories, Ann. of Math.162(2005), no. 2, 581-642

2005

[7] [7]

Etingof, D

P. Etingof, D. Nikshych and V . Ostrik, Fusion categories and homotopy theory, Quantum Topol.1(2010), no. 3, 209-273

2010

[8] [8]

Etingof, D

P. Etingof, D. Nikshych and V . Ostrik, Weakly group-theoretical and solvable fusion cate- gories, Adv. Math.226(2011), no. 1, 176-205

2011