On the analog category of finite groups

Ben Knudsen; Shmuel Weinberger

arxiv: 2411.14958 · v2 · submitted 2024-11-22 · 🧮 math.AT · math.GR

On the analog category of finite groups

Ben Knudsen , Shmuel Weinberger This is my paper

Pith reviewed 2026-05-23 16:34 UTC · model grok-4.3

classification 🧮 math.AT math.GR

keywords finite groupsanalog categorySylow subgroupscategory sizegroup order boundsalgebraic topology

0 comments

The pith

The analog category of a finite group has size essentially proportional to its largest Sylow subgroup.

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

The paper studies the analog category of a finite group. It proves that the size of this category is essentially proportional to the order of the group's largest Sylow subgroup. This shows the known upper bound given by the full group order is not tight. A sympathetic reader would care because the result replaces a crude global bound with a sharper one controlled by p-subgroup structure. The conclusion applies uniformly to every finite group.

Core claim

We show that the analog category of a finite group is essentially proportional to the size of its largest Sylow subgroup. We conclude that the universal upper bound given by the order of the group is very far from optimal.

What carries the argument

The analog category of the finite group, whose size is compared directly to the orders of its Sylow subgroups.

If this is right

The analog category size depends on the Sylow structure rather than the full group order.
Any upper bound expressed solely in terms of the group order is far from sharp.
Computations or estimates of the analog category can be reduced to the largest Sylow subgroup.
The result separates the contribution of different prime powers in the group order.

Where Pith is reading between the lines

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

The same proportionality may appear for other categorical measures attached to finite groups.
Explicit calculations for concrete families such as symmetric or alternating groups could reveal the hidden constant in the proportionality.
The finding suggests that Sylow data dominate many size invariants in the analog setting.

Load-bearing premise

The analog category is defined so that its size admits a meaningful comparison to Sylow subgroup orders, and the phrase 'essentially proportional' is made precise enough to support the stated relation.

What would settle it

A single finite group whose analog category size is not essentially proportional to the order of its largest Sylow subgroup.

read the original abstract

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.

Desk Editor's Note private letter to a colleague

The paper claims the analog category of a finite group is essentially proportional to its largest Sylow subgroup rather than the full group order, but the abstract supplies no definitions or proof to check the claim.

read the letter

The main point is that the analog category size for a finite group is essentially proportional to the order of its largest Sylow subgroup. This makes the obvious upper bound given by the full group order much weaker than necessary, at least according to the abstract claim. The authors conclude the universal bound is far from optimal. If the definitions line up with standard usage in the literature and the proportionality holds, this would be a modest sharpening of an existing bound in a narrow corner of algebraic topology and group theory. The paper does the basic job of stating the tighter relation and drawing that conclusion without extra fluff. The soft spots are clear from the abstract alone. There is no proof outline, no definition of the analog category in this setting, and no explanation of what 'essentially proportional' means in precise terms. Without those pieces it is impossible to tell whether the argument is direct, whether it applies to all finite groups, or whether it rests on any hidden assumptions about how the category is constructed. The soundness cannot be judged at all from what is given. The citation pattern is also invisible here. This is a specialized note aimed at people already working with categorical invariants of finite groups. A reader in that exact niche might extract a useful bound if the details hold up, but it is unlikely to interest anyone outside that small group. I would send it to peer review so referees can see the full definitions and argument. The claim is narrow enough that a couple of specialists could check it quickly, even if the paper needs work to make the proportionality precise.

Referee Report

1 major / 0 minor

Summary. The manuscript asserts that the analog category of a finite group G is essentially proportional to the order of its largest Sylow subgroup, and therefore that the trivial upper bound |G| is far from optimal.

Significance. If the definitions and proof were supplied and verified, the result would tighten known bounds on the size of analog categories and clarify their dependence on Sylow structure. The manuscript as presented supplies neither definitions of the analog category nor any proof outline, calculations, or examples, so the claim cannot be evaluated.

major comments (1)

The abstract states a theorem but contains no definition of the analog category, no statement of what 'essentially proportional' means, and no proof or supporting calculation. Without these elements the central claim cannot be checked for correctness or internal consistency.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their feedback. We agree that the submitted manuscript is missing essential elements required to evaluate the central claim and will revise accordingly.

read point-by-point responses

Referee: The abstract states a theorem but contains no definition of the analog category, no statement of what 'essentially proportional' means, and no proof or supporting calculation. Without these elements the central claim cannot be checked for correctness or internal consistency.

Authors: We agree. The current version of the manuscript provides only the abstract statement and omits the definition of the analog category, the precise meaning of 'essentially proportional,' and any proof or examples. In the revised manuscript we will supply a formal definition of the analog category, clarify the proportionality statement (including the relevant constants or growth rates), and include a complete proof together with explicit calculations and examples that allow the claim to be verified. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The abstract presents the result as a derived theorem comparing the analog category (defined in standard literature) to Sylow subgroup orders, with no equations, self-citations, or definitions shown that reduce the claim to its inputs by construction. The reader's assessment of 2.0 and absence of load-bearing self-referential steps in the given context confirm the derivation chain is self-contained against external benchmarks, with the conclusion following from independent comparison rather than renaming or fitting.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or newly postulated entities.

pith-pipeline@v0.9.0 · 5539 in / 956 out tokens · 28289 ms · 2026-05-23T16:34:22.748220+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

[1]

Assadi, Finite Group Actions on Simply-Connected Manifolds and CW Complexes , American Mathematical Society, 1982

A. Assadi, Finite Group Actions on Simply-Connected Manifolds and CW Complexes , American Mathematical Society, 1982

work page 1982
[2]

Cauty, R\' e tractions dans les espaces stratifiables , Bull

R. Cauty, R\' e tractions dans les espaces stratifiables , Bull. Soc. Math. Fr. 102 (1974)

work page 1974
[3]

Dranishnikov and E

A. Dranishnikov and E. Jauhari, Distributional topological complexity and LS -category , Topology and AI , European Mathematical Society, 2024

work page 2024
[4]

Dranishnikov, Distributional topological complexity of groups, arXiv:2404.03041

A. Dranishnikov, Distributional topological complexity of groups, arXiv:2404.03041

work page arXiv
[5]

Farber, Topological complexity of motion planning, Discrete Comput

M. Farber, Topological complexity of motion planning, Discrete Comput. Geom. 29 (2003)

work page 2003
[6]

Guralnick, G

R. Guralnick, G. Malle, and G. Navarro, Self-normalizing Sylow subgroups , Proc. Amer. Math. Soc (2003)

work page 2003
[7]

Knudsen and S

B. Knudsen and S. Weinberger, Analog category and complexity, SIAM J. Appl. Algebra Geom. (2024)

work page 2024
[8]

J. P. May and K. Ponto, More Concise Algebraic Topology , University of Chicago Press, 2011

work page 2011
[9]

Steenrod, A convenient category of topological spaces, Mich

N. Steenrod, A convenient category of topological spaces, Mich. Math. J. 14 (1967), no. 2, 133--152

work page 1967

[1] [1]

Assadi, Finite Group Actions on Simply-Connected Manifolds and CW Complexes , American Mathematical Society, 1982

A. Assadi, Finite Group Actions on Simply-Connected Manifolds and CW Complexes , American Mathematical Society, 1982

work page 1982

[2] [2]

Cauty, R\' e tractions dans les espaces stratifiables , Bull

R. Cauty, R\' e tractions dans les espaces stratifiables , Bull. Soc. Math. Fr. 102 (1974)

work page 1974

[3] [3]

Dranishnikov and E

A. Dranishnikov and E. Jauhari, Distributional topological complexity and LS -category , Topology and AI , European Mathematical Society, 2024

work page 2024

[4] [4]

Dranishnikov, Distributional topological complexity of groups, arXiv:2404.03041

A. Dranishnikov, Distributional topological complexity of groups, arXiv:2404.03041

work page arXiv

[5] [5]

Farber, Topological complexity of motion planning, Discrete Comput

M. Farber, Topological complexity of motion planning, Discrete Comput. Geom. 29 (2003)

work page 2003

[6] [6]

Guralnick, G

R. Guralnick, G. Malle, and G. Navarro, Self-normalizing Sylow subgroups , Proc. Amer. Math. Soc (2003)

work page 2003

[7] [7]

Knudsen and S

B. Knudsen and S. Weinberger, Analog category and complexity, SIAM J. Appl. Algebra Geom. (2024)

work page 2024

[8] [8]

J. P. May and K. Ponto, More Concise Algebraic Topology , University of Chicago Press, 2011

work page 2011

[9] [9]

Steenrod, A convenient category of topological spaces, Mich

N. Steenrod, A convenient category of topological spaces, Mich. Math. J. 14 (1967), no. 2, 133--152

work page 1967