pith. sign in

arxiv: 2502.12830 · v3 · submitted 2025-02-18 · 🧮 math.RA

Multipliers, W-algebras and the growth of generalized polynomial identities

Fabrizio Martino , Carla Rizzo This is my paper

Pith reviewed 2026-05-23 02:57 UTC · model grok-4.3

classification 🧮 math.RA
keywords W-algebrasgeneralized polynomial identitiesalmost polynomial growthSpecht propertymultiplier algebrasT_W-idealscodimensionsmatrix algebras
0
0 comments X

The pith

Finite dimensional W-algebras generate only generalized varieties of almost polynomial growth, yet their T_W-ideals can fail the Specht property

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

The paper develops a theory of generalized identities for any W-algebra A that depends only on the multiplier algebra of A. It proves that the generalized variety generated by the k by k matrix algebra with a suitable action has almost polynomial growth in its generalized codimensions. The authors then characterize every generalized variety of almost polynomial growth that arises from a finite dimensional W-algebra. They also construct an explicit counterexample showing that generalized T_W-ideals in characteristic zero need not be finitely generated.

Core claim

We characterize the generalized varieties of almost polynomial growth generated by finite dimensional W-algebras. Furthermore, we provide a counterexample to the Specht property of generalized T_W-ideals in characteristic zero.

What carries the argument

The multiplier algebra of A, which encodes the generalized identities of the W-algebra independently of the structure of W.

If this is right

  • The generalized codimensions of the k by k matrix algebra with suitable W-action grow almost polynomially.
  • Every generalized variety of almost polynomial growth arising from a finite dimensional W-algebra belongs to the class characterized in the paper.
  • There exist generalized T_W-ideals in characteristic zero that are not finitely generated.

Where Pith is reading between the lines

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

  • The multiplier-algebra approach may allow growth results to be transferred to other algebras equipped with an external action.
  • The Specht failure here suggests that generalized identities behave differently from ordinary polynomial identities even when the base field has characteristic zero.
  • It remains to be checked whether the almost-polynomial-growth classification continues to hold when the W-algebra is allowed to be infinite dimensional.

Load-bearing premise

A comprehensive theory of generalized identities can be developed that is independent of the algebraic structure of W, using only the multiplier algebra of A.

What would settle it

An explicit finite dimensional W-algebra whose sequence of generalized codimensions grows faster than almost polynomial would falsify the characterization of growth rates.

read the original abstract

Let $A$ be a $W$-algebra over a field $F$ of characteristic zero, where $W$ is any $F$-algebra. We first develop a comprehensive theory of generalized identities independent of the algebraic structure of $W$, using the multiplier algebra of $A.$ Then, we investigate the generalized variety generated by the $k\times k$ matrix algebra with a suitable action, proving that it exhibits almost polynomial growth of the generalized codimensions. Furthermore, we characterize the generalized varieties of almost polynomial growth generated by finite dimensional $W$-algebras. Finally, we provide a counterexample to the Specht property of generalized $T_W$-ideals in characteristic zero.

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 / 1 minor

Summary. The paper develops a theory of generalized polynomial identities for W-algebras over a field of characteristic zero, claiming this theory depends only on the multiplier algebra of A and is independent of the algebraic structure of W. It then shows that the generalized variety generated by the k×k matrix algebra (with suitable action) has almost polynomial growth of generalized codimensions, characterizes all generalized varieties of almost polynomial growth generated by finite-dimensional W-algebras, and constructs a counterexample to the Specht property for generalized T_W-ideals.

Significance. If the claimed independence from the W-action holds and the constructions are rigorous, the results would provide a uniform framework for generalized PI-theory across different W-structures and deliver a concrete counterexample to Specht's conjecture in this setting, which is a notable advance in the study of codimension growth for algebras with additional operators.

major comments (2)
  1. [Introduction / theory development section] The foundational claim (abstract, first sentence) that a comprehensive theory of generalized identities can be developed using only the multiplier algebra of A and is independent of the algebraic structure of W is load-bearing for both the growth characterization and the Specht counterexample. The manuscript must explicitly verify that the definitions of generalized T_W-ideals and the multiplier construction introduce no hidden dependence on the W-module action or associativity properties of W; otherwise the subsequent results on codimension growth do not apply uniformly.
  2. [Characterization section] The characterization of generalized varieties of almost polynomial growth generated by finite-dimensional W-algebras (abstract, third sentence) relies on the independence established earlier. The proof should contain an explicit reduction showing that the growth is determined solely by the multiplier algebra without reference to specific properties of the W-action; if this reduction uses any W-dependent data, the classification is incomplete.
minor comments (1)
  1. [Abstract] The abstract states results for any W-algebra but does not indicate the precise definition of the 'suitable action' on the matrix algebra; this should be clarified in the introduction for readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for explicit verification of independence from the W-action. We address the two major comments below and will revise the manuscript to strengthen the explicitness of the relevant arguments.

read point-by-point responses

  1. Referee: [Introduction / theory development section] The foundational claim (abstract, first sentence) that a comprehensive theory of generalized identities can be developed using only the multiplier algebra of A and is independent of the algebraic structure of W is load-bearing for both the growth characterization and the Specht counterexample. The manuscript must explicitly verify that the definitions of generalized T_W-ideals and the multiplier construction introduce no hidden dependence on the W-module action or associativity properties of W; otherwise the subsequent results on codimension growth do not apply uniformly.

    Authors: Section 2 defines generalized T_W-ideals and the multiplier construction exclusively in terms of the multiplier algebra M(A), with evaluations performed via the canonical action of M(A) on A. The proofs establish that the resulting identities depend only on this multiplier structure and do not invoke any additional properties of the W-module action or associativity of W beyond its algebra operations. To address the request for explicit verification, we will insert a dedicated remark (or short lemma) immediately after the definitions that confirms the absence of hidden dependence by noting that any two W-algebras sharing the same multiplier algebra produce identical generalized T_W-ideals. revision: yes

  2. Referee: [Characterization section] The characterization of generalized varieties of almost polynomial growth generated by finite-dimensional W-algebras (abstract, third sentence) relies on the independence established earlier. The proof should contain an explicit reduction showing that the growth is determined solely by the multiplier algebra without reference to specific properties of the W-action; if this reduction uses any W-dependent data, the classification is incomplete.

    Authors: The characterization proof in Section 4 proceeds by reducing the generalized codimension sequence of a finite-dimensional W-algebra A to the ordinary codimension sequence of its multiplier algebra M(A). This reduction is already implicit in the independence result of Section 2, but we agree that an explicit statement of the reduction step (showing that no W-action data enters the growth computation) will make the argument clearer. We will add a short paragraph spelling out this reduction in the revised version. revision: yes

Circularity Check

0 steps flagged

No circularity: theory developed independently via multipliers

full rationale

The abstract states the authors first develop a comprehensive theory of generalized identities independent of the algebraic structure of W using the multiplier algebra of A, then apply it to characterize varieties and provide a counterexample. No equations, self-citations, or fitted parameters are quoted that reduce claims by construction to inputs. The central independence claim is presented as a starting point rather than derived from the results it supports, and no load-bearing self-citation chain or ansatz smuggling is evident in the provided text. This is the common case of a self-contained derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard setting of algebras over a field of characteristic zero and the existence of a multiplier algebra that decouples the identities from W.

axioms (2)
  • domain assumption The base field F has characteristic zero.
    Explicitly stated as the setting for all results in the abstract.
  • domain assumption Generalized identities can be studied independently of the algebraic structure of W via the multiplier algebra.
    This is the foundational step announced in the first sentence of the abstract.

pith-pipeline@v0.9.0 · 5638 in / 1258 out tokens · 35568 ms · 2026-05-23T02:57:13.603956+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

32 extracted references · 32 canonical work pages

  1. [1]

    Aljadeff, A

    E. Aljadeff, A. Giambruno, Y. Karasik,Polynomial identities with involution, superinvolutions and the Grassmann envelope, Proc. Amer. Math. Soc.145(2017), no. 5, 1843–1857

    work page 2017

  2. [2]

    Aljadeff, A

    E. Aljadeff, A. Kanel-Belov,Representability and Specht problem forG-graded algebras, Adv. Math.225(5) (2010), 2391–2428

    work page 2010

  3. [3]

    Amitsur,Generalized polynomial identities and pivotal monomials, Trans

    S.A. Amitsur,Generalized polynomial identities and pivotal monomials, Trans. Amer. Math. Soc.114(1965), 210–226

    work page 1965

  4. [4]

    Argenti,Lie semisimple algebras of derivations and varieties of PI-algebras with almost polynomial growth, Proc

    S. Argenti,Lie semisimple algebras of derivations and varieties of PI-algebras with almost polynomial growth, Proc. Amer. Math. Soc.152(2024), no. 10, 4217–4229

    work page 2024

  5. [5]

    Beidar, W.S

    K.I. Beidar, W.S. Martindale, A.V. Mikhalev,Rings with generalized identities, Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, Inc. (1996)

    work page 1996

  6. [6]

    Belov,On non-Spechtian varieties, Fundam

    A.Y. Belov,On non-Spechtian varieties, Fundam. Prikl. Mat.5(1) (1999), 47–66

    work page 1999

  7. [7]

    Borceux, G

    F. Borceux, G. Janelidze, G. M. Kelly,On the representability of actions in a semi-abelian category, Theory and Applications of Categories14(2005), 244–286

    work page 2005

  8. [8]

    Breˇ sar,ˇS

    M. Breˇ sar,ˇS. ˇSpenko,Functional Identities on Matrix Algebras. Algebr. Represent. Theor.18(2015), 1337–1356

    work page 2015

  9. [9]

    J. Brox, X. Garci´ a-Martinez, M. Mancini, T. Van der Linden, C. Vienne,Weak representability of actions of non-associative algebras, J. Algebra669(2025), no. 18, 401–444

    work page 2025

  10. [10]

    A. S. Cigoli, M. Mancini, G. Metere,On the representability of actions of Leibniz algebras and Poisson algebras, Proceedings of the Edinburgh Mathematical Society66(2023), no. 4, 998–1021

    work page 2023

  11. [11]

    Dokuchaev, R

    M. Dokuchaev, R. Exel,Associativity of crossed products by partial actions, enveloping actions and partial representations, Trans. Math. Soc.357(2004), 1931–1952

    work page 2004

  12. [12]

    Dokuchaev, A

    M. Dokuchaev, A. Del Rio, J.J. Simon,Globalizations of partial actions on nonunital rings, Proc. Amer. Math. Soc.135(2007), 343–352

    work page 2007

  13. [13]

    Exel,Partial dynamical systems, fell bundles and applications, AMS, Math

    R. Exel,Partial dynamical systems, fell bundles and applications, AMS, Math. Surv. Monogr.224(2017)

    work page 2017

  14. [14]

    Giambruno, S

    A. Giambruno, S. Mishchenko,On star-varieties with almost polynomial growthAlgebra Colloq.8(1) (2001), 33–42

    work page 2001

  15. [15]

    Giambruno, M

    A. Giambruno, M. Zaicev,On codimension growth of finitely generated associative algebras, Adv. Math.140(1998), 145–155

    work page 1998

  16. [16]

    Giambruno, M

    A. Giambruno, M. Zaicev,Exponential codimension growth of PI algebras: an exact estimate, Adv. Math.142(1999), 221–243

    work page 1999

  17. [17]

    Giambruno, M

    A. Giambruno, M. Zaicev,Polynomial identities and asymptotic methods, AMS, Math. Surv. Monogr.122(2005)

    work page 2005

  18. [18]

    Gordienko,Codimensions of generalized polynomial identities, Mat

    A.S. Gordienko,Codimensions of generalized polynomial identities, Mat. Sb.201(2010), 79-94 (in Russian). Translation in Sb. Math.201(2010), 235–251

    work page 2010

  19. [19]

    Grishin,Examples ofT-spaces andT-ideals in characteristic 2 without the finite basis property(Russian), Fundam

    A.V. Grishin,Examples ofT-spaces andT-ideals in characteristic 2 without the finite basis property(Russian), Fundam. Prikl. Mat.5(1) (1999) 101–118

    work page 1999

  20. [20]

    Herstein,Noncommutative rings, The Carus Mathematical Monographs, No

    I.N. Herstein,Noncommutative rings, The Carus Mathematical Monographs, No. 15 Mathematical Association of America; distributed by John Wiley & Sons, Inc., New York, 1968

    work page 1968

  21. [21]

    Janelidze,Central extensions of associative algebras and weakly action representable categories, Theory Appl

    G. Janelidze,Central extensions of associative algebras and weakly action representable categories, Theory Appl. Categ.38(36) (2022), 1395–1408

    work page 2022

  22. [22]

    Kemer,Varieties andZ 2-graded algebras(Russian), Izv

    A.R. Kemer,Varieties andZ 2-graded algebras(Russian), Izv. Ross. Akad. Nauk Ser. Mat.48(1984), 1042–1059, Translation: Math. USSR, Izv.25(1985), 359–374

    work page 1984

  23. [23]

    Mac Lane,Extensions and obstructions for rings, Illinois J

    S. Mac Lane,Extensions and obstructions for rings, Illinois J. Math.2(3) (1958), 316–345

    work page 1958

  24. [24]

    Malcev,A basis for the identities of the algebra of upper triangular matrices, Algebra Log.10(1971), 393–400

    J.N. Malcev,A basis for the identities of the algebra of upper triangular matrices, Algebra Log.10(1971), 393–400

    work page 1971

  25. [25]

    Martino,Varieties of special Jordan algebras of almost polynomial growth, J

    F. Martino,Varieties of special Jordan algebras of almost polynomial growth, J. Algebra531(2019), 184–196

    work page 2019

  26. [26]

    Martino, C

    F. Martino, C. Rizzo,The2×2upper triangular matrix algebra and its generalized polynomial identities, J. Algebra666(2025), 308–330

    work page 2025

  27. [27]

    Regev,Existence of identities inA⊗B, Israel J

    A. Regev,Existence of identities inA⊗B, Israel J. Math.11(1972), 131–152

    work page 1972

  28. [28]

    Radjavi, P

    H. Radjavi, P. Rosenthal, Simultaneous Triangularization, Universitext, Springer-Verlag, New York, 2000

    work page 2000

  29. [29]

    Rizzo,Differential codimensions and exponential growth, Linear Algebra Appl.675(2023), 294–311

    C. Rizzo,Differential codimensions and exponential growth, Linear Algebra Appl.675(2023), 294–311

    work page 2023

  30. [30]

    Shchigolev,Examples of infinitely basedT-ideals, Fundam

    V.V. Shchigolev,Examples of infinitely basedT-ideals, Fundam. Prikl. Mat.5(1) (1999) 307–312

    work page 1999

  31. [31]

    Vajs, E.I

    A.Ya. Vajs, E.I. Zelmanov,Kemer’s theorem for finitely generated Jordan algebras, Izv. Vyssh. Uchebn. Zaved., Mat.6 (325) (1989), 42–51 (Russian). English Translation: Sov. Math.33 (6)(1990), 38–47

    work page 1989

  32. [32]

    Valenti,Group graded algebras and almost polynomial growth, J

    A. Valenti,Group graded algebras and almost polynomial growth, J. Algebra334(2011), 247–254. Fabrizio Martino, Dipartimento di Matematica e Informatica, Universit `a degli Studi di Palermo, Via Archirafi 34, 90123, Palermo, Italy. Email address:fabrizio.martino@unipa.it Carla Rizzo, CMUC, Department of Mathematics, University of Coimbra, 3000-143 Coimbra,...

    work page 2011