The Stacks project

Lemma 10.110.4. Let $R$ be a Noetherian local ring. Suppose that the residue field $\kappa $ has finite projective dimension $n$ over $R$. In this case $\dim (R) \geq n$.

Proof. Let $F_{\bullet }$ be a finite resolution of $\kappa $ by finite free $R$-modules (Lemma 10.109.7). By Lemma 10.102.2 we may assume all the maps in the complex $F_{\bullet }$ have to property that $\mathop{\mathrm{Im}}(F_ i \to F_{i-1}) \subset \mathfrak m F_{i-1}$, because removing a trivial summand from the resolution can at worst shorten the resolution. Say $F_ n \not= 0$ and $F_ i = 0$ for $i > n$, so that the projective dimension of $\kappa $ is $n$. By Proposition 10.102.9 we see that $\text{depth}_{I(\varphi _ n)}(R) \geq n$ since $I(\varphi _ n)$ cannot equal $R$ by our choice of the complex. Thus by Lemma 10.72.3 also $\dim (R) \geq n$. $\square$

Comments (2)

Comment #2234 by David Savitt on

Fussy remark: to see that a resolution exists as in the first sentence, I suggest adding a corollary to [00O5] to the effect that if is Noetherian and is finite and of projective dimension , then has a projective resolution of length with all entries finite.

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 00OB. Beware of the difference between the letter 'O' and the digit '0'.