Vector Bundles, Locally Free Sheaves and Divisors on a Curve

In this post, I’ll be summarizing the basics of the correspondence between vector bundles, locally free sheaves and divisors on a smooth curve (defined over an algebraically closed field \(k\) of characteristic zero) together with some of their individual properties.Locally free sheaves and Vector bundles:>Proposition 1: a) A coherent sheaf \(\mathcal{E}\) on a curve \(C\) is locally free \(\iff\) the fibers (stalks) \(\mathcal{E}\_p\) are free at every point \(p \in C.\)  (note that the statement is local.) > b) A subsheaf of a locally free sheaf is locally free. (Use the fact that local rings of a (smooth) curve are DVR, hence PID and a submodule of a finitely generated free is free) > c) A non-zero map from a rank one locally free sheaf to a locally free sheaf is injective. (If there is a non-zero kernel, by b) it is locally free of rank one, then the cokernel will be a torsion sheaf injecting to a locally free sheaf!) > d) Let \(\mathcal{E}\) be a locally free sheaf of rank \(r\) and \(\mathcal{E}'\) a subsheaf of rank \(r'.\) There exists a subsheaf \(\mathcal{E}''\) or rank \(r''\) containing \(\mathcal{E}'\) s.t. \(\mathcal{E}/\mathcal{E}''\) is locally free. In particular, if \(\mathcal{E}'\) is the maximal (w.r.t inclusion) the quotient is already locally free. (Think how to kill the torsion!)Theorem: There is a natural one-to-one correspondence between vector bundles (or rank \(r\)) and locally free sheaves (of rank \(r\)) on \(C.\)Idea: Given a vector bundle, the sheaf of sections is the corresponding sheaf. The converse is a little tricky. Given a locally free sheaf \(\mathcal{E},\) one can define a vector bundle as follows

\(E:= \{ (p,t)|\; p \in C, \;\; t \in \mathcal{E}\_p/{\mathfrak{m}\_p \mathcal{E}\_p} \}\)

where \(\mathfrak{m}\_p\) is the unique maximal ideal of the local ring \(\mathcal{O}\_p.\)Remark: Subsheaves of a locally free sheaf do not necessarily correspond to the subbundles of its associated bundle. The point is that, injectivity of the map of locally free sheaves may fail to be injective when it is reduced modulo the maximal ideal of some point.Lemma 1: A non-trivial global section of a vector bundle \(E\) correspond to a non-zero map of sheaves \(\mathcal{O} \to \mathcal{E}\) where \(\mathcal{E}\) is the sheaf associated to \(E.\)Divisors:AWeildivisor on \(C\) is a finite formal sum of points with integral multiplicities. If \(f\) is a rational function on \(C\) the divisor corresponding to \(f\) is defined as \((f)=\sum \text{ord}\_p(f) p.\) ACartierdivisor on \(C\) is given by a covering \(U\_i\) of \(C\) together with functions \(f\_i \in \mathcal{O}(U\_i)\) s.t. \(f\_i/f\_j\) are  invertible on \(U\_i \cap U\_j.\) A principal divisor is given by the cover consisting of \(C\) alone and a function on \(C\) (global section of \(\mathcal{O}\_C.\)) Given a Cartier divisor, one can associate a Weil divisor to it by considering on each open set \(U\_i\) the zeros minus the poles of \((f\_i)\) and this is well-defined, since \(f\_i/f\_j\) is invertible on \(U\_i \cap U\_j.\) Conversely, given a Weil divisor \(D,\) one can construct a Cartier divisor by choosing open sets that contain at most one of the point on the support of \(D\) and functions that vanish at these points with the assigned multiplicities. Therefore, these two seemingly different notions areequivalentover a smooth curve \(C.\)Line Bundles (locally free sheaves of rank one) and Divisors:Given a Cartier divisor, one can define a locally free sheaf of rank one by taking the trivial sheaf \(\mathcal{O}(U\_i)\) and gluing them by the isomorphisms \(f\_i/f\_j\) on \(U\_i \cap U\_j.\) Conversely, given an invertible sheaf and a trivialization \(\{ U\_i, f\_{i,j} \},\) one can define a Cartier divisor as follows;  take an arbirtary open set, say \(U\_0\) and define a Cartier divisor with \((U\_i,f\_{i,o}),\) as \(f\_{j,o}=f^{-1}\_{0,j}\) and \(f\_{0,j}f\_{i,0}=f\_{i,j}\) which is a unit on \(U\_i \cap U\_j.\)Definition:Let \(D=\sum n\_p p\) be an effective divisor. Define the sheaf \(\mathcal{F}\) on the support of \(D\) by \(\mathcal{F}\_p=k^{n\_p}.\) Now, define the skyscraper sheaf \(k\_D\) as the extension by zero outside of \(D.\)Lemma 2: A line bundle \(\mathcal{L}\) corresponds to an effective divisor \(D\) if and only if \(\mathcal{L}\) has a non-zero global section (bylemma 1, there is a non-zero map of sheaves \(\mathcal{O} \to \mathcal{L}\) which is injective byProposition 1, b)) In this case, one has the following short exact sequence of sheaves

\(0 \longrightarrow \mathcal{O} \longrightarrow \mathcal{L} \longrightarrow k\_D \longrightarrow 0\)

one then write \(\mathcal{L}=\mathcal{O}(D).\)Riemann-Roch Theorem:If \(\mathcal{L}\) is an invertible sheaf (line bundle), then the Euler-Poincare characteristic can be computed as

\(\chi(\mathcal{L})=\deg(\mathcal{L})+\chi(\mathcal{O})=\deg(\mathcal{L})+1-g\)

where \(g=h^1(\mathcal{O})\) is the genus of the curve.Proof: First, assume that \(\mathcal{L}\) corresponds to an effective divisor \(D,\) then by lemma 2, there is a short exact sequence, thus the associated long exact sequence gives rise to \(\chi(\mathcal{O}(D))= \chi (\mathcal{O})+ \chi (k\_D).\) Since \(k\_D\) is a skyscraper sheaf, its support is a zero-dimensional set, hence \(h^1(k\_D)=0, \chi(k\_D)=h^0(k\_D)=\deg D\) so the result. In the general case, assume that \(\mathcal{L}\) corresponds to \(D-D'\) with both \(D,D'\) effective. Then \(\mathcal{O}(D-D')=\mathcal{O}(D) \otimes \mathcal{O}(-D')\) where \(\mathcal{O}(-D')=\mathcal{O}(D')^\*.\) Indeed, \(\mathcal{O}(-D')\) is a locally free sheaf so is flat and tensoring the above short exact sequence with \(\mathcal{O}(-D')\) one obtains

\(0\longrightarrow \mathcal{O}(-D') \longrightarrow \mathcal{L} \longrightarrow k\_D \otimes \mathcal{O}(-D') \longrightarrow 0\)

Therefore, \(\chi(\mathcal{L})= \chi (\mathcal{O}(-D'))+ \chi(k\_D \otimes \mathcal{O}(-D')).\) On the other hand, replacing \(D\) by \(D'\) in the above sequence and tensoring with \(\mathcal{O}(-D')\) and do the same thing as above leads to the desired formula.Lemma 3: Given a locally free sheaf \(\mathcal{E}\) of rank \(r\) there exists a short exact sequence of sheaves

\(0 \longrightarrow \mathcal{L} \longrightarrow \mathcal{E} \longrightarrow \mathcal{E}' \longrightarrow 0\)

where \(\mathcal{L}\) is an invertible sheaf and \(\mathcal{E}'\) a locally free sheaf of rank \(r-1.\) Usinglemma 3and induction, one can prove the following formula for the calculation of \(\deg(\mathcal{E}\_1 \otimes \mathcal{E}\_2)\) where \(\mathcal{E}\_1, \mathcal{E}\_2\) are locally free sheaves of rank \(r\_1, r\_2\) respectively.

\(\deg(\mathcal{E}\_1 \otimes \mathcal{E}\_2)=r\_1 \deg(\mathcal{E}\_2) + r\_2 \deg(\mathcal{E}\_1)\)

where the degree of a locally free sheaf \(\mathcal{E}\) of rank \(r\) is defined by

\(\deg(\mathcal{E})=\chi(\mathcal{E})-r \chi (\mathcal{O})\)Definition:A sheaf \(\mathcal{F}\) is said to be generated by global sections if the natural map

\(H^0(\mathcal{F}) \otimes \mathcal{O} \longrightarrow \mathcal{F}\)

is onto. >Proposition 2: If \(\mathcal{E}\) is a locally free sheaf on \(C,\) there exists a positive divisor \(D\) on \(C\) s.t. \(\mathcal{E}(D):=\mathcal{E} \otimes \mathcal{O}(D)\) is generated by global sections.Atiyah’s theorem:Given a locally free sheaf \(\mathcal{E}\) of rank \(r\) generated by global sections, there exists an exact sequence

\(0 \longrightarrow \mathcal{O}^{r-1} \longrightarrow \mathcal{E} \longrightarrow \mathcal{L} \longrightarrow 0\)

where \(\mathcal{L}\) is an invertible sheaf.