Definition 52.19.1. In Situation 52.16.1 let $(\mathcal{F}_ n)$ be an object of $\textit{Coh}(U, I\mathcal{O}_ U)$. Let $a, b$ be integers. Let $\delta ^ Y_ Z$ be as in (52.18.0.1). We say $(\mathcal{F}_ n)$ satisfies the $(a, b)$-inequalities if for $y \in U \cap Y$ and a prime $\mathfrak p \subset \mathcal{O}_{X, y}^\wedge$ with $\mathfrak p \not\in V(I\mathcal{O}_{X, y}^\wedge )$

1. if $V(\mathfrak p) \cap V(I\mathcal{O}_{X, y}^\wedge ) \not= \{ \mathfrak m_ y^\wedge \}$, then

$\text{depth}((\mathcal{F}^\wedge _ y)_\mathfrak p) + \delta ^ Y_ Z(y) \geq a \quad \text{or}\quad \text{depth}((\mathcal{F}^\wedge _ y)_\mathfrak p) + \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) + \delta ^ Y_ Z(y) > b$
2. if $V(\mathfrak p) \cap V(I\mathcal{O}_{X, y}^\wedge ) = \{ \mathfrak m_ y^\wedge \}$, then

$\text{depth}((\mathcal{F}^\wedge _ y)_\mathfrak p) + \delta ^ Y_ Z(y) > a$

We say $(\mathcal{F}_ n)$ satisfies the strict $(a, b)$-inequalities if for $y \in U \cap Y$ and a prime $\mathfrak p \subset \mathcal{O}_{X, y}^\wedge$ with $\mathfrak p \not\in V(I\mathcal{O}_{X, y}^\wedge )$ we have

$\text{depth}((\mathcal{F}^\wedge _ y)_\mathfrak p) + \delta ^ Y_ Z(y) > a \quad \text{or}\quad \text{depth}((\mathcal{F}^\wedge _ y)_\mathfrak p) + \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) + \delta ^ Y_ Z(y) > b$

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