IUMJ

Title: Traces and residues

Authors: Amnon Neeman

Issue: Volume 64 (2015), Issue 1, 217-229

Abstract:

Let $f:X\to Y$ be a separated morphism of Noetherian schemes, and let $W\subset X$ be a union of closed subsets such that the restriction of $f$ to each of them is proper. In duality theory, one considers trace maps $\mathbf{R} f_{*}\mathbf{R}\Gamma_W^{}f^{!}\mathscr{O}_Y^{}\to\mathscr{O}_Y^{}$. In a recent paper, we gave a new construction of such a trace map, using a certain natural transformation $\psi(f):f^{\times}\longrightarrow f^{!}$. In this note, we show how to compute it. In duality theory, there are abstract, functorial definitions, and there are computationally useful formulas, but they are rarely the same. This makes the new approach remarkable.