In differential geometry the de Rham differential is the differential in the de Rham complex, “exterior derivative” acting on differential forms. See there for more
Let be a cohesive (∞,1)-topos and write for its tangent cohesive (∞,1)-topos.
Given a stable homotopy type cohesion provides two objects
which may be interpreted as de Rham complexes with coefficients in , the first one restricted to negative degree, the second to non-negative degree. Moreover, there is a canonical map
which interprets as the de Rham differential . See at differential cohomology diagram for details.
Last revised on December 28, 2020 at 10:49:40. See the history of this page for a list of all contributions to it.