Three-point Riemann-Roch construction of a plane cubic

ID: three-point-riemann-roch-construction-of-a-plane-cubic

On a genus-one curve, for distinct , the Riemann-Roch theorem gives . Choose with simple poles exactly at and with simple poles exactly at . Pole comparison proves independent. Multiplying these coordinates by a vanishing local parameter extends across every pole, with images , , , where . The ten homogeneous cubic monomials evaluate in , of dimension nine, so a nonzero homogeneous cubic vanishes on the image. The three chosen points map to the line with first coordinate zero. This connects linear systems to projective plane equations by a dimension count.

New to topics? Read the docs here!