In mathematics, Spencer cohomology is cohomology of a manifold with coefficients in the sheaf of solutions of a linear partial differential operator. It was introduced by Donald C. Spencer in 1969. With origin in the geometry of partial differential equations, Spencer cohomology is best characterized in certain algebraic and categorial framework
References
Lychagin, Valentin (2001) [1994], "Spencer cohomology", Encyclopedia of Mathematics, EMS Press
Spencer, D. C. (1969), "Overdetermined systems of linear partial differential equations", Bulletin of the American Mathematical Society, 75 (2): 179–239, doi:10.1090/S0002-9904-1969-12129-4, ISSN 0002-9904, MR 0242200