This is a blog post on invertible sheaves, which form elements (over a fixed algebraic variety) of the Picard Group. The group operation here is the tensor product. We will closely follow the developments in Victor I. Piercey’s paper.
We will develop invertible sheaves on algebraic varieties. However, instead of studying sheaves over varieties, we will be studying the algebraic analogues of these geometric entities- we’ll be studying modules over coordinate rings.
First we discuss what it means for a module to be invertible over a ring. Over a ring , a module
is invertible if it is finitely generated and if for any prime ideal
, we have
as
-modules. Here
is the localization of the ring
with respect to the prime ideal
, and
is just the ideal over the localized ring
. What does the expression
mean? One way that this condition is easily seen to be satisfied is that
is generated by a single element over
. I can’t think of any other ways right now. It is perhaps fitting that the article says next that this condition implies that
is locally free of rank
.
The reason that the notation is chosen for an invertible module is that we shall soon see that every invertible module is isomorphic to an invertible ideal. How does one see that? An ideal of a ring is definitely a module over that ring. Assuming that the ideal is a principal ideal and the module under consideration is also generated by a single element, all we need to do is to map the generator of the module to the generator of the ideal. The reason we can assume that the ideal is principal and that the module is generated by a single element is that we want both the modules to be locally of rank
, and this is the easiest way of doing so.
We will now discuss an ideal of a module that is locally free, but not principal. Let and
. It is easy to see that this ideal is not principal. Also,
. Hence,
is maximal in
. Now if
, where
is the prime ideal under consideration, then
. Hence,
. This is because there is an element of
which has been inverted, which causes the ideal to be equal to the ring. We therefore assume that
. As
is maximal, we conclude that
. We observe that
is not in
, and hence invertible in
(which can now be written as
). Now
, which is one of the generators of
, is written as an element of
(it is written as
). This shows that the ideal can be generated by a single element in
, which makes it isomorphic to
.
The isomorphism classes of invertible modules over the ring form the Picard group. The identity element is the isomorphism class of
over itself. Given an invertible module
, its inverse is the module
. Why is this the inverse element? This is because there is a natural map
, which is defined as
. As the isomorphism class of
is the identity element, this is a map of the product of two elements to the identity, which makes one the inverse of the other. What about
? Shouldn’t we have a two-sided inverse? Remember that in general, for any two modules
and
. Hence, we can define
to be the same as
, and get away with it.
Theorem 1: If is an
-module, then
is invertible if and only if the natural map
is an isomorphism.
The proof and subsequent theorems in the paper will be discussed in a later blog post.
https://web.northeastern.edu/castravet/MATH518/victor.pdf Is the link for victor’s paper. Your link is taking to https://web.northeastern.edu/castravet/
Thanks Koushik! I have now made the required edits