Modules over the de Rham cohomology spectrum

Dmitri Pavlov, Jakob Scholbach

We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the mo…