pith. sign in

arxiv: 2606.11497 · v1 · pith:O6KDQVA2new · submitted 2026-06-09 · 🧮 math.RA

Graded identities of the first Weyl algebra and its generalizations

V. Futorny , P. Koshlukov , J. Schwarz This is my paper

Pith reviewed 2026-06-27 10:23 UTC · model grok-4.3

classification 🧮 math.RA
keywords graded polynomial identitiesWeyl algebraZ-gradingGalois ringsquantum planeuniversal enveloping algebramatrix algebra identities
0
0 comments X

The pith

The Z-graded identities of the first Weyl algebra reduce to the single identity that its degree-zero component is commutative.

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

The paper establishes that although the first Weyl algebra W1 satisfies no ordinary polynomial identities over infinite fields of characteristic zero, its natural Z-grading by the infinite cyclic group allows a complete description of the graded identities. These identities have a basis consisting of exactly one relation, which forces elements of degree zero to commute with each other. The same description applies to several classes of algebras that generalize W1, such as certain Galois rings, differential operators on the torus, generalized Weyl algebras, and the universal enveloping algebra of sl_2. In characteristic p greater than 2 the Z_p-graded identities of W1 coincide with those of the full matrix algebra of order p. A reader might care because the result gives an explicit criterion for when graded versions of these noncommutative algebras remain free of further polynomial identities.

Core claim

We construct a basis of the Z-graded identities of W1, which consists of a single identity. It expresses the fact that the degree 0 component in the grading is commutative. It is also well known that if the characteristic of the base field is p>2, then W1 satisfies the same identities as the full matrix algebra of order p. In this situation, we describe the Z_p-graded identities of W1. Afterwards, using various combinatorial and algebraic tools we consider graded identities for various types of algebras generalizing the Weyl algebras. For example, we show that Z-graded Galois rings in characteristic 0 satisfy the same graded identities as W1 when they embed in a shift operator algebra S1, an

What carries the argument

The single Z-graded identity that the degree-zero component of the natural Z-grading is commutative.

If this is right

  • Z-graded Galois rings that embed in the shift operator algebra S1 satisfy the same graded identities as W1 and therefore are not PI.
  • The algebra of differential operators on the 1-dimensional torus satisfies the same Z-graded identities as W1.
  • Generalized Weyl algebras satisfy the same graded identities as W1 under the natural grading.
  • The quantum plane with q an l-th primitive root of unity satisfies the same graded identities as the matrix algebra of order l under the Z_l x Z_l grading.
  • The universal enveloping algebra of sl_2 with its constructed natural Z-grading satisfies exactly the same graded identities as W1 in characteristic zero.

Where Pith is reading between the lines

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

  • The single-identity description may serve as a practical test for whether other naturally graded noncommutative algebras remain non-PI.
  • Embeddings into shift operator algebras appear to preserve the graded identity structure across multiple families of algebras.
  • The link in positive characteristic to matrix algebra identities suggests a possible dictionary between graded identities and finite-group representation theory for these operators.

Load-bearing premise

The base field is infinite and the algebra admits its natural Z-grading by the infinite cyclic group.

What would settle it

An explicit computation in low total degree of the free Z-graded algebra showing a multilinear graded polynomial that vanishes on W1 but is not a consequence of the degree-zero commutativity identity.

read the original abstract

We study the graded polynomial identities of the first Weyl algebra $W_1$ over an infinite field. The algebra $W_1$ satisfies no ordinary polynomial identities in characteristic 0. It admits a natural grading by the infinite cyclic group $\mathbb{Z}$. We construct a basis of the $\mathbb{Z}$-graded identities of $W_1$, which consists of a single identity. It expresses the fact that the degree 0 component in the grading is commutative. It is also well known that if the characteristic of the base field is $p>2$, then $W_1$ satisfies the same identities as the full matrix algebra of order $p$. In this situation, we describe the $\mathbb{Z}_p$-graded identities of $W_1$. Afterwards, using various combinatorial and algebraic tools we consider graded identities for various types of algebras generalizing the Weyl algebras. For example, we show that $\mathbb{Z}$-graded Galois rings in characteristic 0 satisfy the same graded identities as $W_1$ when they embed in a shift operator algebra $\mathcal{S}_1$, and as a consequence we obtain that these $\mathbb{Z}$-graded Galois rings are not PI. The same holds for the algebra of differential operators on $1$-dimensional torus. We obtain similar results for generalized Weyl algebras. We also deal with the graded identities for the quantum Weyl algebras and for the quantum plane. It turns out that in the latter case and when $q$ is the $\ell$-th primitive root of unity, one is led to study gradings by the group $\mathbb{Z}_\ell\times \mathbb{Z}_\ell$. In this case the quantum plane satisfies the same graded identities as the matrix algebra of order $\ell$. Finally we construct a natural $\mathbb{Z}$-grading on the universal enveloping algebra of $\mathfrak{sl}_2$, and prove that its $\mathbb{Z}$-graded identities are the same as those of $W_1$, in characteristic $0$.

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

0 major / 3 minor

Summary. The paper studies the graded polynomial identities of the first Weyl algebra W_1 over an infinite field. It claims to construct a basis for the Z-graded identities consisting of the single identity [x_0, y_0], which encodes commutativity of the degree-0 component. Analogous results are obtained for several generalizations (Galois rings embedding into shift operators, differential operators on the torus, generalized Weyl algebras, quantum Weyl algebras and the quantum plane, and the enveloping algebra of sl_2). In characteristic p > 2 the Z_p-graded identities are described via those of matrix algebras of order p.

Significance. If the constructions hold, the work supplies an explicit, minimal generating set for the graded T-ideal of an important non-PI algebra and extends the description to a family of related algebras. The separation of the characteristic-zero and characteristic-p cases, together with the combinatorial tools used for the generalizations, would constitute a concrete advance in the study of graded identities.

minor comments (3)
  1. [Abstract] Abstract: the phrase 'a basis of the Z-graded identities … which consists of a single identity' should be clarified to indicate whether the T-ideal is principally generated by [x_0, y_0] or whether an explicit basis of the relatively free algebra is also constructed.
  2. The statement that W_1 satisfies no ordinary polynomial identities in characteristic 0 is used as background; a brief reference or short argument confirming this fact in the graded setting would help readers unfamiliar with the ungraded case.
  3. Notation for the base field (infinite, characteristic zero or p > 2) is introduced in the abstract and main results; ensure the same hypotheses are restated at the beginning of each section treating a different algebra.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work on the graded identities of the first Weyl algebra and its generalizations. The recommendation of minor revision is noted. No specific major comments were provided in the report, so we address the overall evaluation below.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper constructs the Z-graded T-ideal of W_1 as principally generated by the single commutator identity on degree-zero variables. This follows directly from the definition of the natural Z-grading (where the degree-0 component consists of the commutative subalgebra generated by x and y with no relations forcing non-commutativity) and the standard Weyl relations [x,y]=1. The proof proceeds by explicit verification that all higher-degree monomials satisfy no additional identities beyond this generator, using combinatorial tools on the free algebra. Generalizations (Galois rings, differential operators, generalized Weyl algebras, enveloping algebra of sl_2) are shown to embed or satisfy the same relations without any parameter fitting or self-referential definitions. The characteristic-p case is separated explicitly and reduces to known matrix identities, not to any internal loop. No load-bearing self-citations or ansatzes appear; all steps are independent algebraic verifications.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard domain assumptions about the base field and the existence of natural gradings; no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption The base field is infinite
    Explicitly required for the Z-graded identities of W1 in characteristic zero.
  • domain assumption Characteristic zero or p>2 as stated for each family
    Used to distinguish ordinary identities from graded ones and to relate to matrix algebras.

pith-pipeline@v0.9.1-grok · 5905 in / 1291 out tokens · 27106 ms · 2026-06-27T10:23:48.096431+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

34 extracted references · 3 canonical work pages

  1. [1]

    S. S. de Azevedo,Graded identities for the matrix algebra of order n over an infinite field, Commun. Algebra30, No. 12(2002) 5849–5860

    2002

  2. [2]

    S. S. de Azevedo,A basis for Z-graded identities of matrices over infinite fields, Serdica Math. J.29, No. 2(2003), 149–158

    2003

  3. [3]

    Yu. A. Bahturin,Identical Relations in Lie Algebras. 2nd Ed., De Gruyter Expositions in Mathematics vol. 68, De Gruyter, 2021

    2021

  4. [4]

    Yu. A. Bahturin, S. K. Sehgal, M. V. Zaicev,Group gradings on associative algebras, J. Algebra 241, No. 2(2001) 677–698

    2001

  5. [5]

    Bahturin, V

    Yu. Bahturin, V. Drensky,Graded polynomial identities of matrices, Linear Algebra Appl. 357(2002), 15–34

    2002

  6. [6]

    V. V. Bavula,Generalized Weyl algebras and their representations, Algebra i Analiz,4, No. 2(1992), 75—97

    1992

  7. [7]

    V. V. Bavula,The group of automorphisms of the first Weyl algebra in prime characteristic and the restriction map, Glasg. Math. J.51, No. 2(2009), 263–274

    2009

  8. [8]

    Belov-Kanel, M

    A. Belov-Kanel, M. Kontsevich,The Jacobian conjecture is stably equivalent to the Dixmier conjecture, Mosc. Math. J.7, No. 2(2007) 209–218

    2007

  9. [9]

    Bergen, M

    J. Bergen, M. Cohen,Actions of commutative Hopf algebras, Bull. Lond. Math. Soc.18(1986) 159–164

    1986

  10. [10]

    K. A. Brown, K. R. Goodearl,Lectures on algebraic quantum groups, Adv. Courses Math. CRM Barcelona Birkh¨ auser Verlag, Basel, 2002

    2002

  11. [11]

    Centrone, P

    L. Centrone, P. Koshlukov, K. Pereira,A negative answer to a Bahturin–Regev conjecture about regular algebras in positive characteristic, J. Pure Appl. Algebra229(2025), paper 107933

    2025

  12. [12]

    Drensky,Free algebras and PI algebras

    V. Drensky,Free algebras and PI algebras. Graduate course in Algebra. Springer, Singapore, 2001

    2001

  13. [13]

    Fidelis, P

    C. Fidelis, P. Koshlukov,Z-graded identities of the Lie algebrasU 1, J. Algebra633(2023) 668–695

    2023

  14. [14]

    Fidelis, D

    C. Fidelis, D. Diniz, P. Koshlukov,Z-graded identities of the Virasoro algebra, J. Algebra 640(2024) 401–431

    2024

  15. [15]

    Futorny and S

    V. Futorny and S. Ovsienko,Galois orders in skew monoid rings, J. of Algebra324(2010) 598–630

    2010

  16. [16]

    Futorny and J

    V. Futorny and J. Schwarz,Algebras of invariant differential operators, J. Algebra 542 (2020), 215–229

    2020

  17. [17]

    Futorny, J

    V. Futorny, J. T. Hartwig, E. C. Jauch, J. Schwarz,Structure of Galois rings and the Gelfand- Kirillov Conjecture, arXiv preprint, arXiv:2507.10782[math.RA]

    work page arXiv

  18. [18]

    Gaddis,The Weyl algebra and its friends: a survey, S˜ ao Paulo J

    J. Gaddis,The Weyl algebra and its friends: a survey, S˜ ao Paulo J. Math. Sci.19, No. 2 (2025), Paper No. 25, 23 pp

    2025

  19. [19]

    Gaddis, P

    J. Gaddis, P. M. Ho,Fixed rings of quantum generalized Weyl algebras, Comm. Algebra 48 (2020), no. 9, 4051–4064

    2020

  20. [20]

    Giambruno and M

    A. Giambruno and M. Zaicev,Polynomial identities and asymptotic methods. Math. Surveys Monogr., vol. 122, American Mathematical Society, Providence, RI, 2005

    2005

  21. [21]

    Grinberg, T

    D. Grinberg, T. Roby, S. Wagner, M. Yin,Monomial identities in the Weyl algebra, arXiv preprint, arXiv:2405.20492

    work page arXiv

  22. [22]

    A. R. Kemer,Ideals of identities of associative algebras. Transl. from the Russian by C. W. Kohls. Transl. ed. by Ben Silver. Translations of Mathematical Monographs, 87. Providence, RI, AMS, 1991

    1991

  23. [23]

    Lopatin, C

    A. Lopatin, C. A. Rodriguez Palma,Identities for a parametric Weyl algebra over a ring, J. Algebra595(2022) 279–296

    2022

  24. [24]

    Makar-Limanov,On automorphisms of Weyl algebra, Bull

    L. Makar-Limanov,On automorphisms of Weyl algebra, Bull. Soc. Math. France112(1984), 359–363

    1984

  25. [25]

    J. C. McConnell and J. C. Robson,Noncommutative Noetherian rings, Grad. Stud. Math., vol. 30, American Mathematical Society, Providence, RI, 2001

    2001

  26. [26]

    Richard, A

    L. Richard, A. Solotar,Isomorphisms between quantum generalized Weyl algebras. J. Algebra Appl. 5 (2006), no. 3, 271–285

    2006

  27. [27]

    Schwarz,Characteristic free Galois rings and generalized Weyl algebras, arXiv preprint, arXiv:2601.10346 [math.RT]

    J. Schwarz,Characteristic free Galois rings and generalized Weyl algebras, arXiv preprint, arXiv:2601.10346 [math.RT]. GRADED IDENTITIES OF THE FIRST WEYL ALGEBRA AND ITS GENERALIZATIONS 19

    work page arXiv

  28. [28]

    S. J. Sierra, C. Walton,The universal enveloping algebra of the Witt algebra is not noetherian, Adv. Math.262(2014), 239–260

    2014

  29. [29]

    Tsuchimoto,Preliminaries on Dixmier conjecture, Mem

    Y. Tsuchimoto,Preliminaries on Dixmier conjecture, Mem. Fac. Sci. Kochi Univ. Ser. A Math.24(2003), 43–59

    2003

  30. [30]

    S. Yu. Vasilovsky,Z-graded polynomial identities of the full matrix algebra, Commun. Algebra 26, No. 2(1998) 601–612

    1998

  31. [31]

    S. Yu. Vasilovsky,Z n-graded polynomial identities of the full matrix algebra of ordern, Proc. Am. Math. Soc.127, No. 12(1999) 3517–3524

    1999

  32. [32]

    C. T. C. Wall,Graded Brauer groups, J. Reine Angew. Math.213(1964), 187–199

    1964

  33. [33]

    X. Zhao, Q. Mo, Y. Zhang,Gelfand-Kirillov dimension of generalized Weyl algebras (in memory of Guenter Rudolf Krause (1941–2015)), Comm. Algebra46 no. 10(2018), 4403— 4413

    1941

  34. [34]

    D. P. Zhelobenko,Compact Lie Groups and Their Representations, Nauka, Moscow, 1970; Transl. Math. Monogr., vol. 40, Amer. Math. Soc., Providence, RI, 1973. Shenzhen International Center for Mathematics, Southern University of Science and Technology, Shenzhen, Guangdong, P. R. China Email address:vfutorny@gmail.com 651 Sergio Buarque de Holanda, Department...

    1970