According to this post. In the affine case the formal completion of $A$ along an ideal $I$ coincides with the formal is isomorphic to the completion of the normal bundle along its zero section. I was wondering can something like this happen in non-affine case (projective varieties), where let's say the closed subvariety is some ample divisor? (I'd appreciate any interesting examples if it is possible) List of questions:
- Does any smooth proejctive variety $X$ admit a smooth ample divisor $Y$ such that completion of $X$ along $Y$ coincides with the completion of normal bundle of $Y$ along its zero section?
- If not what interesting examples are there that are not trivial (for example when both $X$ and $Y$ are projective spaces.)
As mentioned in the comment section here a necessary and sufficient.