|
Frédéric Déglise
___________
Géométrie algébrique et arithmétique
|
|
_________ |
| Accueil | Publications | Prépublications | Notes d'exposés | Groupes de travail | Cours | Archives |
|
Universalité de la théorie A1-homotopique stable |
Groupe de travail
Université de Bourgogne,
7-9 novembre 2018
________
Présentation : Le but du groupe de travail est avant tout d'approfondir la théorie des ∞-catégories monoïdales et en particulier de montrer le théorème d'universalité de la catégorie A1-homotopique de Morel et Voevodsky, suivant la thèse de Marco Robalo, référence: [Robalo].
| Horaire | Mercredi | Jeudi | Vendredi |
| 10:30-11:30 | ∞-catégories monoïdales K. François |
∞-catégorie homotopique stable II M. Pipi |
|
| 13:30-14:30 | Introduction F. Déglise |
Algèbres et modules K. François |
|
| 15:00-16:00 | Quasi-catégories et catégories simpliciales E. Dimitriadis-Bermejo |
Objets dualisables, compacts, présentabilité F. Jin |
|
| 16:30-17:30 | Quasi-catégories et catégories de modèles N. Feld |
∞-catégorie homotopique stable I N. Feld |
| Titre | Description |
| Introduction | L'introduction, destinée à un large public, introduira la problématique des ∞-catégories, les motivations et quelques applications. |
| Quasi-catégories et catégories simpliciales |
On introduira les quasi-catégories, appelées ∞-catégories, les exemples standards et on présentera l'équivalence de catégories de modèles avec les catégories simpliciales. Références: [Lurie, section 1.1.5], n-lab. |
| Quasi-catégories et catégories de modèles |
On étudiera le lien entre ∞-catégories et catégories de modèles. Références: [Robalo, section 2.2], [Groth, section 2.6]. |
| ∞-catégorie monoïdales |
L'exposé introduira la notion de ∞-catégorie monoïdale. Références: [Robalo, section 3.1], [Groth, section 3]. |
| ∞-catégorie monoïdales: algèbres et modules |
L'exposé introduira le pendant de la notion de spectres en anneaux et modules en termes de ∞-catégories monoïdales. Références: [Robalo, section 3.2, 3.2, 3.3], [Groth, section 3]. |
| Conditions de finitude dans les ∞-catégories monoïdales |
Présentabilité, objets dualisables, objets compacts. Références: [Robalo, section 3.6, 3.8], [Groth, section 2.6]. |
| ∞-catégorie homotopique stable I |
Construction et universalité de la ∞-catégorie A1-homotopique des schémas (version instable). Références: [MV], [Robalo, sections 5.1, 5.2]. |
| ∞-catégorie homotopique stable II |
Construction et universalité de la ∞-catégorie A1-homotopique stable des schémas. Références: [Robalo, sections 5.3, 5.4, 5.5]. |