Lemma 31.35.1. Let $S$ be a scheme. Let $\mathcal{F}$ be a finite type quasi-coherent $\mathcal{O}_ S$-module. Let $Z_ k \subset S$ be the closed subscheme cut out by $\text{Fit}_ k(\mathcal{F})$, see Section 31.9. Let $S' \to S$ be the blowup of $S$ in $Z_ k$ and let $\mathcal{F}'$ be the strict transform of $\mathcal{F}$. Then $\mathcal{F}'$ can locally be generated by $\leq k$ sections.
31.35 Blowing up and flatness
We continue the discussion started in More on Algebra, Section 15.26. We will prove further results in More on Flatness, Section 38.30.
Proof. Recall that $\mathcal{F}'$ can locally be generated by $\leq k$ sections if and only if $\text{Fit}_ k(\mathcal{F}') = \mathcal{O}_{S'}$, see Lemma 31.9.4. Hence this lemma is a translation of More on Algebra, Lemma 15.26.3. $\square$
Lemma 31.35.2. Let $S$ be a scheme. Let $\mathcal{F}$ be a finite type quasi-coherent $\mathcal{O}_ S$-module. Let $Z_ k \subset S$ be the closed subscheme cut out by $\text{Fit}_ k(\mathcal{F})$, see Section 31.9. Assume that $\mathcal{F}$ is locally free of rank $k$ on $S \setminus Z_ k$. Let $S' \to S$ be the blowup of $S$ in $Z_ k$ and let $\mathcal{F}'$ be the strict transform of $\mathcal{F}$. Then $\mathcal{F}'$ is locally free of rank $k$.
Proof. Translation of More on Algebra, Lemma 15.26.4. $\square$
Lemma 31.35.3. Let $X$ be a scheme. Let $\mathcal{F}$ be a finitely presented $\mathcal{O}_ X$-module. Let $U \subset X$ be a scheme theoretically dense open such that $\mathcal{F}|_ U$ is finite locally free of constant rank $r$. Then
the blowup $b : X' \to X$ of $X$ in the $r$th Fitting ideal of $\mathcal{F}$ is $U$-admissible,
the strict transform $\mathcal{F}'$ of $\mathcal{F}$ with respect to $b$ is locally free of rank $r$,
the kernel $\mathcal{K}$ of the surjection $b^*\mathcal{F} \to \mathcal{F}'$ is finitely presented and $\mathcal{K}|_ U = 0$,
$b^*\mathcal{F}$ and $\mathcal{K}$ are perfect $\mathcal{O}_{X'}$-modules of tor dimension $\leq 1$.
Proof. The ideal $\text{Fit}_ r(\mathcal{F})$ is of finite type by Lemma 31.9.2 and its restriction to $U$ is equal to $\mathcal{O}_ U$ by Lemma 31.9.5. Hence $b : X' \to X$ is $U$-admissible, see Definition 31.34.1.
By Lemma 31.9.5 the restriction of $\text{Fit}_{r - 1}(\mathcal{F})$ to $U$ is zero, and since $U$ is scheme theoretically dense we conclude that $\text{Fit}_{r - 1}(\mathcal{F}) = 0$ on all of $X$. Thus it follows from Lemma 31.9.5 that $\mathcal{F}$ is locally free of rank $r$ on the complement of subscheme cut out by the $r$th Fitting ideal of $\mathcal{F}$ (this complement may be bigger than $U$ which is why we had to do this step in the argument). Hence by Lemma 31.35.2 the strict transform
\[ b^*\mathcal{F} \longrightarrow \mathcal{F}' \]
is locally free of rank $r$. The kernel $\mathcal{K}$ of this map is supported on the exceptional divisor of the blowup $b$ and hence $\mathcal{K}|_ U = 0$. Finally, since $\mathcal{F}'$ is finite locally free and since the displayed arrow is surjective, we can locally on $X'$ write $b^*\mathcal{F}$ as the direct sum of $\mathcal{K}$ and $\mathcal{F}'$. Since $b^*\mathcal{F}'$ is finitely presented (Modules, Lemma 17.11.4) the same is true for $\mathcal{K}$.
The statement on tor dimension follows from More on Algebra, Lemma 15.8.10. $\square$
Comments (0)