Line subbundles of maximal degree

algebraic-geometrycomplex-geometrydifferential-geometryline-bundlesvector-bundles

I want to know whether it is possible to bound the degree of line subbundles of certain holomorphic line bundles over Riemann surfaces.

Even more concretely, consider the complex projective line
$\mathbb{P}_{\mathbb{C}}^1$
and the rank-2 vector bundle $E=\mathcal{O}(a)\oplus \mathcal{O}(b)$ for $a,b\in\mathbb{Z}$. Let $L\subset E$ be a holomorphic line subbundle. Thanks to the classification of line bundles over the Riemann sphere, this is some $\mathcal{O}(d)$ for $d\in\mathbb{Z}$.

Question: is necessarily $d$ bounded by $a,b$ or $a+b=deg(E)$? How can I prove that? Is there a maximal-degree subbundle of $E$?

Best Answer

Suppose we have

$$0 \to \mathcal{O}(d) \to \mathcal{O}(a)\oplus\mathcal{O}(b) \to \mathcal{O}(c)\to 0$$

for some $c \in \mathbb{Z}$. Tensoring through by $\mathcal{O}(-d)$ gives the short exact sequence

$$0 \to \mathcal{O} \to \mathcal{O}(a - d)\oplus\mathcal{O}(b - d) \to \mathcal{O}(c-d) \to 0.$$

Therefore the bundle $\mathcal{O}(a - d)\oplus\mathcal{O}(b - d)$ has a non-zero section, so either $\mathcal{O}(a - d)$ has a section (in which case $a - d \geq 0$), or $\mathcal{O}(b - d)$ has a section (in which case $b - d \geq 0$). That is, $a \geq d$ or $b \geq d$, so $d \leq \max\{a, b\}$ as pointed out by Sasha in the comments.

Related Question