Can a curve intersect a given curve only at given points? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T20:29:54Z http://mathoverflow.net/feeds/question/47783 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/47783/can-a-curve-intersect-a-given-curve-only-at-given-points Can a curve intersect a given curve only at given points? auniket 2010-11-30T11:21:54Z 2010-12-01T01:47:28Z <p>Clearly the question in the title has a positive answer for analytic (or smooth, or continuous ...) curves, but what about the algebraic category? More specifically, given an irreducible polynomial curve $X \subseteq \mathbb{CP}^2$ and points $P_1, \ldots, P_k$ on $X$, when can we find another curve $Y$ (defined by a polynomial) such that the $Y$ intersects $X$ only at $P_1, \ldots, P_k$? </p> <p>I find the question to be nontrivial even for $k = 1$. Here are some observations for $k = 1$ case:</p> <ol> <li><p>If $P$ is a point on $X$ with multiplicity $\deg X - 1$, then a tangent of $X$ through $P$ intersects $X$ only at $P$ (by Bezout's theorem).</p></li> <li><p>If $X$ is a rational curve and $X \setminus {P} \cong \mathbb{C}$, then there is a curve $Y$ such that $X \cap Y = {P}$.</p></li> <li><p>Let $X$ be a non-singular cubic. Give it a group structure such that the origin is an inflection point. Then for all $P \in X$, there exists $Y$ such that $Y \cap X = {P}$ iff $P$ is a torsion point in the group.</p></li> </ol> <p>If $X$ (of degree $d$) is non-singular at $P$, then the most direct approach for finding a $Y$ of degree $e$ intersecting $X$ only at $P$ seemed to blow it up $de$ times and look for the conditions under which $Y$ goes through each of the points on $X$ in the $i$-th infinitesimal neighborhood of $P$, $0 \leq i \leq de - 1$. But the conditions on the coefficients of the polynomial defining $Y$ did not appear very tractable.</p> <p><i> Edit: </i> I would like to make a correction to observation 3. This is what I know about a non-singular cubic curve $X$: If $P$ is an inflection point, then there is a curve $Y$ such that $Y \cap X = P$ (take $Y$ to be the tangent of $X$ at $P$). If $P$ is a non-torsion point (for the group structure on $X$ for which the origin is an inflection point), then there is no such $Y$. I don't know what happens for torsion points. </p> http://mathoverflow.net/questions/47783/can-a-curve-intersect-a-given-curve-only-at-given-points/47820#47820 Answer by rita for Can a curve intersect a given curve only at given points? rita 2010-11-30T18:34:23Z 2010-11-30T19:35:02Z <p>Here are some considerations on the case $X$ smooth. </p> <p>Let $d$ be the degree of $X$ and let $L$ be the restriction to $X$ of $O_{P^2}(1)$.<br> If $k=1$ then the condition is precisely that the line bundle $L(-dP)$ is a torsion point of $Pic^0(X)$. In fact let $m$ be such that $mL(-dP)$ is trivial. Since the map $H^0(P^2,{\cal O}_{P^2}(m))\to H^0(X, mL)$ is onto, there exists a curve $Y$ of degree $m$ that intersects $X$ precisely at $P$ with multiplicity $md$. So the condition is satisfied for at most countably many points $P\in X$, unless $X$ is rational. One can argue in a similar (more complicated) way for $k>1$.</p> <p>I don't know if the remark that follows is useful. If $X$ is smooth of genus $g$, $P\in X$ is fixed and $k=g+1$, then one can consider the image of the map $X^g\to Pic^0(X)$ defined by mapping $(P_1,...,P_g)$ to $(g+1)L(-d(P+P_1+...+P_g))$. This map is surjective, so the above argument implies that, given $P$, one can find $g$ points such that there exists a curve $Y$ that intersects $X$ only at $P, P_1,\dots P_{g}$. Since the subvarieties {P_i=P} of $X^g$ and the weak diagonal map to proper subvarieties of $Pic^0(X)$ and the torsion points are dense in $Pic^0(X)$, one can find $P,P_1,...P_g$ distinct. More generally, if $k>g$ one can assign $k-g$ points and find a curve $Y$ that meets $X$ at those points and at precisely $g$ additional points.</p> http://mathoverflow.net/questions/47783/can-a-curve-intersect-a-given-curve-only-at-given-points/47851#47851 Answer by Juan Migliore for Can a curve intersect a given curve only at given points? Juan Migliore 2010-12-01T01:47:28Z 2010-12-01T01:47:28Z <p>I don't even see an answer to the following simpler problem: let Z be a finite (reduced) set of points in the projective plane. Is Z a set-theoretic complete intersection? </p> <p>By the way, another interesting question is to let the curve X be in projective n-space, take an arbitrary set of points on X, and ask if it is set-theoretically cut out by a hypersurface. Assuming the answer to be no, can such sets of points be characterized somehow?</p>