On the separation \L ojasiewicz exponents of real analytic sets in the real plane

Resumo Técnico: Exponentes de Separação de Łojasiewicz para Conjuntos Analíticos Reais no Plano

1. Problema e Contexto

O artigo aborda o problema de calcular e estimar os exponentes de separação de Łojasiewicz para pares de germes de conjuntos analíticos reais no plano ($\mathbb{R}^2$).

• Contexto Teórico: As desigualdades de Łojasiewicz, introduzidas na década de 1950, estabelecem uma relação entre a distância de um ponto a dois conjuntos e a distância desse ponto à interseção desses conjuntos. Especificamente, para conjuntos semi-analíticos $A$ e $B$ contendo a origem, existe um expoente $\beta \ge 1$ tal que:
  $$d(x, A) + d(x, B) \ge C \cdot d(x, A \cap B)^\beta$$
  O expoente de separação de Łojasiewicz, denotado por $L(A, B)$, é o ínfimo de todos os tais expoentes $\beta$.
• Objetivo Específico: O foco do trabalho é fornecer uma fórmula explícita para calcular $L(V_f, V_g)$, onde $V_f$ e $V_g$ são os conjuntos de zeros de duas funções analíticas reais $f$ e $g$ em duas variáveis. Além disso, o artigo busca uma estimativa efetiva (dependente apenas do grau dos polinômios) para o caso em que $f$ e $g$ são polinômios.

2. Metodologia

A abordagem dos autores baseia-se fortemente na geometria algébrica local e na teoria de singularidades, utilizando as seguintes ferramentas principais:

• Expansões de Newton-Puiseux: O método central envolve a análise das raízes de Newton-Puiseux das funções definidoras. As curvas de nível são aproximadas por séries de Puiseux.
• Polígonos de Newton Relativos a um Arco (Técnica de "Sliding"): Os autores utilizam a técnica desenvolvida por Kuo e Parusinski. Esta técnica permite analisar o comportamento de uma função $f$ ao longo de um arco (série de Puiseux) $\phi(y)$ através do polígono de Newton de $f(x+\phi(y), y)$.
• Algoritmo de Deslizamento (Sliding Algorithm): Um processo iterativo é definido para construir uma série de Puiseux final $\phi_\infty$ que é uma raiz de $f=0$. O algoritmo ajusta o arco inicial adicionando termos baseados nas arestas do polígono de Newton e nas raízes dos polinômios associados a essas arestas.
• Aproximações Reais: Para lidar com o caso real, os autores definem "aproximações reais" de séries de Puiseux não reais. Se uma série tem coeficientes complexos, ela é substituída por uma série com um coeficiente genérico real no primeiro termo não real, permitindo o estudo da geometria real através de objetos algébricos.
• Lema de Seleção de Curvas: A prova do teorema principal utiliza o Lema de Seleção de Curvas para reduzir o problema global a uma análise local ao longo de curvas analíticas semi-algébricas parametrizadas por séries de Puiseux.

3. Principais Contribuições e Resultados

A. Fórmula para Funções Analíticas (Teorema 3.1)

O resultado central do artigo é uma fórmula para calcular o expoente de separação $L(V_f, V_g)$ baseada nas aproximações das raízes de Newton-Puiseux.

• Definição de $L_+$ e $L_-$: Os autores definem $L_+(V_f, V_g)$ como o máximo de certos expoentes locais $\ell(\gamma)$ calculados sobre o conjunto de todas as aproximações das raízes de Newton-Puiseux de $f \cdot g$.
• Fórmula Final: O expoente de separação é dado por:
  $$L(V_f, V_g) = \max \{ L_+(V_f, V_g), L_-(V_f, V_g) \}$$
  Onde $L_-$ considera a simetria em relação ao eixo $y$ (substituindo $y$ por $-y$).
• Mecanismo de Cálculo: O expoente $\ell(\phi)$ para uma curva $\phi$ é calculado como:
  $$\ell(\phi) = \frac{\min \{ \text{ord}_d(\phi, V_f), \text{ord}_d(\phi, V_g) \}}{\text{ord}_d(\phi, V_{\gcd(f,g)})}$$
  Aqui, $\text{ord}_d$ representa a ordem de distância entre a curva e o conjunto de zeros. O teorema prova que o supremo global é atingido exatamente nas "aproximações" das raízes, simplificando drasticamente o cálculo.

B. Estimativa Efetiva para Polinômios (Teorema 4.1)

Para o caso onde $f$ e $g$ são polinômios reais de grau máximo $d$, os autores fornecem um limite superior efetivo para o expoente de separação.

• Resultado: Se $\deg(f), \deg(g) \le d$, então existe uma constante $C$ tal que:
  $$d(x, V_f) + d(x, V_g) \ge C \cdot d(x, V_f \cap V_g)^{\frac{(2d-1)^2+1}{2}}$$
• Melhoria: O artigo destaca que este expoente é mais agudo (menor) do que estimativas anteriores conhecidas na literatura para o caso de duas variáveis, especialmente quando a interseção não é um ponto isolado.

4. Significado e Impacto

• Computabilidade: A principal contribuição é transformar um problema analítico abstrato (encontrar o ínfimo de expoentes sobre todas as curvas) em um problema algébrico computável (analisar um conjunto finito de aproximações de raízes de Puiseux).
• Aplicações Práticas: O expoente de separação é crucial em diversas áreas:
  • Otimização: Análise de convergência em otimização polinomial e "tame".
  • Geometria Algébrica: Prova de versões efetivas do Teorema dos Zeros de Hilbert (Nullstellensatz).
  • Topologia: Cálculo de invariantes topológicos e estudo de singularidades no infinito.
• Generalização: O trabalho estende métodos conhecidos para o contexto de conjuntos analíticos reais, lidando com a complexidade de coeficientes não reais através da noção de "aproximação real", preenchendo uma lacuna entre a teoria complexa e a real.

Em suma, o artigo oferece uma ferramenta poderosa e algorítmica para quantificar a "separação" entre curvas algébricas ou analíticas no plano, com implicações diretas para a eficiência de algoritmos em otimização e geometria computacional.