Skip to main content
4 of 4
replaced http://mathoverflow.net/ with https://mathoverflow.net/

Accumulation of algebraic subvarieties: Near one subvariety there are many others (?), 3

Part 3 of this series of questions. In the meantime, I realized that there is some very simple question that was left open in Accumulation of algebraic subvarieties: Near one subvariety there are many others (?) .

Let's work again over the field $\mathbb{C}$ of complex numbers, and let $X\subset \mathbb{P}^n$ be a projective variety. Let $\tilde{X}\subset \mathbb{P}^n$ be any small open neighborhood of $X$, in the complex topology.

Question: Assume that $X$ is locally a (set-theoretic) complete intersection. Does there exist a smooth projective subvariety of $\mathbb{P}^n$ contained in $\tilde{X}$ of dimension equal to the dimension of $X$?

Any ideas are welcome, also for the similar question over characteristic $p$ fields, i.e. working over a field like the completed algebraic closure of $\mathbb{F}_p((t))$, and taking a small neighborhood in the $t$-adic topology. Changing to such fields might have the advantage that bend-and-break type techniques become available, but I do not see how to make use of them.

Peter Scholze
  • 21.3k
  • 4
  • 104
  • 122