Suppose a line bundle of degree on a smooth projective curve has . Choose distinct points where evaluation is invertible for both and . Such choices exist simultaneously: each determinant defines a nonempty open subset of , since independent sections cannot vanish at every point. Let be a sum of nonzero weighted evaluation functionals at these points. The Serre duality matrix of factors as the product of the two invertible evaluation matrices and an invertible diagonal matrix. Its determinant is nonzero. This gives the nonzero leading determinant needed for the Riemann singularity theorem.
Articles by others on the same topic
There are currently no matching articles.