pith. sign in

arxiv: 2605.02634 · v1 · submitted 2026-05-04 · 🧮 math.CT · math.AG· math.AT· math.RA

Accessibility and Gorenstein injective envelopes

Sergio Estrada , James Gillespie This is my paper

Pith reviewed 2026-05-08 01:49 UTC · model grok-4.3

classification 🧮 math.CT math.AGmath.ATmath.RA
keywords Grothendieck categoriescotorsion pairsGorenstein injectiveTate trivial generatorsaccessible subcategoriesabelian model structuresquasi-coherent sheavesinjective envelopes
0
0 comments X

The pith

Grothendieck categories admit complete Gorenstein injective cotorsion pairs precisely when they have sets of Tate trivial generators.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that the Gorenstein injective cotorsion pair is complete in a Grothendieck category if and only if the category admits a set of Tate trivial generators. This equivalence is established as necessary and sufficient, leading to the pair being perfect and cogenerated by a set while corresponding to an injective abelian model structure. A sympathetic reader would care because this gives a way to guarantee these homological tools exist in categories that may not have enough projective objects, with concrete applications to sheaves on schemes. The general case for B-injective pairs follows from the accessibility of perpendicular classes.

Core claim

Let G be a Grothendieck category. We prove completeness of the Gorenstein injective cotorsion pair whenever G admits a set of Tate trivial generators, and show that having such generators is necessary for completeness. In this case it must be a perfect cotorsion pair, cogenerated by a set, and equivalent to an injective abelian model structure on G. Examples include Grothendieck categories that admit a generating set consisting of objects of finite projective dimension, such as the category of quasi-coherent sheaves on a quasi-compact and semi-separated scheme. More generally, for a given set S, we characterize the completeness of the Gorenstein B-injective cotorsion pair, where B = S^perp,

What carries the argument

The set of Tate trivial generators for the Grothendieck category G, which is necessary and sufficient for the completeness of the Gorenstein injective cotorsion pair.

If this is right

  • The cotorsion pair must be perfect and cogenerated by a set.
  • It is equivalent to an injective abelian model structure on the Grothendieck category.
  • Ding injective envelopes exist in such categories without further assumptions.
  • The characterization extends to relative Gorenstein B-injective cotorsion pairs via B-Tate trivial generators.
  • This holds for quasi-coherent sheaves on quasi-compact and semi-separated schemes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The accessibility of perpendicular classes may allow similar completeness results for other types of cotorsion pairs in Grothendieck categories.
  • One could apply the criterion to determine whether model structures exist in additional examples of Grothendieck categories beyond the ones mentioned.
  • This suggests that verifying the existence of Tate trivial generators could replace assumptions about projective objects in homological constructions.

Load-bearing premise

Any class of the form S perpendicular must be an accessibly embedded accessible subcategory of the Grothendieck category G.

What would settle it

A counterexample would be a Grothendieck category without any set of Tate trivial generators that nonetheless has a complete Gorenstein injective cotorsion pair.

read the original abstract

Let $\mathcal{G}$ be a Grothendieck category. We prove completeness of the Gorenstein injective cotorsion pair whenever $\mathcal{G}$ admits a set of Tate trivial generators, and show that having such generators is necessary for completeness. In this case it must be a perfect cotorsion pair, cogenerated by a set, and equivalent to an injective abelian model structure on $\mathcal{G}$. Examples include Grothendieck categories (possibly without enough projectives) that admit a generating set consisting of objects of finite projective dimension, such as the category of quasi-coherent sheaves on a quasi-compact and semi-separated scheme. More generally, for a given set $\mathcal{S}$, we characterize the completeness of the Gorenstein $\mathcal{B}$-injective cotorsion pair, where $\mathcal{B} = \mathcal{S}^\perp$, in terms of the existence of a set of $\mathcal{B}$-Tate trivial generators for $\mathcal{G}$. The key ingredient to our proof is the fact that any class of the form $\mathcal{B} :=\mathcal{S}^\perp$ is an accessibly embedded, accessible subcategory of $\mathcal{G}$. The general approach allows for further applications such as the existence of Ding injective envelopes and other relative Gorenstein injective envelopes without imposing additional assumptions on $\mathcal{G}$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper proves that for a Grothendieck category G, the Gorenstein injective cotorsion pair is complete if and only if G admits a set of Tate trivial generators; this condition is necessary and sufficient. Under it the pair is perfect and cogenerated by a set, and corresponds to an injective abelian model structure on G. The result is extended to characterize completeness of the Gorenstein B-injective cotorsion pair (B = S^perp) in terms of a set of B-Tate trivial generators. The central technical fact is that any class B = S^perp is an accessibly embedded accessible subcategory of G. Examples include Grothendieck categories generated by objects of finite projective dimension (e.g., QCoh on a quasi-compact semi-separated scheme) and applications to Ding injective envelopes and other relative Gorenstein injective envelopes.

Significance. If the central claims hold, the work supplies a sharp, checkable criterion for the existence of Gorenstein injective envelopes in arbitrary Grothendieck categories, without requiring enough projectives or other restrictive hypotheses. The accessibility result for perpendicular classes is a reusable general tool that immediately yields completeness and model-structure consequences for a wide range of relative cotorsion pairs. The necessity direction makes the characterization tight, and the examples demonstrate applicability to concrete geometric categories.

minor comments (3)
  1. [Introduction / §2] The statement that B = S^perp is always accessibly embedded and accessible (used to invoke general cotorsion-pair results) is the load-bearing technical step; a brief pointer in the introduction to the precise theorem in the literature or the section where it is proved would help readers trace the argument.
  2. [Theorem on necessity] In the necessity direction, the argument that completeness forces the existence of a set of Tate trivial generators relies on the definition of Tate trivial objects; a short diagram or explicit construction showing how a generator set is extracted from the envelope would clarify the step.
  3. [General characterization] Notation for the relative Gorenstein B-injective pair and the corresponding B-Tate trivial generators is introduced in the general section; a small table comparing the absolute and relative cases would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and recommendation of minor revision. The summary accurately reflects the main results: the Gorenstein injective cotorsion pair is complete precisely when the Grothendieck category admits a set of Tate trivial generators, with the pair then being perfect and corresponding to an injective abelian model structure; the result extends to the relative Gorenstein B-injective case; and the key technical tool is that B = S^perp is always an accessibly embedded accessible subcategory. We appreciate the referee's recognition of the criterion's checkability and applicability to geometric examples such as QCoh on quasi-compact semi-separated schemes.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central derivation establishes an equivalence between completeness of the Gorenstein injective cotorsion pair and the existence of a set of Tate trivial generators for the Grothendieck category G. The key technical step—that any perpendicular class B = S^perp is an accessibly embedded accessible subcategory—is presented as an independent fact used to invoke general results on cotorsion pairs and model structures. No step reduces a claimed prediction or theorem to a fitted parameter, self-definition, or load-bearing self-citation chain by construction. The necessity direction follows directly from the definition of Tate trivial objects without circular renaming or smuggling of ansatzes. The argument remains self-contained against external benchmarks on accessibility in Grothendieck categories.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The results rest on the standard definition of Grothendieck categories and the accessibility of perpendicular classes, with Tate trivial generators serving as the characterizing condition rather than an independently evidenced new entity.

axioms (2)
  • domain assumption The ambient category G is a Grothendieck category.
    This is the setting assumed for all statements and proofs.
  • domain assumption Any class of the form B := S^perp is an accessibly embedded, accessible subcategory of G.
    Explicitly identified in the abstract as the key ingredient to the proofs.
invented entities (1)
  • Tate trivial generators no independent evidence
    purpose: A set of generators satisfying Tate triviality conditions used to characterize completeness of the cotorsion pair.
    The concept is introduced as the necessary and sufficient condition; no external falsifiable evidence is mentioned.

pith-pipeline@v0.9.0 · 5529 in / 1507 out tokens · 76412 ms · 2026-05-08T01:49:17.757626+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Ad\'amek and J

    J. Ad\'amek and J. Rosick\'y, Locally presentable and accessible categories, Number 189 in London Mathematical Society Lecture Note Series, Cambridge University Press, 1994

    work page 1994

  2. [2]

    S. T. Aldrich, E. E. Enochs, J. R. García Rozas, and L. Oyonarte, Covers and envelopes in Grothendieck categories: Flat covers of complexes with applications, J. Algebra, vol. 243, no. 2, 2001, pp. 615--630

    work page 2001

  3. [3]

    Represent

    Silvana Bazzoni, Manuel Cort\' e s-Izurdiaga, and Sergio Estrada, Periodic modules and acyclic complexes, Algebr. Represent. Theory, vol. 23, no. 5, 2020, pp. 1861--1883

    work page 2020

  4. [4]

    Pure Appl

    Silvana Bazzoni, Michal Hrbek, Leonid Positselski, fp-Projective periodicity, J. Pure Appl. Algebra vol. 228, no. 3, 2024, Art. 107497

    work page 2024

  5. [5]

    Tibor Beke, Sheafifiable homotopy model categories, Math. Proc. Camb. Phil. Soc. vol.129, no.3, 2000, pp. 447-475

    work page 2000

  6. [6]

    Daniel Bravo, James Gillespie and Mark Hovey, The stable module category of a general ring, arXiv:1405.5768

    work page Pith review arXiv

  7. [7]

    P\'erez, Locally type FP_n and n -coherent categories , Appl

    Daniel Bravo, James Gillespie and Marco A. P\'erez, Locally type FP_n and n -coherent categories , Appl. Categ. Struct. vol. 31, no. 2, 2023, pp. 16--21

    work page 2023

  8. [8]

    Parra, and Marco A

    Daniel Bravo, Sinem Odabaşı, Carlos E. Parra, and Marco A. Pérez, Torsion and torsion-free classes from objects of finite type in Grothendieck categories, J. Algebra vol. 608, 2022, pp. 412--444

    work page 2022

  9. [9]

    B\"uhler, Exact Categories, Expo

    T. B\"uhler, Exact Categories, Expo. Math. vol. 28, no. 1, 2010, pp. 1--69

    work page 2010

  10. [10]

    Pure Appl

    Manuel Cortés-Izurdiaga, Septimiu Crivei, and Manuel Saorín, Reflective and coreflective subcategories, J. Pure Appl. Algebra vol. 227, no. 5, 2023, https://doi.org/10.1016/j.jpaa.2022.107267

    work page doi:10.1016/j.jpaa.2022.107267 2023

  11. [11]

    Eckmann and A

    B. Eckmann and A. Schopf, \"Uber injektive Moduln, Arch. Math. vol. 4, 1953, pp. 75--78

    work page 1953

  12. [12]

    Algebra, vol

    Ioannis Emmanouil and Ilias Kaperonis, On K-absolutely pure complexes, J. Algebra, vol. 640, 2024, pp. 274--299

    work page 2024

  13. [13]

    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, Berlin, 2000

    work page 2000

  14. [14]

    Sergio Estrada and James Gillespie, Quillen equivalences inducing Grothendieck duality for unbounded chain complexes of sheaves, Commun. Contemp. Math., vol. 27, no. 5, 2025, 2450034

    work page 2025

  15. [15]

    James Gillespie, Cotorsion pairs and degreewise homological model structures, Homology, Homotopy Appl. vol. 10, no. 1, 2008, pp. 283--304

    work page 2008

  16. [16]

    291, 2016, pp

    James Gillespie, Gorenstein complexes and recollements from cotorsion pairs, Advances in Mathematics vol. 291, 2016, pp. 859--911

    work page 2016

  17. [17]

    Algebra vol

    James Gillespie, Models for homotopy categories of injectives and Gorenstein injectives, Comm. Algebra vol. 45, no. 6, 2017, pp. 2520--2545

    work page 2017

  18. [18]

    Math., vol

    James Gillespie, On Ding injective, Ding projective and Ding flat modules and complexes, Rocky Mountain J. Math., vol. 47, no. 8, 2017, pp. 2641--2673

    work page 2017

  19. [19]

    James Gillespie, Canonical resolutions in hereditary abelian model categories, Pacific J. Math. vol. 313, no. 2, 2021, pp. 365--411

    work page 2021

  20. [20]

    James, Gillespie, Abelian Model Category Theory, Cambridge University Press; 2024

    work page 2024

  21. [21]

    360, 2022, pp

    James Gillespie and Alina Iacob, Duality pairs, generalized Gorenstein modules, and Ding injective envelopes, Comptes Rendus Math\'ematique vol. 360, 2022, pp. 381--398, doi:10.5802/crmath.306

    work page doi:10.5802/crmath.306 2022

  22. [22]

    Henning Krause, The stable derived category of a Noetherian scheme, Compos. Math. vol. 141, no. 5, 2005, pp. 1128--1162

    work page 2005

  23. [23]

    Henning Krause, Approximations and adjoints in homotopy categories, Math. Ann. vol. 353, no. 3, 2012, pp. 765--781

    work page 2012

  24. [24]

    W. Li, J. Guan, and B. Ouyang, Strongly FP-injective modules, Comm. Algebra vol. 45, no. 9, 2017, pp. 3816--3824

    work page 2017

  25. [25]

    Amnon Neeman, The homotopy category of injectives, Algebra Number Theory vol. 8, no. 2, 2014, pp. 429--456

    work page 2014

  26. [26]

    Leonid Positselski, Contraherent Cosheaves on Schemes, arXiv:1209.2995v25

    work page arXiv

  27. [27]

    Quillen, Higher Algebraic K-theory I, SLNM vol

    D. Quillen, Higher Algebraic K-theory I, SLNM vol. 341, Springer-Verlag, 1973, pp. 85--147

    work page 1973

  28. [28]

    Manuel Saor \' n and Jan S t ov \' c ek, On exact categories and applications to triangulated adjoints and model structures, Adv. Math. vol. 228, no. 2, 2011, pp. 968--1007

    work page 2011

  29. [29]

    (N.S.) vol

    Jan S aroch and Jan S t ov\' c ek, Singular compactness and definability for -cotorsion and Gorenstein modules, Selecta Math. (N.S.) vol. 26, no. 2, 2020, Art. 23

    work page 2020

  30. [30]

    Bo Stenstr\" o m, Rings of Quotients, Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen \ Band 217, Springer-Verlag, New York 1975

    work page 1975

  31. [31]

    Jan S t ov \' c ek, Deconstructibility and the H ill lemma in G rothendieck categories , Forum Math. vol. 25, no. 1, 2013, pp. 193--219

    work page 2013

  32. [32]

    1634, Springer-Verlag, Berlin – Heidelberg, 1996

    Jinzhong Xu, Flat Covers of Modules, Lecture Notes in Mathematics, vol. 1634, Springer-Verlag, Berlin – Heidelberg, 1996

    work page 1996