Hamilton-Jacobi Diffieties

Diffieties formalize geometrically the concept of differential equations. We introduce and study Hamilton-Jacobi diffieties. They are finite dimensional subdiffieties of a given diffiety and appear to play a special role in the field theoretic version of the geometric Hamilton-Jacobi theory.