Lipschitz Geometry of Mixed Pham-Brieskorn Singularities

Resumo Técnico: Geometria de Lipschitz de Singularidades Mistas de Pham-Brieskorn

Enunciado do Problema
O artigo investiga a geometria de Lipschitz de singularidades mistas do tipo Pham-Brieskorn. Estas são definidas por germes de função $f_{a,b}: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ da forma:
$$f_{a,b} = z_1^{a_1+b_1}\bar{z}_1^{b_1} + \dots + z_n^{a_n+b_n}\bar{z}_n^{b_n}$$
onde $a = (a_1, \dots, a_n)$ e $b = (b_1, \dots, b_n)$ são vetores inteiros com $0 < a_1 \le \dots \le a_n$ e $b_i \ge 0$. O polinômio de Pham-Brieskorn holomorfo associado é $g_a = z_1^{a_1} + \dots + z_n^{a_n}$.

Embora a relação topológica entre $f_{a,b}$ e $g_a$ seja bem estabelecida (eles são topologicamente equivalentes sob certas condições, e $f_{a,b}$ admite uma fibração de Milnor), o artigo aborda a lacuna entre as classificações topológica e analítica. Especificamente, busca determinar condições sob as quais dois germes mistos de Pham-Brieskorn são bi-Lipschitz equivalentes. A questão central é se o tipo bi-Lipschitz é determinado exclusivamente pelos vetores de expoentes $a$ e $b$, e se a equivalência topológica implica equivalência bi-Lipschitz dentro desta família.

Metodologia
O autor emprega ferramentas da geometria de Lipschitz, teoria de singularidades e da teoria de germes ponderadamente homogêneos. A metodologia procede através de várias etapas-chave:

1. Formas Normais Topológicas: O artigo utiliza um homeomorfismo $\phi$ para relacionar $f_{a,b}$ a uma "forma normal topológica". Se $a_i \ge 1$ para todo $i$, $f_{a,b}$ é topologicamente equivalente a $g_a$. Se algum $a_i=0$, é equivalente a uma forma mista envolvendo normas reais $\|z_i\|^{2b_i}$.
2. Multiplicidade e Separação: Para analisar a equivalência bi-Lipschitz, o autor adapta uma versão do "Lema de Separação" para singularidades. O Teorema 4.1 estabelece que, para germes de função suaves com variáveis separadas e singularidades isoladas, se as multiplicidades dos componentes estiverem estritamente ordenadas, as multiplicidades dos componentes correspondentes em um germe bi-Lipschitz equivalente devem coincidir.
3. Cones Tangentes e Invariantes: Para o caso de superfícies mistas ($n=2$), o artigo analisa os cones tangentes dos conjuntos de zeros $X_{a,b} = f_{a,b}^{-1}(0)$. Introduz-se o invariante $\mu_{a,b} = \frac{a_2 + 2b_2}{a_1 + 2b_1}$ para classificar a geometria do cone tangente.
4. Contato de Arcos e Métricas Interna/Externa: A classificação da geometria bi-Lipschitz interna baseia-se na ordem de contato de arcos semialgébricos (utilizando a classificação por chifres $\beta$ de Birbrair). Para a geometria externa, o artigo examina a propriedade de mergulho normal de Lipschitz e o comportamento de caminhos conectando pontos em diferentes ramos da singularidade.

Principais Contribuições e Resultados

• Classificação Bi-Lipschitz de Germes Mistos de Pham-Brieskorn:
  O artigo prova que o tipo bi-Lipschitz de $f_{a,b}$ é determinado pelos vetores $a$ e $b$.

  • Teorema 4.3: Se $f_{a,b}$ e $f_{c,d}$ são bi-Lipschitz equivalentes, então os vetores de expoentes devem satisfazer relações específicas de permutação. Especificamente, se $a_i, c_i \ge 2$, então $a=c$ e as somas $a_i + 2b_i$ devem coincidir com $c_{\sigma(i)} + 2d_{\sigma(i)}$ para alguma permutação $\sigma$.
  • Corolário 4.4: Um polinômio misto $f_{a,b}$ é bi-Lipschitz equivalente ao seu correspondente holomorfo $g_c$ se e somente se $b=0$ (ou seja, o termo misto desaparece), exceto no caso de submersões topológicas onde relações lineares específicas se aplicam.

• Trivialidade Topológica vs. Tipos de Lipschitz Distintos:
  Uma contribuição majoritária é a construção de famílias infinitas de singularidades mistas que são topologicamente triviais (equivalentes a uma forma padrão) mas possuem tipos bi-Lipschitz distintos.

  • Proposição 5.1: Para um vetor fixo $a$, existem subfamílias de $f_{a,b}$ (variando $b$) que são todas topologicamente equivalentes à mesma forma normal, mas contêm infinitas classes bi-Lipschitz distintas. Isso demonstra que a geometria de Lipschitz captura invariantes mais finos do que a topologia isoladamente.

• Geometria de Superfícies Mistas ($n=2$):
  Para superfícies definidas por $f_{a,b}: (\mathbb{C}^2, 0) \to (\mathbb{C}, 0)$, o artigo fornece uma classificação detalhada baseada no invariante $\mu_{a,b}$:

  • Cones Tangentes: A estrutura do cone tangente $C(X_{a,b}, 0)$ é determinada por $\mu_{a,b}$ e pelos valores de $a_1, a_2$. Por exemplo, se $\mu_{a,b} > 1$ e $a_1 \ge 1$, o cone tangente é o plano $\{z_1=0\}$.
  • Mergulho Normal de Lipschitz: O artigo determina exatamente quando essas superfícies são mergulhadas normalmente de Lipschitz (onde as métricas interna e externa são equivalentes).
    • Superfícies do "Tipo (2)" e "Tipo (5)" (homogêneas com singularidades isoladas) são mergulhadas normalmente.
    • Superfícies do "Tipo (4)" com $a_2 \ge 2$ não são mergulhadas normalmente.
    • Superfícies do "Tipo (1)" com $a_1 + 2b_1$ par não são mergulhadas normalmente.
  • Invariante de Geometria Externa: O Teorema 6.8 estabelece que, para superfícies do Tipo (1), o valor $\mu_{a,b}$ é um invariante da geometria bi-Lipschitz externa subanalítica. Se $\mu_{a,b} \neq \mu_{c,d}$, as superfícies não são bi-Lipschitz equivalentes externamente.

• Geometria Interna:
  O artigo mostra que a maioria das superfícies mistas é bi-Lipschitz internamente equivalente ao cone métrico padrão (o chifre $\beta$ com $\beta=1$). No entanto, superfícies do Tipo (3) (onde $a_1=0$ e $\mu_{a,b} > 1$) são internamente equivalentes a chifres $\beta$ com $\beta = \mu_{a,b}$, fornecendo uma classificação interna completa para este caso específico.

Significância e Afirmações
O artigo afirma fornecer uma estrutura rigorosa para distinguir singularidades mistas de Pham-Brieskorn usando invariantes de Lipschitz. Destaca que, embora essas singularidades frequentemente compartilhem o mesmo tipo topológico que seus correspondentes holomorfos (ou formas reais simples), sua geometria métrica é significativamente mais rica e mais sensível aos expoentes específicos $a$ e $b$.

A significância reside em:

1. Refinamento da Classificação: Avançar além da equivalência topológica para mostrar que o "domínio de Lipschitz" situa-se estritamente entre a topologia e a geometria analítica, oferecendo um novo conjunto de invariantes (como $\mu_{a,b}$ e as somas específicas $a_i + 2b_i$).
2. Contraexemplos à Intuição: Demonstrar que a trivialidade topológica não implica trivialidade bi-Lipschitz, mesmo dentro de uma família altamente estruturada de polinômios.
3. Invariantes Geométricos: Identificar $\mu_{a,b}$ como um invariante concreto e computável para a geometria externa de superfícies mistas, que é determinado exclusivamente pelos expoentes.

O trabalho baseia-se em resultados estabelecidos de fibrations de Milnor, teoria de cones tangentes (Whitney, Seade, Ruas) e classificação de superfícies semialgébricas (Birbrair), estendendo-os ao contexto de funções mistas. Não propõe novas aplicações experimentais, mas aprofunda a compreensão teórica da geometria de singularidades.