On a question of Gillespie

2015 ◽  
Vol 27 (6) ◽  
Author(s):  
Xiaoyan Yang ◽  
Nanqing Ding

AbstractA question of Gillespie concerning the completeness of the induced cotorsion pairs is settled in the general setting of any bicomplete abelian category. That is, given a complete hereditary cotorsion pair

2017 ◽  
Vol 24 (04) ◽  
pp. 577-602 ◽  
Author(s):  
Xiaoyan Yang ◽  
Tianya Cao

Given a cotorsion pair ([Formula: see text], [Formula: see text]) in an abelian category [Formula: see text] , we define cotorsion pairs ([Formula: see text], dg[Formula: see text]) and (dg[Formula: see text], [Formula: see text]) in the category [Formula: see text]N([Formula: see text]) of N-complexes on [Formula: see text]. We prove that if the cotorsion pair ([Formula: see text], [Formula: see text]) is complete and hereditary in a bicomplete abelian category, then both of the induced cotorsion pairs are complete, compatible and hereditary. We also create complete cotorsion pairs (dw[Formula: see text], (dw[Formula: see text])⊥), (ex[Formula: see text], (ex[Formula: see text])⊥) and (⊥(dw[Formula: see text]), dw[Formula: see text]), (⊥(ex[Formula: see text]); ex[Formula: see text]) in a termwise manner by starting with a cotorsion pair ([Formula: see text], [Formula: see text]) that is cogenerated by a set. As applications of these results, we obtain more abelian model structures from the cotorsion pairs.


2018 ◽  
Vol 17 (09) ◽  
pp. 1850180 ◽  
Author(s):  
Wenjing Chen ◽  
Zhongkui Liu ◽  
Xiaoyan Yang

In this paper, we investigate the homotopy categories [Formula: see text] and [Formula: see text] with respect to a complete and hereditary cotorsion pair [Formula: see text] in a bicomplete abelian category. We prove that [Formula: see text] is compactly generated provided that [Formula: see text] is compactly generated. We introduce and characterize Gorenstein [Formula: see text]-complexes with respect to [Formula: see text] and show that a complex is a Gorenstein [Formula: see text]-complex if and only if its every term is a Gorenstein [Formula: see text]-object. We also show that the inclusion functors [Formula: see text] and [Formula: see text] have right adjoints respectively when [Formula: see text] is compactly generated.


Author(s):  
Aimin Xu

Let [Formula: see text] be either the category of [Formula: see text]-modules or the category of chain complexes of [Formula: see text]-modules and [Formula: see text] a cofibrantly generated hereditary abelian model structure on [Formula: see text]. First, we get a new cofibrantly generated model structure on [Formula: see text] related to [Formula: see text] for any positive integer [Formula: see text], and hence, one can get new algebraic triangulated categories. Second, it is shown that any [Formula: see text]-strongly Gorenstein projective module gives rise to a projective cotorsion pair cogenerated by a set. Finally, let [Formula: see text] be an [Formula: see text]-module with finite flat dimension and [Formula: see text] a positive integer, if [Formula: see text] is an exact sequence of [Formula: see text]-modules with every [Formula: see text] Gorenstein injective, then [Formula: see text] is injective.


Author(s):  
Wenjing Chen ◽  
Zhongkui Liu

In this paper, we construct some model structures corresponding Gorenstein [Formula: see text]-modules and relative Gorenstein flat modules associated to duality pairs, Frobenius pairs and cotorsion pairs. By investigating homological properties of Gorenstein [Formula: see text]-modules and some known complete hereditary cotorsion pairs, we describe several types of complexes and obtain some characterizations of Iwanaga–Gorenstein rings. Based on some facts given in this paper, we find new duality pairs and show that [Formula: see text] is covering as well as enveloping and [Formula: see text] is preenveloping under certain conditions, where [Formula: see text] denotes the class of Gorenstein [Formula: see text]-injective modules and [Formula: see text] denotes the class of Gorenstein [Formula: see text]-flat modules. We give some recollements via projective cotorsion pair [Formula: see text] cogenerated by a set, where [Formula: see text] denotes the class of Gorenstein [Formula: see text]-projective modules. Also, many recollements are immediately displayed through setting specific complete duality pairs.


2011 ◽  
Vol 54 (3) ◽  
pp. 783-797 ◽  
Author(s):  
Gang Yang ◽  
Zhongkui Liu

AbstractWe show that if the given cotorsion pair $(\mathcal{A},\mathcal{B})$ in the category of modules is complete and hereditary, then both of the induced cotorsion pairs in the category of complexes are complete. We also give a cofibrantly generated model structure that can be regarded as a generalization of the projective model structure.


2019 ◽  
Vol 72 (1) ◽  
pp. 1-55
Author(s):  
Pramod N. Achar ◽  
Simon Riche ◽  
Cristian Vay

AbstractIn this paper we construct an abelian category of mixed perverse sheaves attached to any realization of a Coxeter group, in terms of the associated Elias–Williamson diagrammatic category. This construction extends previous work of the first two authors, where we worked with parity complexes instead of diagrams, and we extend most of the properties known in this case to the general setting. As an application we prove that the split Grothendieck group of the Elias–Williamson diagrammatic category is isomorphic to the corresponding Hecke algebra, for any choice of realization.


2019 ◽  
Vol 19 (08) ◽  
pp. 2050142
Author(s):  
Qilian Zheng ◽  
Jiaqun Wei

Extriangulated categories were introduced by Nakaoka and Palu by extracting the similarities between exact categories and triangulated categories. Nakaoka and Palu introduced the notion of concentric twin cotorsion pairs in extriangulated categories. In this paper, let [Formula: see text] be a concentric twin cotorsion pair in an extriangulated category and [Formula: see text], [Formula: see text], we prove that [Formula: see text] has one-sided triangulated structure.


2021 ◽  
pp. 1-38
Author(s):  
Mindy Huerta ◽  
Octavio Mendoza ◽  
Marco A. Pérez

Abstract We present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations restricted to certain subcategories. We also exhibit some connections between cut cotorsion pairs and Auslander–Buchweitz approximation theory, by considering relative analogs for Frobenius pairs and Auslander–Buchweitz contexts. Several applications are given in the settings of relative Gorenstein homological algebra, chain complexes, and quasi-coherent sheaves, as well as to characterize some important results on the Finitistic Dimension Conjecture, the existence of right adjoints of quotient functors by Serre subcategories, and the description of cotorsion pairs in triangulated categories as co-t-structures.


2021 ◽  
Vol 33 (3) ◽  
pp. 601-629
Author(s):  
Silvana Bazzoni ◽  
Giovanna Le Gros

Abstract We are interested in characterising the commutative rings for which a 1-tilting cotorsion pair ( 𝒜 , 𝒯 ) {(\mathcal{A},\mathcal{T})} provides for covers, that is when the class 𝒜 {\mathcal{A}} is a covering class. We use Hrbek’s bijective correspondence between the 1-tilting cotorsion pairs over a commutative ring R and the faithful finitely generated Gabriel topologies on R. Moreover, we use results of Bazzoni–Positselski, in particular a generalisation of Matlis equivalence and their characterisation of covering classes for 1-tilting cotorsion pairs arising from flat injective ring epimorphisms. Explicitly, if 𝒢 {\mathcal{G}} is the Gabriel topology associated to the 1-tilting cotorsion pair ( 𝒜 , 𝒯 ) {(\mathcal{A},\mathcal{T})} , and R 𝒢 {R_{\mathcal{G}}} is the ring of quotients with respect to 𝒢 {\mathcal{G}} , we show that if 𝒜 {\mathcal{A}} is covering, then 𝒢 {\mathcal{G}} is a perfect localisation (in Stenström’s sense [B. Stenström, Rings of Quotients, Springer, New York, 1975]) and the localisation R 𝒢 {R_{\mathcal{G}}} has projective dimension at most one as an R-module. Moreover, we show that 𝒜 {\mathcal{A}} is covering if and only if both the localisation R 𝒢 {R_{\mathcal{G}}} and the quotient rings R / J {R/J} are perfect rings for every J ∈ 𝒢 {J\in\mathcal{G}} . Rings satisfying the latter two conditions are called 𝒢 {\mathcal{G}} -almost perfect.


2019 ◽  
Vol 62 (3) ◽  
pp. 564-583 ◽  
Author(s):  
YU LIU

AbstractIn this article, we study localizations of hearts of cotorsion pairs ($\mathcal{U}, \mathcal{V}$) where $\mathcal{U}$ is rigid on an extriangulated category $\mathcal{B}$ . The hearts of such cotorsion pairs are equivalent to the functor categories over the stable category of $\mathcal{U}$ ( $\bmod \underline{\mathcal{U}}$ ). Inspired by Marsh and Palu (Nagoya Math. J.225(2017), 64–99), we consider the mutation (in the sense of Iyama and Yoshino, Invent. Math.172(1) (2008), 117–168) of $\mathcal{U}$ that induces a cotorsion pair ( $\mathcal{U}^{\prime}, \mathcal{V}^{\prime}$ ). Generally speaking, the hearts of ( $\mathcal{U}, \mathcal{V}$ ) and ( $\mathcal{U}^{\prime}, \mathcal{V}^{\prime}$ ) are not equivalent to each other, but we will give a generalized pseudo-Morita equivalence between certain localizations of their hearts.


Sign in / Sign up

Export Citation Format

Share Document