Covers and direct limits: a contramodule-based approach

DOI10.1007/S00209-020-02654-XMaRDI QIDQ2231124zbMATH OpenOpenAlexWikidataFDO

Authors Silvana Bazzoni, Leonid Positselski

Publication date 29 September 2021

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.05537

\(n\)-tilting-cotilting correspondence abelian category closeness conditions complete and cocomplete category contramodules cotilting cotorsion pairs covers direct limits injective ring epimorphism precovers purity small modules tilting topological modules

Mathematics Subject Classification ID

Rings of fractions and localization for commutative rings (13B30) Other special types of modules and ideals in commutative rings (13C13) Derived categories and commutative rings (13D09) Research exposition (monographs, survey articles) pertaining to associative rings and algebras (16-02) Free, projective, and flat modules and ideals in associative algebras (16D40) Injective modules, self-injective associative rings (16D50) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Other classes of modules and ideals in associative algebras (16D80) Module categories in associative algebras (16D90) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Differential graded algebras and applications (associative algebraic aspects) (16E45) von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Localization and associative Noetherian rings (16P50) Torsion theories; radicals on module categories (associative algebraic aspects) (16S90) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Theories (e.g., algebraic theories), structure, and semantics (18C10) Preadditive, additive categories (18E05) Abelian categories, Grothendieck categories (18E10) Localization of categories, calculus of fractions (18E35) Torsion theories, radicals (18E40) Extensions of abelian groups (20K35) Topological categories, foundations of homotopy theory (55U40)

Abstract: We present applications of contramodule techniques to the Enochs conjecture about covers and direct limits, both in the categorical tilting context and beyond. In the

n

-tilting-cotilting correspondence situation, if

m a t h s f A

is a Grothendieck abelian category and the related abelian category

m a t h s f B

is equivalent to the category of contramodules over a topological ring

m a t h f r a k R

belonging to one of certain four classes of topological rings (e.g.,

m a t h f r a k R

is commutative), then the left tilting class is covering in

m a t h s f A

if and only if it is closed under direct limits in

m a t h s f A

, and if and only if all the discrete quotient rings of the topological ring

m a t h f r a k R

are perfect. More generally, if

M

is a module satisfying a certain telescope Hom exactness condition (e.g.,

M

is

S i g m a

-pure-

o p e r a t o r n a m e {E x t}^{1}

-self-orthogonal) and the topological ring

m a t h f r a k R

of endomorphisms of

M

belongs to one of certain seven classes of topological rings, then the class

m a t h s f A d d (M)

is closed under direct limits if and only if every countable direct limit of copies of

M

has an

m a t h s f A d d (M)

-cover, and if and only if

M

has perfect decomposition. In full generality, for an additive category

m a t h s f A

with (co)kernels and a precovering class

m a t h s f L s u b s e t m a t h s f A

closed under summands, an object

N i n m a t h s f A

has an

m a t h s f L

-cover if and only if a certain object

P s i (N)

in an abelian category

m a t h s f B

with enough projectives has a projective cover. The

1

-tilting modules and objects arising from injective ring epimorphisms of projective dimension

1

form a class of examples which we discuss.

Review text

The authors continue their earlier work (with their coauthors). Of interest are applications of techniques of contramodules and categorical tilting theory to what is called here the Enochs conjecture: In a module category over an associative ring, a covering class in that category is closed under direct limits. The first third of the paper is devoted to terminology (not always attributed to the original sources or original names) and previous results. The following topics are treated: Covers and those reduced to projective covers, telescoping Hom exactness condition, perfect decompositions, functor purity in abelian categories, self-pure projective and direct limit pure rigid objects, covers in hereditary cotorsion pairs, the tilting-cotilting correspondence, conditions for left tilting to be class covering, injective ring epimorphisms of projective dimension 1, covers and direct limits for injective ring epimorphisms. The paper wisely develops results from simpler cases to more general one's. Thus assumptions of countability is imposed initially, and so is a restriction to the class of (self-)small modules... One of the cases the authors establish is as follows: If \(\mathcal{A}\) is an additive category with (co)kernels and a precovering class \(\mathcal{L}\subset\mathcal{A}\) is closed under summands, an object \(N\in\mathcal{A}\) has an \(\mathcal{L}\)-cover if and only if a certain object \(\Psi(N)\) in an abelian category \(\mathcal{B}\) with enough projectives has a projective cover.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Covers and direct limits: a contramodule-based approach

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