Remark 15.88.20. Given a differential manifold $X$ with a compact closed submanifold $Z$ having complement $U$, specifying a sheaf on $X$ is the same as specifying a sheaf on $U$, a sheaf on an unspecified tubular neighbourhood $T$ of $Z$ in $X$, and an isomorphism between the two resulting sheaves along $T \cap U$. Tubular neighbourhoods do not exist in algebraic geometry as such, but results such as Proposition 15.88.15, Theorem 15.88.17, and Proposition 15.88.18 allow us to work with formal neighbourhoods instead.

There are also:

• 2 comment(s) on Section 15.88: Formal glueing of module categories

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