Gorenstein model structures and generalized derived categories

2010 ◽  
Vol 53 (3) ◽  
pp. 675-696 ◽  
Author(s):  
James Gillespie ◽  
Mark Hovey
Keyword(s):  
Hopf Algebras ◽  
Homological Algebra ◽  
Global Dimension ◽  
Derived Categories ◽  
Gorenstein Ring ◽  
Model Structure ◽  
Finite Global Dimension ◽  
Chain Complexes ◽  
Gorenstein Flat ◽  
Model Structures

AbstractIn a paper from 2002, Hovey introduced the Gorenstein projective and Gorenstein injective model structures on R-Mod, the category of R-modules, where R is any Gorenstein ring. These two model structures are Quillen equivalent and in fact there is a third equivalent structure we introduce: the Gorenstein flat model structure. The homotopy category with respect to each of these is called the stable module category of R. If such a ring R has finite global dimension, the graded ring R[x]/(x2) is Gorenstein and the three associated Gorenstein model structures on R[x]/(x2)-Mod, the category of graded R[x]/(x2)-modules, are nothing more than the usual projective, injective and flat model structures on Ch(R), the category of chain complexes of R-modules. Although these correspondences only recover these model structures on Ch(R) when R has finite global dimension, we can set R = ℤ and use general techniques from model category theory to lift the projective model structure from Ch(ℤ) to Ch(R) for an arbitrary ring R. This shows that homological algebra is a special case of Gorenstein homological algebra. Moreover, this method of constructing and lifting model structures carries through when ℤ[x]/(x2) is replaced by many other graded Gorenstein rings (or Hopf algebras, which lead to monoidal model structures). This gives us a natural way to generalize both chain complexes over a ring R and the derived category of R and we give some examples of such generalizations.

scholarly journals Quillen model structures for relative homological algebra

2002 ◽  
Vol 133 (2) ◽  
pp. 261-293 ◽  
Author(s):  
J. DANIEL CHRISTENSEN ◽  
MARK HOVEY
Keyword(s):  
Homotopy Theory ◽  
Homological Algebra ◽  
Abelian Category ◽  
Derived Categories ◽  
Derived Category ◽  
Category Structure ◽  
Model Category ◽  
Projective Class ◽  
Chain Complexes ◽  
Model Structures

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is encompassed by Quillen's homotopical algebra. The goal of this paper is to show that more general forms of homological algebra also fit into Quillen's framework. Specifically, a projective class on a complete and cocomplete abelian category [Ascr ] is exactly the information needed to do homological algebra in [Ascr ]. The main result is that, under weak hypotheses, the category of chain complexes of objects of [Ascr ] has a model category structure that reflects the homological algebra of the projective class in the sense that it encodes the Ext groups and more general derived functors. Examples include the ‘pure derived category’ of a ring R, and derived categories capturing relative situations, including the projective class for Hochschild homology and co-homology. We characterize the model structures that are cofibrantly generated, and show that this fails for many interesting examples. Finally, we explain how the category of simplicial objects in a possibly non-abelian category can be equipped with a model category structure reflecting a given projective class, and give examples that include equivariant homotopy theory and bounded below derived categories.

New model structures and projective (injective) cotorsion pairs

2021 ◽  
Author(s):  
Aimin Xu
Keyword(s):  
Positive Integer ◽  
Triangulated Categories ◽  
Model Structure ◽  
Cotorsion Pair ◽  
Flat Dimension ◽  
Gorenstein Projective Module ◽  
Chain Complexes ◽  
Cotorsion Pairs ◽  
Gorenstein Injective ◽  
Model Structures

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.

Bounded Derived Categories of Infinite Quivers: Grothendieck Duality, Reflection Functor

2015 ◽  
Vol 67 (1) ◽  
pp. 28-54 ◽  
Author(s):  
Javad Asadollahi ◽  
Rasool Hafezi ◽  
Razieh Vahed
Keyword(s):  
Noetherian Ring ◽  
Global Dimension ◽  
Derived Categories ◽  
Noetherian Rings ◽  
Commutative Noetherian Ring ◽  
Finite Global Dimension

AbstractWe study bounded derived categories of the category of representations of infinite quivers over a ring R. In case R is a commutative noetherian ring with a dualising complex, we investigate an equivalence similar to Grothendieck duality for these categories, while a notion of dualising complex does not apply to them. The quivers we consider are left (resp. right) rooted quivers that are either noetherian or their opposite are noetherian. We also consider reflection functor and generalize a result of Happel to noetherian rings of finite global dimension, instead of fields.

GORENSTEIN MODULES AND GORENSTEIN MODEL STRUCTURES

2017 ◽  
Vol 59 (3) ◽  
pp. 685-703 ◽  
Author(s):  
AIMIN XU
Keyword(s):  
Projective Dimension ◽  
Model Structure ◽  
Projective Modules ◽  
Cotorsion Pair ◽  
Chain Complexes ◽  
Gorenstein Projective Modules ◽  
Coherent Ring ◽  
Gorenstein Injective Dimension ◽  
Gorenstein Modules ◽  
Model Structures

AbstractGiven a complete hereditary cotorsion pair$(\mathcal{X}, \mathcal{Y})$, we introduce the concept of$(\mathcal{X}, \mathcal{X} \cap \mathcal{Y})$-Gorenstein projective modules and study its stability properties. As applications, we first get two model structures related to Gorenstein flat modules over a right coherent ring. Secondly, for any non-negative integern, we construct a cofibrantly generated model structure on Mod(R) in which the class of fibrant objects are the modules of Gorenstein injective dimension ≤nover a left Noetherian ringR. Similarly, ifRis a left coherent ring in which all flat leftR-modules have finite projective dimension, then there is a cofibrantly generated model structure on Mod(R) such that the cofibrant objects are the modules of Gorenstein projective dimension ≤n. These structures have their analogous in the category of chain complexes.

Analysis and design of suitable model structures for activated sludge tanks with circulating flow

1999 ◽  
Vol 39 (4) ◽  
pp. 55-60 ◽  
Author(s):  
J. Alex ◽  
R. Tschepetzki ◽  
U. Jumar ◽  
F. Obenaus ◽  
K.-H. Rosenwinkel
Keyword(s):  
Activated Sludge ◽  
Large Scale ◽  
Wastewater Treatment Plants ◽  
Treatment Plant ◽  
High Sensitivity ◽  
Suitable Model ◽  
Model Structure ◽  
Analysis And Design ◽  
Hydraulic Behaviour ◽  
Model Structures

Activated sludge models are widely used for planning and optimisation of wastewater treatment plants and on line applications are under development to support the operation of complex treatment plants. A proper model is crucial for all of these applications. The task of parameter calibration is focused in several papers and applications. An essential precondition for this task is an appropriately defined model structure, which is often given much less attention. Different model structures for a large scale treatment plant with circulation flow are discussed in this paper. A more systematic method to derive a suitable model structure is applied to this case. Results of a numerical hydraulic model are used for this purpose. The importance of these efforts are proven by a high sensitivity of the simulation results with respect to the selection of the model structure and the hydraulic conditions. Finally it is shown, that model calibration was possible only by adjusting to the hydraulic behaviour and without any changes of biological parameters.

Generalized Frobenius Algebras and Hopf Algebras

2014 ◽  
Vol 66 (1) ◽  
pp. 205-240 ◽  
Author(s):  
Miodrag Cristian Iovanov
Keyword(s):  
Hopf Algebras ◽  
Topological Algebra ◽  
Homological Algebra ◽  
General Concept ◽  
Frobenius Algebra ◽  
Theoretic Approach ◽  
Topological Algebras ◽  
Infinite Dimensional ◽  
Finite Case ◽  
Frobenius Algebras

Abstract“Co-Frobenius” coalgebras were introduced as dualizations of Frobenius algebras. We previously showed that they admit left-right symmetric characterizations analogous to those of Frobenius algebras. We consider the more general quasi-co-Frobenius (QcF) coalgebras. The first main result in this paper is that these also admit symmetric characterizations: a coalgebra is QcF if it is weakly isomorphic to its (left, or right) rational dual Rat(C*) in the sense that certain coproduct or product powers of these objects are isomorphic. Fundamental results of Hopf algebras, such as the equivalent characterizations of Hopf algebras with nonzero integrals as left (or right) co-Frobenius, QcF, semiperfect or with nonzero rational dual, as well as the uniqueness of integrals and a short proof of the bijectivity of the antipode for such Hopf algebras all follow as a consequence of these results. This gives a purely representation theoretic approach to many of the basic fundamental results in the theory of Hopf algebras. Furthermore, we introduce a general concept of Frobenius algebra, which makes sense for infinite dimensional and for topological algebras, and specializes to the classical notion in the finite case. This will be a topological algebra A that is isomorphic to its complete topological dual Aν. We show that A is a (quasi)Frobenius algebra if and only if A is the dual C* of a (quasi)co-Frobenius coalgebra C. We give many examples of co-Frobenius coalgebras and Hopf algebras connected to category theory, homological algebra and the newer q-homological algebra, topology or graph theory, showing the importance of the concept.

scholarly journals The projective stable category of a coherent scheme

2018 ◽  
Vol 149 (1) ◽  
pp. 15-43 ◽  
Author(s):  
Sergio Estrada ◽  
James Gillespie
Keyword(s):  
Homotopy Category ◽  
Model Structure ◽  
Stable Category ◽  
Coherent Sheaves ◽  
Chain Complexes

We define the projective stable category of a coherent scheme. It is the homotopy category of an abelian model structure on the category of unbounded chain complexes of quasi-coherent sheaves. We study the cofibrant objects of this model structure, which are certain complexes of flat quasi-coherent sheaves satisfying a special acyclicity condition.

Model structures, recollements and duality pairs

2021 ◽  
Author(s):  
Wenjing Chen ◽  
Zhongkui Liu
Keyword(s):  
Projective Modules ◽  
Cotorsion Pair ◽  
Gorenstein Rings ◽  
Injective Modules ◽  
Flat Modules ◽  
Duality Pairs ◽  
Cotorsion Pairs ◽  
Gorenstein Flat ◽  
Model Structures

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.

Sign in / Sign up

Export Citation Format

Share Document