The PI Property in Algebras of Polynomial Type

Claudia Gallego; James G\'omez

REVIEW 1 major objections 2 minor 2 cited by

The PI property for several families of polynomial-type noncommutative algebras is characterized by explicit parameter, support, and structural conditions, with a new PBW basis and support criterion for the algebras B_q(f).

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-13 19:21 UTC pith:TFX2SIH4

load-bearing objection Abstract-only survey-plus-extension on PI for polynomial-type algebras; the new B_q(f) PBW and support criterion look like honest subfield progress but cannot be checked. the 1 major comments →

arxiv 2603.23724 v2 pith:TFX2SIH4 submitted 2026-03-24 math.RA

The PI Property in Algebras of Polynomial Type

James G\'omez , Claudia Gallego This is my paper

classification math.RA MSC 16R2016S3616S3017B37

keywords PI propertypolynomial identityOre extensionsquantum algebrasPBW basisDown-Up algebrasB_q(f)noncommutative algebras of polynomial type

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper surveys and reorganizes criteria that decide when several standard families of noncommutative algebras of polynomial type satisfy a polynomial identity (the PI property). The families treated include double Ore extensions, two-parameter quantum Heisenberg and matrix algebras, U_q^+(B_2), multiparametric quantum Weyl algebras, three-generator biquadratic algebras, Noetherian Down–Up algebras, and the recently introduced algebras B_q(f). For the last family the authors prove a PBW basis and show that the PI property is controlled by the support of the defining polynomial f; for Down–Up algebras they relate PI, finite generation over the center, and the FBN property. The work supplies detailed or alternative proofs of known characterizations and identities that appear in the literature, so that a reader can verify the criteria from a single source. If the characterizations hold, one can decide the PI property for each family by inspecting parameters and supports rather than by constructing identities from scratch.

Core claim

The algebras B_q(f) admit a PBW basis, and their PI property is completely controlled by the support of the polynomial f; more generally, for each of the listed families of polynomial-type algebras the PI property admits an explicit criterion in terms of the structural parameters of that family, with the Noetherian Down–Up case further linked to finiteness over the center and the FBN property.

What carries the argument

The PI property (existence of a nonzero polynomial identity satisfied by the algebra) together with PBW bases that reduce questions about identities to combinatorial data on parameters and on the support of a defining polynomial f for the algebras B_q(f).

Load-bearing premise

The characterizations rest on the standard structural hypotheses already used for each surveyed family (parameter restrictions, Ore-extension conditions, and the defining relations of B_q(f)) being exactly the conditions under which the stated PI criteria apply.

What would settle it

Exhibit a concrete algebra B_q(f) whose support of f satisfies the paper’s stated PI condition yet which fails every polynomial identity of the predicted degree, or conversely an algebra whose support violates the condition yet still satisfies a polynomial identity; the same check can be run on any of the listed classical families by comparing its parameters against the claimed criterion.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

Membership of B_q(f) in the class of PI algebras is decided by inspecting the support of f once a PBW basis is known.
For each of the classical families surveyed, the PI property reduces to a finite check on the defining parameters.
Noetherian Down–Up algebras that are PI are finite over their centers and FBN, linking three ring-theoretic properties.
Existing incomplete or identity-dependent proofs in the literature can be replaced by the uniform arguments collected here.

Where Pith is reading between the lines

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

The support criterion for B_q(f) suggests a uniform template that could be tried on other filtered deformations whose associated graded ring is a quantum polynomial ring.
Once PI is decided by support or parameters, one can systematically search for the minimal identities themselves rather than merely existence.
The Down–Up linkage among PI, module-finiteness over the center, and FBN may extend to other graded algebras with similar PBW filtrations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

Abstract-only survey-plus-extension on PI for polynomial-type algebras; the new B_q(f) PBW and support criterion look like honest subfield progress but cannot be checked.

read the letter

The one thing you need to know: this is mostly a careful consolidation of PI criteria for several noncommutative polynomial-type families, with the only clearly new claims being a PBW basis for the recently introduced algebras B_q(f) and the statement that PI for those algebras is controlled by the support of f. Everything else is review, detailed proofs of known results, identities used in the literature, and alternative proofs of existing characterizations.

What it does well, on the evidence of the abstract, is organize a lot of scattered criteria in one place—double Ore extensions, two-parameter quantum Heisenberg and matrix algebras, U_q^+(B_2), multiparametric quantum Weyl algebras, biquadratic three-generator algebras, Noetherian Down–Up algebras, and B_q(f). The Down–Up discussion that ties PI to finiteness over the center and the FBN property is useful housekeeping. The B_q(f) material is presented as genuine new theorems rather than restatements, which is the right way to flag the contribution.

Soft spots are almost entirely evidential. We have only the abstract, so the PBW argument, the precise support criterion, and the reworked proofs cannot be inspected. There is no sign of circularity or parameter-fitting; the ambient Ore-extension and parameter hypotheses for the surveyed families are simply taken as the setup, which is normal for this kind of paper. The stress-test note is right: no concrete technical failure mode is visible from the abstract alone. Significance and novelty sit where you would expect for a solid subfield extension—useful to people already working on PI and quantum algebras, not a major open-problem resolution.

Who it is for: specialists in PI theory, quantum groups, and noncommutative Noetherian rings who want a single reference for these families plus the B_q(f) results. It deserves a serious referee if the full text delivers the claimed proofs; the abstract is clear and the program is legitimate. I would not desk-reject it. Bring it to reading group only if someone is already deep in these algebras; otherwise it is a “read the B_q(f) section when it appears” paper for me. I would cite the B_q(f) theorems if they check out and I need them.

Referee Report

1 major / 2 minor

Summary. The manuscript surveys criteria for the polynomial identity (PI) property in several families of noncommutative algebras of polynomial type: double Ore extensions, two-parameter quantum Heisenberg algebras, two-parameter quantum matrix algebras, U_q^+(B_2), multiparametric quantum Weyl algebras, biquadratic algebras with three generators, Noetherian Down–Up algebras, and the recently introduced algebras B_q(f). In several cases it supplies detailed or alternative proofs of known characterizations and clarifies identities used in the literature. For Noetherian Down–Up algebras it relates the PI property to finiteness over the center and the FBN property. The principal new claims are that the algebras B_q(f) admit a PBW basis and that their PI property is controlled by the support of the polynomial f.

Significance. If the stated results hold, the paper would serve as a useful consolidated reference for PI criteria across a standard range of quantum and Ore-type algebras, while adding original structural information on B_q(f). A PBW basis together with a support criterion for the PI property would give a concrete, checkable handle on when these algebras are PI, which is of genuine interest in noncommutative ring theory. The alternative proofs and clarified identities are a service to the literature. The contribution is largely consolidative, with the B_q(f) results as the main original technical payload; their significance depends on the precision of the support criterion and the strength of the PBW argument, neither of which can be assessed from the abstract alone.

major comments (1)

Only the abstract is available for this review. The load-bearing new claims—that B_q(f) admit a PBW basis and that the PI property is controlled by the support of f—are asserted without defining relations for B_q(f), without a precise statement of the support criterion, and without any sketch of the arguments. No internal inconsistency is visible from the abstract, but correctness, completeness of hypotheses, and any reduction to known Ore-extension or PBW criteria cannot be verified. A full technical assessment requires the body of the paper.

minor comments (2)

The abstract would be more self-contained if it briefly recalled the defining relations of B_q(f) (or a precise citation to their introduction) and stated the support criterion in one sentence, so that readers can see the shape of the main new theorem without opening the full text.
The list of surveyed families is long; a short table or roadmap in the introduction (once the full text is available) mapping each family to the PI criterion used and to whether the proof is new, alternative, or cited would improve navigability.

Circularity Check

0 steps flagged

No significant circularity; abstract describes survey of external PI criteria plus independent structural claims for B_q(f).

full rationale

Only the abstract is available. It frames the work as a review of known PI criteria for several named families (double Ore extensions, quantum Heisenberg and matrix algebras, U_q^+(B_2), multiparametric quantum Weyl algebras, biquadratic algebras, Noetherian Down-Up algebras) together with detailed or alternative proofs of those external results, plus new claims that the recently introduced algebras B_q(f) admit a PBW basis and that their PI property is controlled by the support of f. Nothing in the abstract equates a claimed prediction or first-principles result to its own inputs by construction: there are no self-definitional loops, no parameters fitted to data and then re-presented as predictions, no uniqueness theorems imported solely from overlapping authors to force the conclusion, and no ansatz smuggled in via self-citation. Ordinary dependence on the prior definitions of the surveyed algebras and on cited PI criteria is standard mathematical practice and does not constitute circularity under the stated rules. With no equations or load-bearing self-citations visible that reduce the central claims to their inputs, the honest finding is score 0 and an empty steps list.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only pure-math paper. No numerical free parameters are fitted. Background is standard associative algebra / PI theory and the defining presentations of the listed families (Ore extensions, quantum parameters, Down-Up relations, and the recent definition of B_q(f)). No new physical entities. Invented entities are empty; free parameters empty; axioms are domain assumptions of noncommutative algebra as used in the abstract.

axioms (3)

domain assumption Standard definitions and prior PI criteria for double Ore extensions, quantum Heisenberg/matrix/Weyl algebras, U_q^+(B_2), biquadratic three-generator algebras, and Noetherian Down-Up algebras apply under the usual parameter hypotheses.
The survey reviews and re-proves criteria that rest on these established setups; the abstract treats them as given background.
domain assumption The algebras B_q(f) are as recently introduced, with defining relations involving a parameter q and a polynomial f.
PBW and support-of-f PI control are stated relative to that presentation; the abstract does not restate the full relations.
standard math Standard facts of associative PI theory (e.g., links among PI, finiteness over the center, and FBN for Noetherian rings) hold in the settings considered.
Used for the Down-Up discussion connecting PI, center-finiteness, and FBN.

pith-pipeline@v1.1.0-grok45 · 6069 in / 2348 out tokens · 29565 ms · 2026-07-13T19:21:47.591968+00:00 · methodology

0 comments

read the original abstract

In this article, we study the PI property for several families of noncommutative algebras of polynomial type. Specifically, we review criteria for the PI property in double Ore extensions, two-parameter quantum Heisenberg algebras, two-parameter quantum matrix algebras, the algebra $U_q^+(B_2)$, multiparametric quantum Weyl algebras, biquadratic algebras with three generators, Noetherian Down--Up algebras, and the recently introduced algebras $B_q(f)$. In several cases, we include detailed proofs of known results, provide proofs of some identities used in the literature, and present alternative proofs of results characterizing the PI property for some of these algebras. For Noetherian Down--Up algebras, we highlight the relationship between the PI property, finiteness over the center, and the FBN property. Finally, for the algebras $B_q(f)$, we prove that they admit a PBW basis and show that the PI property can be controlled in terms of the support of the polynomial $f$.

discussion (0)

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

The PI property of skew PBW extensions
math.RA 2026-06 unverdicted novelty 5.0

Bijective skew PBW extensions over prime PI-algebras have nontrivial centers, which determines their PI property from center descriptions.
The PI property of skew PBW extensions
math.RA 2026-06 unverdicted novelty 4.0

Bijective skew PBW extensions over prime PI-algebras have nontrivial centers, enabling PI property checks via center descriptions.