Lemma 52.12.4. Let $I \subset \mathfrak a$ be ideals of a Noetherian ring $A$. Let $\mathcal{F}$ be a coherent module on $U = \mathop{\mathrm{Spec}}(A) \setminus V(\mathfrak a)$. Assume

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

if $x \in \text{Ass}(\mathcal{F})$, $x \not\in V(I)$, $\overline{\{ x\} } \cap V(I) \not\subset V(\mathfrak a)$, and $z \in V(\mathfrak a) \cap \overline{\{ x\} }$, then $\dim (\mathcal{O}_{\overline{\{ x\} }, z}) > \text{cd}(A, I) + 1$,

for $x \in U$ with $\overline{\{ x\} } \cap V(I) \subset V(\mathfrak a)$ we have $\text{depth}(\mathcal{F}_ x) \geq 2$,

Then we obtain an isomorphism

## Comments (0)