## A CARTAN-EILENBERG APPROACH TO HOMOTOPICAL ALGEBRA (707)

Citations: | 1 - 0 self |

### BibTeX

@MISC{Santos707acartan-eilenberg,

author = {F. Guillén Santos and V. Navarro and P. Pascual and Agustí Roig},

title = {A CARTAN-EILENBERG APPROACH TO HOMOTOPICAL ALGEBRA},

year = {707}

}

### OpenURL

### Abstract

Abstract. In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence between its localization with respect to weak equivalences and the localised category of cofibrant objets with respect to strong equivalences. This equivalence allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and functor categories with a triple, in the last case we find examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications, we prove the existence of filtered minimal models for cdg algebras over a zero-characteristic field and we formulate an acyclic models theorem for non additive functors.

### Citations

920 |
Categories for the Working Mathematician
- Lane
- 1971
(Show Context)
Citation Context ...he localisation provided by some quotient categories. 1.3.1. Let C be a category and ∼ a congruence on C, that is, an equivalence relation between morphisms of C which is compatible with composition (=-=[ML]-=-, page 51). We denote by C/∼ the� � � �� �� �� �� A CARTAN-EILENBERG APPROACH 7 quotient category, and by π : C −→ C/∼ the universal canonical functor. We denote by S the class of morphisms f : X −→ ... |

481 |
Homological Algebra
- Cartan, Eilenberg
- 1956
(Show Context)
Citation Context ................... 36 References ................................................................... 37 H. Cartan and S. Eilenberg set up the foundations of Homological Algebra in their pioneering work =-=[CE]-=-, achieving the notion of derived functors for additive functors between categories of modules. Their approach depends ultimately on the notions of homotopy between morphisms of complexes of R-modules... |

324 |
Homotopical algebra
- Quillen
- 1967
(Show Context)
Citation Context ... obtain the derived functor LF : D+(A) −→ D+(B). In order to derive non additive functors, D. Quillen, inspired by topological methods, introduced model categories in his notes on Homotopical Algebra =-=[Q]-=-. Since then, Homotopical Algebra has grown continuously as can be seen, for example, in the books [DHKS], [Ho], [Hi]. Quillen’s approach applies to classical homotopy theory as well as to rational ho... |

283 |
La conjecture de Weil
- Deligne
- 1974
(Show Context)
Citation Context ...nimal model of A. Corollary 5.5.3. ([M], th. (7.8)) Let (A, W) be a 1-connected mixed Hodge diagram defined over R, then the filtration of (A,DecW) passes to the minimal model of A. Corollary 5.5.4. (=-=[D2]-=-, (5.3.6)) Let X be an algebraic variety over an algebraically closed field of prime characteristic, and (A(X), W) be the Ql-homotopy type of X endowed with the weight filtration induced by the Froben... |

203 |
Methods of homological algebra
- Gelfand, Manin
- 1996
(Show Context)
Citation Context ...lg 1(k) has a filtered KS-minimal model ρ : M −→ A. � X .A CARTAN-EILENBERG APPROACH 31 Proof. Our proof is an adaptation to the filtered setting of the classical proof in [GM], theor. 9.5 (see also =-=[GMa]-=-, theor. V.11). So we shall construct, by induction on n, a sequence of filtered KS-minimal cdg algebras M(n), generated in degrees ≤ n, and morphisms ρn : M(n) −→ A such that, for all q, (an) H i (Wq... |

202 | Sur quelques points d’algèbre homologique - Grothendieck - 1957 |

202 | Model Categories
- Hovey
- 1999
(Show Context)
Citation Context ...d by topological methods, introduced model categories in his notes on Homotopical Algebra [Q]. Since then, Homotopical Algebra has grown continuously as can be seen, for example, in the books [DHKS], =-=[Ho]-=-, [Hi]. Quillen’s approach applies to classical homotopy theory as well as to rational homotopy, Bousfield localisation, or more recently to simplicial sheaves or motivic homotopy theory. �� X � Y w�... |

179 |
Model categories and their localizations
- Hirschhorn
- 2003
(Show Context)
Citation Context ...opological methods, introduced model categories in his notes on Homotopical Algebra [Q]. Since then, Homotopical Algebra has grown continuously as can be seen, for example, in the books [DHKS], [Ho], =-=[Hi]-=-. Quillen’s approach applies to classical homotopy theory as well as to rational homotopy, Bousfield localisation, or more recently to simplicial sheaves or motivic homotopy theory. �� X � Y w� �� A ... |

122 | Homotopy theories and model categories, Handbook of algebraic topology - Dwyer, Spaliński - 1995 |

71 |
The algebraic topology of smooth algebraic varieties, Muh
- Morgan
- 1978
(Show Context)
Citation Context ... 5.5.2. Let X be a 1-connected compact Kähler manifold and A(X) be the algebra of C ∞ -differential forms over X, then the Hodge filtration of A(X) passes to the minimal model of A. Corollary 5.5.3. (=-=[M]-=-, th. (7.8)) Let (A, W) be a 1-connected mixed Hodge diagram defined over R, then the filtration of (A,DecW) passes to the minimal model of A. Corollary 5.5.4. ([D2], (5.3.6)) Let X be an algebraic va... |

70 | Modular operads
- Getzler, Kapranov
- 1998
(Show Context)
Citation Context ....5. To illustrate the reasoning behind the above examples, and the usefulness of the criterion given by 2.3.4, we consider the case of modular operads over a field of characteristic zero k, (refer to =-=[GK]-=- and [GNPR1]). In [GNPR1], 8.6.1, we defined minimal modular operads as modular operads obtained from the trivial operad 0 by a sequence of principal extensions. Indeed these modular operads are minim... |

51 |
D.M.: Calculating simplicial localizations
- Dwyer, Kan
- 1980
(Show Context)
Citation Context ...he style of Quillen’s theorem A. In this paper we propose a different approach. 1.2. Hammocks. In this section we describe the localisation of categories by using hammocks as introduced by Dwyer-Kan (=-=[DK]-=-). Given a category with weak equivalences (C, W) define a new category in the following way: its objects are those of C. To define morphisms we begin by describing zigzags: given objects X, Y of C, a... |

50 |
Rational homotopy theory and differential forms
- Griffiths, Morgan
- 1981
(Show Context)
Citation Context ...roperty in the localised category C[S −1 ]. The sufficient conditions we state in the next result are the basic properties of the category of graded-commutative differential k-algebras, as treated in =-=[GM]-=-, in order to obtain Sullivan minimal models. This is also the course we followed to study the homotopy theory of modular operads in [GNPR1]. Theorem 2.3.3. Let (C, S, W) be a category with strong and... |

33 |
Homotopy limit functors on model categories and homotopical categories, volume 113
- Dwyer, Hirschhorn, et al.
- 2004
(Show Context)
Citation Context ... inspired by topological methods, introduced model categories in his notes on Homotopical Algebra [Q]. Since then, Homotopical Algebra has grown continuously as can be seen, for example, in the books =-=[DHKS]-=-, [Ho], [Hi]. Quillen’s approach applies to classical homotopy theory as well as to rational homotopy, Bousfield localisation, or more recently to simplicial sheaves or motivic homotopy theory. �� X �... |

26 |
Aznar, Un critère d’extension des foncteurs définis sur les schémas lisses, Publ
- Guillén, Navarro
(Show Context)
Citation Context ...nding results in [B] and [GNPR2]. We stress that in these examples the class of strong equivalences S does not come from a homotopy relation. We also prove a cubical version of acyclic models used in =-=[GN]-=- without proof. Acknowledgements. We thank Carles Casacuberta for his comments on an early draft of this paper. 1. Localisation of Categories In this section we collect for further reference some most... |

21 |
Primary homotopy theory
- Neisendorfer
- 1980
(Show Context)
Citation Context ... (R, r)-algebras, r > 0, in the sense of Halperin-Tanré. We recall also that Neisendorfer-Taylor noticed the existence of cofibrant models for filtered cdg k-algebras under some finiteness condition (=-=[NT]-=-, proof of Prop. 1). 5.4. Filtered minimal algebras. In this section we give a new proof of theorems 5.3.1 and 5.3.2 along the lines of the classical construction of minimal models in rational homotop... |

14 |
Handbook of Categorical Algebra. Encyclopedia of Math. and its applications
- Borceux
- 1994
(Show Context)
Citation Context ...tegories. 2.4. Relation with reflective subcategories. In some cases, localisation of categories may be realised through reflective subcategories or, equivalently, by idempotent functors, see [A] and =-=[Bo]-=-. The following result relates Cartan-Eilenberg categories with these concepts. Observe that in order to be consistent with our laterality assumptions we consider the dual notions: coreflective subcat... |

11 |
Algebraic homotopy. Cambridge studies in advanced mathematics
- Baues
- 1989
(Show Context)
Citation Context ...et of axioms of model categories is, in some sense, somewhat strong because there are interesting categories in which to do homotopy theory that do not satisfy all of them. Several authors (see [Br], =-=[Ba]-=- and others) have developed simpler alternatives, all of them focused on laterality, asking only for a left- (or right-) handed version of Quillen’s set of axioms. All these alternatives are very clos... |

9 |
Acyclic models
- Barr
- 2002
(Show Context)
Citation Context ..., we define a structure of Cartan-Eilenberg category on the functor category Cat(X,C+(A)) (see theorem 6.1.3). We apply this result to obtain theorems of the acyclic models kind, extending results in =-=[B]-=- and [GNPR2]. We stress that in these examples the class of strong equivalences S does not come from a homotopy relation. We also prove a cubical version of acyclic models used in [GN] without proof. ... |

9 | Homotopie Rationelle: Modèles de - Tanré - 1983 |

7 | The orthogonal subcategory problem in homotopy theory, in: An Alpine Anthology of Homotopy Theory
- Casacuberta, Chorny
- 2006
(Show Context)
Citation Context ...h cofibrant objects. This problem is equivalent to the orthogonal category problem for (C[S −1 ], δ(W)). This problem has been studied by Casacuberta and Chorny in the context of homotopy theory (see =-=[CCh]-=-). If the subcategory of cofibrant objects is a left model subcategory of C, the category C will be called a left CartanEilenberg category. It is a non additive generalisation for the category of comp... |

5 |
Abstract homotopy theory and generalised sheaf cohomology
- Brown
- 1973
(Show Context)
Citation Context ... The set of axioms of model categories is, in some sense, somewhat strong because there are interesting categories in which to do homotopy theory that do not satisfy all of them. Several authors (see =-=[Br]-=-, [Ba] and others) have developed simpler alternatives, all of them focused on laterality, asking only for a left- (or right-) handed version of Quillen’s set of axioms. All these alternatives are ver... |

4 |
Localisation and Completion, Lecture Notes by Z
- Adams
- 1975
(Show Context)
Citation Context ...y; introduce Cartan-Eilenberg categories, and give some criteria to prove that a given category is Cartan-Eilenberg. We also relate these notions with Adams’ study of localisation in homotopy theory, =-=[A]-=-. 2.1. Models in a category with strong and weak equivalences. In this section we introduce models of objects and diagrams in categories with two distinguished classes of morphisms. Let C be a categor... |

4 | Monoidal functors, acyclic models and chain operads. math.AT/0506624
- Santos, Navarro, et al.
(Show Context)
Citation Context ...ine a structure of Cartan-Eilenberg category on the functor category Cat(X,C+(A)) (see theorem 6.1.3). We apply this result to obtain theorems of the acyclic models kind, extending results in [B] and =-=[GNPR2]-=-. We stress that in these examples the class of strong equivalences S does not come from a homotopy relation. We also prove a cubical version of acyclic models used in [GN] without proof. Acknowledgem... |

4 |
Homotopie filtrée et fibrés
- Halperin, Tanré
- 1990
(Show Context)
Citation Context ...emark two specific achievements obtained in this paper. The first one corresponds to the homotopy theory of filtered cdg algebras, first developed by S. Halperin and D. Tanré by perturbation methods (=-=[HT]-=-). Let FAlg 1(k) be the category of 1-connected filtered cdg algebras over a field k of characteristic zero, (see section 5.4 for the specific assumptions we impose to the filtration). We extend the c... |

4 |
Complexe cotangent et Deformations I, Springer Lect
- Illusie
- 1971
(Show Context)
Citation Context ...d triangles. Proof. This lemma and its proof are the filtered version of lemma 8.6.4 of [GNPR1]. Remark 5.1.8. The induced equivalence of categories K+FP(A) −→ DF+(A) has been obtained by Illusie (see=-=[I]-=- Cor. (V.1.4.7)) for complexes with a finite filtration. 5.2. Filtered complexes of vector spaces. As a special case of the results above, take k a field and A the category of k-vector spaces. We writ... |

3 |
Cohomologie à support propre, Exp
- Deligne
- 1973
(Show Context)
Citation Context ... C[W −1 ] is called a left derived functor of F with respect to W, and denoted by θF : LWF −→ F. If W has a right calculus of fractions, this definition agrees with the definition given by Deligne in =-=[D3]-=-. Recall that the category Cat(C[W −1 ], D) is identified, by means of the functor γ ∗ : Cat(C[W −1 ], D) −→ Cat(C, D), with the full subcategory CatW(C, D) of Cat(C, D) whose objects are the functors... |

3 | Moduli spaces and formal operads - Santos, Navarro, et al. |

3 |
Aznar, Sur la connexion de Gauss-Manin en homotopie rationelle, Ann. de l’ENS 26
- Navarro
- 1993
(Show Context)
Citation Context ...σ), ∀ α ∈ □, with the obvious differential and convenient coaugmentation and comultiplication. 6.3.2. Let FNC+(Z) be the category of filtered complexes of abelian groups with filtrations supported in =-=[0, N]-=-. Given a double complex X∗∗ in FNC+(Z), we consider the total complex filtered by Wp(Tot X∗∗)n = ⊕ WpXrs. r+s=n We let Σ denote the class of filtered homotopy equivalences in FNC+(Z). In this way we ... |

1 |
Calculus of fractions and homtopy theory
- Gabriel, Zisman
- 1967
(Show Context)
Citation Context ...gories with a congruence. There are some situations where it is possible to give an easiest presentation of morphisms of the category C[W −1 ], for example, when there is a calculus of fractions (see =-=[GZ]-=-). In this section we present an even simpler situation which will occur later, the localisation provided by some quotient categories. 1.3.1. Let C be a category and ∼ a congruence on C, that is, an e... |

1 |
A few locatisation theorems
- Kahn, Sujatha
(Show Context)
Citation Context ...F ′ : C[W −1 ] −→ C ′ [W ′ −1 ]. Because of its potential applications, there has been interest in giving sufficient conditions that assure that F ′ is an equivalence of categories. Kahn and Sujatha (=-=[KS]-=-) have given a solution in the style of Quillen’s theorem A. In this paper we propose a different approach. 1.2. Hammocks. In this section we describe the localisation of categories by using hammocks ... |