Una operación geométrica birracional que reemplaza una subvariedad elegida por sus direcciones normales proyectivizadas (el divisor excepcional), modificando la estructura local para separar tangentes y, con frecuencia, resolver o reducir singularidades.

Principio

Sustituir un centro (punto, subvariedad o ideal) por el fibrado proyectivo de direcciones normales para crear una nueva variedad con un morfismo birracional propio a la original, aislando así direcciones y alterando multiplicidades y comportamiento de intersección.

Demostración

El blow-up del origen en el plano afín reemplaza el origen por una recta proyectiva que parametriza direcciones tangentes; en coordenadas, Proj del álgebra de Rees introduce un divisor excepcional y produce cartas donde la transformada estricta de una curva tiene multiplicidad de singularidad reducida.

Aplicación incorrecta

Intentar hacer blow-up de un centro no reducido o mal especificado sin verificar hipótesis esquemáticas, o esperar que un blow-up elimine todo comportamiento patológico en un solo paso; los blow-ups iterativos sin control pueden crear loci excepcionales más complicados.

Consecuencia

Herramienta para resolver o separar singularidades, calcular transformadas de divisores y números de intersección, y producir modificaciones birracionales controladas; blow-ups sucesivos conducen a secuencias de resolución en muchos contextos.

Inversión

El blow-down es la operación inversa que contrae un divisor excepcional de vuelta al centro original; la inversión subraya que no todo divisor es algebraicamente contráctil y que la contracción puede reintroducir singularidades.

Límite

Definido en la categoría algebraica (o de esquemas) y para centros especificados; excluye cirugías topológicas no algebraicas y no garantiza la obtención de variedades lisas sin elegir centros con cuidado y, posiblemente, repetir pasos.

Tensión semántica

Compite con otras técnicas de desingularización (normalización, blow-ups ponderados, cambio de base) y con modificaciones analíticas o topológicas; la elección de centro y peso produce transformadas con distintos compromisos entre simplicidad y control.

Síntesis

El blow-up es una modificación birracional canónica que sustituye una subvariedad por sus direcciones normales proyectivizadas (divisor excepcional) para separar datos tangenciales y controlar singularidades; usado en secuencias apropiadas, es un paso fundamental hacia la resolución y el estudio detallado de la geometría local.