On the Degeneracy Locus of a Map of Vector Bundles on Grassamannian Varieties

Let ℒ︁ be a line bundle on a smooth curve C of genus g ≥ 2 and let W ⊂ H⁰ (ℒ︁) be a subspace of dimension r +1, in this paper we study the natural map μ_W : W ⊗ H⁰ (ω_C) → H⁰ (ℒ︁ ⊗ ω_C). Let D ⊂ G(r + 1, H⁰(ℒ︁)) be the locus where μ_W fails to be surjective: we prove that, if C is not hyperelliptic of genus g ≥ 3, D is an irreducible and reduced divisor on G(r + 1, H⁰(ℒ︁)) for any r ≥ 3, and for r = 2 if the curve C is not trigonal.