Sullivan constructions for transitive Lie algebroids - smooth case
Let $M$ be a smooth manifold, smoothly triangulated by a simplicial complex $K$, and $\cA$ a transitive Lie algebroid on $M$. The Lie algebroid restriction of $\cA$ to a simplex $Δ$ of $K$ is denoted by $\cA^{!!}_Δ$. A piecewise smooth form of degree $p$ on $\cA$ is a family $ω=(ω_Δ)_{Δ\in K}$ such that $ω_Δ\in Ω^{p}(\cA^{!!}_Δ;Δ)$ for each $Δ\in K$, satisfying the compatibility condition concerning the restrictions of $ω_Δ$ to the faces of $Δ$, that is, if $Δ'$ is a face of $Δ$, the restriction of the form $ω_Δ$ to the simplex $Δ'$ coincides with the form $ω_{Δ'}$. The set $Ω^{\ast}(\cA;K)$ of all piecewise smooth forms on $\cA$ is a cochain algebra. One has a natural morphism $$Ω^{\ast}(\cA;M)\rightarrow Ω^{\ast}(\cA;K)$$ of cochain algebras given by restriction of a smooth form defined on $\cA$ to a smooth form defined on $\cA^{!!}_Δ$, for all simplices $Δ$ of $K$. In this paper, we prove that, for triangulated compact manifolds, the cohomology of this construction is isomorphic to the Lie algebroid cohomology of $\cA$, in which the isomorphism is induced by the restriction map.