Proposition 2.5.3. [04P4]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proposition 2.5.3.

The morphism of formal $R$ -schemes $f:\widehat{\mathscr{X}_{/Z}}\longrightarrow\widehat{\mathscr{N}_{/Z}}$ obtained by gluing the morphisms $f_{\sigma}$ is an isomorphism.