Solitons: Differential equations, symmetries, and infinite-dimensional algebras
《Solitons: Differential equations, symmetries, and infinite-dimensional algebras》 · 第 413 页 · Definition 13.90
Let $X$ be a scheme and let $Z$ be a closed subscheme. A blow-up of $X$ along $Z$ is a scheme $\widetilde X$ and a morphism $\pi:\widetilde X\to X$ such that $\pi^{-1}(Z)$ is an effective Cartier divisor and which is universal with respect to this property.