Smooth curve of genus 1 in P1C×P1C. Show that is a smooth curve of genus 1. The author briefly talked about the concept genus in this section without assuming much knowledge in topology. One proposition said that the genus of smooth curve of degree d in is . Then in one exercise I showed that the arithmetic genus of a smooth curve in agrees with the geometric genus, where is the Hilbert polynomial of the projective variety X. The author then stated that this can be generalized to any smooth projective curve over C. So I think I should use that formula for this exercise. The smoothness can be shown by the Segre embedding. Now the formula says that the genus is
And . But I cannot get 1. I must have made some mistake when calculating . But I couldn't figure out where.
Answer & Explanation
Camden Stanton
Beginner2022-11-04Added 14 answers
Step 1 Using the Segre embedding given by , we can rewrite the curve as an intersection of two hypersurfaces in . Explicitly, these hypersurfaces will be and . These are both quadrics, so that we have a free resolution of (X is the curve):
Twisting by , we get
By additivity of Euler characteristics, the Hilbert polynomial of X is given as the alternating sum
Putting gives by your formula. -- Step 2 Here is another way to compute the genus, using Hurwitz' formula: Let X be the curve again, thought of as sitting inside . Then consider the projection to This gives a map to , and by Hurwitz' formula we have
where degR is the degree of the ramification divisor, that is, degree of the defining equation of the points of where the map fails to be . One can compute that this degree is 4 (by the abc-formula). Hence , which implies that .