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

Recognition: unknown

Accessibility and Gorenstein injective envelopes

James Gillespie, Sergio Estrada

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 comments

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.

Desk Editor's Note private letter to a colleague

The paper shows that Gorenstein injective cotorsion pairs in Grothendieck categories are complete exactly when the category has a set of Tate trivial generators, with the accessibility of perpendicular classes as the key step.

read the letter

The main takeaway is that completeness of the Gorenstein injective cotorsion pair holds if and only if the Grothendieck category admits a set of Tate trivial generators. They prove both directions, show the pair must then be perfect and cogenerated by a set, and obtain an associated injective abelian model structure. The same logic extends to relative Gorenstein B-injective pairs for B equal to S perpendicular, again characterized by the existence of B-Tate trivial generators. This covers categories without enough projectives, including quasi-coherent sheaves on quasi-compact semi-separated schemes when the generators have finite projective dimension. The accessibility of any perpendicular class B = S^perp is presented as the central technical fact that lets them invoke general results on cotorsion pairs and model structures. That fact appears to be established directly rather than assumed, which keeps the argument from circling back on itself. The necessity direction follows from the definition of Tate trivial objects once completeness is in play. No load-bearing gaps are visible in the structure given in the abstract. The proofs will need checking for how they handle the general Grothendieck setting and edge cases around accessibility embeddings, but the overall logic looks proportionate to the claims. This work is for people already working on cotorsion pairs, Gorenstein homological algebra, or abelian model structures in Grothendieck categories. It gives a usable criterion and concrete examples without extra assumptions. It should go to peer review; the characterization is new enough and the applications are concrete enough to warrant referee time.

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)

[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.
[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.
[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)

Reference graph

Works this paper leans on

32 extracted references · 4 canonical work pages

[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

1994
[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

2001
[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

2020
[4]

Pure Appl

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

2024
[5]

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

2000
[6]

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

work page arXiv
[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

2023
[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

2022
[9]

B\"uhler, Exact Categories, Expo

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

2010
[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]

Eckmann and A

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

1953
[12]

Algebra, vol

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

2024
[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

2000
[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

2025
[15]

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

2008
[16]

291, 2016, pp

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

2016
[17]

Algebra vol

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

2017
[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

2017
[19]

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

2021
[20]

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

2024
[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]

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

2005
[23]

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

2012
[24]

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

2017
[25]

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

2014
[26]

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

work page arXiv
[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

1973
[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

2011
[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

2020
[30]

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

1975
[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

2013
[32]

1634, Springer-Verlag, Berlin – Heidelberg, 1996

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

1996