arXiv subjects

James Gillespie

Publications and source records attributed to James Gillespie.

At least 19 recordsLinked to original sources

arXiv2026

Weakly Ding injective complexes

Working over a (left) coherent ring, we consider the class of weakly Ding injective complexes. These are the cycles of the exact complexes of FP-injective complexes that stay exact when applying $\Hom(A,-)$ for any FP-injective complex $A$. We study the cotorsion pair generated by the class of all such complexes, and exhibit it as part of an abelian model structure. As an application we show that when $R$ is a Ding-Chen ring, its stable chain complex category is compactly generated and triangle equivalent to the stable category of four Frobenius categories. They are the categories of all (i) complexes of Gorenstein injective modules, (ii) complexes of Gorenstein projective modules, (iii) complexes of Gorenstein flat-cotorsion modules, and (iv) complexes of Gorenstein FP-pro-injective modules.

math.AC↗

arXiv2026

Accessibility and Gorenstein injective envelopes

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}$.

math.CT↗

arXiv2026

Acyclic complexes of FP-injective modules over Ding-Chen rings

We present a new method for combining two cotorsion pairs to obtain an abelian model structure and we apply it to construct and study a new model structure on left $R$-modules over a left coherent ring $R$. Its class of fibrant objects is generated by the weakly Ding injective $R$-modules, a class of modules recently studied by Iacob. We give several characterizations of the fibrant modules, one being that they are the cycle modules of certain acyclic complexes of FP-injective (i.e., absolutely pure) $R$-modules. In the case that $R$ is a Ding-Chen ring, we show that they are precisely the modules appearing as cycles of acyclic complexes of FP-injectives. This leads to a new description of the stable module category of a Ding-Chen ring $R$, by way of modules we call Gorenstein FP-pro-injective. These are modules that appear as a cycle module of a totally acyclic complex of FP-projective-injective modules. As a completely separate application of the new model category method, we show that all complete cotorsion pairs, even non-hereditary ones, lift to abelian models for the derived category of a ring.

math.RA↗

arXiv2025

Homological dimensions of complexes over coherent regular rings

We show that Iacob-Iyengar's answer to a question of Avromov-Foxby extends from Noetherian to coherent rings. In particular, a coherent ring R is regular if and only if the injective (resp. projective) dimension of each complex X of R-modules agrees with its graded-injective (resp. graded-projective) dimension. The same is shown for the analogous dimensions based on FP-injective R-modules, and on flat R-modules.

math.AC↗

arXiv2023

K-flatness in Grothendieck categories: Application to quasi-coherent sheaves

Let $(\mathcal{G},\otimes)$ be any closed symmetric monoidal Grothendieck category. We show that K-flat covers exist universally in the category of chain complexes and that the Verdier quotient of $K(\mathcal{G})$ by the K-flat complexes is always a well generated triangulated category. Under the further assumption that $\mathcal{G}$ has a set of $\otimes$-flat generators we can show more: (i) The category is in recollement with the $\otimes$-pure derived category and the usual derived category, and (ii) The usual derived category is the homotopy category of a cofibrantly generated and monoidal model structure whose cofibrant objects are precisely the K-flat complexes. We also give a condition guaranteeing that the right orthogonal to K-flat is precisely the acyclic complexes of $\otimes$-pure injectives. We show this condition holds for quasi-coherent sheaves over a quasi-compact and semiseparated scheme.

math.AG↗

arXiv2022

The homotopy category of acyclic complexes of pure-projective modules

Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put this homotopy category into a recollement with two other compactly generated triangulated categories: The usual derived category of $R$ and the pure derived category of $R$. This also gives a new model for the derived category.

math.AT↗

arXiv2021

K-flat complexes and derived categories

Let $R$ be a ring with identity. Inspired by recent work of Emmanouil, we show that the derived category of $R$ is equivalent to the chain homotopy category of all K-flat complexes with pure-injective components. This is implicitly related to a recollement we exhibit. It expresses $\mathcal{D}_{pur}(R)$, the pure derived category of $R$, as an attachment of the usual derived category $\mathcal{D}(R)$ with Emmanouil's quotient category $\mathcal{D}_{K-flat}(R):=K(R)/K-Flat$, which here we call the K-flat derived category. It follows that this Verdier quotient is a compactly generated triangulated category. We obtain our results by using methods of cotorsion pairs to construct (cofibrantly generated) monoidal abelian model structures on the exact category of chain complexes along with the degreewise pure exact structure. In fact, most of our model structures are obtained as corollaries of a general method which associates an abelian model structure to any class of so-called $\mathcal{C}$-acyclic complexes, where $\mathcal{C}$ is any given class of chain complexes. Finally, we also give a new characterization of K-flat complexes in terms of the pure derived category of $R$.

math.AT↗

arXiv2021

Quillen equivalences inducing Grothendieck duality for unbounded chain complexes of sheaves

Let $\mathbb{X}$ be a semiseparated Noetherian scheme with a dualizing complex $D$. We lift some well-known triangulated equivalences associated with Grothendieck duality to Quillen equivalences of model categories. In the process we are able to show that the Gorenstein flat model structure, on the category of quasi-coherent sheaves on $\mathbb{X}$, is Quillen equivalent to the Gorenstein injective model structure. Also noteworthy is that we extend the recollement of Krause to hold without the Noetherian condition. Using a set of flat generators, it holds for any quasi-compact semiseparated scheme $\mathbb{X}$. With this we also show that the Gorenstein injective quasi-coherent sheaves are the fibrant objects of a cofibrantly generated abelian model structure for any semiseparated Noetherian scheme $\mathbb{X}$. Finally, we consider both the injective and (mock) projective approach to Tate cohomology of quasi-coherent sheaves. They agree whenever $\mathbb{X}$ is a semiseparated Gorenstein scheme of finite Krull dimension.

math.AT↗

arXiv2021

Ding injective envelopes in the category of complexes

A complex $X$ is called Ding injective if there exists an exact sequence of injective complexes $\ldots \rightarrow E_1 \rightarrow E_0 \rightarrow E_{-1} \rightarrow \ldots$ such that $X = Ker(E_0 \rightarrow E_{-1})$, and the sequence remains exact when the functor $Hom(A,-)$ is applied to it, for any $FP$-injective complex $A$. We prove that, over any ring $R$, a complex is Ding injective if and only if it is a complex of Ding injective modules. We use this to show that the class of Ding injective complexes is enveloping over any ring.

math.AC↗

arXiv2021

Duality pairs, generalized Gorenstein modules, and Ding injective envelopes

Let $R$ be a general ring. Duality pairs of $R$-modules were introduced by Holm-Jorgensen. Most examples satisfy further properties making them what we call semi-complete duality pairs in this paper. We attach a relative theory of Gorenstein homological algebra to any given semi-complete duality pair $\mathfrak{D} = (\mathcal{L},\mathcal{A})$. This generalizes the homological theory of the AC-Gorenstein modules defined by Bravo-Gillespie-Hovey, and we apply this to other semi-complete duality pairs. The main application is that the Ding injective modules are the right side of a complete (perfect) cotorsion pair, over any ring. Completeness of the Gorenstein flat cotorsion pair over any ring arises from the same duality pair.

math.KT↗

arXiv2020

Canonical resolutions in hereditary abelian model categories

Each object of any abelian model category has a canonical resolution as described in this article. When the model structure is hereditary we show how morphism sets in the associated homotopy category may be realized as cohomology groups computed from these resolutions. We also give an alternative description of the morphism sets in terms of Yoneda Ext groups.

math.AT↗

arXiv2019

Locally type $\text{FP}_n$ and $n$-coherent categories

We study finiteness conditions in Grothendieck categories by introducing the concepts of objects of type $\text{FP}_n$ and studying their closure properties with respect to short exact sequences. This allows us to propose a notion of locally type $\text{FP}_n$ categories as a generalization of locally finitely generated and locally finitely presented categories. We also define and study the injective objects that are Ext-orthogonal to the class of objects of type $\text{FP}_n$, called $\text{FP}_n$-injective objects, which will be the right half of a complete cotorsion pair. As a generalization of the category of modules over an $n$-coherent ring, we present the concept of $n$-coherent categories, which also recovers the notions of locally noetherian and locally coherent categories for $n = 0, 1$. Such categories will provide a setting in which the $\text{FP}_n$-injective cotorsion pair is hereditary, and where it is possible to construct (pre)covers by $\text{FP}_n$-injective objects. Moreover, we see how $n$-coherent categories provide a suitable framework for a nice theory of Gorenstein homological algebra with respect to the class of $\text{FP}_n$-injective modules. We define Gorenstein $\text{FP}_n$-injective objects and construct two different model category structures (one abelian and the other one exact) in which these Gorenstein objects are the fibrant objects.

math.CT↗

arXiv2017

AC-Gorenstein rings and their stable module categories

We introduce what is meant by an AC-Gorenstein ring. It is a generalized notion of Gorenstein ring which is compatible with the Gorenstein AC-injective and Gorenstein AC-projective modules of Bravo-Gillespie-Hovey. It is also compatible with the notion of $n$-coherent rings introduced by Bravo-Perez: So a $0$-coherent AC-Gorenstein ring is precisely a usual Gorenstein ring in the sense of Iwanaga, while a $1$-coherent AC-Gorenstein ring is precisely a Ding-Chen ring. We show that any AC-Gorenstein ring admits a stable module category that is compactly generated and is the homotopy category of two Quillen equivalent abelian model category structures. One is projective with cofibrant objects the Gorenstein AC-projective modules while the other is an injective model structure with fibrant objects the Gorenstein AC-injectives.

math.RA↗

arXiv2017

Duality pairs and stable module categories

Let $R$ be a commutative ring. We show that any complete duality pair gives rise to a theory of relative homological algebra, analogous to Gorenstein homological algebra. Indeed Gorenstein homological algebra over a commutative Noetherian ring of finite Krull dimension can be recovered from the duality pair $(\mathcal{F},\mathcal{I})$ where $\mathcal{F}$ is the class of flat $R$-modules and $\mathcal{I}$ is the class of injective $R$-modules. For a general $R$, the AC-Gorenstein homological algebra of Bravo-Gillespie-Hovey is the one coming from the duality pair $(\mathcal{L},\mathcal{A})$ where $\mathcal{L}$ is the class of level $R$-modules and $\mathcal{A}$ is class of absolutely clean $R$-modules. Indeed we show here that the work of Bravo-Gillespie-Hovey can be extended to obtain similar abelian model structures on $R$-Mod from any a complete duality pair $(\mathcal{L},\mathcal{A})$. It applies in particular to the original duality pairs constructed by Holm-Jø rgensen.

math.AC↗

arXiv2017

Gorenstein AC-projective complexes

Let $R$ be any ring with identity and Ch($R$) the category of chain complexes of (left) $R$-modules. We show that the Gorenstein AC-projective chain complexes are the cofibrant objects of an abelian model structure on Ch($R$). The model structure is cofibrantly generated and is projective in the sense that the trivially cofibrant objects are the categorically projective chain complexes. We show that when $R$ is a Ding-Chen ring, that is, a two-sided coherent ring with finite self FP-injective dimension, then the model structure is finitely generated, and so its homotopy category is compactly generated. Constructing this model structure also shows that every chain complex over any ring has a Gorenstein AC-projective precover. These are precisely Gorenstein projective (in the usual sense) precovers whenever $R$ is either a Ding-Chen ring, or, a ring for which all level (left) $R$-modules have finite projective dimension. For a general (right) coherent ring $R$, the Gorenstein AC-projective complexes coincide with the Ding projective complexes and so provide such precovers in this case.

math.RA↗

arXiv2016

The flat stable module category of a coherent ring

Let $R$ by a right coherent ring and $R$-Mod denote the category of left $R$-modules. We show that there is an abelian model structure on $R$-Mod whose cofibrant objects are precisely the Gorenstein flat modules. Employing a new method for constructing model structures, the key step is to show that a module is flat and cotorsion if and only if it is Gorenstein flat and Gorenstein cotorsion.

math.RA↗

arXiv2015

On Ding injective, Ding projective, and Ding flat modules and complexes

We characterize Ding modules and complexes over Ding-Chen rings. We show that over a Ding-Chen ring R, the Ding projective (resp. Ding injective, resp. Ding flat) R-modules coincide with the Gorenstein projective (resp. Gorenstein injective, resp. Gorenstein flat) modules, which in turn are nothing more than modules appearing as a cycle of an exact complex of projective (resp. injective, resp. flat) modules. We prove a similar characterization for chain complexes of R-modules: A complex is Ding projective (resp. Ding injective, resp. Ding flat) if and only if each component is Ding projective (resp. Ding injective, resp. Ding flat). Along the way, we generalize some results of Stovicek and Bravo-Gillespie-Hovey to obtain other interesting corollaries. For example, we show that over any Noetherian ring, any exact chain complex with Gorenstein injective components must have all cotorsion cycle modules. That is, Ext(F,ZnI) = 0 for any such complex I and flat module F. On the other hand, over any coherent ring, the cycles of any exact complex P with projective components must satisfy Ext(ZnP,A) = 0 for any absolutely pure module A.

math.AC↗

arXiv2015

Hereditary abelian model categegories

We discuss some recent developments in the theory of abelian model categories. The emphasis is on the hereditary condition and applications to homotopy categories of chain complexes and stable module categories.

math.KT↗