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.
Post a comment
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.