Extension of functors for algebras of formal deformation
Suppose we are given complex manifolds and together with substacks and of modules over algebras of formal deformation on and on , respectively. Suppose also we are given a functor from the category of open subsets of to the category of open subsets of together with a functor of prestacks from to . Then we give conditions for the existence of a canonical functor, extension of to the category of coherent ${\sha}$-modules such that the cohomology associated to the action of the formal parameter takes values in . We give an explicit construction and prove that when the initial functor is exact on each open subset, so is its extension. Our construction permits to extend the functors of inverse image, Fourier transform, specialization and microlocalization, nearby and vanishing cycles in the framework of $\shd[[\hbar]]$-modules. We also obtain a Cauchy-Kowalewskaia-Kashiwara theorem in the non-characteristic case as well as comparison theorems for regular holonomic $\shd[[\hbar]]$-modules and a coherency criterion for proper direct images of good $\shd[[\hbar]]$-modules.