The distance between homotopy classes of Sobolev maps on spheres

Résumé Technique : La distance entre les classes d'homotopie de cartes de Sobolev sur les sphères

Énoncé du Problème
Cet article traite de la relation quantitative entre les classes d'homotopie distinctes d'auto-applications de la sphère unité $S^n$ ($n \ge 2$) au sein de l'espace de Sobolev critique $W^{1,n}(S^n; S^n)$. Plus précisément, les auteurs étudient la « distance dirigée » entre deux classes de cartes, $E^{(n)}_{d_1}$ et $E^{(n)}_{d_2}$, caractérisées par leurs degrés de Brouwer $d_1$ et $d_2$. La distance est définie comme le supremum sur les cartes $f$ de degré $d_1$ de l'infimum sur les cartes $g$ de degré $d_2$ de la norme $L^n$ de la différence de leurs dérivées tangentielles faibles :
$$\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}.$$
Avant ce travail, bien que des bornes supérieures et inférieures avec des constantes dépendant de degrés spécifiques fussent connues (notamment par Brezis, Mironescu et Shafrir), la constante exacte pour le cas général et la symétrie de cette distance pour des paires de degrés arbitraires restaient ouvertes. En particulier, l'inégalité $\ge$ dans le cas général était un problème ouvert (Problème 5.9 de la liste de Brezis).

Méthodologie
La preuve du résultat principal est divisée en l'établissement de bornes supérieures et inférieures aiguës pour la différence d'énergie.

1. Borne Supérieure (Section 3) :
   Les auteurs prouvent que la distance est bornée au-dessus par $\kappa_n |d_1 - d_2|$, où $\kappa_n = n^{n/2} |S^n|$. La stratégie consiste en une technique d'« insertion de bulle » (bubble insertion). Pour une carte lisse $f$ de degré $d_1$, les auteurs construisent une carte $g$ de degré $d_2$ en modifiant localement $f$ sur une petite boule. Cette modification remplace le comportement local de $f$ par une « bulle de degré » (une carte ayant un degré relatif $d_2 - d_1$ et une énergie minimale). L'énergie minimale requise pour créer une unité de degré de Brouwer dans l'espace critique est identifiée comme étant $\kappa_n$. En utilisant l'invariance conforme de l'énergie $n$ et des lemmes d'aplatissement local, ils démontrent que le coût pour changer le degré est exactement proportionnel à la différence de degrés.

2. Borne Inférieure (Sections 4–6) :
   Prouver l'inégalité inverse nécessite une approche plus sophistiquée impliquant un « ancrage oscillatoire » (oscillatory pinning) et un « bouillonnement atomique » (atomic bubbling).

   • Ancrage Oscillatoire (Section 5) : Les auteurs construisent une séquence de cartes $F_j$ de degré $d_1$ fixé qui sont « difficiles à approximer ». Cela est réalisé en faisant alterner rapidement une carte de fond lisse $f_0$ à travers une famille finie de petites rotations $Q_\theta$ dont les orbites engendrent affinement l'espace ambiant $\mathbb{R}^{n+1}$. Si une séquence de cartes $g_j$ de degré $d_2$ tente d'approximer $F_j$ avec une énergie bornée, les oscillations rapides forcent la différence $F_j - g_j$ à converger fortement vers zéro dans $L^n$.
   • Normalisation Radiale et Bouillonnement (Section 6) : Pour analyser l'énergie, les auteurs définissent une séquence normalisée $u_j$ dérivée de la différence $F_j - g_j$. Bien que $u_j$ converge vers $f_0$ (de degré $d_1$) dans $L^n$, chaque $u_j$ conserve le degré $d_2$ de $g_j$.
   • Comparaison d'Énergie Atomique : Les auteurs invoquent une version spécialisée du théorème de bouillonnement de Detaille et Van Schaftingen. Ce théorème stipule que si une séquence de cartes de degré $d_2$ converge vers une carte lisse de degré $d_1$, la mesure d'énergie limite doit contenir des « atomes » (singularités) portant au moins $\kappa_n |d_1 - d_2|$ d'énergie. En comparant la partie atomique de l'énergie limite de $|D(F_j - g_j)|^n$ contre le défaut topologique, ils établissent que le coût énergétique ne peut être inférieur au minimum théorique.

Contributions Clés et Résultats
Le résultat central est le Théorème 1.1, qui fournit une formule explicite pour la distance dirigée :
$$\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|.$$
Implications clés :

• Symétrie : Le résultat implique que la distance dirigée est symétrique pour tout $n \ge 3$, c'est-à-dire $\text{Dist}_n(E^{(n)}_{d_1}, E^{(n)}_{d_2}) = \text{Dist}_n(E^{(n)}_{d_2}, E^{(n)}_{d_1})$. Cela résout le Problème Ouvert 1 de Brezis, Mironescu et Shafrir (2016) pour le cas $s=1, p=n$.
• Constante Aiguë : L'article identifie la constante exacte $\kappa_n$ pour la borne inférieure dans le cas général, résolvant ainsi le Problème Ouvert 2 de cette même source.
• Connexion à l'Énergie Hétérotopique : Le travail établit une connexion formelle entre les fonctionnelles de « distance dirigée » et l'« énergie hétérotopique » récemment étudiée par Detaille et Van Schaftingen, montrant que le défaut topologique dans la limite des mesures d'énergie correspond précisément à la distance entre les classes d'homotopie.

Signification
L'article prétend résoudre un problème ouvert de longue date concernant la géométrie des classes d'homotopie dans les espaces de Sobolev critiques. En fournissant une formule exacte pour tous les degrés, il étend les résultats précédents qui étaient limités à des dimensions spécifiques ($n=1, 2$) ou à des configurations de degrés spécifiques (par exemple, des signes opposés). La méthodologie introduit un nouveau mécanisme d'« ancrage oscillatoire » pour forcer la compacité dans la différence de cartes, permettant une comparaison uniforme des coûts topologiques à travers toutes les dimensions. Les auteurs notent que pour $n=2$, ce résultat répond spécifiquement au Problème 5.9 de la liste de Brezis. Le travail ne propose pas de nouvelles applications ou propositions expérimentales, mais se concentre sur la caractérisation mathématique rigoureuse de la structure métrique de ces espaces de fonctions.