, Volume 50, Issue 1, pp 49-71

Sur les Images Directes deD-Modules

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


Let \(Y\xrightarrow{f}X\) be a morphism of compact analytic manifolds, and M a right coherentD Y-module admitting a good filtration; if V⊂T*Y denotes the characteristic variety of M, one can define [M]V as the class of gr M in some suitable Grothendieck group of sheaves with support in V. Let \(T*Y\xleftarrow{F}Y\mathop { \times T*X\xrightarrow{{\bar f}}T*X}\limits_X \) be the morphisms naturally defined by f. A result of Kashiwara says that, for all i, the characteristic variety of ∫ f i M is contained in \(W = \bar fF^{ - 1} V\) . Here we prove the following K-theoretic version of this result: \(\sum {( - 1)^i [\int_f^i {M]} _W } = \bar f_* F*[M]_V \) .

C'est un grand plaisir pour moi de publier cet article dans ce volume, et de l'offrir en hommage à Monsieur K. Stein