Differential modules and \(K\)-groups (Q1173705)

Having defined dlog and res maps, the author proves that the following diagram of abelian sheaves on \(X\) is commutative for all \(p>0\) with exact rows, where \(X\) is a smooth scheme over a field of characteristic 0, \(Y\) is closed subscheme of codimension one in \(X\), \(U=X-Y\), and the top row is the localization sequence of \(K\)-sheaves. \[ \begin{matrix} 0& @>>>& {\mathcal K}_{p,X}& @>{j^*}>>& j_ *{\mathcal K}_{p,U}& @>\partial>>& i_ *{\mathcal K}_{p-1,Y}& @>>>& 0\\ &&@VV\text{dlog}V @VV\text{dlog}V @VV\text{dlog}V\\ 0& @>>>& \overline\Omega^ p_ X& @>>>& \overline\Omega^ p_ X(Y)& @>\text{res}>>& \overline\Omega^{p-1}_ Y& @>>>& 0 \end{matrix} \] The diagram gives rise to two compatible long exact sequences of cohomology groups.