Lemma 47.16.10. Let $(A, \mathfrak m, \kappa )$ be a Noetherian local ring with normalized dualizing complex $\omega _ A^\bullet $. Let $f \in \mathfrak m$ be a nonzerodivisor. Set $B = A/(f)$. Then there is a distinguished triangle

in $D(A)$ where $\omega _ B^\bullet $ is a normalized dualizing complex for $B$.

## Comments (0)