Introduction. To a smooth manifold M one can associate in a natural way a new smooth manifold, the manifold of k-jets of n-dimensional submanifolds of M , indicated by G n (M), which parametrizes in a smooth way the k-jets of immersed submanifolds ofM . OnG n (M) one can build in a canonical way a differential ideal, denoted . The cohomology associated to the complexG n (M)/ (k) is called chara...

All rings in this paper are commutative and Noetherian. If R is a ring and I ⊂ R is an ideal, cd(R, I) denotes the cohomological dimension of I in R, i.e. the largest integer i such that the i-th local cohomology module H i I(M) doesn’t vanish for some R-module M . For the purposes of this introduction R is a complete equicharacteristic regular local d-dimensional ring with a separably closed r...