D-Geometric Hilbert and Quot DG-Schemes

Abstract: A parameterizing space of ideal sheaves of involutive and formally integrable non-linear partial differential equations in the algebro-geometric setting is constructed. It provides a $\mathcal{D}$-geometric analog of Grothendieck's Quot (resp. Hilbert) functor and is proven to be represented by a $\mathcal{D}$-scheme which is suitably of finite type. A natural derived enhancement of the so-called $\mathcal{D}$-Quot (resp. $\mathcal{D}$-Hilbert) moduli functor is constructed and its representability by a differential graded $\mathcal{D}$-manifold with corresponding finiteness properties is studied.