The distance between homotopy classes of Sobolev maps on spheres

Technische Samenvatting: De afstand tussen homotopieklassen van Sobolev-afbeeldingen op sferen

Probleemstelling
Dit artikel behandelt de kwantitatieve relatie tussen verschillende homotopieklassen van zelfafbeeldingen van de eenheidssfeer $S^n$ ($n \ge 2$) binnen de kritische Sobolev-ruimte $W^{1,n}(S^n; S^n)$. Specifiek onderzoeken de auteurs de "gerichte afstand" tussen twee klassen van afbeeldingen, $E^{(n)}_{d_1}$ en $E^{(n)}_{d_2}$, gekenmerkt door hun Brouwer-graden $d_1$ en $d_2$. De afstand wordt gedefinieerd als het supremum over afbeeldingen $f$ van graad $d_1$ van de infimum over afbeeldingen $g$ van graad $d_2$ van de $L^n$-norm van het verschil in hun zwakke tangentiële afgeleiden:
$$\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}.$$
Voorafgaand aan dit werk waren weliswaar bovengrenzen en ondergrenzen met constanten die afhankelijk zijn van specifieke graden bekend (met name door Brezis, Mironescu en Shafrir), maar de exacte scherpe constante voor het algemene geval en de symmetrie van deze afstand voor willekeurige graadparen bleven open. In het bijzonder was de ongelijkheid $\ge$ in het algemene geval een open probleem (Probleem 5.9 in de lijst van Brezis).

Methodologie
Het bewijs van het hoofddoel is verdeeld in het vaststellen van scherpe boven- en ondergrenzen voor het energieverschil.

1. Bovengrens (Sectie 3):
   De auteurs bewijzen dat de afstand begrensd wordt door $\kappa_n |d_1 - d_2|$, waarbij $\kappa_n = n^{n/2} |S^n|$. De strategie is een "bubble-insertie"-techniek. Voor een gladde afbeelding $f$ van graad $d_1$ construeren de auteurs een afbeelding $g$ van graad $d_2$ door $f$ lokaal te modificeren op een kleine bal. Deze modificatie vervangt het lokale gedrag van $f$ door een "graad-bubbel" (een afbeelding met een relatieve graad $d_2 - d_1$ en minimale energie). De minimale energie die vereist is om een eenheid aan Brouwer-graad te creëren, wordt geïdentificeerd als $\kappa_n$. Door gebruik te maken van de conformale invariantie van de $n$-energie en lokale flattening-lemma's, tonen zij aan dat de kosten om de graad te veranderen exact evenredig zijn aan het verschil in graden.

2. Ondergrens (Secties 4–6):
   Het bewijzen van de omgekeerde ongelijkheid vereist een meer geavanceerde aanpak die gebruik maakt van "oscillerende pinning" en "atomaire bubbling".

   • Oscillerende Pinning (Sectie 5): De auteurs construeren een sequentie van afbeeldingen $F_j$ van een vaste graad $d_1$ die "moeilijk te benaderen" zijn. Dit wordt bereikt door een gladde achtergrondafbeelding $f_0$ snel te laten alterneren door een eindige familie van kleine rotaties $Q_\theta$ waarvan de banen de omringende ruimte $\mathbb{R}^{n+1}$ affien overspannen. Als een sequentie van afbeeldingen $g_j$ van graad $d_2$ probeert $F_j$ te benaderen met begrensde energie, dwingen de snelle oscillaties het verschil $F_j - g_j$ om sterk naar nul te convergeren in $L^n$.
   • Radiale Normalisatie en Bubbling (Sectie 6): Om de energie te analyseren, definiëren de auteurs een genormaliseerde sequentie $u_j$ afgeleid van het verschil $F_j - g_j$. Hoewel $u_j$ convergeert naar $f_0$ (graad $d_1$) in $L^n$, behoudt elke $u_j$ de graad $d_2$ van $g_j$.
   • Atomaire Energievergelijking: De auteurs roepen een gespecialiseerde versie van de bubbling-stelling van Detaille en Van Schaftingen aan. Deze stelling stelt dat als een sequentie van afbeeldingen met graad $d_2$ convergeert naar een gladde afbeelding van graad $d_1$, de limiterende energiegrootheid (energy measure) minstens $\kappa_n |d_1 - d_2|$ aan energie moet bevatten in de vorm van "atomen" (singulariteiten). Door het atomaire deel van de limiterende energie van het verschil $|D(F_j - g_j)|^n$ te vergelijken met het topologische defect, stellen zij vast dat de energiekosten niet lager kunnen zijn dan het theoretische minimum.

Kernbijdragen en Resultaten
Het centrale resultaat is Stelling 1.1, die een expliciete formule geeft voor de gerichte afstand:
$$\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|.$$
Belangrijke implicaties zijn:

• Symmetrie: Het resultaat impliceert dat de gerichte afstand symmetrisch is voor alle $n \ge 3$, oftewel $\text{Dist}_n(E^{(n)}_{d_1}, E^{(n)}_{d_2}) = \text{Dist}_n(E^{(n)}_{d_2}, E^{(n)}_{d_1})$. Dit lost Open Probleem 1 op van Brezis, Mironescu en Shafrir (2016) voor het geval $s=1, p=n$.
• Scherpe Constante: Het artikel identificeert de exacte constante $\kappa_n$ voor de ondergrens in het algemene geval, waarmee Open Probleem 2 uit dezelfde bron wordt opgelost.
• Verbinding met Heterotopische Energie: Het werk legt een formele verbinding tussen de "gerichte afstand"-functionalen en de "heterotopische energie" die recentelijk door Detaille en Van Schaftingen is bestudeerd, waarbij wordt aangetoond dat het topologische defect in de limiet van energiegrootheden precies overeenkomt met de afstand tussen homotopieklassen.

Betekenis
Het artikel beweert een langdurig open probleem op te lossen met betrekking tot de geometrie van homotopieklassen in kritische Sobolev-ruimten. Door een exacte, algemene formule te bieden, breidt het de eerdere resultaten uit die beperkt waren tot specifieke dimensies ($n=1, 2$) of specifieke graadconfiguraties (bijv. tegengestelde tekens). De methodologie introduceert een nieuw "oscillerend pinning"-mechanisme om compactheid in het verschil van afbeeldingen af te dwingen, wat een uniforme vergelijking van topologische kosten over alle dimensies mogelijk maakt. De auteurs merken op dat voor $n=2$, dit resultaat specifiek antwoord geeft op Probleem 5.9 uit de lijst van open problemen van Brezis. Het werk stelt geen nieuwe toepassingen of experimentele voorstellen voor, maar richt zich op de rigoureuze wiskundige karakterisering van de metrische structuur van deze functieruimten.