Skip to main content
Notice removed Draw attention by Saal Hardali
Bounty Ended with Piotr Achinger's answer chosen by Saal Hardali
added 27 characters in body
Source Link
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99

Let $X$ be a finite type scheme over $\mathbb{C}$ and let $ \mathcal{X} \to Spec(\mathbb{C}[[x]])$$ \mathcal{X} \to Spf(\mathbb{C}[[x]])$ be a formal deformation of $X$ (flat family with special fiber $X$). Which of the following assumptions (or combinations thereof) are sufficient to imply that this deformation is convergent? (i.e. that it is the pullback ofcomes from some flat analytic family $\tilde{\mathcal{X}} \to Spec(\mathbb{C}\{x\})$$\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?

Let $X$ be a finite type scheme over $\mathbb{C}$ and let $ \mathcal{X} \to Spec(\mathbb{C}[[x]])$ be a formal deformation of $X$ (flat family with special fiber $X$). Which of the following assumptions (or combinations thereof) are sufficient to imply that this deformation is convergent? (i.e. that it is the pullback of some flat analytic family $\tilde{\mathcal{X}} \to Spec(\mathbb{C}\{x\})$).

  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?

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?

added 1 character in body
Source Link
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99

Let $X$ be a finite type scheme over $\mathbb{C}$ and let $ \mathcal{X} \to Spec(\mathbb{C}[[x]])$ be a formal deformation of $X$ (flat family with special fiber $X$). Which of the following assumptions (or combinations thereof) are sufficient to imply that this deformation is convergent? (i.e. that it is the pullback of some flat finite type analytic spacefamily $\tilde{\mathcal{X}} \to Spec(\mathbb{C}\{x\})$).

  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?

Let $X$ be a finite type scheme over $\mathbb{C}$ and let $ \mathcal{X} \to Spec(\mathbb{C}[[x]])$ be a formal deformation of $X$ (flat family with special fiber $X$). Which of the following assumptions (or combinations thereof) are sufficient to imply that this deformation is convergent? (i.e. that it is the pullback of some flat finite type analytic space $\tilde{\mathcal{X}} \to Spec(\mathbb{C}\{x\})$).

  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?

Let $X$ be a finite type scheme over $\mathbb{C}$ and let $ \mathcal{X} \to Spec(\mathbb{C}[[x]])$ be a formal deformation of $X$ (flat family with special fiber $X$). Which of the following assumptions (or combinations thereof) are sufficient to imply that this deformation is convergent? (i.e. that it is the pullback of some flat analytic family $\tilde{\mathcal{X}} \to Spec(\mathbb{C}\{x\})$).

  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?

Notice added Draw attention by Saal Hardali
Bounty Started worth 100 reputation by Saal Hardali
edited title
Source Link
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99

When is an unobstructeda formal deformation convergent?

Let $X$ be a smooth finite type scheme over $\mathbb{C}$ and let $ \mathcal{X} \to Spec(\mathbb{C}[[x]])$ be a formal deformation of $X$ (flat family with special fiber $X$). Which of the following assumptions (or combinations thereof) are sufficient to imply that this deformation is convergent? (i.e. that it is pulled back fromthe pullback of some familyflat finite type analytic space $\tilde{\mathcal{X}} \to Spec(\mathbb{C}\{x\})$).

  1. $X$ quasi-projective.

  2. $X$ proper.

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

  4. $X$ affine.

  5. $X$ smooth.

Suppose we drop the condition that $X$ is smooth but instead require it to be (affine/proper/quasi-projective) areAre there simple (preferably low dimensional) counter examples to convergence of formal defomrations?

When is an unobstructed formal deformation convergent?

Let $X$ be a smooth finite type scheme over $\mathbb{C}$ and let $ \mathcal{X} \to Spec(\mathbb{C}[[x]])$ be a formal deformation of $X$ (flat family with special fiber $X$). Which of the following assumptions (or combinations thereof) are sufficient to imply that this deformation is convergent? (i.e. that it is pulled back from some family $\tilde{\mathcal{X}} \to Spec(\mathbb{C}\{x\})$).

  1. $X$ quasi-projective.

  2. $X$ proper.

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

  4. $X$ affine.

Suppose we drop the condition that $X$ is smooth but instead require it to be (affine/proper/quasi-projective) are there simple (preferably low dimensional) counter examples to convergence of formal defomrations?

When is a formal deformation convergent?

Let $X$ be a finite type scheme over $\mathbb{C}$ and let $ \mathcal{X} \to Spec(\mathbb{C}[[x]])$ be a formal deformation of $X$ (flat family with special fiber $X$). Which of the following assumptions (or combinations thereof) are sufficient to imply that this deformation is convergent? (i.e. that it is the pullback of some flat finite type analytic space $\tilde{\mathcal{X}} \to Spec(\mathbb{C}\{x\})$).

  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?

added 36 characters in body
Source Link
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99
Loading
Source Link
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99
Loading