Introduction à l'HomotopieMaster 2 — 2018-2019Les cours sont assurés par Grégory
Ginot et les TDs par Hugo Pourcelot Le cours a lieu le mardi de 14h00 à 17h15, avec une pause de 15 minutes au milieu en salle G008. Les TDs de 17h30 à 19h00. Examen le 13 Mars en salle F003/F004 de 14h à 17h. (les notes de cours et de TDs sont autorisés) Pour venir à Paris 13, et plus précisément à son institut
Galilée où ont lieu les cours, consulter la
page (décrivant l'accès au laboratoire, le bâtiment C est
le premier bâtiment sur la droite quand on rentre par l'entrée 2
(en haut de la carte)) La salle F004 est au rez de chaussée
du bâtiment numéroté 5 sur la carte ("en dessous" du
bâtiment C sur la carte). Le bâtiment
C est le bâtiment en marron à côté du laga, celui ans
laquelle la scolarité de l'institut Galilée, sur la carte
suivante. |
Progression du cours
Le premier cours a porté sur des rappels des notions d'homotopie, rétractes par déformation, groupes d'homotopie supérieurs, suspension puis l'introduction de la notion clé: l'homotopie faible, et finalement une discussion informelle des catégories des espaces à homotopie près et à homotopie faible près On a précisé els relations entre homotopie et homotopie faible sur les CWs-complexes. On a également fait des rappels de base sur les notions de complexes de chaînes, de résoltuion projective et injective et la définition des groupes Tor et Ext, ainsi que la construction des foncteurs dérivés plus généraux.. Dans le deuxième cours, nous avons étudié les notions de fibrations de Serre et d'Hurewicz, leurs exemples fondamentaux et la suite eacte longue associée. Puis les notions de cofibrations (d'Hurewicz) et la définition du pushout homotopique. Nous avons ensuite donné la définition d'une catégorie de modèle, d'objets fibrants et cofibrants et essayé d'expliciter un minimum ce que veulent dire les axiomes et enfin énoncé deux exemples dans la catégorie des espaces topologiques. Le troisième cours a porté sur l'étude des propriétés des fibrations, cofibrations et équivalences faibles dans les catégories de modèles, et l'étude des catégories homotopiques des structures de modèle. En particulier nous avons étudié en détail les notions de cyclindres, chemins et les notions d'homotopie associées, puis démontré que la catégorie homotopique s'obtient comme un quotient de la catégorie des obejts fibrants-cofibrants par la relation d'homotopie et donné le théorème de Whitehead. Le 4ème cours a été consacré à la structure de modèle (projective essentiellement) des complesxes da chaînes, dans le cas non-borné et le cas concentré en degré positif. On a étudié les propriétés des cofibrations et démontré les différents axiomes. Pour étudier l'axiome MC5, nous avons fait une digression-importante-consacrée à l'argument du petit objet qui et une méthode pour construire des factorisations fonctorielles par rapport à un ensemble de morphismes. Le 5ème cours a été consacré aux catégories de modèle cofibrement engendrées et à l'argument du petit objet et à la notion de foncteurs de Quillen. Le 6ème cours a été consacré aux limites et colimites homotopiques via le point de vue des structures de modèle sur les diagrammes, puis à une introduction aux ensembles simpliciaux, leur comparaison avec les complexes simpliciaux et delta-complexes, l'adjonction induite par la rélaisation géométrique avec la catégorie des espaces topologiques. Le 7ème cours a été consacré à la structure de modèle de Quillen sur les ensembles simpliciaux, en particulier les notions de fibration de Kan et les caractérisations des cofibrations ainsi que la notion de groupes d'homotopie simpliciaux et l'équivalence de Quillen avec la catégorie des espaces topologiques (munie des fibrations de Serre et équivalences d'homotopie faibles). Nousa vons brièvement indiqué une application des structures de modèle à l'homotopie rationnelle (résuamnt ainsi tout un long chapître du polycopié). Le 8ème cours a été consacré à la notion d'infinie-catégorie. Après avoir discuté du nerf d'une catégorie et d'un groupoide et de leurs caractérisations parmi les ensembles simpliciaux, nous avons donné la définition des quasi-catégories et de leur (1-)catégorie homotopique sous-jacente. Nous avons ensuite introduit la structure de modèle sur les ensembles simpliciaux dont les objets fibrants sont les quasi-catégories. Puis nous avons décrit une structure de modèle sur les catégories enrichies dans les ensembles sipliciaux et l'équivalence de Quillen reliant ces deux catégories de modèles "encodant" l'infinie catégorie des infinie-catégories. Enfin nous avons discuté comment une catégorie de modèle donne canoniquement une infinie-catégorie relevant sa catégorie homotopique.
Pour vous entraîner. Examen de 2017-2018 et Rattrapage de 2018-2019 Examen de 2018-2019
|
Ceux qui souhaitent se familiariser/réviser des notions
d'algèbre
homologique peuvent consulter la page d'un ancien
cours de
M1 |
Progression des TDs
|