L’article reprend systématiquement la théorie des cycles proches pour les -modules holonomes. La théorie est étendue aux complexes, et l’on obtient une équivalence de catégories entre complexes monodromiques et complexes spécialisables (ces derniers, sur le complété de pour la filtration). On obtient en particulier les théorèmes de commutation par rapport à la dualité, aux images inverses lisses et aux images directes propres qu’il était naturel d’espérer.
This article reexamines systematically the theory of nearby cycles of holonomic -modules. The theory is extended to complexes, and one gets an equivalence of categories between monodromic complexes and specializable complexes (the last ones, taken on the completion of for the -filtration). In particular, one gets the theorems of commutation with duality, smooth inverse images, and proper direct images which were natural to expect.
@article{AIF_1995__45_5_1353_0, author = {Laurent, Yves and Malgrange, Bernard}, title = {Cycles proches, sp\'ecialisation et ${\mathcal {D}}$-modules}, journal = {Annales de l'Institut Fourier}, volume = {45}, year = {1995}, pages = {1353-1405}, doi = {10.5802/aif.1499}, mrnumber = {96m:32005}, zbl = {0837.35006}, language = {fr}, url = {http://dml.mathdoc.fr/item/AIF_1995__45_5_1353_0} }
Laurent, Yves; Malgrange, Bernard. Cycles proches, spécialisation et ${\mathcal {D}}$-modules. Annales de l'Institut Fourier, Tome 45 (1995) pp. 1353-1405. doi : 10.5802/aif.1499. http://gdmltest.u-ga.fr/item/AIF_1995__45_5_1353_0/
[Ab] Analyse microlocale des systèmes différentiels holonomes, Thèse, Grenoble, 1992.
,[BMV] Transformation de Fourier géométrique I, C. R. Acad. Sci. Paris Sér. I Math., 297 (1983), 55-58; II, C. R. Acad. Sci. Paris, Sér. I Math., 303 (1986), 193-198. | Zbl 0553.14005
, , ,[Ba] Le complété formel d'un espace analytique le long d'un sous-espace, Man. Math., 6 (1972), 207-244. | MR 46 #389 | Zbl 0231.32004
,[Be] Lettre à P. Deligne, non publiée, 1981.
,[Bo] Algebraic D-modules, Persp. Math., Acad. Press, 2, 1987. | MR 89g:32014 | Zbl 0642.32001
& al.,[Ca] Idéaux de fonctions analytiques, Ann. E.N.S., 61 (1944), 149-197. | Numdam | MR 7,290c | Zbl 0035.17103
,[GR] Bilder und Urbilder analytischen Garben, Ann. of Math., 68-2 (1958), 393-443. | MR 21 #1402 | Zbl 0089.06003
, ,[Ka1] Vanishing cycles and holonomic systems of differential equations, Springer Lect. Notes, 1016 (1983), 134-142. | MR 85e:58137 | Zbl 0566.32022
,[Ka2] On holonomic systems of differential equations II, Invent. Math., 49 (1978), 121-135. | MR 80a:58035 | Zbl 0401.32005
,[Ka3] b-functions and holonomic systems, Invent. Math., 38 (1976), 33-53. | MR 55 #3309 | Zbl 0354.35082
,[Ka4] The Riemann-Hilbert problem for holonomic systems, Publ. RIMS, 20 (1984), 319-365. | MR 86j:58142 | Zbl 0566.32023
,[KK1] Second microlocalization and asymptotic expansions, Springer Lect. Notes in Physics, 126 (1980), 21-76. | MR 81i:58038 | Zbl 0458.46027
, ,[KK2] On holonomic systems of microdifferential equations III, Publ. RIMS, 17 (1981), 813-979. | MR 83e:58085 | Zbl 0505.58033
, ,[La1] Vanishing cycles and second microlocalization, Alg. Analysis, Acad. Press, I (1989), 381-391. | MR 90c:32018 | Zbl 0686.32008
,[La2] Vanishing cycles of D-modules, Invent. Math., 112 (1993), 491-539. | MR 94e:32025 | Zbl 0799.32031
,[La3] Polygone de Newton et b-fonction pour les modules microdifférentiels, Ann. E.N.S., 4-20 (1987), 391-441. | Numdam | Zbl 0646.58021
,[Ma1] Polynôme de Bernstein-Sato et cohomologie évanescente, Astérisque, 101-102 (1983), 243-267. | MR 86f:58148 | Zbl 0528.32007
,[Ma2] Extension of holonomic D-modules, Alg. Analysis, Acad. Press, I (1989), 403-411. | MR 90e:32011 | Zbl 0672.32006
,[Ma3] Équations différentielles à coefficients polynomiaux, Progress in Math, Birkhäuser, 96, 1991. | MR 92k:32020 | Zbl 0764.32001
,[Ma4] Séminaire sur les opérateurs différentiels et pseudodifférentiels, Université Sci. et Méd. de Grenoble, 1976.
,[Ma5] Filtration des modules holonomes, in Analyse algébrique des perturbations singulières, II Méthodes différentielles, L. Boutet de Monvel ed. Hermann (1994), 35-41. | MR 95i:32017 | Zbl 0843.58115
,[Me1] Le formalisme des six opérations de Grothendieck, Travaux en cours, Hermann, 1989.
,[Me2] Une équivalence de catégories - Une autre équivalence de catégories, Comp. Math., 51 (1984), 51-62 et 63-88. | Numdam | MR 85k:58072 | Zbl 0566.32021
,[Me3] Le théorème de comparaison entre cohomologies de De Rham d'une variété analytique complexe, Publ. Math. I.H.E.S., 69 (1989), 47-89. | Numdam | MR 91a:32016 | Zbl 0709.14015
,[Sa1] D-modules et cycles évanescents, Travaux en cours, Hermann, 24 (1987), 53-98. | Zbl 0623.32013
,[Sa2] Modules d'Alexander et D-modules, Duke Math. Journal, 60-3 (1990), 729-814. | MR 91i:32008 | Zbl 0715.14007
,[Sai1] Duality for vanishing cycle functors, Publ. RIMS, 25-6 (1989), 889-921. | MR 92g:32020 | Zbl 0712.32011
,[Sai2] Induced D-modules and differential complexes, Bull. Soc. Math. France, 117 (1989), 361-384. | Numdam | MR 91f:32008 | Zbl 0705.32005
,[Sai3] D-modules on analytic spaces, Preprint RIMS, Kyoto, 694, 1990.
,[Sc] Dualité pour les modules différentiels, Thèse, Univ. Liège, 1986. | Zbl 0605.14016
,[Se] Algèbre locale et multiplicités, Springer Lect. Notes, 11 (1965). | Zbl 0142.28603
,[SGA] Springer Lect. Notes, 288 (1973).
,[SKK] Microfunctions and pseudodifferential equations, Springer Lect. Notes, 287 (1973), 264-529. | MR 54 #8747 | Zbl 0277.46039
, , ,[Ve1] Spécialisation de faisceaux et monodromie modérée, Astérisque, 101-102 (1982), 332-364. | MR 86f:32010 | Zbl 0532.14008
,[Ve2] Séminaire de géométrie analytique, exposé 9, Astérisque, 36-37 (1976), 189-228.
,