Involutivity of field equations

Abstract

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