The Lawrence-Sullivan construction is the right model for \(I^{+}\) (Q1945742)

The Lawrence-Sullivan construction for the interval is a complete free differential graded Lie algebra \({\mathcal L}= \widehat{\mathbb L} (a,b,z)\) where \(a\) and \(b\) are Maurer-Cartan elements and where the linear part of the differential of \(z\) is \( b-a\). In this paper Urtzi Buijs and Aniceto Murillo show that this construction is the right model for \(I^+\). First of all they prove that in a complete differential graded Lie algebra \((L,\partial )\) two Maurer-Cartan elements \(x\) and \(y\) are homotopic if and only if there is a morphism of differential graded Lie algebras \(f : {\mathcal L} \to L\) with \(f(a) = x\) and \(f(b) =y\). The main result is an isomorphism of graded algebras between the completion of the enveloping algebra of \({\mathcal L}\), \(U{\mathcal L}\) in \(\widehat{T}(a,b,z)\) and the classical Tanré cylinder on \(\widehat{T}(a,b)\), \[ (\widehat{T}(a,b,c),d)\,, dc= b-a+c\otimes b - a\otimes c\,. \] From this isomorphism the authors deduce a generalized Euler formula on Bernoulli numbers.