arXiv subjects

Sergio Estrada

Publications and source records attributed to Sergio Estrada.

At least 37 records · Page 2Linked to original sources

arXiv2020

Gorenstein flat representations of left rooted quivers

We study Gorenstein flat objects in the category ${\sf Rep}(Q,R)$ of representations of a left rooted quiver $Q$ with values in ${\sf Mod}(R)$, the category of all left $R$-modules, where $R$ is an arbitrary associative ring. We show that a representation $X$ in ${\sf Rep}(Q,R)$ is Gorenstein flat if and only if for each vertex $i$ the canonical homomorphism $φ_i^X: \oplus_{a:j\to i}X(j)\to X(i)$ is injective, and the left $R$-modules $X(i)$ and ${\rm Coker}φ_i^X$ are Gorenstein flat. As an application of this result, we show that there is a hereditary abelian model structure on ${\sf Rep}(Q,R)$ whose cofibrant objects are precisely the Gorenstein flat representations, fibrant objects are precisely the cotorsion representations, and trivial objects are precisely the representations with values in the right orthogonal category of all projectively coresolved Gorenstein flat left $R$-modules.

math.RA↗

arXiv2020

Acyclic complexes and Gorenstein rings

For a given class of modules $\mathcal{A}$, we denote by $\widetilde{\mathcal{A}}$ the class of exact complexes $X$ having all cycles in $\mathcal{A}$, and by $dw(\mathcal{A})$ the class of complexes $Y$ with all components $Y_j$ in $\mathcal{A}$. We use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (Gorenstein flat, Gorenstein projective respectively) $R$-modules, $\mathcal{DI}$ for Ding injective modules, and $\mathcal{PGF}$ for projectively coresolved Gorenstein flat modules (see section 2 for definitions). We prove that the following are equivalent over any ring $R$: (1) Every exact complex of injective modules is totally acyclic. (2) Every exact complex of Gorenstein injective modules is in $\widetilde{\mathcal{GI}}$. (3) Every complex in $dw(\mathcal{GI})$ is dg-Gorenstein injective. We show that the analogue result for complexes of flat and Gorenstein flat modules also holds over arbitrary rings. if moreover, the ring is $n$-perfect for some integer $n \ge 0$, then the three equivalent statements for flat and Gorenstein flat modules are also equivalent with their counterparts for projective and projectively coresolved Gorenstein flat modules. We also prove the following characterization of Gorenstein rings: Let $R$ be a commutative coherent ring. The following statements are equivalent: (1) every exact complex of FP-injective modules has all its cycles Ding injective modules. (2) every exact complex of injectives has all its cycles Ding injective modules and every $R$-module M such that $M^+$ is Gorenstein flat is Ding injective. If moreover the ring $R$ has finite Krull dimension then statements (1), (2) above are also equivalent to (3) $R$ is a Gorenstein ring (in the sense of Iwanaga).

math.RA↗

arXiv2019

Homotopy categories of totally acyclic complexes with applications to the flat-cotorsion theory

We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to the homotopy category of totally acyclic complexes. Applied to the flat-cotorsion theory over a coherent ring, this provides a new description of the category of cotorsion Gorenstein flat modules; one that puts it on equal footing with the category of Gorenstein projective modules.

math.RA↗

arXiv2019

Phantom covering ideals in categories without enough projective morphisms

We give sufficient conditions to ensure that the ideal $Φ(\mathcal E)$ of $\mathcal E$-phantom maps in a locally $λ$-presentable exact category $(\mathcal{A}, \mathcal{E})$ is (special) (pre)covering ideal, where $\mathcal E$ is an exact substructure of $(\mathcal{A}, \mathcal{E})$. As a byproduct, we infer the existence of various covering ideals in categories of sheaves which have a meaningful geometrical motivation. In particular we deal with a Zariski-local notion of phantom maps in categories of sheaves. We would like to point out that our approach is necessarily different from [FGHT13], as the categories involved in most of the examples we are interested in do not have enough projective morphisms.

math.KT↗

arXiv2018

Tate-Betti and Tate-Bass numbers

We define Tate-Betti and Tate-Bass invariants for modules over a commutative noetherian local ring R. Then we show the periodicity of these invariants provided that R is a hypersurface. In case R is also Gorenstein, we show that a finitely generated R-module M and its Matlis dual have the same Tate-Betti and Tate-Bass numbers.

math.KT↗

arXiv2018

Quillen equivalent models for the derived category of flats and the resolution property

We investigate under which assumptions a subclass of flat quasi-coherent shea\-ves on a quasi-compact and semi-separated scheme allows to "mock" the homotopy category of projective modules. Our methods are based on module theoretic properties of the subclass of flat modules involved as well as their behaviour with respect to Zariski localizations. As a consequence we get that, for such schemes, the derived category of flats is equivalent to the derived category of very flats. If, in addition, the scheme satisfies the resolution property then both derived categories are equivalent to the derived category of infinite-dimensional vector bundles. The equivalences are inferred from a Quillen equivalence between the corresponding models.

math.AT↗

arXiv2018

On some applications of balanced pairs and their relation with cotorsion triplets

Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the $\mathsf{Hom}$ functor. A natural source to get such pairs is by means of cotorsion triplets. In this paper we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new characterization of abelian categories having enough projectives and injectives in terms of the existence of complete hereditary cotorsion triplets. We also give a short proof of the lack of balance for derived functors of $\mathsf{Hom}$ computed by using flat resolutions which extends the one showed by Enochs in the commutative case.

math.RT↗

arXiv2017

$\rm{FP}_{n}$-injective and $\rm{FP}_{n}$-flat covers and preenvelopes, and Gorenstein AC-flat covers

We prove that, for any $n \geq 2$, the classes of $\rm{FP}_{n}$-injective modules and of $\rm{FP}_n$-flat modules are both covering and preenveloping over any ring $R$. This includes the case of $\rm{FP}_{\infty}$-injective and $\rm{FP}_{\infty}$-flat modules (i.e. absolutely clean and, respectively, level modules). Then we consider a generalization of the class of (strongly) Gorenstein flat modules - the (strongly) Gorenstein AC-flat modules (cycles of exact complexes of flat modules that remain exact when tensored with any absolutely clean module). We prove that some of the properties of Gorenstein flat modules extend to the class of Gorenstein AC-flat modules; for example we show that this class is precovering over any ring $R$. We also show that (as in the case of Gorenstein flat modules) every Gorenstein AC-flat module is a direct summand of a strongly Gorenstein AC-flat module. When $R$ is such that the class of Gorenstein AC-flat modules is closed under extensions, the converse is also true. We also prove that if the class of Gorenstein AC-flat modules is closed under extensions, then this class of modules is covering.

math.AC↗

arXiv2017

Quillen equivalences for stable categories

For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize these stable categories as homotopy categories of certain (non-trivial) model categories and give conditions on $\mathcal{A}$ that ensure the existence of a Quillen equivalence between the model categories in question. We also study when such a Quillen equivalence transfers from $\mathcal{A}$ to categories naturally associated to $\mathcal{A}$, such as $\mathrm{Ch}(\mathcal{A})$, the category of chain complexes in $\mathcal{A}$, or $\mathrm{Rep}(Q,\mathcal{A})$, the category of $\mathcal{A}$-valued representations of a quiver $Q$.

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↗

arXiv2016

Envelopes and covers for groups

We connect work done by Enochs, Rada and Hill in module approximation theory with work undertaken by several group theorists and algebraic topologists in the context of homotopical localization and cellularization of spaces. This allows one to consider envelopes and covers of arbitrary groups. We show some characterizing results for certain classes of groups, and present some open questions.

math.GR↗

arXiv2016

Totally acyclic complexes

For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian ring $R$ and we use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (flat, projective respectively) $R$-modules. We prove (Theorem 1) that the following are equivalent: 1. Every exact complex of injective modules is totally acyclic. 2. Every exact complex of Gorenstein injective modules is in $\widetilde{\mathcal{GI}}$. 3. Every complex in $dw(\mathcal{GI})$ is dg-Gorenstein injective. Theorem 2 shows that the analogue result for complexes of flat and Gorenstein flat modules also holds. We prove (Corollary 1) that, over a commutative noetherian ring $R$, the equivalent statements in Theorem 1 (as well as their counterparts from Theorem 2) hold if and only if the ring is Gorenstein. Thus we improve on a result of Iyengar's and Krause's; in [18] they proved that for a commutative noetherian ring $R$ with a dualizing complex, the class of exact complexes of injectives coincides with that of totally acyclic complexes of injectives if and only if $R$ is Gorenstein. We are able to remove the dualizing complex hypothesis. In the second part of the paper we focus on two sided noetherian rings that satisfy the Auslander condition. We prove (Theorem 6) that for such a ring $R$ that also has finite finitistic flat dimension, every complex of injective (left and respectively right) $R$-modules is totally acyclic if and only if $R$ is a Gorenstein ring.

math.AC↗

arXiv2016

A Zariski-local notion of F-total acyclicity for complexes of sheaves

We study a notion of total acyclicity for complexes of flat sheaves over a scheme. It is Zariski-local - i.e. it can be verified on any open affine covering of the scheme - and it agrees, in their setting, with the notion studied by Murfet and Salarian for sheaves over a noetherian semi-separated scheme. As part of the study we recover, and in several cases extend the validity of, recent theorems on existence of covers and precovers in categories of sheaves. One consequence is the existence of an adjoint to the inclusion of these totally acyclic complexes into the homotopy category of complexes of flat sheaves.

math.AC↗

arXiv2016

Gorenstein projective precovers

We prove that the class of Gorenstein projective modules is special precovering over any left GF-closed ring such that every Gorenstein projective module is Gorenstein flat and every Gorenstein flat module has finite Gorenstein projective dimension. This class of rings includes (strictly) Gorenstein rings, commutative noetherian rings of finite Krull dimension, as well as right coherent and left n-perfect rings. In section 4 we give examples of left GF-closed rings that have the desired properties (every Gorenstein projective module is Gorenstein flat and every Gorenstein flat has finite Gorenstein projective dimension) and that are not right coherent.

math.AC↗

arXiv2015

The projective stable category of a coherent scheme

We define the projective stable category of a coherent scheme. It is the homotopy category of an abelian model structure on the category of unbounded chain complexes of quasi-coherent sheaves. We study the cofibrant objects of this model structure, which are certain complexes of flat quasi-coherent sheaves satisfying a special acyclicity condition.

math.AT↗

arXiv2015

Pure injective and absolutely pure sheaves

We study two notions of purity in categories of sheaves: the categorical and the geometric. It is shown that pure injective envelopes exist in both cases under very general assumptions on the scheme. Finally we introduce the class of locally absolutely pure (quasi--coherent) sheaves, with respect to the geometrical purity, and characterize locally Noetherian closed subschemes of a projective scheme in terms of the new class.

math.AG↗

arXiv2015

Gorenstein flat and projective (pre)covers

We consider a right coherent ring R. We prove that the class of Gorenstein flat complexes is covering in the category of complexes of left R-modules Ch(R). When R is also left n-perfect, we prove that the class of Gorenstein projective complexes is special precovering in Ch(R).

math.AC↗

arXiv2015

Cartesian modules over representations of small categories

We introduce the new concept of cartesian module over a pseudofunctor $R$ from a small category to the category of small preadditive categories. Already the case when $R$ is a (strict) functor taking values in the category of commutative rings is sufficient to cover the classical construction of quasi-coherent sheaves of modules over a scheme. On the other hand, our general setting allows for a good theory of contravariant additive locally flat functors, providing a geometrically meaningful extension of Crawley-Boevey's Representation Theorem. As an application, we relate and extend some previous constructions of the pure derived category of a scheme.

math.RA↗