Some sufficient conditions for the gonality of a smooth curve (Q792404): Difference between revisions

Let C be a smooth curve over \({\mathbb{C}}\). We say that C is f-gonal if there exists a surjective morphism \(\phi:C\to {\mathbb{P}}^ 1\) of degree f. We assume C is of genus \(g\geq 2\) and that a base point \(P_ 0\in C\) is fixed. For a positive integer d a morphism I(d) from \(C^{(d)}\) to the Jacobian variety J(C) is defined by \(D\mapsto the\quad linear\quad equivalence\quad class\quad [D-P_ 0].\) For \(r\geq 0\), we put \(W^ r_ d=\{x\in J(C)| \dim(I(d)^{-1}(x))\geq r\},\) which is a Zariski closed subset of J(C). It is easy to see that C is d-gonal if and only if there exists a point in \(W^ 1_ d\) which is not contained in \(W^ 1_{d-1}+W^ 0_ 1\). Now we assume \(f\geq 3\) and that there exists no covering \(\phi:C\to \tilde C\) such that \(1<\deg(\phi)<f.\) Under this assumption the author gives sufficient conditions, concerning \(\dim(W^ r_ d)\) for some r, d, for C to be f-gonal, and he also proves that C is d-gonal for each \(d\geq g-f+2.\) These are the main results in the paper. In the last part of the paper some refinements of the above are tried in some examples.