Lemma 47.21.9. Let $(A, \mathfrak m, \kappa )$ be a Noetherian local Gorenstein ring of dimension $d$. Let $E$ be the injective hull of $\kappa$. Then $\text{Tor}_ i^ A(E, \kappa )$ is zero for $i \not= d$ and $\text{Tor}_ d^ A(E, \kappa ) = \kappa$.

Proof. Since $A$ is Gorenstein $\omega _ A^\bullet = A[d]$ is a normalized dualizing complex for $A$. Also $E$ is the only nonzero cohomology module of $R\Gamma _\mathfrak m(\omega _ A^\bullet )$ sitting in degree $0$, see Lemma 47.18.1. By Lemma 47.9.5 we have

$E \otimes _ A^\mathbf {L} \kappa = R\Gamma _\mathfrak m(\omega _ A^\bullet ) \otimes _ A^\mathbf {L} \kappa = R\Gamma _\mathfrak m(\omega _ A^\bullet \otimes _ A^\mathbf {L} \kappa ) = R\Gamma _\mathfrak m(\kappa [d]) = \kappa [d]$

and the lemma follows. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).