{"id":"13b9b2be-c82d-4bf8-8f4c-ea818591f312","arxiv_id":"1908.04882","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For bijective skew PBW extensions over a field, isomorphism classes of point modules modulo a graded-equivalence relation inject into the parametrizing scheme of the associated graded quantum affine space.","lead":"This paper studies point modules, a noncommutative analog of points, for rings that are only semi-graded rather than fully graded. It proves that for a broad class of non-graded quantum algebras, point modules can be mapped injectively into the point modules of a simpler graded algebra, but it does not prove the map is onto.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.1 is only an injection of a quotient into X_m0, with the equivalence relation defined as the kernel of that injection; the abstract's claim that P(A) is computed requires a bijection or image characterization that the paper never supplies.","rationale":"The reader's verdict is sound. The structural problem is not that Theorem 3.1 is false but that it is much weaker than advertised. The equivalence relation ~ is chosen as the kernel of alpha', so alpha is injective by definition; the real content is Corollary 1.5 applied to Gr(A), which says nothing about which graded point modules of Gr(A) are associated graded of point modules of A. I therefore agree with the reader's overall assessment, though I would not locate the central risk in the identification of Gr(A) with the quantum affine n-space. That identification is a plausible consequence of Theorems 1.16 and 1.17 once A is assumed to be a K-algebra, and the more consequential gap is the absence of any surjectivity or image description. I also note a smaller supporting flaw: in Example 1.7, the proof that rank(F)=n-1 for p0 in E contains the assertion rank(F) is not n because otherwise no nonzero p1 exists, 'which is false'; this is circular, since existence of p1 is exactly what p0 in E means. The formula E=V(I_F) may still be correct after replacing the argument by: p0 in E gives rank<n, and the displayed n-1 rows give rank>=n-1, hence rank=n-1. This gap reinforces rather than replaces the main concern. No formal verification or reproducible code is provided, so the conditional verdict stands.","tokens_in":13373,"tokens_out":27360,"duration_ms":276949,"concrete_test":"Test whether the map alpha: P(A)/~ -> X_m0 is surjective for a non-graded example with commutative associated graded, e.g., A=U(sl_2(K)) with Gr(A)=K[h,e,f] and, per Example 3.2(1), m0=1 and X1=P^2. Classify the N-semi-graded point modules of U(sl_2) explicitly: on a basis {v_n} of M_n, write e v_n = a_n v_{n+1}+l.o., f v_n = b_n v_{n+1}+l.o., h v_n = c_n v_{n+1}+l.o., and impose the three commutation relations. If the possible leading triples (a_n:b_n:c_n) form a proper subset of P^2, the injection in Theorem 3.1 has proper image and the paper does not compute P(A); if they fill P^2, the overclaim still lacks a proof for general A unless a surjectivity lemma is added.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim, as stated in the abstract and title, is that the set of point modules of finitely semi-graded rings is computed. Theorem 3.1 delivers less: an injective function (P(A)/~) -> X_m0, where ~ is defined by [M]~[M'] iff Gr(M) is isomorphic to Gr(M'). Because ~ is the kernel of the map to P(Gr(A)), Step 3 of Theorem 2.7 makes injectivity definitional: alpha([[M]])=[Gr(M)] is injective precisely because two classes are identified whenever their Gr-images coincide. Nothing in the proof shows that every closed point of X_m0 lies in the image, or even that the image is a recognizable subscheme. So the computation is of Gr(A)'s point scheme, not of P(A). The examples in Section 3 inherit the gap: for instance, Example 3.2(1) says U(g) has m0=1 and X1=P^{n-1}; the theorem only gives an injection into P^{n-1}. For the conclusion of the paper to be correct as advertised, one would need a surjectivity theorem, or at least a description of the image of alpha. As it stands, the central claim is an overstatement of a true but much weaker embedding result.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":13536,"tokens_out":12107,"duration_ms":126992,"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":[{"comment":"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.","section":"Theorem 2.7, Step 3"},{"comment":"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).","section":"Examples 3.2(1)-(3)"},{"comment":"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).","section":"Proof of Theorem 3.1"},{"comment":"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.","section":"Theorem 2.6"}],"minor_comments":[{"comment":"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.","section":"Definition 2.1"},{"comment":"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.","section":"Example 1.6, Case 2"},{"comment":"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.","section":"Example 1.7"}],"recommendation":"major_revision","confidential_remarks":"To the editor: the manuscript's core embedding theorem appears sound and could be of interest, but the paper as written claims more than it proves. The requested changes are substantial but local: reframe the main claims as an embedding result and clarify the field and closed-point conventions. I see no evidence of bad faith, only an overstatement of the scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nA 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.\n\nI 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.\n\nIf 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.","headline":"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.","tokens_in":14154,"tokens_out":1257,"would_cite":false,"duration_ms":15377,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16S38","16W50","16S80","16S36"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a large class of non-graded quantum algebras, every point module is represented by a closed point in a quantum affine space.","keywords":["point modules","finitely semi-graded rings","skew PBW extensions","quantum affine n-space","noncommutative algebraic geometry","strongly Noetherian algebras","point functor","Zariski topology"],"falsifier":"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}$.","tokens_in":13075,"feed_emoji":"📐","tokens_out":11521,"duration_ms":101147,"temperature":0.7,"pith_summary":"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}$.","feed_headline":"Inject point modules of ungraded algebras into quantum affine space","feed_subtitle":"For skew PBW extensions, point modules are controlled by the quantum affine space of the associated graded ring.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Introduces semi-graded rings and gives Proposition 1.10, from which Gr(B) becomes a graded algebra via the filtration (1.5).","marker":"[11]"},{"why":"Earlier companion work that defined point modules and the point functor for finitely semi-graded rings and proved the topological results reused in Theorem 2.7.","marker":"[10]"},{"why":"Contains Theorems 1.16 and 1.17, which turn the filtered skew PBW extension into a quasi-commutative associated graded ring and identify it with an iterated skew polynomial ring.","marker":"[12]"},{"why":"Proves the strong Noetherian property for bijective skew PBW extensions, securing the truncation index needed to apply Corollary 1.5.","marker":"[13]"},{"why":"Corollary E4.12 states that point modules of a strongly Noetherian finitely graded algebra are parameterized by closed points of X_m0.","marker":"[4]"},{"why":"Provides the multilinearization description of the truncated point schemes X_m and the classical parametrizations of point modules for graded algebras.","marker":"[15]"}],"fun_headline_variants":["Point modules of semi-graded rings inject into associated graded","Quantum affine space governs skew PBW point modules","Explicit point modules for semi-graded rings via projective variety","Semi-graded rings: point modules reduced to graded case","Injective point module transfer from skew PBW to quantum space"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Point modules of semi-graded rings inject into associated graded","Quantum affine space governs skew PBW point modules","Explicit point modules for semi-graded rings via projective variety","Semi-graded rings: point modules reduced to graded case","Injective point module transfer from skew PBW to quantum space"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000718,"raw_usage":{"total_tokens":3187,"prompt_tokens":867,"completion_tokens":2320,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":483,"completion_tokens_details":{"reasoning_tokens":2238}},"tokens_in":483,"tokens_out":2320,"duration_ms":15885,"temperature":1.0,"reasoning_tokens":2238,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:30:17.005092+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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}$.","supporting_citations":[{"cited_title":"and Latorre, E","cited_arxiv_id":null,"evidence_quote":"Introduces semi-graded rings and gives Proposition 1.10, from which Gr(B) becomes a graded algebra via the filtration (1.5)."},{"cited_title":"and G´ omez, J","cited_arxiv_id":null,"evidence_quote":"Earlier companion work that defined point modules and the point functor for finitely semi-graded rings and proved the topological results reused in Theorem 2.7."},{"cited_title":"and V enegas, H","cited_arxiv_id":null,"evidence_quote":"Proves the strong Noetherian property for bijective skew PBW extensions, securing the truncation index needed to apply Corollary 1.5."},{"cited_title":"and Zhang J","cited_arxiv_id":null,"evidence_quote":"Corollary E4.12 states that point modules of a strongly Noetherian finitely graded algebra are parameterized by closed points of X_m0."},{"cited_title":", Noncommutative projective geometry","cited_arxiv_id":null,"evidence_quote":"Provides the multilinearization description of the truncated point schemes X_m and the classical parametrizations of point modules for graded algebras."}],"review_version":1}