Kähler-Ricci Flow: from divisors to cusps

技術要約：ケーラー・リッチ・フロー：因子からカスプへ

問題提起
本論文は、コンパクト・ケーラー多様体上のケーラー・リッチ・フローの下での、正の閉現在の（bidegree (1,1) の）幾何学的正則化について調査している。先行研究（例：[GZ17, DNL17]）では、ゼロのルング数を持つ初期データが直ちに滑らかになることが確立されているが、本研究では、初期電流 $T_0$ が**因子的な特異性（divisorial singularities）**を持つ、より特異なケースを扱う。具体的には、著者らは $T_0 = \omega + dd^c \phi_0$ で定義される電流を分析する。ここで、$\phi_0 = \sum m_j \log |s_j|^2$ は、アンプルな対数滑らかな因子 $D = \sum D_j$ に沿った因子的な特異性を表している。

中心となる問いは、フローが完全に滑らかになる前の正確な漸近挙動を記述することである。この分野における有力なフォークロア的予想では、ケーラー・リッチ・フローは（デマイリーのベルグマン・カーネル近似と同様に）**解析的特異性（analytic singularities）**を持つ近似体を生成するとされていた。本論文は、この予想を検証し、フローの過程で持続する特異性の性質を特徴付けることを目的としている。

手法
著者らは、特異な初期ポテンシャル $\phi_0$ から始まる、ねじれられたケーラー・リッチ・フロー：
$$\frac{\partial \omega_t}{\partial t} = -\text{Ric}(\omega_t) + \text{Ric}(dV_X)$$
と等価な、複素モンジュ・アンペール・フローの極大弱解の理論を用いている。その手法は、以下の主要な解析的ツールに依拠している：

1. 比較原理： 著者らは、領域の境界における特異性を許容する、フローの劣解および優解に関する一般的な比較原理（定理 1.13）を確立している。これは、特異集合付近でのポテンシャル $\phi_t$ の挙動を制御するために極めて重要である。
2. 時間に関する準凹性： 導出された基本的な性質として、ポテンシャルの時間に関する一様な準凹性（命題 1.15）がある。これは、時間微分に関する驚くべき一様な下界 $\dot{\phi}_t \geq n \log t - C$ を導く。
3. 特異性の分解： 解析には、因子の多重度 $m_j$ に基づいて平滑化区間 $[0, \lambda(\phi_0)]$ を細分化する作業が含まれる。著者らは、対数的な特異性の進化を追跡するために、特定のバリアおよび劣解を構成している。
4. ポアンカレ計量と準座標： 因子近傍の幾何学を扱うために、ポアンカレ型の計量および（小林による）準座標を利用している。これらの計量に適応させたエヴァンズ・クリロフ理論およびショウダー（Schauder）評価を用いて、高次の正則性を導出している。

主要な貢献と結果

• フォークロア的予想の反証： 主要な結果は、フローが解析的特異性を持つ近似体を生成するという予想に反するものである。代わりに、著者らは、因子的な特異性が徐々に**ポアンカレ型の特異性（カスプ）**へと置き換わることを示している。
• 主定理（明示的な漸近挙動）： $D = \sum D_j$ を多重度 $m_j$ を持つアンプルな対数滑らかな因子とする。$T_0$ から出発するフローの解 $\omega_t$ は次を満たす：
  $$\omega_t = \sum_{j} \max(m_j - t, 0)[D_j] + \beta_{t,D}$$
  ここで、$\beta_{t,D}$ は、ザリスキー開集合 $X \setminus \bigcup_{m_j \geq t} D_j$ 上のポアンカレ計量である。
  • $t < \max m_j$ において、フローは減少する係数を伴う「因子的な」部分（因子に沿った積分の電流）を保持し、一方で滑らかな部分はポアンカレ型の特異性を獲得する。
  • $t > \lambda(\phi_0) = \max m_j$ において、フローは多様体 $X$ 全体上で滑らかなケーラー形式となる。
• 一様評価： 著者らは、ゼロ次および高次の評価を提供している。
  • ゼロ次： ポテンシャル $\phi_t$ は、漸近的に $\sum \max(m_j - t, 0) \log |s_j|^2 + t\rho + n(t \log t - t)$ と振る舞う。ここで $\rho$ はポアンカレ・ポテンシャルである。
  • 高次： 著者らは、$\omega_t$ が「活動的な」因子（$m_j \geq t$ であるもの）の補集合において有界な曲率を持つことを証明している。これは、計量が特異領域においてポアンカレ計量と準等長であることを示すことで達成される。
• 特殊なケースにおける明示的な解： 初期ケーラー形式が因子に関連する線束の曲率形式の線形結合である場合（$\omega = \sum m_j \Theta_j$）、その解は明示的であることが示され、一般的な漸近挙動が裏付けられている。

意義
本論文は、ケーラー・リッチ・フローが他の正則化手法（デマイリーの近似など）よりも、より「幾何学的性格」を備えていると主張している。デマイリーのベルグマン・カーネル近似は自然に解析的特異性を持つ近似体を生成するが、ケーラー・リッチ・フローは因子的な特異性を動的にポアンカレ型のカスプへと変容させる。これは、フローがいかにして特異性を解消するかについての洗練された理解を提供するものであり、中間状態が単なる解析的な近似ではなく、特定の幾何学的構造（特異集合の補集合における有界曲率）を持っていることを示している。

これらの結果は、退化したケーラー・リッチ・フローおよび特異なケーラー・アインシュタイン計量の研究において重要であり、特異な因子から滑らかな計量への遷移に関する精密な記述を与えるものである。