EXTENSION OF FUNCTORS FOR ALGEBRAS OF FORMAL DEFORMATION

DOI10.1017/S0017089513000116MaRDI QIDQ5397658zbMATH OpenOpenAlexFDO

Authors Ana Rita Martins, Teresa Monteiro Fernandes, David Raimundo

Publication date 24 February 2014

Published in Glasgow Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1201.0536

zbMATH Keywords

\(\mathcal D\hbar\)-modulesalgabras of formal deformationextension of functors

Mathematics Subject Classification ID

Sheaves of differential operators and their modules, (D)-modules (32C38)

Abstract: Suppose we are given complex manifolds $X$ and $Y$ together with substacks $mathcalS$ and $mathcal{S}^{\prime }$ of modules over algebras of formal deformation $mathcalA$ on $X$ and $mathcal{A}^{\prime }$ on $Y$, respectively. Suppose also we are given a functor $Phi$ from the category of open subsets of $X$ to the category of open subsets of $Y$ together with a functor $F$ of prestacks from $mathcalS$ to $mathcal{S}^{\prime }circPhi$. Then we give conditions for the existence of a canonical functor, extension of $F$ to the category of coherent $sha$-modules such that the cohomology associated to the action of the formal parameter $hbar$ takes values in $mathcalS$. We give an explicit construction and prove that when the initial functor $F$ 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.

Recommendations

• Extensions and deformations of algebras with higher derivations
• Formality and deformations of universal enveloping algebras
• Cohomology and formal deformations of alternative algebras
• scientific article; zbMATH DE number 5083031
• scientific article; zbMATH DE number 4127448
• Deformations and Extensions of BiHom-alternative algebras
• scientific article; zbMATH DE number 2246206
• Deformations of Homotopy Algebras
• scientific article; zbMATH DE number 3937962
• Formal deformations and their categorical general fibre

Cites work

• Categories and Sheaves
• Cycles évanescents, spécialisation et \({\mathcal D}\)-modules. (Nearby cycles, specialization and \({\mathcal D}\)-modules.)
• scientific article; zbMATH DE number 3903038 (Why is no real title available?)
• On the holonomic systems of linear differential equations. II

Cited in

(3)

• [[:Publication:2438312|Regularity for elliptic pairs over \(\mathbb C \hbar \)]]
• The Dolbeault dga of a formal neighborhood
• Formal extension of the Whitney functor and duality

This page was built for publication: EXTENSION OF FUNCTORS FOR ALGEBRAS OF FORMAL DEFORMATION

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5397658)