Resumen Técnico: Teoría de Morse de Funciones de Distancia Euclidiana desde Hipersuperficies Algebraicas

1. Enunciado del Problema

El artículo aborda la construcción de un marco sistemático de teoría de Morse para la función de distancia euclidiana restringida a una variedad suave $X$ desde un subconjunto definible cerrado $Y \subseteq \mathbb{R}^n$. Específicamente, los autores analizan la función:
$$\text{dist}_Y|_X : X \to \mathbb{R}, \quad \text{donde } \text{dist}_Y(z) := \min_{y \in Y} \|y - z\|.$$

Aunque las funciones de distancia son centrales en la geometría diferencial y la geometría algebraica computacional (definiendo conceptos como el Grado de Distancia Euclidiana y los cuellos de botella), generalmente no son diferenciables ni convexas. La teoría de Morse clásica, que depende de la suavidad y de puntos críticos no degenerados, no puede aplicarse directamente. El problema central es definir una noción robusta de "puntos críticos" e "índices" para estas funciones Lipschitz que permita un análisis topológico (mediante cambios en los conjuntos de subnivel) y proporcione cotas sobre el número de tales puntos críticos, particularmente cuando $X$ y $Y$ son hipersuperficies algebraicas genéricas.

2. Metodología

Los autores desarrollan un marco basado en la geometría Lipschitz y la teoría de selecciones continuas, en lugar del análisis suave clásico.

2.1. Puntos Críticos mediante Subdiferenciales

Siguiendo la teoría de Clarke para funciones localmente Lipschitz, los autores definen un punto crítico $x \in X$ como un punto donde el subdiferencial de Clarke $\partial_x (\text{dist}_Y|_X)$ contiene el vector cero.

• El subdiferencial se construye como la envolvente convexa de límites de gradientes en puntos de diferenciabilidad.
• Para la función de distancia, el subdiferencial en $x$ se describe explícitamente como la envolvente convexa de vectores normalizados que apuntan desde $x$ hacia sus puntos más cercanos en $Y$.
• Un punto es crítico si el vector cero pertenece a la proyección de esta envolvente convexa sobre el espacio tangente $T_x X$.

2.2. Selecciones Continuas y No Degeneración

Para aplicar resultados de teoría de Morse, los autores restringen su atención a casos donde $\text{dist}_Y|_X$ se comporta como una selección continua de un número finito de funciones $C^2$.

• Selección Continua: Una función $f$ es una selección continua de $(f_0, \dots, f_m)$ si $f(x) = f_i(x)$ para algún $i$ en cada $x$.
• Puntos Críticos No Degenerados: Un punto crítico $x$ es no degenerado si:
  1. Los diferenciales de las funciones activas $f_i$ (donde $f(x)=f_i(x)$) satisfacen una condición de independencia lineal.
  2. Una combinación convexa específica de estas funciones, denotada $\lambda_f$, tiene un segundo diferencial no degenerado en la intersección de sus núcleos.
• Índices Duales: A diferencia de la teoría de Morse clásica, que tiene un único índice, los puntos críticos no degenerados en este marco poseen dos índices:
  • Índice Lineal a Trozos ($k$): Definido como $k = \#I(x) - 1$, donde $I(x)$ es el conjunto de índices de las funciones activas. Esto se relaciona con el número de puntos más cercanos en $Y$ (cuellos de botella geométricos).
  • Índice Cuadrático ($\iota$): El número de valores propios negativos del Hessiano de $\lambda_f$ restringido al subespacio relevante.

2.3. Generalidad mediante Transversalidad Multijet

Para asegurar que estas definiciones se apliquen al caso específico de hipersuperficies algebraicas, los autores emplean un teorema de transversalidad multijet paramétrica. Demuestran que para polinomios genéricos que definen $X$ e $Y$:

• La función de distancia es una selección continua cerca de los puntos críticos.
• Todos los puntos críticos son no degenerados.
• El número de puntos más cercanos a cualquier $x$ está acotado por $n+1$.

3. Contribuciones y Resultados Clave

3.1. Unificación de Cuellos de Botella y Problemas del Punto Más Cercano

El marco unifica dos problemas principales en la geometría algebraica computacional:

1. Cuellos de Botella: Cuando $X = \mathbb{R}^n$, los puntos críticos corresponden a cuellos de botella geométricos (puntos equidistantes a múltiples puntos en $Y$). El índice lineal a trozos $k$ corresponde al orden del cuello de botella.
2. Grado de Distancia Euclidiana (EDD): Cuando $Y$ es un solo punto, los puntos críticos corresponden al problema estándar del EDD.
   Los autores muestran que ambos son instancias de puntos críticos de $\text{dist}_Y|_X$, distinguidos por sus índices.

3.2. Cambio Topológico e Inecuaciones de Morse

El artículo establece un Lema de Deformación para funciones de distancia: si un intervalo no contiene valores críticos, los conjuntos de subnivel se retraen por deformación.
Para puntos críticos no degenerados, el cambio en la homología al pasar un valor crítico está controlado por los dos índices $(k, \iota)$. Específicamente, la homología relativa $H_*(X_{c+\epsilon}, X_{c-\epsilon})$ es isomorfa a la homología reducida de una esfera $S^{k+\iota}$.
Esto conduce a Inecuaciones Fuertes de Morse que relacionan los números de Betti de $X$, $X \cap Y$ y los puntos críticos:
$$\sum_{i=0}^\lambda (-1)^{i+\lambda} b_i(X) \leq \sum_{i=0}^\lambda (-1)^{i+\lambda} \left( b_i(X \cap Y) + \sum_{k+\iota=i} \#C_{k,\iota}(X, Y) \right)$$
donde $C_{k,\iota}(X, Y)$ denota el conjunto de puntos críticos no degenerados con índices $k$ e $\iota$.

3.3. Fórmula de Dualidad

Un resultado significativo es una fórmula de dualidad para las características de Euler de $X$ e $Y$ (asumiendo compacidad y no degeneración):
$$\chi(Y) + \sum_{k,\iota \geq 0} (-1)^{k+\iota} \#C_{k,\iota}(X, Y) = \chi(X) + \sum_{k,\iota \geq 0} (-1)^{k+\iota} \#C_{k,\iota}(Y, X)$$
Esto generaliza la relación clásica entre la característica de Euler y la suma alternada de puntos críticos.

3.4. Cotas sobre Puntos Críticos

Los autores proporcionan cotas explícitas sobre el número de puntos críticos para hipersuperficies algebraicas genéricas $X = Z(p)$ e $Y = Z(q)$ con grados $d_1$ y $d_2$.

• Finitud: Para $d_1, d_2 \geq 3$, el número de puntos críticos es finito.
• Cotas de Grado: El número de puntos $k$-críticos (aquellos con $k+1$ puntos más cercanos) que no están en $Y$ está acotado por:
  $$\#C_{k,\ast}(\text{dist}_Y|_X) \leq c(k, n) \cdot d_1^n \cdot d_2^{n(k+1)}$$
  donde $c(k, n)$ es una constante que depende solo de $n$ y $k$.
• Este resultado generaliza cotas anteriores para Grados de Cuello de Botella (donde $k=1$) y Grados de Distancia Euclidiana.

4. Significado y Afirmaciones

El artículo afirma proporcionar un marco sistemático general que recupera y unifica diversas nociones de puntos críticos en la geometría de distancias utilizando el lenguaje de la geometría Lipschitz.

• Unificación Teórica: Cierra la brecha entre la geometría diferencial clásica (teoría de Morse suave) y la geometría algebraica computacional (EDD, cuellos de botella) al tratar las funciones de distancia como selecciones continuas.
• Interpretación Topológica: Ofrece una interpretación topológica de fenómenos geométricos (como los cuellos de botella) a través del índice lineal a trozos, mostrando que los cambios topológicos dependen tanto del número de puntos más cercanos ($k$) como de las propiedades de curvatura ($\iota$).
• Conjunto de Herramientas Técnicas: El artículo proporciona un "conjunto de herramientas técnicas" (específicamente el teorema de transversalidad paramétrica multijet para polinomios) que garantiza la aplicabilidad de esta teoría a hipersuperficies algebraicas genéricas. Esto permite la derivación de cotas de grado sin depender de técnicas complejas de geometría algebraica como las clases polares, aunque los autores notan que sus técnicas se extienden al contexto complejo.
• Modestia: Los autores declaran explícitamente que, aunque se centran en hipersuperficies algebraicas suaves, esperan que los resultados se extiendan a intersecciones completas, dejando esto para trabajos futuros. También notan que se introduce la definición de "Grado de Distancia Euclidiana Real" relativo a un conjunto $Y$, pero el estudio de su contraparte compleja se deja para una investigación futura.

En resumen, el artículo establece que para hipersuperficies algebraicas genéricas, la función de distancia se comporta suficientemente como una función de Morse (en el sentido de selecciones continuas) para permitir un análisis topológico preciso y cotas cuantitativas sobre el número de puntos críticos.