Linearisation, splitting property and homotopy algebras

Abstract

We study the linearisation of formal vector fields and homotopy algebras using graded coalgebras. We prove that a formal vector field is linearisable if and only if it satisfies a splitting property, and we give an explicit recursive construction of a linearising coordinate transformation. This provides a direct coalgebraic proof of Bandiera's characterisation of linearisable, equivalently homotopy abelian, $L_{\infty }[1]$ algebras. We establish an associative analogue, characterising linearisability of $A_{\infty }[1]$ algebras by a splitting property for one-sided Hochschild cochains. We also examine the corresponding splitting property for standard Hochschild cochains and show that it is equivalent to $A_{\infty }[1]$ commutativity in the sense of Briggs and Gélinas. Finally, we establish a corresponding criterion for formal endomorphisms and give sufficient conditions for splitting that recover Basto-Gonçalves' linearisation theorem for admissible formal vector fields.

arXiv comment28 pages; revised abstract and introduction; reorganised the main text; expanded the comparison with standard Hochschild cochains and added an example