The title is unfortunately not as informative as it could be. What I want to do in this short blog is compute some locally free resolutions of certain sheaves. The sheaves I have in mind are structure sheaves for certain subvarieties of projective space . More specifically, I want to compute the structure sheaves of the subschemes in the filtration

.

This turns out to be equivalent to computing the Koszul complex, and proving it’s a locally free resolution in the particular case of a polynomial ring with regular sequence . Here I’m thinking of as a field but any base ring will do. For a long time this was really confusing to me but, it turns out it really didn’t need to be. I’ll give an application at the very end of the post which relates the K-theory of projective space to the G-theory of projective space. This complements a set of notes which I wrote today, (and will include here once I post them).

**Some Preliminaries**

There really isn’t much we’ll need for this. But, I do want a couple of statements and reminders before starting.

(1.1) **Definition**: Let be a graded ring, and a graded -module. We define the th *shift *or the th *twist* of to be the module whose th graded piece is the th graded piece of . I.e. .

The reason for introducing graded rings and modules in the first place is because of their relation to projective space. This is essentially the analogy: modules and rings are to affine space as graded modules and graded rings are to projective space. This can actually be made more precise by the fact any projective variety corresponds to an affine cone, and vice-versa. I’m making this up on the spot, so I won’t actually go into details so the next paragraph will have to suffice.

There’s an action of on affine space given by scaling. Ring theoretically this is the map defined by . This gives a -graded ring structure by defining the th graded piece to be those elements such that . Any projective variety in comes from an affine subvariety of which is stable under this action. Said otherwise, these are exactly the quotients that have a grading compatible with the above one. It can be shown if has homogeneous generators then this holds. I’ll stop here, before mentioning why one wants to remove the origin, constructing quotient varieties, and proving all of the theorems.

One nice result we will need, which follows the lines of this analogy, is related to how we construct sheaves on projective space.

(1.2) **Proposition**: Given a graded module over a graded ring , we can construct a sheaf of -modules. This association defines a functor from graded -modules to sheaves on . Moreover, this functor is exact and commutes with direct sums and tensor products.

*Proof*. This is Lemma 26.8.4 of the Stacks Project, tag 01M3. The surrounding section is also beneficial for the construction and more. The last statement about direct sums and tensor products is at least partially at the Stacks project. For the direct sum part wikipedia cites EGA I, Ch. I, Corollaire 1.3.9.

(1.3) **Proposition**: Let be a graded module over a graded ring . The sheaves are locally free of rank 1 and

*Proof*. Lemma 26.10.3 of the Stacks Project, tag 01MM. The surrounding section is also beneficial for details.

This should be enough to allow us to compute some examples now.

**Some first examples**

(2.1) *Example*: Let’s compute locally free resolutions for the structure sheaves of a point, a line, and a plane all embedded in a plane. That is, we’ll compute locally free resolutions for the structure sheaves of the varieties appearing in the filtration

The structure sheaves of these varieties depend on how they are embedded in . I’ll pick the easiest case, which could also be reached from any other through an automorphism of . This reduces our problem to the following statement: compute locally free resolutions of:

It’s actually really easy, if we just focus on computing free resolutions of these modules (forgetting about the gradings), and then we twist or shift the grading appropriately to get a morphism of graded modules so that we can apply the functoriality statement of (1.2).

(2.2) **Lemma**: Let . Some free resolutions of the modules are respectively

and

*Proof*. The first one is trivial, since is free. For the second note that the natural surjection has kernel . Define the map by . This is an isomorphism since the ideal is principal, and concatenating these maps gives the second resolution. The last one comes from a similar method. The natural surjection has kernel . Define a map by and . The kernel of this map is generated by , so define the last map taking by which is an isomorphism because of principality again.

(2.3) **Corollary**: Some locally free resolutions of the sheaves are given respectively by

*Proof*. The proof is literally: we computed free resolutions above, so apply the tilde operation, which is exact, and gives the above sequences up to shifting. The reason we have to shift is because we need to have the same degree going to the same degree in order to apply tilde. Looking at the maps for the resolutions and how the shift works, along with the natural grading on giving the linear terms degree 1 gives the result.

Now let’s generalize this, because I don’t actually care about planes and lines but instead about projective -space and arbitrary dimensional subvarieties.

(2.4) **Proposition**: Consider the filtration of given by . Let be an integer with . Then there is a locally free resolution of by -modules

.

*Proof*. As before we’ll assume the structure sheaf of is given by the tilde of the graded -module . Note this module is isomorphic to the tensor product where we tensor with respect to the -module structure. Again call for brevity. For each we have a free resolution of graded modules

.

Since the modules to the left of are free, taking the tensor product of this complex as ranges from to is exact. Taking the total complex of this tensor product gives us a free resolution of , and all that’s left is to describe this total complex and then take the tilde operation.

Since I don’t actually need to know what the maps are, I won’t describe them. It’s really explicit but I’d have to keep track of a bunch of (-1)’s. All I’ll need for what I want to do below are the objects in the locally free resolution of this sheaf. But writing this out gives me

.

Taking the tilde operation gives the result.

**An Application**

Earlier today I computed:

(3.1) **Proposition**: and where the notation is meant to read “the free abelian group on the set…”.

For the definitions of these groups, and the above computations, see these notes (will be linked eventually).

Our work in section 2 allows us to explicitly describe an isomorphism between the two groups and . Sometimes this is called the Cartan isomorphism, or Poincare duality.

(3.2) **Proposition**: The isomorphism defined by taking the class of a coherent sheaf to the alternating sum , where is a locally free resolution of , has an explicit description in terms of integral matrices.

*Proof*. Identify with by where is the standard basis vector. Similarly identify with by the identification . Then the matrix describing this isomorphism is given by

.

(3.3) *Example*: Let . The matrix in (3.2) is

.

(3.4) *Example*: Let . The matrix in (3.2) is

[…] ring structure on is clear. The ring structure on is less clear but, using (0.13) or using explicit locally free resolutions as in this post it can also be described fairly […]

LikeLike