Invertible cup-product direction for a line bundle on a curve
ID: invertible-cup-product-direction-for-a-line-bundle-on-a-curve
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.
New to topics? Read the docs here!