Involutivity of field equations

Abstract

We prove involutivity of Einstein, Einstein-Maxwell and other field equations by calculating the Spencer cohomology of these systems. Relation with Cartan method is traced in details. Basic implications through Cartan-Kahler theory are derived.