The distance between homotopy classes of Sobolev maps on spheres

技术摘要：球面上不同同伦类 Sobolev 映射之间的距离

问题陈述
本文研究了单位球面 $S^n$ ($n \ge 2$) 上自映射的不同同伦类在临界 Sobolev 空间 $W^{1,n}(S^n; S^n)$ 中的定量关系。具体而言，作者研究了由 Brouwer 度 $d_1$ 和 $d_2$ 表征的两个类 $E^{(n)}_{d_1}$ 与 $E^{(n)}_{d_2}$ 之间的“定向距离”。该距离定义为：
$$\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}.$$
在此项工作之前，虽然已知存在依赖于特定度的上下界（主要由 Brezis, Mironescu 和 Shafrir 提出），但对于一般情况下的精确锐利常数以及该距离对于任意度对的对称性仍是一个开放问题。特别是，在一般情况下不等式 $\ge$ 的成立问题曾是一个悬而未决的问题（Brezis 名单中的问题 5.9）。

方法论
证明主要结果的过程分为建立能量差的锐利上界和下界。

1. 上界 (第 3 节)：
   作者证明了该距离的上界为 $\kappa_n |d_1 - d_2|$，其中 $\kappa_n = n^{n/2} |S^n|$。其策略是使用“气泡插入”（bubble insertion）技术。对于一个度为 $d_1$ 的光滑映射 $f$，作者通过在小球内局部修改 $f$ 来构造一个度为 $d_2$ 的映射 $g$。这种修改将 $f$ 的局部行为替换为一个“度气泡”（一个具有相对度 $d_2 - d_1$ 且能量最小的映射）。在临界空间中创建单位 Brouwer 度所需的最小能量被确定为 $\kappa_n$。通过利用 $n$-能量的共形不变性和局部平坦化引理，他们证明了改变度的代价恰好与度的差值成正比。

2. 下界 (第 4–6 节)：
   证明反向不等式需要一种更复杂的方法，涉及“振荡钉扎”（oscillatory pinning）和“原子气泡化”（atomic bubbling）。

   • 振荡钉扎 (第 5 节)： 作者构造了一系列固定度 $d_1$ 的映射 $F_j$，它们是“难以逼近”的。这是通过将一个光滑背景映射 $f_0$ 通过一组有限的小旋转 $Q_\theta$ 进行快速交替实现的，这些旋转的轨道仿射生成了环境空间 $\mathbb{R}^{n+1}$。如果一个度为 $d_2$ 的映射序列 $g_j$ 试图以有界能量逼近 $F_j$，那么快速振荡会迫使差值 $F_j - g_j$ 在 $L^n$ 中强收敛到零。
   • 径向归一化与气泡化 (第 6 节)： 为了分析能量，作者定义了一个由差值 $F_j - g_j$ 导出的归一化序列 $u_j$。虽然 $u_j$ 在 $L^n$ 中收敛于 $f_0$（度为 $d_1$），但每个 $u_j$ 都保留了 $g_j$ 的度 $d_2$。
   • 原子能量比较： 作者引用了 Detaille 和 Van Schaftingen 的一个专门的气泡化定理。该定理指出，如果一个具有度 $d_2$ 的映射序列收敛于一个度为 $d_1$ 的光滑映射，则极限能量测度必须包含至少携带 $\kappa_n |d_1 - d_2|$ 能量的“原子”（奇异性）。通过将差值 $|D(F_j - g_j)|^n$ 的原子部分与拓扑缺陷进行比较，他们确立了能量成本不能低于理论最小值。

核心贡献与结果
核心结果是 定理 1.1，它提供了一个关于定向距离的显式公式：
$$\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|.$$
关键意义包括：

• 对称性： 该结果意味着对于所有 $n \ge 3$，定向距离是对称的，即 $\text{Dist}_n(E^{(n)}_{d_1}, E^{(n)}_{d_2}) = \text{Dist}_n(E^{(n)}_{d_2}, E^{(n)}_{d_1})$。这解决了 Brezis, Mironescu, 和 Shafrir (2016) 关于 $s=1, p=n$ 情况下的开放问题 1。
• 锐利常数： 本文确定了一般情况下下界的精确常数 $\kappa_n$，解决了同一来源中的开放问题 2。
• 与异伦同伦能量（Heterotopic Energy）的联系： 该工作建立了“定向距离”泛函与 Detaille 和 Van Schaftingen 最近研究的“异伦同伦能量”之间的正式联系，表明能量测度极限中的拓扑缺陷精确对应于两个同伦类之间的距离。

重要性
本文声称解决了关于临界 Sobolev 空间中同伦类几何结构的长期开放问题。通过提供一个涵盖所有度的精确公式，它扩展了以往仅限于特定维度（$n=1, 2$）或特定度配置（例如相反符号）的结果。其方法论引入了一种新颖的“振荡钉扎”机制，用以强制实现映射差值的紧致性，从而允许跨所有维度对拓扑成本进行统一比较。作者指出，对于 $n=2$，该结果特别回答了 Brezis 名单中的问题 5.9。这项工作并不提出新的应用或实验方案，而是专注于对这些函数空间的度量结构进行严谨的数学刻画。