Algebraic Hopf invariants and rational models for mapping spaces

The main goal of this paper is to define an invariant mc infinity(f) of homotopy classes of maps f:X -> YQ, from a finite CW-complex X to a rational space YQ. We prove that this invariant is complete, i.e. mc infinity(f)=mc infinity(g) if and only if f and g are homotopic. To construct this invariant we also construct a homotopy Lie algebra structure on certain convolution algebras. More precisely, given an operadic twisting morphism from a cooperad C to an operad P, a C-coalgebra C and a P-algebra A, then there exists a natural homotopy Lie algebra structure on HomK(C,A), the set of linear maps from C to A. We prove some of the basic properties of this convolution homotopy Lie algebra and use it to construct the algebraic Hopf invariants. This convolution homotopy Lie algebra also has the property that it can be used to model mapping spaces. More precisely, suppose that C is a C infinity-coalgebra model for a simply-connected finite CW-complex X and A an L infinity-algebra model for a simply-connected rational space YQ of finite Q-type, then HomK(C,A), the space of linear maps from C to A, can be equipped with an L infinity-structure such that it becomes a rational model for the based mapping space Map(X,YQ).