Isolated Hypersurface Singularities May Be Stably Degenerate

Resumen Técnico: Las singularidades de hipersuperficies aisladas pueden ser establemente degeneradas

Planteamiento del problema
El artículo aborda una pregunta de larga data en la teoría de singularidades planteada originalmente por Arnol'd en 1975: ¿admite toda singularidad de hipersuperficie aislada una equivalencia estable a un polinomio Newton no degenerado? Un polinomio es Newton no degenerado si su restricción al toro $(\mathbb{C}^*)^N$ no tiene puntos críticos en ninguna cara compacta de su poliedro de Newton. Si bien se sabe que las singularidades pueden ser degeneradas en cualquier sistema de coordenadas fijo, la cuestión sigue siendo si la estabilización (añadir formas cuadráticas no degeneradas en nuevas variables) puede siempre eliminar la degeneración. Los autores demuestran la existencia de contraejemplos a esta conjetura.

Metodología
La prueba es un argumento de existencia que se basa en la interacción entre la estructura de Hodge mixta de los loci de contacto y la geometría de los espacios de módulos de variedades abelianas. La estrategia central consiste en construir una singularidad específica $f$ y demostrar que sus invariantes estables no pueden provenir de ninguna familia de singularidades Newton no degeneradas.

1. Construcción de la singularidad:
   Los autores construyen un polinomio $f = F + h$, donde:

   • $F$ es un polinomio homogéneo de grado $d$ que define una hipersuperficie en el espacio proyectivo que es biracional a una variedad abeliana principalmente polarizada $A$ "suficientemente general" de alta dimensión ($g \geq 16$).
   • $h$ es un polinomio de grado estrictamente mayor que $d$ (por ejemplo, de tipo Fermat) que asegura que $f$ tenga una singularidad aislada en el origen.
   • La variedad abeliana específica $A$ es elegida para satisfacer tres propiedades (Lema 3.3): no está contenida en ninguna subvariedad racional de su espacio de módulos, su clase de isogenia no contiene ninguna variedad que sea la fibra genérica de un morfismo definido sobre $\mathbb{Q}$ con estructura de Hodge constante, y su grupo de Néron-Severi tiene rango 1.

2. Loci de contacto y estructuras de Hodge mixtas:
   Los autores analizan el locus de contacto $\chi_f$, el espacio de $d$-jets de curvas tangentes a la singularidad. Computan la estructura de Hodge mixta (MHS) de la cohomología de soporte compacto del locus de contacto de una estabilización $f_k$.

   • Un resultado clave (Lema 6.10) establece que una pieza de peso específico de la MHS del locus de contacto de $f_k$ es isomórfica a un giro de Tate de la cohomología de la variedad abeliana $A$ (específicamente $H^{2g-1}(A; \mathbb{Q})(-m)$).

3. Contradicción vía espacios de módulos:
   La prueba procede por contradicción. Supongamos que una estabilización de $f$ fuera Newton no degenerada tras un cambio de coordenadas.

   • El espacio de polinomios Newton no degenerados con un poliedro de Newton fijo forma una familia parametrizada por una variedad racional $T$.
   • Para tales familias, la cohomología del locus de contacto forma un haz localmente constante (Lema 5.8), induciendo un mapa de periodo desde el espacio de parámetros $T$ hacia el espacio de módulos de variedades abelianas polarizadas $A_{g, \delta}$.
   • Dado que $T$ es racional y el espacio de módulos $A_{g, \delta}$ (para $g \geq 16$) es de tipo general (y, por lo tanto, no contiene curvas racionales que pasen por un punto suficientemente general), cualquier mapa algebraico de $T$ a $A_{g, \delta}$ debe ser constante.
   • Sin embargo, la variedad abeliana $A$ construida específicamente fue elegida para encontrarse fuera de la imagen de cualquier tal mapa constante definido sobre $\mathbb{Q}$ (Lema 3.3). Esta contradicción implica que ningún cambio de coordenadas puede hacer que la estabilización sea Newton no degenerada.

Contribuciones y resultados clave

• Teorema 1.1: Se demuestra la existencia de una singularidad de hipersuperficie aislada que es establemente degenerada. Esto proporciona una respuesta negativa al problema de Arnol'd de 1975.
• Caracterización geométrica: El artículo identifica que la obstrucción a la no degeneración estable reside en las propiedades geométricas globales del espacio de módulos de variedades abelianas. Específicamente, la "no uniruledad" (ser de tipo general) de los espacios de módulos de alta dimensión impide que ciertas estructuras de Hodge sean realizadas por familias de singularidades Newton no degeneradas.
• Existencia algorítmica: Aunque la prueba principal es no constructiva, la Sección 8 esboza un algoritmo teórico para producir un ejemplo explícito. Esto implica el uso de técnicas de bases de Gröbner para encontrar un punto en el espacio de módulos de variedades abelianas con coordenadas algebraicamente independientes, asegurando que la singularidad resultante satisfaga las restricciones necesarias. Los autores señalan que esto es computacionalmente inviable en la práctica debido a la complejidad doble exponencial y al grado masivo de los polinomios resultantes.

Significado
El artículo resuelve un problema abierto fundamental en la teoría de singularidades al demostrar que la clase de singularidades Newton no degeneradas no es establemente equivalente a la clase de todas las singularidades de hipersuperficie aisladas. La importancia del resultado es doble:

1. Teórica: Establece una conexión profunda entre las propiedades analíticas locales de las singularidades y la geometría global de los espacios de módulos de variedades abelianas.
2. Metodológica: Introduce el uso de estructuras de Hodge mixtas en los loci de contacto como un invariante poderoso para distinguir clases de equivalencia estable, aprovechando específicamente la rigidez de los mapas de periodo en espacios de módulos de tipo general.

Los autores señalan que su argumento depende de la existencia de variedades abelianas de dimensión $g \geq 16$ con propiedades específicas, y hacen referencia al trabajo de Stevens que sugiere que tales singularidades podrían ser genéricas dentro de ciertos estratos de número de Milnor constante. El artículo concluye sugiriendo que combinar estos métodos con la teoría de Floer podría potencialmente fortalecer el resultado para mostrar que tales singularidades no pueden deformarse en singularidades Newton no degeneradas dentro de una familia $\mu$-constante.