[Math] Vector Bundle Locally Free Sheaf

algebraic-geometrysheaf-theoryvector-bundles

Let $f: X \to Y$ a morphism of ringed spaces and $E$ a vector bundle over $Y$ for finite rank $r$.

My questions are:

  1. Why $E$ can be interpreted as locally free sheaf of rank $r$, therefore for each $y \in Y$ there exist an open set $U$ that contains $y$ such that $E \vert _U \cong \mathcal{O}_Y ^{\otimes r}\vert _U$

  2. Conversly, how can a locally free sheaf of rank $r$ turned to a vector bundle formally correct?

Background of my question: How to interpret $f^*E$? Problem:$f^*$ accepts as arguments only sheafs on $Y$…

Best Answer

The idea is to interpret the sheaf of section of the bundle $E$ as the locally free sheaf you mean. Since $E$ is a vector bundle, over small enough $U \subset Y$, $E|_U \simeq U \times k^n$, and the sections of the bundle $U \times k^n \to U$ correspond exactly to maps $U \to k^n$, whence we get isomorphism with $\mathcal{O}_U^n$.

Turning locally free sheaf $\mathcal{E}$ into a vector bundle $E \to Y$ is similarly simple: if our sheaf is free over each of $U_i$, and $\bigcup U_i = Y$, then we just need to glue $U_i \times k^n \to U_i$ over various $U_i$. Therefore, we need a family of gluing isomorphisms $u_{ij}: (U_i \cap U_j) \times k^n \to (U_j \cap U_i) \times k^n$.

Here's how we get them: we have local isomorphism $f_i: \mathcal{E}_{U_i} \to \mathcal{O}_{U_i}^n$ from the definition of "locally free". Restricting to intersection $U_i \cap U_j$, we get $f_{ij} = f_j|_{U_i \cap U_j} \circ f_i|_{U_i \cap U_j}^{-1}: \mathcal{O}_{U_i}^n|_{U_i \cap U_j} \to \mathcal{O}_{U_j}^n|_{U_i \cap U_j}$. Every such map is induced by a map $u_{ij}: (U_i \cap U_j) \times k^n \to (U_j \cap U_i) \times k^n$ (why?), and this is our gluing isomorphism.