Lemma 47.11.5 (0BUY)—The Stacks project

Processing math: 100%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 47: Dualizing Complexes
Section 47.11: Depth
Lemma 47.11.5 (cite)

previous lemma
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 47.11.5. Let $R \to S$ be a flat local ring homomorphism of Noetherian local rings. Denote $\mathfrak m \subset R$ the maximal ideal. Let $I \subset S$ be an ideal. If $S/\mathfrak mS$ is Cohen-Macaulay, then

$\text{depth}_ I(S) \geq \dim (S/\mathfrak mS) - \dim (S/\mathfrak mS + I)$

Proof. By Algebra, Lemma 10.99.3 any sequence in $S$ which maps to a regular sequence in $S/\mathfrak mS$ is a regular sequence in $S$ . Thus it suffices to prove the lemma in case $R$ is a field. This is a special case of Lemma 47.11.4. $\square$

Comments (0)

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

Comments (0)

Post a comment