arxiv: 2604.11469 · v1 · submitted 2026-04-13 · 🧮 math.RA

Recognition: unknown

Symmetric operads of GK-dimension one

James J. Zhang, Xiangui Zhao, Yongjun Xu, Yu Li, Zerui Zhang, Zihao Qi

Pith reviewed 2026-05-10 15:12 UTC · model grok-4.3

classification 🧮 math.RA

keywords symmetric operadsGelfand-Kirillov dimensionfinitely generated operadsprime operadsgrowth ratesoperad classification

0 comments

The pith

There are no finitely generated symmetric operads of Gelfand-Kirillov dimension strictly between 1 and 2.

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

The paper establishes that no finitely generated symmetric operad can have Gelfand-Kirillov dimension falling strictly between 1 and 2. This resolves an open question from 2020 on possible growth rates for these structures that encode ways to compose operations with symmetries. The authors also give a complete classification of the finitely generated prime symmetric operads that achieve exactly dimension 1. A reader would care because the result shows a sharp jump in growth possibilities once finite generation and symmetry are imposed, separating dimension 1 from everything larger.

Core claim

The central claim is that there is no finitely generated symmetric operad of Gelfand-Kirillov dimension strictly between 1 and 2. The paper further classifies all finitely generated prime symmetric operads that attain Gelfand-Kirillov dimension exactly 1.

What carries the argument

Finitely generated symmetric operads together with their Gelfand-Kirillov dimension, where primeness serves as the additional condition that enables the explicit classification at dimension 1.

If this is right

The Gelfand-Kirillov dimensions attainable by finitely generated symmetric operads are either at most 1 or at least 2.
All prime examples at dimension exactly 1 belong to one classified collection.
Intermediate growth rates are ruled out for any construction that is both finitely generated and symmetric.
The classification separates the dimension-1 prime cases from all other finitely generated symmetric operads.

Where Pith is reading between the lines

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

The observed gap may indicate that similar discrete jumps in dimension occur for non-symmetric or colored operads.
The classified dimension-1 primes could be used to compute explicit homological invariants or representation categories for low-growth cases.
The non-existence result raises the question of the smallest dimension strictly above 1 that is actually realized by some finitely generated symmetric operad.

Load-bearing premise

The operads under study must be finitely generated and symmetric, with the extra assumption of primeness required for the dimension-1 classification.

What would settle it

An explicit example of a finitely generated symmetric operad whose Gelfand-Kirillov dimension equals 1.5, or a prime example at dimension 1 that lies outside the listed family, would disprove the result.

read the original abstract

We prove that there is no finitely generated symmetric operad of Gelfand-Kirillov dimension strictly between 1 and 2 that answers an open question posted in 2020. We also classify finitely generated prime symmetric operads of Gelfand-Kirillov dimension 1.

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

This paper settles the 2020 open question by proving no finitely generated symmetric operads exist with GK-dimension strictly between 1 and 2, plus a classification of the prime dimension-1 cases.

read the letter

The main result rules out GK-dimensions strictly between 1 and 2 for finitely generated symmetric operads. That directly answers the question mentioned in the abstract. The authors also classify the prime ones that achieve dimension exactly 1. Both parts rest on growth estimates for the graded vector spaces and the effect of operadic compositions, which are standard tools in this area. The derivations appear to follow from those estimates without circularity or extra parameters, and the hypotheses of finite generation and symmetry are stated explicitly up front. The classification adds the primeness condition, which narrows the scope but matches what the paper claims to deliver. No load-bearing gaps show up in the setup described. Minor limitations include the restriction to symmetric operads and the prime case for the classification, but these are not hidden. The work targets researchers tracking growth rates in operads and related noncommutative structures. It organizes the possible dimensions in a way that should be referenced when people discuss similar questions. I would bring the paper to a reading group to check the details of the estimates. It deserves a serious referee rather than a desk reject because it tackles a concrete open problem with traceable methods.

Referee Report

0 major / 3 minor

Summary. The paper proves that no finitely generated symmetric operad has Gelfand-Kirillov dimension strictly between 1 and 2, thereby answering an open question posed in 2020. It further classifies all finitely generated prime symmetric operads of GK-dimension exactly 1, using growth estimates on the underlying graded vector spaces and standard properties of operadic compositions.

Significance. If the derivations hold, the non-existence result establishes a sharp gap in possible growth rates for this class of operads, while the classification supplies an explicit list or structural description of the dimension-1 prime examples. These outcomes rest on standard tools of operad theory and graded algebra rather than ad-hoc parameters, providing a clean foundation for subsequent work on polynomial-growth operads and related algebraic structures.

minor comments (3)

The citation to the 2020 open question in the abstract and introduction should include the precise reference (author, title, or arXiv number) rather than the year alone.
In the classification statement, the precise meaning of 'prime' for symmetric operads is used without an explicit reminder of the definition; adding a one-sentence recall in §2 would improve readability.
Figure 1 (if present) comparing growth functions could be labeled with explicit GK-dimension values on the axes for immediate clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of our main results on the gap in Gelfand-Kirillov dimensions and the classification of prime examples. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The manuscript derives the non-existence of finitely generated symmetric operads with 1 < GKdim < 2 and the classification of prime ones with GKdim = 1 directly from the definitions of symmetric operads, finite generation, primeness, and standard growth estimates on the underlying graded vector spaces together with the operadic composition maps. No load-bearing step reduces by construction to a fitted parameter, self-definition, or unverified self-citation chain; the results rest on deductive algebraic arguments under the stated hypotheses without renaming known patterns or smuggling ansatzes via prior work by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard axioms of algebra and operad theory without introducing new free parameters or invented entities; all growth-rate arguments build on existing GK-dimension machinery.

axioms (1)

standard math Standard definitions and properties of symmetric operads, finite generation, primeness, and Gelfand-Kirillov dimension from prior literature in noncommutative algebra.
The abstract invokes these background notions to state the non-existence and classification results.

pith-pipeline@v0.9.0 · 5338 in / 1256 out tokens · 27395 ms · 2026-05-10T15:12:07.455374+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

28 extracted references

[1]

Artin and J.J

M. Artin and J.J. Zhang, Noncommutative projective schemes, Adv. Math. 109 (1994), no. 2, 228--287

1994
[2]

Ataguema and A

H. Ataguema and A. Makhlouf, Notes on cohomologies of ternary algebras of associative type, J. Gen. Lie Theory Appl. 3 (2009), no. 3, 157--174

2009
[3]

Y.-H. Bao, Y. Ye and J.J. Zhang, Truncation of unitary operads, Adv. Math. 372 (2020), 107290

2020
[4]

Y.-H. Bao, D. Fu, Y. Ye, J.J. Zhang, 2-unitary operads of GK-dimension 3, Contemporary Mathematics 814 (2025) 19--43

2025
[5]

Boardman and R.M

J.M. Boardman and R.M. Vogt, Homotopy Invariant Algebraic Structures on Topological Spaces, Lecture Notes in Math., vol. 347 , Springer-Verlag, Berlin Heidelberg New York, 1973

1973
[6]

Dickson, Representations of the general symmetric group as linear groups in finite and infinite fields, Trans

L.E. Dickson, Representations of the general symmetric group as linear groups in finite and infinite fields, Trans. Amer. math. Soc. 9 , (1908), 121--148

1908
[7]

Dotsenko and A

V. Dotsenko and A. Khoroshkin, Gr \"o bner bases for operads . Duke Math. J. 153 (2) (2010) 363--396

2010
[8]

Dotsenko, A Quillen adjunction between algebras and operads, Koszul duality, and the Lagrange inversion formula, Int

V. Dotsenko, A Quillen adjunction between algebras and operads, Koszul duality, and the Lagrange inversion formula, Int. Math. Res. Not. IMRN 2019 (14) (2019) 4281--4301

2019
[9]

Dotsenko, M

V. Dotsenko, M. Markl and E. Remm, Veronese powers of operads and pure homotopy algebras, Eur. J. Math. 6 (2020), no. 3, 829--863

2020
[10]

Dotsenko, P

V. Dotsenko, P. Tamaroff, Endofunctors and Poincaré–Birkhoff–Witt Theorems, International Mathematics Research Notices, 2021 (16) (2021) 12670--12690

2021
[11]

Dotsenko and U

V. Dotsenko and U. Umirbaev, An effective criterion for Nielsen-Schreier varieties, Int. Math. Res. Not. IMRN 23 (2023) 20385--20432

2023
[12]

Ginzburg and M

V. Ginzburg and M. Kapranov, Koszul duality for operads, Duke mathematical journal 76 (1) (1994) 203--272

1994
[13]

Khoroshkin and D

A. Khoroshkin and D. Piontkovski, On generating series of finitely presented operads, J. Algebra 426 (2015), 377--429

2015
[14]

Krause and T

G. Krause and T. Lenagan, Growth of algebras and Gelfand-Kirillov dimension, Graduate Studies in Mathematics, vol. 22, AMS, Providence, Rhode Island, 2000

2000
[15]

Y. Li, Q.H. Mo, W.C. Zhang, and X.G. Zhao, Gelfand-Kirillov dimension of brace algebras. Communications in Algebra, 53 (2025), no. 9, 3833–-3842

2025
[16]

Y. Li, Z.H. Qi, Y.J. Xu, J.J. Zhang, Z.R. Zhang and X.G. Zhao, Operads with trivial -actions, International Journal of Algebra and Computation, accepted
[17]

Loday and B

J.-L. Loday and B. Vallette, Algebraic operads, Grundlehren der mathematischen Wissenschaften, vol. 346, Springer, Heidelberg, 2012

2012
[18]

Martinez and E

C. Martinez and E. Zelmanov, Jordan algebras of Gelfand-Kirillov dimension one, Journal of Algebra 180 (1996), no. 1, 211--238

1996
[19]

May, The geometry of iterated loop spaces, vol

J.P. May, The geometry of iterated loop spaces, vol. 271, Springer, 1972

1972
[20]

Petrogradsky, On Lie algebras with nonintegral q-dimensions, Proceedings of the American Mathematical Society 125 (1997), no

V. Petrogradsky, On Lie algebras with nonintegral q-dimensions, Proceedings of the American Mathematical Society 125 (1997), no. 3, 649--656

1997
[21]

Petrogradsky and I.P

V. Petrogradsky and I.P. Shestakov, On Jordan doubles of slow growth of Lie superalgebras, S\ a o Paulo Journal of Mathematical Sciences, 13 (2019), 158--176

2019
[22]

Z.H. Qi, Y.J. Xu, J.J. Zhang and X.G. Zhao, Growth of nonsymmetric operads, Indiana Univ. Math. J. 72 (2023), no. 2, 651-697

2023
[23]

Stanley, Generating functions, Studies in combinatorics, pp

R. Stanley, Generating functions, Studies in combinatorics, pp. 100--141, MAA Stud. Math., 17, Math. Assoc. America, Washington, D.C., 1978

1978
[24]

Stephenson and J.J

D.R. Stephenson and J.J. Zhang, Growth of graded Noetherian rings, Proc. Amer. Math. Soc. 125 (1997), no. 6, 1593--1605

1997
[25]

Wagner, The faithful linear representation of least degree of S_n and A_n over a field of characteristic 2, Math

A. Wagner, The faithful linear representation of least degree of S_n and A_n over a field of characteristic 2, Math. Z. 151 (1976), no. 2, 127--137

1976
[26]

Wagner, The faithful linear representations of least degree of S_n and A_n over a field of odd characteristic, Math

A. Wagner, The faithful linear representations of least degree of S_n and A_n over a field of odd characteristic, Math. Z. 154 (1977), no. 2, 103--114

1977
[27]

Wang and G

K. Wang and G. Zhou, The minimal model of Rota-Baxter operad with arbitrary weight, Sel. Math. New Ser. 30 (2024), article number 99

2024
[28]

Zhang, Y.Q

Z.R. Zhang, Y.Q. Chen, and B. Yu, No dialgebra has Gelfand-Kirillov dimension strictly between 1 and 2 , Linear and Multilinear Algebra 70 (2022), no. 1, 42--52

2022