pith. sign in

arxiv: 2606.08263 · v1 · pith:ZXIJ2NX6new · submitted 2026-06-06 · 🧮 math.RA

Twisted generalized Weyl Poisson algebras of type (A₁)^n

Jason Gaddis This is my paper

Pith reviewed 2026-06-27 18:44 UTC · model grok-4.3

classification 🧮 math.RA
keywords twisted generalized Weyl Poisson algebrasPoisson algebrasOre extensionsskew Laurent Poisson algebrassimplicity criterioninvariant ringstensor productstype (A1)^n
0
0 comments X

The pith

Twisted generalized Weyl Poisson algebras of type (A1)^n exist via Ore extensions and skew Laurent constructions and remain closed under tensor products, twists, and invariants, with a simplicity criterion.

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

The paper defines twisted generalized Weyl Poisson algebras as Poisson analogues of the twisted generalized Weyl algebras of Mazorchuk and Turowska. These algebras are built for underlying rings of type (A1)^n using two explicit constructions: Ore extensions and skew Laurent Poisson algebras. The Poisson bracket is shown to survive tensor products of such algebras, further Poisson twists, and passage to rings of invariants. A criterion is supplied that decides when the resulting Poisson algebra is simple. This supplies a systematic way to produce and classify families of Poisson algebras whose ideals can be controlled.

Core claim

We introduce a generalization of generalized Weyl Poisson algebras. This is a Poisson analogue of the twisted generalized Weyl algebras defined by Mazorchuk and Turowska. We prove existence of these algebras in two ways, using Ore extensions and by using skew Laurent Poisson algebras. It is shown that this structure is preserved under tensor products, Poisson twists, and by taking invariant rings. Finally, we prove a simplicity criterion for these Poisson algebras.

What carries the argument

The twisted generalized Weyl Poisson algebra of type (A1)^n, realized as an Ore extension or skew Laurent Poisson algebra whose twisting parameters satisfy the necessary commutation and derivation conditions.

If this is right

  • Tensor products of twisted generalized Weyl Poisson algebras are again twisted generalized Weyl Poisson algebras.
  • Applying a Poisson twist to such an algebra yields another algebra of the same type.
  • The ring of invariants under a suitable group action is again a twisted generalized Weyl Poisson algebra.
  • The simplicity criterion gives an explicit test for the absence of nontrivial Poisson ideals.

Where Pith is reading between the lines

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

  • The constructions may extend to other Dynkin types if analogous twisting relations can be defined.
  • Simplicity results could be used to produce examples of Poisson algebras whose symplectic leaves are easy to describe.
  • Quantization of these Poisson algebras might recover known families of twisted Weyl algebras in the noncommutative setting.

Load-bearing premise

The chosen twisting parameters and the base ring of type (A1)^n must satisfy the algebraic relations that make the Ore extension or skew Laurent construction produce a Poisson algebra.

What would settle it

An explicit choice of twisting parameters on a concrete ring of type (A1)^n for which either the resulting bracket fails to satisfy the Poisson identity or the algebra contains a nontrivial Poisson ideal not predicted by the stated simplicity criterion.

read the original abstract

We introduce a generalization of generalized Weyl Poisson algebras. This is a Poisson analogue of the twisted generalized Weyl algebras defined by Mazorchuk and Turowska. We prove existence of these algebras in two ways, using Ore extensions and by using skew Laurent Poisson algebras. It is shown that this structure is preserved under tensor products, Poisson twists, and by taking invariant rings. Finally, we prove a simplicity criterion for these Poisson algebras.

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 introduces twisted generalized Weyl Poisson algebras of type (A_1)^n as a Poisson analogue of the twisted generalized Weyl algebras of Mazorchuk and Turowska. Existence is established in two ways (via Ore extensions and via skew Laurent Poisson algebras). The structure is shown to be preserved under tensor products, Poisson twists, and passage to invariant rings. A simplicity criterion is proved.

Significance. If the constructions and proofs are correct, the work supplies a flexible family of Poisson algebras closed under several natural operations and equipped with an explicit simplicity test. This enlarges the stock of explicitly describable Poisson algebras and may be useful for studying Poisson structures arising from noncommutative deformations or invariant theory.

major comments (2)
  1. [§3] §3 (Ore-extension construction): the verification that the extended bracket satisfies the Jacobi identity and the Leibniz rule with respect to the twisting automorphism and derivation appears to rely on direct but lengthy case-by-case checks; it is not clear whether a uniform argument covers all parameters simultaneously or whether additional restrictions on the twisting data are needed beyond those stated in Definition 2.3.
  2. [Theorem 5.4] Theorem 5.4 (simplicity criterion): the necessity direction assumes that the base ring is a domain and that the twisting parameters satisfy a non-degeneracy condition (implicit in the statement), but the sufficiency proof invokes the absence of nontrivial Poisson ideals without exhibiting an explicit generating set for any proper ideal; a concrete counter-example or additional hypothesis may be required when the base field has positive characteristic.
minor comments (2)
  1. [§2, §4] Notation for the twisting maps (e.g., σ_i, δ_i) is introduced in §2 but reused with the same symbols in the tensor-product and invariant-ring sections without re-statement; a short table or reminder would improve readability.
  2. [§4] The abstract claims two independent existence proofs, yet the skew-Laurent construction in §4 is presented only after the Ore-extension one; a brief comparison paragraph explaining why both are needed would clarify the logical structure.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and indicate the revisions we plan to make.

read point-by-point responses

  1. Referee: [§3] §3 (Ore-extension construction): the verification that the extended bracket satisfies the Jacobi identity and the Leibniz rule with respect to the twisting automorphism and derivation appears to rely on direct but lengthy case-by-case checks; it is not clear whether a uniform argument covers all parameters simultaneously or whether additional restrictions on the twisting data are needed beyond those stated in Definition 2.3.

    Authors: The verification in §3 is carried out by direct computation on the generators of the algebra. Although the checks are divided into cases corresponding to the different types of monomials, the reasoning is uniform and applies to all parameters satisfying the conditions of Definition 2.3 without requiring further restrictions. The twisting automorphism and derivation are defined in a way that ensures the identities hold generally. To address the concern, we will include a brief remark explaining the uniformity of the argument across the cases. revision: partial

  2. Referee: [Theorem 5.4] Theorem 5.4 (simplicity criterion): the necessity direction assumes that the base ring is a domain and that the twisting parameters satisfy a non-degeneracy condition (implicit in the statement), but the sufficiency proof invokes the absence of nontrivial Poisson ideals without exhibiting an explicit generating set for any proper ideal; a concrete counter-example or additional hypothesis may be required when the base field has positive characteristic.

    Authors: In Theorem 5.4, the necessity part is stated with the assumptions that the base ring is a domain and the non-degeneracy condition on the parameters, as noted. For the sufficiency, the proof shows that any nonzero Poisson ideal must contain a nonzero element from the base or lead to a contradiction with the simplicity of the base algebra using the explicit relations. While an explicit set of generators for hypothetical proper ideals is not listed, the argument is by contradiction based on the structure. We agree that in positive characteristic additional verification may be needed; we will add a hypothesis that the base field has characteristic zero to ensure the result holds without further conditions. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces twisted generalized Weyl Poisson algebras via two independent constructions (Ore extensions and skew Laurent Poisson algebras) and then proves closure under tensor products, Poisson twists, and invariants plus a simplicity criterion. These steps rely on standard algebraic constructions and explicit verification of the Poisson axioms rather than any self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The abstract and described chain contain no equations or claims that reduce the target properties to their own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The abstract provides no explicit free parameters, axioms, or invented entities beyond the standard background of Poisson algebra theory. The new algebras themselves are the introduced objects.

axioms (1)
  • standard math Standard axioms of Poisson algebras over a field (skew-symmetry, Jacobi identity, Leibniz rule).
    Invoked implicitly by any work in this area; no specific section quoted because only abstract is available.
invented entities (1)
  • Twisted generalized Weyl Poisson algebra of type (A1)^n no independent evidence
    purpose: Generalization of generalized Weyl Poisson algebras with twisting, preserving Poisson structure under specified operations.
    The central new object defined in the paper; no independent evidence outside the construction itself is mentioned in the abstract.

pith-pipeline@v0.9.1-grok · 5581 in / 1237 out tokens · 12810 ms · 2026-06-27T18:44:18.867097+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

23 extracted references · 1 canonical work pages

  1. [1]

    V. V. Bavula. The generalized Weyl Poisson algebras and their Poisson simplicity criterion.Lett. Math. Phys., 110(1):105– 119, 2020

    2020

  2. [2]

    A. D. Bell. Localization and ideal theory in Noetherian strongly group-graded rings.J. Algebra, 105(1):76–115, 1987

    1987

  3. [3]

    Bell and D

    J. Bell and D. Rogalski.Z-graded simple rings.Transactions of the American Mathematical Society, 368:4461–4496, 2016

    2016

  4. [4]

    Castellan

    S. Castellan. Automorphism groups of deformations and quantizations of Kleinian singularities.Transformation Groups, pages 1–39, 2024

    2024

  5. [5]

    Cho and S.-Q

    E.-H. Cho and S.-Q. Oh. Semiclassical limits of Ore extensions and a Poisson generalized Weyl algebra.Lett. Math. Phys., 106(7):997–1009, 2016

    2016

  6. [6]

    Futorny and J

    V. Futorny and J. T. Hartwig. Multiparameter twisted Weyl algebras.J. Algebra, 357:69–93, 2012

    2012

  7. [7]

    Gaddis and P

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

    2020

  8. [8]

    Gaddis and D

    J. Gaddis and D. Rosso. Fixed rings of twisted generalized Weyl algebras.J. Pure Appl. Algebra, 227(4):107257, 2023

    2023

  9. [9]

    Gaddis and D

    J. Gaddis and D. Rosso. Twists of twisted generalized Weyl algebras.Bull. Lond. Math. Soc., 57(9):2680–2697, 2025

    2025

  10. [10]

    Gaddis, D

    J. Gaddis, D. Rosso, and R. Won. Weight modules over Bell-Rogalski algebras.J. Algebra, 633:270–297, 2023

    2023

  11. [11]

    Gaddis, D

    J. Gaddis, D. Rosso, and R. Won. Higher rank Bell–Rogalski algebras.arxiv preprint:2506.20393, 2025

    work page arXiv 2025

  12. [12]

    Gaddis and R

    J. Gaddis and R. Won. Fixed rings of generalized Weyl algebras.J. Algebra, 536:149–169, 2019

    2019

  13. [13]

    J. T. Hartwig and J. ¨Oinert. Simplicity and maximal commutative subalgebras of twisted generalized Weyl algebras.J. Algebra, 373:312–339, 2013

    2013

  14. [14]

    J. T. Hartwig. Twisted generalized Weyl algebras, polynomial Cartan matrices and Serre-type relations.Comm. Algebra, 38(12):4375–4389, 2010

    2010

  15. [15]

    E. Jespers. Simple graded rings.Comm. Algebra, 21(7):2437–2444, 1993

    1993

  16. [16]

    D. A. Jordan. Simple skew Laurent polynomial rings.Comm. Algebra, 12(1-2):135–137, 1984

    1984

  17. [17]

    D. A. Jordan and I. E. Wells. Invariants for automorphisms of certain iterated skew polynomial rings.Proc. Edinburgh Math. Soc. (2), 39(3):461–472, 1996

    1996

  18. [18]

    Levitt and M

    J. Levitt and M. Yakimov. Quantized Weyl algebras at roots of unity.Israel J. Math., 225(2):681–719, 2018

    2018

  19. [19]

    Maltsiniotis

    G. Maltsiniotis. Groupes quantiques et structures diff´ erentielles.C. R. Acad. Sci. Paris S´ er. I Math., 311(12):831–834, 1990

    1990

  20. [20]

    Mazorchuk and L

    V. Mazorchuk and L. Turowska. Simple weight modules over twisted generalized Weyl algebras.Comm. Algebra, 27(6):2613– 2625, 1999

    1999

  21. [21]

    S.-Q. Oh. Poisson polynomial rings.Comm. Algebra, 34(4):1265–1277, 2006

    2006

  22. [22]

    S.-Q. Oh. A natural map from a quantized space onto its semiclassical limit and a multi-parameter Poisson Weyl algebra. Comm. Algebra, 45(1):60–75, 2017

    2017

  23. [23]

    X. Tang, X. Wang, and J. J. Zhang. Twists of graded Poisson algebras and related properties.J. Geom. Phys., 207:Paper No. 105344, 2025. Miami University, Department of Mathematics, Oxford, Ohio 45056 Email address:gaddisj@miamioh.edu 15

    2025