11–14 oct. 2016
Fuseau horaire Europe/Paris

Autour du théorème B de Quillen

12 oct. 2016, 09:00
1h 15m
Amphi Lavoisier

Amphi Lavoisier

Minicours Topologie algébrique et applications

Orateur

Prof. Ieke Moerdijk

Description

Pour un foncteur entre petites catégories, le théorème B de Quillen donne un critère pratique pour déterminer la fibre homotopique de l'application entre espaces classifiants de ces catégories. Dans cette série de trois conférences, je vais donner une démonstration d'une version plus générale, pour un foncteur entre catégories simpliciales. Cette version plus forte a comme applications immédiates plusieurs théorèmes importants, entre autres un théorème de descente pour des espaces simpliciaux, une construction d'univers univalents en théorie homotopique des types, et, last but not least, une démonstration efficace du "group completion theorem" et du théorème de périodicité de Bott. Si le temps nous le permet, j'expliquerai comment les méthodes s'appliquent dans le contexte de la théorie d'homotopie des préfaisceaux simpliciaux, utilisés par exemple en théorie d'homotopie $A^1$.

Auteur principal

Prof. Ieke Moerdijk (Utrecht)

Documents de présentation

Aucun document.