A Eudoxian study of discriminant curves associated to normal surface singularities

Resumo Técnico: Um Estudo Eudoxiano de Curvas Discriminantes Associadas a Singularidades de Superfícies Normais

1. O Problema

O artigo investiga as propriedades geométricas e combinatórias das curvas discriminantes associadas a morfismos finitos $\phi = (f, g): (S, s) \to (\mathbb{C}^2, 0)$, onde $(S, s)$ é uma singularidade de superfície complexa normal.
O foco principal é o polinômio de Newton inicial e a curva de Newton inicial do divisor discriminante $\Delta_\phi$. O problema central é determinar se essas curvas dependem apenas da estrutura combinatória dos divisores definidos por $f$ e $g$ (ou seja, das curvas $Z(f)$ e $Z(g)$ em $S$), ou se dependem de detalhes analíticos mais finos da aplicação $\phi$.

Anteriormente, resultados nesse sentido (como o de Gryszka, Gwoździewicz e Parusiński) eram restritos ao caso em que a superfície fonte $(S, s)$ é suave. Este trabalho busca generalizar esses resultados para o caso de singularidades normais arbitrárias, onde a geometria é mais complexa e a teoria de interseção exige ferramentas mais sofisticadas.

2. Metodologia: A Estratégia "Eudoxiana"

O título do artigo refere-se à estratégia Eudoxiana, uma analogia com a teoria das proporções de Eudoxo (descrita no Livro V dos Elementos de Euclides).

• Conceito: Em vez de comparar diretamente duas magnitudes $f$ e $g$ (o que pode ser difícil na ausência de uma ordem total no anel de germes de funções), a estratégia consiste em estudar todos os pares de múltiplos inteiros positivos $(f^b, g^a)$ para $a, b \in \mathbb{Z}_{>0}$.
• Aplicação: Os autores analisam simultaneamente a família de morfismos finitos $\phi_{a,b} = (f^b, g^a)$. Ao variar os expoentes $a$ e $b, eles conseguem extrair informações sobre a estrutura combinatória do discriminante original $\Delta_\phi$ através de propriedades que são invariantes sob essa família.
• Ferramentas Principais:
  1. Generalização de Fórmulas de Interseção: Uma generalização de fórmulas de Casas-Alvero, Lê e Némethi para calcular números de interseção entre divisores discriminantes e curvas em superfícies normais.
  2. Teorema de Delgado e Maugendre: O uso de um teorema que caracteriza os "membros especiais" de penais de curvas (pencils) em termos de resoluções boas e componentes dicriticas.
  3. Geometria Tropical e Polígonos de Newton: O uso de funções tropicais e polígonos de Newton para traduzir propriedades analíticas em dados combinatórios.

3. Contribuições e Resultados Chave

O artigo estabelece três teoremas principais (A, B e C):

Teorema B (Generalização de Fórmulas de Interseção):

• Estende uma fórmula conhecida de Casas-Alvero para o caso de morfismos finitos entre singularidades de superfícies normais.
• A fórmula relaciona o número de interseção do divisor discriminante $\Delta_\phi$ com um divisor principal $Z(F)$ na imagem, aos números de Milnor da função $F$ e de sua pullback $\phi^*F$, bem como ao grau do morfismo:
  $$\Delta_\phi \cdot Z(F) = (\mu(\phi^*F) - 1) - \deg(\phi) \cdot (\mu(F) - 1)$$
• Esta fórmula é fundamental para conectar a geometria do discriminante com invariantes topológicos (números de Milnor).

Teorema C (Invariância Combinatória do Polígono de Newton Jacobiano):

• Estabelece que o Polígono de Newton Jacobiano (o polígono de Newton do discriminante $\Delta_\phi$) depende apenas do tipo combinatório da tripla $(S, Z(f), Z(g))$.
• O "tipo combinatório" refere-se à estrutura do grafo dual de uma resolução boa da união das curvas $Z(f)$ e $Z(g)$, incluindo os números de auto-interseção e os gêneros das componentes excepcionais.
• Isso significa que a forma geométrica do polígono de Newton é um invariante topológico/combinatório, não dependendo de deformações analíticas que preservem o tipo combinatório.

Teorema A (Invariância da Curva de Newton Inicial):

• Este é o resultado principal. Ele afirma que a curva de Newton inicial do divisor discriminante $\Delta_\phi$ depende apenas dos divisores $Z(f)$ e $Z(g)$, a menos de automorfismos tóricos de $\mathbb{C}^2$.
• Em outras palavras, se substituirmos $f$ por $(1+\alpha)f$ e $g$ por $(1+\beta)g$ (onde $\alpha, \beta$ são germes que se anulam na origem), a curva de Newton inicial do novo discriminante é a mesma (a menos de uma mudança de coordenadas tórica).
• Isso permite definir um novo invariante para pares de divisores principais em singularidades normais: a "curva de Newton inicial associada".

4. Significado e Impacto

• Generalização Profunda: O trabalho supera a barreira de se restringir a fontes suaves, estendendo resultados clássicos de teoria de singularidades para o contexto de superfícies normais, que são fundamentais na geometria algébrica e na teoria de singularidades.
• Conexão entre Análise e Combinatória: O artigo demonstra como propriedades analíticas finas (como o polinômio inicial de Newton) são controladas por dados combinatórios globais (o tipo de resolução da tripla de curvas).
• Novo Invariante: A definição da "curva de Newton inicial" como um invariante de pares de divisores (Definição 11.6) abre novas portas para o estudo de morfismos finitos e suas ramificações.
• Metodologia Inovadora: A aplicação explícita da estratégia "Eudoxiana" (estudo de múltiplos inteiros) para resolver problemas de invariância em singularidades normais oferece um novo paradigma metodológico que pode ser aplicado a outros problemas em geometria algébrica local.

Em suma, o artigo fornece uma ponte robusta entre a teoria de interseção em superfícies singulares, a teoria de polígonos de Newton e a topologia das singularidades, consolidando a compreensão de como os discriminantes se comportam sob deformações que preservam a estrutura combinatória das curvas definidoras.