BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Sergio Estrada contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph 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.
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$.