Lemma 47.21.5. Let $(A, \mathfrak m, \kappa )$ be a Noetherian local ring. Then $A$ is Gorenstein if and only if $\mathop{\mathrm{Ext}}\nolimits ^ i_ A(\kappa , A)$ is zero for $i \gg 0$.

Proof. Observe that $A[0]$ is a dualizing complex for $A$ if and only if $A$ has finite injective dimension as an $A$-module (follows immediately from Definition 47.15.1). Thus the lemma follows from More on Algebra, Lemma 15.69.7. $\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).