Dualité dans la catégorie des complexes filtrés d'operateurs différentiels d'ordre \(\leq{} 1\). (Duality in the category of filtered complexes of differential operators of order \(\leq{} 1\)) (Q1182444)

Let \(X\) be a separated scheme of finite type over a field \(k\;(\text{char} k\neq 2)\). The main object of study is the category \(\text{DF}(\Omega^ \bullet_ X)\), the derived category of filtered complexes of sheaves of \({\mathcal O}_ X\)-modules with differential operators of order \(\leq 1\) as maps. This category appears naturally in the theory of mixed Hodge structures. Let \(X\) be smooth on \(k\), \(K^{\bullet}\) an object of \(\text{DF}^ b_{\text{coh}}(\Omega^{\bullet}_ X)\) and \(D\) the dualizing operator. The author shows that there is a filtered quasi-isomorphism \((K^{\bullet},F)\to(\text{DD}K^{\bullet},F)\). Here \(F\) is a suitable decreasing filtration of \(K^{\bullet}\). This result is extended to closed subschemes of \(X\) of finite type over \(k\) and finally to possibly non-smooth \(X\) (by patching). For a morphism \(f:X\to Y\) between separated schemes of finite type over \(K\), the trace map \(\text{Tr}_ f:f_ *\text{D}\Omega^{\bullet}_ X\to \text{D}\Omega^{\bullet}_ Y\) is defined in several ways, composes in the required way and is a morphism of complexes of \(\Omega^{\bullet}_ Y\)-modules. A theorem of residues and a theorem of duality are shown. The duality theorem asserts that \(\text{Tr}_ f\) and \(f^*:\Omega^{\bullet}_ Y\to Rf_ *\Omega^{\bullet}_ X\) are dual. A partial development of the six operations of Grothendieck on \(\text{D}(\Omega^{\bullet}_ X)\) is made. Some specializations of this machinery to the de Rham complex on a singular variety and hypercohomology are made.