rectification; Abhyankar-Sathaye embedding problem; variable deformation of manifold and coherent sheaf; differential graded algebra; locally free resolution;trace morphism; hypercohomology; determinant bundle; tangent space; obstruction space; deformation problem controlled; simplicially enriched model category of DG-Lie algebras; module of derivations of pairs; differential operators with principal symbol 