The linearized system for isometric embeddings and its characteristic variety

In this paper we prove a conjecture of Bryant, Griffiths, and Yang concerning the characteristic variety for the determined isometric embedding system. In particular, we show that the characteristic variety is not smooth for any dimension greater than 4. This is accomplished by introducing a smaller yet equivalent linearized system, in an appropriate way, which facilitates analysis of the characteristic variety.