pith. sign in

arxiv: 2605.17171 · v1 · pith:QE4VDFJKnew · submitted 2026-05-16 · 🧮 math.GR

Higher Commutativity in Finite Groups, Rigidity, Extremal bounds, and Heisenberg-Type Families

Vadim E Levit , Robert Shwartz This is my paper

Pith reviewed 2026-05-20 14:09 UTC · model grok-4.3

classification 🧮 math.GR
keywords commutativity probabilityfinite groupsrigidityHeisenberg groupsclass two groupscyclic quotientsrepresentation theory
0
0 comments X

The pith

Finite groups with an abelian normal subgroup and cyclic quotient obey an exact formula for the probability that r random elements commute.

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

The paper proves an exact closed-form expression for P_r(G), the proportion of r-tuples of elements in a finite group G that all commute with one another. When G has an abelian normal subgroup A with cyclic quotient of order ω, and under a fixed-subgroup hypothesis, this probability equals 1/ω^r plus (1 minus 1/ω^r) times the (r-1) power of |A ∩ Z(G)| over |A|. The same hierarchy is derived in closed form for the entire family of F_q-Heisenberg groups of class 2 and exponent p. These formulas produce rigidity results, determine isoclinism classes from the first two or three values of P_r, and recover explicit counts for low-rank cases that match known formulas in representation theory and TQFT.

Core claim

For a finite group G possessing an abelian normal subgroup A whose quotient is cyclic of order ω, the paper establishes under a natural fixed-subgroup hypothesis that P_r(G) equals exactly 1/ω^r plus (1 - 1/ω^r) multiplied by (|A ∩ Z(G)| / |A|)^{r-1}. In the F_q-Heisenberg family the paper obtains the further closed expression P_r(G) = q^{-2nr} times a finite sum over k up to min(n,r) of L_{n,k}(q) times the product from i=0 to k-1 of (q^r - q^i). These identities are proved by combining symplectic reduction with direct counting of homomorphisms from Z^r to G.

What carries the argument

The exact all-rank formula for P_r(G) in abelian extensions with cyclic quotient, obtained via fixed-subgroup counting and symplectic reduction in the class-2 exponent-p setting.

If this is right

  • Combining the cyclic-index formula with the known sharp upper bound for multiple commutativity degree produces equality cases and near-extremal rigidity.
  • A stability gap appears near 11/32 for the probability of commuting triples.
  • Inside the F_q-Heisenberg family the pair (P_2(G), P_3(G)) already determines the isoclinism class.
  • Explicit class-number formulas are obtained for P_3(G) and P_4(G) that recover the simple-count expressions for untwisted Drinfeld doubles and quantum triple algebras.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The formulas suggest that low-rank commutativity probabilities can serve as complete invariants for isoclinism classes in broader families of p-groups.
  • The bridge to TQFT counting indicates that the same identities may classify certain invariants of 3-manifolds or links when groups arise as fundamental groups.
  • Testing the rigidity statement on small-order groups outside the Heisenberg family could reveal whether the cyclic-index formula extends with weaker hypotheses.

Load-bearing premise

The natural fixed-subgroup hypothesis must hold for the cyclic-index rigidity formula to be valid.

What would settle it

Compute P_2 and P_3 directly for a concrete non-abelian extension of prime index that fails the fixed-subgroup hypothesis and check whether the values deviate from the closed formula.

read the original abstract

For a finite group $G$ and an integer $r\ge 2$ let $$ P_r(G):=\frac{|Hom(\mathbb Z^r,G)|}{|G|^r}, $$ where $\Hom(\mathbb Z^r,G)$ is the set of pairwise commuting $r$-tuples in $G$. This paper studies rigidity and extremal behavior of the hierarchy $\{P_r(G)\}_{r\ge2}$, together with a low-rank representation-theoretic / TQFT counting bridge. The first main direction is cyclic-index rigidity: for groups with an abelian normal subgroup $A$ and cyclic quotient of order $\omega$, under a natural fixed-subgroup hypothesis we prove the exact all-rank formula $$ P_r(G)=\frac{1}{\omega^r}+\left(1-\frac{1}{\omega^r}\right)\left(\frac{|A\cap Z(G)|}{|A|}\right)^{r-1}, $$ which yields gap and rigidity statements for non-abelian abelian extensions of prime index. The second main direction is the class-$2$ exponent-$p$ world. We develop a symplectic reduction, obtain closed formulas when $|G'|=p$, and prove a closed all-$r$ hierarchy in the $\mathbb F_q$-Heisenberg family: \[ P_r(G)=q^{-2nr}\sum_{k=0}^{\min(n,r)}L_{n,k}(q)\prod_{i=0}^{k-1}(q^r-q^i). \] In particular, inside the $\mathbb F_q$-Heisenberg family the pair $(P_2(G),P_3(G))$ already determines the isoclinism class. Combining the cyclic-index formula with the known sharp upper bound for the multiple commutativity degree gives equality and near-extremal rigidity, including a stability gap near $11/32$ for commuting triples. At the low-rank end we also prove explicit class-number formulas for $P_3(G)$ and $P_4(G)$; these recover the simple-count formulas for the untwisted Drinfeld double and the untwisted quantum triple / double-loop-groupoid algebra.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper defines P_r(G) as |Hom(Z^r, G)| / |G|^r, the proportion of commuting r-tuples in a finite group G. It proves a cyclic-index rigidity formula for groups with abelian normal subgroup A and cyclic quotient of order ω under a fixed-subgroup hypothesis, yielding the exact expression P_r(G) = 1/ω^r + (1 - 1/ω^r)(|A ∩ Z(G)| / |A|)^{r-1}. It develops symplectic reduction for class-2 exponent-p groups, obtains closed all-r hierarchies in the F_q-Heisenberg family, derives extremal bounds combining with known upper bounds on multiple commutativity degree, and gives explicit class-number formulas for P_3(G) and P_4(G) recovering untwisted Drinfeld double and quantum triple counts.

Significance. If the central derivations hold, the work supplies exact closed-form expressions for the higher commutativity hierarchy in two broad families, yielding gap/rigidity statements and the determination of isoclinism class from the pair (P_2(G), P_3(G)) in the Heisenberg case. These are parameter-free derivations with falsifiable predictions and explicit low-rank formulas that connect to representation theory and TQFT counting; the combination with sharp upper bounds to obtain near-extremal rigidity near 11/32 is a clear strength.

major comments (2)
  1. [Abstract and cyclic-index rigidity theorem] Abstract and the cyclic-index rigidity section: the exact formula P_r(G) = 1/ω^r + (1 - 1/ω^r)(|A ∩ Z(G)| / |A|)^{r-1} is stated for groups with abelian normal A and cyclic quotient of order ω, but only under an additional 'natural fixed-subgroup hypothesis' whose definition, necessity, and automatic satisfaction (or counterexamples) from the abelian-normal + cyclic-quotient data alone are not supplied. This is load-bearing for the rigidity and gap claims.
  2. [Class-2 exponent-p and F_q-Heisenberg sections] Heisenberg-family hierarchy: the closed formula P_r(G) = q^{-2nr} ∑_{k=0}^{min(n,r)} L_{n,k}(q) ∏_{i=0}^{k-1} (q^r - q^i) is asserted after symplectic reduction, yet the manuscript presents the result without accessible step-by-step verification of the reduction or explicit checks for small n,r that would confirm the all-r hierarchy.
minor comments (2)
  1. [Introduction and notation] Clarify in the definition of P_r(G) whether Hom(Z^r, G) denotes group homomorphisms (which automatically enforce commutativity) or merely the set of commuting tuples; the two coincide but the notation should be unambiguous.
  2. [Introduction] Add a reference to prior literature on the ordinary commutativity degree (r=2 case) to situate the higher-r results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The suggestions identify opportunities to improve clarity and verifiability. We address each major comment below and will incorporate the necessary revisions.

read point-by-point responses

  1. Referee: [Abstract and cyclic-index rigidity theorem] Abstract and the cyclic-index rigidity section: the exact formula P_r(G) = 1/ω^r + (1 - 1/ω^r)(|A ∩ Z(G)| / |A|)^{r-1} is stated for groups with abelian normal A and cyclic quotient of order ω, but only under an additional 'natural fixed-subgroup hypothesis' whose definition, necessity, and automatic satisfaction (or counterexamples) from the abelian-normal + cyclic-quotient data alone are not supplied. This is load-bearing for the rigidity and gap claims.

    Authors: We agree that the fixed-subgroup hypothesis requires explicit definition and further discussion to fully support the rigidity claims. In the revised manuscript we will add a precise definition of the hypothesis, explain its necessity for deriving the exact formula, and specify conditions under which it holds automatically for groups possessing an abelian normal subgroup A with cyclic quotient of order ω. We will also include illustrative examples where the hypothesis is satisfied and counterexamples where it fails, thereby clarifying its role in the gap and rigidity statements. revision: yes

  2. Referee: [Class-2 exponent-p and F_q-Heisenberg sections] Heisenberg-family hierarchy: the closed formula P_r(G) = q^{-2nr} ∑_{k=0}^{min(n,r)} L_{n,k}(q) ∏_{i=0}^{k-1} (q^r - q^i) is asserted after symplectic reduction, yet the manuscript presents the result without accessible step-by-step verification of the reduction or explicit checks for small n,r that would confirm the all-r hierarchy.

    Authors: We acknowledge that additional exposition would make the symplectic reduction and the resulting hierarchy more accessible. In the revision we will expand the relevant section with a detailed step-by-step outline of the symplectic reduction for class-2 exponent-p groups. We will also insert explicit computations verifying the closed formula for small values of n and r (for instance n=1,2 and r=2,3), allowing direct confirmation of the all-r hierarchy. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The cyclic-index rigidity formula is explicitly derived under the additional fixed-subgroup hypothesis for groups with abelian normal A and cyclic quotient, using standard counting of homomorphisms and center intersections rather than any self-definitional reduction or fitted parameter. The Heisenberg-family hierarchy is obtained separately via symplectic reduction and explicit summation formulas that do not reference the prior hypothesis or reduce to inputs by construction. No load-bearing self-citations, uniqueness theorems imported from the authors' prior work, or ansatzes smuggled via citation are present in the abstract or described derivations. The claims remain conditional on the stated hypothesis without collapsing the central results to tautological rephrasings of the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard axioms of finite group theory and basic facts about homomorphisms and centers, with no free parameters fitted to data or new entities postulated in the abstract.

axioms (1)
  • standard math Standard axioms of finite group theory including properties of normal subgroups, centers, and homomorphisms from Z^r
    Invoked throughout the definitions of P_r(G) and the rigidity statements.

pith-pipeline@v0.9.0 · 5930 in / 1521 out tokens · 89880 ms · 2026-05-20T14:09:20.169529+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · 3 internal anchors

  1. [1]

    Bullivant and C

    A. Bullivant and C. Delcamp,Tube algebras, excitations statistics and compactification in gauge models of topological phases, Journal of High Energy Physics (JHEP)2019(2019), no. 10, article 216. DOI: 10.1007/JHEP10(2019)216.Cited in:§4.3; p. 7

    work page doi:10.1007/jhep10(2019)216.cited 2019

  2. [2]

    Bullivant and C

    A. Bullivant and C. Delcamp,Crossing with the circle in Dijkgraaf–Witten theory and ap- plications to topological phases of matter, Journal of Mathematical Physics63(2022), no. 8, 081901. DOI: 10.1063/5.0061214.Cited in:§4.3; pp. 7, 9

    work page doi:10.1063/5.0061214.cited 2022

  3. [3]

    Cherniavsky, A

    Y. Cherniavsky, A. Goldstein, V. E. Levit, and R. Shwartz,Hultman numbers and generalized commuting probability in finite groups, Journal of Integer Sequences20(2017), no. 10, Ar- ticle 17.10.7.https://cs.uwaterloo.ca/journals/JIS/VOL20/Levit/levit4.html.Cited in:§1; p. 2

    work page 2017

  4. [4]

    Dijkgraaf and E

    R. Dijkgraaf and E. Witten,Topological gauge theories and group cohomology, Communications in Mathematical Physics129(1990), no. 2, 393–429. DOI: 10.1007/BF02096988.Cited in: §1;§4.3; pp. 3, 9

    work page doi:10.1007/bf02096988.cited 1990

  5. [5]

    Dijkgraaf, V

    R. Dijkgraaf, V. Pasquier, and P. Roche,Quasi-Hopf algebras, group cohomology and orb- ifold models, Nuclear Physics B – Proceedings Supplements18(1991), no. 2, 60–72. DOI: 10.1016/0920-5632(91)90123-V.Cited in:§4.2; p. 6

    work page doi:10.1016/0920-5632(91)90123-v.cited 1991

  6. [6]

    V. G. Drinfel’d,Quantum groups, Proceedings of the International Congress of Mathematicians (Berkeley, 1986), Amer. Math. Soc., Providence, RI, 1987, pp. 798–820; English translation in Journal of Soviet Mathematics41(1988), no. 2, 898–915. DOI: 10.1007/BF01247086.Cited in:§4.2; p. 6

    work page doi:10.1007/bf01247086.cited 1986

  7. [7]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik,Tensor Categories, Mathematical Surveys and Monographs, vol. 205, American Mathematical Society, 2015.Cited in:§4.2; p. 6

    work page 2015

  8. [8]

    D. S. Freed and F. Quinn,Chern–Simons theory with finite gauge group, Communications in Mathematical Physics156(1993), no. 3, 435–472. DOI: 10.1007/BF02096860.Cited in:§1; §4.3; pp. 3, 9. 37

    work page doi:10.1007/bf02096860.cited 1993

  9. [9]

    R. M. Guralnick and G. R. Robinson,On the commuting probability in finite groups, Journal of Algebra300(2006), no. 2, 509–528. DOI: 10.1016/j.jalgebra.2005.09.044.Cited in:§1; p. 2

    work page doi:10.1016/j.jalgebra.2005.09.044.cited 2006

  10. [10]

    W. H. Gustafson,What is the probability that two group elements commute?, American Mathematical Monthly80(1973), no. 9, 1031–1034. DOI: 10.1080/00029890.1973.11993437. Cited in:§1; p. 2

    work page doi:10.1080/00029890.1973.11993437 1973

  11. [11]

    Hall,The classification of prime-power groups, Journal f¨ ur die reine und angewandte Mathematik182(1940), 130–141

    P. Hall,The classification of prime-power groups, Journal f¨ ur die reine und angewandte Mathematik182(1940), 130–141. DOI: 10.1515/crll.1940.182.130.Cited in:§2.1; pp. 3–4

    work page doi:10.1515/crll.1940.182.130.cited 1940

  12. [12]

    Lescot,Isoclinism classes and commutativity degrees of finite groups, Journal of Algebra 177(1995), no

    P. Lescot,Isoclinism classes and commutativity degrees of finite groups, Journal of Algebra 177(1995), no. 3, 847–869. DOI: 10.1006/jabr.1995.1331.Cited in:§1;§2;§2.1;§5.1; pp. 2–3, 19

    work page doi:10.1006/jabr.1995.1331.cited 1995

  13. [13]

    V. E. Levit and R. Shwartz,Higher commutativity in finite groups: exact asymptotics and finite spectrum, preprint, arXiv:2605.02071v1 [math.GR], 2026. DOI: 10.48550/arXiv.2605.02071. Cited in:§1;§2;§2.1;§3.1;§3.2; pp. 2–4

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.02071 2026

  14. [14]

    M. L. Lewis,Generalizing Camina groups and their character tables, Journal of Group Theory 12(2009), no. 2, 209–218. DOI: 10.1515/JGT.2008.073.Cited in:§7.5; p. 36

    work page doi:10.1515/jgt.2008.073.cited 2009

  15. [15]

    M. L. Lewis,Semi-extraspecial groups, inAdvances in Algebra: SRAC 2017, Mobile, Alabama, USA, March 17–19, Springer Proceedings in Mathematics & Statistics, vol. 277, J. Feldvoss, L. Grimley, D. Lewis, A. Pavelescu, and C. Pillen (eds.), Springer, Cham, 2019, pp. 219–237. DOI: 10.1007/978-3-030-11521-0 11.Cited in:§7.5; p. 36

    work page doi:10.1007/978-3-030-11521-0 2017

  16. [16]

    M. L. Lewis and J. Maglione,Enumerating isoclinism classes of semi-extraspecial groups, Proceedings of the Edinburgh Mathematical Society63(2020), no. 2, 426–442. DOI: 10.1017/S0013091519000531.Cited in:§7.5; p. 36

    work page doi:10.1017/s0013091519000531.cited 2020

  17. [17]

    Characterizing finite solvable groups through the nilpotency probability

    A. Lucchini,Characterizing finite solvable groups through the nilpotency probability, preprint, arXiv:2604.04534 [math.GR], 2026.Cited in:§1; p. 2

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  18. [18]

    R. K. Nath,Commutativity degree of a class of finite groups and consequences, Bulletin of the Australian Mathematical Society88(2013), no. 3, 448–452. DOI: 10.1017/S0004972712001086. Cited in:§1; p. 2

    work page doi:10.1017/s0004972712001086 2013

  19. [19]

    Rahimirad and M

    S. Rahimirad and M. Zarrin,The probability that two elements of a group have the same centralizers, International Journal of Group Theory14(2025), no. 4, 223–233. DOI: 10.22108/ijgt.2024.142171.1912.Cited in:§1; p. 2

    work page doi:10.22108/ijgt.2024.142171.1912.cited 2025

  20. [20]

    Rezaei, P

    R. Rezaei, P. Niroomand, and A. Erfanian,On the multiple exterior degree of finite groups, Mathematica Slovaca64(2014), no. 4, 859–870. DOI: 10.2478/s12175-014-0244-4. (Proposi- tion 2.4 gives the sharp bound for the multiple commutativity degree.)Cited in:§1;§2; §5.2; pp. 2–3, 21

    work page doi:10.2478/s12175-014-0244-4 2014

  21. [21]

    D. J. Rusin,What is the probability that two elements of a finite group commute?, Pacific Journal of Mathematics82(1979), no. 1, 237–247. DOI: 10.2140/pjm.1979.82.237.Cited in: §6; p. 24. 38

    work page doi:10.2140/pjm.1979.82.237.cited 1979

  22. [22]

    C. A. Schroeder and H. P. Tong-Viet,On the invariants of finite groups arising in a topological quantum field theory, preprint, arXiv:2510.14971 [math.GR], 2025. DOI: 10.48550/arXiv.2510.14971.Cited in:§1;§4.3; pp. 3, 9

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2510.14971.cited 2025

  23. [23]

    Shwartz and V

    R. Shwartz and V. E. Levit,Signed Hultman numbers and signed generalized commuting probability in finite groups, Journal of Algebraic Combinatorics55(2022), no. 4, 1171–1197. DOI: 10.1007/s10801-021-01089-9.Cited in:§1; p. 2

    work page doi:10.1007/s10801-021-01089-9.cited 2022

  24. [24]

    Willerton,The twisted Drinfeld double of a finite group via gerbes and finite groupoids, Algebraic & Geometric Topology8(2008), no

    S. Willerton,The twisted Drinfeld double of a finite group via gerbes and finite groupoids, Algebraic & Geometric Topology8(2008), no. 3, 1419–1457. DOI: 10.2140/agt.2008.8.1419. Cited in:§4.2; p. 7

    work page doi:10.2140/agt.2008.8.1419 2008

  25. [25]

    S. J. Witherspoon,The representation ring of the quantum double of a finite group, Journal of Algebra179(1996), no. 1, 305–329. DOI: 10.1006/jabr.1996.0014.Cited in:§4.2; p. 6

    work page doi:10.1006/jabr.1996.0014.cited 1996

  26. [26]

    M. K. Yadav,Class-preserving automorphisms of finitep-groups, Journal of the London Mathematical Society75(2007), no. 3, 755–772. DOI: 10.1112/jlms/jdm025.Cited in:§7.5; p. 36. 39

    work page doi:10.1112/jlms/jdm025.cited 2007