The distance between homotopy classes of Sobolev maps on spheres

Resumen Técnico: La Distancia entre Clases de Homotopía de Mapas de Sobolev en Esferas

Planteamiento del Problema
Este artículo aborda la relación cuantitativa entre distintas clases de homotopía de automapas de la esfera unidad $S^n$ ($n \ge 2$) dentro del espacio de Sobolev crítico $W^{1,n}(S^n; S^n)$. Específicamente, los autores investigan la "distancia dirigida" entre dos clases de mapas, $E^{(n)}_{d_1}$ y $E^{(n)}_{d_2}$, caracterizadas por sus grados de Brouwer $d_1$ y $d_2$. La distancia se define como el supremo sobre los mapas $f$ de grado $d_1$ del ínfimo sobre los mapas $g$ de grado $d_2$ de la norma $L^n$ de la diferencia en sus derivadas tangenciales débiles:
$$\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 de este trabajo, se conocían límites superiores e inferiores con constantes que dependían de grados específicos (notablemente por Brezis, Mironescu y Shafrir), pero la constante exacta para el caso general y la simetría de esta distancia para pares de grados arbitrarios permanecían abiertas. En particular, la desigualdad $\ge$ en el caso general era un problema abierto (Problema 5.9 en la lista de Brezis).

Metodología
La demostración del resultado principal se divide en el establecimiento de cotas superiores e inferiores agudas para la diferencia de energía.

1. Cota Superior (Sección 3):
   Los autores demuestran que la distancia está acotada superiormente por $\kappa_n |d_1 - d_2|$, donde $\kappa_n = n^{n/2} |S^n|$. La estrategia consiste en una técnica de "inserción de burbujas" (bubble insertion). Para un mapa suave $f$ de grado $d_1$, los autores construyen un mapa $g$ de grado $d_2$ modificando localmente $f$ en una pequeña bola. Esta modificación reemplaza el comportamiento local de $f$ con una "burbuja de grado" (un mapa con grado relativo $d_2 - d_1$ y energía mínima). Se identifica como la energía mínima requerida para crear una unidad de grado de Brouwer en el espacio crítico la constante $\kappa_n$. Al utilizar la invarianza conforme de la $n$-energía y lemas de aplanamiento local, demuestran que el costo para cambiar el grado es exactamente proporcional a la diferencia de grados.

2. Cota Inferior (Secciones 4–6):
   Demostrar la desigualdad inversa requiere un enfoque más sofisticado que involucra "anclaje oscilatorio" (oscillatory pinning) y "burbujeo atómico" (atomic bubbling).

   • Anclaje Oscilatorio (Sección 5): Los autores construyen una secuencia de mapas $F_j$ de un grado fijo $d_1$ que son "difíciles de aproximar". Esto se logra mediante la alternancia rápida de un mapa de fondo suave $f_0$ a través de una familia finita de pequeñas rotaciones $Q_\theta$ cuyas órbitas abarcan afínmente el espacio ambiente $\mathbb{R}^{n+1}$. Si una secuencia de mapas $g_j$ de grado $d_2$ intenta aproximar $F_j$ con energía acotada, las oscilaciones rápidas fuerzan a que la diferencia $F_j - g_j$ converja fuertemente a cero en $L^n$.
   • Normalización Radial y Burbujeo (Sección 6): Para analizar la energía, los autores definen una secuencia normalizada $u_j$ derivada de la diferencia $F_j - g_j$. Mientras que $u_j$ converge a $f_0$ (grado $d_1$) en $L^n$, cada $u_j$ retiene el grado $d_2$ de $g_j$.
   • Comparación de Energía Atómica: Los autores invocan una versión especializada del teorema de burbujeo de Detaille y Van Schaftingen. Este teorema establece que si una secuencia de mapas con grado $d_2$ converge a un mapa suave de grado $d_1$, la medida de energía límite debe contener "átomos" (singularidades) que portan al menos $\kappa_n |d_1 - d_2|$ de energía. Al comparar la parte atómica de la energía límite de la diferencia $|D(F_j - g_j)|^n$ contra el defecto topológico, establecen que el costo de energía no puede ser inferior al mínimo teórico.

Contribuciones Clave y Resultados
El resultado central es el Teorema 1.1, que proporciona una fórmula explícita para la distancia dirigida:
$$\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|.$$
Implicaciones clave:

• Simetría: El resultado implica que la distancia dirigida es simétrica para todo $n \ge 3$, es decir, $\text{Dist}_n(E^{(n)}_{d_1}, E^{(n)}_{d_2}) = \text{Dist}_n(E^{(n)}_{d_2}, E^{(n)}_{d_1})$. Esto resuelve el Problema Abierto 1 de Brezis, Mironescu y Shafrir (2016) para el caso $s=1, p=n$.
• Constante Aguda: El artículo identifica la constante exacta $\kappa_n$ para la cota inferior en el caso general, resolviendo el Problema Abierto 2 de la misma fuente.
• Conexión con la Energía Heterotópica: El trabajo establece una conexión formal entre los funcionales de "distancia dirigida" y la "energía heterotópica" estudiada recientemente por Detaille y Van Schaftingen, mostrando que el defecto topológico en el límite de las medidas de energía corresponde precisamente a la distancia entre las clases de homotopía.

Significado
El artículo afirma resolver un problema abierto de larga data sobre la geometría de las clases de homotopía en espacios de Sobolev críticos. Al proporcionar una fórmula exacta para todos los grados, extiende resultados previos que estaban limitados a dimensiones específicas ($n=1, 2$) o configuraciones de grados específicas (por ejemplo, signos opuestos). La metodología introduce un novedoso mecanismo de "anclaje oscilatorio" para forzar la compacidad en la diferencia de los mapas, permitiendo una comparación uniforme de los costos topológicos en todas las dimensiones. Los autores señalan que para $n=2$, este resultado responde específicamente al Problema 5.9 de la lista de problemas abiertos de Brezis. El trabajo no propone nuevas aplicaciones o propuestas experimentales, sino que se centra en la caracterización matemática rigurosa de la estructura métrica de estos espacios de funciones.