Pith. sign in

REVIEW 1 major objections 5 minor 41 references

Transfer of abelian model structures to equivariant categories and homotopy squares

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

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Finite group actions with invertible order transfer abelian model structures to equivariant categories, and the homotopy categories agree up to retracts.

desk verdict A substantial transfer theorem for Hovey triples to equivariant categories, with a genuinely new comparison result; the main ideas are sound, but one step in Prop. 2.11 is wrong as written and needs a small repair before the proof is complete. read the letter →

arxiv 2608.08141 v1 pith:5RIRQS6K submitted 2026-08-08 math.RT

Zhenxing Di , Liping Li , Li Liang , Guoliang Tang , Rongmin Zhu This is my paper · ORCID
classification math.RT MSC 18G2518G8018G65
keywords abelianmodelstructureequivariantcategoryHoveytripleFrobeniusfunctortriangleequivalenceuptoretractsPGFmodulesskewgroupringhomotopysquare
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 establishes a lifting theorem: when a finite group G acts on a Grothendieck category A with enough projectives and |G| is invertible, any cofibrantly generated hereditary Hovey triple whose classes are suitably G-invariant induces the same kind of Hovey triple on the equivariant category A^G. It then proves that the homotopy category of the lifted model structure is triangle equivalent, up to retracts, to the equivariantization of the original homotopy category, with a genuine triangle equivalence when a certain stable category is idempotent complete. The paper also shows that derived functors of Quillen adjunctions are compatible with this comparison, producing a commutative square of homotopy categories. This gives a general mechanism for passing abelian model structures, and their homotopy theories, through equivariantization, with concrete consequences for modules over skew group rings and PGF modules.

What carries the argument

The engine is the transfer theorem for Hovey triples along a faithful Frobenius functor (Theorem 2.16), specialised to the Frobenius pair Ind: A ⇄ A^G : U. A Frobenius pair is an adjunction whose right adjoint is also a left adjoint; the symmetry lets one control both cotorsion pairs of a Hovey triple simultaneously. In the equivariant setting, |G|-invertibility makes the counit Ind∘U → id split, which turns the epimorphism condition of the transfer criterion into a tautology, so the transferred classes (C^G, W^G, F^G) inherit cofibrant generation and heredity. The comparison of homotopy categories is carried by factoring Ho(γ_A^G) through the stable categories St_{ω^G}(C^G ∩ F^G) and St_ω(C ∩ F)^G, where the comparison is a triangle equivalence up to retracts.

What would settle it

Take A = Mod(Z) with G = C2 acting by the sign automorphism, so |G| = 2 is not invertible, and let M be the PGF Hovey triple on Mod(Z). Compute the lifted triple (C^G, W^G, F^G) on Mod(Z)^G and test whether it satisfies the completeness of the two cotorsion pairs required for a Hovey triple; if it does, the |G|-invertible hypothesis is unnecessary. A more direct test is to find one equivariant object X for which the counit short exact sequence 0 → ker ε_X → Ind U X → X → 0 does not split; Lemma 3.1, and hence the proof of the transfer theorem, would fail at that point.

Watch

Extended reading notes

Core claim

The central claim is Theorem A: under the |G|-invertible hypothesis, if any two of the three classes C, W, F of a cofibrantly generated hereditary Hovey triple are G-invariant, then (C^G, W^G, F^G) is again a cofibrantly generated hereditary Hovey triple on A^G, and the induced functor Ho(γ_A^G): Ho(M^G) → Ho(M)^G is a triangle equivalence up to retracts, becoming a genuine triangle equivalence when St_{ω^G}(C^G ∩ F^G) is idempotent complete. Theorem B adds that for a two-sided Quillen adjunction satisfying faithfulness, invariance, and weak-equivalence conditions on unit and counit cokernels and kernels, the square comparing L(F^G) with L(F)^G commutes up to natural isomorphism and the horizontal functors are triangle equivalences. The paper verifies the hypotheses for PGF Hovey triples, obtaining a comparison functor Ho(PGF(RG)) → Ho(PGF(R))^G that is a triangle equivalence up to retracts, and constructs homotopy squares from Frobenius bimodules and from stable equivalences of adjoint type.

Load-bearing premise

The whole argument depends on the order of the group being invertible in the category: that single hypothesis makes the counit of the induction-forgetful adjunction split, and without the split the lifted triple is not guaranteed to satisfy the completeness conditions of a Hovey triple.

Editorial extensions

If this is right

  • For any finite group action with |G| invertible, a cofibrantly generated hereditary abelian model structure whose classes are G-invariant transfers to the equivariant category, so equivariant homological algebra inherits the model structure.
  • The homotopy categories Ho(M^G) and Ho(M)^G coincide up to retracts; when the relevant stable category is idempotent complete, they are genuinely triangle equivalent.
  • Total derived functors commute with equivariantization: L(F^G) and L(F)^G sit in a commutative square, so equivariant derived functors can be computed either before or after passing to fixed points.
  • For rings, the right orthogonal class PGF(RG)^⊥ equals (PGF(R)^⊥)^G, and Ho(PGF(RG)) is triangle equivalent up to retracts to Ho(PGF(R))^G.
  • Stable equivalences of adjoint type between base rings lift to the skew group rings, giving triangle equivalences of the associated equivariant PGF homotopy categories.

Reading between the lines

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

  • The |G|-invertibility condition appears to be the real dividing line: without it, the split counit used in the transfer proof is unavailable, so one should expect genuinely different behaviour, and testing whether some weaker averaging condition suffices would be a natural next step.
  • The "up to retracts" caveat is not cosmetic; any failure of idempotent completeness in the equivariant stable category would make the comparison fail to be a full equivalence, so examples with non-idempotent-complete stable categories could separate the two notions.
  • The transfer machinery is stated for Grothendieck categories, but its core transfer theorem is purely about Frobenius functors; applying it to other Frobenius adjunctions, such as induction between module categories over Frobenius extensions, may yield analogous lifting results without any group action.
  • The PGF illustration suggests the same square should exist for Gorenstein projective, injective, and flat Hovey triples; the paper states the verification is analogous, so those cases are a promising place to test whether the hypotheses can be relaxed.
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

1 major / 5 minor

Summary. The paper develops a transfer theorem for abelian model structures along Frobenius functors (Theorem 2.16 and 2.18) and applies it to the equivariant category A^G of a Grothendieck category A equipped with a finite group action with |G| invertible. Its Theorem A states that if two of the three classes of a cofibrantly generated hereditary Hovey triple are G-invariant, then the equivariant classes form such a triple, and the induced functor Ho(A^G) -> Ho(A)^G is a triangle equivalence up to retracts, with a genuine equivalence under an idempotent completeness condition. Theorem B gives conditions under which a Quillen adjunction between two such categories induces a commutative square relating L(F^G) and L(F)^G, with both horizontal functors triangle equivalences. Section 5 illustrates the results for PGF Hovey triples over skew group rings, Frobenius bimodules, and stable equivalences of adjoint type.

Significance. If the main theorems are correct, the paper provides a general and useful framework for equivariantizing abelian model structures, complementing the transfer results of Hovey, Gillespie, Sun, and Chen. The paper is explicit about which results are imported and provides detailed proofs for the new lifting lemmas; the PGF corollaries give concrete, checkable applications. The principal caveats are the essential hypothesis that |G| is invertible and the reliance on Sun's theorem for the triangulated comparison; these are stated clearly. The identified gap in Proposition 2.11 is localized and repairable, so the overall contribution remains valuable.

major comments (1)
  1. [Section 2, Proposition 2.11] The proof of the implication (⇐) contains the displayed chain ^⊥H^{-1}(D)=^⊥(F(S)^⊥)⊆^⊥((^⊥F(D))^⊥)=^⊥F(D)=H^{-1}(C). The middle equality ^⊥((^⊥F(D))^⊥)=^⊥F(D) is not valid for arbitrary classes in an abelian category, since the double left orthogonal can be strictly larger. This step is used to prove the inclusion ^⊥H^{-1}(D)⊆H^{-1}(C), which is needed to identify (^⊥H^{-1}(D), H^{-1}(D)) with the cotorsion pair cogenerated by F(S). The gap is repairable directly from condition (a): since F(S)⊆^⊥F(D), every F(D) with D∈D lies in F(S)^⊥=H^{-1}(D); hence for X∈^⊥(F(S)^⊥) one has Ext^1_B(X,F(D))=0 for all D, so X∈^⊥F(D)=H^{-1}(C). I recommend replacing the invalid equality by this direct argument and checking the surrounding identifications in Theorem 2.16 and Theorem A(1), which rest on this proposition.
minor comments (5)
  1. [General] The title and running header contain the typo 'EQUIV ARIANT'; the word should be 'EQUIVARIANT'.
  2. [Section 2.10 and Proposition 2.11] The notation λ_X in the statement of Proposition 2.11 is introduced via the short exact sequence for objects of B, but the variable name is reused; writing the sequence explicitly for each object appearing in conditions (b) and (c) would remove ambiguity.
  3. [Section 4, proof of Theorem 4.11] In Step 1 the symbol Q_A^G is used both for the equivariant cofibrant replacement functor and for the underlying object Q_A^G X; clarifying that these are the same object-level notation would help the reader follow the long diagram chase.
  4. [Section 5.3, Lemma 5.19] The proof of Lemma 5.19 is condensed and relies on facts (1) and (2) that are only cited; expanding the verification of these two facts, or at least giving precise references with the exact adjunction isomorphisms, would improve readability.
  5. [References] Reference [15] is cited as a preprint without a year; if a published version exists, it should be updated.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the transfer and comparison results rest on external theorems, with no self-citation or fitted-input reduction.

full rationale

The paper's central derivation chain is self-contained in the relevant sense. Theorem A(1) uses the transfer criterion Theorem 2.16, which is proved from cotorsion-pair manipulations, and applies it to the Frobenius pair Ind ⟂ U; the lifted triple M^G is defined by preimage classes U^{-1}(C), U^{-1}(W), U^{-1}(F), and the proof verifies the hypotheses using the splitness of the counit supplied by Lemma 3.1, a genuine condition requiring invertibility of |G|. This is a sufficient condition, not a restatement of the conclusion. Theorem A(2) invokes Sun's external theorem for the canonical triangulated structure on equivariant categories, and Theorem A(3) assembles the comparison functor from Hovey's localization theorem, Gillespie's stable-category description, and Sun's comparison theorem [36, Theorem 3.14]; these are external benchmarks, not results derived from the paper's own conclusions. The PGF illustration uses the external complete hereditary cotorsion pair of Šaroch and Št'ovíček. No parameter is fitted, no quantity called a prediction is defined in terms of the claimed output, and no self-citation is load-bearing; in fact, no self-citations by the present authors appear. One non-circular correctness concern exists: the proof of Proposition 2.11 uses the identity ^⊥((^⊥F(D))^⊥) = ^⊥F(D), which is not valid in general for arbitrary classes in an abelian category. This is a genuine gap in the written proof, but the skeptical repair shows that the needed inclusion follows without the invalid identity, so the theorem is not reduced to its own assumptions. The gap is therefore a correctness issue, not circularity.

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

The paper introduces no free parameters or new postulated objects. It constructs comparison functors (e.g., Theta and St(K^G)) from existing ingredients, and it relies on standard theorems plus explicitly stated structural hypotheses.

assumptions (7)
  • standard math Hovey's correspondence (Theorem 1.6) between abelian model structures and Hovey triples.
    Used throughout to translate between model structures and triples of classes (C,W,F) of objects.
  • standard math Gillespie's results on homotopy categories of hereditary Hovey triples (Theorems 1.12 and 1.14).
    Provides localization functor and triangle equivalence between stable category and homotopy category.
  • standard math Sun's theorem that admissible G-actions on triangulated categories yield canonical pre-triangulated structures when |G| is invertible (Lemma 3.8, [36]).
    Used to triangulate Ho(M)^G and St(C∩F)^G in Theorem A(2).
  • domain assumption A is a Grothendieck category with enough projectives and |G| is invertible in A.
    Ensures A^G is Grothendieck with generators and the counit of Ind ⊣ U splits (Lemma 3.1).
  • domain assumption M = (C,W,F) is a cofibrantly generated hereditary Hovey triple and any two of C,W,F are G-invariant.
    The main hypotheses of Theorem A; used to verify the transfer conditions in Theorem 2.16.
  • domain assumption For Theorem B: F,H are faithful, both (F,H) and (H,F) are Quillen adjunctions, coker(η_X) ∈ W_A for X ∈ C_A, and ker(ε_Y) ∈ W_B for Y ∈ F_B.
    These are the extra conditions needed for the horizontal functors to be triangle equivalences.
  • standard math For PGF illustrations: (PGF(R), PGF(R)^⊥) is a complete hereditary cotorsion pair cogenerated by a set (Saroch-Stovicek).
    Gives the PGF Hovey triple on Mod(R).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Transfer of abelian model structures to equivariant categories and homotopy squares." pith.science (2026). https://pith.science/paper/5RIRQS6K

@misc{pith2026260808141,
  author       = {Pith},
  title        = {Pith review of: Transfer of abelian model structures to equivariant categories and homotopy squares},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5RIRQS6K}},
  note         = {Machine review of arXiv:2608.08141}
}
abstract

Let $G$ be a finite group acting on a Grothendieck category $\mathcal{A}$ with enough projectives, such that $|G|$ is invertible in $\mathcal{A}$. We prove a general lifting theorem for abelian model structures from $\mathcal{A}$ to its equivariant category $\mathcal{A}^G$, and establish a triangle equivalence up to retracts between the corresponding homotopy categories. We also construct a commutative square whose horizontal functors are triangle equivalences and whose vertical comparison functors are triangle equivalences up to retracts. This square relates derived functors on the lifted equivariant model categories to the equivariantizations of the derived functors on the original homotopy categories. In the module category setting, we illustrate the above results using the PGF Hovey triples, and apply them to homotopy squares induced by a Frobenius bimodule and by a stable equivalence of adjoint type.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 39 canonical work pages

  1. [1]

    Anderson and Kent R

    Frank W. Anderson and Kent R. Fuller,Rings and categories of modules, second ed., Graduate Texts in Mathematics, vol. 13, Springer-Verlag, New York, 1992. MR1245487

    work page 1992

  2. [2]

    Math.254(2014), 187–232

    Hanno Becker,Models for singularity categories, Adv. Math.254(2014), 187–232. MR3161097

    work page 2014

  3. [3]

    1578, Springer-Verlag, Berlin, 1994

    Joseph Bernstein and Valery Lunts,Equivariant sheaves and functors, Lecture Notes in Mathematics, vol. 1578, Springer-Verlag, Berlin, 1994. MR1299527

    work page 1994

  4. [4]

    A. K. Bousfield,Constructions of factorization systems in categories, J. Pure Appl. Algebra9(1976/77), no. 2, 207–220. MR478159

    work page 1976

  5. [5]

    Michel Brou´ e,Equivalences of blocks of group algebras, Finite-dimensional algebras and related topics (Ottawa, ON, 1992), NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., vol. 424, Kluwer Acad. Publ., Dordrecht, 1994, pp. 1–26. MR1308978

    work page 1992

  6. [6]

    Math.28(2010), no

    Theo B¨ uhler,Exact categories, Expo. Math.28(2010), no. 1, 1–69. MR2606234

    work page 2010

  7. [7]

    Caenepeel, E

    S. Caenepeel, E. De Groot, and G. Militaru,Frobenius functors of the second kind, Comm. Algebra30 (2002), no. 11, 5359–5391. MR1945094

    work page 2002

  8. [8]

    Casta˜ no Iglesias, J

    F. Casta˜ no Iglesias, J. G´ omez Torrecillas, and C. N˘ ast˘ asescu,Frobenius functors: applications, Comm. Algebra27(1999), no. 10, 4879–4900. MR1709218

    work page 1999

Show all 41 references
  1. [9]

    Xiao-Wu Chen,A note on separable functors and monads with an application to equivariant derived categories, Abh. Math. Semin. Univ. Hambg.85(2015), no. 1, 43–52. MR3334458

    2015

  2. [10]

    ,Equivariantization and Serre duality I, Appl. Categ. Structures25(2017), no. 4, 539–568. MR3669172

    2017

  3. [11]

    Algebra610 (2022), 18–37

    Xiao-Wu Chen and Wei Ren,Frobenius functors and Gorenstein homological properties, J. Algebra610 (2022), 18–37. MR4463013 52 Z.X. DI, L.P. LI, L. LIANG, G.L. TANG, AND R.M. ZHU

    2022

  4. [12]

    Algebra 661(2025), 1–81

    Jian Cui, Shi Rong, and Pu Zhang,Cotorsion pairs and model structures on Morita rings, J. Algebra 661(2025), 1–81. MR4788649

    2025

  5. [13]

    I, Selecta Math

    Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik,On braided fusion categories. I, Selecta Math. (N.S.)16(2010), no. 1, 1–119. MR2609644

    2010

  6. [14]

    Dugas and Roberto Mart ´ ınez-Villa,A note on stable equivalences of Morita type, J

    Alex S. Dugas and Roberto Mart ´ ınez-Villa,A note on stable equivalences of Morita type, J. Pure Appl. Algebra208(2007), no. 2, 421–433. MR2277684

    2007

  7. [15]

    arXiv:1403.7027 [math.RT]

    Alexey Elagin,On equivariant triangulated categories, preprint. arXiv:1403.7027 [math.RT]

    arXiv

  8. [16]

    Enochs and Overtoun M

    Edgar E. Enochs and Overtoun M. G. Jenda,Relative homological algebra, De Gruyter Expositions in Mathematics, vol. 30, Walter de Gruyter & Co., Berlin, 2000. MR1753146

    2000

  9. [17]

    Richard Garner, Magdalena K¸ edziorek, and Emily Riehl,Lifting accessible model structures, J. Topol. 13(2020), no. 1, 59–76. MR3999672

    2020

  10. [18]

    Pure Appl

    James Gillespie,Model structures on exact categories, J. Pure Appl. Algebra215(2011), no. 12, 2892–

    2011

  11. [19]

    Math.230(2015), no

    ,How to construct a Hovey triple from two cotorsion pairs, Fund. Math.230(2015), no. 3, 281–289. MR3351474

    2015

  12. [20]

    ,Hereditary abelian model categories, Bull. Lond. Math. Soc.48(2016), no. 6, 895–922. MR3608936

    2016

  13. [21]

    215, Cam- bridge University Press, Cambridge, 2025

    ,Abelian model category theory, Cambridge Studies in Advanced Mathematics, vol. 215, Cam- bridge University Press, Cambridge, 2025. MR4837610

    2025

  14. [22]

    Topol.10(2017), no

    Kathryn Hess, Magdalena K¸edziorek, Emily Riehl, and Brooke Shipley,A necessary and sufficient condition for induced model structures, J. Topol.10(2017), no. 2, 324–369. MR3653314

    2017

  15. [23]

    Hirschhorn,Model categories and their localizations, Mathematical Surveys and Monographs, vol

    Philip S. Hirschhorn,Model categories and their localizations, Mathematical Surveys and Monographs, vol. 99, American Mathematical Society, Providence, RI, 2003. MR1944041

    2003

  16. [24]

    Math.59(2019), no

    Henrik Holm and Peter Jørgensen,Cotorsion pairs in categories of quiver representations, Kyoto J. Math.59(2019), no. 3, 575–606. MR3990178

    2019

  17. [25]

    63, American Mathematical Society, Providence, RI, 1999

    Mark Hovey,Model categories, Mathematical Surveys and Monographs, vol. 63, American Mathematical Society, Providence, RI, 1999. MR1650134

    1999

  18. [26]

    Z.241(2002), no

    ,Cotorsion pairs, model category structures, and representation theory, Math. Z.241(2002), no. 3, 553–592. MR1938704

    2002

  19. [27]

    Algebra48(2020), no

    Jiangsheng Hu, Huanhuan Li, Yuxian Geng, and Dongdong Zhang,Frobenius functors and Gorenstein flat dimensions, Comm. Algebra48(2020), no. 3, 1257–1265. MR4079531

    2020

  20. [28]

    14, American Mathematical Society, Providence, RI, 1999

    Lars Kadison,New examples of Frobenius extensions, University Lecture Series, vol. 14, American Mathematical Society, Providence, RI, 1999. MR1690111

    1999

  21. [29]

    Yuming Liu,On stable equivalences of Morita type for finite dimensional algebras, Proc. Amer. Math. Soc.131(2003), no. 9, 2657–2662. MR1974320

    2003

  22. [30]

    Yuming Liu and Changchang Xi,Constructions of stable equivalences of Morita type for finite- dimensional algebras. III, J. Lond. Math. Soc. (2)76(2007), no. 3, 567–585. MR2377112

    2007

  23. [31]

    5, Springer-Verlag, New York, 1998

    Saunders Mac Lane,Categories for the working mathematician, second ed., Graduate Texts in Mathe- matics, vol. 5, Springer-Verlag, New York, 1998. MR1712872

    1998

  24. [32]

    arXiv: 2504.07620v1

    Karakikes Miltiadis, Kontogeorgis Aristeides, and Psaroudakis Chrysostomos,Equivariant recollements and singular equivalences, preprint. arXiv: 2504.07620v1

  25. [33]

    Kiiti Morita,Adjoint pairs of functors and Frobenius extensions, Sci. Rep. Tokyo Kyoiku Daigaku Sect. A9(1965), 40–71 (1965). MR190183

    1965

  26. [34]

    43, Springer-Verlag, Berlin- New York, 1967

    Daniel Quillen,Homotopical algebra, Lecture Notes in Mathematics, No. 43, Springer-Verlag, Berlin- New York, 1967. MR223432

    1967

  27. [35]

    Algebra612(2022), 431–459

    Wei Ren,Frobenius functors, stable equivalences andK-theory of Gorenstein projective modules, J. Algebra612(2022), 431–459. MR4486144

    2022

  28. [36]

    Algebra 534(2019), 483–530

    Chao Sun,A note on equivariantization of additive categories and triangulated categories, J. Algebra 534(2019), 483–530. MR3979084

    2019

  29. [37]

    (N.S.)26(2020), no

    Jan ˇSaroch and Jan ˇSˇtov ´ ıˇ cek,Singular compactness and definability forΣ-cotorsion and Gorenstein modules, Selecta Math. (N.S.)26(2020), no. 2, Paper No. 23, 40. MR4076700

    2020

  30. [38]

    1, 193–219

    Jan ˇSt’ov ´ ıˇ cek,Deconstructibility and the Hill lemma in Grothendieck categories, Forum Math.25(2013), no. 1, 193–219. MR3010854 TRANSFER OF ABELIAN MODEL STRUCTURES TO EQUIV ARIANT CATEGORIES 53

    2013

  31. [39]

    Math.168(2002), no

    Changchang Xi,Representation dimension and quasi-hereditary algebras, Adv. Math.168(2002), no. 2, 193–212. MR1912131

    2002

  32. [40]

    1, 81–97

    ,Stable equivalences of adjoint type, Forum Math.20(2008), no. 1, 81–97. MR2386782

    2008

  33. [41]

    19, Springer, Cham, 2014, A homological algebra point of view

    Alexander Zimmermann,Representation theory, Algebra and Applications, vol. 19, Springer, Cham, 2014, A homological algebra point of view. MR3289041 Zhenxing Di: School of Mathematical Sciences, Huaqiao University, Quanzhou 362021, China Email address:dizhenxing@163.com Liping ...

    2014

Pith tools

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