On $\mathscr{M}$-arrangements of conics and lines with ordinary singularities

Resumo Técnico: Sobre arranjos de M-conicas e retas com singularidades ordinárias

Problema e Contexto
Este artigo investiga as propriedades combinatórias e homológicas de uma classe específica de curvas planas reduzidas conhecidas como curvas M. Introduzidas recentemente por Janasz e Pokora [10] como uma generalização das clássicas "curvas maximizantes" (Persson [17]), as curvas M são definidas por possuírem apenas singularidades ADE e singularidades elípticas simples (pontos quádruplos ordinários e singularidades $J_{2,0}$), enquanto satisfazem uma condição numérica específica sobre o grau do seu ideal jacobiano.

Embora as curvas maximizantes de grau par sejam bem estudadas, aquelas de grau ímpar são raras e difíceis de construir. Os autores visam explorar uma classe ligeiramente mais ampla de curvas que retêm as principais propriedades numéricas e homológicas das curvas maximizantes. O foco específico deste trabalho são os arranjos de M-cônicas e retas ($CL$) que admitem apenas singularidades ordinárias de multiplicidade no máximo quatro (pontos duplos, triplos e quádruplos). Este cenário é motivado pela natureza restritiva das curvas M (por exemplo, arranjos de retas reais são necessariamente simpliciais [11]) e sua conexão com superfícies algébricas de propriedades extremais [15, 18, 19].

Metodologia
Os autores empregam uma combinação de contagem combinatória, geometria algébrica e teoria de sizoquias:

1. Restrições Combinatórias: Utilizando o Teorema de Bézout e a definição do número de Tjurina total $\tau(C)$, os autores derivam equações lineares relacionando o número de retas ($d$), cônicas ($k$) e as contagens de pontos singulares de multiplicidade $r$ ($n_r$).
2. Teoria de Sizoquias e Liberdade: O estudo baseia-se fortemente no conceito de curvas livres, onde o ideal jacobiano é saturado. Os autores utilizam o grau mínimo de sizoquias jacobianas, denotado por $mdr(f)$, e os expoentes $(d_1, d_2)$ de arranjos livres.
3. Polinômios de Poincaré: Os autores analisam o polinômio de Poincaré combinatório $P(CL; t)$, que para arranjos livres fatora em $(1+d_1t)(1+d_2t)$. Eles investigam como este polinômio se comporta quando uma cônica suave é deletada de um arranjo M.
4. Limites da Geometria Real: Para arranjos reais, os autores aplicam a desigualdade de Melchior para derivar resultados de limitação para o grau de tais arranjos.
5. Cálculos de Regularidade: O artigo calcula a regularidade de Castelnuovo–Mumford do álgebra de Milnor $M(f)$ e do módulo de sizoquias jacobianas $AR(f)$ usando relações entre limiares de estabilidade, limiares de coincidência e os expoentes de curvas livres.

Contribuições e Resultados Principais

• Restrições Numéricas sobre a Combinatória Fraca (Teorema 3.1):
  Os autores estabelecem condições necessárias para a combinatória fraca de um arranjo M consistindo em $k$ cônicas e $d$ retas com singularidades ordinárias de multiplicidade $\le 4$.

  • Se $d = 2\ell$ (par), as contagens devem satisfazer: $n_2 + 2n_3 + 3n_4 = (k + \ell)^2 + \ell - k - 3$.
  • Se $d = 2\ell + 1$ (ímpar), as contagens devem satisfazer: $n_2 + 2n_3 + 3n_4 = (k + \ell)^2 + 2\ell - 1$.
    Estas restrições permitem a eliminação de tipos combinatórios inexistentes (Exemplo 3.2).

• Especialização para Uma Cônica e $d$ Retas (Proposição 3.4 & 3.6):
  Focando no caso $k=1$, os autores derivam sistemas explícitos de equações para $n_2, n_3, n_4$. Além disso, fornecem restrições estritas sobre o número de pontos de interseção $r$ entre a cônica e as retas restantes, mostrando que $r$ não pode assumir valores arbitrários, mas é limitado por funções específicas de $\ell$.

• Polinômios de Poincaré Combinatórios (Teorema 4.3):
  O artigo fornece uma fórmula explícita para o polinômio de Poincaré do arranjo de retas $L$ obtido ao deletar a cônica de um arranjo M $CL$.

  • Para $d=2\ell$, $P(L; t) = (\ell^2 + \ell - 2 - r)t^2 + (2\ell - 1)t + 1$.
  • Para $d=2\ell+1$, $P(L; t) = (\ell^2 + 2\ell - r)t^2 + 2\ell t + 1$.
    Os autores demonstram que, embora a deleção de uma cônica de um arranjo M frequentemente resulte em um arranjo de retas livre (ex: Exemplos 4.5, 4.6, 4.8), isso não garante a liberdade (Exemplo 4.7), pois o polinômio pode falhar em se decompor sobre os racionais.

• Nova Construção (Exemplo 4.8):
  Os autores constroem um novo exemplo explícito de um arranjo M consistindo de uma cônica e onze retas. Este arranjo possui combinatória fraca $C(11, 1; 11, 2, 10)$, número de Tjurina total $\tau = 109$, e expoentes $(5, 7)$. A deleção da cônica resulta em um arranjo livre de 11 retas com expoentes $(5, 5)$.

• Limitação de Arranjos Reais (Teorema 5.1):
  O artigo prova que arranjos M reais de uma cônica e retas são limitados em grau.

  • Se $d = 2\ell$, então $\ell \le 9$ (não existem tais arranjos para $d$ par $\ge 20$).
  • Se $d = 2\ell + 1$, então $\ell \le 10$ (não existem tais arranjos para $d$ ímpar $\ge 23$).

• Regularidade de Módulos Associados (Proposição 6.4):
  Os autores registram valores precisos para a regularidade de Castelnuovo–Mumford da álgebra de Milnor $M(f)$ e do módulo de sizoquias $AR(f)$ para curvas M de grau $d$:

  • $\text{reg}(M(f)) = 3m - 2$ (se $d=2m$) ou $3m - 1$ (se $d=2m+1$).
  • $\text{reg}(AR(f)) = m + 1$.

Significado e Alegações
O artigo afirma fornecer um "conjunto completo de restrições" para a combinatória fraca de arranjos M com uma única cônica, estabelecendo assim os possíveis tipos combinatórios de tais curvas. Ele destaca a natureza restritiva das curvas M, observando que elas formam uma "classe delicada" onde as condições numéricas restringem fortemente as possibilidades geométricas.

Os autores posicionam seu trabalho como complementar às classificações existentes de arranjos com sizoquias lineares (Beorchia e Miró-Roig [2]) ou aqueles invariantes sob equações diferenciais (de Moura Canaan e Coutinho [3]). Enquanto esses trabalhos frequentemente envolvem singularidades não ordinárias, este artigo foca estritamente em singularidades ordinárias de baixa multiplicidade. A construção do novo exemplo de 11 retas e a prova de limitação para arranjos reais são apresentadas como avanços concretos na compreensão da existência e dos limites dessas curvas. Os resultados de regularidade são enquadrados como uma contribuição para a compreensão mais ampla das propriedades homológicas das curvas M, ligando-as aos limiares de estabilidade e coincidência de curvas livres.