Hostname: page-component-848d4c4894-m9kch Total loading time: 0 Render date: 2024-05-27T14:25:36.479Z Has data issue: false hasContentIssue false

EXTENSION OF FUNCTORS FOR ALGEBRAS OF FORMAL DEFORMATION

Published online by Cambridge University Press:  20 August 2013

ANA RITA MARTINS
Affiliation:
Faculdade de Engenharia da Universidade Católica Portuguesa, Estrada Octávio Pato, Rio-de-Mouro 2635-631, Portugal e-mail: ritamartins@fe.lisboa.ucp.pt
TERESA MONTEIRO FERNANDES
Affiliation:
Centro de Matemática e Aplicações Fundamentais e Departamento de Matemática da FCUL, Complexo 2 2 Avenida Prof. Gama Pinto, Lisbon 1649-003, Portugal e-mails: tmf@ptmat.fc.ul.pt; dsraimundo@fc.ul.pt
DAVID RAIMUNDO
Affiliation:
Centro de Matemática e Aplicações Fundamentais e Departamento de Matemática da FCUL, Complexo 2 2 Avenida Prof. Gama Pinto, Lisbon 1649-003, Portugal e-mails: tmf@ptmat.fc.ul.pt; dsraimundo@fc.ul.pt
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Suppose we are given complex manifolds X and Y together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on X and $\mathcal{A}'$ on Y, respectively. Also, suppose we are given a functor Φ from the category of open subsets of X to the category of open subsets of Y together with a functor F of prestacks from $\mathcal{S}$ to $\mathcal{S}'\circ\Phi$. Then we give conditions for the existence of a canonical functor, extension of F to the category of coherent $\mathcal{A}$-modules such that the cohomology associated to the action of the formal parameter $\hbar$ takes values in $\mathcal{S}$. 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, specialisation and micro-localisation, nearby and vanishing cycles in the framework of $\mathcal{D}[[\hbar]]$-modules. We also obtain the Cauchy–Kowalewskaia–Kashiwara theorem in the non-characteristic case as well as comparison theorems for regular holonomic $\mathcal{D}[[\hbar]]$-modules and a coherency criterion for proper direct images of good $\mathcal{D}[[\hbar]]$-modules.

Type
Research Article
Copyright
Copyright © Glasgow Mathematical Journal Trust 2013 

References

REFERENCES

1.Brylinski, J. L., Malgrange, B. and Verdier, J. L., Transformation de Fourier geométrique I, II, C.R. Acad. Sci. 297 (1983), 5558; 303 (1986), 193–198.Google Scholar
2.D'Agnolo, A., Guillermou, S. and Schapira, P., Regular holonomic $\mathcal{D}[[\hbar]]$-modules (RIMS, Kyoto University, 2010).Google Scholar
3.Kashiwara, M., On the holonomic systems of linear differential equations II, Invent. Math. 49 (1978) 121135.CrossRefGoogle Scholar
4.Kashiwara, M., Vanishing cycle sheaves and holonomic systems of differential equations, Lecture Notes in Mathematics, vol. 1016 (Springer-Verlag, Berlin, Germany, 1983).CrossRefGoogle Scholar
5.Kashiwara, M., \it{$\mathcal{D}$-modules and microlocal calculus, Translations of Mathematical Monographs, vol. 217 (American Mathematical Society, Providence, RI, 2003).Google Scholar
6.Kashiwara, M. and Schapira, P., Sheaves on manifolds, Grundlehren der Math. Wiss. vol. 292 (Springer-Verlag, Berlin Germany, 1990).Google Scholar
7.Kashiwara, M. and Schapira, P., Categories and sheaves, Grundlehren der Math. Wiss. vol. 332 (Springer-Verlag, Berlin Germany, 2006).Google Scholar
8.Kashiwara, M. and Schapira, P., Deformation quantization modules, Astérisque (Soc. Math. France) 345 (2012) arXiv:1003.3304v2.Google Scholar
9.Laurent, Y. and Malgrange, B., Cycles proches, spécialisation et $\mathcal{D}$-modules, Annales de l'institut Fourier 45 (n5) (1995), 13531405.Google Scholar
10.Laurent, Y. and Schapira, P., Images inverses des modules différentiels, Compositio Math. 61 (1987), 229251.Google Scholar
11.Maisonobe, P. and Mebkhout, Z., Le théorème de comparaison pour les cycles évanescents, Séminaires et Congrès, 8 (2004), 311389 (Societe Mathîmatique de France).Google Scholar
12.Mebkhout, Z., Le formalisme des six opérations de Grothendieck pour les $\mathcal{D}_X$-modules cohérents, III, § 4. (en collaboration avec C. Sabbah; French edn.) Travaux en Cours collection No. 35 (Hermann, Paris, France, 1989).Google Scholar
13.Fernandes, T. Monteiro, Microlocalisation of $\mathcal{D}$-modules along a submanifold, Bull. Soc. Math. France 123 (1995), 293327.Google Scholar