arXiv subjects

Silvana Bazzoni

Publications and source records attributed to Silvana Bazzoni.

At least 19 recordsLinked to original sources

arXiv2023

Enochs Conjecture for cotorsion pairs and more

Enochs Conjecture asserts that each covering class of modules (over any ring) has to be closed under direct limits. Although various special cases of the conjecture have been verified, the conjecture remains open in its full generality. In this paper, we prove the conjecture for the classes $\mathrm{Filt}(\mathcal S)$ where $\mathcal S$ consists of $\aleph_n$-presented modules for some fixed $n<ω$. In particular, this applies to the left-hand class of any cotorsion pair generated by a class of $\aleph_n$-presented modules. Moreover, we also show that it is consistent with ZFC that Enochs Conjecture holds for all classes of the form $\mathrm{Filt}(\mathcal{S})$ where $\mathcal{S}$ is a set of modules. This leaves us with no explicit example of a covering class where we cannot prove that the Enochs Conjecture holds (possibly under some additional set-theoretic assumption).

math.RA↗

arXiv2023

Fp-projective periodicity

The phenomenon of periodicity, discovered by Benson and Goodearl, is linked to the behavior of the objects of cocycles in acyclic complexes. It is known that any flat $\mathsf{Proj}$-periodic module is projective, any fp-injective $\mathsf{Inj}$-periodic module is injective, and any $\mathsf{Cot}$-periodic module is cotorsion. It is also known that any pure $\mathsf{PProj}$-periodic module is pure-projective and any pure $\mathsf{PInj}$-periodic module is pure-injective. Generalizing a result of Saroch and Stovicek, we show that every $\mathsf{FpProj}$-periodic module is weakly fp-projective. The proof is quite elementary, using only a strong form of the pure-projective periodicity and the Hill lemma. More generally, we prove that, in a locally finitely presentable Grothendieck category, every $\mathsf{FpProj}$-periodic object is weakly fp-projective. In a locally coherent category, all weakly fp-projective objects are fp-projective. We also present counterexamples showing that a non-pure $\mathsf{PProj}$-periodic module over a regular finitely generated commutative algebra (or a hereditary finite-dimensional associative algebra) over a field need not be pure-projective.

math.CT↗

arXiv2021

Projective covers of flat contramodules

We show that a direct limit of projective contramodules (over a right linear topological ring) is projective if it has a projective cover. A similar result is obtained for $\infty$-strictly flat contramodules of projective dimension not exceeding $1$, using an argument based on the notion of the topological Jacobson radical. Covers and precovers of direct limits of more general classes of objects, both in abelian categories with exact and with nonexact direct limits, are also discussed, with an eye towards the Enochs conjecture about covers and direct limits, using locally split (mono)morphisms as the main technique. In particular, we offer a simple elementary proof of the Enochs conjecture for the left class of an $n$-tilting cotorsion pair in an abelian category with exact direct limits.

math.RA↗

arXiv2021

Covers and direct limits: a contramodule-based approach

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 $\mathsf A$ is a Grothendieck abelian category and the related abelian category $\mathsf B$ is equivalent to the category of contramodules over a topological ring $\mathfrak R$ belonging to one of certain four classes of topological rings (e.g., $\mathfrak R$ is commutative), then the left tilting class is covering in $\mathsf A$ if and only if it is closed under direct limits in $\mathsf A$, and if and only if all the discrete quotient rings of the topological ring $\mathfrak R$ are perfect. More generally, if $M$ is a module satisfying a certain telescope Hom exactness condition (e.g., $M$ is $Σ$-pure-$\operatorname{Ext}^1$-self-orthogonal) and the topological ring $\mathfrak R$ of endomorphisms of $M$ belongs to one of certain seven classes of topological rings, then the class $\mathsf{Add}(M)$ is closed under direct limits if and only if every countable direct limit of copies of $M$ has an $\mathsf{Add}(M)$-cover, and if and only if $M$ has perfect decomposition. In full generality, for an additive category $\mathsf A$ with (co)kernels and a precovering class $\mathsf L\subset\mathsf A$ closed under summands, an object $N\in\mathsf A$ has an $\mathsf L$-cover if and only if a certain object $Ψ(N)$ in an abelian category $\mathsf 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.

math.CT↗

arXiv2020

Definable coaisles over rings of weak global dimension at most one

In the setting of the unbounded derived category D(R) of a ring R of weak global dimension at most one we consider t-structures with a definable coaisle. The t-structures among these which are stable (that is, the t-structures which consist of a pair of triangulated subcategories) are precisely the ones associated to a smashing localization of the derived category. In this way, our present results generalize those of [BŠ17] to the non-stable case. As in the stable case [BŠ17], we confine for the most part to the commutative setting, and give a full classification of definable coaisles in the local case, that is, over valuation domains. It turns out that unlike in the stable case of smashing subcategories, the definable coaisles do not always arise from homological ring epimorphisms. We also consider a non-stable version of the telescope conjecture for t-structures and give a ring-theoretic characterization of the commutative rings of weak global dimension at most one for which it is satisfied.

math.AC↗

arXiv2020

Covering classes and $1$-tilting cotorsion pairs over commutative rings

We are interested in characterising the commutative rings for which a $1$-tilting cotorsion pair $(\mathcal{A}, \mathcal{T})$ provides for covers, that is when the class $\mathcal{A}$ is a covering class. We use Hrbek's bijective correspondence between the $1$-tilting cotorsion pairs over a commutative ring $R$ and the faithful finitely generated Gabriel topologies on $R$. Moreover, we use results of Bazzoni-Positselski, in particular a generalisation of Matlis equivalence and their characterisation of covering classes for $1$-tilting cotorsion pairs arising from flat injective ring epimorphisms. Explicitly, if $\mathcal{G}$ is the Gabriel topology associated to the $1$-tilting cotorsion pair $(\mathcal{A}, \mathcal{T})$, and $R_\mathcal{G}$ is the ring of quotients with respect to $\mathcal{G}$, we show that if $\mathcal{A}$ is covering then $\mathcal{G}$ is a perfect localisation (in Stenström's sense) and the localisation $R_\mathcal{G}$ has projective dimension at most one. Moreover, we show that $\mathcal{A}$ is covering if and only if both the localisation $R_\mathcal{G}$ and the quotient rings $R/J$ are perfect rings for every $J \in \mathcal{G}$. Rings satisfying the latter two conditions are called $\mathcal{G}$-almost perfect.

math.AC↗

arXiv2020

Matlis category equivalences for a ring epimorphism

Under mild assumptions, we construct the two Matlis additive category equivalences for an associative ring epimorphism $u\colon R\to U$. Assuming that the ring epimorphism is homological of flat/projective dimension $1$, we discuss the abelian categories of $u$-comodules and $u$-contramodules and construct the recollement of unbounded derived categories of $R$-modules, $U$-modules, and complexes of $R$-modules with $u$-co/contramodule cohomology. Further assumptions allow to describe the third category in the recollement as the unbounded derived category of the abelian categories of $u$-comodules and $u$-contramodules. For commutative rings, we also prove that any homological epimorphism of projective dimension $1$ is flat. Injectivity of the map $u$ is not required.

math.RA↗

arXiv2020

Enveloping Classes over Commutative Rings

Given a $1$-tilting cotorsion pair over a commutative ring, we characterise the rings over which the $1$-tilting class is an enveloping class. To do so, we consider the faithful finitely generated Gabriel topology $\mathcal{G}$ associated to the $1$-tilting class $\mathcal{T}$ over a commutative ring as illustrated by Hrbek. We prove that a $1$-tilting class $\mathcal{T}$ is enveloping if and only if $ \mathcal{G}$ is a perfect Gabriel topology (that is, it arises from a perfect localisation) and $R/J$ is a perfect ring for each $J \in \mathcal{G}$, or equivalently $\mathcal{G}$ is a perfect Gabriel topology and the discrete quotient rings of the topological ring $\mathfrak R=$End$(R_ \mathcal{G}/R)$ are perfect rings where $R_\mathcal{G}$ denotes the ring of quotients with respect to $\mathcal{G}$. Moreover, if the above equivalent conditions hold it follows that pdim$R_\mathcal{G} \leq 1$ and $\mathcal{T}$ arises from a flat ring epimorphism.

math.AC↗

arXiv2020

$\mathcal{P}_1$-covers over commutative rings

In this paper we consider the class $\mathcal{P}_1(R)$ of modules of projective dimension at most one over a commutative ring $R$ and we investigate when $\mathcal{P}_1(R)$ is a covering class. More precisely, we investigate Enochs' Conjecture for this class, that is the question of whether $\mathcal{P}_1(R)$ is covering necessarily implies that $\mathcal{P}_1(R)$ is closed under direct limits. We answer the question affirmatively in the case of a commutative semihereditary ring $R$. This gives an example of a cotorsion pair $(\mathcal{P}_1(R), \mathcal{P}_1(R)^\perp)$ which is not necessarily of finite type such that $\mathcal{P}_1(R)$ satisfies Enochs' Conjecture. Moreover, we describe the class $\varinjlim \mathcal{P}_1(R)$ over (not-necessarily commutative) rings which admit a classical ring of quotients.

math.AC↗

arXiv2019

$S$-almost perfect commutative rings

Given a multiplicative subset $S$ in a commutative ring $R$, we consider $S$-weakly cotorsion and $S$-strongly flat $R$-modules, and show that all $R$-modules have $S$-strongly flat covers if and only if all flat $R$-modules are $S$-strongly flat. These equivalent conditions hold if and only if the localization $R_S$ is a perfect ring and, for every element $s\in S$, the quotient ring $R/sR$ is a perfect ring, too. The multiplicative subset $S\subset R$ is allowed to contain zero-divisors.

math.AC↗

arXiv2018

Recollements from Cotorsion Pairs

Given a complete hereditary cotorsion pair $(\mathcal{A},\mathcal{B})$ in a Grothendieck category $\mathcal{G}$, the derived category $\mathcal{D}(\mathcal{B})$ of the exact category $\mathcal{B}$ is defined as the quotient of the category $\mathrm{Ch}(\mathcal{B})$, of unbounded complexes with terms in $\mathcal{B}$, modulo the subcategory $\widetilde{\mathcal{B}}$ consisting of the acyclic complexes with terms in $\mathcal{B}$ and cycles in $\mathcal{B}$. We restrict our attention to the cotorsion pairs such that $\widetilde{\mathcal{B}}$ coincides with the class $ex\mathcal{B}$ of the acyclic complexes of $\mathrm{Ch}(\mathcal{G})$ with terms in $\mathcal{B}$. In this case the derived category $\mathcal{D}(\mathcal{B})$ fits into a recollement $\dfrac{ex\mathcal{B}}{\sim} \mathrel{\substack{\textstyle\leftarrow\textstyle\rightarrow\textstyle\leftarrow}} {K(\mathcal{B})} \mathrel{\substack{\textstyle\leftarrow\textstyle\rightarrow\textstyle\leftarrow}} {\dfrac{\mathrm{Ch}(\mathcal{B})}{ex\mathcal{B} }}$. We will explore the conditions under which $\mathrm{ex}\,\mathcal{B}=\widetilde{\mathcal{B}}$ and provide many examples. Symmetrically, we prove analogous results for the exact category $\mathcal{A}$.

math.CT↗

arXiv2017

Periodic modules and acyclic complexes

We study the behaviour of modules $M$ that fit into a short exact sequence $0\to M\to C\to M\to 0$, where $C$ belongs to a class of modules $\mathcal C$, the so-called $\mathcal C$-periodic modules. We find a rather general framework to improve and generalize some well-known results of Benson and Goodearl and Simson. In the second part we will combine techniques of hereditary cotorsion pairs and presentation of direct limits, to conclude, among other applications, that if $M$ is any module and $C$ is cotorsion, then $M$ will be also cotorsion. This will lead to some meaningful consequences in the category $\textrm{Ch}(R)$ of unbounded chain complexes and in Gorenstein homological algebra. For example we show that every acyclic complex of cotorsion modules has cotorsion cycles, and more generally, every map $F\to C$ where $C$ is a complex of cotorsion modules and $F$ is an acyclic complex of flat cycles, is null-homotopic. In other words, every complex of cotorsion modules is dg-cotorsion.

math.RA↗

arXiv2017

Pure Projective Tilting Modules

Let $T$ be a $1$-tilting module whose tilting torsion pair $({\mathcal T}, {\mathcal F})$ has the property that the heart ${\mathcal H}_t$ of the induced $t$-structure (in the derived category ${\mathcal D}({\rm Mod} \mbox{-} R)$ is Grothendieck. It is proved that such tilting torsion pairs are characterized in several ways: (1) the $1$-tilting module $T$ is pure projective; (2) ${\mathcal T}$ is a definable subcategory of ${\rm Mod} \mbox{-} R$ with enough pure projectives, and (3) both classes ${\mathcal T}$ and ${\mathcal F}$ are finitely axiomatizable. This study addresses the question of Saorín that asks whether the heart is equivalent to a module category, i.e., whether the pure projective $1$-tilting module is tilting equivalent to a finitely presented module. The answer is positive for a Krull-Schmidt ring and for a commutative ring, every pure projective $1$-tilting module is projective. A criterion is found that yields a negative answer to Saorín's Question for a left and right noetherian ring. A negative answer is also obtained for a Dubrovin-Puninski ring, whose theory is covered in the Appendix. Dubrovin-Puninski rings also provide examples of (1) a pure projective $2$-tilting module that is not classical; (2) a finendo quasi-tilting module that is not silting; and (3) a noninjective module $A$ for which there exists a left almost split morphism $m: A \to B,$ but no almost split sequence beginning with $A.$

math.RT↗

arXiv2016

Smashing localizations of rings of weak global dimension at most one

We show for a ring R of weak global dimension at most one that there is a bijection between the smashing subcategories of its derived category and the equivalence classes of homological epimorphisms starting in R. If, moreover, R is commutative, we prove that the compactly generated localizing subcategories correspond precisely to flat epimorphisms. We also classify smashing localizations of the derived category of any valuation domain, and provide an easy criterion for the Telescope Conjecture (TC) for any commutative ring of weak global dimension at most one. As a consequence, we show that the TC holds for any commutative von Neumann regular ring R, and it holds precisely for those Prüfer domains which are strongly discrete.

math.AC↗

arXiv2016

The t-structure induced by an n-tilting module

We study the t-structure induced by an n-tilting module T in the derived category D(R) of a ring R. Our main objective is to determine when the heart of the t-structure is a Grothendieck category. We obtain characterizations in terms of properties of the module category over the endomorphism ring of T and as a main result we prove that the heart is a Grothendieck category if and only if T is a pure projective $R$-module.

math.RT↗

arXiv2013

The telescope conjecture for semihereditary commutative rings

The paper has been withdrawn, since there is a mistake in Proposition 5.2. The result on the telescope conjecture for semihereditary rings is correct, but the characterization of the smashing subcategories of the derived category of commutative rings is not complete.

math.AC↗

arXiv2013

Recollements from partial tilting complexes

We consider recollements of derived categories of dg-algebras induced by self orthogonal compact objects obtaining a generalization of Rickard's Theorem. Specializing to the case of partial tilting modules over a ring, we extend the results on triangle equivalences proved in [B2] and [BMT]. In the end we focus on the connection between recollements of derived categories of rings, bireflective subcategories and generalized universal localizations".

math.RA↗

arXiv2011

One-sided exact categories

One-sided exact categories appear naturally as instances of Grothendieck pretopologies. In an additive setting they are given by considering the one-sided part of Keller's axioms defining Quillen exact categories. We study one-sided exact additive categories and a stronger version defined by adding the one-sided part of Quillen "obscure axiom". We show that some homological results, such as the Short Five Lemma and the 3 X 3 Lemma, can be proved in our context. We also note that the derived category of a one-sided exact additive category can be constructed.

math.CT↗