Non-smoothable curve singularities

Resumen Técnico: Singularidades de Curvas No Suavizables

Planteamiento del Problema
El artículo aborda la teoría de deformación de singularidades de curvas reducidas. Si bien se sabe que todos los componentes de suavización del espacio de deformación versal de una singularidad de curva comparten la misma dimensión, el espacio de deformación en sí mismo puede contener componentes de diferentes dimensiones. El problema central investigado es la naturaleza de las "singularidades genéricas" que aparecen como la fibra general sobre un componente no suavizable —es decir, aquellas que no pueden deformarse en una curva suave— y el autor busca identificar qué singularidades son inherentemente no suavizables y proporcionar ejemplos explícitos de tales singularidades, incluyendo casos previamente desconocidos de singularidades de curvas de Gorenstein no suavizables.

Metodología
El autor emplea dos métodos generales primarios para establecer la no suavizabilidad, complementados con álgebra computacional:

1. El argumento de la "Gran Familia": Este método, basado en el trabajo de Mumford y refinado por Greuel, consiste en exhibir una familia de singularidades $\pi: C_T \to T$ con una sección singular tal que la dimensión del espacio de parámetros $T$ sea al menos igual al número de Deligne $e(C_0)$ (la dimensión de un componente de suavización). Si la familia es irreducible y no contiene fibras suaves, la fibra general no puede ser suavizable, ya que su imagen en el espacio de deformación versal tendría una dimensión $\ge e(C_0)$ pero no podría constituir un componente de suavización.
2. El Criterio de Buchweitz: Este método utiliza la semicontinuidad de un invariante específico relacionado con el diferente de Dedekind. Para una singularidad de curva $C$, el autor define el invariante de Dedekind normalizado $d_k$. Si $C$ es suavizable (o se deforma a una singularidad de Gorenstein), entonces debe cumplirse que $d_k \le 2k\delta$ para todo $k$, donde $\delta$ es el grado de la singularidad. La violación de esta desigualdad demuestra la no suavizabilidad.
3. Álgebra Computacional: El artículo depende fuertemente de sistemas de álgebra computacional (Singular y Macaulay2) para calcular deformaciones infinitesimales ($T^1$), espacios de obstrucción ($T^2$) y los invariantes específicos requeridos para el criterio de Buchweitz. El análisis se centra intensamente en singularidades cuasi-homogéneas, particularmente curvas monomiales y conos sobre conjuntos de puntos en el espacio proyectivo, donde las acciones de $G_m$ simplifican los cálculos.

Contribuciones Clave y Resultados

• Revisión de Ejemplos Conocidos: El artículo analiza sistemáticamente ejemplos conocidos de no suavizabilidad, tales como curvas monomiales y conos sobre líneas que pasan por el origen ($L^n_r$). Proporciona cálculos explícitos del número de Deligne $e$ y la dimensión del espacio de deformación para configuraciones genéricas.
• Singularidades de Gorenstein No Suavizables: Una contribución significativa es la construcción de singularidades de curvas de Gorenstein no suavizables. Dado que el criterio de Buchweitz es trivial para curvas de Gorenstein (donde $d_k = 2k\delta$), el autor utiliza una construcción de doble recubrimiento basada en semigrupos de Stöhr-Torres.
  • Proposición 4.2: El autor presenta una singularidad de curva de Gorenstein específica y no suavizable, $L^{13}_{26}$, que es el cono sobre un conjunto de puntos auto-asociado. Se demuestra que esta singularidad no es suavizable porque su deformación conduce a una singularidad no suavizable ($L^9_{13}$) a través de una trayectoria de deformación específica.
• Conos sobre Conjuntos de Puntos Auto-asociados: El artículo investiga conos sobre conjuntos de puntos auto-asociados (donde la transformada de Gale es proyectivamente equivalente al conjunto original).
  • Teoremas 4.5 y 4.7: Se demuestra que el cono de Gorenstein general sobre un conjunto de puntos auto-asociado en $\mathbb{P}^{n-1}$ (específicamente $L^{n-1}_{2n}$) no es suavizable si la genus $g \ge 11$. Para $g \le 8$ y $g=10$, la suavizabilidad se cumple o es condicional. Este resultado conecta la no suavizabilidad con el hecho de que el conjunto de puntos no puede ser una sección hiperplana de una curva canónica de género $g$.
• Curvas Monomiales Explícitas No Suavizables: El artículo proporciona nuevos ejemplos explícitos de curvas monomiales no suavizables, incluyendo casos donde el criterio de Buchweitz falla para $k=1$ pero tiene éxito para $k=2$ (Ejemplo 2.7), y ejemplos con dimensiones de embebido menores (Ejemplo 2.8).
• Casos Irreducibles vs. Reducibles: El autor distingue entre singularidades irreducibles y reducibles. Mientras que muchos ejemplos de no suavizabilidad son reducibles (por ejemplo, uniones de líneas), el artículo construye curvas irreducibles no suavizables (Teorema 3.9) y señala que muchas singularidades no suavizables se deforman en curvas con ramas suaves.
• Anomalías Dimensionales: El artículo identifica ejemplos donde la dimensión del espacio base de la deformación versal es estrictamente menor que el número de Deligne $e$ (Ejemplo 1.9), desafiando las expectativas dimensionales simples.

Significancia y Reivindicaciones
El artículo afirma avanzar en la comprensión de la estructura de los espacios de deformación para las singularidades de curvas mediante:

1. Proporcionar los primeros ejemplos explícitos de singularidades de curvas de Gorenstein no suavizables, una clase que anteriormente se pensaba que era más propensa a la suavización o que carecía de contraejemplos conocidos.
2. Establecer un umbral preciso ($g \ge 11$) para la no suavizabilidad de los conos sobre conjuntos de puntos auto-asociados generales, vinculando esta propiedad geométrica con la imposibilidad de que estos conjuntos sean secciones hiperplanares de curvas canónicas.
3. Ofrecer un marco teórico y computacional exhaustivo para determinar la no suavizabilidad, combinando el conteo de dimensiones de la "gran familia" con el invariante de Buchweitz.

El autor concluye modestamente que, si bien el conocimiento de las singularidades no suavizables se está expandiendo, sigue siendo limitado, particularmente en lo que respecta a las curvas irreducibles con grandes dimensiones de embebido. Basándose en la evidencia colectada, el artículo propone la Conjetura 5.1: Todas las ramas de las singularidades de curvas genéricas son suaves. Esto sugiere que, aunque la singularidad global pueda no ser suavizable, sus ramas analíticas locales son suaves, incluso si sus tangentes no están en posición general.