Sea $C$ sea una curva suave irreducible sobre una superficie algebraica compleja $X$ y $L$ sea un haz de líneas libres de punto base sobre $C$ tal que tenemos $H^0(L) \otimes H^0(\mathcal O_X(m)) \hookrightarrow H^0(L(m))$ para algún positivo $m$ . Supongamos también que $H^0(L), H^0(\mathcal O_X(m)) \neq 0$ y $\text{deg}(L(m)) >0$ .
Entonces mi pregunta es : ¿Bajo qué condición(es) (cohomológica(s) o de otro tipo) en el haz de líneas $L$ ¿la inclusión anterior se convierte en un isomorfismo?
Una respuesta obvia es asumir $H^0(L(m)) =0$ Pero estoy buscando otra(s) condición(es).
Cualquier ayuda de cualquier persona es bienvenida.