Pith. sign in

REVIEW 4 major objections 4 minor 58 references

Some open problems in the context of skew PBW extensions and semi-graded rings

T0 review · 4 major / 4 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 Semi-graded rings satisfy the Serre-Artin-Zhang-Verevkin equivalence without a domain assumption, provided they meet the X1 finiteness condition, and a broad class of skew PBW extensions are noetherian domains in the semi-graded…

desk verdict The paper is a useful survey with real computational examples, but its advertised new Serre-type theorem (Theorem 1.24) is not proved as written: the argument runs through an auxiliary graded ring and the key hypothesis X1 is never properly defined. read the letter →

arxiv 1908.04880 v2 pith:AZBNM57Z submitted 2019-08-13 math.RA

Oswaldo Lezama This is my paper · ORCID
classification math.RA MSC 16S3616U2016D4016E0516E6516S3816S8016W70
keywords semi-gradedringsskewPBWextensionsnoncommutativeprojectiveschemesSerre-Artin-Zhang-VerevkintheoremArtin-SchelterregularalgebrasGelfand-KirillovconjectureZariskicancellationproblemQuillen-Suslin
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

This paper reformulates five open problems of noncommutative algebra and noncommutative geometry—the Serre-type equivalence, the Gelfand-Kirillov conjecture, Serre's freeness problem, the noetherianity and domain questions for Artin-Schelter regular algebras, and Zariski cancellation—in the language of skew PBW extensions and semi-graded rings. Its main new result removes the domain restriction from an earlier version of the Serre-Artin-Zhang-Verevkin theorem: for a left noetherian semi-graded ring satisfying conditions (C1)–(C4) and a finiteness condition X1, the quotient category $\mathrm{qgr}\text{-}B$ is equivalent to $\mathrm{qgr}\text{-}\Gamma(\pi(B))_{\ge 0}$. A second new theorem shows that bijective skew PBW extensions satisfying mild homogeneity and nonvanishing hypotheses are semi-graded Artin-Schelter regular algebras, placing examples like the Weyl algebra, the dispin algebra, and quantum algebras inside the theory. If these results stand, noncommutative projective geometry extends to rings that are only semi-graded rather than finitely graded, and the evidence that Artin-Schelter regular algebras are noetherian domains broadens.

What carries the argument

The machinery is the pair of categories built from a semi-graded ring $B$: $\mathrm{sgr}\text{-}B$, the abelian category of finitely generated semi-graded modules, and its quotient $\mathrm{qsgr}\text{-}B=\mathrm{sgr}\text{-}B/\mathrm{stor}\text{-}B$ by the Serre subcategory of torsion modules, where torsion is defined by annihilation by powers of the least two-sided ideal $B_{\ge s}$ containing the high-degree part. The bridge to the graded world is the functor $\Gamma(\pi(B))_{\ge 0}=\bigoplus_{d\ge 0}\mathrm{Hom}_{\mathrm{qsgr}\text{-}B}(\pi(B),s^d\pi(B))$ that packages the shifts $s$ of the structure sheaf; the equivalence is obtained by applying a graded Morita-type comparison (Proposition 1.23) to the ring map $B^\# \to \Gamma(\pi(B))_{\ge 0}$, whose kernel and cokernel are shown to be right-bounded using the X1 condition. The condition X1 is thus the load-bearing import from the theory of noncommutative projective schemes, making the graded ring $\Gamma$ left noetherian with finitely generated homogeneous components.

What would settle it

Compute the kernel and cokernel of the canonical ring map from the graded endomorphism ring of $B$ to $\Gamma(\pi(B))_{\ge 0}$ for a left noetherian semi-graded ring that satisfies (C1)–(C4) and X1 but is not a domain—for instance a matrix ring over a skew PBW extension. If either is not right-bounded, or if some homogeneous component of a finitely generated $\Gamma$-module over $\Gamma_0$ is not finitely generated, then Proposition 1.23 cannot be applied and the equivalence of Theorem 1.24 fails.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the Serre-Artin-Zhang-Verevkin equivalence is a semi-graded phenomenon, not a graded one. Theorem 1.24 states that if $B=\bigoplus_{n\ge 0}B_n$ is a left noetherian semi-graded ring satisfying (C1)–(C4)—$B_0$ left noetherian, each $B_n$ finitely generated over $B_0$, and $B_0$ central—and satisfies X1, then $\mathrm{qgr}\text{-}B \simeq \mathrm{qgr}\text{-}\Gamma(\pi(B))_{\ge 0}$, where $\pi(B)$ is the image of $B$ in the quotient of finitely generated semi-graded modules by torsion and $\Gamma$ collects the shifts of $\pi(B)$. Corollary 1.25 draws out the consequences: the associated graded ring $\mathrm{Gr}(B)$ recovers the same category when it is left noetherian and satisfies X1, and for finitely graded $B$ the old equivalence is recovered. The paper also proves (Theorem 4.14) that a bijective skew PBW extension over a connected, finite-semi-graded, finite-left-global-dimension base, with homogeneous endomorphisms and derivations and at least one nonzero constant $d_{ij}$, is a semi-graded Artin-Schelter regular algebra; the worked examples include the Weyl algebra, the $q$-Weyl algebra, the dispin algebra, the enveloping algebras of $\mathfrak{sl}(2,K)$ and $\mathfrak{so}(3,K)$, and the Woronowicz algebra, with five of the eight 3-dimensional skew polynomial algebra types being SAS and three not.

Load-bearing premise

The load-bearing premise is a technical finiteness condition named X1 that the paper cites from the graded theory but never defines; the main equivalence goes through only if X1 really has the boundedness and finiteness consequences the proof needs.

Editorial extensions

If this is right

  • Theorem 1.24 gives the Serre-Artin-Zhang-Verevkin equivalence for all semi-graded rings satisfying (C1)–(C4) and X1, not only for domains as in the earlier treatment.
  • Corollary 1.25 links the quotient category of a semi-graded ring to that of its associated graded ring: when $\mathrm{Gr}(B)$ is left noetherian and satisfies X1, $\mathrm{qgr}\text{-}\mathrm{Gr}(B)\simeq\mathrm{qgr}\text{-}B$.
  • The known semi-graded examples—enveloping algebras of Lie algebras, $\mathrm{U}'(\mathfrak{so}(3,K))$, dispin, Woronowicz, and the eight 3-dimensional skew polynomial types—all satisfy the hypotheses, so the equivalence holds for them.
  • Theorem 4.14 supplies semi-graded Artin-Schelter regular algebras that are noetherian domains, and the examples separate SAS algebras from essentially regular ones: the Weyl and $q$-Weyl algebras are SAS, while $K\{x,y\}/\langle yx-xy+y\rangle$ and $R_{yx}$ are not.
  • If $\mathrm{Gr}(B)$ is left noetherian and satisfies X1, condition X1 transfers back to $B$, so semi-graded rings with nice associated graded rings enter the same noncommutative projective geometry.

Reading between the lines

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

  • If X1 coincides with the standard $\chi_1$ finiteness condition, as the argument appears to intend, then Theorem 1.24 suggests that the right hypothesis for a Serre-style theory is not grading but the combination of noetherianity and $\chi$-finiteness; this could be tested by checking whether semi-graded rings with zero divisors but with $\chi_1$, such as certain matrix or monoid algebras, admit t
  • The reliance on the least ideal $B_{\ge s}$ in the definition of torsion is the most delicate point for non-domains; a natural test is whether this ideal exists and equals the ordinary irrelevant ideal in every bijective skew PBW extension, or only under the stated noetherian-plus-central hypotheses.
  • The SAS framework could be used to test Zariski cancellation beyond graded Artin-Schelter algebras: the noetherian SAS algebras of global dimension 3 exhibited here are natural candidates for the Makar-Limanov or centralizer criteria, and a counterexample among them would sharpen the boundary of the cancellation property.
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.

Referee Report

4 major / 4 minor

Summary. The paper is a survey of five open problems in noncommutative algebra and noncommutative projective algebraic geometry, formulated in the language of skew PBW extensions and semi-graded rings. It reviews the Serre-Artin-Zhang-Verevkin theorem, the Gelfand-Kirillov conjecture, Serre's problem on projective modules, Artin-Schelter regularity, and the Zariski cancellation problem. The new results claimed are Theorem 1.24 (an equivalence qgr-B ≃ qgr-Γ(π(B))≥0 for semi-graded rings satisfying (C1)-(C4) and a condition called X1), Corollary 1.25 (applications to associated graded rings and to finitely graded algebras), and Theorem 4.14 (a class of bijective skew PBW extensions whose members are semi-graded Artin-Schelter regular algebras). The paper also contains numerous explicit free resolutions, computed with the SPBWE library, for quantum algebras and other examples in Section 4.

Significance. If Theorem 1.24 were fully established, it would remove the domain assumption from the earlier result in [37] and extend the Serre-Artin-Zhang-Verevkin equivalence to semi-graded rings; that would be a substantive contribution. The concrete free resolutions in Section 4 are useful computational evidence and the reformulation of several open problems in a common framework could be valuable. However, the proof of Theorem 1.24 has load-bearing gaps: the condition X1 is never defined, the category qgr-B is not defined for a merely semi-graded ring, and the proof works with an auxiliary N-graded ring rather than with B itself. The SAS notion in Section 4 is also weak because many examples satisfy the key homological condition only vacuously. The paper is therefore not yet self-contained or conclusive on its central claim, although the identified problems appear repairable.

major comments (4)
  1. [§1.1(vii), Lemma 1.22(v), Theorem 1.24] The hypothesis X1 is never defined. The text defines χ_i and χ in §1.1(vii), but X1 appears without definition in Lemma 1.22(v), Theorem 1.24, Corollary 1.25, and Example 1.26. The proof of Lemma 1.22(v) invokes Proposition 3.1.3(3) of [10] and the proof of Theorem 1.24 invokes part S10 of Theorem 4.5 of [10] on the strength of X1. If X1 is not exactly the χ_1 condition, or if χ_1 alone does not imply the finite generation of Γ_d and the right boundedness of the kernel and cokernel of ρ, then Lemma 1.22(v) and Theorem 1.24 are not established. This is load-bearing because Theorem 1.24 is advertised as the main new result of the paper.
  2. [Theorem 1.24 and Proposition 1.23] The proof of Theorem 1.24 does not establish the stated equivalence qgr-B ≃ qgr-Γ(π(B))≥0. Proposition 1.23 requires its source algebra to be N-graded. The original semi-graded ring B is not N-graded in general; the only N-graded ring available in Lemma 1.22 is the auxiliary ring B-script := ⊕_d Hom_{sgr-B}(B, s^d(B)). The proof applies Proposition 1.23 to the homomorphism from this auxiliary ring, and would therefore yield an equivalence qgr-B-script ≃ qgr-Γ(π(B))≥0. No argument is given to identify qgr-B with qgr-B-script, or qsgr-B with qgr-B-script. Moreover, the notation qgr-B in the statement is itself undefined for a merely semi-graded ring: §1.1(v) defines qgr only for finitely graded algebras, while for semi-graded rings the paper constructs the category qsgr-B in §1.3. The conclusion of Theorem 1.24 is therefore not derived as written.
  3. [Definition 1.15] The definition of B≥s as 'the least two-sided ideal of B' satisfying conditions (a) and (b) asserts existence and uniqueness without proof. The torsion submodule T(M), the Serre subcategory stor-B, and the quotient category qsgr-B all depend on this ideal, so the construction on which Theorem 1.24 rests is not fully justified. The paper should either prove existence and uniqueness of the least ideal or replace the definition by an explicit construction, for example as the intersection of all two-sided ideals with the stated properties.
  4. [Definition 4.3 and Examples 4.5-4.7, 4.12, 4.14] For several of the displayed SAS examples, condition (iv) of Definition 4.3 is satisfied only because B≥1 = B and therefore B/B≥1 = 0; see Examples 4.5, 4.6, 4.7 and 4.12, and the proof of Theorem 4.14. This makes the regularity condition vacuous in these cases. The definition is formally coherent, but these examples do not provide independent evidence that SAS regularity is a strong homological property, and the significance of Theorem 4.14 is accordingly weaker than the surrounding text suggests.
minor comments (4)
  1. [§3.1, Algorithm 1] The algorithm loops 'FOR k from 1 to n−1', but Theorem 3.1 and Example 3.3 concern a single variable x; the role of n in the algorithm should be clarified.
  2. [Global] The manuscript contains numerous typographical errors, including 'satifies' in Theorem 4.14(v), 'conmutative' in Definition 5.1, and 'Adv. Mah.' in reference [10]; a careful proofreading pass is needed.
  3. [Corollary 1.25(iii)] The isomorphism B-script ≅ B for finitely graded B is asserted with the comment 'As (i), we can prove that θ is an isomorphism'; the surjectivity argument should be written out, since it depends on the finitely graded hypothesis in a way that is not immediate from the preceding parts.
  4. [References] References [20] and [40] are cited as 'to appear' without preprint identifiers; please update them if final versions or arXiv numbers are available.

Circularity Check

1 steps flagged · score 6.0 of 10

Section 4's main SAS theorem reduces by construction to A/A≥1=0; Theorem 1.24 has an independent (though broken) derivation chain, so overall circularity is partial, not total.

  1. self definitional [Section 4, Definition 4.3, Remark 4.4, and proof of Theorem 4.14 (pp. 15, 21–22)]
    "Remark 4.4(i): 'If K ∩ B≥1 ≠ 0, then B/B≥1 = 0; if K ∩ B≥1 = 0 then B/B≥1 ≅ K.' Theorem 4.14 proof: 'The condition (v) in the statement of the theorem says that A/A≥1 = 0, so the condition (iv) in Definition 4.3 trivially holds.'"

    Definition 4.3(iv) requires Ext^i_B(B(B/B≥1), B_B)=0 for i≠d and =(B/B≥1)_B for i=d. When B/B≥1=0, both requirements are the zero-object condition, so they hold with no homological computation. Theorem 4.14's hypothesis (v), a nonzero constant term d_ij in the PBW relations, is exactly what makes A/A≥1=0. Thus the proof that A is 'SAS' reduces in one line to a definitional allowance for a zero augmentation module; the Ext-vanishing content of the SAS definition never has to be verified. Examples 4.5–4.7 and 4.12 use the same 'trivially holds' mechanism. The theorem's conclusion is therefore forced by the definition and the chosen hypothesis, not derived from the homological condition the definition ostensibly imposes.

full rationale

Most of the paper is review or application of prior results and is not circular: the GK-conjecture material restates known theorems, the Quillen–Suslin algorithm is taken from [21] with a concrete Maple example, and the Section 1 machine is built on Artin–Zhang [10] and the author's earlier semi-graded theory [37]. The circularity lies in Section 4. Definition 4.3 defines 'SAS' by an Ext-condition on the module B/B≥1; Remark 4.4 itself observes that if K∩B≥1≠0 then B/B≥1=0. Theorem 4.14's hypothesis (v) is chosen so that A/A≥1=0, and the proof says 'trivially holds.' So the new theorem 'bijective skew PBW extension with a nonzero d_ij is SAS' is true only because the SAS condition is vacuous for that input; no Ext group is ever computed. That is a conclusion forced by the definition, not by a derivation. The Section 1 theorem is not circular in the same sense: the extracted text's 'X1' is presumably the χ1 condition from §1.1(vii), a structural hypothesis, and the proof cites independent [10] results. There is, however, a serious correctness gap that should not be counted as circularity: Proposition 1.23 is applied to C equal to the auxiliary graded endomorphism ring B-script, while the theorem states an equivalence for qgr-B; no proof or citation identifies qgr-B with qgr-B-script. This leaves Theorem 1.24 unproved as stated, but the failure is a non-sequitur rather than a self-referential reduction. Score 6 reflects that a central new result (Theorem 4.14) reduces by construction, while the rest of the paper has independent content.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

Most of the paper's content is a survey of cited open problems; the new theorems rest on the listed framework assumptions. The most fragile are the undefined condition X1, the existence of B≥s, and the decision to treat the zero quotient as satisfying the SAS Ext condition.

assumptions (5)
  • ad hoc to paper The condition X1 is well-defined and has the consequences cited from Artin-Zhang [10].
    Lemma 1.22(v) and Theorem 1.24 assume X1 without defining it; the proof applies Proposition 3.1.3(3) and Theorem 4.5 of [10] to it.
  • domain assumption The least two-sided ideal B≥s in Definition 1.15 exists and is semi-graded as a left ideal.
    The torsion subcategory stor−B and the quotient category qsgr−B depend on B≥s, but the paper does not prove existence or uniqueness for arbitrary semi-graded B.
  • standard math The abelian category properties of sgr−B and qsgr−B from [37] hold.
    Theorem 1.16 and Proposition 1.19 are quoted from [37]; they are foundational for the equivalence in Theorem 1.24.
  • standard math Bijective skew PBW extensions over noetherian domains are noetherian domains, and the global dimension used in Theorem 4.14 is finite.
    Used in Remark 4.15 and in Theorem 4.14 to transfer noetherian/domain properties and finiteness of global dimension from [38].
  • ad hoc to paper For SAS regularity, the case B/B≥1=0 counts as satisfying the Ext condition (iv) trivially.
    Examples 4.5, 4.6, 4.12 and Theorem 4.14 rely on this; it makes the class broad but potentially degenerate.
invented entities (1)
  • Semi-graded Artin-Schelter regular algebra (SAS)
    purpose: Extends the classical AS regularity definition from finitely graded algebras to semi-graded rings.
    The paper introduces this class in Definition 4.3, but the definition is weakened by allowing the Ext condition to hold vacuously when B/B≥1=0, which makes several examples automatically SAS without a substantive homological verification.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Some open problems in the context of skew PBW extensions and semi-graded rings." pith.science (2026). https://pith.science/paper/AZBNM57Z

@misc{pith2026190804880,
  author       = {Pith},
  title        = {Pith review of: Some open problems in the context of skew PBW extensions and semi-graded rings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AZBNM57Z}},
  note         = {Machine review of arXiv:1908.04880}
}
abstract

In this paper we discuss some open problems of non-commutative algebra and non-commutative algebraic geometry from the approach of skew $PBW$ extensions and semi-graded rings. More exactly, we will analyze the isomorphism arising in the investigation of the Gelfand-Kirillov conjecture about the commutation between the center and the total ring of fractions of an Ore domain. The Serre's conjecture will be discussed for a particular class of skew $PBW$ extensions. The questions about the noetherianity and the Zariski cancellation property of Artin-Schelter regular algebras will be reformulated for semi-graded rings. Advances for the solution of some of the problems are included.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

58 extracted references · 57 canonical work pages

  1. [10]

    and Zhang J

    Artin, M. and Zhang J. J. , Noncommutative projective schemes , Adv. Mah. 109 (2), 1994, 228-287

    work page 1994

  2. [37]

    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. 25

    work page 2017

  3. [1]

    , On the uniqueness of the coefficient ring in a polynomial ring , J

    Abhyankar, S., Eakin, P ., and Heinzer, W. , On the uniqueness of the coefficient ring in a polynomial ring , J. Algebra, 23, 1972, 310-342

    work page 1972

  4. [2]

    , Ore and Goldie theorems for skew PBW extensions , Asian-European Journal of Mathematics, 6 (4), 2013, 1350061 - 1; 1350061-20

    Acosta, J.P ., Chaparro, C., Lezama, O., Ojeda, I., and V eneg as, C. , Ore and Goldie theorems for skew PBW extensions , Asian-European Journal of Mathematics, 6 (4), 2013, 1350061 - 1; 1350061-20

    work page 2013

  5. [3]

    and Reyes, M.A

    Acosta, J.P ., Lezama, O. and Reyes, M.A. , Prime ideals of skew P BW extensions, Revista de la Uni´ on Matem´ atica Argentina, 56(2), 2015, 39-55

    work page 2015

  6. [4]

    and V an den Bergh, M

    Alev, J., Ooms, A. and V an den Bergh, M. , The Gelfand-Kirillov conjecture for Lie algebras of dimension at most eight , J. of Algebra, 227, 2000, 549-581

    work page 2000

  7. [5]

    and Dumas, F

    Alev, J. and Dumas, F. , Sur le corps des fractions de certaines alg` ebres quantique s, J. of Algebra, 170, 1994, 229-265

    work page 1994

  8. [6]

    , Serre’s quantum problem, Russian Math

    Artamonov, V. , Serre’s quantum problem, Russian Math. Surveys, 53(4), 1998, 657-730

    work page 1998

Show all 58 references
  1. [7]

    , On projective modules over quantum polynomials , Journal of Mathematical Sci- ences, 93(2), 1999, 135-148

    Artamonov, V. , On projective modules over quantum polynomials , Journal of Mathematical Sci- ences, 93(2), 1999, 135-148

    1999

  2. [8]

    A., Lezama, O., and F ajardo, W

    Artamonov, V. A., Lezama, O., and F ajardo, W. , Extended modules and Ore extensions , Communications in Mathematics and Statistics, 4 (2), 2016, 189-20 2

    2016

  3. [9]

    , Graded algebras of global dimension 3 , Advances in Mathematics, 66, 1987, 171-216

    Artin, M., Schelter, W. , Graded algebras of global dimension 3 , Advances in Mathematics, 66, 1987, 171-216

    1987

  4. [11]

    , Projective modules over algebras , Annals of Math

    Bass, H. , Projective modules over algebras , Annals of Math. 73, 532-542, 1962

    1962

  5. [12]

    Pure Appl

    Bavula, V.V , The algebra of one-sided inverses of a polynomial algebra , J. Pure Appl. Algebra, 214, 2010, 1874-1897

    2010

  6. [13]

    Bell, J., and Zhang, J. J. , Zariski cancellation problem for noncommutative algebras , Selecta Math. (N.S.), 23 (3), 2017, 1709–1737

    2017

  7. [14]

    , Gelfand-Kirillov conjecture in positive characteristics , J

    Bois, J-M. , Gelfand-Kirillov conjecture in positive characteristics , J. of Algebra, 305, (2006), 820-844

    2006

  8. [15]

    of Algebra, 2003, 476-518

    Cauchon, G, Effacement des d´ erivations et spectres premiers des alg` ebres quantiques, J. of Algebra, 2003, 476-518

    2003

  9. [16]

    , The discriminant controls automor- phism groups of noncommutative algebras , Adv

    Ceken, S., Palmieri, J., Wang, Y.-H., and Zhang, J.J. , The discriminant controls automor- phism groups of noncommutative algebras , Adv. Math., 269, 2015, 551-584

    2015

  10. [17]

    , The discriminant criterion and the automorphism groups of quantized algebras , Adv

    Ceken, S., Palmieri, J., Wang, Y.-H., and Zhang, J.J. , The discriminant criterion and the automorphism groups of quantized algebras , Adv. Math., 286, 2016, 754-801. 24

    2016

  11. [18]

    Essen, A. v. d. , Polynomial Automorphisms and the Jacobian Conjecture , Soci´ et´ e Math´ ematique de France, S´ eminaires et Congr` es, preprint

  12. [19]

    Thesis, Universidad Nacional de Colombia, Bogot´ a, 2018

    F ajardo, W., Extended modules and skew P BW extensions, Ph.D. Thesis, Universidad Nacional de Colombia, Bogot´ a, 2018

    2018

  13. [20]

    F ajardo, W., A computational Maple library for skew PBW extensions , to appear in Fundamenta Informaticae

  14. [21]

    and Lezama, O

    F ajardo, W. and Lezama, O. , Elementary matrix-computational proof of Quillen-Suslin theorem for Ore extensions , Fundamenta Informaticae, 164, 2019, 41-59

    2019

  15. [22]

    Japan Acad., 55(A), 1979, 106-110

    F ujita, T., On Zariski problem , Proc. Japan Acad., 55(A), 1979, 106-110

    1979

  16. [23]

    , The Gelfand-Kirillov conjecture and Gelfand- Tsetlin modules for finite W-algebras , Advances in Mathematics, 223, (2010), 773-796

    F utorny , V., Molev, A., and Ovsienko, S. , The Gelfand-Kirillov conjecture and Gelfand- Tsetlin modules for finite W-algebras , Advances in Mathematics, 223, (2010), 773-796

    2010

  17. [24]

    Gabriel, P ., Des cat´ egories ab´ eliennes, Bull. Soc. Math. France 90, 1962, 323-448

    1962

  18. [25]

    Gaddis, J. D. , PBW deformations of Artin-Schelter regular algebras and th eir homogenizations , Ph.D. thesis, The University of Wisconsin-Milwaukee, 2013

    2013

  19. [26]

    Gaddis, J. D. , PBW deformations of Artin-Schelter regular algebras , J. Algebra Appl. 15, 2016, 1650064-1-1650064-15

    2016

  20. [27]

    and Lezama, O

    Gallego, C. and Lezama, O. , Projective modules and Gr¨ obner bases for skew P BW extensions, Dissertationes Math., 521, 2017, 1-50

    2017

  21. [28]

    and Kirillov, A

    Gelfand, I. and Kirillov, A. , Sur le corps li´ es aux alg` ebres enveloppantes des alg` ebre s de Lie , Math. IHES, 31, 1966, 509-523

    1966

  22. [29]

    , Sur quelques points d’alg` ebre homologique , Tˆ ohoku Math

    Grothendieck, A. , Sur quelques points d’alg` ebre homologique , Tˆ ohoku Math. J. (2) 9 (1957), 119-221; English translation by Marcia L. Barr and Michael Barr, Se ptember 10, 2010

    1957

  23. [30]

    , On Zariski’s cancellation problem in positive characteris tic, Adv

    Gupta, N. , On Zariski’s cancellation problem in positive characteris tic, Adv. Math., 264, 2014, 296-307

    2014

  24. [31]

    , On the Cancellation Problem for the Affine Space A3 in characteristic p, Inventiones Math., 195, 2014 (1), 279–288

    Gupta, N. , On the Cancellation Problem for the Affine Space A3 in characteristic p, Inventiones Math., 195, 2014 (1), 279–288

    2014

  25. [32]

    , Proof of the Gelfand-Kirillov conjecture for solvable Lie a lgebras, Pro

    Joseph, A. , Proof of the Gelfand-Kirillov conjecture for solvable Lie a lgebras, Pro. Amer. Math. Soc., 45, (1974), 1-10

    1974

  26. [33]

    , A generalization of the Gelfand-Kirillov conjecture , American Journal of Mathematics, 99, (1977), 1151-1165

    Joseph, A. , A generalization of the Gelfand-Kirillov conjecture , American Journal of Mathematics, 99, (1977), 1151-1165

    1977

  27. [34]

    , Serre’s Problem on Projective Modules , Springer Monographs in Mathematics, Springer, 2006

    Lam, T.Y. , Serre’s Problem on Projective Modules , Springer Monographs in Mathematics, Springer, 2006

    2006

  28. [35]

    , Some aplications of Gr¨ obner bases in homological algebra , S˜ao Paulo Journal of Mathematical Sciences, 3, 2009, 25-59

    Lezama, O. , Some aplications of Gr¨ obner bases in homological algebra , S˜ao Paulo Journal of Mathematical Sciences, 3, 2009, 25-59

    2009

  29. [36]

    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

    2011

  30. [38]

    & Reyes, M

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

    2014

  31. [39]

    and V enegas, H

    Lezama, O. and V enegas, H. , Center of skew PBW extensions , arXiv: 1804.05425 [math.RA], 2018

    2018 arXiv

  32. [40]

    , Zariski cancellation problem for non-domain noncommutative algebras,to appear in Mathematische Zeitschrift

    Lezama, O., Wang, Y.-H., and Zhang, J.J. , Zariski cancellation problem for non-domain noncommutative algebras,to appear in Mathematische Zeitschrift

  33. [41]

    and Zhou G.-S , Artin-Schelter regular algebras of dimension five with two g enerators, Journal of Pure and Applied Algebra, 218, 2014, 937-961

    Lu, D.M. and Zhou G.-S , Artin-Schelter regular algebras of dimension five with two g enerators, Journal of Pure and Applied Algebra, 218, 2014, 937-961

    2014

  34. [42]

    Lu, D.M., Shen, G., and Zhou G.-S , Homogeneous PBW deformation for Artin-Schelter regular algebras, Bull. Aust. Math. Soc., 91, 2015, 53-68

    2015

  35. [43]

    and Robson, J

    McConnell, J. and Robson, J. , Non-commutative Noetherian Rings, Graduate Studies in Math- ematics, AMS, 2001

    2001

  36. [44]

    and Sugie, T

    Miyanishi, M. and Sugie, T. , Affine surfaces containing cylinderlike open sets , J. Math. Kyoto Univ., 20, 1980, 11-42

    1980

  37. [45]

    , The Gelfand-Kirillov conjecture for semi-direct products of Lie algebras , J

    Ooms, A. , The Gelfand-Kirillov conjecture for semi-direct products of Lie algebras , J. of Algebra, 305, (2006), 901-911

    2006

  38. [46]

    , Projective modules over polynomial rings , Invent

    Quillen, D. , Projective modules over polynomial rings , Invent. Math., 36, 1976, 167-171

    1976

  39. [47]

    , Armendariz modules over skew PBW extensions , Comm

    Reyes, A. , Armendariz modules over skew PBW extensions , Comm. in Algebra, 47 (3), 2019, 1248-1270

    2019

  40. [48]

    and Su´ arez, H

    Reyes, A. and Su´ arez, H. , Sigma-PBW extensions of skew Armendariz rings , Advances in Applied Clifford Algebras, 27 (4), 2017, 3197-3224; DOI 10.1007/s0 0006-017-0800-4

    2017 doi

  41. [49]

    and Su´ arez, H

    Reyes, A. and Su´ arez, H. , A notion of compatibility for Armendariz and Baer propertie s over skew PBW extensions , Revista de la Uni´ on Matem´ atica Argentina, Vol. 59, no. 1, 2018, 1 57-178

    2018

  42. [50]

    and Su´ arez, H., Skew Poincar´ e-Birkhoff-Witt extensions over weak zip ring s, Contri- butions to Algebra and Geometry, 60 (2), 2019, 197-216

    Reyes, A. and Su´ arez, H., Skew Poincar´ e-Birkhoff-Witt extensions over weak zip ring s, Contri- butions to Algebra and Geometry, 60 (2), 2019, 197-216

    2019

  43. [51]

    , An introduction to non-commutative projective algebraic g eometry, arXiv:1403.3065 [math.RA]

    Rogalski, D. , An introduction to non-commutative projective algebraic g eometry, arXiv:1403.3065 [math.RA]

    arXiv

  44. [52]

    Ann., 255(3), 1981, 287-302

    Russell, P ,, On Affine-Ruled rational surfaces , Math. Ann., 255(3), 1981, 287-302

    1981

  45. [53]

    Math., 61, 1955, 191-278

    Serre, J.P ., Faisceaux alg´ ebriques coh´ erents, Ann. Math., 61, 1955, 191-278

    1955

  46. [54]

    Smith, S.P ., Non-commutative algebraic geometry , Department of Mathematics, University of Washington, 2000

    2000

  47. [55]

    , Projective modules over polynomial rings are free , Soviet Math

    Suslin, A.A. , Projective modules over polynomial rings are free , Soviet Math. Dokl., 17, 1976, 1160-1164

    1976

  48. [56]

    and Zhang, J

    T ang, X., V enegas, H. and Zhang, J. , Cancellation problem for AS-regular algebras of dimen- sion three, arXiv:1904.07281v1

    1904 arXiv

  49. [57]

    B., Serr´ e injective sheaves, Mat

    V erevkin, A. B., Serr´ e injective sheaves, Mat. Zametki, 1992, 52 (4), 35-41

    1992

  50. [58]

    and Wang, D

    Xu, Y., Huang, H.-L. and Wang, D. , Realization of P BW -deformations of type An quantum groups via multiple Ore extensions , J. Pure Appl. Algebra 233, 2019, 1531-1547. 26

    2019

Pith tools

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