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

Sintesi Tecnica: Un controesempio di nove linee a una congettura sul grado minimo delle relazioni giacobiane

Enunciato del Problema
Il saggio affronta la determinazione combinatoria degli invarianti algebrici associati ad arrangiamenti di rette nel piano proiettivo complesso $\mathbb{P}^2$. Nello specifico, investiga la Congettura Generalizzata di Terao (formulata dal primo autore in [4]), la quale ipotizza che per un arrangiamento di rette $A$ di grado $d$, se il grado minimo di una relazione giacobiana, denotato $mdr(f)$, soddisfa la stretta disuguaglianza $mdr(f) < d/2$, allora $mdr(f)$ è determinato unicamente dalla combinatoria dell'arrangiamento (ovvero, dal suo reticolo di intersezione).

Mentre gli esempi classici di Ziegler e Yuzvinsky dimostrano che arrangiamenti con reticoli di intersezione isomorfi possono esibire comportamenti diversi nelle sinergie giacobiane, tali esempi coinvolgono tipicamente arrangiamenti con soli punti doppi e tripli. La congettura suggerisce che l'intervallo $mdr(f) < d/2$ imponga una rigidità che forza la determinazione combinatoria. Gli autori cercano di testare la validità di questa congettura nel caso "limite" di arrangiamenti con punti di molteplicità superiore.

Metodologia
Gli autori costruiscono due distinti arrangiamenti di nove rette, denotati $A$ (definito dal polinomio $f$) e $B$ (definito dal polinomio $g$), sul campo dei numeri razionali $\mathbb{Q}$.

1. Verifica Combinatoria: Utilizzando l'algebra lineare (calcoli del determinante dei vettori delle rette), gli autori verificano che $A$ e $B$ possiedano reticoli di intersezione isomorfi. Entrambi gli arrangiamenti condividono la stessa debole combinatoria: un punto quadruplo ($n_4=1$), sette punti tripli ($n_3=7$) e nove punti doppi ($n_2=9$), producendo un numero di Tjurina totale $\tau = 46$. Ciò li distingue dalla coppia classica Ziegler–Yuzvinsky, che presenta una combinatoria differente.
2. Algebra Computazionale: Il grado minimo delle relazioni giacobiane, $mdr(f)$, è definito come il più piccolo intero $q$ tale che il nucleo della mappa lineare $\Phi_{f,q}: S^3_q \to S_{q+d-1}$ sia non banale. Gli autori calcolano i ranghi di queste mappe per $q = 0, \dots, 7$ per entrambi i polinomi $f$ e $g$.
3. Analisi Omologica: Oltre a calcolare $mdr$, gli autori determinano le risoluzioni libere graduate minime dei moduli delle derivazioni logaritmiche $D_0(f)$ e $D_0(g)$ (equivalentemente, le algebre di Milnor $M(f)$ e $M(g)$). Essi classificano gli arrangiamenti secondo la gerarchia del tipo omologico introdotta in [2], guardando specificamente al "tipo" $t(C) = d_1 + d_2 + 1 - d$, dove $d_i$ sono i gradi dei generatori minimi.

Risultati Chiave
I calcoli forniscono i seguenti risultati definitivi:

• Gradi Minimi Differenti: Per l'arrangiamento $A$, $mdr(f) = 4$. Per l'arrangiamento $B$, $mdr(g) = 5$.
• Identità Combinatoria: Nonostante $mdr(f) \neq mdr(g)$, i reticoli di intersezione di $A$ e $B$ sono isomorfi.
• Violazione della Congettura: Poiché il grado degli arrangiamenti è $d=9$, la condizione $mdr(f) < d/2$ (ovvero $4 < 4.5$) è soddisfatta per l'arrangiamento $A$. Tuttavia, l'arrangiamento $B$ condivide la stessa combinatoria ma presenta $mdr(g) = 5$. Ciò contraddice direttamente la Congettura 1.1 (Congettura 3.5 in [4]).
• Distinzione Omologica: Gli arrangiamenti differiscono significativamente nella loro struttura omologica:
  • L'arrangiamento $A$ è di Tipo 1 (plus-one generated) con esponenti $(4, 5, 6)$.
  • L'arrangiamento $B$ è di Tipo 2B (curva a quattro sinergie) con esponenti $(5, 5, 5, 5)$.
  • Di conseguenza, le loro algebre di Milnor hanno risoluzioni libere graduate minime e funzioni di Hilbert distinte, sebbene si stabilizzino sullo stesso numero di Tjurina.
• Difetto di Libertà: Gli autori notano che il difetto di libertà $\nu$ è identico per entrambi gli arrangiamenti ($\nu(A) = \nu(B) = 2$). Pertanto, il controesempio prende in bersaglio specificamente la combinatoricità di $mdr$ nell'intervallo specificato, piuttosto che il difetto di libertà.

Significato e Rivendicazioni
L'articolo sostiene di fornire il primo controesempio esplicito alla Congettura Generalizzata di Terao nell'intervallo $mdr(f) < d/2$. La significatività risiede nel:

1. Confutare la Rigidità: Dimostrare che anche nell'intervallo in cui $mdr(f)$ è previsto essere combinatoricamente rigido (strettamente minore della metà del grado), l'invariante non è determinato solo dal reticolo di intersezione.
2. Novità dell'Esempio: L'esempio è distinto dalla coppia Ziegler–Yuzvinsky classica, utilizzando una configurazione con un punto quadruplo e una specifica debole combinatoria $(9, 7, 1)$, rappresentando un caso limite di nove rette.
3. Nitidezza Omologica: Il controesempio è robusto, poiché i due arrangiamenti differiscono non solo per l'invariante numerico $mdr$, ma anche per l'intero tipo omologico e le risoluzioni minime.

Gli autori concludono che la congettura è falsa così come formulata, evidenziando che l'intervallo di transizione $d_1 \geq (d-2)/2$ permette un comportamento non combinatorio di $mdr$.