BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

James Gillespie

James Gillespie appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ATmath.KTmath.RAmath.CTmath.ACmath.AGmath.RT

Catalog footprint

What is connected

14works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Absolutely Clean, Level, and Gorenstein AC-Injective Complexes

Absolutely clean and level $R$-modules were introduced in [BGH13] and used to show how Gorenstein homological algebra can be extended to an arbitrary ring $R$. This led to the notion of Gorenstein AC-injective and Gorenstein AC-projective $R$-modules. Here we study these concepts in the category of chain complexes of $R$-modules. We define, characterize and deduce properties of absolutely clean, level, Gorenstein AC-injective, and Gorenstein AC-projective chain complexes. We show that the category $\text{Ch}(R)$ of chain complexes has a cofibrantly generated model structure where every object is cofibrant and the fibrant objects are exactly the Gorenstein AC-injective chain complexes.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

How to construct a Hovey triple from two cotorsion pairs

Let $\mathcal{A}$ be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs $(\mathcal{Q}, \widetilde{\mathcal{R}})$ and $(\widetilde{\mathcal{Q}}, \mathcal{R})$ in $\mathcal{A}$ satisfying $\widetilde{\mathcal{R}} \subseteq \mathcal{R}$ and $\mathcal{Q} \cap \widetilde{\mathcal{R}} = \widetilde{\mathcal{Q}} \cap \mathcal{R}$. We show how to construct a (necessarily unique) abelian model structure on $\mathcal{A}$ with $\mathcal{Q}$ (respectively $\widetilde{\mathcal{Q}}$) as the class of cofibrant (resp. trivially cofibrant) objects and $\mathcal{R}$ (respectively $\widetilde{\mathcal{R}}$) as the class of fibrant (resp. trivially fibrant) objects.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Models for mock homotopy categories of projectives

Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However, the cofibrant objects are not complexes of projectives, but rather all complexes of flat modules. The trivial objects are what Positselski calls contraacyclic complexes and so the homotopy category coincides with his contraderived category. We in fact construct this model on the category of chain complexes of quasi-coherent sheaves on any scheme $X$ admitting a flat generator. In this case the homotopy category recovers what Murfet calls the mock homotopy category of projectives. In the same way we construct a model for the (mock) projective stable derived category, and we use model category methods to recover the recollement of Murfet. Finally, we consider generalizations by replacing the flat cotorsion pair with other complete hereditary cotorsion pairs in Grothendieck categories.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Pure exact structures and the pure derived category of a scheme

Let $\mathcal C$ be closed symmetric monoidal Grothendieck category. We define the pure derived category with respect to the monoidal structure via a relative injective model category structure on the category $\mathbf{C}(\mathcal C)$ of unbounded chain complexes in $\mathcal C$. We use $λ$-Purity techniques to get this. As application we define the stalkwise pure derived category of the category of quasi--coherent sheaves on a quasi-separated scheme. We also give a different approach by using the category of flat quasi--coherent sheaves.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The derived category with respect to a generator

Consider a Grothendieck category $\mathcal{G}$ along with a choice of generator $G$, or equivalently a generating set $\{G_i\}$. We introduce the derived category $\mathcal{D}(G)$, which kills all $G$-acyclic complexes, by putting a suitable model structure on the category of chain complexes. It follows that the category $\mathcal{D}(G)$ is always a well-generated triangulated category. It is compactly generated whenever the generating set $\{G_i\}$ has each $G_i$ finitely presented, and in this case we show that two recollement situations hold. The first is when passing from the homotopy category $K(\mathcal{G})$ to $\mathcal{D}(G)$. The second is a $G$-derived analog to the recollement of Krause. We illustrate with several examples ranging from pure and clean derived categories to quasi-coherent sheaves on the projective line $P^1(k)$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The stable module category of a general ring

For any ring R we construct two triangulated categories, each admitting a functor from R-modules that sends projective and injective modules to 0. When R is a quasi-Frobenius or Gorenstein ring, these triangulated categories agree with each other and with the usual stable module category. Our stable module categories are homotopy categories of Quillen model structures on the category of R-modules. These model categories involve generalizations of Gorenstein projective and injective modules that we derive by replacing finitely presented modules by modules of type FP-infinity. Along the way, we extend the perfect duality between injective left modules and flat right modules that holds over Noetherian rings to general rings by considering weaker notions of injectivity and flatness.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Exact model structures and recollements

We show how to obtain recollements of triangulated categories using the theory of exact model structures. After noting how the theory relates to well-known notions in the simplest case of Frobenius categories, we apply these ideas to recollements of homotopy categories of chain complexes. In short, we give model categorical explanations for the classical Verdier localization recollement as well as several recollement situations due to Neeman and Murfet.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Gorenstein complexes and recollements from cotorsion pairs

We describe a general correspondence between injective (resp. projective) recollements of triangulated categories and injective (resp. projective) cotorsion pairs. This provides a model category description of these recollement situations. Our applications focus on displaying several recollements that glue together various full subcategories of K(R), the homotopy category of chain complexes of modules over a general ring R. When R is (left) Noetherian ring, these recollements involve complexes built from the Gorenstein injective modules. When R is a (left) coherent ring for which all flat modules have finite projective dimension we obtain the duals. These results extend to a general ring R by replacing the Gorenstein modules with the Gorenstein AC-modules introduced recently in the work of Bravo-Gillespie-Hovey. We also see that in any abelian category with enough injectives, the Gorenstein injective objects enjoy a maximality property in that they contain every other class making up the right half of an injective cotorsion pair.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Model Structures on Exact Categories

We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly idempotent complete we get Hovey's one-to-one correspondence between model structures and complete cotorsion pairs. We classify the right and left homotopy relation in terms of the cotorsion pairs and look at examples of exact model structures. In particular, we see that given any hereditary abelian model category, the full subcategories of cofibrant, fibrant and cofibrant-fibrant subobjects each have natural exact model structures equivalent to the original model structure. These model structures each have interesting characteristics. For example, the cofibrant-fibrant subobjects form a Frobenius category whose stable category is the same thing as the homotopy category of its model structure.

0 citations0 reviewsNo code linkedOpen access