Les préfaisceaux comme modèles des types d'homotopie

Grothendieck a introduit dans À la poursuite des champs la notion de catégorie test, petite catégorie ayant par définition la propriété que les préfaisceaux sur celle-ci sont naturellement des modèles pour les types d'homotopie des CW-complexes. Un exemple bien connu est celui de la catégorie des simplexes (les préfaisceaux correspondant étant alors les ensembles simpliciaux). Grothendieck a de plus dégagé la notion de localisateur fondamental, ce qui donne une description axiomatique de la théorie de l'homotopie des petites catégories, et permet d'étendre la notion de catégorie test relativement à des localisations de la catégorie homotopique des CW-complexes. Ce texte peut être vu comme une prolongation de la théorie de l'homotopie de Grothendieck. On démontre en particulier deux conjectures de Grothendieck : toute catégorie de préfaisceaux sur une catégorie test admet canoniquement une structure de catégorie de modèles fermée au sens de Quillen, et le localisateur fondamental minimal définit la théorie de l'homotopie des CW-complexes. On montre par ailleurs comment une version locale de la théorie permet d'englober dans un même schéma la théorie de l'homotopie équivariante. La mise en oeuvre de ce programme passe par la construction et l'étude systématiques de structures de catégorie de modèles sur des catégories de préfaisceaux quelconques, ainsi que par l'étude de la théorie de l'homotopie des petites catégories en suivant et en complétant les différentes contributions de Quillen, Thomason et Grothendieck. Grothendieck introduced in Pursuing Stacks the notion of test category. These are by definition small categories on which presheaves of sets are models for homotopy types of CW-complexes. A well known example is the category of simplices (the corresponding presheaves are then simplicial sets). Moreover, Grothendieck defined the notion of basic localizer which gives an axiomatic approach to the homotopy theory of small categories, and gives a natural setting to extend the notion of test category with respect some localizations of the homotopy category of CW-complexes. This text can be seen as a sequel of Grothendieck's homotopy theory. We prove in particlar two conjectures made by Grothendieck : any category of presheaves on a test category is canonically endowed with a Quillen closed model category structure, and the smallest basic localizer defines the homotopy theory of CW-complexes. Moreover, we show how a local version of the theory allows to consider in a unified setting the equivariant homotopy theory as well. The realization of this program goes through the construction and the study of model category structures on any category of presheaves on an abstract small category, as well as the study of the homotopy theory of small categories following and completing the contributions of Quillen, Thomason and Grothendieck.