Lawrence-Sullivan models for the interval (Q649841): Difference between revisions

In an appendix to a paper of \textit{T. Tradler} and \textit{M. Zeinalian} [Algebr. Geom. Topol. 7, 233--260 (2007; Zbl 1137.57025)], D. Sullivan constructs for each CW complex \(X\) a completed differential graded Lie algebra \((\widehat{\mathbb L} V, \partial)\). Here \(V\) is the rational vector space spanned by the desuspended cells of \(X\), and the linear part of the differential \(\partial\) is the desuspended boundary operator of the cellular chain complex of \(X\). The model for an interval \([0,1]\) with two endpoints and one cell of dimension 1 has the form \((\widehat{\mathbb L}(a,b,x), \partial)\) with \(a\) and \(b\) in degree \(-1\) and \(x\) in degree \(0\). The differential \(\partial\) is given by an inductive process. On the other hand, using a geometrical argument and the solution of a differential equation, R. Lawrence and D. Sullivan have also constructed an explicit model for the interval, \((\widehat{\mathbb L}(a,b,x), \partial_1)\). They even conjecture that the two models coincide. In this paper Paul-Eugène Parent and Daniel Tanré prove the conjecture: the two models coincide. The correspondence between the two models should have applications in the theory of Lie models for non reduced CW complexes.