Algebraic realization of noncommutative near-group fusion categories

Henry Tucker; Masaki Izumi

Algebraic realization of noncommutative near-group fusion categories

T0 review · 0 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Every noncommutative near-group fusion category is shown to arise from an explicit group-theoretical construction with the group $\mathbb{F}_2^{2n} \rtimes S_3$, confirming the six categories per rank predicted by the operator-algebraic…

desk verdict An explicit, checkable algebraic realization of the six noncommutative near-group categories; the construction is clean, and the only real caveat is that exhaustiveness still leans on the prior operator-algebraic classification. read the letter →

arxiv 1908.01655 v1 pith:VWNGX645 submitted 2019-08-05 math.CT math.QA

Masaki Izumi , Henry Tucker This is my paper · ORCID

classification math.CTmath.QA MSC 18D1016T05

keywords near-groupcategoriesfusiongroup-theoreticalFrobenius-Schurindicatorsextra-special2-groupsgroupcohomologycategoricalMoritaequivalence3-cocycles

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

Noncommutative near-group fusion categories—tensor categories with a single non-invertible simple object—were previously classified only under the assumption of unitarity, using operator-algebraic techniques. That classification showed they are group-theoretical but did not identify the pointed categories categorically Morita equivalent to them. This paper gives a purely algebraic construction: for each integer $n$, it builds six categories from the group $\mathbb{F}_2^{2n} \rtimes S_3$ with a chosen 3-cocycle and a specific subgroup, and proves they are pairwise inequivalent as pivotal fusion categories. Combined with the earlier classification, these six are exactly the unitary noncommutative near-group categories with extra-special 2-group of order $2^{2n+1}$.

What carries the argument

The construction runs on the affine group $G_n = \mathbb{F}_2^{2n} \rtimes S_3$ (viewed as $(\mathbb{F}_2^{n-1} \oplus \mathbb{F}_2^{n-1}) \rtimes S_4$), with a 3-cocycle $\omega_n$ obtained by inflating a generator of $H^3(S_3, \mathbb{C}^\times) \cong \mathbb{Z}_6$ and adjusting by a coboundary so that it is adapted to the subgroup $H_n \cong \mathbb{Z}_2^{n-1} \times \mathbb{Z}_4$. Each category is the group-theoretical category $C(G_n, \omega_n^l, H_n, 1)$ of $(H_n,H_n)$-bimodule objects in $\mathrm{Vec}^{\omega_n^l}(G_n)$. The argument uses the formula for higher Frobenius-Schur indicators of group-theoretical categories and the description of their groups of invertible objects to compute the invariants that separate the six categories.

What would settle it

Construct a unitary near-group category whose group of invertibles is an extra-special 2-group but which is not equivalent as a pivotal category to any of the six $\mathcal{C}_{n,l}$; by the classification in [9] this cannot exist, so finding one would refute the exhaustiveness claim. Alternatively, explicitly compute the fusion rules and the group of invertible objects of $C(S_4, \omega^l, H, 1)$ for each $l$ and check that the six categories are pairwise inequivalent; a single pair of equivalent categories for distinct $l$ would falsify Theorem 3.2 and Theorem 4.1.

Watch

Extended reading notes

Core claim

The central discovery is that the six candidate categories $\mathcal{C}_{n,l} = C(G_n, \omega_n^l, H_n, 1)$ are indeed near-group categories, with the non-invertible object having Frobenius-Perron dimension $2^{n+1}$, and with the group of invertible objects being the central product of $n$ copies of $D_8$ (for even $l$) or of $Q_8$ with $n-1$ copies of $D_8$ (for odd $l$). The second and third Frobenius-Schur indicators of the non-invertible object equal $(-1)^l$ and $2^n e^{-2\pi i l/3}$, so the six categories are pairwise inequivalent as pivotal fusion categories. Since the classification in [9] says there are exactly three categories per extra-special 2-group and there are two extra-special 2-groups per order $2^{2n+1}$, these six exhaust the list, verifying the conjecture that the corresponding pointed categories are $\mathrm{Vec}^{\omega}(\mathbb{F}_2^{2n} \rtimes S_3)$ for the six classes in $H^3(S_3, \mathbb{C}^\times)$.

Load-bearing premise

The exhaustiveness claim relies on the prior classification, obtained by operator-algebraic methods, that every unitary noncommutative near-group category has an extra-special 2-group as its group of invertible objects and that there are exactly three such categories per group; the algebraic categories constructed here must also be unitarizable for the equivalence with that classification to hold.

Editorial extensions

If this is right

The conjecture that the six pointed Morita duals are $\mathrm{Vec}^{\omega}(G_n)$ for the six classes in $H^3(S_3, \mathbb{C}^\times)$ is now a theorem.
Since the six categories are pairwise inequivalent as pivotal categories, the Frobenius-Schur indicator pair $(\nu_2(\rho), \nu_3(\rho))$ is a complete invariant for them, demonstrating a concrete instance of indicator rigidity.
The explicit group-theoretical models make the previously computed Drinfeld centers and modular data of the unitary near-group categories accessible through standard bicategorical methods without operator-algebraic input.
The construction shows that the group of invertible objects is the central product of $D_8$'s or of $Q_8$ with $D_8$'s, matching the known extra-special 2-groups of order $2^{2n+1}$.
The categories $\mathcal{C}_{n,l}$ for different $n$ are related by inflating the same basic cocycle from $S_3$, so the entire family is controlled by one cohomology class of order 6.

Reading between the lines

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

Replacing the field $\mathbb{F}_2$ by $\mathbb{F}_4$ yields quadratic fusion categories, as the paper notes; these may provide new examples not covered by the near-group classification, and the same Frobenius-Schur formula could compute their indicators.
The explicit adapted cocycles could be used to compute higher Frobenius-Schur indicators (e.g., $\nu_4$, $\nu_6$) for these categories, testing whether the indicator rigidity extends beyond the second and third indicators.
If the categorically Morita equivalent pointed categories are truly $\mathrm{Vec}^{\omega}(G_n)$, then the Drinfeld centers of the near-group categories are equivalent to the Drinfeld centers of those pointed categories, which may yield a simpler route to the modular data than the original tube algebra computations.
The success of this algebraic construction for the noncommutative case suggests that the irrational abelian near-group categories classified via operator-algebraic methods might also admit explicit group-theoretical realizations, possibly with affine groups over finite fields.

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.

Desk Editor's Note

read the letter

The genuinely new content here is the explicit group-theoretical construction: for each n and l = 0,...,5, the authors build C(G_n, ω_n^l, H_n, 1) and prove these six categories realize all unitary noncommutative near-group categories, assuming the classification in [9]. The cocycles are written down, the double cosets are counted, and the Frobenius-Schur indicators are computed via Schauenburg's formula; the group of invertible objects is identified using Gelaki–Naidu. These computations are concrete and checkable, and the paper is careful to state Theorem 4.1 as pairwise inequivalence as pivotal categories. That is exactly the right level of precision: the FS indicators and the invertible-object group are pivotal invariants, and the proof establishes what the theorem claims.

The construction itself is self-contained in the sense that the categories are built from explicit groups and cocycles, so there is no circularity. The second and third FS indicators come out cleanly, and the central-product description of Γ(C_{n,l}) is a nice concrete result. The paper also verifies the conjecture from [9] that the Morita-equivalent pointed categories are all of the form F_2^{2n} ⋊ SL(2,F_2) with the six cohomology classes. That is a worthwhile resolution.

The soft spots are minor and mostly inherited. The exhaustiveness claim rests on [9, Theorem 6.1], which uses operator-algebraic methods and assumes unitarity. The paper does not re-prove that theorem, nor does it explicitly state that the constructed group-theoretical categories are unitarizable—though that is standard and follows from group-theoretical categories being pseudo-unitary. A referee might ask for one sentence making that unitarizability step explicit, since the theorem counts unitary categories. Also, the paper is written as a short note: some routine verifications (e.g., the double-coset decomposition in Section 4) are summarized rather than displayed, but they are straightforward and the reader can fill them in.

Citation-wise, the paper leans on the first author's prior work, but that is appropriate here because the classification and conjecture come from [9]. The use of Schauenburg, Gelaki–Naidu, and Natale is standard. No red flags. Overall, this is a solid, honest construction paper: it does what it claims, and it clarifies a previously open point. Deserves a normal peer-review process, not a desk rejection.

Referee Report

0 major / 6 minor

Summary. This paper gives an explicit algebraic construction of the six unitary noncommutative near-group fusion categories predicted by Izumi's operator-algebraic classification. For each n, the authors define group-theoretical fusion categories C_{n,l} = C(G_n, ω_n^l, H_n, 1), l = 0, ..., 5, where G_n is a semidirect product (F2^{n-1} ⊕ F2^{n-1}) ⋊ S4, H_n is a subgroup isomorphic to F2^{n-1} × Z4, and ω is an adapted 3-cocycle obtained by inflating a generator of H^3(S3, C^×) and twisting it to be adapted to H_n. They compute the double coset decomposition of G_n, show that each C_{n,l} is a near-group category, compute the group of invertible objects as a central product of n copies of D8 (for even l) or of Q8 with n−1 copies of D8 (for odd l), and compute the second and third Frobenius-Schur indicators of the non-invertible object as (−1)^l and 2^n e^{−2πil/3}. These data distinguish the six categories pairwise as pivotal fusion categories. Together with Izumi's classification theorem [9], the paper concludes that these six categories exhaust the unitary noncommutative near-group categories.

Significance. The paper is significant because it converts a classification obtained by operator algebra methods into a concrete, purely algebraic construction with explicit groups and cocycles. The main computations—double coset decomposition, projective character data, normalizer and cocycle for the invertible-object group, and the Frobenius-Schur indicator values via Schauenburg's formula—are transparent and checkable. The proof uses standard tools (Gelaki-Naidu's description of Γ(C), Natale's adapted-cocycle reduction) and the paper is suitably explicit about what is proved and what is imported from [9]. The only caveat is that the exhaustiveness statement requires the constructed categories to be unitarizable; this is a standard property of group-theoretical categories but is not stated. Overall, assuming the standard facts invoked, the main theorem is sound and the construction delivers what the abstract promises.

minor comments (6)

[§4, proof of Theorem 4.1(2)] The proof repeatedly writes Γ(C_{1,l}) where Γ(C_{n,l}) is meant, for example in the sentence identifying the group and in the order computation 'Since |Γ(C_{1,l})| = 2^{2n+1}'; these should be corrected to C_{n,l}.
[§4, proof of Theorem 4.1(1)] The claimed computation ((v,v)(14))^2 = (v,0_{n-1}) appears to be a typo; direct calculation gives (0_{n-1},v). The conclusion that (14) is the unique order-2 element in (123)H_n is unaffected, since the square is the identity only for v=0.
[§3.4 and §4] The non-invertible simple object X_{γ2,1} is sometimes written X_{(12),1} in the FS indicator computations (Theorem 3.2(1)); since γ2=(123), this notation is misleading and should be corrected.
[Introduction and after Theorem 4.1] The exhaustiveness assertion that these six categories are the unitary noncommutative near-group categories of [9] requires the constructed group-theoretical categories to be unitarizable; this is standard (e.g., via unitarity of pointed categories and Morita invariance) but should be stated explicitly with a reference.
[§4, first two paragraphs] The matrix definition of G_n is not obviously equivalent to the later definition as (V_n ⊕ V_n) ⋊ S4 with V_n=F2^{n-1}; since the latter is used throughout, a brief identification of the two descriptions (or deletion of the matrix version) would improve clarity.
[§2.2, after Definition 2.1] The sentence 'The FS indicators are an invariant of tensor categories' is imprecise: higher Frobenius-Schur indicators are invariants of pivotal tensor categories, preserved under pivotal equivalences. This does not affect the arguments, which concern pivotal equivalence.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; construction is explicit and computations are independent of the cited classification.

full rationale

The paper gives an explicit algebraic construction: for each n and l it defines G_n = (F_2^{n-1}⊕F_2^{n-1})⋊S_4, H_n = F_2^{n-1}×Z_4, an adapted 3-cocycle ω_n inflated from a generator of H^3(S_3,C^×), and C_{n,l}=C(G_n,ω_n^l,H_n,1). The claimed results are then computed rather than assumed: the double coset decomposition S_4=⊔Hγ_iH is checked directly; the simple objects are listed from Ostrik's parametrization; the Frobenius-Schur indicators are evaluated from Schauenburg's formula by explicit cocycle values; and the group Γ(C_{n,l}) is computed from Gelaki-Naidu's exact sequence with the explicit 2-cocycle ν. None of these steps fits a parameter to the target invariants or invokes the conclusion. The only self-citation is Theorem 1.2, quoted from the first author's [9, Theorem 6.1], used to assert that the six constructed categories exhaust the unitary noncommutative near-group categories; that assertion is expressly conditional on an external published classification, and no construction step reduces to it. The pairwise inequivalence of the C_{n,l} as pivotal categories rests on independently computed FS indicators and central-product groups, not on the cited classification. No circular step occurs.

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

No free parameters are fitted to data. The construction rests on standard theorems from fusion category theory and group cohomology, on the first author's prior classification theorem from [9], and on the standard but unstated fact that group-theoretical categories are unitarizable with a unique spherical structure. No new entities are postulated.

assumptions (7)

standard math Eilenberg-Mac Lane classification of pointed fusion categories Vec_G^ω by H^3(G, C^×).
Background used to name pointed categories and to define group-theoretical categories; cited from [2] and [22].
standard math Ostrik's theorem: every module category over a fusion category is Mod_C(A) for an algebra object A, and group-theoretical categories have the form C(G,ω,H,ψ).
Used in Section 2.1 to set up the categories C(G,ω,H,1).
standard math Natale's theorem: any group-theoretical category is tensor equivalent to C(G,ω,H,1) with adapted ω.
Used before Theorem 2.2 to simplify the Frobenius-Schur indicator formula.
standard math Schauenburg's Frobenius-Schur indicator formula (Theorem 2.2).
Central computational tool for all ν2 and ν3 computations in Theorems 3.2 and 4.1.
standard math Gelaki-Naidu formula for Γ(C(G,ω,H,1)) (Theorem 2.3).
Used to compute the group of invertible objects in Sections 3.4 and 4.
domain assumption Izumi's classification, [9, Theorem 6.1] and [9, Corollary 6.14].
Used to assert that the six constructed categories exhaust all unitary noncommutative near-group categories and that such categories are group-theoretical.
domain assumption Group-theoretical categories are unitarizable and pseudo-unitary, with a unique spherical structure (unstated).
Needed to conclude from pivotal inequivalence that the categories are the six unitary ones in the classification.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Algebraic realization of noncommutative near-group fusion categories." pith.science (2026). https://pith.science/paper/VWNGX645

@misc{pith2026190801655,
  author       = {Pith},
  title        = {Pith review of: Algebraic realization of noncommutative near-group fusion categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VWNGX645}},
  note         = {Machine review of arXiv:1908.01655}
}

read the original abstract

Noncommutative near-group fusion categories were completely classified in the previous work of the first named author by using an operator algebraic method (and hence under the assumption of unitarity), and they were shown to be group theoretical though the corresponding pointed categories were not identified. In this note we give a purely algebraic construction of the noncommutative near-group fusion categories starting from pointed categories categorically Morita equivalent to them.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[9]

Izumi, A Cuntz algebra approach to the classiﬁcation o f near-group categories, Proc

M. Izumi, A Cuntz algebra approach to the classiﬁcation o f near-group categories, Proc. in Hon. of V.F.R. Jones’s 60th Birthday, Centre for Mat h. & its Applications, Mathematical Sciences Institute, ANU, Canberra, (2017), 2 22–343. 16 MASAKI IZUMI AND HENRY TUCKER

work page 2017
[1]

Coste, T

A. Coste, T. Gannon, P. Ruelle, Finite group modular data , Nuclear Physics B 581 no.3 (2000) 679–717

work page 2000
[2]

Etingof, S

P. Etingof, S. Gelaki, D. Nikshych, V. Ostrik, Tensor Categories, Mathematical Sur- veys and Monographs 205, American Mathematical Society, Pr ovidence, RI (2015)

work page 2015
[3]

Etingof, S

P. Etingof, S. Gelaki, V. Ostrik, Classiﬁcation of fusio n categories of dimension pq, International Mathematics Research Notices, Volume 2004, Issue 57, 1 January 2004, 3041–3056

work page 2004
[4]

Evans, T

D. Evans, T. Gannon, Near group fusion categories and the ir doubles, Adv. Math. 255 (2014), 586–640

work page 2014
[5]

Gelaki, D

S. Gelaki, D. Naidu, Some properties of group-theoretic al categories, J. Algebra 322 (2009), 2631–2641

work page 2009
[6]

Izumi, Subalgebras of inﬁnite C ∗ -algebras with ﬁnite Watatani indices

M. Izumi, Subalgebras of inﬁnite C ∗ -algebras with ﬁnite Watatani indices. I. Cuntz algebras. Comm. Math. Phys. 155 (1993), 157–182

work page 1993
[7]

Izumi, The Structure of Sectors Associated with Longo -Rehren Inclusions I

M. Izumi, The Structure of Sectors Associated with Longo -Rehren Inclusions I. Gen- eral Theory, Commun. Math. Phys. 213 (2000), 127–179

work page 2000

Show all 24 references

[8]

Izumi, The Structure of Sectors Associated with Longo -Rehren Inclusions II

M. Izumi, The Structure of Sectors Associated with Longo -Rehren Inclusions II. Ex- amples, Rev. Math. Phys. 13, no. 603 (2001), 603–674

2001
[10]

Izumi, The classiﬁcation of 3 n subfactors and related fusion categories

M. Izumi, The classiﬁcation of 3 n subfactors and related fusion categories. Quantum Topol. 9 (2018), no. 3, 473–562

2018
[11]

Masuoka, Calculations of some groups of Hopf algebra extensions, J

A. Masuoka, Calculations of some groups of Hopf algebra extensions, J. Algebra 191 (1997), 568–588

1997
[12]

Masuoka, Hopf Algebra Extensions and Cohomology, Ne w Directions in Hopf Algebras, MSRI Publications 43 (2002) 167–209

A. Masuoka, Hopf Algebra Extensions and Cohomology, Ne w Directions in Hopf Algebras, MSRI Publications 43 (2002) 167–209

2002
[13]

Masuoka, Cohomology and coquasi-bialgebra extensi ons associated to a matched pair of bialgebras, Adv

A. Masuoka, Cohomology and coquasi-bialgebra extensi ons associated to a matched pair of bialgebras, Adv. Math. 173 (2003) 262315

2003
[14]

Natale, Frobenius-Schur indicators for a class of fu sion categories, Pac

S. Natale, Frobenius-Schur indicators for a class of fu sion categories, Pac. J. Math. 221 (2005) no. 2, 353–377

2005
[15]

S.-H. Ng, P. Schauenburg, Higher Frobenius-Schur indi cators for pivotal categories, Contemporary Mathematics 441 (2007), 63–90

2007
[16]

Ostrik, Module categories, weak Hopf algebras and mo dular invariants, Transform

V. Ostrik, Module categories, weak Hopf algebras and mo dular invariants, Transform. Groups, 8 (2003), 177–206

2003
[17]

Ostrik, Module categories over the Drinfel’d double of a ﬁnite group, Int’l Math

V. Ostrik, Module categories over the Drinfel’d double of a ﬁnite group, Int’l Math. Res. Notices, v. 2003 (2003) 27, 1507–1520

2003
[18]

Ostrik, Pivotal fusion categories of rank 3

V. Ostrik, Pivotal fusion categories of rank 3. Mosc. Ma th. J. 15 (2015), no. 2, 373–

2015
[19]

D. I. S. Robinson, A course in the theory of groups. Gradu ate Texts in Mathematics,
[20]

Schauenburg, A higher Frobenius-Schur indicator fo rmula for group-theoretical fusion categories

P. Schauenburg, A higher Frobenius-Schur indicator fo rmula for group-theoretical fusion categories. Comm. Math. Phys. 340 (2015), no. 2, 833–849. Erratum, Comm. Math. Phys. 350 (2017), no. 2, 893–896

2015
[21]

Near-group categories

Siehler, J. Near-group categories. Algebr. Geom. Topo l. 3 (2003), 719–775

2003
[22]

Tambara, S

D. Tambara, S. Yamagami, Tensor categories with fusion rules of self-duality for ﬁnite abelian groups, J. Algebra 209 (1998) 692–707

1998
[23]

Tucker, Frobenius-Schur indicators for near-group and Haagerup-Izumi fusion cat- egories, arXiv:1510.05696

H. Tucker, Frobenius-Schur indicators for near-group and Haagerup-Izumi fusion cat- egories, arXiv:1510.05696. Graduate School of Science, Kyoto University, Kitashiraka w a Oiw ake-cho, Sakyo-ku, Kyoto 606-8502, Japan E-mail address : izumi@math.kyoto-u.ac.jp Dept. of Mathemat...

arXiv
[80]

Springer-Verlag, New York, 1993

1993

Pith tools

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

[1] [9]

Izumi, A Cuntz algebra approach to the classiﬁcation o f near-group categories, Proc

M. Izumi, A Cuntz algebra approach to the classiﬁcation o f near-group categories, Proc. in Hon. of V.F.R. Jones’s 60th Birthday, Centre for Mat h. & its Applications, Mathematical Sciences Institute, ANU, Canberra, (2017), 2 22–343. 16 MASAKI IZUMI AND HENRY TUCKER

work page 2017

[2] [1]

Coste, T

A. Coste, T. Gannon, P. Ruelle, Finite group modular data , Nuclear Physics B 581 no.3 (2000) 679–717

work page 2000

[3] [2]

Etingof, S

P. Etingof, S. Gelaki, D. Nikshych, V. Ostrik, Tensor Categories, Mathematical Sur- veys and Monographs 205, American Mathematical Society, Pr ovidence, RI (2015)

work page 2015

[4] [3]

Etingof, S

P. Etingof, S. Gelaki, V. Ostrik, Classiﬁcation of fusio n categories of dimension pq, International Mathematics Research Notices, Volume 2004, Issue 57, 1 January 2004, 3041–3056

work page 2004

[5] [4]

Evans, T

D. Evans, T. Gannon, Near group fusion categories and the ir doubles, Adv. Math. 255 (2014), 586–640

work page 2014

[6] [5]

Gelaki, D

S. Gelaki, D. Naidu, Some properties of group-theoretic al categories, J. Algebra 322 (2009), 2631–2641

work page 2009

[7] [6]

Izumi, Subalgebras of inﬁnite C ∗ -algebras with ﬁnite Watatani indices

M. Izumi, Subalgebras of inﬁnite C ∗ -algebras with ﬁnite Watatani indices. I. Cuntz algebras. Comm. Math. Phys. 155 (1993), 157–182

work page 1993

[8] [7]

Izumi, The Structure of Sectors Associated with Longo -Rehren Inclusions I

M. Izumi, The Structure of Sectors Associated with Longo -Rehren Inclusions I. Gen- eral Theory, Commun. Math. Phys. 213 (2000), 127–179

work page 2000