{"id":"f3c45cfd-8154-457f-87c5-66b1940458ba","arxiv_id":"2412.17261","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The second quantum Weyl algebra at roots of unity has PI degree n1 n2 times ord(λ^{n1 n2}), and its simple modules split into three torsion types, each explicitly constructed and classified.","lead":"Researchers determined the exact PI degree and classified all finite-dimensional simple modules of the multiparameter second quantum Weyl algebra when its parameters are roots of unity. This completes a problem posed by Chelsea Walton for the two-generator quantum Weyl algebra.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The complete-classification claim is not supported for Type-III modules: Section 9 lists only possible dimensions and defers the actual classification to [17], without describing the modules or their isomorphism classes.","rationale":"Reading the paper in good faith, the PI-degree formula in Theorem 3.4 rests on a specific external theorem [14, Theorem 7] whose hypotheses the paper asserts but does not verify; the q-commutation checks given in Step 1 of Section 3 are plausible, so I do not make that the primary attack. The more decisive soft spot is the Type-III section: the paper promises a complete classification but, for the Type-III case, it does not classify anything beyond listing four possible dimensions. The reduction to O_Λ(K^4)/⟨1+(ε1-1)y1x1⟩ is a good start, but 'based on [17] we can classify' is not a classification. Since the main claim explicitly includes Type-III modules 'described via [17]', the reader's CONDITIONAL verdict is appropriate; the condition should be that Section 9 be expanded into an explicit theorem with the actual modules and isomorphism criteria. I therefore keep the verdict unchanged.","tokens_in":34444,"tokens_out":24671,"duration_ms":195083,"concrete_test":"Write out the Type-III classification explicitly: for each of the four cases in Section 9 (x2,y2 invertible; x2 invertible/y2 nilpotent; x2 nilpotent/y2 invertible; both nilpotent), present the simple modules of O_Λ(K^4)/⟨1+(ε1-1)y1x1⟩ as explicit quotient modules of the [17] classification, with isomorphism criteria. Then test a concrete parameter set (e.g., n1=2, n2=3, n3=6, ε1=ξ^3, ε2=ξ^2, λ=ξ) by constructing all simple modules of the quotient with a computer algebra system (GAP/QPA or Singular); if any simple module found does not match the expanded Type-III list, or if the listed dimensions in Section 9 omit an actual module, the classification claim is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 9 handles all w1-torsion simple modules by asserting that they correspond to simple modules over O_Λ(K^4)/⟨1+(ε1-1)y1x1⟩ with invertible x1,y1 and that 'based on' the classification in [17] 'we can classify' them; the section then lists four possible K-dimensions and immediately concludes the classification. No explicit Type-III module family is constructed, no statement is given of which [17] modules survive the quotient relation, and no isomorphism criterion is provided. The strongest_claim asserts every simple module is V1–V6 or a Type-III module described via [17]; since Section 9 does not actually describe those modules, the promised completeness of the classification is not established. This is an internal omission, not a clash with external consensus. The PI-degree computation and Types I–II appear plausible, but they do not fill this gap.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the multiparameter second quantum Weyl algebra A(ε1,ε2,λ) over an algebraically closed field when the deformation parameters are roots of unity. The main results are an explicit PI-degree formula (Theorem 3.4): PI-deg A = n1 n2 t3 with t3 = ord(λ^{n1 n2}), and a classification of simple modules into Type-I (families V1–V4), Type-II (families V5–V6), and Type-III modules, the last being handled through the author's earlier classification of simple modules over quantum affine space [17]. The paper claims that this gives a complete solution to Walton's Problem 2 for the second quantum Weyl algebra.","tokens_in":34589,"tokens_out":28785,"duration_ms":219256,"significance":"If correct, the PI-degree formula is a clean, parameter-free extension of the author's previous divisibility-condition result, and the classification would be the first complete classification of simple modules for this algebra without extra hypotheses. The paper contains explicit module constructions and isomorphism criteria for Types I and II, with concrete dimension formulas, and the PI-degree derivation is a genuine application of established theorems. However, the Type-III part of the classification is not actually carried out in the manuscript, and one proof in Section 6 relies on an incorrect centrality claim. These issues affect the central completeness claim, so the significance is conditional on a completed and corrected treatment.","major_comments":[{"comment":"The Type-III classification is not carried out. The section asserts that a w1-torsion simple module corresponds to a simple module over O_Λ(K^4)/<1+(ε1-1)y1x1> with invertible x1,y1, invokes the classification of [17], lists four possible K-dimensions, and then concludes the classification. No Type-III module family is explicitly constructed, no statement is given of which simple modules over O_Λ(K^4) survive the quotient relation, and no isomorphism criterion is provided. Since completeness of the classification is one of the two central claims of the paper, this is a load-bearing gap. The section should either give the explicit Type-III modules and their isomorphism classes, or provide a precise reduction to [17] with a bijection on isomorphism classes and a proof of exhaustiveness.","section":"Section 9"},{"comment":"The opening of Section 6 states that x1^{n1}, y1^{n1}, x2^{n2}, y2^{n2} are central elements and uses Schur's lemma to conclude that each acts as a scalar. This is false in general: for instance, x1^{n1} y2 = λ^{−n1} y2 x1^{n1} by the relations in (2.1), which equals y2 x1^{n1} only if λ^{n1}=1, a condition not assumed when n3 does not divide n1. Consequently the stated proof of the dichotomy 'each of x1,y1,x2,y2 is nilpotent or invertible' is invalid. The dichotomy can likely be recovered by proving that these powers are normal elements and using the fact that the kernel of a normal element on a simple module is a submodule, but this argument is not given and would also require correcting Corollary 2.2, which is false as stated.","section":"Section 6 (and Corollary 2.2)"},{"comment":"The derivation-erasing step is not fully justified. The paper asserts that all hypotheses of [14, Theorem 7] are satisfied, but only verifies the q-skew relation δi τi = εi τi δi for i=1,2. The hypotheses of Leroy–Matczuk's theorem concern the structure of iterated Ore extensions satisfying a polynomial identity, and the manuscript does not spell out or check them. Since the equality PI-deg A = PI-deg O_Λ(K^4) is the foundation of Theorem 3.4, the verification should be written out explicitly, or the theorem should be quoted with its hypotheses and a point-by-point check.","section":"Section 3, Step 1"}],"minor_comments":[{"comment":"In the proof of Theorem 5.1, Case 2, the range '1 ≤ j ≠ s ≤ n1 − 1' should presumably be '1 ≤ j ≠ s ≤ n2 − 1', since the second index ranges over 0, ..., n2 − 1.","section":"Theorem 5.1"},{"comment":"There is a duplicated word in 'we can determine the constant values values'; this should read 'constant values'.","section":"Section 6.4"},{"comment":"In item (3) of the list of possible dimensions, the phrase 'If the action of is y2 invertible' is missing a variable; it should read 'If the action of y2 is invertible and x2 is nilpotent'.","section":"Section 9"},{"comment":"Reference [18] is listed with only 'DOI' in place of full publication data; please provide the complete journal and article details.","section":"References"},{"comment":"The version supplied for review contains many encoding artifacts in the abstract and section headings (e.g., 'A/b.pc/s.pc/t.pc/r.pc/...' and numerous '/u1D...' strings). Please ensure the published PDF is clean.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of the journal and the PI-degree computation is a solid contribution. The main obstacles are the incomplete Type-III classification and the incorrect centrality claim in Section 6, both of which appear fixable in revision. I therefore recommend major revision rather than rejection. The reliance on the author's own published results [17,18] is acceptable, provided the deferred parts are made explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe paper has a real new result and a real hole. The PI degree formula (Theorem 3.4) — n1 n2 t3 with t3 = ord(lambda^{n1 n2}) — is derived cleanly from Leroy-Matczuk derivation erasing and the De Concini-Procesi invariant factor formula, and it correctly recovers the author's earlier divisibility-case result. The Type-I and Type-II classification (V1–V6) is explicit: modules are constructed, simplicity is proved, and isomorphism criteria are given. That is substantial work and, as far as I can see, correct.\n\nThe hole is Section 9. The paper claims a complete classification of all simple modules, but for the w1-torsion (Type-III) case it does not, in fact, classify anything. It asserts that such modules correspond to simple modules over O_Lambda(K^4)/<1+(epsilon1-1)y1x1> with invertible x1,y1, says that using the classification in [17] 'we can classify' them, lists four possible K-dimensions, and then declares the classification complete. No module family is constructed, no statement of which [17] modules survive the quotient relation, no isomorphism criterion. The stress-test note is right: the completeness claim is not supported as written. This is an internal omission, not a clash with external results, but it is the main claim of the paper's title and abstract.\n\nTwo smaller things. The paper repeatedly says 'we can easily verify' for module actions and isomorphisms; in this subject those verifications are sometimes delicate, and a referee should ask for at least representative details. And the application of the Leroy-Matczuk derivation erasing theorem is asserted rather than verified; the reader flagged this as the weakest assumption. It is plausible, but it should be checked line-by-line.\n\nBottom line: the PI degree computation and the Type-I/II classifications are worth publishing. The Type-III gap means the paper does not currently deliver the advertised complete classification. I would send it to a serious referee, with the request that the Type-III part be either written out properly or the claim reduced to what is actually proved. For a reader working on quantum Weyl algebras, the PI degree formula and V1–V6 families are useful; for the general reader, it's a paper to skim.","headline":"The paper delivers a new PI degree formula and explicit Type-I/II classifications, but Section 9 does not actually deliver the advertised complete classification of simple modules.","tokens_in":35120,"tokens_out":6508,"would_cite":false,"duration_ms":50524,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16D60","16D70","16S36","16R20","16T20"],"pacs":[],"model":"deepseek-v4-flash","headline":"At roots of unity, every simple module of the second quantum Weyl algebra is finite-dimensional, and the paper gives the exact PI degree and a complete list up to isomorphism.","keywords":["quantum Weyl algebra","second quantum Weyl algebra","simple modules","PI degree","roots of unity","polynomial identity algebra","quantum affine space","skew polynomial ring"],"falsifier":"For the parameter tuple with $\\varepsilon_1 = -1$, $\\varepsilon_2$ a primitive third root of unity, and $\\lambda$ a primitive 18th root of unity, compute the invariant factors $h_1, h_2$ of the integral matrix $B$ from Section 3, Step 2, and evaluate $n/\\gcd(h_1,n) \\cdot n/\\gcd(h_2,n)$ with $n = 18$; the formula predicts $18 = 2 \\cdot 3 \\cdot \\operatorname{ord}(\\lambda^6)$, so any other value would show the derivation-erasing step is wrong. Alternatively, build the algebra explicitly for these parameters and check that every simple module has dimension at most 18 and that the paper's families realize all isomorphism classes.","tokens_in":34230,"feed_emoji":"🧮","tokens_out":18429,"duration_ms":144014,"temperature":0.7,"pith_summary":"At roots of unity, the multiparameter second quantum Weyl algebra becomes a polynomial identity (PI) algebra, so every simple module is finite-dimensional and bounded by the PI degree. This paper proves that the PI degree is exactly $n_1 n_2 t_3$, where $n_1, n_2$ are the orders of $\\varepsilon_1, \\varepsilon_2$ and $t_3 = \\operatorname{ord}(\\lambda^{n_1 n_2})$, and then classifies all simple modules up to isomorphism. The classification is explicit: Type-I modules are the families $V_1(\\mu), V_2(\\mu), V_3(\\mu), V_4$, Type-II modules are $V_5(\\mu), V_6(\\mu)$, and the remaining Type-III modules are described through the known simple modules of a quantum affine space. This gives a complete solution to Problem 2 of [23] for the second quantum Weyl algebra, covering parameter ranges where earlier work needed a divisibility condition.","feed_headline":"Every simple module of the second quantum Weyl algebra is now listed","feed_subtitle":"Every irreducible representation at roots of unity is listed, with exact dimensions.","key_machinery":"The argument is carried by three pieces. The algebra is presented as an iterated skew polynomial ring $K[y_1][x_1,\\tau_1,\\delta_1][y_2,\\sigma_2][x_2,\\tau_2,\\delta_2]$, and a derivation-erasing theorem [14] is used to discard the skew derivations without changing the PI degree, reducing the computation to the quantum affine space $\\mathcal{O}_\\Lambda(K^4)$ associated with the matrix $\\Lambda$ in (3.1). The PI degree of that quantum affine space is then computed from the invariant factors of the associated skew-symmetric integral matrix via [6] and [20], giving $n_1 n_2 t_3$. For the module classification, the normal elements $\\omega_1 = x_1y_1-y_1x_1$ and $\\omega_2 = x_2y_2-y_2x_2$ act on any simple module either as zero or invertibly, splitting the classification into Types I, II, and III; common eigenvectors of certain commuting elements produce the explicit families $V_1(\\mu)$ through $V_6(\\mu)$, and Type III is handled by the simple modules of the quantum affine space factor from [17].","core_discovery":"The central claim is that for primitive $n_1$-th, $n_2$-th, and $n_3$-th roots of unity $\\varepsilon_1, \\varepsilon_2, \\lambda$ over an algebraically closed field, the PI degree of $A(\\varepsilon_1,\\varepsilon_2,\\lambda)$ is exactly $n_1 n_2 t_3$ with $t_3 = \\operatorname{ord}(\\lambda^{n_1 n_2})$, and that this number is the sharp upper bound for the dimension of a simple module. The paper further claims that every simple right module is isomorphic to exactly one of the explicitly constructed modules $V_1(\\mu), V_2(\\mu), V_3(\\mu), V_4, V_5(\\mu), V_6(\\mu)$, or to a Type-III module obtained from the classification of simple modules over the factor of a quantum affine space, with the dimensions listed in Section 9. Together these claims resolve Problem 2 of [23] for the second quantum Weyl algebra, removing the divisibility condition $\\operatorname{ord}(\\lambda) \\mid \\operatorname{ord}(\\varepsilon_1)$ assumed in earlier work [18] and recovering that earlier result as the special case where $t_3 = 1$.","pith_inferences":["The same derivation-erasing reduction likely extends to higher-order multiparameter quantum Weyl algebras, where the PI degree should again be computed from invariant factors of a $2n \\times 2n$ integral matrix.","Because the proof works over an arbitrary algebraically closed field, the classification holds in positive characteristic, so the finite-dimensional simple modules of these algebras are the same in modular settings.","The Type-III reduction indicates that the genuinely new module theory of the second quantum Weyl algebra lives in Types I and II, with the remaining simple modules inherited from quantum affine spaces.","A direct count of isomorphism classes from the parameter tuples $\\mu$ would yield a dimension-by-dimension census of simple modules, which the paper does not spell out."],"forward_implications":["The bound is sharp: the family $V_1(\\mu)$ has dimension $n_1 n_2 t_3$, so the PI degree is attained by an explicit simple module.","The list is exhaustive: every simple right module is isomorphic to one of the six explicit families or to a Type-III module from the quantum affine space classification.","The earlier divisibility-condition result is recovered: when $\\operatorname{ord}(\\lambda)$ divides $\\operatorname{ord}(\\varepsilon_1)$, the factor $t_3$ equals 1 and the formula reduces to $n_1 n_2$.","This resolves Problem 2 of [23] for the second quantum Weyl algebra, giving a complete classification of irreducible representations in the root-of-unity setting."],"supporting_citations":[{"why":"Supplies the derivation-erasing theorem that reduces PI-deg A to PI-deg O_Lambda(K^4).","marker":"[14]"},{"why":"Provides the algorithm for the PI degree of a quantum affine space used to compute the reduced degree.","marker":"[6]"},{"why":"Its Lemma 5.7 gives the closed invariant-factor formula for PI-deg O_Lambda, quoted as Proposition 3.1.","marker":"[20]"},{"why":"Classifies simple modules over quantum affine space, which the Type-III classification invokes.","marker":"[17]"},{"why":"States the open classification problem that the paper resolves for the second quantum Weyl algebra.","marker":"[23]"},{"why":"Earlier companion result under the divisibility condition that this paper extends and recovers as a special case.","marker":"[18]"},{"why":"Gives the PI-degree bound on simple-module dimensions, the link between the invariant and the classification.","marker":"[4]"},{"why":"Establishes the iterated skew polynomial presentation that the derivation-erasing step starts from.","marker":"[2]"}],"fun_headline_variants":["All simple modules of second quantum Weyl algebra now known","PI degree and simple modules fixed for second quantum Weyl algebra","Problem 2 solved for second quantum Weyl algebra","Second quantum Weyl algebra's simple modules fully classified"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the theorem used to erase derivations from the skew-polynomial presentation actually applies to this algebra; the proof asserts this without checking the theorem's hypotheses, and the PI-degree formula would fail if it does not.","fun_headline_variants_meta":{"raw":{"variants":["All simple modules of second quantum Weyl algebra now known","PI degree and simple modules fixed for second quantum Weyl algebra","Problem 2 solved for second quantum Weyl algebra","Second quantum Weyl algebra's simple modules fully classified"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001431,"raw_usage":{"total_tokens":5747,"prompt_tokens":899,"completion_tokens":4848,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":515,"completion_tokens_details":{"reasoning_tokens":4782}},"tokens_in":515,"tokens_out":4848,"duration_ms":32386,"temperature":1.0,"reasoning_tokens":4782,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T05:41:08.890691+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the parameter tuple with $\\varepsilon_1 = -1$, $\\varepsilon_2$ a primitive third root of unity, and $\\lambda$ a primitive 18th root of unity, compute the invariant factors $h_1, h_2$ of the integral matrix $B$ from Section 3, Step 2, and evaluate $n/\\gcd(h_1,n) \\cdot n/\\gcd(h_2,n)$ with $n = 18$; the formula predicts $18 = 2 \\cdot 3 \\cdot \\operatorname{ord}(\\lambda^6)$, so any other value would show the derivation-erasing step is wrong. Alternatively, build the algebra explicitly for these parameters and check that every simple module has dimension at most 18 and that the paper's families realize all isomorphism classes.","supporting_citations":[{"cited_title":"Thus by Schur’s lemma, /u1D7195 becomes a module isomorphism","cited_arxiv_id":null,"evidence_quote":"Supplies the derivation-erasing theorem that reduces PI-deg A to PI-deg O_Lambda(K^4)."},{"cited_title":"Suppose /u1D713: V1(/u1D707 ) → V 1(/u1D707′) is a module isomorphism","cited_arxiv_id":null,"evidence_quote":"Provides the algorithm for the PI degree of a quantum affine space used to compute the reduced degree."},{"cited_title":"Boyette , M","cited_arxiv_id":null,"evidence_quote":"Its Lemma 5.7 gives the closed invariant-factor formula for PI-deg O_Lambda, quoted as Proposition 3.1."},{"cited_title":"Akhavizadegan and D","cited_arxiv_id":null,"evidence_quote":"Classifies simple modules over quantum affine space, which the Type-III classification invokes."},{"cited_title":"Giaquinto and J","cited_arxiv_id":null,"evidence_quote":"States the open classification problem that the paper resolves for the second quantum Weyl algebra."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier companion result under the divisibility condition that this paper extends and recovers as a special case."},{"cited_title":"Suppose /u1D440is a simple /u1D434(/u1D45E1, /u1D45E2, /u1D706)-module","cited_arxiv_id":null,"evidence_quote":"Gives the PI-degree bound on simple-module dimensions, the link between the invariant and the classification."},{"cited_title":"SECOND QUANTUM WEYL ALGEBRA 3 2.1","cited_arxiv_id":null,"evidence_quote":"Establishes the iterated skew polynomial presentation that the derivation-erasing step starts from."}],"review_version":1}