The distance between homotopy classes of Sobolev maps on spheres

Sintesi Tecnica: La Distanza tra Classi di Omotopia di Mappe di Sobolev su Sfere

Enunciato del Problema
Questo articolo affronta la relazione quantitativa tra distinte classi di omotopia di auto-mappe della sfera unitaria $S^n$ ($n \ge 2$) all'interno dello spazio di Sobolev critico $W^{1,n}(S^n; S^n)$. Nello specifico, gli autori investigano la "distanza diretta" tra due classi di mappe, $E^{(n)}_{d_1}$ e $E^{(n)}_{d_2}$, caratterizzate dai loro gradi di Brouwer $d_1$ e $d_2$. La distanza è definita come il supremo su mappe $f$ di grado $d_1$ dell'infimo su mappe $g$ di grado $d_2$ della norma $L^n$ della differenza nelle loro derivate tangenziali deboli:
$$\text{Dist}_n(E^{(n)}_{d_1}, E^{(n)}_{d_2}) = \sup_{f \in E^{(n)}_{d_1}} \inf_{g \in E^{(n)}_{d_2}} \left( \int_{S^n} |D_\tau f - D_\tau g|^n \, d\sigma \right)^{1/n}.$$
Prima di questo lavoro, erano noti solo limiti superiori e inferiori con costanti dipendenti da specifici gradi (in particolare da Brezis, Mironescu e Shafrir), ma la costante esatta per il caso generale e la simmetria di questa distanza per coppie di gradi arbitrarie rimanevano un problema aperto. In particolare, la disuguaglianza $\ge$ nel caso generale era un problema aperto (Problema 5.9 nella lista di Brezis).

Metodologia
La dimostrazione del risultato principale è suddivisa nell'instaurazione di limiti superiori e inferiori netti per la differenza di energia.

1. Limite Superiore (Sezione 3):
   Gli autori dimostrano che la distanza è limitata superiormente da $\kappa_n |d_1 - d_2|$, dove $\kappa_n = n^{n/2} |S^n|$. La strategia consiste in una tecnica di "inserimento di bolle" (bubble insertion). Per una mappa liscia $f$ di grado $d_1$, gli autori costruiscono una mappa $g$ di grado $d_2$ modificando localmente $f$ su una piccola sfera. Questa modifica sostituisce il comportamento locale di $f$ con una "bolla di grado" (una mappa con grado relativo $d_2 - d_1$ ed energia minima). L'energia minima necessaria per creare un'unità di grado di Brouwer nello spazio critico viene identificata come $\kappa_n$. Utilizzando l'invarianza conforme dell'energia-$n$ e i lemmi di appiattimento locale, dimostrano che il costo per cambiare il grado è esattamente proporzionale alla differenza dei gradi.

2. Limite Inferiore (Sezioni 4–6):
   Dimostrare la disuguaglianza inversa richiede un approccio più sofisticato basato su "ancoraggio oscillatorio" (oscillatory pinning) e "bubbling atomico".

   • Ancoraggio Oscillatorio (Sezione 5): Gli autori costruiscono una sequenza di mappe $F_j$ di un grado fisso $d_1$ che sono "difficili da approssimare". Ciò è ottenuto facendo alternare rapidamente una mappa di sfondo liscia $f_0$ attraverso una famiglia finita di piccole rotazioni $Q_\theta$ le cui orbite coprono affinamente lo spazio ambiente $\mathbb{R}^{n+1}$. Se una sequenza di mappe $g_j$ di grado $d_2$ tenta di approssimare $F_j$ con energia limitata, le rapide oscillazioni forzano la differenza $F_j - g_j$ a convergere fortemente a zero in $L^n$.
   • Normalizzazione Radiale e Bubbling (Sezione 6): Per analizzare l'energia, gli autori definiscono una sequenza normalizzata $u_j$ derivata dalla differenza $F_j - g_j$. Mentre $u_j$ converge a $f_0$ (grado $d_1$) in $L^n$, ogni $u_j$ conserva il grado $d_2$ di $g_j$.
   • Confronto dell'Energia Atomica: Gli autori invocano una versione specializzata del teorema di bubbling di Detaille e Van Schaftingen. Questo teorema afferma che se una sequenza di mappe con grado $d_2$ converge a una mappa liscia di grado $d_1$, la misura dell'energia limite deve contenere "atomi" (singolarità) che trasportano almeno $\kappa_n |d_1 - d_2|$ di energia. Confrontando la parte atomica dell'energia limite della differenza $|D(F_j - g_j)|^n$ contro il difetto topologico, stabiliscono che il costo energetico non può essere inferiore al minimo teorico.

Contributi Chiave e Risultati
Il risultato centrale è il Teorema 1.1, che fornisce una formula esplicita per la distanza diretta:
$$\sup_{f \in E^{(n)}_{d_1}} \inf_{g \in E^{(n)}_{d_2}} \int_{S^n} |D_\tau f - D_\tau g|^n \, d\sigma = \kappa_n |d_1 - d_2|.$$
Implicazioni chiave includono:

• Simmetria: Il risultato implica che la distanza diretta è simmetrica per tutti $n \ge 3$, ovvero $\text{Dist}_n(E^{(n)}_{d_1}, E^{(n)}_{d_2}) = \text{Dist}_n(E^{(n)}_{d_2}, E^{(n)}_{d_1})$. Ciò risolve il Problema Aperto 1 di Brezis, Mironescu e Shafrir (2016) per il caso $s=1, p=n$.
• Costante Netta: Il lavoro identifica la costante esatta $\kappa_n$ per il limite inferiore nel caso generale, risolvendo il Problema Aperto 2 dello stesso autore.
• Connessione con l'Energia Eterotopica: Il lavoro stabilisce una connessione formale tra i funzionali di "distanza diretta" e l' "energia eterotopica" recentemente studiata da Detaille e Van Schaftingen, mostrando che il difetto topologico nel limite delle misure di energia corrisponde precisamente alla distanza tra le classi di omotopia.

Significatività
L'articolo sostiene di risolvere un problema aperto di lunga data riguardante la geometria delle classi di omotopia negli spazi di Sobolev critici. Fornendo una formula esatta per tutti i gradi, esso estende i risultati precedenti che erano limitati a dimensioni specifiche ($n=1, 2$) o configurazioni di grado specifiche (ad esempio, segni opposti). La metodologia introduce un nuovo meccanismo di "ancoraggio oscillatorio" per forzare la compattezza nella differenza di mappe, permettendo un confronto uniforme dei costi topologici in tutte le dimensioni. Gli autori osservano che per $n=2$, questo risultato risponde specificamente al Problema 5.9 della lista di Brezis. Il lavoro non propone nuove applicazioni o proposte sperimentali, ma si concentra sulla rigorosa caratterizzazione matematica della struttura metrica di questi spazi di funzioni.