Skip to main content
added 1 characters in body
Source Link
Sasha
  • 39.3k
  • 2
  • 54
  • 104

Let $F = O \oplus O(n-2,0)$ and denote the line $P^1\times[0:1]$ by $L$. Note that $F_{|L} = O \oplus O(n-2)$. Consider any surjective map $O_L \oplus O_L(n-2) \to O_L(n-1)$ (for example the one given by $u^{n-1}$ on the first summand and by $v$ on the second, where $(u:v)$ are the homogeneous coordinates on $L$). Consider the composition $F \to F_{|L} \to O_L(n-1)$ and let $E$ be its kernel. Note that for any line $L' = P^1\times[x:y]$ we have $E_{|L'} = F_{|L'} = O \oplus O(n-2)$. On the other hand, restricting to $L$ we obtain an exact quadruple $$ 0 \to L_1i^*O_L(n-1) \to E_{|L} \to O_L \oplus O_L(n-2) \to O_L(n-1) \to 0 $$ where $i:L \to P^1\times P^1$ is the embedding. Note that $L_i^*O_L(n-1) = O_L(n-1)$$L_1i^*O_L(n-1) = O_L(n-1)$, and the kernel of the rightmost map is $O_L(-1)$. Hence we have an exact triple $$ 0 \to O_L(n-1) \to E_{|L} \to O_L(-1) \to 0. $$ Since there are no notrivial extensions, we see that $E_{|L} = O_L(-1) \oplus O_L(n-1)$. So, the bundle $E$ gives what you need.

Let $F = O \oplus O(n-2,0)$ and denote the line $P^1\times[0:1]$ by $L$. Note that $F_{|L} = O \oplus O(n-2)$. Consider any surjective map $O_L \oplus O_L(n-2) \to O_L(n-1)$ (for example the one given by $u^{n-1}$ on the first summand and by $v$ on the second, where $(u:v)$ are the homogeneous coordinates on $L$). Consider the composition $F \to F_{|L} \to O_L(n-1)$ and let $E$ be its kernel. Note that for any line $L' = P^1\times[x:y]$ we have $E_{|L'} = F_{|L'} = O \oplus O(n-2)$. On the other hand, restricting to $L$ we obtain an exact quadruple $$ 0 \to L_1i^*O_L(n-1) \to E_{|L} \to O_L \oplus O_L(n-2) \to O_L(n-1) \to 0 $$ where $i:L \to P^1\times P^1$ is the embedding. Note that $L_i^*O_L(n-1) = O_L(n-1)$, and the kernel of the rightmost map is $O_L(-1)$. Hence we have an exact triple $$ 0 \to O_L(n-1) \to E_{|L} \to O_L(-1) \to 0. $$ Since there are no notrivial extensions, we see that $E_{|L} = O_L(-1) \oplus O_L(n-1)$. So, the bundle $E$ gives what you need.

Let $F = O \oplus O(n-2,0)$ and denote the line $P^1\times[0:1]$ by $L$. Note that $F_{|L} = O \oplus O(n-2)$. Consider any surjective map $O_L \oplus O_L(n-2) \to O_L(n-1)$ (for example the one given by $u^{n-1}$ on the first summand and by $v$ on the second, where $(u:v)$ are the homogeneous coordinates on $L$). Consider the composition $F \to F_{|L} \to O_L(n-1)$ and let $E$ be its kernel. Note that for any line $L' = P^1\times[x:y]$ we have $E_{|L'} = F_{|L'} = O \oplus O(n-2)$. On the other hand, restricting to $L$ we obtain an exact quadruple $$ 0 \to L_1i^*O_L(n-1) \to E_{|L} \to O_L \oplus O_L(n-2) \to O_L(n-1) \to 0 $$ where $i:L \to P^1\times P^1$ is the embedding. Note that $L_1i^*O_L(n-1) = O_L(n-1)$, and the kernel of the rightmost map is $O_L(-1)$. Hence we have an exact triple $$ 0 \to O_L(n-1) \to E_{|L} \to O_L(-1) \to 0. $$ Since there are no notrivial extensions, we see that $E_{|L} = O_L(-1) \oplus O_L(n-1)$. So, the bundle $E$ gives what you need.

Source Link
Sasha
  • 39.3k
  • 2
  • 54
  • 104

Let $F = O \oplus O(n-2,0)$ and denote the line $P^1\times[0:1]$ by $L$. Note that $F_{|L} = O \oplus O(n-2)$. Consider any surjective map $O_L \oplus O_L(n-2) \to O_L(n-1)$ (for example the one given by $u^{n-1}$ on the first summand and by $v$ on the second, where $(u:v)$ are the homogeneous coordinates on $L$). Consider the composition $F \to F_{|L} \to O_L(n-1)$ and let $E$ be its kernel. Note that for any line $L' = P^1\times[x:y]$ we have $E_{|L'} = F_{|L'} = O \oplus O(n-2)$. On the other hand, restricting to $L$ we obtain an exact quadruple $$ 0 \to L_1i^*O_L(n-1) \to E_{|L} \to O_L \oplus O_L(n-2) \to O_L(n-1) \to 0 $$ where $i:L \to P^1\times P^1$ is the embedding. Note that $L_i^*O_L(n-1) = O_L(n-1)$, and the kernel of the rightmost map is $O_L(-1)$. Hence we have an exact triple $$ 0 \to O_L(n-1) \to E_{|L} \to O_L(-1) \to 0. $$ Since there are no notrivial extensions, we see that $E_{|L} = O_L(-1) \oplus O_L(n-1)$. So, the bundle $E$ gives what you need.