Exercise 111.56.9. Let k be an algebraically closed field. Let K/k be finitely generated field extension of transcendence degree 1. Let C be the abstract curve corresponding to K. Let V \subset K be a g^ r_ d and let \Phi : C \to \mathbf{P}^ r be the corresponding morphism. Show that the image of C is contained in a quadric1 if V is a complete linear system and d is large enough relative to the genus of C. (Extra credit: good bound on the degree needed.)
[1] A quadric is a degree 2 hypersurface, i.e., the zero set in \mathbf{P}^ r of a degree 2 homogeneous polynomial.
Comments (0)