Skip to content

Commit

Permalink
Fix notation and proof
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Mar 2, 2023
1 parent cfe3928 commit 47b25e2
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions resolve.tex
Expand Up @@ -854,12 +854,13 @@ \section{Dominating by quadratic transformations}
X_n \to X_{n - 1} \to \ldots \to X_1 \to X_0 = X
$$
where $X_{i + 1} \to X_i$ is the blowing up of $X_i$ at a closed
point $x_i$ lying above a point of $T$ such that
point lying above a point of $T$ such that
$\mathcal{I}\mathcal{O}_{X_n}$ is an invertible ideal sheaf.
\end{lemma}

\begin{proof}
Say $T = \{x_1, \ldots, x_r\}$. Set
Say $T = \{x_1, \ldots, x_r\}$. Denote $I_i$ the stalk of $\mathcal{I}$ at
$x_i$. Set
$$
n_i = \text{length}_{\mathcal{O}_{X, x_i}}(\mathcal{O}_{X, x_i}/I_i)
$$
Expand Down

0 comments on commit 47b25e2

Please sign in to comment.