• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

DG-modules over de Rham DG-algebra

European Journal of Mathematics. 2015. Vol. 1. P. 25-53.

For a morphism of smooth schemes over a regular affine base we define functors of derived direct image and extraordinary inverse image on coderived categories of DG-modules over deRham DG-algebras. Positselski proved that for a smooth algebraic variety X over a field k of characteristic zero the coderived category of DGmodules over •X/k is equivalent to the unbounded derived category of quasi-coherent right DX -modules.We prove that our functors correspond to the functors of the same name for DX -modules under Positselski equivalence.