Résumé technique : Théorie de Morse des fonctions de distance euclidienne à partir d'hypersurfaces algébriques

1. Énoncé du problème

L'article aborde la construction d'un cadre systématique de théorie de Morse pour la fonction de distance euclidienne restreinte à une variété lisse $X$ à partir d'un sous-ensemble définissable fermé $Y \subseteq \mathbb{R}^n$. Plus précisément, les auteurs analysent la fonction :
$$\text{dist}_Y|_X : X \to \mathbb{R}, \quad \text{où } \text{dist}_Y(z) := \min_{y \in Y} \|y - z\|.$$

Bien que les fonctions de distance soient centrales en géométrie différentielle et en géométrie algébrique computationnelle (définissant des concepts tels que le degré de distance euclidienne et les goulots d'étranglement), elles sont généralement non différentiables et non convexes. La théorie de Morse classique, qui repose sur la régularité et des points critiques non dégénérés, ne peut pas être appliquée directement. Le problème fondamental consiste à définir une notion robuste de « points critiques » et d'« indices » pour ces fonctions lipschitziennes permettant une analyse topologique (via les changements d'ensembles de sous-niveau) et fournissant des bornes sur le nombre de tels points critiques, en particulier lorsque $X$ et $Y$ sont des hypersurfaces algébriques génériques.

2. Méthodologie

Les auteurs développent un cadre basé sur la géométrie lipschitzienne et la théorie des sélection continus, plutôt que sur l'analyse classique lisse.

2.1. Points critiques via sous-différentiels

Suivant la théorie de Clarke pour les fonctions localement lipschitziennes, les auteurs définissent un point critique $x \in X$ comme un point où le sous-différentiel de Clarke $\partial_x (\text{dist}_Y|_X)$ contient le vecteur nul.

• Le sous-différentiel est construit comme l'enveloppe convexe des limites de gradients aux points de différentiabilité.
• Pour la fonction de distance, le sous-différentiel en $x$ est explicitement décrit comme l'enveloppe convexe des vecteurs normalisés pointant de $x$ vers ses points les plus proches dans $Y$.
• Un point est critique si le vecteur nul appartient à la projection de cette enveloppe convexe sur l'espace tangent $T_x X$.

2.2. Sélections continues et non-dégénérescence

Pour appliquer des résultats de type Morse, les auteurs restreignent leur attention aux cas où $\text{dist}_Y|_X$ se comporte comme une sélection continue d'un nombre fini de fonctions $C^2$.

• Sélection continue : Une fonction $f$ est une sélection continue de $(f_0, \dots, f_m)$ si $f(x) = f_i(x)$ pour un certain $i$ en chaque $x$.
• Points critiques non dégénérés : Un point critique $x$ est non dégénéré si :
  1. Les différentielles des fonctions actives $f_i$ (où $f(x)=f_i(x)$) satisfont une condition d'indépendance linéaire.
  2. Une combinaison convexe spécifique de ces fonctions, notée $\lambda_f$, possède un second différentiel non dégénéré sur l'intersection de leurs noyaux.
• Indices duaux : Contrairement à la théorie de Morse classique qui possède un seul indice, les points critiques non dégénérés dans ce cadre possèdent deux indices :
  • Indice linéaire par morceaux ($k$) : Défini par $k = \#I(x) - 1$, où $I(x)$ est l'ensemble des indices des fonctions actives. Cela correspond au nombre de points les plus proches dans $Y$ (goulots d'étranglement géométriques).
  • Indice quadratique ($\iota$) : Le nombre de valeurs propres négatives de la Hessienne de $\lambda_f$ restreinte au sous-espace pertinent.

2.3. Généralité via transversalité multijet

Pour s'assurer que ces définitions s'appliquent au cas spécifique des hypersurfaces algébriques, les auteurs emploient un théorème de transversalité multijet paramétrique. Ils démontrent que pour des polynômes génériques définissant $X$ et $Y$ :

• La fonction de distance est une sélection continue près des points critiques.
• Tous les points critiques sont non dégénérés.
• Le nombre de points les plus proches de n'importe quel $x$ est borné par $n+1$.

3. Contributions et résultats clés

3.1. Unification des problèmes de goulots d'étranglement et de point le plus proche

Le cadre unifie deux problèmes majeurs en géométrie algébrique computationnelle :

1. Goulots d'étranglement : Lorsque $X = \mathbb{R}^n$, les points critiques correspondent aux goulots d'étranglement géométriques (points équidistants de plusieurs points sur $Y$). L'indice linéaire par morceaux $k$ correspond à l'ordre du goulot d'étranglement.
2. Degré de distance euclidienne (EDD) : Lorsque $Y$ est un point unique, les points critiques correspondent au problème standard de l'EDD.
   Les auteurs montrent que les deux sont des instances de points critiques de $\text{dist}_Y|_X$, distingués par leurs indices.

3.2. Changement topologique et inégalités de Morse

L'article établit un Lemme de déformation pour les fonctions de distance : si un intervalle ne contient aucune valeur critique, les ensembles de sous-niveau se rétractent par déformation.
Pour les points critiques non dégénérés, le changement d'homologie lors du passage d'une valeur critique est contrôlé par les deux indices $(k, \iota)$. Plus précisément, l'homologie relative $H_*(X_{c+\epsilon}, X_{c-\epsilon})$ est isomorphe à l'homologie réduite d'une sphère $S^{k+\iota}$.
Cela conduit à des inégalités de Morse fortes reliant les nombres de Betti de $X$, $X \cap Y$, et les points critiques :
$$\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)$$
où $C_{k,\iota}(X, Y)$ désigne l'ensemble des points critiques non dégénérés d'indices $k$ et $\iota$.

3.3. Formule de dualité

Un résultat significatif est une formule de dualité pour les caractéristiques d'Euler de $X$ et $Y$ (en supposant la compacité et la non-dégénérescence) :
$$\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)$$
Cela généralise la relation classique entre la caractéristique d'Euler et la somme alternée des points critiques.

3.4. Bornes sur les points critiques

Les auteurs fournissent des bornes explicites sur le nombre de points critiques pour des hypersurfaces algébriques génériques $X = Z(p)$ et $Y = Z(q)$ de degrés $d_1$ et $d_2$.

• Finitude : Pour $d_1, d_2 \geq 3$, le nombre de points critiques est fini.
• Bornes de degré : Le nombre de points $k$-critiques (ceux avec $k+1$ points les plus proches) n'appartenant pas à $Y$ est borné par :
  $$\#C_{k,\ast}(\text{dist}_Y|_X) \leq c(k, n) \cdot d_1^n \cdot d_2^{n(k+1)}$$
  où $c(k, n)$ est une constante ne dépendant que de $n$ et $k$.
• Ce résultat généralise les bornes précédentes pour les degrés de goulots d'étranglement (où $k=1$) et les degrés de distance euclidienne.

4. Importance et affirmations

L'article prétend fournir un cadre systématique général qui récupère et unifie diverses notions de points critiques en géométrie de distance en utilisant le langage de la géométrie lipschitzienne.

• Unification théorique : Il comble le fossé entre la géométrie différentielle classique (théorie de Morse lisse) et la géométrie algébrique computationnelle (EDD, goulots d'étranglement) en traitant les fonctions de distance comme des sélections continues.
• Interprétation topologique : Il offre une interprétation topologique de phénomènes géométriques (comme les goulots d'étranglement) via l'indice linéaire par morceaux, montrant que les changements topologiques dépendent à la fois du nombre de points les plus proches ($k$) et des propriétés de courbure ($\iota$).
• Boîte à outils technique : L'article fournit une « boîte à outils technique » (spécifiquement le théorème de transversalité paramétrique multijet pour les polynômes) qui garantit l'applicabilité de cette théorie aux hypersurfaces algébriques génériques. Cela permet de dériver des bornes de degré sans recourir à des techniques complexes de géométrie algébrique comme les classes polaires, bien que les auteurs notent que leurs techniques s'étendent au cadre complexe.
• Modestie : Les auteurs déclarent explicitement que, bien qu'ils se concentrent sur les hypersurfaces algébriques lisses, ils s'attendent à ce que les résultats s'étendent aux intersections complètes, laissant cela pour un travail futur. Ils notent également que la définition du « Degré de distance euclidienne réel » par rapport à un ensemble $Y$ est introduite, mais que l'étude de son équivalent complexe est laissée pour une investigation future.

En résumé, l'article établit que pour des hypersurfaces algébriques génériques, la fonction de distance se comporte suffisamment comme une fonction de Morse (au sens des sélections continues) pour permettre une analyse topologique précise et des bornes quantitatives sur le nombre de points critiques.