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

So this question is directly related to a comment made by David Mumford in his Lecture 1 given at U. Michigan in 1974 entitled: What is a curve and how explicitly can we describe them ?

Mumford claims that if you take a (non-hyper elliptic) smooth projective curve $C$ over $\mathbb{C}$ of genus 3 and embed it in $\mathbf{P}^2$ via its canonical map (denoting the image of the curve again by $C$), then there are exactly $108$ points $x\in C$ for which there is a conic passing through $x$ with contact order (with respect to $C$) equal to $6$.

Q1: How does one prove that you have only finitely many such conics touching $C$ and have contact order $6$?

This seems to suggest, that for most points $P\in C$, the best contact order of a conic passing through $P$ is $5$.

Q2: In general if $C\subseteq \mathbf{P}^2$ is a fixed embedded smooth projective curve and $x\in C$ is a point, then for a fixed degree $d$, how does one compute the maximum contact order at $x$ among all smooth projective curves $D$ of degree $d$ in $\mathbf{P}^2$ passing through $x$ (is this computable)?

share|improve this question
    
Isn't this $\max d: \dim H^0(C,\mathcal O_C(n-dP)) >0$? –  Will Sawin Feb 6 at 5:35
add comment

1 Answer 1

up vote 4 down vote accepted

Will is right of course: there exists a curve of degree $d$ with a contact of order $k$ with $C$ at $P$ iff $h^0(C,\mathcal{O}_C(dH-kP))>0$, where $H$ is the divisor of a line. So:

Q1) $2H-6P$ has degree 2, so the condition is that it lies on the canonical theta divisor $\Theta $ of $J^2C$. So we are looking at the intersection of $\Theta $ with $6_*C$, the image of $C$ under multiplication by 6 in $JC$ (I am implicitely choosing some base point here to identify $J^2C$ with $JC$). Now $6_*$ acts as $6^p$ on $H_p(JC)$, so the (co)homology class of $6_*C$ is $6^2[C]=6^2\frac{\Theta ^2}{2} $. Thus $(\Theta .6_*C)=6^2\frac{\Theta ^3}{2}=6^2.3=108$.

Q2) The same ideas will give you the general answer. Let $e:=\deg(C)$, $g:=g(C)$. We look at $dH-kP$. If $k<de-(g-1)$, there are always (many) curves of degree $d$ with contact of order $k$ at $P$. If $k>de-(g-1)$, there is none in general; there can be some, of course, for some particular pairs $(C,x)$. The interesting case is $k=de-(g-1)$; then we find $N$ contact points, with $N=(\Theta . k_*C)=k^2g$ (of course these points must be counted with multiplicity).

share|improve this answer
    
Thanks @abx, it is crystal clear now. –  Hugo Chapdelaine Feb 6 at 17:51
add comment

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.