Un punto relacionado es que si dicen que la $X\subset Y$ y desea incrustado resolución de $X$, entonces usted puede, por supuesto, pedir que desea un birational de morfismos $\pi:Z\to Y$ de manera tal que la estricta transformación de $X$ es suave, pero una cosa mejor que preguntar es el de toda la pre-imagen de $X$ es tan agradable como sea posible. Por desgracia (en general) no puede hacer que la preimagen de $X$ liso como el excepcional conjunto de agregar componentes adicionales y dónde se reúnen va a ser un punto singular. Así, usted puede pedir que la mejor cosa siguiente: normal cruces. Incluso se podría decir que normal cruces es el reducible analógica de lisa.
De todos modos, este es el resultado de Hironaka, JS Milne mencionado anteriormente: para cualquier $X\subset Y$ (además de algunas suposiciones razonables), existe una proyectiva birational $\pi$ tal que $Z$ es suave y $\pi^{-1}X$ es normal en el cruce de divisor. Si $Y\setminus X$ es suave, entonces usted puede incluso requerir que $\pi$ es un isomorfismo fuera de $X$.
El compactification resultado es una simple consecuencia de esto: si $U$ es abierto (es decir cuasi-proyectiva), elija una proyectiva compactification $Y$ y deje $X=Y\setminus U$. Realizar Hironaka integrado de resolución de singularidades y consigue $U\subset Z$ con el complemento de ser una normal cruce de divisor.
Uno, un poco independiente de la palabra en normal cruces. Parece que hay cierta confusión en la literatura sobre lo normal cruces de decir. O más bien cuál es la diferencia entre normal cruces y simple normal cruces. Bueno, el punto es que (hoy en día), ésta se entiende en la topología de Zariski mientras que el primero en la analítica o formal de la topología. En otras palabras, simple normal cruces significa que cada componente irreducible es suave y se reúnen de manera transversal, mientras que la normal cruces permite un componente al encuentro de sí mismo de forma transversal. En particular, un nodal de la curva normal cruces pero no simple normal cruces.
En la discusión anterior y en las otras respuestas antes de esto, siempre se puede poner simple normal cruces en lugar de la normal de cruces y de las declaraciones que se mantenga así. Es posible que cuando Hironaka demostró su famoso teorema, esta distinción no se ha hecho así en los textos más antiguos que el significado puede ser diferente. Al mismo tiempo, de acuerdo a miles Reid, fue el Japonés que inventó el término simple normal cruces.