Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $\pi:\mathcal{X} \to B$ be a family (flat, projective, surjective morphism) of projective curves (not necessarily reduced) where $B$ is smooth, irreducible. Suppose that for some closed point $b_0 \in B$, $\pi^{-1}(b_0)=\mathcal{X}_{b_0}$ can be embedded into $\mathbb{P}^n$ for some integer $n$. Does there exist an open neighbourhood $U \subset B$ containing $b_0$ such that for all $b \in U$, $\pi^{-1}(b)$ can be embedded into $\mathbb{P}^n$ for the same integer $n$?

share|improve this question

1 Answer 1

up vote 12 down vote accepted

No, that is not true. I am sure that somebody else has answered this on MO before. I guess the simplest example is a family of genus 6 curves, where some fibers are embeddable as plane quintics. If memory serves, the canonical image of a general genus 6 curve (non-hyperelliptic) is the intersection of a Pfaffian quintic del Pezzo surface and a quadric hypersurface in $\mathbb{P}^5$. So there is an "explicit" irreducible family of genus 6 curves dominating the moduli space $\mathcal{M}_6$.

Of course $\mathcal{M}_6$ has dimension $3(6)-3 = 15$. By parameter counts, the dimension of the moduli space of plane quintics is $$\text{dim}H^0(\mathbb{P}^2,\mathcal{O}(5)) - \text{dim}\textbf{GL}_3 = 21 - 9 = 12.$$ Since $12<15$, a typical genus 6 curve is not isomorphic to a plane quintic. (In terms of the canonical embedding, the condition is that the curve is contained in a Veronese surface in $\mathbb{P}^5$.)

share|improve this answer

Your Answer

 
discard

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.