Searcharxiv⌕ Search

arXiv subjects

Sergio Estrada

Publications and source records attributed to Sergio Estrada.

47 records · Page 3Linked to original sources
arXiv2014

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.

math.CT↗
arXiv2013

Gorenstein injective precovers, covers, and envelopes

We give a sufficient condition for the class of Gorenstein injective modules be precovering: if $R$ is right noetherian and if the class of Gorenstein injective modules, $\mathcal{GI}$, is closed under filtrations, then $\mathcal{GI}$ is precovering in $R-Mod$. The converse is also true when we assume that $\mathcal{GI}$ is covering. We extend our results to the category of complexes. We prove that if the class of Gorenstein injective modules is closed under filtrations then the class of Gorenstein injective complexes is precovering in $Ch(R)$. We also give a sufficient condition for the existence of Gorenstein injective covers. We prove that if the ring $R$ is commutative noetherian and such that the character modules of Gorenstein injective modules are Gorenstein flat, then the class of Gorenstein injective complexes is covering. And we prove that over such rings every complex also has a Gorenstein injective envelope. In particular this is the case when the ring is commutative noetherian with a dualizing complex. The second part of the paper deals with Gorenstein projective and flat complexes. We prove that over commutative noetherian rings of finite Krull dimension every complex of $R$-modules has a special Gorenstein projective precover.

math.AC↗
arXiv2012

Locally finitely presented categories with no flat objects

If $X$ is a quasi-compact and quasi-separated scheme, the category $Qcoh(X)$ of quasi-coherent sheaves on $X$ is locally finitely presented. Therefore categorical flat quasi-coherent sheaves naturally arise. But there is also the standard definition of flatness in $Qcoh(X)$ from the stalks. So it makes sense to wonder the relationship (if any) between these two notions. In this paper we show that there are plenty of locally finitely presented categories having no other categorical flats than the zero object. As particular instance, we show that $Qcoh(\mathbf{P}^n(R)))$ has no other categorical flat objects than zero, where $R$ is any commutative ring.

math.CT↗
arXiv2011

Descent of restricted flat Mittag-Leffler modules and generalized vector bundles

A basic question for any property of quasi--coherent sheaves on a scheme $X$ is whether the property is local, that is, it can be defined using any open affine covering of $X$. Locality follows from the descent of the corresponding module property: for (infinite dimensional) vector bundles and Drinfeld vector bundles, it was proved by Kaplansky's technique of dévissage already in \cite[II.\S3]{RG}. Since vector bundles coincide with $\aleph_0$-restricted Drinfeld vector bundles, a question arose in \cite{EGPT} of whether locality holds for $κ$-restricted Drinfeld vector bundles for each infinite cardinal $κ$. We give a positive answer here by replacing the d\' evissage with its recent refinement involving $\mathcal C$-filtrations and the Hill Lemma.

math.AC↗
arXiv2011

A Lazard-like theorem for quasi-coherent sheaves

We study filtration of quasi--coherent sheaves. We prove a version of Kaplansky Theorem for quasi--coherent sheaves, by using Drinfeld's notion of almost projective module and the Hill Lemma. We also show a Lazard-like theorem for flat quasi-coherent sheaves for quasi-compact and semi-separated schemes which satisfy the resolution property.

math.AG↗
arXiv2011

Balance with Unbounded Complexes

Given a double complex $X$ there are spectral sequences with the $E_2$ terms being either H$_I$ (H$_{II}(X))$ or H$_{II}($H$_I (X))$. But if $H_I(X)=H_{II}(X)=0$ both spectral sequences have all their terms 0. This can happen even though there is nonzero (co)homology of interest associated with $X$. This is frequently the case when dealing with Tate (co)homology. So in this situation the spectral sequences may not give any information about the (co)homology of interest. In this article we give a different way of constructing homology groups of $X$ when H$_I(X)=$H$_{II}(X)=0$. With this result we give a new and elementary proof of balance of Tate homology and cohomology.

math.AC↗
arXiv2010

Relative homological algebra in categories of representations of infinite quivers

In the first part of this paper, we prove the existence of torsion free covers in the category of representations of quivers, $(Q,R-Mod)$, for a wide class of quivers included in the class of the so-called source injective representation quivers provided that any direct sum of torsion free and injective $R$-modules is injective. In the second part, we prove the existence of $\mathscr{F}_{cw}$-covers and $\mathscr{F}_{cw}^{\perp}$-envelopes for any quiver $Q$ and any ring $R$ with unity, where $\mathscr{F}_{cw}$ is the class of all "componentwise" flat representations of $Q$.

math.CT↗
arXiv2007

Gorenstein categories and Tate cohomology on projective schemes

We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov-Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate cohomological functors. We show that such a category has what Hovey calls an injective model structure and also a projective model structure in case the category has enough projectives. As examples we show that if X is a locally Gorenstein projective scheme then the category Qco(X) of quasi-coherent sheaves on $X$ is such a category and so has these features.

math.CT↗
arXiv2007

Locally projective monoidal model structure for complexes of quasi-coherent sheaves on P^1(k)

We will generalize the projective model structure in the category of unbounded complexes of modules over a commutative ring to the category of unbounded complexes of quasi-coherent sheaves over the projective line. Concretely we will define a locally projective model structure in the category of complexes of quasi-coherent sheaves on the projective line. In this model structure the cofibrant objects are the dg-locally projective complexes. We also describe the fibrations of this model structure and show that the model structure is monoidal. We point out that this model structure is necessarily different from other known model structures such as the injective model structure and the locally free model structure.

math.AG↗