Duality of differential operators and algebraic de Rham cohomology

Caleb Ji, Casimir Kothari, Oliver Li +3

Given a smooth proper morphism $f:X\to S$, we introduce a certain derived category where morphisms are permitted to be ${\mathcal{O}}_S$-linear differential operators.…