Noether's theorem (Q5906688)

Let \(C\) be a smooth projective curve over the complex field with canonical bundle \(K\) and let \(L\) be a line bundle on \(C\) such that \(H^0 (C,L) \neq 0\). The paper gives new conditions, after the paper by \textit{E. Arbarello} and \textit{E. Sernesi} [Invent. Math. 49, 99-119 (1978; Zbl 0399.14019)], for the surjectivity of the maps \(H^0 (C,L) \otimes H^0 (C,K + (p - 1) L) \to H^0 (C,K + pL)\) \((p\) a positive integer). Beside the ``base point free''-condition on \(H^0 (C,L)\), the paper introduces the following condition \((N^*)\): \(L\) satisfies \((N^*)\) if there are two nonzero effective divisors \(D_1\) and \(D_2\) such that \(L = [D_1] + [D_2]\) and \(\dim H (C,L) = \dim V_1 + \dim V_2 - 1\), where \[ V = \{s \in H^0 (C,L)|s |_{D_2} = 0\} \cup \{s \in H^0 (C,L)|s |_{D_1} = 0\}, \] and uses it to obtain surjectivity theorems in some cases.