Skip to main content
3 of 4
edited body
Jana
  • 2k
  • 12
  • 17

For a better understanding of infinitesimal deformation of projective varieties

Let $X$ be a smooth complex projective variety. Suppose $X \hookrightarrow \mathbb{P}^n$. Let $Z$ be a closed (reduced) subscheme of $X$. Let $X'$ be an infinitesimal deformation of $X$ corresponding to a global section $s \in H^0(\mathcal{N}_{X|\mathbb{P}^n})$. By this we mean that there exists a flat morphism $f:X' \to \mathbb{C}[t]/(t^2)$ such that $X \cong X' \times_{\mathbb{C}[t]/(t^2)} \mathbb{C}$. Denote by $i:X \to X'$ the natural morphism arising from the definition of infinitesimal deformation of $X$. Suppose that the image of $s$ in $(\mathcal{N}_{X|\mathbb{P}^n})|_Z$ is equal to zero. Does this imply that there exists an open set $U \subset X'$ containing $i(Z)$ such that $U$ is isomorphic to $i^{-1}(U) \times \mathbb{C}[t]/(t^2)$ i.e, $s$ induces a trivial deformation on an open neighbourhood containing $Z$?

Jana
  • 2k
  • 12
  • 17