Deje $X$ ser un pequeño complejo colector. Según Fulton y Lazarsfeld, un vector paquete de $E$ $X$ se llama amplio si la línea Serre bundle $\mathcal{O}_{\mathbb{P}(E)}(1)$ sobre el projectivized bundle $\mathbb{P}(E)$ es suficiente.
Esta noción debe ser una generalización de la amplitud de la línea de paquetes, pero no acabo de entender. Suponga que $E$ es una línea de paquete, a continuación, su projectivization es isomorfo a $X$. En este caso, ¿cómo podemos concluir que $\mathcal{O}_{\mathbb{P}(E)}(1)\cong E$?
