En geometría algebraica , el problema de resolución de singularidades pregunta si toda variedad algebraica V tiene una resolución, que es una variedad no singular W con un mapa biracional adecuado W → V. Para variedades sobre campos de carácter 0 , esto fue demostrado por Heisuke Hironaka en 1964; [1] mientras que para variedades de dimensión al menos 4 en campos de característica p , es un problema abierto. [2]
Originalmente el problema de resolución de singularidades era encontrar un modelo no singular para el campo funcional de una variedad X , es decir, una variedad no singular completa X′ con el mismo campo funcional. En la práctica , es más conveniente pedir una condición diferente de la siguiente manera: una variedad X tiene una resolución de singularidades si podemos encontrar una variedad no singular X′ y un mapa biracional adecuado de X′ a X. La condición de que el mapa sea adecuado es necesaria para excluir soluciones triviales, como tomar X′ como la subvariedad de puntos no singulares de X.
De manera más general, suele ser útil resolver las singularidades de una variedad X incrustada en una variedad más grande W. Supongamos que tenemos una incrustación cerrada de X en una variedad regular W. Una fuerte desingularización de X viene dada por un morfismo biracional adecuado de una variedad regular W ′ a W sujeto a algunas de las siguientes condiciones (la elección exacta de las condiciones depende del autor):
Hironaka demostró que hay una fuerte desingularización que satisface las tres primeras condiciones anteriores siempre que X se define sobre un campo de característica 0, y varios autores mejoraron su construcción (ver más abajo) para que satisfaga todas las condiciones anteriores.
Cada curva algebraica tiene un modelo proyectivo no singular único, lo que significa que todos los métodos de resolución son esencialmente iguales porque todos construyen este modelo. En dimensiones superiores esto ya no es cierto: las variedades pueden tener muchos modelos proyectivos no singulares diferentes.
Kollár (2007) enumera alrededor de 20 formas de demostrar la resolución de singularidades de curvas.
La resolución de singularidades de curvas fue demostrada esencialmente por primera vez por Newton (1676), quien demostró la existencia de series de Puiseux para una curva de la que se deduce fácilmente la resolución.
Riemann construyó una superficie de Riemann suave a partir del campo funcional de una curva algebraica compleja, lo que proporciona una resolución de sus singularidades. Esto se puede hacer en campos más generales utilizando el conjunto de anillos de valoración discretos del campo como sustituto de la superficie de Riemann.
El método de Albanese consiste en tomar una curva que abarca un espacio proyectivo de dimensión suficientemente grande (más del doble del grado de la curva) y proyectarla repetidamente desde puntos singulares hacia espacios proyectivos de dimensión más pequeña. Este método se extiende a variedades de dimensiones superiores y muestra que cualquier variedad de n dimensiones tiene un modelo proyectivo con singularidades de multiplicidad como máximo n !. Para una curva, n = 1 y, por tanto, no hay puntos singulares.
Muhly y Zariski (1939) dieron un método de un solo paso para resolver singularidades de una curva tomando la normalización de la curva. La normalización elimina todas las singularidades en la codimensión 1, por lo que funciona para curvas pero no en dimensiones superiores.
Otro método de un solo paso para resolver singularidades de una curva es tomar un espacio de anillos de valoración del campo funcional de la curva. Este espacio se puede convertir en una curva proyectiva no singular biracional a la curva original.
Ampliar repetidamente los puntos singulares de una curva eventualmente resolverá las singularidades. La tarea principal de este método es encontrar una manera de medir la complejidad de una singularidad y demostrar que la explosión mejora esta medida. Hay muchas maneras de hacer esto. Por ejemplo, se puede utilizar el género aritmético de la curva.
El método de Noether toma una curva plana y aplica repetidamente transformaciones cuadráticas (determinadas por un punto singular y dos puntos en posición general). Finalmente, esto produce una curva plana cuyas únicas singularidades son puntos múltiples ordinarios (todas las rectas tangentes tienen multiplicidad dos).
El método de Bertini es similar al método de Noether. Comienza con una curva plana y aplica repetidamente transformaciones birracionales al plano para mejorar la curva. Las transformaciones birracionales son más complicadas que las transformaciones cuadráticas utilizadas en el método de Noether, pero producen el mejor resultado de que las únicas singularidades son puntos dobles ordinarios.
Las superficies tienen muchos modelos proyectivos no singulares diferentes (a diferencia del caso de las curvas donde el modelo proyectivo no singular es único). Sin embargo, una superficie todavía tiene una resolución mínima única, que todas las demás tienen en cuenta (todas las demás son resoluciones de la misma). En dimensiones superiores no es necesario que haya una resolución mínima.
Hubo varios intentos de demostrar la resolución de superficies sobre números complejos por parte de Del Pezzo (1892), Levi (1899), Severi (1914), Chisini (1921) y Albanese (1924), pero Zariski (1935, capítulo I sección 6 ) señala que ninguno de estos primeros intentos está completo y todos son vagos (o incluso erróneos) en algún punto crítico del argumento. La primera prueba rigurosa fue dada por Walker (1935), y Zariski (1939) dio una prueba algebraica para todos los campos de la característica 0. Abhyankar (1956) dio una prueba para superficies de característica distinta de cero. Lipman (1978) también ha demostrado la resolución de singularidades para todos los esquemas bidimensionales excelentes (incluidas todas las superficies aritméticas).
El método de resolución de singularidades de superficies de Zariski consiste en alternar repetidamente la normalización de la superficie (lo que elimina las singularidades de la codimensión 1) con la explosión de puntos (lo que mejora las singularidades de la codimensión 2, pero puede introducir nuevas singularidades de la codimensión 1). Aunque esto resolverá las singularidades de las superficies por sí solo, Zariski utilizó un método más indirecto: primero demostró un teorema de uniformización local que mostraba que toda valoración de una superficie podía resolverse, luego utilizó la compacidad de la superficie de Zariski-Riemann para demostrar que es posible encontrar un conjunto finito de superficies tal que el centro de cada valoración sea simple en al menos una de estas superficies, y finalmente al estudiar mapas biracionales entre superficies se demostró que este conjunto finito de superficies podría ser reemplazado por un único no singular superficie.
Al aplicar una fuerte resolución incrustada para las curvas, Jung (1908) las reduce a una superficie con singularidades bastante especiales (singularidades de cociente abeliano) que luego se tratan explícitamente. La versión de dimensiones superiores de este método es el método de De Jong.
En general, el análogo del método de Albanese para curvas muestra que para cualquier variedad se puede reducir a singularidades de orden como máximo n !, donde n es la dimensión. Para superficies, esto se reduce al caso de singularidades de orden 2, que son bastante fáciles de hacer explícitamente.
Abhyankar (1956) demostró la resolución de singularidades para superficies sobre un campo de cualquier característica demostrando un teorema de uniformización local para anillos de valoración. El caso más difícil son los anillos de valoración de rango 1 cuyo grupo de valoración es un subgrupo no discreto de números racionales. El resto de la prueba sigue el método de Zariski.
El método de Hironaka para variedades características arbitrarias proporciona un método de resolución para superficies, que implica ampliar repetidamente puntos o curvas suaves en el conjunto singular.
Lipman (1978) demostró que una superficie Y (un esquema noetheriano reducido bidimensional) tiene una desingularización si y sólo si su normalización es finita sobre Y y analíticamente normal (las terminaciones de sus puntos singulares son normales) y sólo tiene un número finito de puntos singulares. agujas. En particular, si Y es excelente , entonces tiene una desingularización.
Su método consistía en considerar superficies normales Z con un mapa biracional propio de Y y demostrar que existe uno mínimo con el mínimo género aritmético posible. Luego muestra que todas las singularidades de este Z mínimo son pseudoracionales, y muestra que las singularidades pseudoracionales pueden resolverse haciendo estallar puntos repetidamente.
El problema de la resolución de singularidades en dimensiones superiores es notorio por muchas pruebas publicadas incorrectamente y anuncios de pruebas que nunca aparecieron.
Para 3 veces, Zariski (1944) demostró la resolución de singularidades en la característica 0. Primero demostró un teorema sobre la uniformización local de anillos de valoración, válido para variedades de cualquier dimensión sobre cualquier campo de característica 0. Luego demostró que el espacio de valoraciones de Zariski-Riemann es cuasicompacto (para cualquier variedad de cualquier dimensión sobre cualquier campo ), lo que implica que existe una familia finita de modelos de cualquier variedad proyectiva, de modo que cualquier valoración tiene un centro suave sobre al menos uno de estos modelos. La parte final y más difícil de la prueba, que utiliza el hecho de que la variedad es de dimensión 3 pero que sirve para todas las características, es mostrar que dados 2 modelos se puede encontrar un tercero que resuelva las singularidades que tiene cada uno de los dos modelos dados. resolver.
Abhyankar (1966) demostró la resolución de singularidades para 3 veces en una característica mayor que 6. La restricción sobre la característica surge porque Abhyankar muestra que es posible resolver cualquier singularidad de una multiplicidad triple menor que la característica, y luego usa ¡El método de Albanese para mostrar que las singularidades se pueden reducir a las de multiplicidad como máximo (dimensión)! = 3! = 6. Cutkosky (2009) dio una versión simplificada de la prueba de Abhyankar.
Cossart y Piltant (2008, 2009) demostraron la resolución de singularidades de 3 veces en todas las características, demostrando una uniformización local en la dimensión 3 como máximo, y luego verificando que la prueba de Zariski de que esto implica una resolución de 3 veces todavía funciona en la característica positiva. caso.
Hironaka (1964) demostró por primera vez la resolución de singularidades en la característica 0 en todas las dimensiones. Demostró que era posible resolver singularidades de variedades en campos de característica 0 ampliando repetidamente subvariedades no singulares, utilizando un argumento muy complicado por inducción en la dimensión. Varias personas dieron versiones simplificadas de su formidable prueba, entre ellas Bierstone & Milman (1991), Bierstone & Milman (1997), Villamayor (1992), Encinas & Villamayor (1998), Encinas & Hauser (2002), Wlodarczyk (2005). , Kollár (2007). Algunas de las demostraciones recientes tienen aproximadamente una décima parte de la extensión de la demostración original de Hironaka y son bastante fáciles de dar en un curso introductorio de posgrado. Para una descripción expositiva del teorema, ver (Hauser 2003) y para una discusión histórica ver (Hauser 2000).
de Jong (1996) encontró un enfoque diferente para la resolución de singularidades, generalizando el método de Jung para superficies, que fue utilizado por Bogomolov & Pantev (1996) y por Abramovich & de Jong (1997) para demostrar la resolución de singularidades en la característica 0. El método dio un resultado más débil para variedades de todas las dimensiones en la característica p , que es lo suficientemente fuerte como para actuar como sustituto de la resolución para muchos propósitos. De Jong demostró que para cualquier variedad X sobre un campo existe un morfismo propio dominante que preserva la dimensión de una variedad regular sobre X. Esto no tiene por qué ser un mapa biracional, por lo que no es una resolución de singularidades, ya que puede ser genéricamente finito a uno y, por lo tanto , implica una extensión finita del campo funcional de X. La idea de De Jong era tratar de representar X como una fibración sobre un espacio más pequeño Y con fibras que son curvas (esto puede implicar modificar X ), luego eliminar las singularidades de Y por inducción en la dimensión, luego eliminar las singularidades en las fibras.
Es fácil ampliar la definición de resolución a todos los esquemas. No todos los esquemas tienen resoluciones de sus singularidades: Grothendieck y Dieudonné (1965, sección 7.9) demostraron que si un esquema localmente noetheriano X tiene la propiedad de que se pueden resolver las singularidades de cualquier esquema integral finito sobre X , entonces X debe ser casi excelente. . Grothendieck también sugirió que podría ocurrir lo contrario: en otras palabras, si un esquema X localmente noetheriano es reducido y casi excelente, entonces es posible resolver sus singularidades. Cuando X se define sobre un campo de característica 0 y es noetheriano, esto se desprende del teorema de Hironaka, y cuando X tiene dimensión como máximo 2, fue demostrado por Lipman.
Hauser (2010) hizo un análisis del trabajo sobre el problema de resolución p de la característica no resuelta .
La persistente percepción de que la prueba de la resolución es muy difícil se fue alejando gradualmente de la realidad. ... es factible demostrar resolución en las últimas dos semanas de un curso inicial de geometría algebraica.
(Kollár 2007, Conferencias sobre resolución de singularidades)
Hay muchas construcciones de fuerte desingularización pero todas dan esencialmente el mismo resultado. En todos los casos el objeto global (la variedad a desingularizar) se reemplaza por datos locales (el haz ideal de la variedad y los de los divisores excepcionales y algunos órdenes que representan cuánto debe resolverse el ideal en ese paso). Con estos datos locales se definen los centros de voladura. Los centros se definirán localmente y por lo tanto es un problema garantizar que coincidan en un centro global. Esto se puede hacer definiendo qué explosiones están permitidas para resolver cada ideal. Si se hace correctamente, esto hará que los centros coincidan automáticamente. Otra forma es definir un invariante local dependiendo de la variedad y la historia de la resolución (los centros locales anteriores) de modo que los centros consistan en el locus máximo del invariante. La definición de esto se hace de tal manera que hacer esta elección sea significativa, dando centros suaves transversales a los divisores excepcionales.
En cualquier caso el problema se reduce a resolver singularidades de la tupla formada por el haz ideal y los datos extra (los divisores excepcionales y el orden, d , al que debe llegar la resolución para ese ideal). Esta tupla se llama ideal marcado y el conjunto de puntos en los que el orden del ideal es mayor que d se llama co-soporte. La prueba de que existe una resolución para los ideales marcados se realiza por inducción sobre dimensión. La inducción se rompe en dos pasos:
Aquí decimos que un ideal marcado es de orden máximo si en algún punto de su co-soporte el orden del ideal es igual a d . Un ingrediente clave en la resolución fuerte es el uso de la función Hilbert-Samuel de los anillos locales de los puntos de la variedad. Este es uno de los componentes de la invariante de resolución.
La invariante más obvia de una singularidad es su multiplicidad. Sin embargo, esto no tiene por qué disminuir con la ampliación, por lo que es necesario utilizar invariantes más sutiles para medir la mejora.
Por ejemplo, la cúspide ramphoides y 2 = x 5 tiene una singularidad de orden 2 en el origen. Después de explotar en su punto singular, se convierte en la cúspide ordinaria y 2 = x 3 , que todavía tiene multiplicidad 2.
Está claro que la singularidad ha mejorado, ya que el grado de definición del polinomio ha disminuido. Esto no sucede en general. Un ejemplo en el que no es así lo da la singularidad aislada de x 2 + y 3 z + z 3 = 0 en el origen. Al expandirlo se obtiene la singularidad x 2 + y 2 z + yz 3 = 0. No es inmediatamente obvio que esta nueva singularidad sea mejor, ya que ambas singularidades tienen multiplicidad 2 y están dadas por la suma de monomios de grados 2, 3, y 4.
Una idea natural para mejorar las singularidades es hacer estallar el lugar de los "peores" puntos singulares. El paraguas Whitney x 2 = y 2 z tiene un conjunto singular en el eje z , la mayoría de cuyos puntos son puntos dobles ordinarios, pero hay una singularidad de punto de pellizco más complicada en el origen, por lo que hacer estallar los peores puntos singulares sugiere que uno debería comenzar haciendo estallar el origen. Sin embargo, al ampliar el origen se reproduce la misma singularidad en uno de los mapas de coordenadas. Entonces, hacer estallar los (aparentemente) "peores" puntos singulares no mejora la singularidad. En cambio, la singularidad se puede resolver explotando a lo largo del eje z .
Hay algoritmos que funcionan ampliando los "peores" puntos singulares en algún sentido, como (Bierstone y Milman 1997), pero este ejemplo muestra que la definición de los "peores" puntos debe ser bastante sutil.
Para singularidades más complicadas, como x 2 = y m z n, que es singular a lo largo de x = yz =0, hacer estallar la peor singularidad en el origen produce las singularidades x 2 = y m + n −2 z n y x 2 = y m z m + n −2 que son peores que la singularidad original si m y n son al menos 3.
Después de la resolución, la transformada total (la unión de la transformada estricta y los divisores excepcionales) es una variedad con singularidades del tipo cruces normales simples. Es natural considerar la posibilidad de resolver singularidades sin resolver este tipo de singularidades, esto es encontrar una resolución que sea un isomorfismo sobre el conjunto de puntos de cruce normales suaves y simples. Cuando la transformada estricta es un divisor (es decir, se puede incrustar como una codimensión de una subvariedad en una variedad suave) se sabe que existe una resolución fuerte que evita puntos de cruce normales simples. El paraguas de Whitney muestra que no es posible resolver singularidades evitando hacer estallar las singularidades de cruces normales.
Una forma natural de resolver singularidades es hacer estallar repetidamente alguna subvariedad suave elegida canónicamente. Esto se topa con el siguiente problema. El conjunto singular de x 2 = y 2 z 2 es el par de rectas dadas por los ejes y y z . Las únicas variedades razonables para hacer estallar son el origen, uno de estos dos ejes o el conjunto singular completo (ambos ejes). Sin embargo, no se puede utilizar todo el conjunto singular porque no es suave y elegir uno de los dos ejes rompe la simetría entre ellos, por lo que no es canónico. Esto significa que tenemos que empezar por hacer estallar el origen, pero esto reproduce la singularidad original, por lo que parece que estamos dando vueltas en círculos.
La solución a este problema es que aunque volar el origen no cambia el tipo de singularidad, sí da una sutil mejora: rompe la simetría entre los dos ejes singulares porque uno de ellos es un divisor excepcional para una explosión anterior, por lo que ahora está permitido volar sólo uno de ellos. Sin embargo, para aprovechar esto, el procedimiento de resolución debe tratar estas dos singularidades de manera diferente, aunque localmente sean iguales. Esto a veces se hace dándole algo de memoria al procedimiento de resolución, de modo que el centro de la ampliación en cada paso dependa no sólo de la singularidad, sino de las ampliaciones anteriores utilizadas para producirla.
Algunos métodos de resolución (en la característica 0) son funcionales para todos los morfismos suaves. Sin embargo, no es posible encontrar un functorial de resolución fuerte para todos los morfismos (posiblemente no suaves). Un ejemplo lo da el mapa del plano afín A 2 a la singularidad cónica x 2 + y 2 = z 2 tomando ( X , Y ) a (2 XY , X 2 − Y 2 , X 2 + Y 2 ). El plano XY ya no es singular, por lo que no debe cambiarse según la resolución, y cualquier resolución de la singularidad cónica se factoriza a través de la resolución mínima dada al hacer estallar el punto singular. Sin embargo, el mapa racional desde el plano XY hasta esta ampliación no se extiende a un mapa regular.
Las resoluciones mínimas (resoluciones tales que cada resolución las tiene en cuenta) existen en las dimensiones 1 y 2, pero no siempre en dimensiones superiores. El fracaso de Atiyah da un ejemplo en 3 dimensiones de una singularidad sin resolución mínima. Sean Y los ceros de xy = zw en A 4 y sea V la ampliación de Y en el origen. El lugar excepcional de esta explosión es isomorfo a P 1 × P 1 y puede reducirse a P 1 de dos maneras diferentes, dando dos resoluciones pequeñas X 1 y X 2 de Y , ninguna de las cuales puede reducirse más.
Kollár (2007, ejemplo 3.4.4, página 121) ofrece el siguiente ejemplo que muestra que no se puede esperar un procedimiento de resolución suficientemente bueno para conmutar con productos. Si f : A → B es la ampliación del origen de un cono cuádrico B en un espacio tridimensional afín, entonces f × f : A × A → B × B no puede producirse mediante un procedimiento de resolución local étale, esencialmente porque el locus excepcional tiene 2 componentes que se cruzan.
Las singularidades de variedades tóricas dan ejemplos de singularidades de alta dimensión que son fáciles de resolver explícitamente. Una variedad tórica se define por un abanico, una colección de conos en una red. Las singularidades se pueden resolver subdividiendo cada cono en una unión de conos, cada uno de los cuales es generado por una base para la red, y tomando la variedad tórica correspondiente.
La construcción de una desingularización de una variedad X puede no producir centros de explosiones que sean subvariedades suaves de X. Muchas construcciones de una desingularización de una variedad abstracta X proceden incrustando localmente X en una variedad suave W , considerando su ideal en W y calculando una desingularización canónica de este ideal. La desingularización de ideales utiliza el orden del ideal como medida de cuán singular es el ideal. La desingularización del ideal puede hacerse de tal manera que se pueda justificar que los centros locales se unan para dar centros globales. Este método conduce a una prueba que es relativamente más sencilla de presentar, en comparación con la prueba original de Hironaka, que utiliza la función de Hilbert-Samuel como medida de cuán malas son las singularidades. Por ejemplo, las pruebas de Villamayor (1992), Encinas & Villamayor (1998), Encinas & Hauser (2002) y Kollár (2007) utilizan esta idea. Sin embargo, este método sólo garantiza centros de voladuras regulares en W.
El siguiente ejemplo muestra que este método puede producir centros que tienen intersecciones no suaves con la (transformación estricta de) X. [3] Por lo tanto, la desingularización resultante, cuando se restringe a la variedad abstracta X , no se obtiene ampliando las subvariedades regulares de X.
Sea X la subvariedad del plano afín de cuatro dimensiones, con coordenadas x,y,z,w , generada por y 2 - x 3 y x 4 + xz 2 - w 3 . La desingularización canónica del ideal con estos generadores volaría el centro C 0 dado por x = y = z = w =0. La transformada del ideal en el gráfico x si se genera por x - y 2 e y 2 ( y 2 + z 2 - w 3 ). El siguiente centro de explosión de C 1 viene dado por x = y =0. Sin embargo, la transformada estricta de X es X 1 , que se genera por x - y 2 e y 2 + z 2 - w 3 . Esto significa que la intersección de C 1 y X 1 está dada por x = y =0 y z 2 - w 3 =0, lo cual no es regular.
Para producir centros de explosiones que sean subvariedades regulares de X, las pruebas más fuertes utilizan la función de Hilbert-Samuel de los anillos locales de X en lugar del orden de su ideal en la incrustación local en W. [4]
Después de la resolución, la transformada total, la unión de la transformada estricta, X , y el divisor excepcional, es una variedad que, en el mejor de los casos, puede tener singularidades de cruce normales simples. Entonces es natural considerar la posibilidad de resolver singularidades sin resolver este tipo de singularidades. El problema es encontrar una resolución que sea un isomorfismo sobre el conjunto de puntos de cruce normales suaves y simples. Cuando X es un divisor, es decir, puede incluirse como una subvariedad de codimensión uno en una variedad suave, se sabe que es cierta la existencia de una resolución fuerte que evita puntos de cruce normales simples. Aún no se conoce el caso general ni generalizaciones para evitar distintos tipos de singularidades. [5]
Evitar ciertas singularidades es imposible. Por ejemplo, no se pueden resolver singularidades evitando hacer estallar las singularidades de cruces normales. De hecho, para resolver la singularidad del punto de pellizco es necesario ampliar todo el lugar singular, incluidos los puntos donde están presentes singularidades de cruce normales.
