Lipschitz Geometry of Mixed Pham-Brieskorn Singularities

Resumen Técnico: Geometría de Lipschitz de Singularidades Mixtas de Pham-Brieskorn

Planteamiento del Problema
El artículo investiga la geometría de Lipschitz de singularidades mixtas de tipo Pham-Brieskorn. Estas se definen mediante gérmenes de función $f_{a,b}: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ de la 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}$$
donde $a = (a_1, \dots, a_n)$ y $b = (b_1, \dots, b_n)$ son vectores enteros con $0 < a_1 \le \dots \le a_n$ y $b_i \ge 0$. El polinomio de Pham-Brieskorn holomorfo asociado es $g_a = z_1^{a_1} + \dots + z_n^{a_n}$.

Aunque la relación topológica entre $f_{a,b}$ y $g_a$ está bien establecida (son topológicamente equivalentes bajo ciertas condiciones, y $f_{a,b}$ admite una fibración de Milnor), el artículo aborda la brecha entre las clasificaciones topológica y analítica. Específicamente, busca determinar las condiciones bajo las cuales dos gérmenes mixtos de Pham-Brieskorn son bi-Lipschitz equivalentes. La pregunta central es si el tipo bi-Lipschitz está determinado únicamente por los vectores de exponentes $a$ y $b$, y si la equivalencia topológica implica la equivalencia bi-Lipschitz dentro de esta familia.

Metodología
El autor emplea herramientas de la geometría de Lipschitz, la teoría de singularidades y la teoría de gérmenes homogéneos ponderados. La metodología avanza a través de varios pasos clave:

1. Formas Normales Topológicas: El artículo utiliza un homeomorfismo $\phi$ para relacionar $f_{a,b}$ con una "forma normal topológica". Si $a_i \ge 1$ para todo $i$, $f_{a,b}$ es topológicamente equivalente a $g_a$. Si algún $a_i=0$, es equivalente a una forma mixta que involucra normas reales $\|z_i\|^{2b_i}$.
2. Multiplicidad y Descomposición: Para analizar la equivalencia bi-Lipschitz, el autor adapta una versión del "Lema de Descomposición" para singularidades. El Teorema 4.1 establece que, para gérmenes de función suaves con variables separadas y singularidades aisladas, si las multiplicidades de los componentes están estrictamente ordenadas, las multiplicidades de los componentes correspondientes en un germén bi-Lipschitz equivalente deben coincidir.
3. Conos Tangentes e Invariantes: Para el caso de superficies mixtas ($n=2$), el artículo analiza los conos tangentes de los conjuntos de ceros $X_{a,b} = f_{a,b}^{-1}(0)$. Introduce el invariante $\mu_{a,b} = \frac{a_2 + 2b_2}{a_1 + 2b_1}$ para clasificar la geometría del cono tangente.
4. Contacto de Arcos y Métricas Interna/Externa: La clasificación de la geometría bi-Lipschitz interna se basa en el orden de contacto de arcos semialgebraicos (utilizando la clasificación de cuernos $\beta$ de Birbrair). Para la geometría externa, el artículo examina la propiedad de incrustación normal de Lipschitz y el comportamiento de los caminos que conectan puntos en diferentes ramas de la singularidad.

Contribuciones y Resultados Clave

• Clasificación Bi-Lipschitz de Gérmenes Mixtos de Pham-Brieskorn:
  El artículo demuestra que el tipo bi-Lipschitz de $f_{a,b}$ está determinado por los vectores $a$ y $b$.

  • Teorema 4.3: Si $f_{a,b}$ y $f_{c,d}$ son bi-Lipschitz equivalentes, entonces los vectores de exponentes deben satisfacer relaciones de permutación específicas. Específicamente, si $a_i, c_i \ge 2$, entonces $a=c$ y las sumas $a_i + 2b_i$ deben coincidir con $c_{\sigma(i)} + 2d_{\sigma(i)}$ para alguna permutación $\sigma$.
  • Corolario 4.4: Un polinomio mixto $f_{a,b}$ es bi-Lipschitz equivalente a su contraparte holomorfa $g_c$ si y solo si $b=0$ (es decir, el término mixto se anula), excepto en el caso de submersiones topológicas donde se cumplen relaciones lineales específicas.

• Trivialidad Topológica vs. Tipos de Lipschitz Distintos:
  Una contribución mayor es la construcción de familias infinitas de singularidades mixtas que son topológicamente triviales (equivalentes a una forma estándar) pero poseen tipos bi-Lipschitz distintos.

  • Proposición 5.1: Para un vector fijo $a$, existen subfamilias de $f_{a,b}$ (variando $b$) que son todas topológicamente equivalentes a la misma forma normal, pero que contienen infinitas clases bi-Lipschitz distintas. Esto demuestra que la geometría de Lipschitz captura invariantes más finos que la topología por sí sola.

• Geometría de Superficies Mixtas ($n=2$):
  Para superficies definidas por $f_{a,b}: (\mathbb{C}^2, 0) \to (\mathbb{C}, 0)$, el artículo proporciona una clasificación detallada basada en el invariante $\mu_{a,b}$:

  • Conos Tangentes: La estructura del cono tangente $C(X_{a,b}, 0)$ está determinada por $\mu_{a,b}$ y los valores de $a_1, a_2$. Por ejemplo, si $\mu_{a,b} > 1$ y $a_1 \ge 1$, el cono tangente es el plano $\{z_1=0\}$.
  • Incrustación Normal de Lipschitz: El artículo determina exactamente cuándo estas superficies están incrustadas normalmente de Lipschitz (donde las métricas interna y externa son equivalentes).
    • Las superficies de "Tipo (2)" y "Tipo (5)" (homogéneas con singularidades aisladas) están normalmente incrustadas.
    • Las superficies de "Tipo (4)" con $a_2 \ge 2$ no están normalmente incrustadas.
    • Las superficies de "Tipo (1)" con $a_1 + 2b_1$ par no están normalmente incrustadas.
  • Invariante de Geometría Externa: El Teorema 6.8 establece que, para superficies de Tipo (1), el valor $\mu_{a,b}$ es un invariante de la geometría bi-Lipschitz externa subanalítica. Si $\mu_{a,b} \neq \mu_{c,d}$, las superficies no son bi-Lipschitz equivalentes externamente.

• Geometría Interna:
  El artículo muestra que la mayoría de las superficies mixtas son bi-Lipschitz equivalentes internamente al cono métrico estándar (el cuerno $\beta$ con $\beta=1$). Sin embargo, las superficies de Tipo (3) (donde $a_1=0$ y $\mu_{a,b} > 1$) son equivalentes internamente a cuernos $\beta$ con $\beta = \mu_{a,b}$, proporcionando una clasificación interna completa para este caso específico.

Significado y Afirmaciones
El artículo afirma proporcionar un marco riguroso para distinguir singularidades mixtas de Pham-Brieskorn utilizando invariantes de Lipschitz. Destaca que, aunque estas singularidades a menudo comparten el mismo tipo topológico que sus contrapartes holomorfas (o formas reales simples), su geometría métrica es significativamente más rica y más sensible a los exponentes específicos $a$ y $b$.

El significado radica en:

1. Refinar la Clasificación: Ir más allá de la equivalencia topológica para mostrar que el "reino de Lipschitz" se sitúa estrictamente entre la topología y la geometría analítica, ofreciendo un nuevo conjunto de invariantes (como $\mu_{a,b}$ y las sumas específicas $a_i + 2b_i$).
2. Contraejemplos a la Intuición: Demostrar que la trivialidad topológica no implica trivialidad bi-Lipschitz, incluso dentro de una familia altamente estructurada de polinomios.
3. Invariantes Geométricos: Identificar $\mu_{a,b}$ como un invariante concreto y computable para la geometría externa de superficies mixtas, el cual está determinado únicamente por los exponentes.

El trabajo se basa en resultados establecidos de fibraciones de Milnor, teoría de conos tangentes (Whitney, Seade, Ruas) y la clasificación de superficies semialgebraicas (Birbrair), extendiéndolos al contexto de funciones mixtas. No propone nuevas aplicaciones experimentales, sino que profundiza en la comprensión teórica de la geometría de singularidades.