scientific article; zbMATH DE number 1429053

From MaRDI portal
Publication:4948274





Let \(C\) be a smooth projective curve of genus \(g\) over the complex number field, and let \(L\) be a divisor on \(C\). We put \(d:=\deg L\). Then \(L\) is said to be normally generated if \(H^{0}(L)^{\otimes n}\to H^{0}(L^{\otimes n})\) is surjective for any natural number \(n\). By the Fujita-Mumford theorem, we get the following: If \(d\geq 2g+1\), then \(L\) is normally generated. So the next problem is the case when \(d\leq 2g\). In this case, if \(C\) is a hyperelliptic curve, then \(L\) is not normally generated. But there exists an example of \((C,L)\) such that \(L\) is normally generated for \(d\leq 2g\). So it is important to determine the type of \((C,L)\) if \(L\) is normally generated and \(d\leq 2g\). If \(d=2g\), then \textit{M. Homma} [Tsukuba J. Math. 4, 269-279 (1980; Zbl 0473.14015)] and \textit{H. Lange} and \textit{G. Martens} [J. Reine Angew. Math. 356, 1-18 (1985; Zbl 0561.14009)] proved that \(L\) is not normally generated if and only if \(C\) is a hyperelliptic curve. If \(d=2g-1\), then \textit{M. Green} and \textit{R. Lazarsfeld} [Invent. Math. 83, 73-90 (1986; Zbl 0594.14010)] gave a necessary and sufficient condition that \(L\) is not normally generated under the assumption that \(L\) is very ample and \(g\geq 4\). In this paper, the author explains some results in a joint work with Keem and Kato [cf. \textit{T. Kato, C. Keem} and \textit{A. Ohbuchi}, Abh. Math. Semin. Univ. Hamb. 69, 319-333 (1999)]. Main results are the following (here we assume that \(L\) is very ample): (I) The type of \((C,L)\) is determined such that \(L\) is not normally generated with \(2g-3\leq d\leq 2g-2\), \(h^{1}(C,L)=0\), and \(g\gg 0\). (Here \(g\) can be described explicitly.) (II) It is proved that \(L\) is normally generated if \(g\gg 0\), \(d\geq 2g-5\), and \(h^{1}(C,L)\not=0\). (Here \(g\) can be described explicitly.) (III) The type of \((C,L)\) is determined such that \(L\) is not normally generated with \(d=2g-6\), \(h^{1}(C,L)\not=0\), and \(g\gg 0\). (Here \(g\) can be described explicitly).











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4948274)