Via the Bousfield-Gugenheim realization functor, and starting from the Brown-Szczarba model of a function space, we give a functorial framework to describe basic objects and maps concerning the rational homotopy type of function spaces and its path components.

Let $M$ be any compact simply-connected oriented $d$-dimensional smooth manifold and let $𝔽$ be any field. We show that the Gerstenhaber algebra structure on the Hochschild cohomology on the singular cochains of $M$, $H{H}^{*}(S^{*}\left(M\right),S^{*}\left(M\right))$, extends to a Batalin-Vilkovisky algebra. Such Batalin-Vilkovisky algebra was conjectured to exist and is expected to be isomorphic to the Batalin-Vilkovisky algebra on the free loop space homology on $M$, $H_{*+d}\left(LM\right)$ introduced by Chas and Sullivan. We also show that the negative cyclic cohomology $H{C}_{-}^{*}\left(S^{*}\left(M\right)\right)$...