BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Sergio Estrada appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We expand on two existing characterizations of rings of Gorenstein (weak) global dimension zero and give two new characterizations of rings of finite Gorenstein (weak) global dimension. We also include the answer to a question of Y.~Xiang on Gorenstein weak global dimension of group rings.
We study singularity categories of exact categories with a focus on those associated to a complete hereditary cotorsion pair. As an application we identify a non-affine analogue of the singularity category of a Gorenstein local ring; with this Buchweitz's classic equivalence of three categories over Gorenstein local rings has been generalized to schemes, a project started by Murfet and Salarian more than ten years ago. As another application we use the framework to characterize rings of finite finitistic dimension.
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).
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.
For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We show that this coheres perfectly with the work of Murfet and Salarian that identifies the pure derived category of F-totally acyclic complexes of flat quasi-coherent sheaves as the natural non-affine analogue of the homotopy category of totally acyclic complexes of projective modules.
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.
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.
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.
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.
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.
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).
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.
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.
Sufficient conditions for an ideal $\mathcal I$ in $R\Mod$ to be covering are proved. This allows to obtain an alternative proof of the existence of phantom covers of modules. Our approach is inspired by an extension of the standard deconstructibility techniques used in Approximation Theory.
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.
We define the derived category of quasi--coherent modules for certain Artin stacks as the homotopy category of two Quillen monoidal model structures on the corresponding category of unbounded complexes of quasi--coherent modules.
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.
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.
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.
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.
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$.
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.