Let C be a smooth projective curve over C, and K be the canonical line bundle. A well-known Theorem of Noether says that if C is not a hyperelliptic curve, then the map H~o(C,K)(?)H~o(C,K)→H~o(C, 2K) is surjective,which means that K is normally generated.
[2]
Petri's approach to the study of the ideal associated to a special divisor[J] . Enrico Arbarello,Edoardo Sernesi.Inventiones Mathematicae . 1978 (2)
[2]
Petri's approach to the study of the ideal associated to a special divisor[J] . Enrico Arbarello,Edoardo Sernesi.Inventiones Mathematicae . 1978 (2)