pith. sign in

arxiv: 2411.16161 · v2 · submitted 2024-11-25 · 🧮 math.RA

Noncommutative resolutions of AS-Gorenstein isolated singularites

Haonan Li , Menda Shen , Quanshui Wu This is my paper

Pith reviewed 2026-05-23 17:32 UTC · model grok-4.3

classification 🧮 math.RA
keywords noncommutative resolutionsAS-Gorenstein singularitiesAS-regular algebrascluster tilting modulesBondal-Orlov conjecturemaximal Cohen-Macaulay modulesgraded algebrasnoncommutative projective schemes
0
0 comments X

The pith

Noncommutative resolutions of generalized AS-Gorenstein isolated singularities are generalized AS-regular algebras with matching centers.

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

The paper defines noncommutative resolutions of these singularities as graded endomorphism rings of finitely generated graded modules over locally finite bounded-below Z-graded algebras. It proves that any such resolution must itself be a generalized AS-regular algebra. The center of the resolution is shown to be isomorphic to the center of the original singularity. A resolution arises from a maximal Cohen-Macaulay generator if and only if that generator is a (d-1)-cluster tilting module. The work also establishes a noncommutative form of the Bondal-Orlov conjecture in dimensions 2 and 3.

Core claim

Noncommutative resolutions of generalized AS-Gorenstein isolated singularities are generalized AS-regular algebras; the center of any such resolution is isomorphic to the center of the original singularity; a noncommutative resolution of an AS-Gorenstein isolated singularity of dimension d is given by an MCM generator M if and only if M is a (d-1)-cluster tilting module; and a noncommutative version of the Bondal-Orlov conjecture holds in dimensions 2 and 3.

What carries the argument

Graded endomorphism rings of finitely generated graded modules over locally finite bounded-below Z-graded algebras, with equivalences of noncommutative quasi-projective spaces induced by modulo-torsion-invertible bimodules.

If this is right

  • Any noncommutative resolution preserves the center of the singularity.
  • Resolutions of AS-Gorenstein isolated singularities of dimension d correspond exactly to (d-1)-cluster tilting modules.
  • The noncommutative Bondal-Orlov conjecture holds for dimensions 2 and 3.
  • Equivalences between noncommutative quasi-projective spaces are governed by modulo-torsion-invertible bimodules.

Where Pith is reading between the lines

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

  • The correspondence with cluster tilting modules may allow classification of resolutions via representation theory of the singularity.
  • The center isomorphism suggests that geometric invariants like the spectrum of the center remain unchanged under noncommutative resolution.
  • The low-dimensional cases of the Bondal-Orlov conjecture might extend to higher dimensions if the Artin-Zhang quotient category framework can be strengthened.

Load-bearing premise

Noncommutative resolutions can be realized as graded endomorphism rings of finitely generated graded modules over locally finite bounded-below Z-graded algebras, with equivalences captured correctly by modulo-torsion-invertible bimodules at the quotient category level.

What would settle it

An explicit computation for a concrete generalized AS-Gorenstein isolated singularity in dimension 3 whose graded endomorphism ring fails to be generalized AS-regular or whose center differs from the original singularity.

read the original abstract

In this paper, we investigate noncommutative resolutions of (generalized) AS-Gorenstein isolated singularities. Noncommutative resolutions in graded case are achieved as the graded endomorphism rings of some finitely generated graded modules, which are seldom $\mathbb{N}$-graded algebras but bounded-below $\mathbb{Z}$-graded algebras. So, the paper works on locally finite bounded-below $\mathbb{Z}$-graded algebras. We first define and study noncommutative projective schemes after Artin-Zhang, and define noncommutative quasi-projective spaces as the base spaces of noncommutative projective schemes. The equivalences between noncommutative quasi-projective spaces are proved to be induced by so-called modulo-torsion-invertible bimodules, which is in fact a Morita-like theory at the quotient category level. Based on the equivalences, we propose a definition of noncommutative resolutions of generalized AS-Gorenstein isolated singularities, and prove that such noncommutative resolutions are generalized AS regular algebras. The center of any noncommutative resolution is isomorphic to the center of the original generalized AS-Gorenstein isolated singularity. In the final part we prove that a noncommutative resolution of an AS-Gorenstein isolated singularity of dimension $d$ is given by an MCM generator $M$ if and only if $M$ is a $(d-1)$-cluster tilting module. A noncommutative version of the Bondal-Orlov conjecture is also proved to be true in dimension 2 and 3.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript extends the Artin-Zhang framework for noncommutative projective schemes to locally finite bounded-below Z-graded algebras. It defines noncommutative quasi-projective spaces, establishes that equivalences between them are induced by modulo-torsion-invertible bimodules at the quotient-category level, proposes a definition of noncommutative resolutions of generalized AS-Gorenstein isolated singularities realized as graded endomorphism rings of finitely generated graded modules, proves that such resolutions are generalized AS-regular algebras whose centers are isomorphic to those of the original singularities, shows that a noncommutative resolution of an AS-Gorenstein isolated singularity of dimension d arises from an MCM generator M if and only if M is a (d-1)-cluster tilting module, and verifies a noncommutative version of the Bondal-Orlov conjecture in dimensions 2 and 3.

Significance. If the extension of the Artin-Zhang quotient-category machinery to the bounded-below Z-graded setting is valid, the results would provide a coherent noncommutative resolution theory for a broader class of graded singularities and would link it directly to cluster-tilting modules and the Bondal-Orlov conjecture. The explicit Morita-type theory at the quotient level and the center-isomorphism statement are potentially useful if the homological properties transfer as claimed.

major comments (2)
  1. [Definition of noncommutative resolutions and the Artin-Zhang extension] The central claims (resolutions are generalized AS-regular; center isomorphism; MCM generator iff (d-1)-cluster tilting; noncommutative Bondal-Orlov in dims 2-3) rest on the assertion that the torsion subcategory and the induced equivalences via modulo-torsion-invertible bimodules behave identically for bounded-below Z-graded algebras as they do in the classical N-graded case. The manuscript must supply an explicit verification that negative-degree elements do not alter the torsion or the invertible-bimodule action at the quotient level; without this, the identification of the endomorphism rings with generalized AS-regular algebras fails (see the paragraph beginning “Based on the equivalences, we propose a definition…” and the subsequent proofs).
  2. [Final part on MCM generators and cluster tilting] The statement that a noncommutative resolution of an AS-Gorenstein isolated singularity of dimension d is given by an MCM generator M if and only if M is a (d-1)-cluster tilting module requires that the finite global dimension and AS-Gorenstein properties transfer under the new grading. The paper should isolate the precise step where the (d-1)-cluster tilting condition implies the resolution property and verify it does not rely on the N-grading assumption that was relaxed earlier.
minor comments (2)
  1. [Title] The title contains the typo “singularites”; it should read “singularities”.
  2. [Abstract] The abstract states that “noncommutative resolutions in graded case are achieved as the graded endomorphism rings of some finitely generated graded modules, which are seldom N-graded algebras but bounded-below Z-graded algebras.” This phrasing is slightly unclear; a brief clarification of the distinction between “seldom” and the actual construction used would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and for identifying two points where the extension of the Artin-Zhang framework to bounded-below Z-graded algebras requires additional explicit verification. We agree that these clarifications are necessary to support the central claims and will incorporate them in a revised version.

read point-by-point responses

  1. Referee: The central claims rest on the assertion that the torsion subcategory and the induced equivalences via modulo-torsion-invertible bimodules behave identically for bounded-below Z-graded algebras as they do in the classical N-graded case. The manuscript must supply an explicit verification that negative-degree elements do not alter the torsion or the invertible-bimodule action at the quotient level.

    Authors: We acknowledge that the current text assumes the Artin-Zhang quotient-category constructions extend directly without a separate check for negative degrees. The proofs in Sections 3–4 rely on the torsion class being stable under the relevant actions, but an explicit computation confirming that negative-degree elements do not enlarge the torsion subcategory or affect the invertibility of bimodules modulo torsion is missing. We will add a dedicated lemma (or subsection) that verifies these properties by direct computation on the graded pieces, showing that the quotient equivalences remain unchanged. revision: yes

  2. Referee: The statement that a noncommutative resolution of an AS-Gorenstein isolated singularity of dimension d is given by an MCM generator M if and only if M is a (d-1)-cluster tilting module requires that the finite global dimension and AS-Gorenstein properties transfer under the new grading. The paper should isolate the precise step where the (d-1)-cluster tilting condition implies the resolution property and verify it does not rely on the N-grading assumption.

    Authors: The referee is correct that the proof of the equivalence between MCM generators and (d-1)-cluster tilting modules (Theorem 5.3) invokes the generalized AS-regular property of the endomorphism ring, which itself depends on the quotient-category equivalence established earlier. We will revise the argument to isolate the precise step at which the cluster-tilting condition implies finite global dimension and the AS-Gorenstein property, and we will insert a short paragraph confirming that this step uses only the Morita-type equivalence at the quotient level and does not invoke any N-grading-specific vanishing that fails in the bounded-below case. revision: yes

Circularity Check

0 steps flagged

No circularity; derivations extend Artin-Zhang via explicit definitions and equivalences without reduction to inputs

full rationale

The paper defines noncommutative resolutions as graded endomorphism rings of f.g. modules over locally finite bounded-below Z-graded algebras, then invokes the external Artin-Zhang construction for noncommutative projective schemes and proves a Morita-like equivalence at the quotient category level using modulo-torsion-invertible bimodules. Central claims (resolutions are generalized AS-regular, center isomorphism, MCM generator iff (d-1)-cluster tilting, noncommutative Bondal-Orlov in dims 2-3) are derived from these definitions and equivalences rather than by fitting parameters, self-definition, or load-bearing self-citations. No step reduces by construction to its own inputs; the framework is self-contained against the cited external theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard background from noncommutative algebra and Artin-Zhang theory; no free parameters, invented entities, or ad-hoc axioms are introduced beyond the new definition itself.

axioms (2)
  • standard math Artin-Zhang theory of noncommutative projective schemes
    Invoked to define noncommutative projective schemes and quasi-projective spaces.
  • domain assumption Existence and basic properties of AS-Gorenstein isolated singularities and MCM modules
    Used as the starting objects whose resolutions are studied.

pith-pipeline@v0.9.0 · 5805 in / 1492 out tokens · 33867 ms · 2026-05-23T17:32:37.468908+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    Artin, W

    M. Artin, W. Schelter, Graded algebras of dimension 3, Adv. Math. 66 (1987), 172-216

    work page 1987

  2. [2]

    Artin, J.J

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

    work page 1994

  3. [3]

    Auslander, On the purity of the branch locus, Amer

    M. Auslander, On the purity of the branch locus, Amer. J. Math. 84 (1962), 116-125

    work page 1962

  4. [4]

    Bruns, H

    W. Bruns, H. J. Herzog, Cohen-Macaulay Rings, 2nd ed. Cambridge: Cambridge University Press, 1998

    work page 1998

  5. [5]

    Bridgeland, A

    T. Bridgeland, A. King, M. Reid, The McKay correspondence as an equivalence of derived categories, J. Amer. Math. Soc. 14 (2001), 535-554

    work page 2001

  6. [6]

    Bondal, D

    A. Bondal, D. Orlov, Derived categories of coherent sheaves, Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), 47-56, Higher Ed. Press, Beijing, 2002

    work page 2002

  7. [7]

    Bondal, D

    A. Bondal, D. Orlov, Semi-orthogonal decompositions for algebraic varieties, available as alggeom/950601, 1996

    work page 1996

  8. [8]

    Bridgeland, Flops and derived categories, Invent

    T. Bridgeland, Flops and derived categories, Invent. Math. 147 (2002), 613-632

    work page 2002

  9. [9]

    K. Chan, E. Kirkman, C. Walton, J.J. Zhang, McKay correspondence for semisimple Hopf actions on regular graded algebras, J. Noncommut. Geom. 13 (2019), 87-114

    work page 2019

  10. [10]

    K. Chan, A. Young, J.J. Zhang, Noncommutative cyclic isolated singularities, Trans. Am. Math. Soc. 373 (2020), 4319-4358

    work page 2020

  11. [11]

    Faith, Algebra: Rings, Modules and Categories 1 , Springer-Verlag, New York, 1973

    C. Faith, Algebra: Rings, Modules and Categories 1 , Springer-Verlag, New York, 1973

    work page 1973

  12. [12]

    Hartshorne, Algebraic geometry, Springer-Verlag, New York, 1977

    R. Hartshorne, Algebraic geometry, Springer-Verlag, New York, 1977

    work page 1977

  13. [13]

    J. He, Y. Ye, Pre-resolution of noncommutative isolated singularities, Pacific J. Math. 316 (2022), 367-394

    work page 2022

  14. [14]

    Iyama, Higher-dimensional Auslander-Reiten theory on maximal orthogonal subcategories, Adv

    O. Iyama, Higher-dimensional Auslander-Reiten theory on maximal orthogonal subcategories, Adv. Math. 210 (2007), 22-50

    work page 2007

  15. [15]

    Iyama, Auslander correspondence, Adv

    O. Iyama, Auslander correspondence, Adv. Math. 210 (2007) 51-82

    work page 2007

  16. [16]

    Iyama, I

    O. Iyama, I. Reiten, Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras, Amer. J. Math. 130 (2008), 1087-1149

    work page 2008

  17. [17]

    Iyama, M

    O. Iyama, M. Wemyss, On the noncommutative Bondal-Orlov Conjecture, J. Reine Angew. Math. 683 (2013), 119-128

    work page 2013

  18. [18]

    Iyama, M

    O. Iyama, M. Wemyss, Maximal modifications and Auslander-Reiten duality for nonisolated singularities, Invent. Math. 197 (2014), 521-586

    work page 2014

  19. [19]

    N, Jacobson, Basic Algebra II, W. H. Freeman & Compagny, 1976

    work page 1976

  20. [20]

    J rgensen, Finite Cohen-Macaulay type and smooth non-commutative schemes, Canad

    P. J rgensen, Finite Cohen-Macaulay type and smooth non-commutative schemes, Canad. J. Math. 60 (2008) 379-390

    work page 2008

  21. [21]

    Kashiwara, P

    M. Kashiwara, P. Schapira, Sheaves on manifolds, Grundlehren der mathematischen Wissenschaften 292, Springer-Verlag Berlin Heidelberg GmbH

    work page

  22. [22]

    Kapranov, E

    M. Kapranov, E. Vasserot, Kleinian singularities, derived categories and Hall algebras. Math. Ann. 316 (2000), 565-576

    work page 2000

  23. [23]

    Lou, Invariant theory of AS-regular algebras and co-Poisson structures (Chinese), Ph.D

    Q. Lou, Invariant theory of AS-regular algebras and co-Poisson structures (Chinese), Ph.D. thesis, Fudan University, 2016

    work page 2016

  24. [24]

    Li, Q.-S

    H.-N. Li, Q.-S. Wu, Generalized AS Gorenstein algebra, to appear

    work page

  25. [25]

    Li, Q.-S

    H.-N. Li, Q.-S. Wu, Regular Z -graded local rings and graded isolated singularities, arXiv:2410.05667[math.AC]

    work page arXiv

  26. [26]

    Matsumura, Commutative algebra, second ed., Mathematics Lecture Note Series, V

    H. Matsumura, Commutative algebra, second ed., Mathematics Lecture Note Series, V. 56, Benjamin/Cummings Publishing Co., Inc., Reading, Mass., 1980

    work page 1980

  27. [27]

    Mori and K

    I. Mori and K. Ueyama, Ample group actions on AS-regular algebras and noncommutative graded isolated singularities, Trans. Amer. Math. Soc. 368 (2016), 7359-7383

    work page 2016

  28. [28]

    N a st a sescu, F

    C. N a st a sescu, F. Van Oystaeyen, Graded and Filtered Rings and Modules, Lecture Notes in Mathematics, vol 758. Springer, Berlin, 1979

    work page 1979

  29. [29]

    Popescu, Abelian categories with applications to rings and modules, L.M.S

    N. Popescu, Abelian categories with applications to rings and modules, L.M.S. Monographs, Academic Press, New York, 1973

    work page 1973

  30. [30]

    X. Qin, Y. Wang, J.J. Zhang, Noncommutative quasi-resolutions, J. Algebra 536 (2019), 102-148

    work page 2019

  31. [31]

    J. Rickard. Morita theory for derived categories, J. London Math. Soc. (2) 39 (1989), 436-456

    work page 1989

  32. [32]

    A. L. Rosenberg, Noncommutative schemes, Compositio Math. 112 (1998), 93-125

    work page 1998

  33. [33]

    M. L. Reyes, D. Rogalski, Graded twisted Calabi-Yau algebras are generalized Artin-Schelter regular. Nagoya Math. J. 245 (2022), 100-153

    work page 2022

  34. [34]

    S. P. Smith, Corrigendum to "Maps between non-commutative spaces'', Trans. Amer. Math. Soc. 368 (2016), 8295-8302

    work page 2016

  35. [35]

    Serre, Faisceaus alg\'ebriques coh\'erents, Ann

    J.-P. Serre, Faisceaus alg\'ebriques coh\'erents, Ann. Math. 61 (1955), 197-278

    work page 1955

  36. [36]

    Simson, A

    D. Simson, A. Skowro\' e ski, Elements of the representation theory of associative algebras, London Mathematical Society Student Texts, Cambridge University Press (2007)

    work page 2007

  37. [37]

    Ueyama, Graded maximal Cohen-Macaulay modules over noncommutative graded Gorenstein isolated singularities, J

    K. Ueyama, Graded maximal Cohen-Macaulay modules over noncommutative graded Gorenstein isolated singularities, J. Algebra 383 (2013), 85-103

    work page 2013

  38. [38]

    Ueyama, Noncommutative graded algebras of finite Cohen-Macaulay representation type, Proc

    K. Ueyama, Noncommutative graded algebras of finite Cohen-Macaulay representation type, Proc. Amer. Math. Soc. 143 (2015), 3703-3715

    work page 2015

  39. [39]

    Ueyama, Cluster tilting modules and noncommutative projective schemes, Pacific J

    K. Ueyama, Cluster tilting modules and noncommutative projective schemes, Pacific J. Math. 289 (2017), 449-468

    work page 2017

  40. [40]

    The rising sea: foundations of algebraic geometry, 2024, Online notes

    work page 2024

  41. [41]

    Van den Bergh, Non-commutative crepant resolutions

    M. Van den Bergh, Non-commutative crepant resolutions. The legacy of Niels Henrik Abel, 749-770, Springer, Berlin, 2004

    work page 2004

  42. [42]

    Van den Bergh, Three-dimensional flops and noncommutative rings

    M. Van den Bergh, Three-dimensional flops and noncommutative rings. Duke Math. J. 122 (2004), 423-455

    work page 2004

  43. [43]

    Van den Bergh, Existence theorems for dualizing complexes over non-commutative graded and filtered rings, J

    M. Van den Bergh, Existence theorems for dualizing complexes over non-commutative graded and filtered rings, J. Algebra 195 (1997), 662-679

    work page 1997

  44. [44]

    Yekutieli, Dualizing complexes over non-commutative graded algebras, J

    A. Yekutieli, Dualizing complexes over non-commutative graded algebras, J. Algebra 153 (1992), 41-84

    work page 1992

  45. [45]

    Zhu, Some invariant subalgebras are graded isolated singularities, J

    R. Zhu, Some invariant subalgebras are graded isolated singularities, J. Pure Appl. Algebra 226 (2022), Paper No. 107087, 6 pp

    work page 2022