Here is a sketch of an argument why
is not decomposable into direct sum of -modules (this answers one of the questions asked in meeting today):
If we show then we are done, because suppose for some -modules . Then , which is impossible.
To prove the claim, the long exact sequence of cohomology of the Euler's sequence gives the exact sequence
But since we find that . (This shows that when we have , because this is the only invertible sheaf on with these cohomology groups.)
Next, tensor the Euler's sequence by and then take cohomology. This gives an exact sequence
By the construction of the Euler's sequence the third arrow from the left is an isomorphism and therefore, .
Finally, apply to the Euler's sequence. We get the exact sequence
So by what we proved above, .
No comments:
Post a Comment