X should be Y

THanks to Derek Khu https://stacks.math.columbia.edu/tag/0AU3#comment-5471
stacks · Nov 15, 2020 · 2a4f25c · 2a4f25c
1 parent c7e9af8
commit 2a4f25c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -176,6 +176,7 @@ Hayama Kazuma (羽山籍真)
 Kiran Kedlaya
 Timo Keller
 Adeel Ahmad Khan
+Derek Khu
 Keenan Kidwell
 Ammar Kilic
 Andrew Kiluk

diff --git a/duality.tex b/duality.tex
@@ -4876,7 +4876,7 @@ \section{A duality theory}
 \item if $f : X \to Y$ is a closed immersion in $\textit{FTS}_S$,
 then $f^!(-) = R\SheafHom(\mathcal{O}_X, -)$,
 \item if $f : Y \to X$ is a finite morphism in $\textit{FTS}_S$,
-then $f_*f^!(-) = R\SheafHom_{\mathcal{O}_X}(f_*\mathcal{O}_X, -)$,
+then $f_*f^!(-) = R\SheafHom_{\mathcal{O}_X}(f_*\mathcal{O}_Y, -)$,
 \item if $f : X \to Y$ is the inclusion of an effective Cartier divisor
 into an object of $\textit{FTS}_S$, then
 $f^!(-) = Lf^*(-) \otimes_{\mathcal{O}_X} \mathcal{O}_Y(-X)[-1]$,