Catégorie de modèles
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Consultez la liste des tâches à accomplir en page de discussion.
En mathématiques, plus précisément en théorie de l'homotopie, une catégorie de modèles est une catégorie dotée de trois classes de morphismes, appelés équivalences faibles, fibrations et cofibrations, satisfaisant à certains axiomes. Ceux-ci sont abstraits du comportement homotopique des espaces topologiques et des complexes de chaînes. La théorie des catégories de modèles est une sous-branche de la théorie des catégories et a été introduite par Daniel Quillen en 1967 pour généraliser l'étude de l'homotopie aux catégories et ainsi avoir de nouveaux outils pour travailler avec l'homotopie dans les espaces topologiques.
Ces dernières décennies, le langage des catégories de modèles a été utilisé en K-théorie algébrique et en géométrie algébrique, où les approches homotopiques ont mené à des résultats profonds.
Motivation
[modifier | modifier le code]Les catégories de modèles fournissent un formalisme naturel pour la théorie de l'homotopie. On peut munir les espaces topologiques d'une structure de catégorie de modèles correspondant à la théorie usuelle. De même, les objets considérés comme des espaces admettent souvent une structure de catégorie de modèles, à l'instar de la catégorie des ensembles simpliciaux.
Une autre catégorie pouvant être munie d'une telle structure est la catégorie des complexes de chaînes de A-modules pour un anneau commutatif A. Dans ce contexte, la théorie de l'homotopie revient à l'algèbre homologique. Ainsi, l'algèbre homotopique de Quillen englobe dans un certain sens l'algèbre homologique et l'on peut ainsi généraliser l'homologie à d'autres objets comme les groupes ou les A-algèbres.
Définition formelle
[modifier | modifier le code]Formulation classique
[modifier | modifier le code]Une structure de catégorie de modèles sur une catégorie M consiste dans la donnée de trois classes de morphismes distinguées : les équivalences faibles, les fibrations et les cofibrations, et de deux factorisations fonctorielles (α, β) et (γ, δ) satisfaisant aux axiomes suivants.
- M est complète et cocomplète (i.e. elle possède toutes les petites limites et toutes les petites colimites).
- Si f et g sont deux flèches de M composables (i.e. telles que gf existe) et que deux flèches parmi f, g et gf sont des équivalences faibles, alors la troisième l'est aussi.
- Si f est un rétract de g et que g est dans W (resp. C, F), alors f est dans W (resp. C, F).
- Les cofibrations acycliques ont la propriété de relèvement à gauche par rapport aux fibrations et les cofibrations ont la propriété de relèvement à gauche par rapport aux fibrations acycliques.
- Tout morphisme f de M a deux factorisations fonctorielles[1] l'une comme une cofibration suivie d'une fibration acyclique et l'autre comme une cofibration acyclique suivie d'une fibration.
On appelle la classe des équivalences faibles (weak equivalence), la classe des fibrations et la classe des cofibrations.
Une fibration qui est une équivalence faible est appelée une fibration acyclique, une cofibration qui est aussi une équivalence faible est appelée cofibration acyclique.
Formulation via les systèmes de factorisation faible
[modifier | modifier le code]La définition précédente peut être rendue plus succinctement via la définition suivante, que l'on trouve par exemple chez Riehl (Homotopy category theory). Une catégorie de modèles est une catégorie munie de trois classes de morphismes W, F, C telles que :
- M est complète et cocomplète.
- est un système de factorisation faible.
- est un système de factorisation faible.
- W satisfait à l'axiome 2 précédent.
Premières conséquences
[modifier | modifier le code]On peut montrer à partir des axiomes que dans une catégorie de modèles, les cofibrations sont caractérisées par la propriété de relèvement à gauche par rapport aux fibrations acycliques et les fibrations par la propriété de relèvement à droite par rapport aux cofibrations acycliques. Il suffit donc de connaître deux des trois classes pour obtenir la troisième. Cette remarque est fréquemment utilisée dans les exemples. Deux classes sont données avec une définition simple et la troisième se retrouve avec une propriété de relèvement.
Exemples
[modifier | modifier le code]Espaces topologiques
[modifier | modifier le code]Dans la catégorie des espaces topologiques, on peut définir comme les équivalences faibles d'homotopie, les fibrations comme les fibrations de Serre et les cofibrations sont des rétracts de morphismes , où est obtenu en attachant des cellules à [2].
Complexes de chaînes
[modifier | modifier le code]Autres exemples
[modifier | modifier le code]Homotopie et catégorie homotopique
[modifier | modifier le code]Notes et références
[modifier | modifier le code]- La fonctorialité n'était pas exigée par Quillen. Cependant, étant donné son utilité dans les démonstrations, elle est désormais adoptée par la plupart des auteurs.
- (en) W. G. Dwyer and J. Spalinski, Homotopy theories and model categories, University of Notre Dame, Notre Dame, Indiana, Elsevier Science, , 56 p., Définition 3.3 (page 12), Exemple 3.5 (page 13)
Voir aussi
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]- (en) Emily Riehl, Category Theory in context, Minneola (N.Y.), Dover Publications, coll. « Aurora », , 240 p., 23 cm (ISBN 978-0-486-80903-8, lire en ligne [PDF]).
- (en) Emily Riehl, Categorical Homotopy Theory, New York, Cambridge University Press, coll. « New mathematical monographs », , 352 p., 24 cm (ISBN 978-1-10-704845-4, lire en ligne [PDF]).
- (en) Mark Hovey, Model Categories, Providence (R.I.), American Mathematical Society, , 209 p., 26 cm (ISBN 0-8218-1359-5).
