Lemma 58.23.1. In Situation 58.19.1 assume

$A$ has a dualizing complex and is $f$-adically complete,

one of the following is true

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

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 the restriction functor

is an equivalence.

## Comments (0)