GDR 2875 Topologie Algébrique et Applications : "Colloque Jeunes Topologues 2012"
Annonce :
Un groupe de travail pour les doctorants du GDR Topologie est organisé en décembre.
Le but de cette activité est d'acquérir des connaissances fondamentales
sur un sujet classique avec des applications multiples en topologie algébrique et dans d'autres domaines
des mathématiques.
Présentation :
La théorie de l'homotopie rationnelle consiste à faire de la théorie de l'homotopie "modulo" torsion.
En théorie de l'homotopie, on cherche à classer les espaces topologiques selon leur type d'homotopie.
Pour cela, on leurs associe des objets qui ne dépendent que de leur type d'homotopie.
De tels invariants sont donnés par les groupes de (co)homologie singulières ou encore par les groupes d'homotopie.
Ces derniers jouent un rôle très important en topologie mais peuvent s'avérer difficiles à calculer.
Néanmoins, on peut considérer leur rationalisation, c'est-à-dire
leur quotient par les sous-groupes de torsion, qui est plus simple.
L'homotopie rationnelle a commencé avec la écouverte par Sullivan d'un analogue de la rationalisation pour les espaces topologiques.
Le type d'homotopie rationnelle d'un espace devient alors le type d'homotopie de son rationalisé.
Ainsi, en homotopie rationnelle, on classe les espaces en fonction de leur type d'homotopie rationnelle.
Avec cette théorie, on perd toute l'information contenue dans la torsion mais on gagne énormément au niveau des calculs.
Ce gain vient de la découverte par Quillen, puis par Sullivan, de modèles algébriques qui contiennent toute l'information contenue
dans le type d'homotopie rationnelle.
Dans ce groupe de travail, nous commencerons par définir et étudier les propriétés des objets qui interviennent en homotopie rationnelle.
Ensuite, les catégories de modèle nous conduiront vers le résultat principal qui établit
une équivalence entre les classes d'homotopie rationnelle et les modèles algébriques.
Enfin, on s'intéressera aux applications.
Programme prévisionnel des exposés :
- Exposé d'introduction, par Olivia Bellier
- Espaces topologiques et ensembles simpliciaux, par Antoine Kornprobst
- Espaces topologiques, CW-complexes, groupes d'homotopie [FHT,I-0,I-1]
- Ensembles simpliciaux et chaînes singulières [FHT, II-10,I-4]
- Cochaînes singulières et cohomologie singulière [FHT,I-5]
- L'algèbre différentielle graduée d'un ensemble simplicial, par Anthony Mansuy et Marco Robalo
- Algèbres commutatives différentielles graduées : définition, propriétés, libre, minimale [FHT,I-3] [BG,7] (Marco Robalo)
- L'algèbre différentielle graduée cosimpliciale APL [FHT,II-10] [BG,1] (Anthony Mansuy)
- L'algèbre différentielle graduée associée à un espace, la construction de APL(X) [FHT,II-10] (Anthony Mansuy)
- Intégration et théorème de de Rham [BG,2-3], par Salim Rivière
- Catégories de modèles et théorie de l'homotopie [DS], par Andrea Cesaro et Sinan Yalin
- Définition + exemples
- Relation d'homotopie et catégorie homotopique
- Structure de catégorie de modèles sur les algèbres commutatives différentielles graduées [BG,4-5-6-7] par Olivier Lader et Nicolas Ricka
- Définition et preuve des propriétés de catégorie de modèles
- Espaces de fonctions
- Relation d'homotopie et groupe d'homotopie
- Modèle minimal, unicité
- Foncteurs de de Rham et équivalence de Sullivan [BG,8-9], par Hector Cordova Bulens, José Gabriel Carrasquel, Paul Arnaud Songhafouo et Abdoul Kader Yacouba
- Adjonction entre les ensembles simpliciaux et les algèbres commutatives
- Différentielles graduées
- Adjonction induite au niveau des catégories homotopiques
- Équivalence de Sullivan et corollaires
- Modèle minimal de Sullivan [FHT,II-12], par Hector Cordova Bulens, José Gabriel Carrasquel, Paul Arnaud Songhafouo et Abdoul Kader Yacouba
- Algèbres et modèle minimal de Sullivan (ΛV,d)
- Le module Hom(V,Q) donne les groupes d'homotopie rationnelle
- Exemples et techniques de calcul
- Applications, par Alexandre Quesney et Carlos Moraga
- Modèles des espaces de lacets libres et problèmes de géodésiques fermées [FOT] (Alexandre Quesney)
- Modèles des variétés käleriennes et symplectiques (Carlos Moraga)
Bibliographie :
Références de travail :
- [BG] A. Bousfield, V. Gugenheim, On PL de Rham theory an rational homotopy type, Mem. Amer. Math. Soc. 8 (1976), no. 179.
- [FHT] Y. Félix, S. Halperin, J.-C. Thomas, Rational homotopy theory, Graduate Texts in Mathematics, 205, Springer-Verlag, 2001.
- [FOT] Y. Félix, J. Oprea, D. Tanré, Algebraic models in geometry, Oxford Graduate Texts in Mathematics 17, Oxford University Press, 2008.
- K. Hess, Rational homotopy theory: a brief introduction. Interactions between homotopy theory and algebra, 175-202, Contemp. Math., 436, Amer. Math. Soc., Providence, RI, 2007.
Références originelles :
- D. Quillen, Rational homotopy theory, Ann. Math. 90, (1969), 205-295.
- D. Sullivan, Infinitesimal computation in topology, Inst. Hautes Études Sci. Publ. Math. 47 (1978), 269-331.
Informations pratiques :
- Lieu : Tout les exposés auront lieu en salle II du Laboratoire Laboratoire J.A. Dieudonné,
Université de Nice,
campus de la faculté des sciences, parc Valrose (voir http://math.unice.fr/plan-daccès
pour les directions).
- Horaires : Le groupe de travail commencera lundi 17 décembre 9h pour se clôturer mercredi 19 décembre 12h.
- Repas : Les repas de lundi, mardi, et mercredi midi sont pris en charge par l'organisation, pour l'ensemble des participants inscrits, au restaurant administratif de l'AURAIN
à proximité du campus. Les repas de lundi soir et mardi soir sont également pris en charge par l'organisation, pour l'ensemble des participants inscrits, au restaurant Le 11ème Art le lundi et au restaurant Alziari le mardi. Un plan d'accès et des indications orales seront données sur place.
- Hôtel : Les participants qui ont fait une demande de prise en charge d'hébergement sont logés, pour la durée prévue de leur séjour à Nice, à l'hôtel du Comté de Nice, 29 Rue de Dijon, à Nice (voir le site internet de l'hôtel
http://www.hotelcomtedenice.com/ pour les directions).
Participants :
- Olivia Bellier (Nice & Toulouse 3)
- Hector Cordova Bulens (UCL)
- José Gabriel Carrasquel (UCL)
- Andrea Cesaro (Lille 1)
- Antoine Kornprobst (Paris 7)
- Olivier Lader (Strasbourg)
- Anthony Mansuy (Reims)
- Paul-André Melliès (CNRS & Paris 7)
- Carlos Moraga (Nantes)
- Alexandre Quesney (Nantes)
- Nicolas Ricka (Paris 13)
- Salim Rivière (Nantes)
- Marco Robalo (Montpellier)
- Paul Arnaud Songhafouo (UCL)
- Abdoul Kader Yacouba (UCL)
- Sinan Yalin (Lille 1)