## 52.22 Algebraization of coherent formal modules, V

In this section we prove our most general results on algebraization of coherent formal modules. We first prove it in case the ideal has cohomological dimension $1$. Then we apply this to a blowup to prove a more general result.

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

1. $A$ has a dualizing complex and $\text{cd}(A, I) = 1$,

2. $(\mathcal{F}_ n)$ is pro-isomorphic to an inverse system $(\mathcal{F}_ n'')$ of coherent $\mathcal{O}_ U$-modules such that $\text{depth}(\mathcal{F}''_{n, y}) + \delta ^ Y_ Z(y) \geq 3$ for all $y \in U \cap Y$.

Then $(\mathcal{F}_ n)$ extends canonically to $X$, see Definition 52.16.7.

Proof. We will check hypotheses (a), (b), and (c) of Lemma 52.16.10. Before we start, let us point out that the modules $H^0(U, \mathcal{F}''_ n)$ and $H^1(U, \mathcal{F}''_ n)$ are finite $A$-modules for all $n$ by Local Cohomology, Lemma 51.12.1.

Observe that for each $p \geq 0$ the limit topology on $\mathop{\mathrm{lim}}\nolimits H^ p(U, \mathcal{F}_ n)$ is the $I$-adic topology by Lemma 52.4.5. In particular, hypothesis (b) holds.

We know that $M = \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}_ n)$ is an $A$-module whose limit topology is the $I$-adic topology. Thus, given $n$, the module $M/I^ nM$ is a subquotient of $H^0(U, \mathcal{F}_ N)$ for some $N \gg n$. Since the inverse system $\{ H^0(U, \mathcal{F}_ N)\}$ is pro-isomorphic to an inverse system of finite $A$-modules, namely $\{ H^0(U, \mathcal{F}''_ N)\}$, we conclude that $M/I^ nM$ is finite. It follows that $M$ is finite, see Algebra, Lemma 10.96.12. In particular hypothesis (c) holds.

For each $n \geq 0$ let us write $Ob_ n = \mathop{\mathrm{lim}}\nolimits _ N H^1(U, I^ n\mathcal{F}_ N)$. A special case is $Ob = Ob_0 = \mathop{\mathrm{lim}}\nolimits _ N H^1(U, \mathcal{F}_ N)$. Arguing exactly as in the previous paragraph we find that $Ob$ is a finite $A$-module. (In fact, we also know that $Ob/I Ob$ is annihilated by a power of $\mathfrak a$, but it seems somewhat difficult to use this.)

We set $\mathcal{F} = \mathop{\mathrm{lim}}\nolimits \mathcal{F}_ n$, we pick generators $f_1, \ldots , f_ r$ of $I$, we pick $c \geq 1$, and we choose $\Phi _\mathcal {F}$ as in Lemma 52.4.4. We will use the results of Lemma 52.2.1 without further mention. In particular, for each $n \geq 1$ there are maps

$\delta _ n : H^0(U, \mathcal{F}_ n) \longrightarrow H^1(U, I^ n\mathcal{F}) \longrightarrow Ob_ n$

The first comes from the short exact sequence $0 \to I^ n\mathcal{F} \to \mathcal{F} \to \mathcal{F}_ n \to 0$ and the second from $I^ n\mathcal{F} = \mathop{\mathrm{lim}}\nolimits I^ n\mathcal{F}_ N$. We will later use that if $\delta _ n(s) = 0$ for $s \in H^0(U, \mathcal{F}_ n)$ then we can for each $n' \geq n$ find $s' \in H^0(U, \mathcal{F}_{n'})$ mapping to $s$. Observe that there are commutative diagrams

$\xymatrix{ H^0(U, \mathcal{F}_{nc}) \ar[r] \ar[dd] & H^1(U, I^{nc}\mathcal{F}) \ar[dd] \ar[rd]^{\Phi _\mathcal {F}} \\ & & \bigoplus _{e_1 + \ldots + e_ r = n} H^1(U, \mathcal{F}) \cdot T_1^{e_1} \ldots T_ r^{e_ r} \ar[ld] \\ H^0(U, \mathcal{F}_ n) \ar[r] & H^1(U, I^ n\mathcal{F}) }$

We conclude that the obstruction map $H^0(U, \mathcal{F}_ n) \to Ob_ n$ sends the image of $H^0(U, \mathcal{F}_{nc}) \to H^0(U, \mathcal{F}_ n)$ into the submodule

$Ob'_ n = \mathop{\mathrm{Im}}\left( \bigoplus \nolimits _{e_1 + \ldots + e_ r = n} Ob \cdot T_1^{e_1} \ldots T_ r^{e_ r} \to Ob_ n \right)$

where on the summand $Ob \cdot T_1^{e_1} \ldots T_ r^{e_ r}$ we use the map on cohomology coming from the reductions modulo powers of $I$ of the multiplication map $f_1^{e_1} \ldots f_ r^{e_ r} : \mathcal{F} \to I^ n\mathcal{F}$. By construction

$\bigoplus \nolimits _{n \geq 0} Ob'_ n$

is a finite graded module over the Rees algebra $\bigoplus _{n \geq 0} I^ n$. For each $n$ we set

$M_ n = \{ s \in H^0(U, \mathcal{F}_ n) \mid \delta _ n(s) \in Ob'_ n\}$

Observe that $\{ M_ n\}$ is an inverse system and that $f_ j : \mathcal{F}_ n \to \mathcal{F}_{n + 1}$ on global sections maps $M_ n$ into $M_{n + 1}$. By exactly the same argument as in the proof of Cohomology, Lemma 20.35.1 we find that $\{ M_ n\}$ is ML. Namely, because the Rees algebra is Noetherian we can choose a finite number of homogeneous generators of the form $\delta _{n_ j}(z_ j)$ with $z_ j \in M_{n_ j}$ for the graded submodule $\bigoplus _{n \geq 0} \mathop{\mathrm{Im}}(M_ n \to Ob'_ n)$. Then if $k = \max (n_ j)$ we find that for $n \geq k$ and any $z \in M_ n$ we can find $a_ j \in I^{n - n_ j}$ such that $z - \sum a_ j z_ j$ is in the kernel of $\delta _ n$ and hence in the image of $M_{n'}$ for all $n' \geq n$ (because the vanishing of $\delta _ n$ means that we can lift $z - \sum a_ j z_ j$ to an element $z' \in H^0(U, \mathcal{F}_{n'c})$ for all $n' \ge n$ and then the image of $z'$ in $H^0(U, \mathcal{F}_{n'})$ is in $M_{n'}$ by what we proved above). Thus $\mathop{\mathrm{Im}}(M_ n \to M_{n - k}) = \mathop{\mathrm{Im}}(M_{n'} \to M_{n - k})$ for all $n' \geq n$.

Choose $n$. By the Mittag-Leffler property of $\{ M_ n\}$ we just established we can find an $n' \geq n$ such that the image of $M_{n'} \to M_ n$ is the same as the image of $M' \to M_ n$. By the above we see that the image of $M' \to M_ n$ contains the image of $H^0(U, \mathcal{F}_{n'c}) \to H^0(U, \mathcal{F}_ n)$. Thus we see that $\{ M_ n\}$ and $\{ H^0(U, \mathcal{F}_ n)\}$ are pro-isomorphic. Therefore $\{ H^0(U, \mathcal{F}_ n)\}$ has ML and we finally conclude that hypothesis (a) holds. This concludes the proof. $\square$

Proposition 52.22.2 (Algebraization in cohomological dimension 1). In Situation 52.16.1 let $(\mathcal{F}_ n)$ be an object of $\textit{Coh}(U, I\mathcal{O}_ U)$. Assume

1. $A$ has a dualizing complex and $\text{cd}(A, I) = 1$,

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

Then $(\mathcal{F}_ n)$ extends to $X$. In particular, if $A$ is $I$-adically complete, then $(\mathcal{F}_ n)$ is the completion of a coherent $\mathcal{O}_ U$-module.

Proof. By Lemma 52.17.1 we may replace $(\mathcal{F}_ n)$ by the object $(\mathcal{H}_ n)$ of $\textit{Coh}(U, I\mathcal{O}_ U)$ found in Lemma 52.21.3. Thus we may assume that $(\mathcal{F}_ n)$ is pro-isomorphic to a inverse system $(\mathcal{F}_ n'')$ with the properties mentioned in Lemma 52.21.3. In Lemma 52.22.1 we proved that $(\mathcal{F}_ n)$ canonically extends to $X$. The final statement follows from Lemma 52.16.8. $\square$

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

1. $A$ has a dualizing complex,

2. all fibres of the blowing up $b : X' \to X$ of $I$ have dimension $\leq d - 1$,

3. one of the following is true

1. $(\mathcal{F}_ n)$ satisfies the $(d + 1, d + 2)$-inequalities (Definition 52.19.1), or

2. 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) + \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) + \delta ^ Y_ Z(y) > d + 2$

Then $(\mathcal{F}_ n)$ extends to $X$.

Proof. Let $Y' \subset X'$ be the exceptional divisor. Let $Z' \subset Y'$ be the inverse image of $Z \subset Y$. Then $U' = X' \setminus Z'$ is the inverse image of $U$. With $\delta ^{Y'}_{Z'}$ as in (52.18.0.1) we set

$T' = \{ y' \in Y' \mid \delta ^{Y'}_{Z'}(y') = 1\text{ or }2\} \subset T = \{ y' \in Y' \mid \delta ^{Y'}_{Z'}(y') = 1\}$

These are specialization stable subsets of $U' \cap Y' = Y' \setminus Z'$. Consider the object $(b|_{U'}^*\mathcal{F}_ n)$ of $\textit{Coh}(U', I\mathcal{O}_{U'})$, see Cohomology of Schemes, Lemma 30.23.9. For $y' \in U' \cap Y'$ let us denote

$\mathcal{F}_{y'}^\wedge = \mathop{\mathrm{lim}}\nolimits (b|_{U'}^*\mathcal{F}_ n)_{y'}$

the “stalk” of this pullback at $y'$. We claim that conditions (a), (b), (c), (d), and (e) of Lemma 52.21.2 hold for the object $(b|_{U'}^*\mathcal{F}_ n)$ on $U'$ with $d$ replaced by $1$ and the subsets $T' \subset T \subset U' \cap Y'$. Condition (a) holds because $Y'$ is an effective Cartier divisor and hence locally cut out by $1$ equation. Condition (e) holds by Lemma 52.18.1 parts (1) and (2). To prove (b), (c), and (d) we need some preparation.

Let $y' \in U' \cap Y'$ and let $\mathfrak p' \subset \mathcal{O}_{X', y'}^\wedge$ be a prime ideal not contained in $V(I\mathcal{O}_{X', y'}^\wedge )$. Denote $y = b(y') \in U \cap Y$. Choose $f \in I$ such that $y'$ is contained in the spectrum of the affine blowup algebra $A[\frac{I}{f}]$, see Divisors, Lemma 31.32.2. For any $A$-algebra $B$ denote $B' = B[\frac{IB}{f}]$ the corresponding affine blowup algebra. Denote $I$-adic completion by ${\ }^\wedge$. By our choice of $f$ we get a ring map $(\mathcal{O}_{X, y}^\wedge )' \to \mathcal{O}_{X', y'}^\wedge$. If we let $\mathfrak q' \subset (\mathcal{O}_{X, y}^\wedge )'$ be the inverse image of $\mathfrak m_{y'}^\wedge$, then we see that $((\mathcal{O}_{X, y}^\wedge )'_{\mathfrak q'})^\wedge = \mathcal{O}_{X', y'}^\wedge$. Let $\mathfrak p \subset \mathcal{O}_{X, y}^\wedge$ be the corresponding prime. At this point we have a commutative diagram

$\xymatrix{ \mathcal{O}_{X, y}^\wedge \ar[d] \ar[r] & (\mathcal{O}_{X, y}^\wedge )' \ar[d]_\alpha \ar[r] & (\mathcal{O}_{X, y}^\wedge )'_{\mathfrak q'} \ar[d] \ar[r]_\beta & \mathcal{O}_{X', y'}^\wedge \ar[d] \\ \mathcal{O}_{X, y}^\wedge /\mathfrak p \ar[r] & (\mathcal{O}_{X, y}^\wedge /\mathfrak p)' \ar[r] & (\mathcal{O}_{X, y}^\wedge /\mathfrak p)'_{\mathfrak q'} \ar[r]^\gamma & ((\mathcal{O}_{X, y}^\wedge /\mathfrak p)'_{\mathfrak q'})^\wedge \ar[d] \\ & & & \mathcal{O}_{X', y'}^\wedge /\mathfrak p' }$

whose vertical arrows are surjective. By More on Algebra, Lemma 15.43.1 and the dimension formula (Algebra, Lemma 10.113.1) we have

$\dim (((\mathcal{O}_{X, y}^\wedge /\mathfrak p)'_{\mathfrak q'})^\wedge ) = \dim ((\mathcal{O}_{X, y}^\wedge /\mathfrak p)'_{\mathfrak q'}) = \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) - \text{trdeg}(\kappa (y')/\kappa (y))$

Tracing through the definitions of pullbacks, stalks, localizations, and completions we find

$(\mathcal{F}_ y^\wedge )_{\mathfrak p} \otimes _{(\mathcal{O}_{X, y}^\wedge )_\mathfrak p} (\mathcal{O}_{X', y'}^\wedge )_{\mathfrak p'} = (\mathcal{F}_{y'}^\wedge )_{\mathfrak p'}$

Details omitted. The ring maps $\beta$ and $\gamma$ in the diagram are flat with Gorenstein (hence Cohen-Macaulay) fibres, as these are completions of rings having a dualizing complex. See Dualizing Complexes, Lemmas 47.23.1 and 47.23.2 and the discussion in More on Algebra, Section 15.51. Observe that $(\mathcal{O}_{X, y}^\wedge )_\mathfrak p = (\mathcal{O}_{X, y}^\wedge )'_{\tilde{\mathfrak p}}$ where $\tilde{\mathfrak p}$ is the kernel of $\alpha$ in the diagram. On the other hand, $(\mathcal{O}_{X, y}^\wedge )'_{\tilde{\mathfrak p}} \to (\mathcal{O}_{X', y'}^\wedge )_{\mathfrak p'}$ is flat with CM fibres by the above. Whence $(\mathcal{O}_{X, y}^\wedge )_\mathfrak p \to (\mathcal{O}_{X', y'}^\wedge )_{\mathfrak p'}$ is flat with CM fibres. Using Algebra, Lemma 10.163.1 we see that

$\text{depth}((\mathcal{F}_{y'}^\wedge )_{\mathfrak p'}) = \text{depth}((\mathcal{F}_ y^\wedge )_{\mathfrak p}) + \dim (F_\mathfrak r)$

where $F$ is the generic formal fibre of $(\mathcal{O}_{X, y}^\wedge /\mathfrak p)'_{\mathfrak q'}$ and $\mathfrak r$ is the prime corresponding to $\mathfrak p'$. Since $(\mathcal{O}_{X, y}^\wedge /\mathfrak p)'_{\mathfrak q'}$ is a universally catenary local domain, its $I$-adic completion is equidimensional and (universally) catenary by Ratliff's theorem (More on Algebra, Proposition 15.109.5). It then follows that

$\dim (((\mathcal{O}_{X, y}^\wedge /\mathfrak p)'_{\mathfrak q'})^\wedge ) = \dim (F_\mathfrak r) + \dim (\mathcal{O}_{X', y'}^\wedge /\mathfrak p')$

Combined with Lemma 52.18.2 we get

52.22.3.1
\label{algebraization-equation-one} \begin{aligned} & \text{depth}((\mathcal{F}_{y'}^\wedge )_{\mathfrak p'}) + \delta ^{Y'}_{Z'}(y') \\ & = \text{depth}((\mathcal{F}_ y^\wedge )_{\mathfrak p}) + \dim (F_\mathfrak r) + \delta ^{Y'}_{Z'}(y') \\ & \geq \text{depth}((\mathcal{F}_ y^\wedge )_{\mathfrak p}) + \delta ^ Y_ Z(y) + \dim (F_\mathfrak r) + \text{trdeg}(\kappa (y')/\kappa (y)) - (d - 1) \\ & = \text{depth}((\mathcal{F}_ y^\wedge )_{\mathfrak p}) + \delta ^ Y_ Z(y) - (d - 1) + \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) - \dim (\mathcal{O}_{X', y'}^\wedge /\mathfrak p') \end{aligned}

Please keep in mind that $\dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) \geq \dim (\mathcal{O}_{X', y'}^\wedge /\mathfrak p')$. Rewriting this we get

52.22.3.6
\label{algebraization-equation-two} \begin{aligned} & \text{depth}((\mathcal{F}_{y'}^\wedge )_{\mathfrak p'}) + \dim (\mathcal{O}_{X', y'}^\wedge /\mathfrak p') + \delta ^{Y'}_{Z'}(y') \\ & \geq \text{depth}((\mathcal{F}_ y^\wedge )_{\mathfrak p}) + \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) + \delta ^ Y_ Z(y) - (d - 1) \end{aligned}

This inequality will allow us to check the remaining conditions.

Conditions (b) and (d) of Lemma 52.21.2. Assume $V(\mathfrak p') \cap V(I\mathcal{O}_{X', y'}^\wedge ) = \{ \mathfrak m_{y'}^\wedge \}$. This implies that $\dim (\mathcal{O}_{X', y'}^\wedge /\mathfrak p') = 1$ because $Z'$ is an effective Cartier divisor. The combination of (b) and (d) is equivalent with

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

If $(\mathcal{F}_ n)$ satisfies the inequalities in (3)(b) then we immediately conclude this is true by applying (52.22.3.6). If $(\mathcal{F}_ n)$ satisfies (3)(a), i.e., the $(d + 1, d + 2)$-inequalities, then we see that in any case

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

Looking at (52.22.3.1) and (52.22.3.6) above this gives what we want except possibly if $\dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) = 1$. However, if $\dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) = 1$, then we have $V(\mathfrak p) \cap V(I\mathcal{O}_{X, y}^\wedge ) = \{ \mathfrak m_ y^\wedge \}$ and we see that actually

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

as $(\mathcal{F}_ n)$ satisfies the $(d + 1, d + 2)$-inequalities and we conclude again.

Condition (c) of Lemma 52.21.2. Assume $V(\mathfrak p') \cap V(I\mathcal{O}_{X', y'}^\wedge ) \not= \{ \mathfrak m_{y'}^\wedge \}$. Then condition (c) is equivalent to

$\text{depth}((\mathcal{F}_{y'}^\wedge )_{\mathfrak p'}) + \delta ^{Y'}_{Z'}(y') \geq 2 \quad \text{or}\quad \text{depth}((\mathcal{F}_{y'}^\wedge )_{\mathfrak p'}) + \dim (\mathcal{O}_{X', y'}^\wedge /\mathfrak p') + \delta ^{Y'}_{Z'}(y') > 3$

If $(\mathcal{F}_ n)$ satisfies the inequalities in (3)(b) then we see the second of the two displayed inequalities holds true by applying (52.22.3.6). If $(\mathcal{F}_ n)$ satisfies (3)(a), i.e., the $(d + 1, d + 2)$-inequalities, then this follows immediately from (52.22.3.1) and (52.22.3.6). This finishes the proof of our claim.

Choose $(b|_{U'}^*\mathcal{F}_ n) \to (\mathcal{F}_ n'')$ and $(\mathcal{H}_ n)$ in $\textit{Coh}(U', I\mathcal{O}_{U'})$ as in Lemma 52.21.2. For any affine open $W \subset X'$ observe that $\delta ^{W \cap Y'}_{W \cap Z'}(y') \geq \delta ^{Y'}_{Z'}(y')$ by Lemma 52.18.1 part (7). Hence we see that $(\mathcal{H}_ n|_ W)$ satisfies the assumptions of Lemma 52.22.1. Thus $(\mathcal{H}_ n|_ W)$ extends canonically to $W$. Let $(\mathcal{G}_{W, n})$ in $\textit{Coh}(W, I\mathcal{O}_ W)$ be the canonical extension as in Lemma 52.16.8. By Lemma 52.16.9 we see that for $W' \subset W$ there is a unique isomorphism

$(\mathcal{G}_{W, n}|_{W'}) \longrightarrow (\mathcal{G}_{W', n})$

compatible with the given isomorphisms $(\mathcal{G}_{W, n}|_{W \cap U}) \cong (\mathcal{H}_ n|_{W \cap U})$. We conclude that there exists an object $(\mathcal{G}_ n)$ of $\textit{Coh}(X', I\mathcal{O}_{X'})$ whose restriction to $U$ is isomorphic to $(\mathcal{H}_ n)$.

If $A$ is $I$-adically complete we can finish the proof as follows. By Grothedieck's existence theorem (Cohomology of Schemes, Lemma 30.24.3) we see that $(\mathcal{G}_ n)$ is the completion of a coherent $\mathcal{O}_{X'}$-module. Then by Cohomology of Schemes, Lemma 30.23.6 we see that $(b|_{U'}^*\mathcal{F}_ n)$ is the completion of a coherent $\mathcal{O}_{U'}$-module $\mathcal{F}'$. By Cohomology of Schemes, Lemma 30.25.3 we see that there is a map

$(\mathcal{F}_ n) \longrightarrow ((b|_{U'})_*\mathcal{F}')^\wedge$

whose kernel and cokernel is annihilated by a power of $I$. Then finally, we win by applying Lemma 52.17.1.

If $A$ is not complete, then, before starting the proof, we may replace $A$ by its completion, see Lemma 52.16.6. After completion the assumptions still hold: this is immediate for condition (3), follows from Dualizing Complexes, Lemma 47.22.4 for condition (1), and from Divisors, Lemma 31.32.3 for condition (2). Thus the complete case implies the general case. $\square$

Proposition 52.22.4 (Algebraization for ideals with few generators). In Situation 52.16.1 let $(\mathcal{F}_ n)$ be an object of $\textit{Coh}(U, I\mathcal{O}_ U)$. Assume

1. $A$ has a dualizing complex,

2. $V(I) = V(f_1, \ldots , f_ d)$ for some $d \geq 1$ and $f_1, \ldots , f_ d \in A$,

3. one of the following is true

1. $(\mathcal{F}_ n)$ satisfies the $(d + 1, d + 2)$-inequalities (Definition 52.19.1), or

2. 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) + \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) + \delta ^ Y_ Z(y) > d + 2$

Then $(\mathcal{F}_ n)$ extends to $X$. In particular, if $A$ is $I$-adically complete, then $(\mathcal{F}_ n)$ is the completion of a coherent $\mathcal{O}_ U$-module.

Proof. We may assume $I = (f_1, \ldots , f_ d)$, see Cohomology of Schemes, Lemma 30.23.11. Then we see that all fibres of the blowup of $X$ in $I$ have dimension at most $d - 1$. Thus we get the extension from Lemma 52.22.3. The final statement follows from Lemma 52.16.3. $\square$

Please compare the next lemma with Remarks 52.16.12, 52.20.2, 52.20.7, and 52.23.2.

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

1. $A$ is a local ring which has a dualizing complex,

2. all irreducible components of $X$ have the same dimension,

3. the scheme $X \setminus Y$ is Cohen-Macaulay,

4. $I$ is generated by $d$ elements,

5. $\dim (X) - \dim (Z) > d + 2$, and

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

Then $(\mathcal{F}_ n)$ extends to $X$. In particular if $A$ is $I$-adically complete, then $(\mathcal{F}_ n)$ is the completion of a coherent $\mathcal{O}_ U$-module.

Proof. We will show that the hypotheses (1), (2), (3)(b) of Proposition 52.22.4 are satisfied. This is clear for (1) and (2).

Let $y \in U \cap Y$ 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 )$. The last condition shows that $\text{depth}((\mathcal{F}_ y^\wedge )_\mathfrak p) = \text{depth}((\mathcal{O}_{X, y}^\wedge )_\mathfrak p)$. Since $X \setminus Y$ is Cohen-Macaulay we see that $(\mathcal{O}_{X, y}^\wedge )_\mathfrak p$ is Cohen-Macaulay. Thus we see that

\begin{align*} & \text{depth}((\mathcal{F}^\wedge _ y)_\mathfrak p) + \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) + \delta ^ Y_ Z(y) \\ & = \dim ((\mathcal{O}_{X, y}^\wedge )_\mathfrak p) + \dim (\mathcal{O}_{X, y}^\wedge /\mathfrak p) + \delta ^ Y_ Z(y) \\ & = \dim (\mathcal{O}_{X, y}^\wedge ) + \delta ^ Y_ Z(y) \end{align*}

The final equality because $\mathcal{O}_{X, y}$ is equidimensional by the second condition. Let $\delta (y) = \dim (\overline{\{ y\} })$. This is a dimension function as $A$ is a catenary local ring. By Lemma 52.18.1 we have $\delta ^ Y_ Z(y) \geq \delta (y) - \dim (Z)$. Since $X$ is equidimensional we get

$\dim (\mathcal{O}_{X, y}^\wedge ) + \delta ^ Y_ Z(y) \geq \dim (\mathcal{O}_{X, y}^\wedge ) + \delta (y) - \dim (Z) = \dim (X) - \dim (Z)$

Thus we get the desired inequality and we win. $\square$

Remark 52.22.6. We are unable to prove or disprove the analogue of Proposition 52.22.4 where the assumption that $I$ has $d$ generators is replaced with the assumption $\text{cd}(A, I) \leq d$. If you know a proof or have a counter example, please email stacks.project@gmail.com. Another obvious question is to what extend the conditions in Proposition 52.22.4 are necessary.

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