Differential forms on \(C^{\infty}\)-ringed spaces (Q6187289)

This paper is the third in a series of papers on differential geometry of \(C^{\infty}\)-ringed spaces. The first paper [\textit{Y. Karshon} and \textit{E. Lerman}, SIGMA, Symmetry Integrability Geom. Methods Appl. 19, Paper 093, 17 p. (2023; Zbl 1528.58005)] investigates vector fields and flows on subcartesian spaces, while the second paper [\textit{E. Lerman}, ``Cartan calculus for $C^\infty$-ringed spaces'', Preprint, \url{arXiv:2307.05604}] defines a sheaf of vector fields (``the tangent sheaf'') on a local \(C^{\infty}\)-ringed space, defines contractions of vector fields and forms as well as Lie derivatives of forms with respect to vector fields, showing that the standard equations of Cartan calculus hold for vector fields and differential forms on local \(C^{\infty}\)-ringed spaces. The principal objective in this paper is to construct a complex of sheaves of differential forms on local \(C^{\infty}\)-ringed spaces. The category of local \(C^{\infty}\)-ringed spaces includes manifolds, manifolds with corners, differential spaces in the sense of \textit{R. Sikorski} [Colloq. Math. 24, 45--79 (1971; Zbl 0226.53004)], \(C^{\infty}\)-differentiable spaces in the sense of \textit{J. A. Navarro González} and \textit{J. B. Sancho de Salas} [\(C^\infty\)-differentiable spaces. Berlin: Springer (2003; Zbl 1039.58001)], affine \(C^{\infty}\)-schemes in the sense of \textit{E. J. Dubuc} [Am. J. Math. 103, 683--690 (1981; Zbl 0483.58003)] and \textit{M. Kreck}'s stratifolds [Differential algebraic topology. From stratifolds to exotic spheres. Providence, RI: American Mathematical Society (AMS) (2010; Zbl 1420.57002)].