Abstract:The original de Rham cohomology due to Souriau and the singular cohomology in diffeology are not isomorphic to each other in general. This manuscript introduces a singular de Rham complex endowed with an integration map into the singular cochain complex which gives the de Rham theorem for every diffeological space. It is also proved that a morphism called the factor map from the original de Rham complex to the new one is a quasi-isomorphism for a manifold and, more general, a space with singularities. Moreover, Chen's iterated integrals are considered in a diffeological framework. As a consequence, we deduce that the bar complex of the original de Rham complex of a simply-connected diffeological space is quasi-isomorphic to the singular de Rham complex of the diffeological free loop space provided the factor map for the underlying diffeological space is a quasi-isomorphism. The process for proving the assertion yields the Leray--Serre spectral sequence and the Eilenberg--Moore spectral sequence in diffeology.

Cohomology and $K$-theory rings of the space of commuting elements in $SU(2)$

The $K$-theory of the moduli stacks $\mathcal{M}_2$ and $\overline{\mathcal{M}}_2$

Hochschild cohomology of $U(\mathfrak{sl}_2(k))$

On connective K-theory of elementary abelian 2-groups and local duality

Integral cohomology of configuration spaces of the sphere

Cohomologie et $K$-theorie equivariantes des tours de Bott et des varietes de drapeaux. Application au calcul de Schubert

Cohomology Ring of the BRST Operator Associated to the Sum of Two Pure Spinors

Commuting varieties and the rank filtration of topological K-theory

Cohomology of spaces of Hopf equivariant maps of spheres

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

Isolated hypersurface singularities, spectral invariants, and quantum cohomology

Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

Cohomology rings of extended powers and free infinite loop spaces

Simplicial cochain algebras for diffeological spaces

The cohomology of biquotients via a product on the two-sided bar construction

The combinatorics of supertorus sheaf cohomology

The cohomology of the connective spectra for {K}-theory revisited

K-theory, local cohomology and tangent spaces to Hilbert schemes

Cdh Descent for Homotopy Hermitian $K$-Theory of Rings with Involution

Quantum cohomology and Fukaya summands from monotone Lagrangian tori

$K_1$-invariants in the mod $p$ cohomology of $U(3)$ arithmetic manifolds