Blowing Up the Indeterminancy Locus – Why is this sheaf invertible

algebraic-geometrybirational-geometryblowupdivisors-algebraic-geometry

The following is explained in Hartshorne, chapter 2.7. I will be considering varieties instead of schemes. Let $X$ be a variety over $k$, and let $L$ be a line bundle on $X$. Let $s_0,\dots,s_n$ be global sections of $L$. This determines a morphism $\phi:X\setminus B\to\mathbb{P}^n$, where $B$ is the base locus of the linear system. Then Hartshorne claims that there is a natural way to extend this to a morphism $\widetilde{\phi}:\widetilde{X}\to\mathbb{P}^n$, where $\pi:\widetilde{X}\to X$ is the blow up along $B$. He claims that this follows from the fact that the $\pi^*s_i$ generate a line bundle on $\widetilde{X}$. My question is: how can this be true? If we are just pulling back the sections of $L$, then these should vanish on the exceptional divisor. So how can they generate an invertible sheaf on $\widetilde{X}$?
Edit: as was pointed out below, vanishing of the sections does not imply vanishing of the germs, so this is fine. However, I still do not see how the morphism to projective space is meant to be defined if the sections still all vanish along the exceptional divisor, regardless of whether they generate the stalk.

Best Answer

sorry for the late answer! I hope it helps a bit: For simplicity, I'll explain the idea for a smooth surface $S$ and the blow-up of a point but the general version works just like that: Instead of working with a line bundle $L$ on $S$ its better to take its (complete) linear system $|L|=\Gamma$ defined by the (equivalence class of) global sections of $L$.
Imagine you have a birational map $\phi_\Gamma:S \dashrightarrow \mathbf{P}^n$ determined by a linear system $\Gamma$ on $S$. Assume $p$ is a base point of $\Gamma$, so $\phi$ is not defined at $p$.Then blowing up $p$ gives a smooth surface $f: \tilde{S} \rightarrow S$ with exceptional divisor $E$. So now you want to get a new linear system $\Gamma'$ by pullback on $\tilde{S}$, which you get by $$f^*\Gamma = \Gamma' + kE$$ where $k$ is the multiplicity of $\Gamma$ at $p$.
So you get $\Gamma'$ by pulling back the curves (or sections if you prefer that language) from $\Gamma$ and then getting rid of $kE$ which is a fixed curve of the pullback linear system. Algebraically, you do exactly what @orangeskid mentioned in the comments. $kE$ is a divisor on $\tilde{S}$ and defined by a single polynomial and appears in every local equation for the members of $f^*\Gamma$ and subtracting $kE$ from this is factoring out this equation from every element of $f^*\Gamma$.
To get back the line bundle $L'$ on $\tilde{S}$, take any divisor (=curve) $D \in \Gamma'$ and consider $\mathcal{O}(D)$.