Isolated Hypersurface Singularities May Be Stably Degenerate

Resumo Técnico: Singularidades de Hipersuperfícies Isoladas Podem Ser Estavelmente Degeneradas

Enunciado do Problema
O artigo aborda uma questão de longa data na teoria das singularidades, originalmente proposta por Arnol'd em 1975: toda singularidade de hipersuperfície isolada admite uma equivalência estável a um polinômio Newton não degenerado? Um polinômio é Newton não degenerado se sua restrição ao toro $(\mathbb{C}^*)^N$ não possui pontos críticos em nenhuma face compacta de seu poliedro de Newton. Embora se saiba que as singularidades podem ser degeneradas em qualquer sistema de coordenadas fixo, a questão permanece se a estabilização (adição de formas quadráticas não degeneradas em novas variáveis) pode sempre eliminar a degeneração. Os autores provam a existência de contraexemplos para esta conjectura.

Metodologia
A prova é um argumento de existência que se baseia na interação entre a estrutura de Hodge mista dos loci de contato e a geometria dos espaços de módulos de variedades abelianas. A estratégia central envolve construir uma singularidade específica $f$ e demonstrar que seus invariantes estáveis não podem advir de qualquer família de singularidades Newton não degeneradas.

1. Construção da Singularidade:
   Os autores constroem um polinômio $f = F + h$, onde:

   • $F$ é um polinômio homogêneo de grau $d$ que define uma hipersuperfície no espaço projetivo que é biracional a uma variedade abeliana primordialmente polarizada "suficientemente geral" $A$ de alta dimensão ($g \geq 16$).
   • $h$ é um polinômio de grau estritamente maior que $d$ (por exemplo, do tipo Fermat) garantindo que $f$ possua uma singularidade isolada na origem.
   • A variedade abeliana $A$ específica é escolhida para satisfazer três propriedades (Lema 3.3): ela não está contida em nenhuma subvariedade racional de seu espaço de módulos, sua classe de isogenia não contém uma variedade que seja a fibra genérica de um morfismo definido sobre $\mathbb{Q}$ com estrutura de Hodge constante, e seu grupo de Néron-Severi tem posto 1.

2. Loci de Contato e Estruturas de Hodge Mistas:
   Os autores analisam o locus de contato $\chi_f$, o espaço de $d$-jatos de curvas tangentes à singularidade. Eles computam a estrutura de Hodge mista (MHS) da cohomologia de suporte compacto do locus de contato de uma estabilização $f_k$.

   • Um resultado chave (Lema 6.10) estabelece que uma peça de peso específico da MHS do locus de contato de $f_k$ é isomórfica a um Tate twist da cohomologia da variedade abeliana $A$ (especificamente $H^{2g-1}(A; \mathbb{Q})(-m)$).

3. Contradição via Espaços de Módulos:
   A prova procede por contradição. Suponha que uma estabilização de $f$ fosse Newton não degenerada após uma mudança de coordenadas.

   • O espaço de polinômios Newton não degenerados com um poliedro de Newton fixo forma uma família parametrizada por uma variedade racional $T$.
   • Para tais famílias, a cohomologia do locus de contato forma um feixe localmente constante (Lema 5.8), induzindo um mapa de período do espaço de parâmetros $T$ para o espaço de módulos de variedades abelianas polarizadas $A_{g, \delta}$.
   • Como $T$ é racional e o espaço de módulos $A_{g, \delta}$ (para $g \geq 16$) é de tipo geral (e, portanto, não contém curvas racionais que passam por um ponto suficientemente geral), qualquer aplicação algébrica de $T$ para $A_{g, \delta}$ deve ser constante.
   • No entanto, a variedade abeliana $A$ específica construída foi escolhida para estar fora da imagem de qualquer tal aplicação constante definida sobre $\mathbb{Q}$ (Lema 3.3). Esta contradição implica que nenhuma mudança de coordenadas pode tornar a estabilização Newton não degenerada.

Contribuições Principais e Resultados

• Teorema 1.1: É provada a existência de uma singularidade de hipersuperfície isolada que é estavelmente degenerada. Isso fornece uma resposta negativa ao problema de Arnol'd de 1975.
• Caracterização Geométrica: O artigo identifica que a obstrução à não degenerescência estável reside nas propriedades geométricas globais do espaço de módulos de variedades abelianas. Especificamente, a "não uniruledade" (ser de tipo geral) dos espaços de módulos de alta dimensão impede que certas estruturas de Hodge sejam realizadas por famílias de singularidades Newton não degeneradas.
• Existência Algorítmica: Embora a prova principal seja não construtiva, a Seção 8 delineia um algoritmo teórico para produzir um exemplo explícito. Isso envolve o uso de técnicas de bases de Gröbner para encontrar um ponto no espaço de módulos de variedades abelianas com coordenadas algebricamente independentes, garantindo que a singularidade resultante satisfaça as restrições necessárias. Os autores observam que isso é computacionalmente inviável na prática devido à complexidade duplamente exponencial e ao grau massivo dos polinômios resultantes.

Significância
O artigo resolve um problema fundamental em teoria das singularidades ao demonstrar que a classe das singularidades Newton não degeneradas não é estavelmente equivalente à classe de todas as singularidades de hipersuperfície isoladas. A significância do resultado é dupla:

1. Teórica: Estabelece uma conexão profunda entre as propriedades analíticas locais de singularidades e a geometria global dos espaços de módulos de variedades abelianas.
2. Metodológica: Introduz o uso de estruturas de Hodge mistas em loci de contato como um invariante poderoso para distinguir classes de equivalência estável, especificamente aproveitando a rigidez de mapas de período em espaços de módulos de tipo geral.

Os autores observam que seu argumento depende da existência de variedades abelianas de dimensão $g \geq 16$ com propriedades específicas, e referenciam o trabalho de Stevens sugerindo que tais singularidades podem ser genéricas dentro de certas estratificações de número de Milnor constante. O artigo conclui sugerindo que combinar estes métodos com a teoria de Floer poderia potencialmente fortalecer o resultado para mostrar que tais singularidades não podem ser deformadas em singularidades Newton não degeneradas dentro de uma família $\mu$-constante.