ABSTRACT
In this chapter we study some fundamental functors associated with the Ɗ-modules which we have introduced in Chapter III. Before we get to the de Rham functor in Section 4.2, we remind the reader the conditions which an O X − Module https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003067344/5adcfc1d-9e95-4af9-96eb-b75efcd558b7/content/inequ4_183_1.tif"/> ℳ must satisfy in order to be a ƊX -module. In particular, we will show that ℋ o m O X ( Ω X n , − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003067344/5adcfc1d-9e95-4af9-96eb-b75efcd558b7/content/inequ4_183_2.tif"/> and − ⊗ Ω X n https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003067344/5adcfc1d-9e95-4af9-96eb-b75efcd558b7/content/inequ4_183_3.tif"/> are one the inverse of the other when acting on the categories of left and right ƊX -modules.
