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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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)$.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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)
- [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).
- [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.
- [Introduction, after the definition of (GL)] The phrase 'it worth mentioning' should be 'it is worth mentioning'.
- [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.
- [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
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
assumptions (6)
- standard math ZFC and standard homological algebra: Baer criterion, Eklof-Trlifaj theorem, Hill lemma, Govorov-Lazard theorem.
- domain assumption Classification of hereditary Tor-pairs with right class contained in LF^{<∞} ([18, Theorem 4.17]).
- domain assumption Finite-type and Govorov-Lazard results for P_n and F_n ([24, Theorems A and B]).
- domain assumption Miyachi's Cohen-Macaulay approximation theorem ([29, Theorem 1.2]).
- 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]).
- domain assumption Shaul's result that a flat Gorenstein projective module over a Gorenstein ring is projective ([32, Remark A.10]).
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.
Reference graph
Works this paper leans on
-
[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
arXiv 2024
-
[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
work page 2024
-
[1]
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
work page 2004
-
[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
work page 1956
-
[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
work page 2010
-
[4]
Injective dimension in noetherian rings
Hyman Bass. Injective dimension in noetherian rings. Transactions of the American Mathematical Society, 102(1):18– 29, 1962
work page 1962
-
[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
work page 2009
-
[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
work page 2008
Show all 34 references
-
[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
2020
-
[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
1998
-
[9]
Gorenstein homological algebra of artin algebras
Xiao-Wu Chen. Gorenstein homological algebra of artin algebras. arXiv preprint arXiv:1712.04587 , 2017
2017 arXiv
-
[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
2002
-
[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
2006
-
[12]
Locally finitely presented additive categories
William Crawley-Boevey. Locally finitely presented additive categories. Commun. Algebra, 22(5):1641–1674, 1994
1994
-
[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
2011
-
[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
2007
-
[15]
On homological dimensions
Aleksander Aleksandrovich Gerko. On homological dimensions. Sbornik: Mathematics , 192(8):1165, 2001
2001
-
[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
2012
-
[17]
On flat modules
VE Govorov. On flat modules. Sibirskii Matematicheskii Zhurnal , 6(2):300–304, 1965
1965
-
[19]
Gorenstein homological dimensions
Henrik Holm. Gorenstein homological dimensions. J. Pure Appl. Algebra , 189(1-3):167–193, 2004
2004
-
[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
2017
-
[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
2006
-
[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
2007
-
[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
2011
-
[25]
Recognizing dualizing complexes
Peter Jørgensen. Recognizing dualizing complexes. Fundamenta Mathematicae, 176:251–259, 2003
2003
-
[26]
The spectrum of a module category
Henning Krause. The spectrum of a module category. Mem. Amer. Math. Soc. , 149(707):x+125, 2001
2001
-
[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
1969
-
[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
1983
-
[29]
Cohen-macaulay approximations and noetherian algebras
Jun-ichi Miyachi. Cohen-macaulay approximations and noetherian algebras. Communications in Algebra, 26(7):2181– 2190, 1998
1998
-
[30]
Resolutions as directed colimits
Leonid Positselski. Resolutions as directed colimits. Rendiconti del Seminario Matematico della Universit` a di Padova, 2024
2024
-
[31]
Cohen–Macaulay homological dimensions
Parviz Sahandi, Tirdad Sharif, and Siamak Yassemi. Cohen–Macaulay homological dimensions. Mathematica Scandi- navica, 126(2):189–208, 2020
2020
-
[32]
Acyclic complexes of injectives and finitistic dimensions
Liran Shaul. Acyclic complexes of injectives and finitistic dimensions. arXiv preprint arXiv:2303.08756 , 2023
2023 arXiv
-
[33]
On G-regular local rings
Ryo Takahashi. On G-regular local rings. Communications in Algebra®, 36(12):4472–4491, 2008
2008
-
[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...
1996
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.