Resolución de Singularidades

Un proceso que produce un morfismo birracional propio f: X' → X desde una variedad o esquema liso X' hacia una variedad o esquema algebraico X dado, tal que f es un isomorfismo sobre el lugar regular de X y X' es liso; típicamente conseguido mediante una secuencia finita de blow-ups y transformaciones birracionales controladas.