SearcharxivSearch

arXiv subjects

Víctor Becerril

Publications and source records attributed to Víctor Becerril.

10 recordsLinked to original sources

Cotorsion pairs and model structures induced by resolution dimensions relative to Frobenius pairs

We explore some methods to obtain cotorsion pairs and model category structures from a Frobenius pair. Specifically, we consider a type of Frobenius pair $(\mathcal{X},\omega)$ in an abelian category $\mathfrak{C}$ for which there exists a nonnegative integer $m$ such that every object in the right orthogonal complement $\mathcal{X}^{\perp_1}$ of $\mathcal{X}$ under $\text{Ext}^1_{\mathfrak{C}}(-,\sim)$ has a special $\omega^\wedge_m$-precover and a special $[\omega^\wedge_m]^{\perp_1}$-preenvelope, where $\omega^\wedge_m$ denotes the class of objects in $\mathfrak{C}$ with resolution dimension relative to $\omega$ at most $m$. The cotorsion pairs and model structures obtained from these Frobenius pairs will involve the classes $\mathcal{X}$, $\omega$, $\mathcal{X}^\wedge_m$, $\omega^\wedge_m$, and their orthogonal complements, in the description of its cofibrant, fibrant and trivial objects. As applications of our results, we obtain several cotorsion pairs and model structures related to relative and absolute Gorenstein homological dimensions.

math.CT

Strongly $FP$-injective dimensions and Gorenstein projective precovers

The existence of the Gorenstein projective precovers over $R$ an arbitrary ring, as well as the completeness of the Gorenstein projective cotorsion pair $(\mathcal{GP},\mathcal{GP}^{\perp})$, are open questions. In this paper, we provide some answers to these questions and use the tool developed to confirm the Gorenstein Symmetry Conjecture, under two different situations. We also analyze situations where the finiteness of $\mathrm{silp}(R)$ implies $\mathrm{spli}(R)$ finite, and its counterpart.

math.RA

Gorensteinness from duality pairs induced via Foxby equivalences

We define and study induced duality pairs under Foxby equivalences. Given a semidualizing $(S,R)$-bimodule ${}_S C_R$, if $(\mathcal{A}_C(R),\mathcal{B}_C(R^{\rm op}))$ and $(\mathcal{A}_C(S^{\rm op}),\mathcal{B}_C(S))$ denote the duality pairs formed by the corresponding classes of Auslander and Bass modules, and if $(\mathcal{M,N})$ is a duality pair over $R$, we study the duality pair formed by the essential images of the restricted Foxby equivalences $(C \otimes_R \sim)|_{\mathcal{A}_C(R) \cap \mathcal{M}}$ and $\mathrm{Hom}_{R^{\rm op}}(C,\sim) |_{\mathcal{B}_C(R^{\rm op}) \cap \mathcal{N}}$, denoted by $\mathcal{M}^C(S)$ and $\mathcal{N}^C(S^{\rm op})$. We investigate which additional properties of the duality pair $(\mathcal{M,N})$ are transferred to $(\mathcal{M}^C(S),\mathcal{N}^C(S^{\rm op}))$. We also study several versions of Gorenstein injective and Gorenstein flat modules relative to the pairs $(\mathcal{A}_C(R) \cap \mathcal{M},\mathcal{B}_C(R^{\rm op}) \cap \mathcal{N})$ and $(\mathcal{M}^C(S),\mathcal{N}^C(S^{\rm op}))$. For instance, we explore the relation between these classes of modules under Foxby equivalences and under Pontryagin duality.

math.RA

Gorenstein $\mathrm{FP}_n$-flat modules and weak global dimensions

In this paper we characterize the relative Gorenstein weak global dimension of the generalized Gorenstein $\mathrm{FP}_n$-flat $R$-modules and Projective Coresolved $\mathrm{FP}_n$-flat $R$-modules recently studied by S. Estrada, A. Iacob, and M. A. Pérez. As application we prove that the weak global dimension that comes from the Gorenstein $\mathrm{FP}_n$-flat modules is finite over a Gorenstein $n$-coherent ring and coincide with the flat dimension of the right $\mathrm{FP}_n$-injective $R$-modules. This result extends the known for Gorenstein flat modules over Iwanaga-Gorenstein and Ding-Chen rings. We also show that there is a close relationship between the global dimensions of the generalized Gorenstein $\mathrm{FP}_n$-projectives and $\mathrm{FP}_n$-injectives and the relative Gorenstein weak global dimension presented here, obtaining in the process a balanced pair.

math.RA

Some Remarks on Gorenstein Projective Precovers

The existence of the Gorenstein projective precovers over arbitrary rings is an open question. In this paper, we make use of three diferent techniques addressing intrinsic and homological properties of several classes of relative Gorenstein projective $R$-modules, among them including the Gorenstein projectives and Ding projectives, with the purpose of giving some situations where Gorenstein projective precovers exists. Within the development of such techniques we obtaint a family of hereditary and complete cotorsion pairs and hereditary Hovey triples that comes from relative Gorenstein projective $R$-modules. We also study a class of Gorenstein projective $R$-modules relative to the Auslander class $\mathcal{A}_C(R)$ of a semidualizing $(R,S)$-bimodule $_R C _S$, where we make use of a property of "reduction".

math.RA

Homological and homotopical aspects of Gorenstein flat modules and complexes relative to duality pairs

We study homological and homotopical aspects of Gorenstein flat modules over a ring with respect to a duality pair $(\mathcal{L,A})$. These modules are defined as cycles of exact chain complexes with components in $\mathcal{L}$ which remain exact after tensoring by objects in $\mathcal{A} \cap {}^\perp\mathcal{A} = \mathcal{A} \cap \Big( \bigcap_{i \in \mathbb{Z}_{> 0}} {\rm Ker}({\rm Ext}^i_{R^{\rm o}}(-,\mathcal{A})) \Big)$. In the case where $(\mathcal{L,A})$ is product closed and bicomplete (meaning in addition that $\mathcal{L}$ is closed under extensions, (co)products, $R \in \mathcal{L}$, $(\mathcal{A,L})$ is also a duality pair, and $\mathcal{A}$ is the right half of a hereditary complete cotorsion pair) we prove that these relative Gorenstein flat modules are closed under extensions, and that the corresponding Gorenstein flat dimension is well behaved in the sense that it recovers many of the properties and characterizations of its (absolute) Gorenstein flat counterpart (for instance, it can be described in terms of torsion functors). The latter in turn is a consequence of a Pontryagin duality relation that we show between these relative Gorenstein flat modules and certain Gorenstein injective modules relative to $\mathcal{A}$. We also find several hereditary and cofibrantly generated abelian model structures from these Gorenstein flat modules and complexes relative to $(\mathcal{L,A})$. At the level of chain complexes, we find three recollements between the homotopy categories of these model structures, along with several derived adjunctions connecting these recollements.

math.RT

Balanced systems for $\mathrm{Hom}$

From the notion of (co)generator in relative homological algebra, we present the concept of finite balanced system $[(\mathcal{X} , ω); (ν, \mathcal{Y})]$ as a tool to induce balanced pairs $(\mathcal{X} , \mathcal{Y} )$ for the $\mathrm{Hom}$ functor with domain determined by the finiteness of homological dimensions relative to $\mathcal{X}$ and $\mathcal{Y}$. This approach to balance will cover several well known ambients where right derived functors of $\mathrm{Hom}$ are obtained relative to certain classes of objects in an abelian category, such as Gorenstein projective and injective modules and chain complexes, Gorenstein modules relative to Auslander and Bass classes, among others.

math.CT

$(\mathcal{F},\mathcal{A})$-Gorenstein flat homological dimensions

In this paper we develop the homological properties of the $(\mathcal{L}, \mathcal{A})$-Gorenstein flat $R$-modules $\mathcal{GF}_{(\mathcal{F}(R), \mathcal{A})}$ proposed by Gillespie. Where the class $\mathcal{A} \subseteq \mathrm{Mod} (R^{op})$ sometimes corresponds to a duality pair $(\mathcal{L}, \mathcal{A})$. We study the weak global and finitistic dimensions that comes with $\mathcal{GF}_{(\mathcal{F}(R), \mathcal{A})}$ and show that over a $(\mathcal{L}, \mathcal{A})$-Gorenstein ring, the functor $-\otimes _R -$ is left balanced over $\mathrm{Mod} (R^{op}) \times \mathrm{Mod} (R)$ by the classes $\mathcal{GF}_{(\mathcal{F}(R^{op}), \mathcal{A})} \times \mathcal{GF}_{(\mathcal{F}(R), \mathcal{A})}$. When the duality pair is $(\mathcal{F} (R), \mathcal{FP}Inj (R^{op}))$ we recover the G. Yang's result over a Ding-Chen ring, and we see that is new for $(\mathrm{Lev} (R), \mathrm{AC} (R^{op}))$ among others.

math.RA

Relative global Gorenstein dimensions

Let $\mathcal{A}$ be an abelian category. In this paper, we investigate the global $(\mathcal{X} , \mathcal{Y})$-Gorenstein projective dimension $\mathrm{gl.GPD}(\mathcal{X} ,\mathcal{Y})(\mathcal{A})$, associated to a GP-admissible pair $(\mathcal{X} , \mathcal{Y} )$. We give homological conditions over $(\mathcal{X} , \mathcal{Y})$ that characterize it. Moreover, given a GI-admisible pair $(\mathcal{Z} , \mathcal{W} )$, we study conditions under which $\mathrm{gl.GID}(\mathcal{Z},\mathcal{W})(\mathcal{A})$ and $\mathrm{gl.GPD}(\mathcal{X},\mathcal{Y})(\mathcal{A})$ are the same.

math.CT

Frobenius pairs in abelian categories: correspondences with cotorsion pairs, exact model categories, and Auslander-Buchweitz contexts

In this work, we revisit Auslander-Buchweitz Approximation Theory and find some relations with cotorsion pairs and model category structures. From the notions of relatives generators and cogenerators in Approximation Theory, we introduce the concept of left Frobenius pairs $(\mathcal{X},ω)$ in an abelian category $\mathcal{C}$. We show how to construct from $(\mathcal{X},ω)$ a projective exact model structure on $\mathcal{X}^\wedge$, as a result of Hovey-Gillespie Correspondence applied to two compatible and complete cotorsion pairs in $\mathcal{X}^\wedge$. These pairs can be regarded as examples of what we call cotorsion pairs relative to a thick subcategory of $\mathcal{C}$. We establish some correspondences between Frobenius pairs, relative cotorsion pairs, exact model structures and Auslander-Buchweitz contexts. Finally, some applications of these results are given in the context of Gorenstein homological algebra by generalizing some existing model structures on the categories of modules over Gorenstein and Ding-Chen rings, and by encoding the stable module category of a ring as a certain homotopy category. We also present some connections with perfect cotorsion pairs, covering classes, and cotilting modules.

math.CT