A nine-line counterexample to a conjecture on the minimal degree of Jacobian relations

Resumen Técnico: Un contraejemplo de nueve líneas a una conjetura sobre el grado mínimo de las relaciones de Jacobiano

Planteamiento del Problema
El artículo aborda la determinación combinatoria de invariantes algebraicos asociados a arreglos de rectas en el plano proyectivo complejo $\mathbb{P}^2$. Específicamente, investiga la Conjetura de Terao Generalizada (formulada por el primer autor en [4]), la cual postula que para un arreglo de rectas $A$ de grado $d$, si el grado mínimo de una relación de Jacobiano, denotado como $mdr(f)$, satisface la desigualdad estricta $mdr(f) < d/2$, entonces $mdr(f)$ está determinado únicamente por la combinatoria del arreglo (es decir, por su retículo de intersección).

Si bien los ejemplos clásicos de Ziegler y Yuzvinsky demuestran que arreglos con retículos de intersección isomórficos pueden exhibir comportamientos de siniestros de Jacobiano distintos, estos ejemplos típicamente involucran arreglos con solo puntos dobles y triples. La conjetura sugiere que el rango $mdr(f) < d/2$ impone una rigidez que fuerza la determinación combinatoria. Los autores buscan probar la validez de esta conjetura en el caso "limítrofe" de arreglos con puntos de mayor multiplicidad.

Metodología
Los autores construyen dos arreglos distintos de nueve rectas, denominados $A$ (definido por el polinomio $f$) y $B$ (definido por el polinomio $g$), sobre el cuerpo de los números racionales $\mathbb{Q}$.

1. Verificación Combinatoria: Utilizando álgebra lineal (cálculos de determinantes de vectores de rectas), los autores verifican que $A$ y $B$ poseen retículos de intersección isomórficos. Ambos arreglos comparten la misma combinatoria débil: un punto cuádruple ($n_4=1$), siete puntos triples ($n_3=7$) y nueve puntos dobles ($n_2=9$), lo que resulta en un número de Tjurina total $\tau = 46$. Esto los distingue del par clásico de Ziegler–Yuzvinsky, el cual posee una combinatoria diferente.
2. Álgebra Computacional: El grado mínimo de las relaciones de Jacobiano, $mdr(f)$, se define como el menor entero $q$ tal que el núcleo del mapa lineal $\Phi_{f,q}: S^3_q \to S_{q+d-1}$ es no trivial. Los autores computan los rangos de estos mapas para $q = 0, \dots, 7$ para ambos polinomios $f$ y $g$.
3. Análisis Homológico: Más allá de computar $mdr$, los autores determinan las resoluciones libres graduadas mínimas de los módulos de derivaciones logarítmicas $D_0(f)$ y $D_0(g)$ (equivalentemente, las álgebras de Milnor $M(f)$ y $M(g)$). Clasifican los arreglos según la jerarquía de tipo homológico introducida en [2], específicamente observando el "tipo" $t(C) = d_1 + d_2 + 1 - d$, donde $d_i$ son los grados de los generadores mínimos.

Resultados Clave
Los cálculos arrojan los siguientes resultados definitivos:

• Grados Mínimos Diferentes: Para el arreglo $A$, $mdr(f) = 4$. Para el arreglo $B$, $mdr(g) = 5$.
• Identidad Combinatoria: A pesar de que $mdr(f) \neq mdr(g)$, los retículos de intersección de $A$ y $B$ son isomórficos.
• Violación de la Conjetura: Dado que el grado de los arreglos es $d=9$, la condición $mdr(f) < d/2$ (es decir, $4 < 4.5$) se cumple para el arreglo $A$. Sin embargo, el arreglo $B$ comparte la misma combinatoria pero tiene $mdr(g) = 5$. Esto contradice directamente la Conjetura 1.1 (Conjetura 3.5 en [4]).
• Distinción Homológica: Los arreglos difieren significamente en su estructura homológica:
  • El arreglo $A$ es de Tipo 1 (generado por plus-one) con exponentes $(4, 5, 6)$.
  • El arreglo $B$ es de Tipo 2B (curva de cuatro siniestros) con exponentes $(5, 5, 5, 5)$.
  • En consecuencia, sus álgebras de Milnor tienen resoluciones libres graduadas mínimas distintas y diferentes funciones de Hilbert, aunque ambas se estabilizan hacia el mismo número de Tjurina.
• Defecto de Frialdad: Los autores señalan que el defecto de freeness $\nu$ es idéntico para ambos arreglos ($\nu(A) = \nu(B) = 2$). Por lo tanto, este contraejemplo apunta específicamente a la naturaleza combinatoria de $mdr$ en el rango especificado, más que al defecto de freeness.

Significancia y Reivindicaciones
El artículo afirma proporcionar el primer contraejemplo explícito a la Conjetura de Terao Generalizada en el rango $mdr(f) < d/2$. La significancia radica en:

1. Refutación de la Rigidez: Demostrar que incluso en el rango donde se espera que $mdr(f)$ sea combinatoriamente rígido (estrictamente menor a la mitad del grado), el invariante no está determinado únicamente por el retículo de intersección.
2. Novedad del Ejemplo: El ejemplo es distinto al par de Ziegler–Yuzvinsky, utilizando una configuración con un punto cuádruple y una combinatoria débil específica $(9, 7, 1)$, representando un caso limítrofe de nueve líneas.
3. Nitidez Homológica: El contraejemplo es robusto, ya que los dos arreglos difieren no solo en el invariante numérico $mdr$, sino también en todo su tipo homológico y resoluciones mínimas.

Los autores concluyen que la conjetura es falsa tal como está planteada, destacando que el rango de transición $d_1 \geq (d-2)/2$ permite un comportamiento no combinatorio de $mdr$.