Extensions of Line Bundles on the Projective Line January 26, 2015Posted by Dennis in algebraic geometry.
The following is probably obvious to experts, as it is easy to find generalizations using google. However, this humble master’s student didn’t find this most basic case, so it’s probably worth writing down.
We will be working over the projective line over a field. The basic question is that, since we know that there exist nontrivial groups between line bundles on , what explicit extensions do they correspond to?
For example, given that we we know , there should be a nontrivial extension
Recall that all vector bundles over splits into a direct sum of line bundles. So . By taking determinant bundles, we know , so . Furthermore, since it is a nontrivial extensions, we need both , or else we would have a section . Therefore, .
One way to produce an example of such a nontrivial extension is from the Koszul complex. Recall that the complex
is exact. Turning this into sheaves over , we get exactly a short exact sequence
Notice that this only works because is identified with the zero sheaf when we try to turn it from a -module to a sheaf over .
Repeating the argument above, we see that any extension
must have for and . We might ask if all such values of are possible. The answer is yes, and we can construct them, though I didn’t think of something as nice as the Koszul complex.
Edit: Sometime after posting this, I realized there was a way to get these extensions in exactly the same way as above with the Koszul complex. Namely, we take the exact sequence
and turn it into sheaves over . This yields
However, it’s at least useful for myself to remember how the machinery below works in a basic example.
To do so, we first recall the general recipe for how to get a extension from an element of the Ext group. Instead of just recalling the construction, we will derive part of it in a way that I think a beginner could come up with, as I don’t see this written down either. Those who aren’t interested can just skip the next section.
Since projectives are easier for me to think about than injectives, we’ll motivate this by constructing extensions of -modules for some (commutative) ring . A natural question is to ask, if we fix modules and , what modules can fit in the middle of the short exact sequence
I know I have had the experience of trying to ask this on mathstackexchange and getting a bunch of answers telling me to learn homological algebra and Ext, which is more effort than a poor undergraduate wants to spend to get at a concrete problem. However, I think there is a natural direct approach.
Instead of being in the middle of a short exact sequence, we would instead like to have a presentation for . For example, of and and are finitely generated (which is a lot of the time), then this allows us to compute explicitly. To do so, we want to find a surjection onto .
To do so, we can find a surjection onto from a free module, and lift it to a map . Then, we have a surjection . This gives us the diagram:
Here, is defined to be the kernel of . The top row is exact by the 9-lemma. Therefore, we have recovered the fact that there exists some map such that is the pushout of
Conversely, if we have such a map , then we can construct the first two rows of the commutative diagram above, and 9-lemma imples the exactness of the last row. Therefore, constructing all extensions if and are finitely generated abelian groups, say, is not a mysterious thing.
The main issue I see with this approach is that it’s not clear to me how to classify that two such maps give equivalent extensions precisely when it extends to a map directly from the large diagram.
Now, we want to use the section above to construct our extensions. One technical issue is that the quasicoherent sheaves don’t usually have enough projectives, so we would have to work with injective objects instead. The same argument in the previous section works exactly, so, we can fix an injective object containing . Let the cokernel of be . Then, each in the middle of a short exact sequence
is a pullback of the diagram
for some map and conversely, every map gives a pullback diagram, and the pullback fits into a short exact sequence .
Unfortunately, I don’t know of a good way of writing such an down. To work around this, we note that the argument we used to construct extensions didn’t use the full strength of injectivity. Namely, we only need to know that the injection extended to a map .
The long exact sequence applied to in yields . Therefore, it suffices for .
Therefore, instead of using an injective object for , we can use any object whose first cohomology vanishes. One source of such an object is the Cech complex. As an abuse of notation, if is a sheaf on , I’ll write for an open as , where is the inclusion.
The Cech complex gives us the exact sequence of sheaves
so we have and .
Recall that a basis of is represented by the sections that sends 1 to for . So it is natural to ask what extensions these sections represent.
Reading somebody else's computations isn't usually that enlightening, so I'll state the answer first. I got that the rank 2 bundle given by has the transition map given by
from to , where . To get this answer, we need to compute the pullback
Over , a section of the pullback is equivalent to choosing sections , over and respectively and a section of , such that .
Equivalently, . So a basis for over is given by , and is determined uniquely by and .
The situation over is exactly the same. To compute the transition map, we need to take a compatible choice over , express it in terms of the basis over , and then see what it should be in terms of the basis over . In the basis over , it is , and in the basis over , it is .
This means the transition matrix is given by , which is what we said above.
Finally, the identify , we need to diagonalize our transition matrix. Since we are allowed to change bases over and over , we are allowed to multiple on the right by an element in and on the left by an element of . Through row and column operations, we get
This means the section that sends 1 to represents an element in that corresponds to an extension