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.

Principle

Replace or dominate a singular algebraic object by a smooth model that has the same function field and agrees away from singular points, enabling transfer of geometric and cohomological questions to the smooth setting.

Demonstration

For a plane curve with an ordinary cusp y^2 = x^3, perform successive blowups at the singular point to obtain a new curve without the cusp; more generally, a sequence of blowups centered at carefully chosen smooth subvarieties resolves many classes of singularities in characteristic zero.

Misapplication

Assuming that an arbitrary sequence of blowups will resolve all singularities without controlling centers, or applying resolution procedures blindly in settings where existence is delicate (e.g., certain cases in positive characteristic) and thereby claiming a canonical or unique outcome.

Consequence

A successful resolution allows the use of tools that require smoothness (intersection theory, duality, canonical divisors, Hodge-theoretic techniques) and often yields invariants of the original variety (discrepancies, exceptional divisors) that are central to birational classification.

Reversal

Singularization or contraction procedures contract divisors or loci to produce singular models from smooth ones; minimal model programs produce controlled singularities rather than full desingularization by adding allowed singularities.

Boundary

Typically formulated for schemes or varieties of finite type over a field; existence is well-established in characteristic zero but more delicate and partially unresolved in high dimensions in positive characteristic, and analytic or formal categories require adapted statements. Resolution does not generally preserve extra structures (e.g., group actions) without additional care.

Semantic Tension

Tension exists between resolution and normalization (normalization removes non-normality but need not achieve smoothness) and between full resolution and approaches that allow controlled singularities (minimal models); there is also tension between canonical, functorial resolutions and algorithms that depend on choices.

Synthesis

Resolution of singularities is a birational process—usually by controlled blowups—that replaces a singular algebraic object by a smooth one dominating it, enabling the transport of geometric and cohomological problems into the smooth category while introducing exceptional divisors that record the original singularities.