REVIEW 5 minor 40 references
Total acyclicity of complexes over group algebras
T0 review · 0 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper defines a class of groups, Z, over whose group algebras Gorenstein projective modules are Gorenstein flat, the Gorenstein projective cotorsion pair is complete, and every acyclic complex of projective, flat, or injective modules…
desk verdict A genuinely unifying closure framework for Gorenstein properties over group algebras, with solid proofs and only minor external dependencies; worth serious review. 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 engine of the paper is a universally valid structural fact (Proposition 2.1): if M is a cokernel of an acyclic complex of flat modules over any ring, then there is a short exact sequence $0 \to M \to K \to N \to 0$ with K flat and N a cokernel of an acyclic complex of projective modules. This reduces questions about flat complexes to questions about projective complexes, and it yields the equivalences $\mathcal{P}(R) = \mathrm{PGF}(R)$ iff $\mathcal{F}(R) = \mathrm{GFlat}(R)$ used to show that total acyclicity for injective complexes implies total acyclicity for projective and flat complexes. Around this engine the paper places the criterion that a module is Gorenstein flat exactly when it has finite Gorenstein flat dimension and its Pontryagin dual is Gorenstein injective, together with the completeness of cotorsion pairs for projectively coresolved Gorenstein flat and Gorenstein flat modules, and the continuous group-class operations LH and Phi-inj with their transfinite hierarchical closures.
What would settle it
A concrete way to test the central claim is to take a group G in the LH-closure of Z and exhibit a ZG-module M whose Pontryagin dual is Gorenstein injective but whose Gorenstein flat dimension is infinite; even a module built over an uncountable ascending union of Z-subgroups, with each restriction Gorenstein flat, would refute Theorem 5.2(i).
Extended reading notes
Core claim
Let k be a commutative ring, let D denote Pontryagin duality, and let X, Y, Z be the group classes defined by: X consists of groups for which the cokernels of every acyclic complex of projective, respectively flat, kG-modules are projectively coresolved Gorenstein flat, respectively Gorenstein flat; Y consists of groups for which every acyclic complex of injective kG-modules is totally acyclic; and Z = Y ∩ {G : $D^{-1}\mathrm{GInj}(kG) \subseteq \mathrm{GFlat}(kG)$}. The paper's central claim is that Z is closed under LH and Phi-inj, that Z contains every G for which kG is weakly Gorenstein regular (in particular all finite groups, and all type-Phi groups when k = Z), and that membership in Z implies all four desired conclusions: $\mathrm{GProj}(kG) \subseteq \mathrm{GFlat}(kG)$, the GProj cotorsion pair is complete, and every acyclic complex of projective, flat, or injective kG-modules is totally acyclic. The proof shows, more generally, that X is LH-, Phi-proj-, and Phi-flat-closed and that Y is LH- and Phi-inj-closed, with Z the common refinement where the Pontryagin-dual condition forces Gorenstein flatness.
Load-bearing premise
The load-bearing premise is that the two quoted results on Gorenstein flatness—the finite-dimension-plus-dual criterion and the filtered-colimit theorem—apply to every coefficient ring k treated in the paper; the paper cites them without restating their hypotheses, so a failure of either for some k would leave the LH- and Phi-closure proofs incomplete.
Editorial extensions
If this is right
- Every group in the hierarchical closure of the weakly Gorenstein regular groups (the class called ZGor) satisfies all four properties, so the framework delivers new examples beyond the previously treated LHF and type-Phi groups.
- For any Z-group G, every kG-module has Gorenstein projective approximations on both sides, since the Gorenstein projective cotorsion pair is complete.
- For any Z-group G, acyclic complexes of projective, flat, and injective kG-modules are all totally acyclic, so complete resolutions and the constructions that depend on them are available.
- If G is in Z and H is a subgroup, then restrictions of Gorenstein projective (respectively flat, injective) kG-modules to kH are again Gorenstein projective (respectively flat, injective), with the flat and injective statements requiring only weaker assumptions on H.
- The tensor product of a Gorenstein projective kG-module with a k-free module, or of a Gorenstein flat kG-module with a k-flat module, is again Gorenstein projective, respectively flat, under the diagonal action; the Hom module into a Gorenstein injective module is Gorenstein injective when the first argument is k-flat.
Reading between the lines
- If the two cited Gorenstein-flat results hold without extra hypotheses on k, then the class Z is a natural maximal framework for these four properties; a converse question the paper does not settle is whether every group with all four properties must lie in Z.
- The paper's own open request for a group in X_fin or Y_fin that is neither LHF nor type Phi suggests a concrete test: computable examples among solvable or locally finite groups could show the new hierarchy is strictly larger than the old ones.
- The reduction of flat to projective behavior in Proposition 2.1 holds for arbitrary rings, so the group-theoretic operations are needed only to propagate the injective-side and duality conditions; analogous hierarchies could be built for other dualities or for the sfp-injective dimension variants mentioned in the paper.
- Since Z is closed under LH and Phi-inj but closure under extensions or direct products is not addressed, testing those operations on Z would indicate whether the class is stable under the remaining standard group constructions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a unified framework for four related conjectures in Gorenstein homological algebra over group algebras kG: (a) Gorenstein projective modules are Gorenstein flat, (b) modules whose Pontryagin dual is Gorenstein injective are Gorenstein flat, (c) the Gorenstein projective cotorsion pair is complete, and (d) acyclic complexes of projective, flat, or injective modules are totally acyclic. The authors introduce group classes X, Y, and Z whose defining conditions are these desirable properties, and prove that X is closed under LH, Φ_proj and Φ_flat (Theorem 3.3), Y is closed under LH and Φ_inj (Theorem 4.2), and Z is closed under LH and Φ_inj (Theorem 5.2). They also show that any group with weakly Gorenstein regular group algebra lies in Z (Proposition 5.5), that finite groups lie in Z under mild hypotheses on the coefficient ring (Proposition 5.3), and that all four properties hold for groups in these classes (Propositions 3.2, 4.1, 5.1). For k=Z this recovers and generalizes earlier results of Dembegioti–Talelli, Biswas, Mazza–Symonds, and Ren–Yang.
Significance. If the results stand, this is a valuable unifying contribution to Gorenstein homological algebra over group algebras. The paper places previously scattered results into a common framework and substantially extends the classes of groups for which the four properties are known. The proofs are carefully structured, with transparent use of cotorsion-pair machinery, transfinite induction à la Kropholler, and the Saroch–Stovíček theory of PGF and Gorenstein flat modules. The manuscript also provides explicit hierarchical descriptions of the resulting group classes. I found the central derivations sound and the external citations appropriate; in particular, Bouchiba's criterion (Proposition 1.1) and the filtered-colimit closure of Gorenstein flat modules used in Theorem 5.2 are quoted in their correct general form. The paper is a worthy successor to the earlier literature it generalizes.
minor comments (5)
- [Abstract] The abstract contains several typographical errors: 'Gorentein' should be 'Gorenstein' (appears twice), and 'co ntrolled' and 'a cyclic' should be 'controlled' and 'acyclic'.
- [Introduction, Theorem] The statement 'In particular, Z contains all groups of type Φ' is not justified in the text; it would be helpful to add a reference or a sentence explaining that for k=Z, groups of type Φ have weakly Gorenstein regular (indeed Gorenstein regular) group algebra because Z has finite global dimension.
- [§1, Proposition 1.2(iii)] In the proof, the functor Tor_1^{kG}(I, -) is applied with I an injective left kG-module, which is formally a right-module argument; the authors should briefly state that left and right kG-modules are identified via the standard anti-automorphism of kG, to avoid a left-right confusion for the reader.
- [§3, Theorem 3.3(i)] The uncountable cardinality step is somewhat terse: the assertion 'we may conclude as in [5, Lemma 5.6] that res_H^G M has PGF-dimension ≤ 1' is correct but would benefit from a short explanation of how the continuous ascending union of subgroups interacts with the PGF-dimension bound.
- [§5, Theorem 5.2(i)] In the uncountable step, the isomorphism res_H^G M ≅ colim_α ind_{H_α}^H res_{H_α}^G M is used without proof; adding a sentence justifying this standard fact would make the argument easier to verify.
Circularity Check
No significant circularity; the paper's closure theorems for the class Z are genuine implications built on independent external results.
full rationale
The paper's central claim is that the class Z = Y ∩ {G : D^-1 GInj(kG) ⊆ GFlat(kG)} is closed under LH and Φ_inj, and that it contains groups with weakly Gorenstein regular group algebras. The class Z is defined by the very properties under study, but the theorems are substantive statements about that class, not tautologies. Theorem 5.2(i) proves LHZ ⊆ Z by first using Z ⊆ Y and the independently established LH-closure of Y (Theorem 4.2), then proving D^-1 GInj(kG) ⊆ GFlat(kG) via transfinite induction on HZ-subgroups. The base case uses the defining property of Z for subgroups in Z, which is legitimate. The uncountable ascending-union step invokes [38, Corollary 4.12], an external result on filtered colimits of Gorenstein flat modules, and the finiteness-to-membership step uses Bouchiba's criterion (Proposition 1.1), also external. Theorem 5.2(ii) similarly reduces flatness of a module M with DM Gorenstein injective to finiteness of Gorenstein flat dimension via Bouchiba's criterion, using Φ_inj ⊆ Φ_flat (Lemma 1.5) to get finite flat dimension of the corresponding kernel. Proposition 5.5, showing weakly Gorenstein regular group algebras give Z-groups, relies on [39, Corollary 5.9] for I(kG) = GInj(kG) and on Bouchiba's criterion for the duality condition; neither input is derived from the target result. Where self-citations occur, they concern background or prior definitions: [40] introduces groups of type Φ, [16] concerns LHF-group conjectures for ZG, and [21]/[22] are cited for technical criteria in Sections 2 and the introduction. These citations are not load-bearing for the closure theorems themselves, and no fitted parameter is renamed as a prediction. The paper is self-contained in the sense that every stated implication is proved from the cited external theorems and the definitions, with no equation identified where the conclusion is equivalent to its input by construction. No circular step can be exhibited, so the appropriate finding is no significant circularity.
Assumptions & free parameters
assumptions (7)
- domain assumption Bouchiba's criterion: a module M is Gorenstein flat iff M has finite Gorenstein flat dimension and DM is Gorenstein injective.
- domain assumption Completeness and heredity of the cotorsion pairs (PGF, PGF^perp), (GFlat, GFlat^perp), and (perp-GInj, GInj).
- domain assumption Neeman's theorem on the homotopy category of flat modules and pure-acyclicity.
- domain assumption GFlat is closed under the filtered colimits that appear in the cardinal induction ([38, Corollary 4.12]).
- domain assumption If sfli k < infinity, then I(k) = GInj(k) ([39, Corollary 5.9]).
- standard math Standard induction/restriction/coinduction facts for group algebras, including restriction preserving injectives and coinduction preserving Gorenstein injectives.
- standard math Eklof's lemma and Benson's continuous-union lemma.
Cite this review
Pith. "Pith review of Total acyclicity of complexes over group algebras." pith.science (2026). https://pith.science/paper/KEM3COBU
@misc{pith2026250510920,
author = {Pith},
title = {Pith review of: Total acyclicity of complexes over group algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/KEM3COBU}},
note = {Machine review of arXiv:2505.10920}
}
read the original abstract
In this paper, we study group algebras over which modules have a controlled behaviour with respect to the notions of Gorenstein homological algebra, namely: (a) Gorenstein projective modules are Gorenstein flat, (b) any module whose dual is Gorenstein injective is necessarily Gorentein flat, (c) the Gorenstein projective cotorsion pair is complete and (d) any acyclic complex of projective, injective or flat modules is totally acyclic (in the respective sense). We consider a certain class of groups satisfying all of these properties and show that it is closed under the operation LH defined by Kropholler and the operation {\Phi} defined by the second author. We thus generalize all previously known results regarding these properties over group algebras and place these results in an appropriate framework.
Reference graph
Works this paper leans on
-
[1]
Auslander, M.: Anneaux de Gorenstein, et torsion en alg` ebre co mmutative. Secr´ etariat math´ ematique, Paris, 1967, S´ eminaire d’Alg` ebre Commutative dirig´ e par Pierre Samuel, 1966/67. Texte r´ edig´ e, d’apr` es des expos´ es de Maurice Auslander, par Marguerite Mangeney, Ch ristian Peskine et Lucien Szpiro. ´Ecole Normale Sup´ erieure de Jeunes Filles
work page 1967
-
[2]
Memoirs of the A merican Mathematical Society 94, American Mathematical Society, Providence, RI 1969
Auslander, M., Bridger, M.: Stable module theory. Memoirs of the A merican Mathematical Society 94, American Mathematical Society, Providence, RI 1969
work page 1969
-
[3]
Beligiannis, A.: The homological theory of contravariantly finite su bcategories: Auslander-Buchweitz contexts, Gorenstein categories and (co-) stabilization. Commun . Algebra 28, 4547-4596 (2000) 5In particular, ZGor contains all groups G for which kG is Gorenstein regular. TOTAL ACYCLICITY OF COMPLEXES OVER GROUP ALGEBRAS 23
work page 2000
-
[4]
Bennis, D., Mahbou, N.: Global Gorenstein dimensions. Proc. Amer . Math. Soc. 138, 461-465 (2010)
work page 2010
-
[5]
Benson, D.J.: Complexity and Varieties for Infinite Groups, I, II. J. Algebra 193, 260-317 (1997)
work page 1997
- [6]
-
[7]
Biswas, R.: On some cohomological invariants for large families of infi nite groups. New York J. Math. 27, 818-839 (2021)
work page 2021
-
[8]
Biswas, R.: Benson’s cofibrants, Gorenstein projectives and a r elated conjecture. Proc. Edinb. Math. Soc. 64, 779-799 (2021)
work page 2021
Show all 40 references
-
[9]
Bouchiba, S.: On Gorenstein flat dimension. J. Algebra Appl. 14 (2015), 1550096
2015
-
[10]
Glas gow Math
Bouchiba, S., Khaloui, M.: Stability of Gorenstein flat modules. Glas gow Math. J. 54, 169-175 (2012)
2012
-
[11]
Brown, K.S.: Cohomology of groups, Graduate Texts in Mathema tics 87 (Springer, Berlin-Heidelberg- New York, 1982)
1982
-
[12]
Chen, X.W., Ren, W.: Frobenius functors and Gorenstein homolog ical properties. J. Algebra 610, 18-37 (2022)
2022
-
[13]
Christensen, L.W., Estrada, S., Thompson, P.: Gorenstein weak global dimension is symmetric. Math. Nachr. 294, 2121-2128 (2021)
2021
-
[14]
Topology A ppl
Cornick, J., Kropholler, P.H.: On complete resolutions. Topology A ppl. 78, 235-250 (1997)
1997
-
[15]
arXiv:2104.08602v2
Cort´ es-Izurdiaga, M.,ˇSaroch, J,: The cotorsion pair generated by the Gorenstein proje ctive modules and λ-pure-injective modules. arXiv:2104.08602v2
-
[16]
Dembegioti, F., Talelli, O.: A note on complete resolutions. Proc. Am er. Math. Soc. 138, 3815-3820 (2010)
2010
-
[17]
Eklof, P., Trlifaj, J.: How to make Ext vanish. Bull. London Math. S oc. 23, 41-51 (2001)
2001
-
[18]
Algebra 372, 376-396 (2012)
Emmanouil, I.: On the finiteness of Gorenstein homological dimens ions, J. Algebra 372, 376-396 (2012)
2012
-
[19]
Emmanouil, I., Kaperonis, I.: On K-absolutely pure complexes. J. Algebra 640, 274-299 (2024)
2024
-
[20]
Emmanouil, I., Talelli, O.: On the flat length of injective modules. J. L ondon Math. Soc. 84, 408-432 (2011)
2011
-
[21]
Emmanouil, I., Talelli, O.: Triviality criteria for unbounded complexes . J. Algebra 663, 786-814 (2025)
2025
-
[22]
Emmanouil, I., Talelli, O.: Characteristic modules and Gorenstein (c o-)homological dimension of groups. J. Pure Appl. Algebra 229, 107830 (2025)
2025
-
[23]
Enochs, E.E., Jenda, O.M.G.: Gorenstein injective and projective modules. Math. Z. 220, 611-633 (1995)
1995
-
[24]
Berlin: Walter de Gruyter & Co
Enochs, E.E., Jenda, O.M.G.: Relative Homological Algebra (volume 1 ). Berlin: Walter de Gruyter & Co. KG 2011
2011
-
[25]
Nanjing Daxue Xuebao Shuxue Bannian Kan 10, 1-9 (1993)
Enochs, E.E., Jenda, O.M.G., Torrecillas, B.: Gorenstein flat module s. Nanjing Daxue Xuebao Shuxue Bannian Kan 10, 1-9 (1993)
1993
-
[26]
Topology Appl
Gedrich, T.V., Gruenberg, K.W.: Complete cohomological functor s on groups. Topology Appl. 25, 203- 223 (1987)
1987
-
[27]
G¨ obel, R., Trlifaj, J.: Approximations and Endomorphism Algebra s of Modules, de Gruyter Expositions in Mathematics 41 (de Gruyter, Berlin, 2012)
2012
-
[28]
Holm, H.: Gorenstein homological dimensions. J. Pure Appl. Algebr a 189, 167-193 (2004)
2004
-
[29]
Iyengar, S., Krause, H.: Acyclicity versus total acyclicity for c omplexes over Noetherian rings. Doc. Math. 11, 207-240 (2006)
2006
-
[30]
arXiv:2409.16094
Kendal, G.: The stable category and model structures for hier archically defined groups. arXiv:2409.16094
-
[31]
Kropholler, P.H.: On groups of type FP ∞ . J. Pure Appl. Algebra 90, 55-67 (1993)
1993
-
[32]
Lambek, J.: A module is flat if and only if its character module is injec tive, Canadian Mathematical Bulletin 7, 237-243 (1964)
1964
-
[33]
Li, W., Guan, J., Ouyang, B.: Strongly FP-injective modules. Comm . Algebra 45, 3816-3824 (2017)
2017
-
[34]
Mazza, N., Symonds, P.: The stable category and invertible modu les for infinite groups. Adv. Math. 358, 1-26 (2019)
2019
-
[35]
Neeman, A.: The homotopy category of flat modules, and Groth endieck duality. Invent. Math. 174, 255-308 (2008)
2008
-
[36]
arXiv:2206.09589v4
Ren, W.: Gorenstein cohomological dimension and stable categor ies for groups. arXiv:2206.09589v4
-
[37]
arXiv:2211.02221v2
Ren, W, Yang, G.: Gorenstein homological dimension and some inva riants of groups. arXiv:2211.02221v2
-
[38]
Selecta Math
ˇSaroch, J., ˇSt ’ov ´ ıˇ cek, J.: Singular compactness and definability for Σ-cotorsion and Gorenstein modules. Selecta Math. (N.S.) 26, 2020, Paper No. 23 24 IOANNIS EMMANOUIL AND OLYMPIA TALELLI
2020
-
[39]
arXiv:1412.1615
ˇSt ’ov ´ ıˇ cek, J.: On purity and applications to coderived and singularity categories. arXiv:1412.1615
-
[40]
Talelli, O.: On groups of type Φ.. Arch. Math. (Basel) 89, 24-32 (2007) Department of Mathematics, University of Athens, Athens 15 784, Greece E-mail addresses: emmanoui@math.uoa.gr and otalelli@math.uoa.gr
2007
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.