General degree $d$ surface in $\mathbb{P}^3$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T01:45:01Z http://mathoverflow.net/feeds/question/103966 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/103966/general-degree-d-surface-in-mathbbp3 General degree $d$ surface in $\mathbb{P}^3$ Naga Venkata 2012-08-04T18:04:19Z 2012-08-05T00:02:45Z <p>Let $H_{d_1,g_1}, H_{d_2,g_2}$ be two Hilbert schemes of curves in $\mathbb{P}^3$ with degrees $d_1, d_2$ and genus $g_1, g_2$. Denote by $H:=H_{d_1,g_1}\times H_{d_2,g_2}$ where an element in $H$ is a pair of curves $(C_1, C_2)$ with $C_i \in H_{d_i,g_i}$.</p> <p>As far as I understand, a generic element of $H$ consists of pairs $(C_1,C_2)$ such that $C_1 \cap C_2 = \emptyset$.</p> <p>Assume now that $g_i \not=\frac{1}{2}(d-1)(d-2)$ i.e., the Hilbert scheme do not parametrize plane curves. My question is whether we can say something similar for a degree $d$ surface in $\mathbb{P}^3$. More precisely, for a fixed $d \ge 5$, we denote by $H'$ the space parametrizing the family of all smooth degree $d$ surfaces $X$ in $\mathbb{P}^3$ such that $X$ contains at least one pair of curves $(C_1, C_2) \in H$. Then can we say that a general $X$ in $H'$ contains a non-intersection pair of curves $(C_1, C_2) \in H$. This is equivalent to saying that the dimension of an irreducible component of $H'$ is maximal (among the components of $H'$) if it parametrizes surfaces containing $(C_1, C_2) \in H$ with $C_1 \cap C_2 = \emptyset$. </p> <p>Note that we need to assume $C_i$ are not plane curves because as far as I recall it gives a counter-example to the statement.</p> http://mathoverflow.net/questions/103966/general-degree-d-surface-in-mathbbp3/103978#103978 Answer by Will Sawin for General degree $d$ surface in $\mathbb{P}^3$ Will Sawin 2012-08-04T21:44:12Z 2012-08-04T21:44:12Z <p>We can choose $d_1,g_1,d_2,g_2,d$ such that every pair of curves in $H$ contained in a single degree $d$ surface must intersect. The most well-behaved hypersurface that is not a plane is of course a quadric surface, so we choose $d=2$. A curve of degree $4$ and genus $1$ on a quadric surface must have bidegree $(2,2)$. Two such curves have intersection number $8$ and anyways must intersect. Clearly, they are not plane curves.</p> http://mathoverflow.net/questions/103966/general-degree-d-surface-in-mathbbp3/103979#103979 Answer by Jack Huizenga for General degree $d$ surface in $\mathbb{P}^3$ Jack Huizenga 2012-08-04T22:05:27Z 2012-08-04T22:13:09Z <p>By the Noether-Lefschetz theorem, a very general surface $X\subset \mathbb{P}^3$ of degree $d\geq 4$ has $\mathrm{Pic}(X) \cong \mathbb Z$, generated by a hyperplane section $H$. But then if $C \sim aH$ and $C'\sim bH$ on $X$, we have $C\cdot C' = abd^2 > 0$, and so $C,C'$ must intersect in at least one (and generically many) point. Thus every pair of curves on $X$ intersect each other.</p> <p>(This doesn't rule out that for some choices of pairs of curve classes that what you want could be true, but it does rule out that the most general possible result is true).</p>