Lemma 52.20.6. In Situation 52.16.1 let $(\mathcal{F}_ n)$ be an object of $\textit{Coh}(U, I\mathcal{O}_ U)$. Assume

1. $A$ is local with maximal ideal $\mathfrak a = \mathfrak m$,

2. $A$ has a dualizing complex,

3. $\text{cd}(A, I) = 1$,

4. for $y \in U \cap Y$ the module $\mathcal{F}_ y^\wedge$ is finite locally free outside $V(I\mathcal{O}_{X, y}^\wedge )$, for example if $\mathcal{F}_ n$ is a finite locally free $\mathcal{O}_ U/I^ n\mathcal{O}_ U$-module, and

5. one of the following is true

1. $A_ f$ is $(S_2)$ and every irreducible component of $X$ not contained in $Y$ has dimension $\geq 4$, or

2. if $\mathfrak p \not\in V(f)$ and $V(\mathfrak p) \cap V(f) \not= \{ \mathfrak m\}$, then $\text{depth}(A_\mathfrak p) + \dim (A/\mathfrak p) > 3$.

Then $(\mathcal{F}_ n)$ satisfies the $(2, 3)$-inequalities.

Proof. We will use the criterion of Lemma 52.20.5. Let $y \in U \cap Y$ with $\dim (\overline{\{ y\} } = 1$ and let $\mathfrak p$ be a prime $\mathfrak p \subset \mathcal{O}_{X, y}^\wedge$ with $\mathfrak p \not\in V(I\mathcal{O}_{X, y}^\wedge )$. Condition (4) shows that $\text{depth}((\mathcal{F}_ y^\wedge )_\mathfrak p) = \text{depth}((\mathcal{O}_{X, y}^\wedge )_\mathfrak p)$. Thus we have to prove

$\text{depth}((\mathcal{O}_{X, y}^\wedge )_\mathfrak p) + \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) > 2$

Let $\mathfrak p_0 \subset A$ be the image of $\mathfrak p$. Let $\mathfrak q \subset A$ be the prime corresponding to $y$. By Local Cohomology, Lemma 51.11.3 we have

\begin{align*} \text{depth}((\mathcal{O}_{X, y}^\wedge )_\mathfrak p) + \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) & = \text{depth}(A_{\mathfrak p_0}) + \dim ((A/\mathfrak p_0)_\mathfrak q) \\ & = \text{depth}(A_{\mathfrak p_0}) + \dim (A/\mathfrak p_0) - 1 \end{align*}

If (5)(a) holds, then we get that this is

$\geq \min (2, \dim (A_{\mathfrak p_0})) + \dim (A/\mathfrak p_0) - 1$

Note that in any case $\dim (A/\mathfrak p_0) \geq 2$. Hence if we get $2$ for the minimum, then we are done. If not we get

$\dim (A_{\mathfrak p_0}) + \dim (A/\mathfrak p_0) - 1 \geq 4 - 1$

because every component of $\mathop{\mathrm{Spec}}(A)$ passing through $\mathfrak p_0$ has dimension $\geq 4$. If (5)(b) holds, then we win immediately. $\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).