We propose a new, constructive theory of moving frames for Lie pseudo-group actions on submanifolds. The moving frame provides an effective means for determining complete systems of differential invariants and invariant differential forms, classifying their syzygies and recurrence relations, and solving equivalence and symmetry problems arising in a broad range of applications.

In this paper we classify indecomposable modules for the Lie algebra of vector fields on a torus that admit a compatible action of the algebra of functions. An important family of such modules is given by spaces of jets of tensor fields.

We give necessary and sufficient conditions for a norm-compact subset of a Hilbert space to admit a $C^1$ embedding into a finite dimensional Euclidean space. Using quasibundles, we prove a structure theorem saying that the stratum of $n$-dimensional points is contained in an $n$-dimensional $C^1$ submanifold of the ambient Hilbert space. This work sharpens and extends earlier results of G.~Glaeser on paratingents. As byproducts we obtain smoothing theorems for compact subsets of Hilbert space and disjunction theorems for locally compact subsets of Euclidean space.