Let
p: Z \hookrightarrow X{\pi: Z \hookrightarrow X}
be a closed subscheme of the noetherian scheme X. We show that if X has a dualizing complex
I·{\mathcal{I}\bullet}
then there exists a dualizing complex
p\natural(I·){\pi^{\natural}(\mathcal{I}\bullet)}
of Z such that there is an isomorphism of coherent Witt groups
[(W)\tilde]i(Z, p\natural(I ·)) @ [(W)\tilde]iZ (X,I·){\tilde{W}^{i}(Z,
... [Show full abstract] \pi^{\natural}(\mathcal{I} \bullet)) \simeq{{\tilde{W}}^{i}_{Z}} (X,\mathcal{I}\bullet)}
for all
i Î \mathbbZ{i \in \mathbb{Z}}
.