Resolution of Singularities

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A process that produces a proper birational morphism f: X' → X from a smooth (non-singular) variety or scheme X' to a given algebraic variety or scheme X such that f is an isomorphism over the regular locus of X and X' is smooth; typically achieved by a finite sequence of blowups and controlled birational transformations.