MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is it true that any family of K3 surfaces over $\mathbb{C}$ whose Picard number is constant is isotrivial? Here isotrivial means locally analytically trivial.

Speculation: Let $\mathcal{M}$ be the moduli space of K3 surfaces over $\mathbb{C}$. It is known that for any point $[S]\in \mathcal{M}$ its open neighborhood $U$ contains a K3 surface $[T]$ such that $Pic(S)>Pic(T)$ and such points are dense. So basically I am asking whether I can take a family avoiding these points or not.

Thank you in advance.

share|cite|improve this question
You can take arbitrary family and remove the points where the Picard number jumps. – Sasha Nov 22 '12 at 10:24

The answer to your question is yes. This is proven in a paper by Oguiso.

There is a slightly more general criterion for the density of Hodge loci which appears for instance in this survey of Voisin (section 3.2)

and is attributed to Mark Green.

share|cite|improve this answer

I think the answer to your question is yes:

Edit: As Sasha points out, this is only for compact families.

share|cite|improve this answer
Isn't it about compact families only? – Sasha Nov 22 '12 at 10:23
Sorry, yes I was assuming that was what was wanted! – Jonny Evans Nov 22 '12 at 12:18
The result holds more generally even if the base isn't compact; by a result of green, the jumping locus is analytically dense so you can't just remove the points. – PRL Nov 22 '12 at 13:01
Sorry - edited to reflect comments. – Jonny Evans Nov 22 '12 at 16:21

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.