typo in derham

Thanks to Wouter Rienks https://stacks.math.columbia.edu/tag/0FMY#comment-8271
stacks · Apr 10, 2024 · c2cd60e · c2cd60e
1 parent 92b0341
commit c2cd60e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -384,6 +384,7 @@ Ryan Reich
 Emanuel Reinecke
 Charles Rezk
 Gabriel Ribeiro
+Wouter Rienks
 Alice Rizzardo
 Damien Robert
 David Roberts

diff --git a/derham.tex b/derham.tex
@@ -2517,7 +2517,7 @@ \section{Log poles along a divisor}
 To prove this case we may assume $S = \Spec(A)$ and $T = \Spec(B)$
 are affine. Let $A \to B$ be the ring map corresponding to the morphism
 $T \to S$ and set $P = B[x_1, \ldots, x_{m + 1}]$ so that
-$\mathbf{A}^{m + 1}_T = \Spec(B)$. We have
+$\mathbf{A}^{m + 1}_T = \Spec(P)$. We have
 $$
 \Omega_{P/A} = \Omega_{B/A} \otimes_B P \oplus
 \bigoplus\nolimits_{j = 1, \ldots, m} P \text{d}x_j \oplus