Sur les images directes de \({\mathcal D}\)-modules (Q1062186)

Dans cet article, l'A. démontre une version K-théorique du théorème de Kashiwara relatif aux images directes de \({\mathcal D}\)- modules. Ce résultat a son origine dans le théorème de Riemann-Roch pour les \({\mathcal D}\)-modules. Soit X une variété analytique compacte et \(V\subset T^*X\) un sous-ensemble analytique fermé homogène. Notons \(K_ V[T^*X]\) le groupe de Grothendieck des gr \({\mathcal D}_ X\)- modules cohérents à support dans V et admettant une bonne filtration. Si M est un \({\mathcal D}_ X\)-module cohérent admettant une bonne filtration, avec car(M)\(\subset V\), on définit l'élément \([M]_ V\subset K_ V[T^*X]\) comme la classe de gr M. La définition de \([M]_ V\) s'étend de la façon habituelle au cas où M est un complexe de \(D^ b({\mathcal D}_ X)_ c\) dont les groupes de cohomologie possèdent les propriétés précédentes. Soit \(f: Y\to X\) un morphisme de variétés analytiques compactes et \(V\subset T^*Y\) un sous-ensemble analytique fermé homogène. Si M est un \({\mathcal D}_ Y\)- module admettant une bonne filtration, avec car(M)\(\subset V\), le théorème de Kashiwara nous dit que les \(H^ if_*M\) sont cohérents et \(car(H^ if_*M)\subset W=\bar fF^{-1}V\), où \(T^*Y\leftarrow^{F}Y\times_ XT^*X\to^{\bar f}T^*X\) sont les morphismes naturels définis par f. Le résultat principal de l'article nous dit que: (1) les \(H^ if_*M\) admettent une bonne filtration; (2) [f\({}_*M]_ W=\bar f_*F^*[M]_ V\), où les morphismes: \(K_ V[T^*Y]\to^{F^*}K_{F^{-1}V}[Y\times_ XT^*X]\to^{\bar f_*}K_ W[T^*X]\) proviennent des morphismes d'espaces annelés suivants: \((T^*Y,gr {\mathcal D}_ Y)\leftarrow^{F}(Y\times_ XT^*X,gr {\mathcal D}_{Y\to X})\to^{f}(T^*X,gr {\mathcal D}_ X).\) Finalement on étudie une version ''graduée'' du résultat précédent par rapport à la filtration introduite par Houzel et Shapira.