Pith. sign in

REVIEW 1 major objections 5 minor 34 references

Govorov--Lazard and finite deconstructibility for Gorenstein and restricted homological dimensions

T0 review · 1 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read Over Cohen–Macaulay rings with a pointwise dualizing module, modules of bounded restricted projective dimension are finitely deconstructible and modules of bounded restricted flat dimension satisfy the Govorov–Lazard property.

desk verdict Solid Gorenstein and restricted-dimension theorems, but Theorem 5.3's proof has reversed inequalities that must be fixed before the almost Cohen-Macaulay claim is established. read the letter →

arxiv 2508.20281 v1 pith:M3MRRHX7 submitted 2025-08-27 math.AC

classification math.AC MSC 13C6013C1413D0513D07
keywords Govorov–LazardpropertyfinitedeconstructibilityrestrictedhomologicaldimensionsGorensteinprojectivedimensionflatCohen–MacaulayringspointwisedualizingmoduleTor-pairs
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 asks when a class of modules defined by a bound on a relative homological dimension can be rebuilt from its finitely generated members. The two structural properties are the Govorov–Lazard property, meaning every module is a direct limit of finitely generated modules from the class, and finite deconstructibility, meaning every module is a direct summand of a transfinite extension of finitely generated modules from the class. The main results establish these properties for Gorenstein projective and flat dimensions over Gorenstein rings, and for restricted projective and flat dimensions over Cohen–Macaulay rings with a pointwise dualizing module; an almost Cohen–Macaulay version covers restricted flat dimension for every bound. These structural descriptions matter because a class that is the direct limit closure of its finitely presented part and is closed under products yields preenvelopes in the module category, and because they extend the known structure theorem for balanced big Cohen–Macaulay modules from bound zero to arbitrary bounds and to non-local rings.

What carries the argument

The main mechanism is a bridge from restricted dimensions to Gorenstein dimensions over the trivial extension $R\ltimes\Omega$. When $R$ is Cohen–Macaulay with a pointwise dualizing module $\Omega$, Lemma 4.1 makes $R\ltimes\Omega$ into a Gorenstein ring, and Lemma 4.2 identifies $\operatorname{Rfd}_R(M)$ with $\operatorname{Gfd}_{R\ltimes\Omega}(M)$ and $\operatorname{Rpd}_R(M)$ with $\operatorname{Gpd}_{R\ltimes\Omega}(M)$, reducing the Cohen–Macaulay case to the Gorenstein case. On the Gorenstein side the argument runs through the cotorsion pair generated by finitely generated Gorenstein projectives, together with the direct-limit and Tor-pair calculus that converts Govorov–Lazard statements into generation by finitely presented modules, to pass from $n=0$ to all $n$. For the almost Cohen–Macaulay result, the second machine is the classification of hereditary Tor-pairs whose right class lies in the modules locally of finite flat dimension: such pairs correspond to functions $f:\operatorname{Spec}R\to\mathbb{Z}_{\ge0}$ with $f(p)\le\operatorname{depth}R_p$, with the restricted flat Tor-pair $(\mathrm{RF}_n,D_n)$ attached to $f_n(p)=\max(0,\operatorname{depth}R_p-n)$.

What would settle it

Exhibit a commutative noetherian almost Cohen–Macaulay ring of finite Krull dimension and an $n\ge0$ for which some module of restricted flat dimension at most $n$ is not a direct limit of finitely generated modules of restricted projective dimension at most $n$; such a module would directly refute Corollary 5.4. A smaller check is to compute, on a concrete non-Gorenstein almost Cohen–Macaulay ring such as $k[[x,y]]/(xy)$, the Tor-pair generated by the finitely generated part of $\mathrm{RF}_n$ and compare it with the Tor-pair assigned by the classification to the function $f_n(p)=\max(0,\operatorname{depth}R_p-n)$.

Watch

Extended reading notes

Core claim

The paper's central claim is that the classical dichotomy between flat modules, which are direct limits of finitely generated projectives, and projective modules, which are direct summands of free modules, persists for the relative dimensions that recover Gorenstein dimensions. Over a Gorenstein ring, the class $\mathrm{GP}_n$ of modules of Gorenstein projective dimension at most $n$ is finitely deconstructible and the class $\mathrm{GF}_n$ of modules of Gorenstein flat dimension at most $n$ satisfies the Govorov–Lazard property, for every $n\ge 0$. The same pair of conclusions is then transferred to restricted projective and flat dimensions, $\mathrm{RP}_n$ and $\mathrm{RF}_n$, over Cohen–Macaulay rings with a pointwise dualizing module, using the identification of restricted dimensions with Cohen–Macaulay dimensions and a trivial-extension bridge; over almost Cohen–Macaulay rings of finite Krull dimension, the Govorov–Lazard claim for $\mathrm{RF}_n$ holds for every $n$ via a classification of hereditary Tor-pairs. A direct corollary is that the finitely generated modules in these classes are preenveloping in $\mathrm{mod}\,R$ in the relevant settings.

Load-bearing premise

The almost Cohen–Macaulay part of the main theorem depends on a classification of Tor-pairs imported from a companion preprint and not proved in this paper; if that classification, or its identification of restricted flat dimension with the function $f(p)=\max(0,\operatorname{depth} R_p-n)$, were incorrect, the Govorov–Lazard conclusion would not follow.

Editorial extensions

If this is right

  • Over any Gorenstein ring, for every $n\ge0$, every module of Gorenstein flat dimension at most $n$ is a direct limit of finitely generated modules of Gorenstein projective dimension at most $n$, and every module of Gorenstein projective dimension at most $n$ is a direct summand of a transfinite extension of such finitely generated modules.
  • Over a Cohen–Macaulay ring with a pointwise dualizing module, the same two structural conclusions hold for restricted projective and flat dimensions, equivalently Cohen–Macaulay projective and flat dimensions, at every bound $n$.
  • Over an almost Cohen–Macaulay ring of finite Krull dimension, the class of modules of restricted flat dimension at most $n$ satisfies the Govorov–Lazard property for every $n$, and the finitely generated members form a preenveloping class in $\mathrm{mod}\,R$.
  • For any commutative noetherian ring of finite Krull dimension, the restricted flat modules satisfy the Govorov–Lazard property and the restricted projective modules are finitely deconstructible, covering the $n=0$ case in full generality.
  • The paper extends the known structure theorem for balanced big Cohen–Macaulay modules from bound zero to arbitrary bounds and to non-local Cohen–Macaulay rings with a pointwise dualizing module.

Reading between the lines

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

  • One extension the paper does not pursue is the same bridge in the language of complexes: since the trivial-extension identification of Lemma 4.2 is dimension-level, a derived-category reformulation might transfer Gorenstein deconstructibility statements to restricted dimensions for complexes, provided the relevant homotopy categories behave well.
  • The criterion in Theorem 5.3 suggests a testable sufficient condition for arbitrary noetherian rings: if every prime ideal $p$ admits a finitely generated module of restricted projective dimension at most $\operatorname{depth}R_p$ with $p$ among its associated primes, then all restricted flat classes $\mathrm{RF}_n$ should satisfy the Govorov–Lazard property; checking this on rings of infinite Kru
  • A further consequence of the preenveloping corollaries is that approximation theory for restricted dimensions is now available outside the dualizing-module setting; one could ask whether these preenvelopes are minimal or whether the same method produces precovers for the corresponding right classes, which would yield new cotorsion pairs.
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

1 major / 5 minor

Summary. The paper studies Govorov–Lazard (GL) and finite deconstructibility (FD) properties for classes of modules of bounded Gorenstein and restricted homological dimensions over commutative noetherian rings. Theorem A establishes GL for Gorenstein flat classes and FD for Gorenstein projective classes over (locally) Gorenstein rings. Theorem B establishes: (1) GL for restricted flat modules and FD for restricted projective modules over finite-dimensional rings; (2) GL for Cohen–Macaulay flat and FD for Cohen–Macaulay projective classes when the ring has a pointwise dualizing module; and (3) GL for restricted flat dimension over almost Cohen–Macaulay finite-dimensional rings. The proofs use cotorsion-pair and Tor-pair techniques, the trivial extension construction, and a classification of hereditary Tor-pairs from the authors' preprint [18].

Significance. If the results are correct, they constitute a significant advance: they extend Holm's work on balanced big Cohen–Macaulay modules, provide a Gorenstein analog of the recent finite-type results for projective and flat dimensions from [24], and give a broad sufficient condition for the Govorov–Lazard property on restricted flat classes. The paper is clearly organized and makes effective use of existing tools, including the Baer criterion and the local-to-global principle of Angeleri Hügel–Trlifaj. A notable strength is the explicit formulation of the properties (GL), (FD), and (LF), which makes the results easy to state and check. However, a load-bearing error in the proof of Theorem 5.3 currently undermines the almost Cohen–Macaulay case of Theorem B.

major comments (1)
  1. [Section 5, Theorem 5.3] The proof of (iii)⇒(i) in Theorem 5.3 contains a reversal of the inequality directions. The inclusion lim→RP^{<ω}_n ⊆ RF_n yields C_f ⊆ C_{f_n}; with the definition C_f = {M | depth M_p ≥ f(p)}, this containment is equivalent to f(p) ≥ f_n(p) for every p, not f ≤ f_n as stated. The subsequent argument, intended to prove the 'other inequality', again establishes only f(p) ≥ f_n(p) in the case f_n(p) > 0; indeed, applying [18, Proposition 4.14] to RF_{n+f_n(p)} = (lim→RP^{<ω}_n)^{(f_n(p))} gives max(0, f(p)−f_n(p)) = f_{n+f_n(p)}(p) = 0, hence f(p) ≤ f_n(p), which is the opposite of what the text claims. Thus both displayed inequalities are reversed and the equality f = f_n is not established. Since Corollary 5.4 and Theorem B(3)(i) rely on Theorem 5.3, the Govorov–Lazard property for restricted flat dimension over almost Cohen–Macaulay rings is not proven as printed.
minor comments (5)
  1. [Section 5, Theorem 5.3] In the proof of the case f_n(p)=0, the text refers to 'the finitely generated module M of assumption (ii)'; since this is inside the (iii)⇒(i) implication, the reference should be to assumption (iii).
  2. [Section 2, Proposition 2.1(5)] The proof of the locality statement is terse; a few more details on why the supremum over maximal ideals coincides with the supremum over all primes (e.g., via the localization isomorphism for Tor and the equality fd_R(N)=fd_{R_p}(N_p)) would improve readability.
  3. [Introduction, after the definition of (GL)] The phrase 'it worth mentioning' should be 'it is worth mentioning'.
  4. [Section 4, Lemma 4.2] The step proving Rpd_R ≤ CMpd_R is very compressed; after citing [21, Lemma 2.12], the inference that Ext^i_R(P,I)=0 for P∈CMP_0 and I∈I^{<∞} should be spelled out, as it is central to the inequality chain.
  5. [Section 1, Notation] The definition of RP^{<ω}_n and RF^{<ω}_n is only implicit via the general notation C^{<ω}; it would help to state it explicitly when these classes are first used.

Circularity Check

0 steps flagged · score 1.0 of 10

No material circularity: the paper's derivations rest on prior parameter-free results, not on their own conclusions.

full rationale

The paper's claimed derivation chain does not reduce to its inputs by construction. Theorem A proves the Gorenstein cases by reducing GP_n/GF_n to the n=0 case and importing [24, Theorem A/B], a prior result on P_n and F_n whose assumptions (Serre-type conditions, almost Cohen–Macaulay rings) do not contain the target conclusions; although two of the present authors are among [24]'s authors, that is a normal citation dependency, not a logical circle. Lemma 4.2 connects restricted dimensions to Gorenstein dimensions over the trivial extension R⋉Ω using [31, Lemma 4.14], [25, Theorem 2.2], and Corollary 3.2, none of which assumes the restricted-dimension Govorov–Lazard or finite-deconstructibility conclusions. Section 5 does lean on the authors' own preprint [18, Theorem 4.17 and Proposition 4.14] for the classification of hereditary Tor-pairs and the shift formula, so there is a self-citation that is load-bearing in the proof of Theorem 5.3; however, that classification has its own stated assumptions, is not the restricted-flat Govorov–Lazard property being proved, and is not fitted to the present target. The skeptical concern about reversed inequalities in the proof of Theorem 5.3 is a correctness objection to the written argument, not a circularity: it does not show that any claim is equivalent to its input by definition. No parameter is fitted and then renamed a prediction, no known result is merely renamed, and no uniqueness result is used to force a conclusion already contained in the input.

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

The paper contributes no free parameters or new postulated objects; it proves structural statements about existing classes (RP_n, RF_n, GP_n, GF_n, CMF_n, CMP_n). The central claims rest on several prior theorems, some of which (notably [18] and [24]) are by the same author group. These are listed as axioms because they are imported without proof in this paper; they are not fitted to data and none of them contain the target result as an assumption.

assumptions (6)
  • standard math ZFC and standard homological algebra: Baer criterion, Eklof-Trlifaj theorem, Hill lemma, Govorov-Lazard theorem.
    Throughout the paper; explicit uses in Lemma 2.2 (Baer criterion), Section 1.1 ([16, Corollary 6.14]), and Lemma 1.4 (Hill lemma).
  • domain assumption Classification of hereditary Tor-pairs with right class contained in LF^{<∞} ([18, Theorem 4.17]).
    Used as the backbone of Section 5, see Theorem 5.1, and applied via [18, Proposition 4.14]; not proved in this paper and drawn from the authors' own preprint arXiv:2411.04514.
  • domain assumption Finite-type and Govorov-Lazard results for P_n and F_n ([24, Theorems A and B]).
    Used in Theorem 3.3, Theorem 3.4, Remark 1.3, and Corollary 1.3; published results by two of the present authors.
  • domain assumption Miyachi's Cohen-Macaulay approximation theorem ([29, Theorem 1.2]).
    Used in Lemma 2.6 to obtain the extension 0→K→G→N→0 with G∈CM(R) and K admitting a finite resolution by finite coproducts of copies of the pointwise dualizing module.
  • domain assumption Equality between restricted dimensions over R and Gorenstein dimensions over the trivial extension R⋉Ω ([31, Lemma 4.14] and [22, Lemma 3.1]).
    Used in Lemma 4.2 to bridge restricted and Cohen-Macaulay dimensions; underlies Theorem B(2).
  • domain assumption Shaul's result that a flat Gorenstein projective module over a Gorenstein ring is projective ([32, Remark A.10]).
    Used in Lemma 3.1 to conclude that a module in GP_0∩LI^{<∞} is projective.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Govorov--Lazard and finite deconstructibility for Gorenstein and restricted homological dimensions." pith.science (2026). https://pith.science/paper/M3MRRHX7

@misc{pith2026250820281,
  author       = {Pith},
  title        = {Pith review of: Govorov--Lazard and finite deconstructibility for Gorenstein and restricted homological dimensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M3MRRHX7}},
  note         = {Machine review of arXiv:2508.20281}
}
read the original abstract

Over Cohen--Macaulay rings admitting a pointwise dualizing module, we show that the class of modules of restricted projective dimension bounded by any integer is finitely deconstructible and that the class of modules of restricted flat dimension bounded by any integer satisfies the Govorov-Lazard property. Along the way, we prove the corresponding result for Gorenstein projective and flat dimensions over (locally) Gorenstein rings. Outside of Cohen--Macaulay rings, we consider analogous properties for restricted projective dimension zero and restricted flat dimension zero and establish them for commutative noetherian rings of finite Krull dimension. This has consequences for the corresponding classes of finitely generated modules being preenveloping in certain cases and provides generalizations of Holm's results on structure of balanced big Cohen--Macaulay modules in various directions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 31 canonical work pages

  1. [18]

    Cotorsion pairs and tor-pairs over commutative noetherian rings

    Dolors Herbera, Michal Hrbek, and Giovanna Le Gros. Cotorsion pairs and tor-pairs over commutative noetherian rings. arXiv preprint arXiv:2411.04514 , 2024

  2. [24]

    The finite type of modules of bounded projective dimension and Serre’s conditions

    Michal Hrbek and Giovanna Le Gros. The finite type of modules of bounded projective dimension and Serre’s conditions. Bulletin of the London Mathematical Society , 56(8):2760–2775, 2024

  3. [1]

    Direct limits of modules of finite projective dimension.Rings, Modules, Algebras, and Abelian Groups, LNPAM, 236:27–44, 2004

    Lidia Angeleri H¨ ugel and Jan Trlifaj. Direct limits of modules of finite projective dimension.Rings, Modules, Algebras, and Abelian Groups, LNPAM, 236:27–44, 2004

  4. [2]

    Homological dimension in noetherian rings

    Maurice Auslander and David A Buchsbaum. Homological dimension in noetherian rings. Proceedings of the National Academy of Sciences, 42(1):36–38, 1956

  5. [3]

    Reflexivity and rigidity for complexes, i: Commutative rings

    Luchezar Avramov, Srikanth Iyengar, and Joseph Lipman. Reflexivity and rigidity for complexes, i: Commutative rings. Algebra & Number Theory , 4(1):47–86, 2010

  6. [4]

    Injective dimension in noetherian rings

    Hyman Bass. Injective dimension in noetherian rings. Transactions of the American Mathematical Society, 102(1):18– 29, 1962

  7. [5]

    Cotorsion pairs generated by modules of bounded projective dimension

    Silvana Bazzoni and Dolors Herbera. Cotorsion pairs generated by modules of bounded projective dimension. Israel Journal of Mathematics , 174(1):119–160, 2009

  8. [6]

    Thick subcategories and virtually Gorenstein algebras

    Apostolos Beligiannis and Henning Krause. Thick subcategories and virtually Gorenstein algebras. Illinois J. Math. , 52(2):551–562, 2008

Show all 34 references
  1. [7]

    Two definable subcategories of maximal Cohen–Macaulay modules

    Isaac Bird. Two definable subcategories of maximal Cohen–Macaulay modules. Journal of Pure and Applied Algebra , 224(6):106250, 2020. 12 SOUVIK DEY, MICHAL HRBEK, GIOVANNA LE GROS

  2. [8]

    Cambridge University Press, Cambridge, 1998

    Winfried Bruns and J¨ urgen Herzog.Cohen–Macaulay rings, volume 39 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1998

  3. [9]

    Gorenstein homological algebra of artin algebras

    Xiao-Wu Chen. Gorenstein homological algebra of artin algebras. arXiv preprint arXiv:1712.04587 , 2017

  4. [10]

    Restricted homological dimensions and Cohen– Macaulayness

    Lars Winther Christensen, Hans-Bjørn Foxby, and Anders Frankild. Restricted homological dimensions and Cohen– Macaulayness. Journal of Algebra, 251(1):479–502, 2002

  5. [11]

    On Gorenstein projective, injective and flat dimensions – a functorial description with applications

    Lars Winther Christensen, Anders Frankild, and Henrik Holm. On Gorenstein projective, injective and flat dimensions – a functorial description with applications. J. Algebra, 302(1):231–279, 2006

  6. [12]

    Locally finitely presented additive categories

    William Crawley-Boevey. Locally finitely presented additive categories. Commun. Algebra, 22(5):1641–1674, 1994

  7. [13]

    Relative homological algebra: Volume 1 , volume 30

    Edgar E Enochs and Overtoun MG Jenda. Relative homological algebra: Volume 1 , volume 30. Walter de Gruyter, 2011

  8. [14]

    Gorenstein homological dimensions and Auslander categories.J

    Mohammad Ali Esmkhani and Massoud Tousi. Gorenstein homological dimensions and Auslander categories.J. Algebra, 308(1):321–329, 2007

  9. [15]

    On homological dimensions

    Aleksander Aleksandrovich Gerko. On homological dimensions. Sbornik: Mathematics , 192(8):1165, 2001

  10. [16]

    Walter de Gruyter GmbH & Co

    R¨ udiger G¨ obel and Jan Trlifaj.Approximations and endomorphism algebras of modules : Volume 1 – Approximations , volume 41 of De Gruyter Expositions in Mathematics . Walter de Gruyter GmbH & Co. KG, Berlin, second revised and extended edition, 2012

  11. [17]

    On flat modules

    VE Govorov. On flat modules. Sibirskii Matematicheskii Zhurnal , 6(2):300–304, 1965

  12. [19]

    Gorenstein homological dimensions

    Henrik Holm. Gorenstein homological dimensions. J. Pure Appl. Algebra , 189(1-3):167–193, 2004

  13. [20]

    The structure of balanced big Cohen–Macaulay modules over Cohen–Macaulay rings

    Henrik Holm. The structure of balanced big Cohen–Macaulay modules over Cohen–Macaulay rings. Glasgow Mathe- matical Journal, 59(3):549–561, 2017

  14. [21]

    Semi-dualizing modules and related Gorenstein homological dimensions

    Henrik Holm and Peter Jørgensen. Semi-dualizing modules and related Gorenstein homological dimensions. Journal of Pure and Applied Algebra , 205(2):423–445, 2006

  15. [22]

    Cohen–Macaulay homological dimensions

    Henrik Holm and Peter Jørgensen. Cohen–Macaulay homological dimensions. Rendiconti del Seminario Matematico della Universit` a di Padova, 117:87–112, 2007

  16. [23]

    Rings without a Gorenstein analogue of the Govorov–Lazard theorem

    Henrik Holm and Peter Jørgensen. Rings without a Gorenstein analogue of the Govorov–Lazard theorem. Quarterly journal of mathematics , 62(4):977–988, 2011

  17. [25]

    Recognizing dualizing complexes

    Peter Jørgensen. Recognizing dualizing complexes. Fundamenta Mathematicae, 176:251–259, 2003

  18. [26]

    The spectrum of a module category

    Henning Krause. The spectrum of a module category. Mem. Amer. Math. Soc. , 149(707):x+125, 2001

  19. [27]

    Autour de la platitude

    Daniel Lazard. Autour de la platitude. Bulletin de la Soci´ et´ e Math´ ematique de France, 97:81–128, 1969

  20. [28]

    H. Lenzing. Homological transfer from finitely presented to infinite modules. InAbelian group theory (Honolulu, Hawaii, 1983), volume 1006 of Lecture Notes in Math. , pages 734–761. Springer, Berlin, 1983

  21. [29]

    Cohen-macaulay approximations and noetherian algebras

    Jun-ichi Miyachi. Cohen-macaulay approximations and noetherian algebras. Communications in Algebra, 26(7):2181– 2190, 1998

  22. [30]

    Resolutions as directed colimits

    Leonid Positselski. Resolutions as directed colimits. Rendiconti del Seminario Matematico della Universit` a di Padova, 2024

  23. [31]

    Cohen–Macaulay homological dimensions

    Parviz Sahandi, Tirdad Sharif, and Siamak Yassemi. Cohen–Macaulay homological dimensions. Mathematica Scandi- navica, 126(2):189–208, 2020

  24. [32]

    Acyclic complexes of injectives and finitistic dimensions

    Liran Shaul. Acyclic complexes of injectives and finitistic dimensions. arXiv preprint arXiv:2303.08756 , 2023

  25. [33]

    On G-regular local rings

    Ryo Takahashi. On G-regular local rings. Communications in Algebra®, 36(12):4472–4491, 2008

  26. [34]

    Flat covers of modules , volume 1634 of Lecture Notes in Mathematics

    Jinzhong Xu. Flat covers of modules , volume 1634 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1996. Souvik Dey: Department of Mathematical Sciences, University of Arkansas, 850 West Dickson Street Fayetteville, Arkansas 72701 United States Michal Hrbek: Institut...

Pith tools

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