On combinatorial bounds for the total Tjurina numbers of certain curves and surfaces with isolated singularities

Resumen Técnico: Límites Combinatorios para los Números de Tjurina Totales de Ciertas Curvas y Superficies

Planteamiento del Problema
El artículo aborda el problema de establecer límites inferiores efectivos para los números de Tjurina totales ($\tau$) de hipersuperficies proyectivas, centrándose específicamente en arreglos de curvas planas (líneas y cónicas) y sus extensiones a superficies en $\mathbb{P}^3$. Mientras que los límites superiores nítidos para $\tau$ en términos del grado y del grado mínimo de las relaciones del Jacobiano ($mdr$) están bien establecidos (notablemente por du Plessis y Wall), los límites inferiores efectivos para configuraciones geométricamente restringidas, como los arreglos libres con tipos de singularidad prescritos, permanecen menos comprendidos. El trabajo se dirige a arreglos que admiten únicamente singularidades cuasi-homogéneas ordinarias, con el objetivo de vincular las propiedades de intersección combinatoria directamente con la magnitud del número de Tjurina total.

Metodología
La investigación emplea una síntesis de geometría combinatoria, teoría de singularidades y las propiedades homológicas de las álgebras de Jacobiano.

1. Desigualdades Combinatorias: El autor utiliza desigualdades de tipo Hirzebruch y conteos combinatorios ingenuos de puntos de intersección ($n_r$, el número de puntos de multiplicidad $r$) para derivar restricciones estructurales sobre arreglos de líneas.
2. Condiciones de Freeness (Libertad): El análisis se apoya fuertemente en la definición de arreglos "libres", donde el módulo de los siniestros (syzygies) del Jacobiano es un módulo graduado libre. Esto permite el uso de caracterizaciones específicas que relacionan el grado, los exponentes y el número de Tjurina total (a través de la igualdad de du Plessis-Wall para curvas libres).
3. Análisis del Discriminante: Para los arreglos de cónicas y líneas, la prueba implica el análisis del discriminante de la ecuación cuadrática que gobierna el grado mínimo de las relaciones del Jacobiano ($d_1$) derivada de la condición de freeness.
4. Principio de Thom-Sebastiani: Para extender los resultados a dimensiones superiores, el artículo construye superficies en $\mathbb{P}^3$ añadiendo una potencia de una cuarta variable al polinomio definitorio de un arreglo de curvas planas. La naturaleza local del número de Tjurina permite la aplicación del principio de Thom-Sebastiani para relacionar el $\tau$ de la superficie con el de la curva subyacente.

Contribuciones Clave y Resultados

• Límites Estructurales para Arreglos de Líneas:

  • El artículo deriva una desigualdad estructural para arreglos de líneas complejas con multiplicidades acotadas. Específicamente, para un arreglo de $d \ge 6$ líneas con multiplicidad máxima $m(L) \le 4$, el artículo establece límites estrechos sobre la distribución de puntos triples y cuádruples ($n_3$ y $n_4$).
  • El Teorema 3.5 demuestra que para arreglos de líneas supersolubles con $m(L)=4$, el número de líneas $d$ está restringido al conjunto finito $\{6, 7, 8, 9, 10\}$. Consecuentemente, el Corolario 3.6 concluye que existen solo tipos combinatorios finitos de tales arreglos supersolubles.

• Límites Inferiores para Arreglos Libres de Cónicas y Líneas:

  • El Teorema 4.1 constituye el resultado principal, proporcionando un límite inferior nítido para el número de Tjurina total de un arreglo libre de $d$ líneas y $k$ cónicas con singularidades cuasi-homogéneas ordinarias:
    $$\tau(C_L) \ge \frac{3k(k-1) + 3kd + 3(d-1)^2}{4}$$
  • Se muestra que el límite es nítido, alcanzando la igualdad en casos específicos (por ejemplo, un arreglo de 3 líneas y 1 cónica).
  • Como corolario (Corolario 4.2), para un arreglo libre de solo $d$ líneas, $\tau(L) \ge \frac{3(d-1)^2}{4}$. Esto se ilustra mediante el arreglo de Klein de 21 líneas, donde el límite predice $\tau \ge 300$, y el valor real es 301.

• Extensión a Superficies en $\mathbb{P}^3$:

  • La Proposición 5.2 aplica los resultados planos para construir una familia de superficies en $\mathbb{P}^3$ con únicamente singularidades aisladas. Al definir una superficie $X$ mediante $F = f(x,y,z) + w^{2k+d} = 0$ (donde $f$ define un arreglo libre de cónicas y líneas), el artículo establece un límite inferior para el número de Tjurina total de $X$:
    $$\tau(X) \ge (2k + d - 1) \cdot \left( \frac{3k(k-1) + 3kd + 3(d-1)^2}{4} \right)$$
  • Este resultado proporciona límites inferiores para hipersuperficies que son independientes de los datos homológicos detallados (específicamente el grado mínimo de las relaciones del Jacobiano de la propia superficie), apoyándose en su lugar en los datos combinatorios del arreglo plano subyacente.

Significado y Reivindicaciones
El artículo afirma cerrar la brecha entre la geometría combinatoria de los arreglos y la teoría de singularidades de las hipersuperficies. Su principal significación radica en desplazar el enfoque de los límites superiores (que caracterizan las curvas de Tjurina máximas) hacia los límites inferiores efectivos para arreglos libres.

• Los resultados demuestran que los arreglos libres están altamente restringidos; su combinatoria restringe fuertemente las posibles configuraciones singulares, llevando a un crecimiento cuadrático del número de Tjurina total con respecto al número de componentes.
• La construcción de superficies con números de Tjurina totales arbitrariamente grandes ofrece un nuevo método para generar variedades con comportamiento singular controlado sin requerir el cálculo explícito de los invariantes homológicos del objeto de mayor dimensión.
• El trabajo destaca problemas abiertos, tales como la clasificación de arreglos de líneas geométricamente libres con grado y multiplicidad máxima fijos, señalando que, si bien el arreglo de Klein es conocido, la realizabilidad de otros tipos combinatorios sigue siendo una cuestión abierta.