Inner Lipschitz Geometry of Complex Surface Germs with Non-Isolated Singularities: A Complete Classification

Resumo Técnico: Geometria de Lipschitz Interna de Germes de Superfícies Complexas com Singularidades Não Isoladas

Enunciado do Problema
O artigo aborda a classificação de germes de superfícies complexas $(X, 0)$ até equivalência bilipschitz interna. Embora a classificação topológica de germes de superfícies complexas esteja bem estabelecida (determinada pela classe de homeomorfismo do elo ou pelo grafo dual de uma resolução boa mínima), a classificação métrica é mais sutil. O trabalho anterior de Birbrair, Neumann e Pichon [BNP14] forneceu uma classificação completa para germes com singularidades isoladas usando "taxas internas" como invariantes. No entanto, o caso de germes com singularidades não isoladas (onde o lugar singular tem dimensão 1) permanecia em aberto. O principal desafio no caso não isolado é que o mapa de normalização $n: (\tilde{X}, 0) \to (X, 0)$ pode falhar em ser uma imersão ao longo do lugar singular, um fenômeno que o autor denomina "estrangulamento" (pinching).

Metodologia
O artigo é estruturado em duas partes, empregando ferramentas de resolução de singularidades, teoria de valuações e geometria métrica.

• Parte I: Singularidades Isoladas e Sistemas de Geradores:
  O autor generaliza o conceito de taxas internas de ideais primários para sistemas de geradores específicos $F = (f_1, \dots, f_k)$ de um ideal $m$-primário $I$. Para uma resolução boa $\pi$, números racionais $q^F_v$ (taxas internas) são definidos ao longo de divisores excepcionais $E_v$.

  • Função de Taxa Interna: Usando o elo não arquimediano $NL(X, 0)$ (o espaço de semivaluações), o autor constrói uma função contínua $I_F$ que estende as taxas internas discretas. Esta função é linear por partes no grafo dual de qualquer resolução.
  • Completude de Geradores: Uma ferramenta técnica fundamental é a "completude" de um sistema de geradores semi-completo $F$. O autor prova que, para qualquer sistema $F$ semi-completo, existe uma extensão $G$ (adicionando mais geradores) tal que o mapa associado $G: (X, 0) \to (G(X), 0)$ é um homeomorfismo sobre uma superfície com uma singularidade isolada. Crucialmente, a função de taxa interna $I_F$ é invariante sob esta completude ($I_F = I_G$). Isso permite a redução de problemas métricos em $(X, 0)$ para problemas na singularidade isolada $(G(X), 0)$.

• Parte II: Singularidades Não Isoladas e Estrangulamento (Pinching):
  O artigo introduz a distinção entre germes de superfícies não estrangulados e estrangulados. Um germe é não estrangulado se sua normalização $n$ é uma imersão em todos os lugares exceto na origem; caso contrário, é estrangulado.

  • Redução ao Caso Não Estrangulado: O autor prova (Proposição 6.1) que qualquer germe de superfície estrangulado $(X, 0)$ é bilipschitz equivalente internamente a um germe de superfície não estrangulado construído $(\tilde{X}, 0)$. Isso é alcançado modificando explicitamente o mapa de normalização usando uma função holomorfa $\psi$ que se anula no lugar singular, criando uma nova imersão em um espaço de dimensão superior.
  • Equivalência Métrica: Para germes não estrangulados, mostra-se que o pullback da métrica euclidiana via normalização é bilipschitz equivalente à métrica interna natural de uma singularidade isolada explicitamente construída (Proposição 5.5).
  • Teorema de Classificação: Ao combinar a redução ao caso não estrangulado com a classificação de singularidades isoladas (via decomposição geométrica em peças $A(q, q')$ e $B(q)$), o autor deriva um invariante completo para o caso geral.

Contribuições Principais e Resultados

1. Generalização de Taxas Internas: O artigo estende a teoria de taxas internas de ideais para sistemas de geradores, definindo uma "função de taxa interna" contínua no elo não arquimediano. Esta função serve como um invariante métrico para a geometria induzida pelos geradores.
2. O Teorema de "Completude" (Teorema A): Estabelece-se que qualquer sistema de geradores semi-completo de um ideal pode ser completado para um sistema que define uma singularidade isolada preservando a função de taxa interna. Isso preenche a lacuna entre germes gerais e o caso isolado.
3. Equivalência entre Estrangulados e Não Estrangulados: O artigo prova que germes estrangulados não são metricamente distintos dos não estrangulados; eles são bilipschitz equivalentes a modelos não estrangulados explicitamente construídos. Isso reduz o problema de classificação ao caso não estrangulado.
4. Classificação Completa (Teorema B / Teorema 8.4): O resultado principal é um invariante completo para a geometria de Lipschitz interna de qualquer germe de superfície complexa (isolada ou não isolada). A geometria é determinada por:
   • O tipo topológico imerso dos componentes do lugar singular onde o grau da normalização é $>1$, juntamente com seus graus.
   • Um grafo dual decorado $\Gamma_{n \circ \pi}$ derivado de uma resolução boa mínima.
   • O conjunto de "nós internos" $N_{inn}(F)$ (vértices específicos no grafo).
   • As taxas internas $q^F_v$ nesses nós internos.
   • O tipo topológico das peças de decomposição geométrica ($A$ e $B$) e a classe de homotopia da fibração sobre elas.

Significância
O artigo afirma fornecer a primeira classificação completa de germes de superfícies complexas até equivalência bilipschitz interna no cenário não isolado. Ele estende o trabalho seminal de Birbrair, Neumann e Pichon [BNP14] ao resolver as complicações introduzidas por singularidades não isoladas. A metodologia demonstra que a complexidade métrica das singularidades não isoladas é inteiramente capturada pela combinatória de uma resolução e pelas taxas internas das funções coordenadas da normalização, reduzindo efetivamente o problema ao caso isolado via construções bilipschitz explícitas. Os resultados unificam as classificações topológica e métrica, mostrando que, enquanto o tipo topológico é determinado pelo grafo dual, o tipo de Lipschitz interno requer os dados adicionais das taxas internas e o comportamento específico do mapa de normalização ao longo do lugar singular.