Non-smoothable curve singularities

Resumo Técnico: Singularidades de Curvas Não Suavizáveis

Enunciado do Problema
O artigo aborda a teoria de deformação de singularidades de curvas reduzidas. Embora se saiba que todos os componentes de suavização do espaço de deformação versal de uma singularidade de curva compartilham o mesmo dimensão, o próprio espaço de deformação pode conter componentes de diferentes dimensões. O problema central investigado é a natureza das "singularidades genéricas" que aparecem como a fibra geral sobre um componente não suavizável — ou seja, busca identificar quais singularidades são inerentemente não suavizáveis — o que significa que elas não podem ser deformadas em uma curva suave — e fornecer exemplos explícitos de tais singularidades, incluindo casos anteriormente desconhecidos de singularidades de curvas Gorenstein não suavizáveis.

Metodologia
O autor emprega dois métodos gerais primários para estabelecer a não suavizabilidade, suplementados pela álgebra computacional:

1. O Argumento da "Grande Família": Este método, enraizado no trabalho de Mumford e refinado por Greuel, envolve exibir uma família de singularidades $\pi: C_T \to T$ com uma seção singular tal que a dimensão do espaço de parâmetros $T$ seja pelo menos o número de Deligne $e(C_0)$ (a dimensão de um componente de suavização). Se a família for irredutível e não contiver fibras suaves, a fibra geral não pode ser suavizável, pois sua imagem no espaço de deformação versal teria dimensão $\ge e(C_0)$, mas não poderia constituir um componente de suavização.
2. O Critério de Buchweitz: Este método utiliza a semicontinuidade de um invariante específico relacionado ao diferente de Dedekind. Para uma singularidade de curva $C$, o autor define o $k$-ésimo invariante normalizado de Dedekind $d_k$. Se $C$ for suavizável (ou se deformar para uma singularidade Gorenstein), então $d_k \le 2k\delta$ deve ser válido para todo $k$, onde $\delta$ é o grau da singularidade. A violação desta desigualdade prova a não suavizabilidade.
3. Álgebra Computacional: O artigo depende fortemente de sistemas de álgebra computacional (Singular e Macaulay2) para computar deformações infinitesimais ($T^1$), espaços de obstrução ($T^2$) e os invariantes específicos necessários para o critério de Buchweitz. A análise foca intensamente em singularidades quase-homogêneas, particularmente curvas monomiais e cones sobre conjuntos de pontos no espaço projetivo, onde as ações de $G_m$ simplificam os cálculos.

Principais Contribuições e Resultados

• Revisitação de Exemplos Conhecidos: O artigo analisa sistematicamente exemplos conhecidos de não suavizabilidade, como curvas monomiais e cones sobre retas que passam pela origem ($L^n_r$). Ele fornece cálculos explícitos do número de Deligne $e$ e da dimensão do espaço de deformação para configurações genéricas.
• Singularidades Gorenstein Não Suavizáveis: Uma contribuição significativa é a construção de singularidades de curvas Gorenstein não suavizáveis. Como o critério de Buchweitz é trivial para curvas Gorenstein (onde $d_k = 2k\delta$), o autor utiliza uma construção de dupla cobertura baseada em semigrupos de Stöhr-Torres.
  • Proposição 4.2: O autor apresenta uma singularidade de curva Gorenstein específica não suavizável, $L^{13}_{26}$, que é o cone sobre um conjunto de pontos auto-associado. É demonstrado que esta singularidade é não suavizável porque sua deformação leva a uma singularidade não suavizável ($L^9_{13}$) através de um caminho de deformação específico.
• Cones sobre Conjuntos de Pontos Auto-associados: O artigo investiga cones sobre conjuntos de pontos auto-associados (onde a transformada de Gale é projetivamente equivalente ao conjunto original).
  • Teoremas 4.5 & 4.7: Prova-se que o cone Gorenstein geral sobre um conjunto de pontos auto-associado em $\mathbb{P}^{n-1}$ (especificamente $L^{n-1}_{2n}$) não é suavizável se o gênero $g \ge 11$. Para $g \le 8$ e $g=10$, a suavizabilidade ocorre ou é condicional. Este resultado conecta a não suavizabilidade ao fato de que o conjunto de pontos não pode ser uma seção hiperplanar de uma curva canônica de gênero $g$.
• Curvas Monomiais Explícitas Não Suavizáveis: O artigo fornece novos exemplos explícitos de curvas monomiais não suavizáveis, incluindo casos onde o critério de Buchweitz falha para $k=1$, mas tem sucesso para $k=2$ (Exemplo 2.7), e exemplos com dimensões de imersão menores (Exemplo 2.8).
• Casos Irredutíveis vs. Redutíveis: O autor distingue entre singularidades irredutíveis e redutíveis. Embora muitos exemplos de não suavizabilidade sejam redutíveis (por exemplo, uniões de retas), o artigo constrói curvas irredutíveis não suavizáveis (Teorema 3.9) e observa que muitas singularidades não suavizáveis se deformam em curvas com ramos suaves.
• Anomalias Dimensionais: O artigo identifica exemplos onde a dimensão do espaço base da deformação versal é estritamente menor que o número de Deligne $e$ (Exemplo 1.9), desafiando expectativas dimensionais simples.

Significância e Alegações
O artigo afirma avançar na compreensão da estrutura dos espaços de deformação para singularidades de curvas ao:

1. Fornecer os primeiros exemplos explícitos de singularidades de curvas Gorenstein não suavizáveis, uma classe anteriormente considerada mais propensa à suavização ou carente de contraexemplos conhecidos.
2. Estabelecer um limiar preciso ($g \ge 11$) para a não suavizabilidade de cones sobre conjuntos de pontos auto-associados gerais, ligando esta propriedade geométrica à impossibilidade de estes conjuntos serem seções hiperplanares de curvas canônicas.
3. Oferecer um arcabouço teórico e computacional abrangente para determinar a não suavizabilidade, combinando a contagem de dimensão da "grande família" com o invariante de Buchweitz.

O autor conclui modestamente que, embora o conhecimento de singularidades não suavizáveis esteja em expansão, ele permanece limitado, particularmente em relação a curvas irredutíveis com grandes dimensões de imersão. Com base nas evidências coletadas, o artigo propõe a Conjectura 5.1: Todos os ramos de singularidades de curvas genéricas são suaves. Isso sugere que, embora a singularidade global possa não ser suavizável, seus ramos analíticos locais são suaves, mesmo que suas tangentes não estejam em posição geral.