Riepilogo Tecnico: Teoria di Morse delle Funzioni di Distanza Euclidea da Iper superficie Algebriche

1. Enunciato del Problema

Il lavoro affronta la costruzione di un quadro sistematico della teoria di Morse per la funzione di distanza euclidea ristretta a una varietà liscia $X$ da un sottoinsieme definibile chiuso $Y \subseteq \mathbb{R}^n$. Nello specifico, gli autori analizzano la funzione:
$$\text{dist}_Y|_X : X \to \mathbb{R}, \quad \text{dove } \text{dist}_Y(z) := \min_{y \in Y} \|y - z\|.$$

Sebbene le funzioni di distanza siano centrali nella geometria differenziale e nella geometria algebrica computazionale (definendo concetti come il Grado di Distanza Euclidea e i colli di bottiglia), esse sono generalmente non differenziabili e non convesse. La teoria di Morse classica, che si basa sulla regolarità e sui punti critici non degeneri, non può essere applicata direttamente. Il problema fondamentale consiste nel definire una nozione robusta di "punti critici" e "indici" per queste funzioni di Lipschitz che permetta un'analisi topologica (tramite variazioni degli insiemi di sottolivello) e fornisca limiti superiori sul numero di tali punti critici, in particolare quando $X$ e $Y$ sono ipersuperfici algebriche generiche.

2. Metodologia

Gli autori sviluppano un quadro basato sulla geometria di Lipschitz e sulla teoria delle selezioni continue, piuttosto che sull'analisi classica liscia.

2.1. Punti Critici tramite Sottodifferenziali

Seguendo la teoria di Clarke per funzioni localmente lipschitziane, gli autori definiscono un punto critico $x \in X$ come un punto in cui il sottodifferenziale di Clarke $\partial_x (\text{dist}_Y|_X)$ contiene il vettore nullo.

• Il sottodifferenziale è costruito come l'involucro convesso dei limiti dei gradienti nei punti di differenziabilità.
• Per la funzione di distanza, il sottodifferenziale in $x$ è descritto esplicitamente come l'involucro convesso dei vettori normalizzati che puntano da $x$ ai suoi punti più vicini in $Y$.
• Un punto è critico se il vettore nullo appartiene alla proiezione di questo involucro convesso sullo spazio tangente $T_x X$.

2.2. Selezioni Continue e Non Degenerazione

Per applicare risultati di tipo Morse, gli autori limitano la loro attenzione ai casi in cui $\text{dist}_Y|_X$ si comporta come una selezione continua di un numero finito di funzioni $C^2$.

• Selezione Continua: Una funzione $f$ è una selezione continua di $(f_0, \dots, f_m)$ se $f(x) = f_i(x)$ per qualche $i$ in ogni $x$.
• Punti Critici Non Degeneri: Un punto critico $x$ è non degenere se:
  1. I differenziali delle funzioni attive $f_i$ (dove $f(x)=f_i(x)$) soddisfano una condizione di indipendenza lineare.
  2. Una specifica combinazione convessa di queste funzioni, denotata $\lambda_f$, ha un secondo differenziale non degenere sull'intersezione dei loro nuclei.
• Indici Duali: A differenza della teoria di Morse classica, che ha un singolo indice, i punti critici non degeneri in questo quadro possiedono due indici:
  • Indice Piecewise Linear ($k$): Definito come $k = \#I(x) - 1$, dove $I(x)$ è l'insieme degli indici delle funzioni attive. Questo si relaziona al numero di punti più vicini in $Y$ (colli di bottiglia geometrici).
  • Indice Quadratico ($\iota$): Il numero di autovalori negativi dell'Hessiana di $\lambda_f$ ristretta al sottospazio rilevante.

2.3. Generalità tramite Transversalità Multijet

Per garantire che queste definizioni si applichino al caso specifico delle ipersuperfici algebriche, gli autori impiegano un teorema di transversalità parametrica multijet. Dimostrano che per polinomi generici che definiscono $X$ e $Y$:

• La funzione di distanza è una selezione continua vicino ai punti critici.
• Tutti i punti critici sono non degeneri.
• Il numero di punti più vicini a qualsiasi $x$ è limitato da $n+1$.

3. Contributi e Risultati Chiave

3.1. Unificazione dei Problemi dei Colli di Bottiglia e del Punto Più Vicino

Il quadro unifica due problemi principali nella geometria algebrica computazionale:

1. Colli di Bottiglia: Quando $X = \mathbb{R}^n$, i punti critici corrispondono a colli di bottiglia geometrici (punti equidistanti da più punti su $Y$). L'indice piecewise linear $k$ corrisponde all'ordine del collo di bottiglia.
2. Grado di Distanza Euclidea (EDD): Quando $Y$ è un singolo punto, i punti critici corrispondono al problema standard dell'EDD.
   Gli autori mostrano che entrambi sono istanze di punti critici di $\text{dist}_Y|_X$, distinti dai loro indici.

3.2. Variazione Topologica e Disuguaglianze di Morse

Il lavoro stabilisce un Lemma di Deformazione per le funzioni di distanza: se un intervallo non contiene valori critici, gli insiemi di sottolivello si retraggono per deformazione.
Per i punti critici non degeneri, la variazione dell'omologia quando si attraversa un valore critico è controllata dai due indici $(k, \iota)$. Nello specifico, l'omologia relativa $H_*(X_{c+\epsilon}, X_{c-\epsilon})$ è isomorfa all'omologia ridotta di una sfera $S^{k+\iota}$.
Ciò porta a Disuguaglianze di Morse Forti che legano i numeri di Betti di $X$, $X \cap Y$ e i punti critici:
$$\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)$$
dove $C_{k,\iota}(X, Y)$ denota l'insieme dei punti critici non degeneri con indici $k$ e $\iota$.

3.3. Formula di Dualità

Un risultato significativo è una formula di dualità per le caratteristiche di Eulero di $X$ e $Y$ (assumendo compattezza e non degenerazione):
$$\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)$$
Ciò generalizza la relazione classica tra la caratteristica di Eulero e la somma alternata dei punti critici.

3.4. Limiti Superiori sui Punti Critici

Gli autori forniscono limiti superiori espliciti sul numero di punti critici per ipersuperfici algebriche generiche $X = Z(p)$ e $Y = Z(q)$ con gradi $d_1$ e $d_2$.

• Finitudine: Per $d_1, d_2 \geq 3$, il numero di punti critici è finito.
• Limiti di Grado: Il numero di punti $k$-critici (quelli con $k+1$ punti più vicini) non in $Y$ è limitato da:
  $$\#C_{k,\ast}(\text{dist}_Y|_X) \leq c(k, n) \cdot d_1^n \cdot d_2^{n(k+1)}$$
  dove $c(k, n)$ è una costante che dipende solo da $n$ e $k$.
• Questo risultato generalizza i precedenti limiti per i Gradi di Collo di Bottiglia (dove $k=1$) e i Gradi di Distanza Euclidea.

4. Significato e Affermazioni

Il lavoro afferma di fornire un quadro sistematico generale che recupera e unifica varie nozioni di punti critici nella geometria della distanza utilizzando il linguaggio della geometria di Lipschitz.

• Unificazione Teorica: Colma il divario tra la geometria differenziale classica (teoria di Morse liscia) e la geometria algebrica computazionale (EDD, colli di bottiglia) trattando le funzioni di distanza come selezioni continue.
• Interpretazione Topologica: Offre un'interpretazione topologica di fenomeni geometrici (come i colli di bottiglia) tramite l'indice piecewise linear, mostrando che le variazioni topologiche dipendono sia dal numero di punti più vicini ($k$) sia dalle proprietà di curvatura ($\iota$).
• Set di Strumenti Tecnici: Il lavoro fornisce un "set di strumenti tecnici" (in particolare il teorema di transversalità parametrica multijet per polinomi) che garantisce l'applicabilità di questa teoria alle ipersuperfici algebriche generiche. Ciò permette di derivare limiti superiori basati sul grado senza fare affidamento su tecniche complesse di geometria algebrica come le classi polari, sebbene gli autori notino che le loro tecniche si estendono al contesto complesso.
• Modestia: Gli autori dichiarano esplicitamente che, sebbene si concentrino su ipersuperfici algebriche lisce, si aspettano che i risultati si estendano alle intersezioni complete, lasciando ciò per lavori futuri. Notano inoltre che viene introdotta la definizione di "Grado di Distanza Euclidea Reale" rispetto a un insieme $Y$, ma lo studio del suo corrispettivo complesso è lasciato per future indagini.

In sintesi, il lavoro stabilisce che per ipersuperfici algebriche generiche, la funzione di distanza si comporta in modo sufficientemente simile a una funzione di Morse (nel senso delle selezioni continue) da permettere un'analisi topologica precisa e limiti quantitativi sul numero di punti critici.