Derivations, the Lawrence-Sullivan interval and the Fiorenza-Manetti mapping cone
type: Item
instance of: scholarly article
title: Derivations, the Lawrence-Sullivan interval and the Fiorenza-Manetti mapping cone
zbMATH Open document ID: 1264.55008
author: Urtzi Buijs
author: Javier J. Gutiérrez
author: Aniceto Murillo
published in: Mathematische Zeitschrift
publication date: 2013-03-28T00:00:00Z
review text: Let \(f:X\to Y\) be a map between nilpotent CW-complexes of finite type and \(\text{map}^*_f(X,Y)\) the path-component of the space of based maps from \(X\) to \(Y\) containing the map \(f\). Let \(C\) be a finite type graded differential coalgebra model of \(X\) and let \(M\) be a Lie algebra model of \(Y\). Let \({\mathcal L}(C)\) denote the Quillen functor on \(C\) and let \(\gamma^{\prime}:{\mathcal L}(C) \to M\) be a model for \(f\). Then it is known that the graded vector space \(s^{-1}Der_{\gamma^{\prime}}({\mathcal L}(C),M)\) of derivations becomes a Lie model of \(\text{map}^*_f(X,Y)\). Similarly, let \({\mathcal Q}\) denote the Quillen minimal model of \(X\) and let \(\gamma :{\mathcal Q}\to M\) be any Lie model of \(f\). Then it is also known that there is a natural \(L_{\infty}\)-structure on \(s^{-1}Der_{\gamma}({\mathcal Q},M)\) encoding the higher Whitehead products on the rational homotopy groups of \(\text{map}^*_f(X,Y)\). As the first step, the authors prove that the two \(L_{\infty}\)-algebra \(s^{-1}Der_{\gamma^{\prime}}({\mathcal L}(C),M)\) and \(s^{-1}Der_{\gamma}({\mathcal Q},M)\) are quasi-isomorphic. Next, they consider the Lawrence-Sullivan completed Lie model of the interval \({\mathcal I}\) and they prove that \(s^{-1}Der ({\mathcal I},M)\) and \(s^{-1}Der({\mathcal L}(C),M)\) are quasi-isomorphic as \(L_{\infty}\)-algebras for any differential graded Lie algebra \(M\). In particular, they show that \(s^{-1}Der ({\mathcal I},M)\) is an \(L_{\infty}\)-model of the based path space \(PY=\text{map}^*(I,Y)\) for any Lie model \(M\) of a nilpotent complex \(Y\). Finally, let \(\chi :L\to M\) be a differential Lie algebra homomorphism and \(C_{\chi}\) be its suspended mapping cone. Then they prove that \(C_{\chi}\) and \(L\times_Ms^{-1}Der ({\mathcal I},M)\) are strongly isomorphic as \(L_{\infty}\) algebras, and they obtain an explicit and close relation between the Lawrence-Sullivan model for the interval and the Fiorenza-Manetti mapping cone…
reviewed by: Kohhei Yamaguchi
Mathematics Subject Classification ID: 55P62
Mathematics Subject Classification ID: 54C35
zbMATH DE Number: 6149060
zbMATH Keywords: rational homotopy theory
zbMATH Keywords: mapping space
zbMATH Keywords: \(L_\infty\)-algebra
zbMATH Keywords: quasi-isomorphism
zbMATH Keywords: the Quillen model
zbMATH Keywords: the Lawrence-Sullivan model
zbMATH Keywords: the Fiorenza-Manetti mapping cone
MaRDI profile type: Publication
full work available at URL: s00209-012-1040-x
OpenAlex ID: W2041970856
cites work: Minimal models in homotopy theory
cites work: An explicit \(L_\infty\) structure for the components of mapping spaces
cites work: The rational homotopy Lie algebra of function spaces
cites work: Algebraic models of non-connected spaces and homotopy theory of \(L_\infty\) algebras
cites work: \(L_{\infty}\) rational homotopy of mapping spaces
cites work: \(L_{\infty }\) models of based mapping spaces
cites work: String Topology in Dimensions Two and Three
cites work: Rational Homotopy Theory II
cites work: \(L_\infty \) structures on mapping cones
cites work: Integrating -algebras
cites work: Lie theory for nilpotent \(L_{\infty}\)-algebras
cites work: Small models for chain algebras
cites work: Q3319420
cites work: Deformation quantization of Poisson manifolds
cites work: Q4524260
cites work: Q4550194
cites work: Strongly homotopy lie algebras
cites work: Introduction to sh Lie algebras for physicists
cites work: Algebraic Operads
cites work: Rational homotopical models and uniqueness
cites work: Q4241615
cites work: Lawrence-Sullivan models for the interval
cites work: Rational homotopy theory
cites work: The Lie algebra structure of tangent cohomology and deformation theory
cites work: Homotopie rationelle: modèles de Chen, Quillen, Sullivan
DOI: 10.1007/S00209-012-1040-X
description: scientific article; zbMATH DE number 6149060