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.

Principio

Sustituir o dominar un objeto algebraico singular por un modelo liso que tenga el mismo cuerpo de funciones y coincida fuera de los puntos singulares, permitiendo transferir preguntas geométricas y cohomológicas al marco liso.

Demostración

Para una curva plana con una cúspide ordinaria y^2 = x^3, realizar blow-ups sucesivos en el punto singular para obtener una curva sin cúspide; en general, una sucesión de blow-ups centrados en subvariedades lisas elegidas con cuidado resuelve muchas clases de singularidades en característica cero.

Aplicación incorrecta

Asumir que una secuencia arbitraria de blow-ups resolverá todas las singularidades sin controlar los centros, o aplicar procedimientos de resolución en contextos donde la existencia es delicada (p. ej., ciertos casos en característica positiva) y afirmar erróneamente un resultado canónico o único.

Consecuencia

Una resolución exitosa permite usar herramientas que requieren lisez (teoría de intersección, dualidad, divisores canónicos, técnicas hodgeanas) y a menudo produce invariantes de la variedad original (discrepancias, divisores excepcionales) que son centrales para la clasificación birracional.

Inversión

La singularización o los procedimientos de contracción contraen divisores o lugares para producir modelos singulares a partir de modelos lisos; los programas del modelo minimal introducen singularidades controladas en lugar de una desingularización completa.

Límite

Formulado típicamente para esquemas o variedades de tipo finito sobre un cuerpo; la existencia está bien establecida en característica cero pero es más delicada y parcialmente irresuelta en altas dimensiones en característica positiva, y las categorías analíticas o formales requieren enunciados adaptados. La resolución no preserva en general estructuras adicionales (por ejemplo, acciones de grupos) sin precauciones.

Tensión semántica

Existe tensión entre resolución y normalización (la normalización elimina la no-normalidad pero no garantiza lisez) y entre la resolución completa y enfoques que permiten singularidades controladas (modelos mínimos); también tensión entre resoluciones canónicas/functoriales y algoritmos basados en elecciones.

Síntesis

La resolución de singularidades es un proceso birracional —por lo general mediante blow-ups controlados— que reemplaza un objeto algebraico singular por uno liso que lo domina, permitiendo trasladar problemas geométricos y cohomológicos al contexto liso al tiempo que introduce divisores excepcionales que registran las singularidades originales.