Remark 52.26.3. In SGA2 we find the following result. Let $(A, \mathfrak m)$ be a Noetherian local ring. Let $f \in \mathfrak m$. Assume $A$ is a quotient of a regular ring, the element $f$ is a nonzerodivisor, and

if $\mathfrak p \subset A$ is a prime ideal with $\dim (A/\mathfrak p) = 1$, then $\text{depth}(A_\mathfrak p) \geq 2$, and

$\text{depth}(A/fA) \geq 3$, or equivalently $\text{depth}(A) \geq 4$.

Let $U$, resp. $U_0$ be the punctured spectrum of $A$, resp. $A/fA$. Then the map

is injective. This is [Exposee XI, Lemma 3.16, SGA2]^{1}. This result from SGA2 follows from Proposition 52.26.2 because

## Comments (0)