The distance between homotopy classes of Sobolev maps on spheres

技術要約：球面上のソボレフ写像のホモトピー類間の距離

問題提起
本論文は、臨界ソボレフ空間 $W^{1,n}(S^n; S^n)$ における単位球面 $S^n$ ($n \ge 2$) の自己写像の異なるホモトピー類間の定量的関係を扱う。著者らは、ブラウワー次数 $d_1$ と $d_2$ によって特徴付けられる写像のクラス $E^{(n)}_{d_1}$ と $E^{(n)}_{d_2}$ の間の「方向付き距離（directed distance）」を調査している。この距離は、次数 $d_1$ の写像 $f$ の上限（supremum）であり、かつ次数 $d_2$ の写像 $g$ の下限（infimum）として、弱接線微分における差の $L^n$ ノルムを用いて以下のように定義される：
$$\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）」技法を用いる。滑らかな写像 $f$（次数 $d_1$）に対し、著者らは小さな球体上で $f$ を局所的に修正することにより、次数 $d_2$ の写像 $g$ を構成する。この修正では、$f$ の局所的な振る舞いを「次数バブル（degree bubble）」（相対次数 $d_2 - d_1$ を持ち、最小エネルギーを持つ写像）に置き換える。臨界空間において単位のブローワー次数を生成するために必要な最小エネルギーが $\kappa_n$ であることが特定されている。$n$-エネルギーの共形不変性と局所的な平坦化補題を利用することで、次数を変更するためのコストが、まさに次数の差に比例することを実証している。

2. 下界 (セクション 4–6):
   逆の不等式を証明するには、より高度なアプローチである「振動的ピン留め（oscillatory pinning）」と「原子的バブリング（atomic bubbling）」が必要となる。

   • 振動的ピン留め (セクション 5): 著者らは、近似が困難な（"hard to approximate"）固定次数 $d_1$ の写像の列 $F_j$ を構成する。これは、滑らかな背景写像 $f_0$ を、周囲の空間 $\mathbb{R}^{n+1}$ をアフィンに生成する有限個の小さな回転 $Q_\theta$ を通じて急速に交互に変化させることで達成される。もし次数 $d_2$ の写像の列 $g_j$ が有界なエネルギーで $F_j$ を近似しようとすれば、この急速な振動によって、差 $F_j - g_j$ は $L^n$ において強収束してゼロになることを強制される。
   • 径方向の正規化とバブリング (セクション 6): エネルギーを解析するために、著者らは差 $F_j - g_j$ から導出された正規化された列 $u_j$ を定義する。$u_j$ は $L^n$ において $f_tau$（次数 $d_1$）に収束する一方で、各 $u_j$ は $g_j$ の次数 $d_2$ を保持している。
   • 原子的エネルギー比較: 著者らは、Detaille と Van Schaftingen による特殊なバブリング定理を援用する。この定理は、次数 $d_2$ を持つ写像の列が滑らかな次数 $d_1$ の写像に収束する場合、極限のエネルギー測度は少なくとも $\kappa_n |d_1 - d_2|$ のエネルギーを運ぶ「原子（singularity）」を含まなければならないことを述べている。差 $|D(F_j - g_j)|^n$ の極限エネルギーの原子的部分を、トポロジカルな欠陥（topological defect）と比較することで、エネルギーコストが理論的な最小値よりも低くなることはないことを確立している。

主要な貢献と結果
中心となる結果は、以下の明示的な公式を与える Theorem 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, and Shafrir (2016) による Open Problem 1 ($s=1, p=n$ の場合) を解決するものである。
• シャープな定数: 本論文は、一般の場合における下界のための正確な定数 $\kappa_n$ を特定し、同文献の Open Problem 2 を解決した。
• ヘテロトピック・エネルギーとの接続: 本研究は、「方向付き距離」汎関数と、Detaille および Van Schaftingen によって近年研究されている「ヘテロトピック・エネルギー（heterotopic energy）」との間の形式的な接続を確立しており、エネルギー測度の極限におけるトポロジカルな欠陥が、ホモトピー類の間の距離と正確に一致することを示している。

意義
本論文は、臨界ソボレフ空間におけるホモトピー類の幾何学的構造に関する長年の未解決問題を解決したと主張している。全次数に対応する明示的な公式を提供することで、特定の次元（$n=1, 2$）や特定の次数構成（例：反対の符号）に限定されていた先行研究を拡張している。その手法は、写像の差にコンパクト性を強制するための新しい「振動的ピン留め」メカニズムを導入しており、これにより、すべての次元においてトポロジカルなコストを一様に比較することを可能にしている。著者らは、$n=2$ の場合、この結果が Brezis のリストにある問題 5.9 に具体的に答えるものであると述べている。本研究は、新しい応用や実験的な提案を提示するものではなく、これらの関数空間の計量構造の厳密な数学的特性化に焦点を当てている。