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.

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