Projective normality of algebraic curves and its application to surfaces

From MaRDI portal
Publication:2465254



Abstract: Let L be a very ample line bundle on a smooth curve C of genus g with frac3g+32<degLle2g−5. Then L is normally generated if degL>max2g+2−4h1(C,L),2g−fracg−16−2h1(C,L). Let C be a triple covering of genus p curve C′ with CstackrelphioC′ and D a divisor on C′ with 4p<degD<fracg−16−2p. Then KC(−phi∗D) becomes a very ample line bundle which is normally generated. As an application, we characterize some smooth projective surfaces.


Let \(C\) be a smooth curve of genus \(g\) and \(L \in \text{Pic}^d(C)\). \(L\) is said to be normally generated if it is very ample and the natural map \(S^m(H^0(C,L)) \to H^0(C,L^{\otimes m})\) is surjective for all \(m>0\). Here the authors prove that any very ample degree \(d\) \(L\) is normally generated if \(d > \max \{2g+2-4h^1(C,L),2g-(g-1)/6-2h^1(C,L)\}\). Now assume the existence of a degree \(3\) map \(u: C \to C'\) with \(C'\) of genus \(q\). They prove that \(\omega _C(-u^\ast (D))\) is very ample and normally generated if \(D\) is an effective divisor of degree \(z\) on \(C'\) and \(4q < z < (g-1)/6 -2q\}\). They also prove (using hyperplane sections) the projective normality of certain surfaces.











This page was built for publication: Projective normality of algebraic curves and its application to surfaces

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