The distance between homotopy classes of Sobolev maps on spheres

Resumo Técnico: A Distância entre Classes de Homotopia de Mapas de Sobolev em Esferas

Enunciado do Problema
Este artigo aborda a relação quantitativa entre distintas classes de homotopia de automapas da esfera unitária $S^n$ ($n \ge 2$) no espaço de Sobolev crítico $W^{1,n}(S^n; S^n)$. Especificamente, os autores investigam a "distância direcionada" entre duas classes de mapas, $E^{(n)}_{d_1}$ e $E^{(n)}_{d_2}$, caracterizadas por seus graus de Brouwer $d_1$ e $d_2$. A distância é definida como o supremo sobre mapas $f$ de grau $d_1$ do ínfimo sobre mapas $g$ de grau $d_2$ da norma $L^n$ da diferença em suas derivadas tangenciais fracas:
$$\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}.$$
Antes deste trabalho, embora limites superiores e inferiores com constantes dependentes de graus específicos fossem conhecidos (notadamente por Brezis, Mironescu e Shafrir), a constante exata para o caso geral e a simetria desta distância para pares de graus arbitrários permaneciam em aberto. Em particular, a desigualdade $\ge$ no caso geral era um problema em aberto (Problema 5.9 na lista de Brezis).

Metodologia
A prova do resultado principal é dividida no estabelecimento de limites superiores e inferiores aguçados para a diferença de energia.

1. Limite Superior (Seção 3):
   Os autores provam que a distância é limitada superiormente por $\kappa_n |d_1 - d_2|$, onde $\kappa_n = n^{n/2} |S^n|$. A estratégia envolve uma técnica de "inserção de bolha" (bubble insertion). Para um mapa suave $f$ de grau $d_1$, os autores constroem um mapa $g$ de grau $d_2$ modificando localmente $f$ em uma pequena bola. Esta modificação substitui o comportamento local de $f$ por uma "bolha de grau" (um mapa com grau relativo $d_2 - d_1$ e energia mínima). A energia mínima necessária para criar uma unidade de grau de Brouwer é identificada como $\kappa_n$. Ao utilizar a invariância conforme da $n$-energia e lemas de achatamento local, eles demonstram que o custo para alterar o grau é exatamente proporcional à diferença nos graus.

2. Limite Inferior (Seções 4–6):
   Provar a desigualdade inversa requer uma abordagem mais sofisticada envolvendo "aprisionamento oscilatório" (oscillatory pinning) e "bolhas atômicas" (atomic bubbling).

   • Aprisionamento Oscilatório (Seção 5): Os autores constroem uma sequência de mapas $F_j$ de um grau fixo $d_1$ que são "difíceis de aproximar". Isso é alcançado através da alternância rápida de um mapa de fundo suave $f_0$ por uma família finita de pequenas rotações $Q_\theta$ cujas órbitas estendem afinamente o espaço ambiente $\mathbb{R}^{n+1}$. Se uma sequência de mapas $g_j$ de grau $d_2$ tenta aproximar $F_j$ com energia limitada, as rápidas oscilações forçam a diferença $F_j - g_j$ a convergir fortemente para zero em $L^n$.
   • Normalização Radial e Bolhas (Seção 6): Para analisar a energia, os autores definem uma sequência normalizada $u_j$ derivada da diferença $F_j - g_j$. Embora $u_j$ converja para $f_0$ (grau $d_1$) em $L^n$, cada $u_j$ retém o grau $d_2$ de $g_j$.
   • Comparação de Energia Atômica: Os autores invocam uma versão especializada do teorema de bolhas de Detaille e Van Schaftingen. Este teorema afirma que, se uma sequência de mapas com grau $d_2$ converge para um mapa suave de grau $d_1$, a medida de energia limite deve conter "átomos" (singularidades) carregando pelo menos $\kappa_n |d_1 - d_2|$ de energia. Ao comparar a parte atômica da energia limite da diferença $|D(F_j - g_j)|^n$ contra o defeito topológico, eles estabelecem que o custo de energia não pode ser inferior ao mínimo teórico.

Principais Contribuições e Resultados
O resultado central é o Teorema 1.1, que fornece uma fórmula explícita para a distância direcionada:
$$\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|.$$
Implicações principais incluem:

• Simetria: O resultado implica que a distância direcionada é simétrica para todo $n \ge 3$, ou seja, $\text{Dist}_n(E^{(n)}_{d_1}, E^{(n)}_{d_2}) = \text{Dist}_n(E^{(n)}_{d_2}, E^{(n)}_{d_1})$. Isso resolve o Problema Aberto 1 de Brezis, Mironescu e Shafrir (2016) para o caso $s=1, p=n$.
• Constante Aguçada: O artigo identifica a constante exata $\kappa_n$ para o limite inferior no caso geral, resolvendo o Problema Aberto 2 da mesma fonte.
• Conexão com Energia Heterotópica: O trabalho estabelece uma conexão formal entre os funcionais de "distância direcionada" e a "energia heterotópica" recentemente estudada por Detaille e Van Schaftingen, mostrando que o defeito topológico no limite das medidas de energia corresponde precisamente à distância entre as classes de homotopia.

Significância
O artigo afirma resolver um problema de longa data sobre a geometria das classes de homotopia em espaços de Sobolev críticos. Ao fornecer uma fórmula para todos os graus, ele estende resultados anteriores que eram limitados a dimensões específicas ($n=1, 2$) ou configurações de graus específicas (por exemplo, sinais opostos). A metodologia introduz um novo mecanismo de "aprisionamento oscilatório" para forçar a compacidade na diferença de mapas, permitindo uma comparação uniforme dos custos topológicos em todas as dimensões. Os autores observam que, para $n=2$, este resultado responde especificamente ao Problema 5.9 da lista de problemas abertos de Brezis. O trabalho não propõe novas aplicações ou propostas experimentais, mas foca na caracterização matemática rigorosa da estrutura métrica desses espaços de funções.