The general dévissage theorem for Witt groups of schemes (Q882541)

Let \(\pi:Z \to X\) be a closed subscheme of a noetherian scheme \(X\) and suppose that \(X\) has a dualizing complex \({\mathcal I}_\bullet\). The author shows that there is a dualizing complex \(\pi^\sharp{\mathcal I}_\bullet\) for \(Z\) and derives a transfer isomorphism of coherent Witt groups \(\widetilde{W}^i(Z, \pi^\sharp{\mathcal I}_\bullet) \backsimeq \widetilde{W}^i_Z(X,{\mathcal I}_\bullet)\) for all integers \(i\). The author discusses the applications of his result to regular schemes of finite Krull dimension.