On the exactness of products in the localization of (Ab.4^) Grothendieck categories

DOI10.1016/J.JALGEBRA.2016.08.019MaRDI QIDQ335589zbMATH OpenOpenAlexFDO

Authors Simone Virili

Publication date 2 November 2016

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2016.08.019

zbMATH Keywords

axiom AB4*derived categoryGrothendieck categorylocal cohomologylocalizing subcategoryquotient categorytorsion theory

Mathematics Subject Classification ID

Derived categories and commutative rings (13D09) Local cohomology and commutative rings (13D45) Localization of categories, calculus of fractions (18E35) Torsion theories, radicals (18E40) Relative homological algebra, projective classes (category-theoretic aspects) (18G25)

Review text

Let \(\mathcal G\) be a Grothendieck category satisfying the axiom AB4* (this means that arbitrary direct products do exist in \(\mathcal G\) and any direct product of epimorphisms in \(\mathcal G\) is again an epimorphism). The aim of this paper is to investigate the exactness of direct products in the quotient categories \(\mathcal{G}/\mathcal{T}\) of \(\mathcal G,\) where \(\mathcal T\) is a localizing subcategory (i.e., a hereditary torsion class of \(\mathcal G\)). Recall that a Grothendieck category \(\mathcal G\) is said to be \textit{stable} if \(\mathcal T\) is closed under taking injective envelopes for any localizing subcategory \(\mathcal T\) of \(\mathcal G.\) The author says that a Grothendieck category \(\mathcal G\) is \textit{effective} if it is a locally Noetherian, stable category such that all its prime localizing subcategories are exact.NEWLINENEWLINEAmong others, the author proves that if \(\mathcal G\) is an effective Grothendieck category satisfying the axiom AB4*, then the \((k+1)\)-th derived functor of the product vanishes in case the Gabriel dimension of the quotient category \(\mathcal{G}/\mathcal{T}\) is \(\,k<\infty\); as a corollary, the author shows that, in this case, the derived category \(\mathbb{D}(\mathcal{G}/\mathcal{T})\) is left-complete.

Recommendations

• Localization on certain Grothendieck categories
• Relative derived functors
• A generalization of the Gabriel-Popescu theorem
• Locally stable Grothendieck categories: applications
• Hereditary torsion theories of a locally Noetherian Grothendieck category

Cites work

• Classes of modules.
• Cotorsion pairs, model category structures, and representation theory
• DERIVED FUNCTORS OF INVERSE LIMITS REVISITED
• Des catégories abéliennes
• Higher Topos Theory (AM-170)
• Homotopy theory of diagrams
• scientific article; zbMATH DE number 3815900 (Why is no real title available?)
• scientific article; zbMATH DE number 4073214 (Why is no real title available?)
• scientific article; zbMATH DE number 3743407 (Why is no real title available?)
• scientific article; zbMATH DE number 3472261 (Why is no real title available?)
• scientific article; zbMATH DE number 203009 (Why is no real title available?)
• scientific article; zbMATH DE number 937397 (Why is no real title available?)
• scientific article; zbMATH DE number 3198931 (Why is no real title available?)
• Injective classes of modules
• Injective modules over Noetherian rings
• Kaplansky classes and derived categories
• Non-left-complete derived categories
• Noncommutative localization in topology
• On Stable Noetherian Rings
• Rings and modules of quotients
• Some aspects of non-noetherian local cohomology
• Stable torsion radicals over FBN rings
• Sur quelques points d'algèbre homologique
• The Gabriel dimension of a module

Cited in

(6)

• Relative homological algebra via truncations
• Locally stable Grothendieck categories: applications
• The base change in the Atiyah and the Lück approximation conjectures
• Derived functors of product and limit in the category of comodules over the dual Steenrod algebra
• A poisonous example to explicit resolutions of unbounded complexes
• Algebraic entropy for valuation domains

This page was built for publication: On the exactness of products in the localization of (Ab.\(4^{\ast}\)) Grothendieck categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q335589)