Technische Samenvatting: Morse-theorie van Euclidische Afstandsfuncties van Algebraïsche Hypervlakken

1. Probleemstelling

Het artikel behandelt de constructie van een systematisch Morse-theorie-kader voor de Euclidische afstandsfunctie beperkt tot een gladde variëteit $X$ vanuit een gesloten definieerbare deelverzameling $Y \subseteq \mathbb{R}^n$. Specifiek analyseren de auteurs de functie:
$$\text{dist}_Y|_X : X \to \mathbb{R}, \quad \text{waarbij } \text{dist}_Y(z) := \min_{y \in Y} \|y - z\|.$$

Hoewel afstandsfuncties centraal staan in differentiaalmeetkunde en computationele algebraïsche meetkunde (waarbij concepten zoals de Euclidische Afstandsgraad en knelpunten worden gedefinieerd), zijn ze over het algemeen niet-differentieerbaar en niet-convex. De klassieke Morse-theorie, die rust op gladheid en niet-ontaarde kritieke punten, kan niet direct worden toegepast. Het kernprobleem is een robuust begrip van "kritieke punten" en "indices" te definiëren voor deze Lipschitz-functies dat topologische analyse mogelijk maakt (via veranderingen in subniveausets) en grenzen oplevert voor het aantal dergelijke kritieke punten, met name wanneer $X$ en $Y$ generieke algebraïsche hypervlakken zijn.

2. Methodologie

De auteurs ontwikkelen een kader gebaseerd op Lipschitz-geometrie en de theorie van continue selecties, in plaats van klassieke gladde analyse.

2.1. Kritieke Punten via Subdifferentiëlen

Volgens de theorie van Clarke voor lokaal Lipschitz-functies definiëren de auteurs een kritiek punt $x \in X$ als een punt waar het Clarke-subdifferentiaal $\partial_x (\text{dist}_Y|_X)$ de nulvector bevat.

• Het subdifferentiaal wordt geconstrueerd als de convexe hull van limieten van gradiënten op punten van differentieerbaarheid.
• Voor de afstandsfunctie wordt het subdifferentiaal in $x$ expliciet beschreven als de convexe hull van genormaliseerde vectoren die van $x$ naar zijn dichtstbijzijnde punten in $Y$ wijzen.
• Een punt is kritiek als de nulvector ligt in de projectie van deze convexe hull op de raakruimte $T_x X$.

2.2. Continue Selecties en Niet-ontaarding

Om Morse-theoretische resultaten toe te passen, beperken de auteurs hun aandacht tot gevallen waarin $\text{dist}_Y|_X$ zich gedraagt als een continue selectie van eindig veel $C^2$-functies.

• Continue Selectie: Een functie $f$ is een continue selectie van $(f_0, \dots, f_m)$ als $f(x) = f_i(x)$ voor een zekere $i$ voor elke $x$.
• Niet-ontaarde Kritieke Punten: Een kritiek punt $x$ is niet-ontaard als:
  1. De differentiaals van de actieve functies $f_i$ (waarbij $f(x)=f_i(x)$) een voorwaarde van lineaire onafhankelijkheid voldoen.
  2. Een specifieke convexe combinatie van deze functies, aangeduid als $\lambda_f$, een niet-ontaarde tweede differentiaal heeft op de doorsnede van hun kernen.
• Dual Indices: In tegenstelling tot de klassieke Morse-theorie, die één index heeft, bezitten niet-ontaarde kritieke punten in dit kader twee indices:
  • Piecewise Lineaire Index ($k$): Gedefinieerd als $k = \#I(x) - 1$, waarbij $I(x)$ de verzameling indices is van actieve functies. Dit heeft betrekking op het aantal dichtstbijzijnde punten in $Y$ (geometrische knelpunten).
  • Kwadratische Index ($\iota$): Het aantal negatieve eigenwaarden van de Hessiaan van $\lambda_f$ beperkt tot de relevante deelruimte.

2.3. Generaliteit via Multijet-Transversaliteit

Om ervoor te zorgen dat deze definities van toepassing zijn op het specifieke geval van algebraïsche hypervlakken, maken de auteurs gebruik van een parametrisch multijet-transversaliteitstheorema. Ze bewijzen dat voor generieke polynomen die $X$ en $Y$ definiëren:

• De afstandsfunctie een continue selectie is in de buurt van kritieke punten.
• Alle kritieke punten niet-ontaard zijn.
• Het aantal dichtstbijzijnde punten voor elke $x$ begrensd is door $n+1$.

3. Belangrijkste Bijdragen en Resultaten

3.1. Unificatie van Knelpunten en Dichtstbijzijnde Punten Problemen

Het kader unificeert twee grote problemen in de computationele algebraïsche meetkunde:

1. Knelpunten: Wanneer $X = \mathbb{R}^n$, corresponderen kritieke punten met geometrische knelpunten (punten die equidistant zijn aan meerdere punten op $Y$). De piecewise lineaire index $k$ correspondeert met de orde van het knelpunt.
2. Euclidische Afstandsgraad (EDD): Wanneer $Y$ een enkel punt is, corresponderen de kritieke punten met het standaard EDD-probleem.
   De auteurs tonen aan dat beide gevallen instances zijn van kritieke punten van $\text{dist}_Y|_X$, onderscheiden door hun indices.

3.2. Topologische Verandering en Morse-ongelijkheden

Het artikel stelt een Deformatie-Lemma vast voor afstandsfuncties: als een interval geen kritieke waarden bevat, retractioneren de subniveausets.
Voor niet-ontaarde kritieke punten wordt de verandering in homologie bij het passeren van een kritieke waarde gecontroleerd door de twee indices $(k, \iota)$. Specifiek is de relatieve homologie $H_*(X_{c+\epsilon}, X_{c-\epsilon})$ isomorf met de gereduceerde homologie van een sfeer $S^{k+\iota}$.
Dit leidt tot Sterke Morse-ongelijkheden die de Betti-getallen van $X$, $X \cap Y$ en de kritieke punten relateert:
$$\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)$$
waarbij $C_{k,\iota}(X, Y)$ de verzameling niet-ontaarde kritieke punten met indices $k$ en $\iota$ aanduidt.

3.3. Dualiteitsformule

Een significant resultaat is een dualiteitsformule voor de Euler-kenmerken van $X$ en $Y$ (onder de aanname van compactheid en niet-ontaarding):
$$\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)$$
Dit generaliseert de klassieke relatie tussen het Euler-kenmerk en het alternerende som van kritieke punten.

3.4. Grenzen voor Kritieke Punten

De auteurs geven expliciete grenzen voor het aantal kritieke punten voor generieke algebraïsche hypervlakken $X = Z(p)$ en $Y = Z(q)$ met graden $d_1$ en $d_2$.

• Eindigheid: Voor $d_1, d_2 \geq 3$ is het aantal kritieke punten eindig.
• Graadgrenzen: Het aantal $k$-kritieke punten (die met $k+1$ dichtstbijzijnde punten) die niet in $Y$ liggen, wordt begrensd door:
  $$\#C_{k,\ast}(\text{dist}_Y|_X) \leq c(k, n) \cdot d_1^n \cdot d_2^{n(k+1)}$$
  waarbij $c(k, n)$ een constante is die alleen afhangt van $n$ en $k$.
• Dit resultaat generaliseert eerdere grenzen voor Knelpuntgraden (waarbij $k=1$) en Euclidische Afstandsgraden.

4. Betekenis en Claims

Het artikel claimt een algemeen systematisch kader te bieden dat diverse noties van kritieke punten in afstandsmeetkunde herstelt en unificeert met behulp van de taal van Lipschitz-geometrie.

• Theoretische Unificatie: Het overbrugt de kloof tussen klassieke differentiaalmeetkunde (gladde Morse-theorie) en computationele algebraïsche meetkunde (EDD, knelpunten) door afstandsfuncties te behandelen als continue selecties.
• Topologische Interpretatie: Het biedt een topologische interpretatie van geometrische fenomenen (zoals knelpunten) via de piecewise lineaire index, en toont aan dat topologische veranderingen afhangen van zowel het aantal dichtstbijzijnde punten ($k$) als de krommeeigenschappen ($\iota$).
• Technische Hulpmiddelen: Het artikel biedt een "technische toolkit" (specifiek het multijet parametrische transversaliteitstheorema voor polynomen) die de toepasbaarheid van deze theorie op generieke algebraïsche hypervlakken garandeert. Dit maakt het mogelijk om graadgrenzen af te leiden zonder te vertrouwen op complexe algebraïsche meetkunde-technieken zoals polaire klassen, hoewel de auteurs opmerken dat hun technieken uitbreiden naar de complexe setting.
• Bescheidenheid: De auteurs stellen expliciet dat hoewel ze zich richten op gladde algebraïsche hypervlakken, ze verwachten dat resultaten uitbreiden naar volledige doorsneden, en dit overlaten aan toekomstig werk. Ze merken ook op dat de definitie van "Real Euclidean Distance Degree" ten opzichte van een verzameling $Y$ wordt geïntroduceerd, maar dat de studie van zijn complexe tegenhanger wordt overgelaten aan toekomstig onderzoek.

Kortom, het artikel stelt vast dat voor generieke algebraïsche hypervlakken de afstandsfunctie zich voldoende als een Morse-functie gedraagt (in de zin van continue selecties) om precieze topologische analyse en kwantitatieve grenzen voor het aantal kritieke punten mogelijk te maken.