On the analyticity of the bivariant JLO cocycle

The goal of this note is to outline a proof that, for any l $\geq 0$, the JLO bivariant cocycle associated with a family of Dirac type operators along a smooth fibration $M\to B$ over the pair of algebras $(C^\infty (M), C^\infty(B))$, is entire when we endow $C^\infty(M)$ with the $C^{l+1}$ topology and $C^\infty(B)$ with the $C^{l}$ topology. As a corollary, we deduce that this cocycle is analytic when we consider the Frechet smooth topologies on $C^\infty(M)$ and $C^\infty(B)$.