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

Resumo Técnico: Um Contraexemplo de Nove Linhas para uma Conjectura sobre o Grau Mínimo de Relações Jacobianas

Enunciado do Problema
O artigo aborda a determinação combinatória de invariantes algébricos associados a arranjos de retas no plano projetivo complexo $\mathbb{P}^2$. Especificamente, investiga a Conjectura de Terao Generalizada (formulada pelo primeiro autor em [4]), que postula que, para um arranjo de retas $A$ de grau $d$, se o grau mínimo de uma relação jacobiana, denotado por $mdr(f)$, satisfizer a desigualdade estrita $mdr(f) < d/2$, então $mdr(f)$ é determinado unicamente pela combinatória do arranjo (ou seja, seu reticulado de interseção).

Embora exemplos clássicos de Ziegler e Yuzvinsky demonstrem que arranjos com reticulados de interseção isomórficos podem exibir comportamentos de sissidúrias jacobianas distintos, esses exemplos tipicamente envolvem arranjos com apenas pontos duplos e triplos. A conjectura sugere que o intervalo $mdr(f) < d/2$ impõe uma rigidez que força a determinação combinatória. Os autores buscam testar a validade desta conjectura no caso "limítrofe" de arranjos com pontos de maior multiplicidade.

Metodologia
Os autores constroem dois arranjos distintos de nove retas, denominados $A$ (definido pelo polinômio $f$) e $B$ (definido pelo polinômio $g$), sobre o corpo dos números racionais $\mathbb{Q}$.

1. Verificação Combinatória: Usando álgebra linear (cálculos de determinante de vetores de retas), os autores verificam que $A$ e $B$ possuem reticulados de interseção isomórficos. Ambos os arranjos compartilham a mesma combinatória fraca: um ponto quádruplo ($n_4=1$), sete pontos triplos ($n_3=7$) e nove pontos duplos ($n_2=9$), resultando em um número de Tjurina total $\tau = 46$. Isso os distingue do par clássico de Ziegler–Yuzvinsky, que possui combinatórias diferentes.
2. Álgebra Computacional: O grau mínimo de relações jacobianas, $mdr(f)$, é definido como o menor inteiro $q$ tal que o núcleo do mapa linear $\Phi_{f,q}: S^3_q \to S_{q+d-1}$ seja não trivial. Os autores computam os postos desses mapas para $q = 0, \dots, 7$ para ambos os polinômios $f$ e $g$.
3. Análise Homológica: Além de computar $mdr$, os autores determinam as resoluções livres graduadas mínimas dos módulos de derivações logarítmicas $D_0(f)$ e $D_0(g)$ (equivalentemente, as álgebras de Milnor $M(f)$ e $M(g)$). Eles classificam os arranjos de acordo com a hierarquia de tipo homológico introduzida em [2], observando especificamente o "tipo" $t(C) = d_1 + d_2 + 1 - d$, onde $d_i$ são os graus dos geradores mínimos.

Resultos Principais
As computações produzem os seguintes resultados definitivos:

• Graus Mínimos Diferentes: Para o arranjo $A$, $mdr(f) = 4$. Para o arranjo $B$, $mdr(g) = 5$.
• Identidade Combinatória: Apesar de $mdr(f) \neq mdr(g)$, os reticulados de interseção de $A$ e $B$ são isomórficos.
• Violação da Conjectura: Como o grau dos arranjos é $d=9$, a condição $mdr(f) < d/2$ (ou seja, $4 < 4.5$) é satisfeita para o arranjo $A$. No entanto, o arranjo $B$ compartilha a mesma combinatória, mas possui $mdr(g) = 5$. Isso contradiz diretamente a Conjectura 1.1 (Conjectura 3.5 em [4]).
• Distinção Homológica: Os arranjos diferem significativamente em sua estrutura homológica:
  • O arranjo $A$ é do Tipo 1 (gerado por mais um elemento/plus-one generated) com expoentes $(4, 5, 6)$.
  • O arranjo $B$ é do Tipo 2B (curva de quatro sissidúrias) com expoentes $(5, 5, 5, 5)$.
  • Consequentemente, suas álgebras de Milnor possuem resoluções livres graduadas mínimas distintas e funções de Hilbert diferentes, embora se estabilizem para o mesmo número de Tjurina.
• Defeito de Liberdade: Os autores observam que o defeito de liberdade $\nu$ é idêntico para ambos os arranjos ($\nu(A) = \nu(B) = 2$). Assim, o contraexemplo visa especificamente a natureza combinatória de $mdr$ no intervalo especificado, e não o defeito de liberdade.

Significância e Alegações
O artigo afirma fornecer o primeiro contraexemplo explícito à Conjectura de Terao Generalizada no intervalo $mdr(f) < d/2$. A significância reside em:

1. Refutação da Rigidez: Demonstrar que mesmo no intervalo onde se espera que $mdr(f)$ seja combinatoricamente rígido (estritamente menor que a metade do grau), o invariante não é determinado apenas pelo reticulado de interseção.
2. Novidade do Exemplo: O exemplo é distinto do par clássico de Ziegler–Yuzvinsky, utilizando uma configuração com um ponto quádruplo e uma combinatória fraca específica $(9, 7, 1)$, representando um caso de nove retas "limítrofe".
3. Nitidez Homológica: O contraexemplo é robusto, pois os dois arranjos diferem não apenas pelo invariante numérico $mdr$, mas por todo o seu tipo homológico e resoluções mínimas.

Os autores concluem que a conjectura é falsa conforme formulada, destacando que o intervalo de transição $d_1 \geq (d-2)/2$ permite o comportamento não combinatório de $mdr$.