Differential Equations, Spencer Cohomology, and Computing Resolutions
Larry A. Lambe, Werner M. Seiler · Georgian Mathematical Journal · 2002
We propose a new point of view of the Spencer cohomology appearing in the formal theory of differential equations based on a dual approach via comodules. It allows us to relate the Spencer cohomology with standard constructions in homological algebra and, in particular, to express it as a Cotor. We discuss concrete methods for its construction based on homological perturbation theory.