Normal generation of vector bundles over a curve (Q1324785)

Let \(X\) be a smooth projective variety of dimension \(n\) over an algebraically closed field of characteristic 0. An important problem, which attracted the attention of many algebraic geometers in recent years, is to determine an explicit number \(t_ 0\) such that, for every ample line bundle \(A\) on \(X\), \(K_ X \otimes A^{\otimes t}\) is normally generated for \(t \geq t_ 0\). In the present paper, the author proves that if \(C\) is a smooth projective curve, \(E\) a rank \(n\) vector bundle on \(C\) and \(X = \mathbb{P} (E)\) then we may take \(t_ 0 = 2n + 1\). He also proves that for \(t \geq 4n\), the homogeneous coordinate ring of the embedding of \(X\) by the complete linear system \(| K_ X \otimes A^{\otimes t} |\) is a Koszul ring. The proofs are based on the following result: let \(E\), \(F\) be vector bundles on \(C\). If \(\mu^ -(E) \geq 2g\) and \(\mu^ -(F) > 2g\) then the multiplication map: \(H^ 0 (C,E) \otimes H^ 0(C,F) \to H^ 0 (C,E \otimes F)\) is surjective. Here \(\mu^ -(E)\) denotes the minimal slope of a quotient bundle of \(E\). In case \(E,F\) are line bundles, one recovers a well known result of Mumford.