Remark 48.20.12. Let $S$ be a Noetherian scheme and let $\omega _ S^\bullet $ be a dualizing complex. Let $f : X \to Y$ be a finite morphism between schemes of finite type over $S$. Let $\omega _ X^\bullet $ and $\omega _ Y^\bullet $ be dualizing complexes normalized relative to $\omega _ S^\bullet $. Then we have
which often goes under the name “evaluation at $1$”.