Variations of integrals in diffeology (Q2862943)

In this paper, the formula for the variation of integrals of differential forms on cubic chains is established in the context of diffeological spaces. The diffeological version of Stoke's theorem, and diffeological variant of the Cartan-Lie formula are considered also. In the context of Cartan-De-Rham calculus in diffeology, a chain-homotopy operator \(K\) is constructed, which is applied to get the homotopic invariance of De Rham cohomology for diffeological spaces. In conclusion, the chain-homotopy operator is used in symplectic diffeology to proof the Poincaré lemma.