5

This is exercise 19.4.B on Ravi Vakil's notes.

Let $C$ be a regular plane curve of degree $e>2$, and $D_1,D_2$ be two plane curves of same degree $d$ not containing $C$. By Bezout's theorem $D_i$ and $C$ meet at $de$ points. Suppose both $D_i$ meet $C$ at the same $de-1$ points. Show that the remaining point is the same as well.

In other words, let $E$ be a divisor on $C$ of degree $de-1$ such that $D_i\cap C=E+p_i$ for some closed points $p_1,p_2$ of degree 1. Show $p_1=p_2$.

I think I'm supposed to use 19.4.2 which says if $C$ is not isomorphic to $\mathbb{P}^1$, then $\mathscr{O}_C(p_1)\cong\mathscr{O}_C(p_2)$ iff $p_1=p_2$. We know $C$ is not $\mathbb{P}^1$ in this case since $e>2$. It would be great to show $\mathscr{O}_C(E+p_1)\cong\mathscr{O}_C(E+p_2)$ but I don't know how?

Gazerun
  • 687

1 Answers1

3

Since $D_1$ and $D_2$ are linearly equivalent as divisors ($\mbox{Pic}(\mathbb{P}^2)\simeq\mathbb{Z}$), we have that their restrictions to $C$ are also linearly equivalent (restrict the rational function that gives the linear equivalence). This means that $E+p_1$ is linearly equivalent to $E+p_2$, and so $\mathcal{O}_C(E+p_1)\simeq\mathcal{O}_C(E+p_2)$.

rfauffar
  • 7,509
  • 1
    Thank you. Can you add a little about why the restriction/pullback of $\mathscr{O}_{\mathbb{P}^2}(D_i)$ to $C$ is $\mathscr{O}_C(D_i\cap C)$? It makes sense intuitively but can't show rigorously. – Gazerun Dec 25 '13 at 17:45
  • You can define the restriction of $\mathcal{O}{\mathbb{P}^2}(D_i)$ to $C$ by $\mathcal{O}_C\otimes\mathcal{O}{\mathbb{P}^2}(D_i)$, and if $D_i$ meets $C$ transversely, for instance, this sheaf has the same support as $\mathcal{O}_C(D_i\cap C)$ and so they must be equal. – rfauffar Dec 25 '13 at 18:04
  • Okay, I interpreted your answer as this: The sections of $\mathscr{O}C\otimes\mathscr{O}{\mathbb{P}^2}(D_i)$ over $U$ can be described as rational sections $f$ of $\mathscr{O}{\mathbb{P}^2}$ such that $\mathrm{div}|{V} f+ D_i|V\geq0$ for any open $V\subset \mathbb{P}^2$ containing $U$, modded by rational sections vanishing at $C$. Conversely, the sections of $\mathscr{O}C(E+p_i)$ over $U$ are rational sections $f$ of $\mathscr{O}{\mathbb{P}^2}$ modded out by rational sections vanishing at $C$, such that the image $\overline{f}$ has $\mathrm{div}|_{U} \overline{f}+ E+p_i\geq0$. – Gazerun Dec 26 '13 at 06:00
  • So I guess the question is whether taking div and the modding out is the same as modding out first and then taking div. i.e. that $\mathrm{div}|_V f+D_i|_V\geq0$ iff $\mathrm{div}|_U\overline{f}+E+p_i\geq0$. Is this correct? Or is there a better way to think about this? – Gazerun Dec 26 '13 at 06:11
  • Take the exact sequence $0\to\mathcal{O}(D_i-C)\to\mathcal{O}{\mathbb{P}^2}(D_i)\to\mathcal{O}_C\otimes\mathcal{O}{\mathbb{P}^2}(D_i)\to 0$. The map $\mathcal{O}{\mathbb{P}^2}(D_i)(\mathbb{P}^2)\to(\mathcal{O}_C\otimes\mathcal{O}{\mathbb{P}^2}(D_i))(\mathbb{P}^2)$ is surjective, and so a global section of $\mathcal{O}C\otimes\mathcal{O}{\mathbb{P}^2}$ is just a global section of $\mathcal{O}_{\mathbb{P}^2}(D_i)$ mod the ideal sheaf of $C$. One such global section would be the polynomial that defines $D_i$. – rfauffar Dec 26 '13 at 11:09
  • By modding out by the ideal sheaf of $C$, we are just restricting this equation to $C$, and so we get the divisor $D_i\cap C$. – rfauffar Dec 26 '13 at 11:10
  • I see now, $D_1$ and $D_2$ are linearly equivalent, so there is a rational function $f$ such that $\mathrm{div} f=D_1-D_2$. Then $f$ is also a rational function $C$ also and it can be checked that $\mathrm{div_C} f=D_1\cap C-D_2\cap C$, so it follows $\mathscr{O}_C(D_1\cap C)\cong \mathscr{O}_C(D_2\cap C)$ – Gazerun Dec 27 '13 at 05:20
  • Yes, that is the idea of the proof. – rfauffar Dec 27 '13 at 10:55