The $\mathcal{D}$-Geometric Hilbert Scheme -- Part I: Involutivity and Stability

TL;DR

This paper constructs a moduli space for involutive ideal sheaves related to PDE systems using algebraic geometry, introducing new stability notions that connect to classical gauge theory and complex geometry, with applications to Hermitian-Yang-Mills metrics.

Contribution

It introduces the $\,\mathcal{D}$-Hilbert and $\,\mathcal{D}$-Quot functors, extending stability concepts and establishing their representability in the context of PDE ideal sheaves.

Findings

Spencer stability extends classical stability to PDE ideals.

Moduli space construction for involutive ideal sheaves.

Equivalence between Spencer poly-stability and Hermitian-Yang-Mills metrics.

Abstract

We construct a moduli space of formally integrable and involutive ideal sheaves arising from systems of partial differential equations (PDEs) in the algebro-geometric setting, by introducing the $\mathcal{D}$-Hilbert and $\mathcal{D}$-Quot functors in the sense of Grothendieck and establishing their representability. Central to this construction is the notion of Spencer (semi-)stability, which presents an extension of classical stability conditions from gauge theory and complex geometry, and which provides the boundedness needed for our moduli problem. As an application, we show that for flat connections on compact K\"ahler manifolds, Spencer poly-stability of the associated PDE ideal is equivalent to the existence of a Hermitian-Yang-Mills metric. This result provides a refinement of the classical Donaldson-Uhlenbeck-Yau correspondence, and identifies Spencer cohomology and stability as a unifying framework for geometric PDEs.