Intersection homology \({\mathcal D}\)-module on local complete intersections with isolated singularities (Q1066216)

Soit X un sous ensemble analytique d'une variété analytique complexe M. Le complexe d'intersection \(IC_ X^{\bullet}\) de Deligne-Goresky- MacPherson [cf. \textit{M. Goresky} et \textit{R. MacPherson}, Invent. Math. 72, 77-129 (1983; Zbl 0529.55007)] a la propriété de support et de cosupport de Goresky-MacPherson. Il resulte de l'équivalence entre coefficients de de Rham au sens de Grothendieck et coefficients constructibles [cf. le rapporteur, Compos. Math. 51, 51-88 (1986; Zbl 0566.32021)] que \(IC_ X^{\bullet}[-co\dim X]\) est de la forme DR(\({\mathcal L}(X,M))\) pour un sous \(D_ M\)-module de de Rham de \(H_ X^ d(M)_{alg}\) \((d=co\dim X)\) où \(H^ d_ X(M)_{alg}\) est le \(D_ M\)-module du cohomologie locale de Grothendieck [cf. \textit{A. Grothendieck}, Publ. Math., Inst. Haut. Étud. Sci. 29, 95-103 (1966; Zbl 0145.176)]. C'est lié un résulat général d'existence et d'unité mais ne donne aucune moyen effectif de calcul. Dans cette note l'A. donne la caractérisation suivante pour X normal à singularité isolée: un élément F de \(H^ d_ X({\mathcal O}_ M)_{alg}\) appartient à \({\mathcal L}(X,M)\) si et seulement si \(\int_{\gamma}F_{\omega}=0\)\ pour tout élément \(\gamma\) de \(H_{\dim M}(B\setminus B\cap X)\) et tout élément \(\omega\) de \(\Omega^{\dim M}_{M,Sing(X)}\) où B est une petite boule centrée en Sing(X).