Characterisation of some multivalued harmonic functions on $\mathbb{R}^{n}$

技術要約：$\mathbb{R}^n$ 上のいくつかの多価調和関数の特性付け

問題設定
本論文は、特定の成長条件の下での $\mathbb{R}^n$ ($n \geqslant 3$) 上の $\mathbb{Z}_2$-調和関数の大域的一意性について扱う。$\mathbb{Z}_2$-調和関数 $u$ は、$\Sigma \subset \mathbb{R}^n$ を滑らかでコンパクトな余 codimension-2 の分岐集合としたとき、$\mathbb{R}^n \setminus \Sigma$ 上の平坦な実線束の調和切断として定義される。この関数は、$\Sigma$ を結ぶループの周りで $\mathbb{Z}_2$-モノドロミーを持つ。

Donaldson（$\mathbb{R}^3$ 上）および Yan（$\mathbb{R}^n$ 上）による最近の構成は、以下の性質を持つこのような関数の具体的な例を提供した：

1. 分岐集合 $\Sigma$ は楕円体である。
2. 関数は無限遠で二次的な成長を示し、指数 1 または $n-1$ の非退化なトレースレス二次形式に漸近する。
3. $\Sigma$ 近傍における局所漸近展開の主係数が消滅しており、これは $u = O(\text{dist}(\cdot, \Sigma)^{3/2})$ であることを意味する。この条件は、$\Sigma$ を既知の集合としてではなく、非線形な自由境界として扱っている。

中心となる問いは、これらの特定の成長特性（二次的な漸近挙動および分岐軌跡における主係数の消滅）が、$\Sigma$ の幾何学をあらかじめ仮定することなく、剛体運動を除いて解を一意に決定するかどうかである。

手法
主一意性定理（Theorem 1.4）の証明は、解析的な準備とフロー理論的な議論という、2つの明確なフェーズに分かれている。

1. 解析的な準備:

   • 周波数関数 (Frequency Function): 著者らは、$Q$-値調和関数に対して元来用いられる Almgren の周波数関数を $\mathbb{Z}_2$-調和の設定に適応させた。彼らは $\mathbb{Z}_2$-調和 1-形式 $du$ に関する単調性公式を確立している。
   • 非退化性: $du$の$\Sigma$近傍における消滅次数を無限遠での多項式成長率に関連付けることで、$du$が非退化であること（展開における劣次係数$B$が至る所消滅しないこと）および$|du|^{-1}(0) = \Sigma$ であることを証明している。これにより、分岐集合が正確に勾配の零集合であることが保証される。
   • 近似的な特殊ラグランジュ多様体: 小さなパラメータ $\delta > 0$ に対して、グラフ $L_\delta = \text{graph}(\delta du)$ は、$\mathbb{C}^n \cong T^*\mathbb{R}^n$ 内の連結で、正確で、次数付きの、$C^{1,\alpha}$ 埋め込みラグランジュ多様体であることが示される。これは 2 つの横断的な平面 $\Pi_\delta^\pm$ に漸近し、ラグランジュ角の誤差が $O(\delta^{1+\alpha})$ のオーダーである近似的な特殊ラグランジュ条件を満たす。

2. フロー理論的な部分:

   • 部分コンパクト化: Imagi–Joyce–Oliveira dos Santos (IJOdS) の枠組みを適応し、無限遠における球面の余接束を付加することで $\mathbb{C}^n$ の部分コンパクト化 $M$ を構成する。これにより、非コンパクトなラグランジュ多様体を、シンプレクティック・カラビ・ヤウ多様体内のコンパクトな対象として扱うことが可能になる。
   • **$DbFuk$における分類:** 派生フーカヤ・カテゴリーを用いて、コンパクト化されたラグランジュ多様体$\bar{L}_\delta$を分類する。この分類は、漸近的な二次多項式$V$のヘッセ行列によって決定される漸近角に依存する。著者らは、$V$の指数が 1 または$n-1$ でなければならないことを証明している。
   • ハミルトニアン摂動: 近似解の非横断性を扱うため、著者らはハミルトニアン摂動の族を導入する。主要な技術的成果は、分岐軌跡および無限遠から離れた領域において、フロー次数 0 および $n$ の交点を除去することである。これは、実解析的な議論（ヘッセ行列の差の摂動）と、分岐軌跡近傍におけるラグランジュ・ポテンシャルの注意深い制御を通じて達成される。
   • ホロモーフィック・ストリップの議論: 2 つの異なる解 $u$ と $v$ が存在すると仮定した場合、著者らはそれらの摂動されたラグランジュ多様体を結ぶホロモーフィック・ストリップ（または分解されたストリップ）を構成する。
     • 上界: このストリップの面積は、ラグランジュ・ポテンシャルの差によって上から抑えられる。一致する漸近条件により、この差は $O(\delta \Lambda^{-1/4})$ （微小）であることが示される。
     • 下界: 勾配が異なる点におけるホロモーフィック曲線の局所的な単調性公式を用いることで、$\eta \delta$ のオーダーの面積の下限を導出する。
     • 矛盾: パラメータを調整することで消滅する上界と、$\delta$ に線形な下界との間の不一致により矛盾が生じ、解は一致しなければならないことが導かれる。

主要な貢献と結果

• 定理 1.4 (大域的一意性): 本論文は、空でない滑らかなコンパクト余 codimension-2 の分岐軌跡を持ち、分岐軌跡において主係数が消滅し、非退化な同次次数 2 の多項式（指数 1 または $n-1$）に漸近する $\mathbb{R}^n$ ($n \geqslant 3$) 上の $\mathbb{Z}_2$-調和関数は、剛体運動を除いて一意的であることを証明している。これは、Donaldson および Yan によって構成されたモデル解と一致する。
• 分岐集合の特性付け: 分岐集合が事前に規定されていたり、関数と共に構成されたりしていたこれまでの存在結果とは異なり、本結果は、無限遠での二次成長と $O(r^{3/2})$ の局所成長条件が、分岐集合を特定の楕円体の幾何学として一意に決定することを示している。
• IJOdS 手法の拡張: 特殊ラグランジュ多様体の分類（特に Lawlor neck）を、$\mathbb{Z}_2$-調和関数（分岐した特殊ラグランジュ多様体の線形化モデルとして機能するもの）の設定に適用することに成功した。
• 解析的な厳密性: ディリクレエネルギー最小化の性質を事前には仮定せずに、Almgren の周波数関数を用いて $\mathbb{Z}_2$-調和 1-形式の非退化性を厳密に証明している。

意義
本論文は、Almgren の正則性理論、ゲージ理論的な爆発極限（Taubes, Haydys–Walpuski）、および Donaldson の $G_2$ 多様体に関するプログラムを含む、現代の微分幾何学において遍在する多価調和関数のクラスに対する剛性結果を確立している。

著者らは、先行研究（Sun, Haydys–Mazzeo–Takahashi）が 固定された 分岐集合 $\Sigma$ に対して一意性を確立していたのに対し、本結果はそれが仮定されていないことを指摘しており、無限遠での漸近挙動が分岐集合をモデル例に見られる特定の楕円体の幾何学へと強制することを示している。本論文は、非線形な特殊ラグランジュ方程式を直接解く代わりに、線形な調和方程式とフロー理論的な道具を利用して一意性を導き出すことで、分岐した極小曲面とその変形を研究するための新しい経路を提供している。

最後に、著者らは2つの関連する未解決の問いを挙げている：「$\mathbb{Z}_2$-熱方程式」の自己相似解（ラグランジュ平均曲率流の自己膨張解）への本結果の一般化の可能性、および漸近多項式が退化する場合（これは問題をより低い次元へと還元する）の挙動についてである。