Pith. sign in

REVIEW 2 major objections 5 minor 52 references

On strongly G-regular rings

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Pith's one-line read For any field k, a commutative local artin algebra can be G-regular yet possess a non-projective Gorenstein projective module.

desk verdict Settles Chen's problems in the negative via an explicit tensor-product construction; the main counterexample is self-contained except for one cited classification that should be verified. read the letter →

arxiv 2608.08228 v1 pith:F5YXI3LV submitted 2026-08-08 math.AC math.RT

classification math.ACmath.RT MSC 13C6013D0913H1016E65
keywords stronglyG-regularringGorensteinprojectivemodulequasi-dominantCM-freealgebraweaklythicksubcategorytotallyacycliccomplexartin
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 introduces strongly G-regular rings, defined by requiring every (including infinitely generated) Gorenstein projective module to be projective, and studies how this condition relates to quasi-dominance and to the homological finiteness of thick subcategories. Its main positive results characterize strong G-regularity in terms of quasi-dominant rings and, in the Cohen–Macaulay case, in terms of covariant or contravariant finiteness of a natural thick subcategory. Its main negative result constructs, over any field $k$, a commutative local artin algebra $R$ that is weakly Gorenstein and G-regular (CM-free) but not strongly G-regular; the explicit infinitely generated Gorenstein projective module built from a totally acyclic complex refutes the three open problems (A), (B), and (C) of the artin algebra literature. This matters because those problems asked whether the finiteness of Gorenstein projective modules would force them to decompose into finitely generated pieces, and the answer turns out to be no even in the commutative local artin case.

What carries the argument

The argument runs through two main mechanisms. On the structural side, the paper uses the thick subcategory $\operatorname{thick}_{D^b(R)}\{R, D\}$ generated by the ring and its dualizing complex: strong G-regularity is equivalent to this thick subcategory being the whole bounded derived category, and quasi-dominance is the local statement that the residue field can be built from $\{R, D, X\}$ for every $X$ of infinite projective dimension; the classification of such thick subcategories then flows from the correspondence between thick subcategories of $D^b(R)$ and of $\operatorname{mod} R$, restricted through the category $C(R)$. On the constructive side, Proposition 5.6 builds a one-periodic complex $X = (\cdots \to F \to F \to \cdots)$ with differential $c = \begin{pmatrix} a & b \\ b & -a \end{pmatrix}$ on $F = G \oplus G$; given endomorphisms $a, b$ of a free module $G$ with $a^2 = b^2 = 0$, $ab = ba$, and additive splittings $g$ and $h$ satisfying $ag + ga = \operatorname{id}_G$ and $b^*h + hb^* = \operatorname{id}$, the complex is totally acyclic, so $M = \operatorname{Im} c$ is Gorenstein projective. In Theorem 5.7, the tensor product $R = A \otimes_k B$ realizes such $a, b$ on a free module with basis indexed by $\mathbb{N}^2$ using bijections from $\mathbb{N} \times \{1,\dots,p\}$ and $\mathbb{N} \times \{1,\dots,q\}$ to $\mathbb{N}$; the two tensor factors ensure $ab = ba$, while the two acyclicity conditions are checked separately on $B$-bases and $A$-bases.

What would settle it

For $k = \mathbb{F}_2$ and $A = B = k[x,y]/(x^2, xy, y^2)$, compute explicitly with the definition in Theorem 5.7 whether $M = \operatorname{Im} c$ is Gorenstein projective and non-free. If $M$ is free, or if a finitely generated non-free Gorenstein projective module exists over $R = A \otimes_k B$, the counterexample fails.

Watch

Extended reading notes

Core claim

The paper's central claim is that strong G-regularity is strictly stronger than G-regularity, even among commutative local artin algebras that are weakly Gorenstein. For any field $k$, take artinian local $k$-algebras $A$ and $B$ with square-zero maximal ideals of $k$-dimension at least 2 and form $R = A \otimes_k B$; the paper shows that $R$ is G-regular and satisfies (tr) (equivalently, is weakly Gorenstein), but the module $M = \operatorname{Im} c$, where $c$ is the one-periodic differential on $F = G \oplus G$ constructed in Section 5, is Gorenstein projective and not projective. Consequently the three problems (A), (B), and (C) all have negative answers: over the same ring $R$, CM-freeness does not force every Gorenstein projective module to be a direct sum of finitely generated ones, nor to be projective, and CM-finiteness does not imply virtual Gorensteinness. The paper also proves a classification theorem for thick subcategories over locally quasi-dominant rings and characterizes strong G-regularity by the equality of the singular and non-Gorenstein loci together with local quasi-dominance.

Load-bearing premise

The counterexample inherits from a cited classification the claim that the tensor product ring $A \otimes_k B$ (with both maximal ideals of dimension at least two and square zero) is G-regular and satisfies (tr); if that classification fails, the example no longer separates the two notions.

Editorial extensions

If this is right

  • Problems (A), (B), and (C) all have negative answers: CM-freeness does not force every Gorenstein projective module to be a direct sum of finitely generated ones, nor to be projective, and CM-finiteness does not imply virtual Gorensteinness.
  • Strong G-regularity is strictly stronger than G-regularity even in the artinian local setting: there is a CM-free ring with a non-projective Gorenstein projective module.
  • Under mild assumptions, strong G-regularity is a local property and is characterized by local quasi-dominance together with equality of the singular and non-Gorenstein loci.
  • For a henselian Cohen–Macaulay non-Gorenstein local ring, strong G-regularity is equivalent to the covariant (equivalently contravariant) finiteness of the thick subcategory generated by the ring and its canonical module.
  • New families of strongly G-regular rings are obtained: quotients of regular rings by powers of complete-intersection ideals and certain products of parameter ideals are locally dominant and strongly G-regular when the number of generators exceeds one.

Reading between the lines

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

  • The explicit construction of a totally acyclic complex from commuting square-zero endomorphisms with additive splittings could be adapted to other tensor-product settings, potentially yielding non-projective Gorenstein projective modules over graded or noncommutative algebras.
  • The counterexample is G-regular and weakly Gorenstein but not strongly G-regular; a known theorem for artin algebras then implies it is not virtually Gorenstein, so weak Gorensteinness does not imply virtual Gorensteinness for commutative artin algebras.
  • The classification theorem suggests that quasi-dominance may be the right unifying hypothesis for subcategory classification beyond Cohen–Macaulay rings; one could test whether the correspondence extends to categories larger than $C(R)$ or to rings without dualizing complexes.
  • The non-projective Gorenstein projective module $M = \operatorname{Im} c$ is a one-periodic image, giving a concrete infinitely generated Gorenstein projective module over an artin algebra; computing its endomorphism ring or deciding whether it decomposes into finitely generated modules would be a natural next step.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper introduces and studies strongly G-regular rings, i.e., commutative noetherian rings over which every Gorenstein projective module, not necessarily finitely generated, is projective. It establishes a classification of thick subcategories over locally quasi-dominant rings (Theorem 2.11 and Corollary 2.13), characterizes strong G-regularity in terms of the derived category, quasi-dominance, and the singular/Gorenstein loci (Theorem 3.8 and Corollary 3.11), and proves a higher-dimensional analogue of the Beligiannis–Krause characterization via covariantly/contravariantly finite thick subcategories (Theorem 4.5). The central new result is Theorem 5.7: for any field k there is a commutative local finite-dimensional k-algebra R that is weakly Gorenstein and G-regular (CM-free) but not strongly G-regular; an explicit infinitely generated Gorenstein projective module is constructed. Corollary 5.9 then gives negative answers to Chen's Problems A, B, and C. The only point of fragility is that the G-regularity and the condition (tr) of the constructed ring are imported verbatim from Atkins–Vraciu [2, Example 2.5(a)], and no independent verification or precise statement of that example is provided.

Significance. If the cited result is correct, the paper resolves a cluster of open problems due to Chen and Ringel–Zhang in the negative, and it provides a substantial new theory connecting strong G-regularity with quasi-dominance and thick subcategory finiteness. The construction of a totally acyclic complex in Proposition 5.6 is explicit and the verification of total acyclicity in Theorem 5.7 is detailed and appears correct; there is no post-hoc data selection. The paper also contains useful new families of dominant and strongly G-regular rings. The main caveat is that the decisive G-regularity and (tr) properties of the counterexample are not proved in the text; they rest on a single citation. This makes the central claim conditionally sound rather than fully self-contained.

major comments (2)
  1. [§5, Theorem 5.7] The final sentence of Theorem 5.7, 'By [2, Example 2.5(a)] and Remark 3.3(2), R is G-regular and satisfies (tr)', is the sole justification for the properties that make R a counterexample to Chen's Problems A, B, and C in Corollary 5.9. The cited example is not stated, and the paper does not verify that its hypotheses hold for an arbitrary field k and for all p,q ⩾ 2. If the cited example requires additional assumptions (for instance, an algebraically closed field, or p,q > 2), or if it is misquoted, then the ring R may fail to be G-regular or to satisfy (tr), and the negative answers to Chen's problems would not follow. Since this is a load-bearing step, please either state [2, Example 2.5(a)] precisely and confirm that the present setting satisfies its hypotheses, or give a self-contained proof of the G-regularity and (tr) of R.
  2. [§5, Remark 5.8(2) and Corollary 5.9] The paper concludes that the constructed rings are weakly Gorenstein in the sense of Ringel–Zhang by combining (tr) with the equivalence asserted in Remark 3.3(2). This is an additional advertised property in Theorem 1.4 and the abstract, but the connection between (tr) and weak Gorensteinness for artin algebras is only referenced indirectly. Please provide a precise reference to [45] for the equivalence and, if needed, a one-sentence explanation showing that the artinian local algebra R satisfies the definition of weak Gorensteinness directly from (tr).
minor comments (5)
  1. [§5, Theorem 5.7] The statement 'The ring R is local with maximal ideal I=mR+nR' is used without proof; it follows from the standard fact that the tensor product over a field of two local k-algebras is local, but the authors should either justify it or supply a citation.
  2. [§2, Proposition 2.7(2)] The isomorphism m⊗^L_R R/xR ≅ m⊗_R R/xR is used without comment; it holds because x is R-regular, but a brief justification would improve clarity.
  3. [Introduction, Theorem 1.1] The displayed statement of Theorem 1.1 contains a garbled typesetting of the correspondence; the final version should ensure that the bijection between thick subcategories and generalization-closed subsets is rendered correctly.
  4. [§3, Remark 3.3(2)] The phrase 'strongly G-regular' in the sense of Atkins–Vraciu is defined using Tor-condition; the paper should explicitly note that for artinian local rings this condition is equivalent to the conjunction of G-regularity and the condition (tr), and cite the relevant theorem of [45] for the equivalence with weak Gorensteinness.
  5. [§5, Corollary 5.2] The notation 'dim k(0 :R m)' in the proof should be typeset as 'dim_k(0:_R m)' for readability; this is a purely typographical issue.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central counterexample is constructed from scratch, with external citations (including [2]) serving as genuine support rather than as restatements of the target conclusion.

full rationale

The paper's main counterexample (Theorem 5.7) is proved by explicitly constructing a one-periodic complex X with differential c on F = G ⊕ G and verifying total acyclicity in Proposition 5.6. The proof does not re-use Chen's Problems A/B/C or the paper's own definition of strong G-regularity as an input; the non-projective Gorenstein projective module M = Im c is built directly from the data of the tensor factors. The only imported assertion in the central chain is the G-regularity and (tr) of R = A ⊗_k B with dim_k m ≥ 2 and dim_k n ≥ 2, which is taken from [2, Example 2.5(a)]; that is an external peer-reviewed theorem by non-overlapping authors (Atkins and Vraciu), not a fitted parameter, not a re-labeling of Chen's questions, and not a self-citation. A failure of that cited theorem would create a correctness risk for the negative answers to Chen's problems, but external citation is not circularity. The self-citations that do occur ([50] for thick-subcategory classification, [49] for the proof of Theorem 4.5, [26] for finite CM-representation type) are to prior published theorems with independent proofs; they are used as lemmas rather than as the conclusion being derived. No circular step can be exhibited with the required specificity: no equation is equal to its input by construction, and no fitted parameter is renamed as a prediction. The score of 1 merely records the manuscript's heavy reliance on prior literature, including coauthor work, for peripheral classification results; this is normal scholarly dependence, not circularity.

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

No free parameters: the constructions are explicit with no fitted constants. The axioms listed are standard background results and standing hypotheses, including the existence of a dualizing complex, condition (#), and several deep theorems from the published literature. The paper defines new terminology but no new mathematical entities.

assumptions (9)
  • domain assumption R admits a dualizing complex D (standing hypothesis in Sections 2 and 3)
    Used to define quasi-dominance (Definition 2.2) and to state condition (#).
  • domain assumption Condition (#): the Verdier quotient D^b(R)/thick{R,D} has finite dimension
    Definition 3.6(4); assumed in Theorem 3.8 and Corollary 3.11. Holds for excellent rings by Aoki [1] per Remark 3.7(2).
  • standard math Aoki [1]: quasi-excellent rings admit strong generators, so (#) holds
    Invoked in Remark 3.7(2) to ensure (#) for excellent rings.
  • standard math Iyengar-Krause [35, Theorem 5.3]: K_tac(ProjR)=0 iff thick{R,D}=D^b(R)
    Proof of Theorem 3.8, equivalence (2) iff (3).
  • standard math Dey-Mifune [28, Corollary 3.3]: annihilator description of the non-strongly G-regular locus
    Used in proving equality (3.8.1) in Theorem 3.8.
  • standard math Atkins-Vraciu [2, Example 2.5(a)]: G-regularity and (tr) of R=A⊗B with square-zero maximal ideals
    Final step of Theorem 5.7; the counterexample's G-regularity depends on it.
  • standard math Krause-Stevenson [40, Theorem 1] and Takahashi [50] bijections between thick subcategories
    Used in Proposition 2.10 and Theorem 2.11.
  • standard math Takahashi [49, Theorem 1.4] on contravariantly finite resolving subcategories
    Used in the proof of Theorem 4.5.
  • standard math Takahashi [50, Theorem 5.6] preservation of dominance under quotient by a regular element
    Used in Propositions 2.7, 5.1, and 5.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On strongly G-regular rings." pith.science (2026). https://pith.science/paper/F5YXI3LV

@misc{pith2026260808228,
  author       = {Pith},
  title        = {Pith review of: On strongly G-regular rings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F5YXI3LV}},
  note         = {Machine review of arXiv:2608.08228}
}
read the original abstract

A noetherian ring is called G-regular when all finitely generated Gorenstein projective modules are projective. In this paper, we study rings satisfying the stronger condition that all Gorenstein projective modules are projective, which we call strongly G-regular. We show that the notion of strongly G-regular rings is closely related to that of quasi-dominant rings introduced by Takahashi and to the covariant/contravariant finiteness of a certain thick subcategory. We also answer a series of questions due to Chen in the negative, showing that the Gorenstein projective analogue of the Auslander-Ringel-Tachikawa theorem fails even for commutative local artin algebras which are weakly Gorenstein in the sense of Ringel and Zhang.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

52 extracted references · 46 canonical work pages

  1. [45]

    C. M. Ringel; P. Zhang , Gorenstein-projective and semi-Gorenstein-projective modules, Algebra Number Theory 14 (2020), no. 1, 1--36

  2. [1]

    Aoki , Quasiexcellence implies strong generation, J

    K. Aoki , Quasiexcellence implies strong generation, J. Reine Angew. Math. 780 (2021), 133--138

  3. [2]

    J. C. Atkins; A. Vraciu , Strong G-regularity and totally acyclic complexes over some tensor product rings, Comm. Algebra 48 (2020), no. 10, 4249--4255

  4. [3]

    M. Auslander , Large modules over artin algebras, Algebra, Topology, and Category Theory (A Collection of Papers in Honor of Samuel Eilenberg) , Academic Press, New York, (1976), 1--17

  5. [4]

    Auslander; R.-O

    M. Auslander; R.-O. Buchweitz , The homological theory of maximal Cohen--Macaulay approximations, Colloque en l'honneur de Pierre Samuel (Orsay, 1987) , 5--37, Mem. Soc. Math. France (N.S.) , 38 (1989)

  6. [5]

    Auslander; I

    M. Auslander; I. Reiten , Applications of contravariantly finite subcategories, Adv. Math. 86 (1991), no. 1, 111--152

  7. [6]

    Auslander; S

    M. Auslander; S. O. Smal , Preprojective modules over A rtin algebras, J. Algebra 66 (1980), no. 1, 61--122

  8. [7]

    L. L. Avramov , Infinite free resolutions. Six lectures on commutative algebra (Bellaterra, 1996), 1--118. Progr. Math., 166 Birkh\" a user Verlag, Basel, 1998

Show all 52 references
  1. [8]

    L. L. Avramov; A. Martsinkovsky , Absolute, relative, and Tate cohomology of modules of finite Gorenstein dimension. Proc. London Math. Soc. (3) 85 (2002), no. 2, 393--440

  2. [9]

    Beligiannis , Cohen-Macaulay modules, (co)torsion pairs and virtually Gorenstein algebras, J

    A. Beligiannis , Cohen-Macaulay modules, (co)torsion pairs and virtually Gorenstein algebras, J. Algebra 288 (2005), no. 1, 137--211

  3. [10]

    Beligiannis , On algebras of finite Cohen-Macaulay type, Adv

    A. Beligiannis , On algebras of finite Cohen-Macaulay type, Adv. Math. 226 (2011), no. 2, 1973--2019

  4. [11]

    Beligiannis; H

    A. Beligiannis; H. Krause , Thick subcategories and virtually Gorenstein algebras, Illinois J. Math. 52 (2008), no. 2, 551--562

  5. [12]

    Beligiannis; I

    A. Beligiannis; I. Reiten , Homological and homotopical aspects of torsion theories, Mem. Amer. Math. Soc. 188 (2007), no. 883, x+207 pp

  6. [13]

    P. A. Bergh , Modules with reducible complexity, J. Algebra 310 (2007), no. 1, 132--147

  7. [14]

    Bruns; J

    W. Bruns; J. Herzog , Cohen--Macaulay rings, revised edition, Cambridge Studies in Advanced Mathematics 39 , Cambridge University Press, Cambridge , 1998

  8. [15]

    Celikbas; H

    O. Celikbas; H. Dao; R. Takahashi , Modules that detect finite homological dimensions, Kyoto J. Math. 54 (2014), no. 2, 295--310

  9. [16]

    Chen , An Auslander-type result for Gorenstein-projective modules, Adv

    X.-W. Chen , An Auslander-type result for Gorenstein-projective modules, Adv. Math. 218 (2008), no. 6, 2043--2050

  10. [17]

    Chen , Algebras with radical square zero are either self-injective or CM-free, Proc

    X.-W. Chen , Algebras with radical square zero are either self-injective or CM-free, Proc. Amer. Math. Soc. 140 (2012), no. 1, 93--98

  11. [18]

    Chen , Gorenstein homological algebra of Artin algebras, arXiv:1712.04587

    X.-W. Chen , Gorenstein homological algebra of Artin algebras, arXiv:1712.04587

  12. [19]

    X.-W. Chen; Y. Ye , Retractions and Gorenstein homological properties, Algebr. Represent. Theory 17 (2014), no. 3, 713--733

  13. [20]

    L. W. Christensen , Gorenstein dimensions, Lecture Notes in Math. 1747 , Springer-Verlag, Berlin , 2000

  14. [21]

    L. W. Christensen; S. Estrada; P. Thompson , Homotopy categories of totally acyclic complexes with applications to the flat-cotorsion theory, Categorical, homological and combinatorial methods in algebra, Contemp. Math. 751 , American Mathematical Society, Providence, RI , 202...

  15. [22]

    L. W. Christensen; G. Piepmeyer; J. Striuli; R. Takahashi , Finite Gorenstein representation type implies simple singularity, Adv. Math. 218 (2008), no. 4, 1012--1026

  16. [23]

    H. Dao; A. De Stefani , On monomial Golod ideals, Acta Math. Vietnam 47 (2022), no. 1, 359--367

  17. [24]

    H. Dao; T. Kobayashi; R. Takahashi , Burch ideals and Burch rings, Algebra Number Theory 14 (2020), no. 8, 2121--2150

  18. [25]

    H. Dao; R. Takahashi , Classification of resolving subcategories and grade consistent functions, Int. Math. Res. Not. IMRN (2015), no. 1, 119--149

  19. [26]

    S. Dey; K. Kimura; J. Liu; Y. Otake , On local rings of finite syzygy representation type, arXiv:2507.17097

  20. [27]

    S. Dey; J. Liu; X.-S. Lu , Cotorsion pairs, thick subcategories, and finitely generated Gorenstein projective modules, arXiv:2603.01424

  21. [28]

    S. Dey; Y. Mifune , Upper bounds for dimensions of singularity categories and their annihilators, arXiv:2408.12206v2

  22. [29]

    Eisenbud , Homological algebra on a complete intersection, with an application to group representations, Trans

    D. Eisenbud , Homological algebra on a complete intersection, with an application to group representations, Trans. Amer. Math. Soc. 260 (1980), no. 1, 35--64

  23. [30]

    S. Goto; R. Takahashi; N. Taniguchi , Almost Gorenstein rings--towards a theory of higher dimension, J. Pure Appl. Algebra 219 (2015), no. 7, 2666--2712

  24. [31]

    S. Goto; K. Watanabe , On graded rings. I. J. Math. Soc. Japan 30 (1978), no. 2, 179--213

  25. [32]

    Gover; P

    E. Gover; P. Salmon , On a class of Golod homomorphisms, Math. Scand. 46 (1980), no. 1, 5--14

  26. [33]

    Hartshorne , Residues and duality, Lecture notes of a seminar on the work of A

    R. Hartshorne , Residues and duality, Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64, With an appendix by P. Deligne, Lecture Notes in Math. 20 , Springer--Verlag, Berlin--New York , 1966

  27. [34]

    Huang; J

    Z. Huang; J. Sun , Invariant properties of representations under excellent extensions, J. Algebra 358 (2012), 87--101

  28. [35]

    S. B. Iyengar; H. Krause , Acyclicity versus total acyclicity for complexes over Noetherian rings, Doc. Math. 11 (2006), 207--240

  29. [36]

    Kimura; J

    K. Kimura; J. Lyle; Y. Otake; R. Takahashi , On the vanishing of Ext modules over a local unique factorization domain with an isolated singularity, arXiv:2310.16599

  30. [37]

    Kiyek; J

    K. Kiyek; J. St\" u ckrad , Integral closure of monomial ideals on regular sequences, Rev. Mat. Iberoamericana 19 (2003), no. 2, 483--508

  31. [38]

    Kobayashi; R

    T. Kobayashi; R. Takahashi , On the ubiquity of uniformly dominant local rings, arXiv:2603.10810

  32. [39]

    F. Kong; P. Zhang , From CM-finite to CM-free, J. Pure Appl. Algebra 220 (2016), no. 2, 782--801

  33. [40]

    Krause; G

    H. Krause; G. Stevenson , A note on thick subcategories of stable derived categories, Nagoya Math. J. 212 (2013), 87--96

  34. [41]

    G. J. Leuschke; R. Wiegand , Cohen--Macaulay representations, Math. Surveys Monogr. 181 , American Mathematical Society, Providence, RI , 2012

  35. [42]

    Nasseh; R

    S. Nasseh; R. Takahashi , Local rings with quasi-decomposable maximal ideal, Math. Proc. Cambridge Philos. Soc. 168 (2020), no. 2, 305--322

  36. [43]

    Stevenson , Duality for bounded derived categories of complete intersections, Bull

    G. Stevenson , Duality for bounded derived categories of complete intersections, Bull. Lond. Math. Soc. 46 (2014), no. 2, 245--257

  37. [44]

    C. M. Ringel; H. Tachikawa , QF-3 rings, J. Reine Angew. Math. 272 (1975), 49--72

  38. [46]

    Rouquier , Dimensions of triangulated categories, J

    R. Rouquier , Dimensions of triangulated categories, J. K-Theory 1 (2008), no. 2, 193--256

  39. [47]

    Schoutens , Projective dimension and the singular locus, Comm

    H. Schoutens , Projective dimension and the singular locus, Comm. Algebra 31 (2003), no. 1, 217--239

  40. [48]

    Takahashi , On G-regular local rings, Comm

    R. Takahashi , On G-regular local rings, Comm. Algebra 36 (2008), no. 12, 4472--4491

  41. [49]

    Takahashi , Contravariantly finite resolving subcategories over commutative rings, Amer

    R. Takahashi , Contravariantly finite resolving subcategories over commutative rings, Amer. J. Math. 133 (2011), no. 2, 417--436

  42. [50]

    Takahashi , Dominant local rings and subcategory classification, Int

    R. Takahashi , Dominant local rings and subcategory classification, Int. Math. Res. Not. IMRN (2023), no. 9, 7259--7318

  43. [51]

    Takahashi , Solid generators in module categories and applications, Rend

    R. Takahashi , Solid generators in module categories and applications, Rend. Semin. Mat. Univ. Padova 152 (2024), 229--243

  44. [52]

    Wakamatsu , Stable equivalence for self-injective algebras and a generalization of tilting modules, J

    T. Wakamatsu , Stable equivalence for self-injective algebras and a generalization of tilting modules, J. Algebra 134 (1990), no. 2, 298--325

Pith tools

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