A blow-up center is the closed subscheme of a scheme
along which an algebraic
blow-up
is performed. Equivalently, the center is specified by an ideal
sheaf that is a quasi-coherent sheaf
and defines
(Stacks Project 2026).
The morphism is an isomorphism away from
its center, and the inverse image of the center
is the exceptional divisor.