The Stacks project

Remark 52.20.2. Let $(A, \mathfrak m)$ be a complete Noetherian normal local domain of dimension $\geq 4$ and let $f \in \mathfrak m$ be nonzero. Then assumptions (1), (2), (3), (5), and (6) of Lemma 52.20.1 are satisfied. Thus vectorbundles on the formal completion of $U$ along $U \cap V(f)$ can be algebraized. In Lemma 52.20.4 we will generalize this to more general coherent formal modules; please also compare with Remark 52.20.7.