Skip to main content
5 of 5
added 27 characters in body
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99

When is a formal deformation convergent?

Let $X$ be a finite type scheme over $\mathbb{C}$ and let $ \mathcal{X} \to Spf(\mathbb{C}[[x]])$ be a formal deformation of $X$. Which of the following assumptions (or combinations thereof) are sufficient to imply that this deformation is convergent? (i.e. that it comes from some flat analytic family $\tilde{\mathcal{X}} \to \mathcal{D}$ - where $\mathcal{D}$ means a closed analytic disk of some non-zero radius).

  1. $X$ quasi-projective.

  2. $X$ proper.

  3. $X$ projective (equivalently, both (1) and (2)).

  4. $X$ affine.

  5. $X$ smooth.

Are there simple (preferably low dimensional) counter examples to convergence of formal defomrations?

Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99