## [Resolución de Singularidades](/es/node/60240) Definición 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 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 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 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 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 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 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 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 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.