On Łojasiewicz Ideals and Flatness for Zero Sets with Infinite Tangential Geometry

A continuación presento un resumen técnico detallado del artículo "On the Failure of the Lojasiewicz Property for Smooth Ideals with Dense Regular Loci" (Sobre el fallo de la propiedad de Lojasiewicz para ideales suaves con locus regular denso), escrito por Abdelhafed El Khadiri.

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la intersección de la geometría analítica real, la teoría de singularidades y la topología diferencial: la relación entre la regularidad geométrica del conjunto de ceros de un ideal y las propiedades analíticas de dicho ideal.

• Contexto: Sea $\Omega \subset \mathbb{R}^n$ un conjunto abierto y $E^\infty(\Omega)$ el anillo de funciones suaves ($C^\infty$). Un ideal finitamente generado $I \subset E^\infty(\Omega)$ se denomina ideal de Lojasiewicz si existe un elemento $g \in I$ que satisface la desigualdad de Lojasiewicz respecto a su conjunto de ceros $Z(I)$. Esta desigualdad establece que $|g(x)| \geq C \cdot d(x, Z(I))^\nu$ localmente.
• Teorema de René Thom: Un resultado clásico afirma que si $I$ es un ideal de Lojasiewicz, entonces su conjunto de ceros $Z(I)$ contiene un subconjunto abierto y denso de puntos regulares (suaves).
• La Pregunta Inversa: El problema central de este trabajo es investigar la validez de la recíproca en la categoría suave ($C^\infty$): ¿La existencia de un locus regular abierto y denso en $Z(I)$ implica que $I$ es un ideal de Lojasiewicz?
• Hipótesis: En geometría analítica, la regularidad geométrica suele implicar buenas propiedades algebraicas. Sin embargo, en la categoría suave, las funciones pueden comportarse de manera "patológica" (ej. funciones planas o flat), lo que sugiere que la recíproca podría fallar.

2. Metodología y Herramientas

El autor emplea un enfoque geométrico y analítico combinado, utilizando las siguientes herramientas:

1. Construcción Topológica (El "Hawaiian Earring"): Se utiliza como contraejemplo la "Hawaiian earring" (arenero hawaiano), definida como la unión de infinitos círculos $C_n$ tangentes entre sí en el origen y acumulándose en él. Este conjunto es compacto, tiene un locus regular denso (todos los puntos excepto el origen), pero posee una topología local patológica en el origen (no es localmente contractible).
2. Análisis de Series de Taylor: Se estudia el comportamiento de las funciones suaves que se anulan en este conjunto mediante el desarrollo de Taylor en el punto de acumulación (el origen).
3. Pruebas por Contradicción: Se demuestra que si una función suave se anula en el arenero hawaiano, su expansión de Taylor no puede tener términos no nulos, lo que implica que la función debe ser "plana" (flat) en el origen.
4. Análisis de Desigualdades de Lojasiewicz: Se contrasta el comportamiento de funciones planas con la desigualdad de Lojasiewicz, demostrando que las primeras no pueden satisfacer la segunda.
5. Teoría de Ideales en Dimensión 1: Se realiza un análisis exhaustivo de ideales en $\mathbb{R}^1$ para establecer condiciones de equivalencia entre ideales de Lojasiewicz, ideales cerrados y la naturaleza de sus ceros (órdenes finitos vs. infinitos).

3. Contribuciones y Resultados Clave

El artículo presenta varios teoremas fundamentales que desmontan la recíproca de la propiedad de Lojasiewicz en la categoría suave:

A. El Teorema de Planitud (Flatness)

Teorema 1 y 3: Si una función $f \in C^\infty(\mathbb{R}^2)$ tiene como conjunto de ceros exactamente el arenero hawaiano, entonces $f$ es plana en el origen.

• Detalle: Todas las derivadas parciales de $f$ en el origen son cero ($\partial^\alpha f(0) = 0$ para todo multi-índice $\alpha$).
• Razón Geométrica: Si existiera un término no nulo de grado $p$ en la expansión de Taylor, definiría una curva algebraica. Sin embargo, ninguna curva algebraica de orden finito puede contener infinitos arcos suaves con tangencias y curvaturas degeneradas como las de los círculos del arenero. Por tanto, la geometría del conjunto de ceros fuerza la anulación de todos los términos polinómicos.

B. Fallo de la Propiedad de Lojasiewicz

Teorema 4: La función $f$ descrita anteriormente no satisface la desigualdad de Lojasiewicz respecto a su conjunto de ceros $H$ en el origen.

• Demostración: Dado que $f$ es plana, para cualquier $N > 0$, $|f(x)| \leq \|x\|^N$ cerca del origen. Sin embargo, la distancia al conjunto $H$ escala como $\|x\|$. Si se asumiera la desigualdad de Lojasiewicz ($|f(x)| \geq C \cdot d(x, H)^\theta$), se llegaría a una contradicción al elegir $N > \theta$, ya que una función plana decrece más rápido que cualquier potencia de la distancia.
• Conclusión: El ideal generado por tal función no es un ideal de Lojasiewicz, a pesar de que su conjunto de ceros tiene un locus regular denso.

C. Resultados en Dimensión 1

El artículo también establece resultados precisos para funciones de una variable:

• Teorema 5: Si un ideal finitamente generado en $\mathbb{R}^1$ satisface la desigualdad de Lojasiewicz, todos sus ceros deben ser de orden finito. No pueden existir ceros de orden infinito (puntos donde la función es plana pero no idénticamente cero).
• Teorema 6: En dimensión 1, cualquier ideal finitamente generado con un conjunto de ceros discreto es un ideal principal.
• Corolario 2: En dimensión 1, un ideal de Lojasiewicz finitamente generado es necesariamente cerrado en la topología de Fréchet de $E^\infty(\Omega)$.

4. Significado e Impacto

Este trabajo tiene implicaciones profundas para la comprensión de las singularidades en la categoría suave:

1. Distinción Analítica vs. Suave: El resultado subraya una diferencia fundamental entre la geometría analítica y la diferencial. En el caso analítico, la regularidad del conjunto de ceros suele garantizar propiedades de Lojasiewicz. En el caso suave, la topología del locus regular (incluso si es denso) es insuficiente para garantizar estas propiedades debido a la existencia de funciones planas.
2. Obstrucción Geométrica: Se identifica una obstrucción genuina: la acumulación de infinitas ramas suaves con comportamiento tangencial degenerado. Esta configuración fuerza la planitud de cualquier función que la defina, rompiendo la relación cuantitativa requerida por la desigualdad de Lojasiewicz.
3. Limitaciones de la Regularidad Topológica: El artículo demuestra que la mera existencia de un conjunto denso de puntos regulares en el conjunto de ceros no es suficiente para asegurar que el ideal sea de Lojasiewicz en la categoría $C^\infty$. La estructura local en los puntos singulares (específicamente la naturaleza de la acumulación) es crítica.

En resumen, El Khadiri demuestra que la recíproca del teorema de Thom falla en la categoría suave, proporcionando un contraejemplo explícito basado en el arenero hawaiano y caracterizando la obstrucción como una degeneración geométrica que fuerza la planitud de las funciones, impidiendo así la validez de las desigualdades de Lojasiewicz.