The Stacks project

Lemma 47.22.4. The following types of rings have a dualizing complex:

  1. fields,

  2. Noetherian complete local rings,

  3. $\mathbf{Z}$,

  4. Dedekind domains,

  5. any ring which is obtained from one of the rings above by taking an algebra essentially of finite type, or by taking an ideal-adic completion, or by taking a henselization, or by taking a strict henselization.

Proof. Part (5) follows from Proposition 47.15.11 and Lemma 47.22.3. By Lemma 47.21.3 a regular local ring has a dualizing complex. A complete Noetherian local ring is the quotient of a regular local ring by the Cohen structure theorem (Algebra, Theorem 10.160.8). Let $A$ be a Dedekind domain. Then every ideal $I$ is a finite projective $A$-module (follows from Algebra, Lemma 10.78.2 and the fact that the local rings of $A$ are discrete valuation ring and hence PIDs). Thus every $A$-module has finite injective dimension at most $1$ by More on Algebra, Lemma 15.69.2. It follows easily that $A[0]$ is a dualizing complex. $\square$

Comments (2)

Comment #1684 by on

It's perhaps better to say that (5) follows from 0A7K in general. In the current proof there's just "any ring essentially of finite type over a regular local ring [is Gorenstein]". This is a bit confusing.

Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0BFR. Beware of the difference between the letter 'O' and the digit '0'.