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

Resumo Técnico: Limites Combinatórios para Números de Tjurina Totais de Certas Curvas e Superfícies

Enunciado do Problema
O artigo aborda o problema de estabelecer limites inferiores (lower bounds) efetivos para os números de Tjurina totais ($\tau$) de hipersuperfícies projetivas, focando especificamente em arranjos de curvas planas (retas e cônicas) e suas extensões para superfícies em $\mathbb{P}^3$. Enquanto limites superiores (upper bounds) nítidos para $\tau$ em termos de grau e do grau mínimo de relações jacobianas ($mdr$) estão bem estabelecidos (notadamente por du Plessis e Wall), limites inferiores efetivos para configurações geometricamente restritas, como arranjos livres com tipos de singularidade prescritos, permanecem menos compreendidos. O trabalho visa arranjos que admitem apenas singularidades quase-homogêneas ordinárias, buscando ligar as propriedades de interseção combinatória diretamente à magnitude do número de Tjurina total.

Metodologia
A pesquisa emprega uma síntese de geometria combinatória, teoria de singularidades e propriedades homológicas de álgebras jacobianas.

1. Desigualdades Combinatórias: O autor utiliza desigualdades do tipo Hirzebruch e contagens combinatórias ingênuas de pontos de interseção ($n_r$, o número de pontos de multiplicidade $r$) para derivar restrições estruturais em arranjos de retas.
2. Condições de Liberdade (Freeness): A análise depende fortemente da definição de arranjos "livres", onde o módulo de sínizes jacobianas é um módulo graduado livre. Isso permite o uso de caracterizações específicas relacionando o grau, os expoentes e o número de Tjurina total (via a igualdade de du Plessis-Wall para curvas livres).
3. Análise do Discriminante: Para arranjos de cônicas-retas, a prova envolve a análise do discriminante da equação quadrática que governa o grau mínimo de relações jacobianas ($d_1$) derivada da condição de liberdade.
4. Princípio de Thom-Sebastiani: Para estender os resultados a dimensões superiores, o artigo constrói superfícies em $\mathbb{P}^3$ adicionando uma potência de uma quarta variável ao polinômio definidor de uma curva plana. A natureza local do número de Tjurina permite a aplicação do princípio de Thom-Sebastiani para relacionar o $\tau$ da superfície ao $\tau$ da curva subjacente.

Contribuições Principais e Resultados

• Limites Estruturais para Arranjos de Retas:

  • O artigo deriva uma desigualdade estrutural para arranjos de retas complexas com multiplicidades limitadas. Especificamente, para um arranjo de $d \ge 6$ retas com multiplicidade máxima $m(L) \le 4$, o artigo estabelece limites estreitos para a distribuição de pontos triplos e quádruplos ($n_3$ e $n_4$).
  • O Teorema 3.5 demonstra que, para arranjos de retas supersolváveis com $m(L)=4$, o número de retas $d$ é restrito ao conjunto finito $\{6, 7, 8, 9, 10\}$. Consequentemente, o Corolário 3.6 conclui que existem apenas tipos combinatórios finitos de tais arranjos supersolváveis.

• Limites Inferiores para Arranjos Livres de Cônicas-Retas:

  • O Teorema 4.1 constitui o resultado principal, fornecendo um limite inferior nítido para o número de Tjurina total de um arranjo livre de $d$ retas e $k$ cônicas com singularidades quase-homogêneas ordinárias:
    $$\tau(C_L) \ge \frac{3k(k-1) + 3kd + 3(d-1)^2}{4}$$
  • O limite é mostrado como sendo nítido, com a igualdade alcançada em casos específicos (por exemplo, um arranjo de 3 retas e 1 cônica).
  • Como um corolário (Corolário 4.2), para um arranjo livre de apenas $d$ retas, $\tau(L) \ge \frac{3(d-1)^2}{4}$. Isso é ilustrado pelo arranjo de Klein de 21 retas, onde o limite prevê $\tau \ge 300$, e o valor real é 301.

• Extensão para Superfícies em $\mathbb{P}^3$:

  • A Proposição 5.2 aplica os resultados planares para construir uma família de superfícies em $\mathbb{P}^3$ com apenas singularidades isoladas. Ao definir uma superfície $X$ via $F = f(x,y,z) + w^{2k+d} = 0$ (onde $f$ define um arranjo livre de cônicas-retas), o artigo estabelece um limite inferior para o 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 fornece limites inferiores para hipersuperfícies que são independentes de dados homológicos detalhados (especificamente o grau mínimo de relações jacobianas da própria superfície), baseando-se nos dados combinatórios do arranjo plano subjacente.

Significância e Alegações
O artigo afirma fazer a ponte entre a geometria combinatória de arranjos e a teoria de singularidades de hipersuperfícies. Sua principal significância reside em mudar o foco dos limites superiores (que caracterizam curvas de Tjurina máximas) para limites inferiores efetivos para arranjos livres.

• Os resultados demonstram que arranjos livres são altamente restritos; sua combinatória restringe fortemente as possíveis configurações singulares, levando ao crescimento quadrático do número de Tjurina total em relação ao número de componentes.
• A construção de superfícies com números de Tjurina totais arbitrariamente grandes oferece um novo método para gerar variedades com comportamento singular controlado sem exigir o cálculo explícito de invariantes homológicos do objeto de dimensão superior.
• O trabalho destaca problemas em aberto, como a classificação de arranjos de retas geometricamente livres com grau e multiplicidade máxima fixos, observando que, embora o arranjo de Klein seja conhecido, a realizabilidade de outros tipos combinatórios permanece uma questão aberta.