On the addition technique for Betti and Poincaré polynomials of plane curves

Resumen Técnico: Sobre la técnica de adición para los polinomios de Betti y de Poincaré de curvas planas

Planteamiento del problema
El artículo investiga las propiedades topológicas y algebraicas de las curvas planas reducidas en el plano proyectivo complejo $\mathbb{P}^2_{\mathbb{C}}$, centrándose específicamente en cómo se comportan los polinomios de Poincaré y de Betti bajo la "técnica de adición". Esta técnica consiste en analizar la unión de dos curvas reducidas, $C_1$ y $C_2$, cuya intersección es de dimensión cero. El estudio está motivado por la teoría clásica de arreglos de hiperplanos centrales, donde un conocido teorema de adición-eliminación (Teorema 1.1) relaciona el polinomio de Poincaré de un arreglo con el de un subarreglo y una restricción. El autor busca establecer identidades polinómicas análogas para curvas planas, particularmente aquellas que poseen singularidades cuasi-homogéneas.

Metodología
El artículo opera exclusivamente sobre el cuerpo de los números complejos ($\mathbb{C}$). La metodología se basa en el siguiente marco teórico:

1. Singularidades e invariantes: El estudio se centra en curvas con singularidades cuasi-homogéneas. Para tales curvas, el número de Tjurina total $\tau(C)$ coincide con el número de Milnor total $\mu(C)$. El artículo utiliza el ideal jacobiano $J_f$ y el módulo de los siniestros (syzygies) jacobianos para definir la libertad de una curva y sus exponentes.
2. Definiciones de polinomios:
   • El polinomio de Poincaré de una curva reducida $C$ de grado $d$ se define como $P(C; t) = 1 + (d-1)t + ((d-1)^2 - \tau(C))t^2$.
   • El polinomio de Betti del complemento $M(C) = \mathbb{P}^2_{\mathbb{C}} \setminus C$ se define como $B_{M(C)}(t) = 1 + (e-1)t + ((d-1)^2 - \mu(C) - d + e)t^2$, donde $e$ es el número de componentes irreducibles.
3. Técnica de adición: La herramienta analítica central es la derivación de una relación entre los invariantes de la unión $C_1 \cup C_2$ y las curvas individuales $C_1$ y $C_2$. Un paso crucial es el Lema 3.1, que establece el comportamiento del número de Milnor total bajo la adición: $\mu(C_1 \cup C_2) = \mu(C_1) + \mu(C_2) + 2c_1c_2 - r$, donde $c_i$ son los grados y $r$ es el número de puntos de intersección.

Contribuciones principales y resultados
El artículo presenta dos teoremas principales que proporcionan identidades polinómicas para la adición de curvas planas:

• Teorema 1.2 (Polinomios de Poincaré): Para dos curvas reducidas $C_1, C_2$ tales que su unión admite únicamente singularidades cuasi-homogéneas y su intersección consiste en $r$ puntos, el polinomio de Poincaré de la unión satisface:
  $$P(C_1 \cup C_2; t) = P(C_1; t) + P(C_2; t) + t - 1 + (r - 1)t^2$$
  Este resultado se cumple bajo el supuesto específico de que $C_1 \cup C_2$ tiene solo singularidades cuasi-homogéneas.

• Teorema 1.3 (Polinomios de Betti): Bajo las mismas condiciones de intersección (intersección de dimensión cero de $r$ puntos), el polinomio de Betti del complemento de la unión satisface:
  $$B_{M(C_1 \cup C_2)}(t) = B_{M(C_1)}(t) + B_{M(C_2)}(t) + t - 1 + (r - 1)t^2$$
  Notablemente, este resultado para los polinomios de Betti no requiere explícitamente el supuesto de singularidad cuasi-homogénea en su enunciado, apoyándose en su lugar en el comportamiento general de los números de Milnor y el conteo de componentes.

• Aplicaciones a curvas libres: El artículo demuestra la utilidad de estas identidades a través de varios ejemplos (Ejemplos 3.3–3.5) que involucran arreglos de líneas y cónicas. Al aplicar la fórmula de adición, el autor calcula el polinomio de Poincaré de la unión resultante y observa que este se descompone sobre los racionales (por ejemplo, en $(1+d_1t)(1+d_2t)$). Esta descomposición sirve como un indicador heurístico de que la curva resultante es "libre", una propiedad que puede ser verificada utilizando criterios existentes (como el teorema de du Plessis–Wall).

Significado
El artículo reclama su importancia principalmente al extender la filosofía clásica de adición-eliminación de los arreglos de hiperplanos al contexto de las curvas planas. La contribución principal es la derivación de identidades polinómicas explícitas (Teoremas 1.2 y 1.3) que permiten el cálculo de invariantes topológicos (polinomios de Poincaré y de Betti) de la unión de una curva basándose en sus componentes.

Como se señala en la Observación 3.6, la aplicación práctica de estos resultados reside en la construcción de nuevos ejemplos de curvas libres. Al partir de arreglos libres conocidos y añadir curvas suaves o específicas, se puede calcular el polinomio de Poincaré resultante. Si el polinomio se descompone en factores lineales con raíces enteras, esto sugiere la libertad del nuevo arreglo, proporcionando una vía para verificar las propiedades de libertad sin recurrir al cálculo algebraico directo y a menudo difícil de los siniestros (syzygies). El artículo se mantiene modesto, presentando estas identidades como herramientas para comprender propiedades bajo la técnica de adición más que para reclamar una clasificación completa de todas las curvas planas.