Thèse soutenue

Opérades et espaces de Maurer-Cartan

FR  |  
EN
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

Résumé

FR  |  
EN

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.