The Complete Intersection Discrepancy of a Curve II: Families of Curves

Aquí presento un resumen técnico detallado del artículo "The Complete Intersection Discrepancy of a Curve II: Families of Curves" (La discrepancia de intersección completa de una curva II: Familias de curvas) de Andrei Bengus-Lasnier, Terence Gaffney y Antoni Rangachev.

1. Planteamiento del Problema

El artículo aborda el problema de la equisingularidad en familias de curvas analíticas complejas reducidas sobre espacios de parámetros suaves de dimensión arbitraria positiva ($k \ge 1$).

El objetivo central es encontrar criterios numéricos y geométricos que caractericen cuándo una familia de curvas es Whitney equisingular (o equivalentemente, admite una resolución simultánea fuerte). Históricamente, los resultados en este campo, como los de Buchweitz y Greuel, se limitaban a familias de un parámetro ($k=1$). Este trabajo busca extender estas caracterizaciones a dimensiones superiores del espacio de parámetros, utilizando invariantes analíticos específicos de las singularidades de curvas.

Los autores se centran en la diferencia entre dos invariantes analíticos de una singularidad de curva $(X_0, 0)$:

1. La multiplicidad del ideal jacobiano $e(\text{Jac}(X_0))$.
2. La discrepancia de intersección completa ($\text{cid}(X_0, 0)$), un invariante intrínseco definido como el número de intersección entre la curva y un complemento de intersección completa genérico.

2. Metodología

La metodología combina técnicas de geometría algebraica, teoría de singularidades y topología algebraica:

• Deformaciones Planas y Familias: Se estudian familias planas de curvas $h: (X, 0) \to (Y, 0)$ donde $Y$ es suave. Se construyen familias de intersecciones completas $(Z, 0)$ que contienen a $(X, 0)$ mediante combinaciones lineales genéricas de las ecuaciones definitorias.
• Geometría Conormal y Nash: Se utilizan los espacios conormales relativos ($C_h(X)$) y los blow-ups de Nash relativos ($N_h(X)$). La equidimensionalidad de las fibras de los divisores excepcionales de estos espacios es clave para caracterizar la equisingularidad.
• Variedades Polares Relativas: Se define la variedad polar relativa $\Gamma^k_h(X)$ como el cierre de los puntos críticos de una función lineal genérica restringida a la parte suave de las fibras.
• Multiplicidades de Buchsbaum-Rim e Integral Closure: Se emplea la multiplicidad de Buchsbaum-Rim para módulos y la teoría de clausura integral de ideales y módulos para relacionar la multiplicidad del ideal jacobiano con la discrepancia de intersección completa.
• Fórmulas de Riemann-Hurwitz: Se deriva una fórmula de Riemann-Hurwitz para curvas singulares que relaciona la característica de Euler, el grado de una proyección y los puntos críticos, generalizando resultados clásicos.

3. Contribuciones Clave y Resultados Principales

A. Teorema 1.2: Criterio de Multiplicidad para la Equisingularidad

El resultado central establece una relación cuantitativa entre la variación de los invariantes de la singularidad y la geometría de las variedades polares. Para una familia plana $h: (X, 0) \to (Y, 0)$ de dimensión $k$:

$$e(\text{Jac}(X_0)) - \text{cid}(X_0) - (e(\text{Jac}(X_y)) - \text{cid}(X_y)) = \deg_Y \Gamma^k_h(X)$$

donde $y$ pertenece a un subconjunto abierto de Zariski de $Y$.

• Implicación: La diferencia entre el valor en la fibra especial y el valor genérico es exactamente el grado de la variedad polar relativa. Esto proporciona un criterio de multiplicidad para la equisingularidad de Whitney.

B. Teorema 1.3: Caracterización de la Equisingularidad de Whitney

Se demuestra la equivalencia de cuatro condiciones para una familia de curvas reducidas con una sección:

1. La función $y \mapsto e(\text{Jac}(X_y, 0)) - \text{cid}(X_y, 0)$ es constante.
2. La variedad polar relativa $\Gamma^k_h(X)$ es vacía (equivalente a que las fibras del espacio conormal relativo y del blow-up de Nash relativo sean equidimensionales).
3. La familia es Whitney equisingular.
4. La familia admite una resolución simultánea fuerte.

Este teorema generaliza resultados previos de Teissier y Gaffney a dimensiones arbitrarias del espacio de parámetros.

C. Teorema 6.5: Semicontinuidad Superior de Zariski del Número de Milnor

Se prueba que el número de Milnor (sumado sobre todos los puntos singulares de la fibra) es semicontinuo superiormente de Zariski para familias de curvas reducidas sobre espacios de parámetros de dimensión arbitraria.

• Se establece la relación: $\mu_0 - \mu_y = 1 - \chi(X_y)$ para $y$ genérico, donde $\chi$ es la característica de Euler.
• Esto generaliza resultados de Buchweitz y Greuel que solo eran válidos para familias de un parámetro.

D. Teorema 1.4: Equisingularidad Topológica

Se caracteriza la equisingularidad topológica (trivialidad topológica de la familia) mediante la constancia del número de Milnor.

• Si la familia tiene componentes irreducibles que se intersectan en un solo punto (o es irreducible), la constancia de $\mu_y$ implica que la familia es topológicamente trivial (tras reducir el espacio de parámetros).
• Esto resuelve un problema abierto sobre la extensión de los resultados de Buchweitz-Greuel a dimensiones superiores sin asumir la existencia de una sección que parametrice los puntos singulares.

E. Fórmula de Riemann-Hurwitz para Curvas Singulares (Sección 5)

Se demuestra una fórmula que relaciona la característica de Euler de una curva singular con el número de puntos críticos de una función lineal genérica y las multiplicidades de los puntos singulares:
$$\chi(X) = d - \left( \#\text{Crit}(F|_{X_{sm}}) + \sum_{x \in X_{sing}} (m_x - 1) \right)$$
donde $d$ es el grado de la proyección. Esta fórmula es fundamental para probar la semicontinuidad del número de Milnor.

4. Significado e Impacto

1. Generalización Dimensional: El trabajo rompe la barrera de la dimensión del espacio de parámetros. Antes, la caracterización de la equisingularidad de Whitney mediante invariantes numéricos (como la constancia de $\mu$ y $m$) solo se conocía rigurosamente para familias de un parámetro. Este artículo extiende estos resultados a familias de cualquier dimensión positiva.
2. Nueva Invariante Correctora: Introduce y utiliza sistemáticamente la discrepancia de intersección completa ($\text{cid}$) como un término corrector necesario. El artículo muestra que la constancia de la multiplicidad del ideal jacobiano por sí sola no es suficiente para garantizar la equisingularidad de Whitney (como se demuestra en el Ejemplo 7.8), y que la combinación $e(\text{Jac}) - \text{cid}$ es el invariante correcto.
3. Conexión entre Geometría y Topología: Establece un puente sólido entre la geometría algebraica (espacios conormales, variedades polares, multiplicidades de módulos) y la topología de las singularidades (número de Milnor, trivialidad topológica).
4. Aplicaciones a la Fórmula de Plücker y Milnor: Los resultados se aplican para dar nuevas pruebas de la unicidad de la fibra de Milnor y generalizar fórmulas clásicas como la de Plücker a curvas de codimensión arbitraria.

En resumen, el artículo proporciona un marco teórico completo y robusto para el estudio de familias de curvas singulares en dimensiones superiores, resolviendo problemas abiertos sobre la relación entre la equisingularidad algebraica (Whitney), la resolución simultánea y la topología, mediante el uso innovador de la discrepancia de intersección completa y la geometría de variedades polares.