Variations of integrals in diffeology
Résumé
We establish the formula for the variation of integrals of differential forms on cubic chains, in the context of diffeological spaces. Then, we establish the diffeological version of Stoke's theorem, and we apply that to get the diffeological variant of the Cartan-Lie formula. Still in the context of Cartan-De-Rham calculus in diffeology, we construct a Chain-Homotopy Operator K we apply it here to get the homotopic invariance of De Rham cohomology for diffeological spaces. This is the Chain-Homotopy Operator which used in symplectic diffeology to construct the Moment Map.