Spelling suggestions: "subject:"ensembles dendroidal"" "subject:"ensembles dendroideum""
1 |
Théories homotopiques des algèbres unitaires et des opérades / Homotopy theories of unital algebras and operadsLe Grignou, Brice 14 September 2016 (has links)
Dans cette thèse, nous nous intéressons aux propriétés homotopiques des algèbres sur une opérade, desopérades elles-mêmes et des opérades colorées, dans le monde des complexes de chaînes. Nousintroduisons une nouvelle adjonction bar-cobar entre les opérades unitaires et les coopéradesconilpotentes courbées. Ceci nous permet de munir ces dernières d'une structure de modèles induite parla structure projective des opérades le long de cette adjonction, qui devient alors une équivalence deQuillen. Ce résultat permet de passer, sans perte d'information homotopique, dans le monde descoopérades qui est plus puissant : on peut y décrire, par exemple, les objets fibrants-cofibrants en termesd'opérades à homotopie près. Nous appliquons ensuite la même stratégie aux algèbres sur une opérade.Pour cela, on munit la catégorie des cogèbres sur la coopérade duale de Koszul d'une structure demodèles induite par celle de la catégorie des algèbres d'origine le long de leur adjonction bar-cobar, quidevient une équivalence de Quillen. Cela nous permet de décrire explicitement pour la première fois despropriétés homotopique des algèbres sur une opérade non nécessairement augmentée. Dans unedernière partie, nous introduisons la notion d'opérade colorée à homotopie près que nous arrivons àcomparer aux infinies-opérades de Moerdijk--Weiss au moyen d'un foncteur : le nerf dendroidal. Nousmontrons qu'il étend des constructions dues à Lurie et à Faonte et nous étudions ses propriétéshomotopiques. En particulier, sa restriction aux opérades colorées est un foncteur de Quillen à droite.Tout ceci permet de relier explicitement deux mondes des opérades supérieures / This thesis deals with the homotopical properties of algebras over an operad, of operads themselves andof colored operads, in the framework of chain complexes. We introduce a new bar-cobar adjunctionbetween unital operads and curved conilpotent cooperads. This allows us to endow the latter with aDépôt de thèseDonnées complémentairesmodel structure induced by the projective model structure on operads along this adjunction, which thenbecomes a Quillen-equivalence. This result allows us to study the homotopy theory of operads in theworld of cooperads which is more powerful: for instance, fibrant-cofibrant objects can be described interms of operads up to homotopy. We then apply the same strategy to algebras over an operad. Morespecifically, we endow the category of coalgebras over the Koszul dual cooperad with a model structureinduced by that of the category of algebras along their bar-cobar adjunction, which becomes a Quillenequivalence.This allows us to describe explicitly for the first time some homotopy properties of algebrasover a not necessarily augmented operad. In the last part, we introduce the notion of homotopy coloredoperad that we compare to Moerdijk--Weiss' infinity-operads by means of a functor: the dendroidalnerve. We show that it extends existing constructions due to Lurie and Faonte and we study itshomotopical properties. In particular, we show that its restriction to colored operads is a right Quillenfunctor. All this allows us to connect explicitly two different worlds of higher operads
|
Page generated in 0.0592 seconds