Computation of point modules of finitely semi-graded rings

Oswaldo Lezama

REVIEW 4 major objections 3 minor 18 references

Computation of point modules of finitely semi-graded rings

T0 review · 4 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read For a large class of non-graded quantum algebras, every point module is represented by a closed point in a quantum affine space.

desk verdict A sound but partial embedding theorem, repeatedly oversold as a complete computation; worth refereeing after the authors replace 'compute' with 'inject into' and confront the missing surjectivity. read the letter →

arxiv 1908.04882 v1 pith:226XZDZZ submitted 2019-08-13 math.RA

Oswaldo Lezama This is my paper · ORCID

classification math.RA MSC 16S3816W5016S8016S36

keywords pointmodulesfinitelysemi-gradedringsskewPBWextensionsquantumaffinen-spacenoncommutativealgebraicgeometrystronglyNoetherianalgebrasfunctorZariskitopology

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Point modules—cyclic graded modules with one-dimensional pieces in every degree—are a basic way to probe the geometry of a noncommutative algebra. For ordinary graded algebras, classical results show that point modules are often parameterized by a projective scheme. This paper extends that picture to finitely semi-graded rings, which need not be $\mathbb{N}$-graded. Its central theorem says that, up to identifying modules whose associated graded modules are isomorphic, the point modules of a finitely semi-graded ring inject into the point-module space of its associated graded ring. For bijective skew PBW extensions, that associated graded ring is the multiparameter quantum affine $n$-space, so the point modules of many non-graded quantum algebras are parameterized by closed points in a truncation $X_{m_0}$.

What carries the argument

The load-bearing object is the associated graded ring $\operatorname{Gr}(B)$ with respect to the filtration $F_n(B)=B_0\oplus\cdots\oplus B_n$. For a finitely semi-graded ring, $\operatorname{Gr}(B)$ is a finitely graded $K$-algebra generated in degree 1, and the assignment $M\mapsto\operatorname{Gr}(M)$ is injective after quotienting by $\sim$. In the skew PBW case, Theorems 1.16 and 1.17 identify $\operatorname{Gr}(A)$ with the multiparameter quantum affine $n$-space whose relations are $x_j x_i = q_{ij}x_i x_j$; the strong Noetherian property supplies the truncation index $m_0$. The explicit parametrization of the quantum affine space's point modules—the variety $E$ cut out by the $n\times n$ minors of the multilinearized relation matrix—is therefore the target into which $P(A)/\sim$ injects.

What would settle it

Compute $X_2$ directly from the quadratic defining relations of a listed skew PBW extension, without passing through $\operatorname{Gr}(A)$, and compare it with the variety $E$ from (1.1) (or (1.4)) for the same parameters; any difference in closed points, or any closed point of $E$ that fails to lift to a point module of $A$, would falsify the transfer. Equivalently, reduce each defining relation by the PBW basis and check whether all remainders lie in degree 2; a nonzero lower-degree remainder in $\operatorname{Gr}(A)$ changes the quantum-space relations and shifts the target $X_{m_0}$.

Watch

Extended reading notes

Core claim

The paper establishes a transfer principle: point modules of a finitely semi-graded ring $B$ (with $B_0=K$ a field and $B$ generated in degree 1) are controlled by point modules of its associated graded ring $\operatorname{Gr}(B)$. The map $M\mapsto \operatorname{Gr}(M)$ induces an injective function $(P(B)/\sim)\to P(\operatorname{Gr}(B))$, where $\sim$ identifies point modules with isomorphic associated gradeds. When $\operatorname{Gr}(B)$ is a strongly Noetherian finitely graded algebra, its point modules are in bijection with closed points of a finite truncation $X_{m_0}$; combining these steps gives an injection from $P(B)/\sim$ into $X_{m_0}$. For a bijective skew PBW extension $A=\sigma(K)\langle x_1,\ldots,x_n\rangle$, the associated graded ring is the multiparameter quantum affine $n$-space $K_q[x_1,\ldots,x_n]$, and the paper computes the target $X_{m_0}$ explicitly as a projective variety $E$ with a bijective shift map $\sigma:E\to E$. The injection is not asserted to be surjective in general; for the algebras handled in the final section that are not skew PBW extensions, a bijective correspondence to $X_{m_0}$ is obtained directly.

Load-bearing premise

The weakest load-bearing premise is that, for a bijective skew PBW extension, the associated graded ring $\operatorname{Gr}(A)$ built from the PBW filtration is literally the multiparameter quantum affine $n$-space $K_q[x_1,\ldots,x_n]$; this requires the PBW filtration to coincide with the semi-graduation filtration in (1.5) and the constants $q_{ij}$ to give exactly the quantum-space relations with no lower-degree remainders.

Editorial extensions

If this is right

For every bijective skew PBW extension over a field, the set of point modules up to $\sim$ is no larger than the closed-point set of a finite truncation of the quantum affine $n$-space associated to its graded ring.
For the multi-parameter quantum affine $n$-space with $n\ge3$, the truncation index is $m_0=2$, so the examples in the paper (q-Heisenberg, partial q-dilation operators, shift operators, and the quantum algebra of $so(3,K)$) all have their point-module classes contained in the explicitly described variety $E$ from (1.4) or (1.1).
The classical parametrization of the quantum affine $n$-space gives explicit defining equations for $X_{m_0}$, which means the containment of $P(A)/\sim$ can be checked by vanishing of the same multilinearized relations after passing to $\operatorname{Gr}(A)$.
For the algebras in Example 3.3 (diffusion-type algebras, quantum matrices, quantum symplectic space), the bijection between point modules and closed points of $X_{m_0}$ gives complete parametrizations, not just injections.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A testable next step is to compute the fibers of the injection $\alpha:P(A)/\sim\to X_{m_0}$ for the listed algebras; if any fiber has more than one class, then two point modules of the ungraded algebra share the same associated graded, and the transfer loses information.
The dichotomy in the quantum affine space's parametrizing variety $E$—full projective space when $q_{12}q_{23}=q_{13}$, coordinate hyperplanes otherwise—suggests that the point-module sets of the corresponding ungraded skew PBW extensions may jump as the parameters $q_{ij}$ cross this locus. The paper does not analyze this deformation behavior.
The set-level injection could likely be promoted to a morphism of schemes using the point functor for finitely semi-graded rings, which would give the ungraded point-module set a geometric structure inherited from $X_{m_0}$; the paper constructs the function but does not develop this geometry.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The real content here is an injection theorem: for a finitely semi-graded ring B, point modules modulo a graded-isomorphism relation inject into point modules of Gr(B). That transfer principle is natural, and the full proof of the parametrization of point modules for the quantum affine n-space (Example 1.7) fills a gap that the literature usually leaves to the reader. The applications to skew PBW extensions—U'(so(3,K)), dispin, Woronowicz, and others—are a legitimate corollary of the transfer setup. Those pieces are worthwhile.

The soft spots are real and proportionally serious. The title and abstract say the set of point modules is computed, but the theorems only give an injection of a quotient into a known scheme. The quotient relation ~ is defined as equality of associated gradeds, so the injectivity of alpha in Theorem 2.7 is true by construction—it is the kernel of the map to P(Gr(B)). Nothing in the paper shows surjectivity or even characterizes the image. For the quantum affine n-space itself the examples do give a bijection, because there the parametrization is already known; but for the skew PBW extensions the result is only an embedding into X_m0. That is a genuine overstatement, not a cosmetic one. A reader expecting the promised computation will be misled.

A second, minor concern is Theorem 3.1's identification of Gr(A) with K_q[x1,...,xn]. It depends on the PBW filtration coinciding with the semi-graduation filtration, and on the quasi-commutative bijective extension being an iterated skew polynomial ring with the stated constants. That is probably right, but the paper asserts rather than proves the filtration coincidence, and the examples inherit that dependence.

I also want to say the self-citation pattern is not by itself a flaw—the cited papers are the actual sources for the definitions and prior results. The issue is more that the novelty over Gr(A)-transfer is modest once you see that the equivalence relation is chosen to make the map injective.

If revised honestly—retitled to something like 'An embedding of point modules of finitely semi-graded rings' and explicitly renouncing surjectivity—this is a modest but sound contribution. As it stands, it needs a major revision before it should appear. Still, the underlying mathematics is coherent, and the quantum affine n-space proof is genuinely useful. I would send it to a referee, but I would prepare the referee for an overclaim.

Referee Report

4 major / 3 minor

Summary. The paper proposes a method for computing point modules of finitely semi-graded (FSG) rings. It reviews point modules for graded algebras, FSG rings, and skew PBW extensions; for a point module M of a FSG ring B it constructs the associated graded module Gr(M), defines an equivalence relation ~ on P(B) by isomorphism of the associated graded modules, and proves in Theorem 2.7 that P(B)/~ injects into P(Gr(B)). Theorem 3.1 applies this to bijective skew PBW extensions over a field K and asserts an injection from P(A)/~ into the closed points of a truncation X_{m0} of the point scheme of Gr(A). The final section gives examples, including enveloping algebras, the quantum algebra U'(so(3,K)), and algebras whose associated graded is a multiparameter quantum affine n-space.

Significance. If the core embedding theorem is valid, it provides a useful transfer tool: point modules of non-N-graded FSG rings can be studied through their associated gradeds, and the paper gives a careful and largely correct parametrization of point modules for the multiparameter quantum affine n-space in Example 1.7. The explicit construction of Gr(M) and the statement of the main map are assets. However, the advertised computation of P(A) is not delivered: the main theorem is an injection of a quotient defined as the kernel of that injection, not a bijection or a description of the image. The significance is therefore moderate and conditional on reframing the claims as an embedding theorem.

major comments (4)

[Theorem 2.7, Step 3] The advertised computation of P(B) is not delivered. The injectivity of alpha is definitional, because the equivalence relation ~ identifies [M] and [M'] exactly when Gr(M) and Gr(M') are isomorphic; consequently the map alpha is injective by construction. No surjectivity or image characterization is proved, so the paper establishes only an embedding of P(B)/~ into P(Gr(B)). This gap propagates to Theorem 3.1, and the abstract and title overstate the result. To support the stated conclusion, the authors need either a bijection theorem or an explicit description of the image of alpha, or they must reformulate the claims as an embedding result.
[Examples 3.2(1)-(3)] The displayed parametrizations, such as X_1 = P^{n-1} in Example 3.2(1) and X_2 as in (1.1) and (1.4) in Examples 3.2(2)-(3), describe the point scheme of Gr(A), not of A itself. For instance, Example 3.2(1) states m0=1 and X_1=P^{n-1}; the theorem only gives an injection P(U(g))/~ into P^{n-1}. Without a surjectivity result for alpha or a description of its image, these examples cannot be read as computations of P(A).
[Proof of Theorem 3.1] The identification of Gr(A) with the n-multiparametric quantum affine space K_q[x_1,...,x_n] is asserted rather than proved. One must verify that the constants appearing in the quasi-commutative relations of Gr(A) are exactly the q_ij used in the examples, that the standard monomials of Gr(A) form a PBW basis for K_q[x_1,...,x_n], and that the filtration in Theorem 1.16 coincides with the semi-graduation filtration in (1.5). The parenthetical 'in A, x_i r = r x_i' also assumes K is central in A, a hypothesis not stated in Theorem 3.1. This identification is load-bearing because X_{m0} in the examples is the truncation of the point scheme of Gr(A).
[Theorem 2.6] The stated bijection between P(B) and the closed points of a parametrizing K-scheme X is not valid for arbitrary fields. Representability gives P(B;K) = X(K), and K-points are not generally in bijection with closed points unless K is algebraically closed or one restricts to closed points with residue field K. This is not a formal consequence of representability, and it affects the target set used in Theorem 2.7(ii) and Theorem 3.1. The paper should either add an algebraically closed hypothesis, replace 'closed points' by 'K-points' in the statements, or prove the claimed correspondence for the particular point schemes under consideration.

minor comments (3)

[Definition 2.1] The notation dim_{B0}(M_n) is used before B0 is specified to be a field; in the definition of FSG rings, B0 is only a ring. Since the main results assume B0=K, this can be fixed by stating explicitly in Definition 2.1 that B0 is a field or by using rank over B0 under additional hypotheses.
[Example 1.6, Case 2] In the argument after 'det(G)=0', the implication x_1 y_1 z_1 = 0 is used without displaying the determinant; writing det(G) = x_1 y_1 z_1(q_{13} - q_{12}q_{23}) would make that step easier to follow.
[Example 1.7] The large matrix defining the system is difficult to read, and some displayed entries such as '-q_{24}x_2^0' appear with inconsistent signs in the text. A block decomposition of the matrix in terms of the rows for each pair (i,j) would improve clarity.

Circularity Check

1 steps flagged · score 2.0 of 10

The injection in Theorem 2.7 is partly definitional: the equivalence relation ~ is chosen as the kernel of the Gr-map, so the embedding P(A)/~ → X_m0 is injective by construction; the advertised computation of P(A) would require surjectivity or an image description that the paper never supplies.

self definitional [Theorem 2.7(i), definition of ~ and Step 3 (Section 2)]
"where ∼ is the relation in P(B) defined by [M] ∼ [M′] ⇔ Gr(M) ∼= Gr(M′) ... It is clear that α is a well-defined injective function."

The injectivity of α is built into the definition of ~: α sends [[M]] to [Gr(M)], and two classes are identified exactly when their Gr-images coincide. Thus the quotient P(B)/~ is, by construction, the kernel quotient of the map α′, and the injectivity of α is a formal consequence of the definition rather than an independently established parametrization. No argument shows that the image of α in P(Gr(B)), or in the closed points of X_m0, is all of X_m0 or even a recognizable subscheme. Consequently Theorem 3.1 gives only an injection of a quotient, while the abstract promises that the set of point modules is computed; that stronger claim would need a bijection or an image description. The step is true but tautological.

full rationale

The paper's main independent content is the parametrization of the point modules of the quantum affine n-space (Example 1.7) and the transfer from Gr(A) to A via the associated graded construction. These parts are not circular: the quantum-space computation is carried out directly, and the identification Gr(A) ≅ K_q[x_1,...,x_n] rests on general theorems about skew PBW extensions, not on the point-module conclusion being proved. The frequent self-citations, especially [10], [12], and [13], are load-bearing in the sense that the paper relies on earlier results by the same author and collaborators, but those cited results are general theorems about semi-graded rings and skew PBW extensions rather than restatements of the target point-module parametrization; under the stated rules this is not circularity. The genuine weakness is that Theorem 2.7(i) makes injectivity of α definitional by declaring ~ to be the kernel of the map to P(Gr(B)), and Theorem 3.1 therefore establishes only an injection of the quotient into X_m0. The abstract's language that the set of point modules is 'computed' overstates the result, since no surjectivity or image characterization is proved. This is an overclaim and a definitional tautology in one step, not a fitted-parameter or self-citation chain, so a score of 2 is appropriate.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no free fitted parameters; the q_ij and similar constants are structural data of the algebras, not numbers chosen to fit a result. The axioms above are the background theorems on skew PBW extensions and point schemes that the central injection relies on, most of them from the author's own prior work.

assumptions (4)

standard math Theorem 1.17: a quasi-commutative skew PBW extension over R is isomorphic to an iterated skew polynomial ring R[z1;theta1]...[zn;thetan].
Used in Theorem 3.1 to identify Gr(A) with the quantum affine n-space K_q[x1,...,xn].
standard math Corollary 1.5: for a finitely graded strongly Noetherian algebra with generators in degree 1, the point modules are in bijection with X_m0 for some m0.
Provides the target scheme X_m0 for P(Gr(A)); cited from [4], used in Theorem 3.1.
standard math Theorem 1.19: a bijective skew PBW extension of a left strongly Noetherian K-algebra is left strongly Noetherian.
Used to conclude that Gr(A) is strongly Noetherian, a hypothesis of Corollary 1.5; taken from [13].
domain assumption The PBW filtration of a skew PBW extension coincides with the semi-graduation filtration (1.5).
Needed so that the associated graded ring Gr(A) of the FSG structure is the same as the classical Gr(A) whose point modules are parametrized.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Computation of point modules of finitely semi-graded rings." pith.science (2026). https://pith.science/paper/226XZDZZ

@misc{pith2026190804882,
  author       = {Pith},
  title        = {Pith review of: Computation of point modules of finitely semi-graded rings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/226XZDZZ}},
  note         = {Machine review of arXiv:1908.04882}
}

abstract

In this paper we compute the set of point modules of finitely semi-graded rings. In particular, from the parametrization of the point modules for the quantum affine n-space, the set of point modules for some important examples of non $\mathbb{N}$-graded quantum algebras is computed.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 16 canonical work pages

[1]

and Zhang, J.J

Artin, M., Small, L.W. and Zhang, J.J. , Generic ﬂatness for strongly Noetherian algebras , J. Algebra 221 (1999), no. 2, 579-610. DOI: 10.1006/jabr.1999.7 997

work page doi:10.1006/jabr.1999.7 1999
[2]

and V an den Bergh, M

Artin, M., T ate, J. and V an den Bergh, M. , Some algebras associated to automorphisms of elliptic curves , The Grothendieck Festchrift, Vol. I, Birkh¨ auser Boston, 1990 , 33-85. DOI: 10.1007/978-0-8176-4574-8-3

work page doi:10.1007/978-0-8176-4574-8-3 1990
[3]

and Zhang J

Artin, M. and Zhang J. J. , Noncommutative projective schemes , Adv. Mah. 109 (2), 1994, 228-287. DOI: 10.1006/aima.1994.1087

arXiv 1994
[4]

and Zhang J

Artin, M. and Zhang J. J. , Abstracts Hilbert schemes , Represent. Theory 4, 2001, 305-394

work page 2001
[5]

and V ancliﬀ, M

Cassidy , T. and V ancliﬀ, M. , Generalizations of graded Cliﬀord algebras and of complete iin- tersections, J. Lond. Math. Soc. 81, 2010, 91-112

work page 2010
[6]

Thesis, University of Oregon, 2003

Goetz, P ., The Noncommutative Algebraic Geometry of Quantum Projecti ve Spaces, Ph.D. Thesis, University of Oregon, 2003

work page 2003
[7]

, Non-commutative projective Calabi-Yau schemes , Journal of Pure and Applied Algebra, 219(7), 2015, 2771-2780

Kanazawa, A. , Non-commutative projective Calabi-Yau schemes , Journal of Pure and Applied Algebra, 219(7), 2015, 2771-2780

work page 2015
[8]

, Some open problems in the context of skew PBW extensions and s emi-graded rings, submitted

Lezama, O. , Some open problems in the context of skew PBW extensions and s emi-graded rings, submitted

work page

Show all 18 references

[9]

and Gallego, C

Lezama, O. and Gallego, C. , Gr¨ obner bases for ideals of sigma-PBW extensions , Communica- tions in Algebra, 39 (1), 2011, 50-75. DOI: 10.1080/00927870903 431209

2011 doi
[10]

and G´ omez, J

Lezama, O. and G´ omez, J. A. , Koszulity and point modules of ﬁnitely semi-graded rings an d algebras, Symmetry, 11 (7), 2019, 1-22. 12

2019
[11]

and Latorre, E

Lezama, O. and Latorre, E. , Non-commutative algebraic geometry of semi-graded rings , Inter- national Journal of Algebra and Computation, 27 (4), 2017, 361- 389

2017
[12]

& Reyes, M

Lezama, O. & Reyes, M. , Some homological properties of skew P BW extensions, Comm. in Algebra, 42, (2014), 1200-1230. DOI: 10.1080/00927872.2012.7 35304

2014
[13]

and V enegas, H

Lezama, O. and V enegas, H. , Some homological properties of skew PBW extensions arising in non-commutative algebraic geometry , Discussiones Mathematicae-General Algebra and Applica- tions, 37, 2017, 45-57

2017
[14]

, Ring and Module Theoretic Properties of σ− P BW Extensions, Tesis de Doctorado, Universidad Nacional de Colombia, Bogot´ a, 2013

Reyes, A. , Ring and Module Theoretic Properties of σ− P BW Extensions, Tesis de Doctorado, Universidad Nacional de Colombia, Bogot´ a, 2013

2013
[15]

, Noncommutative projective geometry

Rogalski, D. , Noncommutative projective geometry. In Noncommutative al gebraic geometry, vol. 64 of Math. Sci. Res. Inst. Publ. Cambridge Univ. Press, New York, 2016, pp. 13-70

2016
[16]

Smith, S.P ., The four-dimensional Sklyanin algebras , K-Theory 8, 1994, 65-80

1994
[17]

, Basic Algebraic Geometry , Vols

Shafarevich, I.R. , Basic Algebraic Geometry , Vols. 1 and 2, Springer, 2013

2013
[18]

, The interplay of algebra and geometry in the setting of regul ar algebras , Comm

V ancliﬀ, M. , The interplay of algebra and geometry in the setting of regul ar algebras , Comm. Algebra and Noncomm. Algebraic Geo. I, 2015, vol. 67. 13

2015

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

and Zhang, J.J

Artin, M., Small, L.W. and Zhang, J.J. , Generic ﬂatness for strongly Noetherian algebras , J. Algebra 221 (1999), no. 2, 579-610. DOI: 10.1006/jabr.1999.7 997

work page doi:10.1006/jabr.1999.7 1999

[2] [2]

and V an den Bergh, M

Artin, M., T ate, J. and V an den Bergh, M. , Some algebras associated to automorphisms of elliptic curves , The Grothendieck Festchrift, Vol. I, Birkh¨ auser Boston, 1990 , 33-85. DOI: 10.1007/978-0-8176-4574-8-3

work page doi:10.1007/978-0-8176-4574-8-3 1990

[3] [3]

and Zhang J

Artin, M. and Zhang J. J. , Noncommutative projective schemes , Adv. Mah. 109 (2), 1994, 228-287. DOI: 10.1006/aima.1994.1087

arXiv 1994

[4] [4]

and Zhang J

Artin, M. and Zhang J. J. , Abstracts Hilbert schemes , Represent. Theory 4, 2001, 305-394

work page 2001

[5] [5]

and V ancliﬀ, M

Cassidy , T. and V ancliﬀ, M. , Generalizations of graded Cliﬀord algebras and of complete iin- tersections, J. Lond. Math. Soc. 81, 2010, 91-112

work page 2010

[6] [6]

Thesis, University of Oregon, 2003

Goetz, P ., The Noncommutative Algebraic Geometry of Quantum Projecti ve Spaces, Ph.D. Thesis, University of Oregon, 2003

work page 2003

[7] [7]

, Non-commutative projective Calabi-Yau schemes , Journal of Pure and Applied Algebra, 219(7), 2015, 2771-2780

Kanazawa, A. , Non-commutative projective Calabi-Yau schemes , Journal of Pure and Applied Algebra, 219(7), 2015, 2771-2780

work page 2015

[8] [8]

, Some open problems in the context of skew PBW extensions and s emi-graded rings, submitted

Lezama, O. , Some open problems in the context of skew PBW extensions and s emi-graded rings, submitted

work page