Opérades et espaces de Maurer-Cartan
Auteur / Autrice : | Daniel Robert-Nicoud |
Direction : | Bruno Vallette |
Type : | Thèse de doctorat |
Discipline(s) : | Mathematiques |
Date : | Soutenance le 22/06/2018 |
Etablissement(s) : | Sorbonne Paris Cité |
Ecole(s) doctorale(s) : | École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire Analyse, géométrie et applications (LAGA) (Villetaneuse, Seine-Saint-Denis) |
Etablissement de préparation : Université Sorbonne Paris Nord (Bobigny, Villetaneuse, Seine-Saint-Denis ; 1970-....) | |
Jury : | Président / Présidente : Giovanni Felder |
Examinateurs / Examinatrices : Christian Ausoni, Joana Cirici, Éric Hoffbeck | |
Rapporteurs / Rapporteuses : Alexander Berglund, Thomas Hans Willwacher |
Mots clés
Résumé
Cette thèse s’inscrit dans les thèmes de la théorie des opérades et de l’algèbre homotopique. Soient donnés un type d'algèbre, un type de cogèbres et une relation entre ces types de structures algébriques (codés respectivement par une opérade, une coopérade et un morphisme tordant). Il est possible alors de mettre une structure naturelle d’algèbre de Lie à homotopie près sur l’espace des applications linéaires d’une cogèbre C vers une algèbre A. On appelle l’algèbre de Lie `a homotopie près obtenue de cette fac¸on l’algèbre de convolution de A et C. Dans cette thèse, on étudie la théorie des algèbres de convolution et leur compatibilité avec les instruments de l’algèbre homotopique : les infini-morphismes et le théorème de transfert homotopique. Après avoir fait cela, on applique cette théorie à plusieurs domaines, comme la théorie de la déformation dérivée et la théorie de l’homotopie rationnelle. Dans le premier cas, on utilise les instruments développés en construisant une algèbre de Lie universelle qui représente l’espace des éléments de Maurer-Cartan, un objet fondamental de la théorie de la déformation. Dans le deuxième cas, on donne une généralisation d’un résultat de Berglund sur des modèles rationnels pour les espaces de morphismes entre deux espaces pointés.