複素微分幾何学 · 2026-10-16

Finite Time Noncollapsing Kähler-Ricci Flow: Gaussian Type Heat Kernel, Gromov-Hausdorff Limits

有限時間非崩壊Kähler–Ricci flowの熱核と一意な距離極限

Lei Zhang, Zhenlei Zhang

lei-zhang-v3v53r zhenlei-zhang-1qohv2g kahler-ricci-flow-solitons metric-limits singularities fano-varieties curvature Singularities 特異点・特異性 Kähler–Ricci flow and solitons ケーラー・リッチ流・ソリトン Curvature geometry 曲率幾何 Metric limits and Gromov–Hausdorff geometry 距離空間極限・Gromov–Hausdorff幾何 Fano varieties ファノ多様体

arXiv Abstract

In this paper, we study heat kernel estimates along the K\"ahler-Ricci flow with finite time noncollapsing singularities over a compact K\"ahler manifold. The starting point is the type-II scalar-curvature estimate, which gives the natural parabolic scale $r\lesssim T-t$ near the singular time. By combining the distance distortion and space-time cut-off estimates of Bamler--Zhang with entropy, mean-value inequality, and conjugate heat-kernel estimates, we obtain two-sided Gaussian bounds and gradient bounds that are uniform on this scale. Under the global type-I scalar-curvature estimate, the same estimates hold on every scale. We then use these estimates and the monotonicity of the $W_1$-distance between conjugate heat flows to construct a canonical singular-time pseudo-distance. The distances $d_t$ (induced by $\omega(t)$) converge uniformly to this pseudo-distance. Its metric quotient is the unique Gromov--Hausdorff limit. Finally, we apply Bamler's theory and the recent work of Hallgren--Zhang to obtain the following. Every fixed-base-point type-I blow-up admits a subsequential metric-flow limit whose time slices are singular shrinking K\"ahler--Ricci soliton spaces with normal complex-analytic and log-terminal structure, unique tangent cones, and a polarized Fano fibration. For moving base points, the limiting metric flow, equipped with its limiting conjugate heat flow, is a metric soliton precisely under an entropy-pinching condition.

日本語要約

有限時間非崩壊Kähler–Ricci flowに対して、type-IIスカラー曲率評価から短い放物型尺度で熱核と勾配を制御する。type-I評価があれば時間差の制限を取り除ける。共役熱流のWasserstein単調性などを用いて距離の一様極限を構成し、その距離商を一意なGromov–Hausdorff極限として同定する。固定基点でのtype-I blow-upには、log terminalな複素解析構造と偏極Fanoファイブレーションを持つ特異縮小Kähler–Ricciソリトンが現れる。

In this paper, we study heat kernel estimates along the K\"ahler-Ricci flow with finite time noncollapsing singularities over a compact K\"ahler manifold. The starting point is the type-II scalar-curvature estimate, which gives the natural parabolic scale $r\lesssim T-t$ near the singular time. By combining the distance distortion and space-time cut-off estimates of Bamler--Zhang with entropy, mean-value inequality, and conjugate heat-kernel estimates, we obtain two-sided Gaussian bounds and gradient bounds that are uniform on this scale. Under the global type-I scalar-curvature estimate, the same estimates hold on every scale. We then use these estimates and the monotonicity of the $W_1$-distance between conjugate heat flows to construct a canonical singular-time pseudo-distance. The distances $d_t$ (induced by $\omega(t)$) converge uniformly to this pseudo-distance. Its metric quotient is the unique Gromov--Hausdorff limit. Finally, we apply Bamler's theory and the recent work of Hallgren--Zhang to obtain the following. Every fixed-base-point type-I blow-up admits a subsequential metric-flow limit whose time slices are singular shrinking K\"ahler--Ricci soliton spaces with normal complex-analytic and log-terminal structure, unique tangent cones, and a polarized Fano fibration. For moving base points, the limiting metric flow, equipped with its limiting conjugate heat flow, is a metric soliton precisely under an entropy-pinching condition.

有限時間に非崩壊特異点を生じるコンパクトKähler–Ricci flowについて、熱核のGaussian評価と特異時刻の距離極限を研究する。曲率評価に応じた尺度を区別し、距離の一様収束とGromov–Hausdorff極限の一意性、固定基点のblow-up極限の特異縮小ソリトン構造を示す。

arXiv
2610.21824v1
初回投稿日
2026-10-15
原論文のライセンス
arXiv.org perpetual, non-exclusive license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
differential-geometry 2026

原論文を開く

書誌情報

要約

Kähler–Ricci flowが有限時間で特異になるとき、曲率は発散しても距離空間としての極限を理解できるかが問題となる。本論文は、極限のコホモロジー類がnefかつbigである非崩壊の場合を扱い、熱核評価から距離極限へ進む方法を提示する。

まずスカラー曲率のtype-II評価を使い、特異時刻までの残り時間に応じて小さくなる尺度で、距離の変動、cut-off関数、熱核のGaussian上下界を制御する。より強いtype-Iスカラー曲率評価があれば、熱核評価は全ての時間差に拡張できる。Introductionは、このtype-I評価自体が最近のJian–Songの研究によって一般に確立されたことを明記する。

距離関数は特異時刻に向けて一様に擬距離へ収束し、距離ゼロの点を同一視した商が一意なGromov–Hausdorff極限となる。さらに固定基点で拡大した極限は、特異縮小Kähler–Ricciソリトンの時間断面であり、複素解析的な特異点構造とFanoファイブレーションを持つ。

背景と問題設定

複素次元$n$のコンパクトKähler多様体上で

$$ \frac{\partial\omega}{\partial t}=-\operatorname{Ric}(\omega),\qquad \omega(0)=\omega_0,\qquad T=\sup\lbrace t>0:[\omega_0]-2\pi t c_1(X)>0\rbrace <\infty $$

を考える。非崩壊条件は、$\alpha=[\omega_0]-2\pi T c_1(X)$について$\int_X\alpha^n>0$となることである。$d_t$を流れに対応する距離、$H(x,t;y,s)$を熱核とする。

type-IIスカラー曲率評価$R\le C/(T-t)^2$では自然な空間尺度は$r\lesssim T-t$である。一方、type-I評価$R\le C_0/(T-t)$なら$r\lesssim\sqrt{T-t}$まで拡大する。ここでのtype-I条件はスカラー曲率の条件であり、曲率テンソル全体のtype-I評価と混同しない。

主結果

距離の局所変動（Theorem 1.1）

$0<r_0\le\min\lbrace \sqrt{t_0},c_0(T-t_0)\rbrace $、$d_{t_0}(x_0,y_0)\ge r_0$のとき、$|t-t_0|\le\alpha_0r_0^2$で

$$ \alpha_0 d_{t_0}(x_0,y_0)<d_t(x_0,y_0)<\alpha_0^{-1}d_{t_0}(x_0,y_0) $$

が成立する。定数$0<\alpha_0<1,c_0>0$は初期データと次元に依存する。type-Iスカラー評価の下では$r_0\le\min\lbrace \sqrt{t_0},c_0\sqrt{T-t_0}\rbrace $まで同様の結論が成立する。

Cut-off関数（Theorem 1.3）

同じ局所尺度で、$0<\tau\le\rho^2r_0^2$に対する空間時間cut-off関数$\varphi$を構成できる。$0\le\varphi<1$、小さい放物型近傍で$\varphi>\rho$、$t_0$時刻の半径$r_0$の球の外ではゼロとなり、

$$ |\nabla\varphi|<r_0^{-1},\qquad |\partial_t\varphi|+|\Delta\varphi|<r_0^{-2} $$

を満たす。この一様な局所化が熱核の解析を可能にする。

短い尺度での熱核評価（Theorem 1.4）

$0\le s<t<T$、$t-s\le c_1(T-t)^2$なら、

$$ \frac{1}{C_1(t-s)^n}\exp\negthinspace \left(-\frac{C_2d_s(x,y)^2}{t-s}\right) \le H(x,t;y,s)\le \frac{C_1}{(t-s)^n}\exp\negthinspace \left(-\frac{d_s(x,y)^2}{C_2(t-s)}\right) $$

となる。さらに

$$ |\nabla_xH|_{\omega(t)}\le\frac{C_1}{(t-s)^{n+1/2}} \exp\negthinspace \left(-\frac{d_s(x,y)^2}{C_2(t-s)}\right), \qquad \frac{|\nabla_xH|_{\omega(t)}}{H}\le\frac{C_2}{\sqrt{t-s}} \left(1+\frac{d_s(x,y)}{\sqrt{t-s}}\right) $$

を得る。定数が$t\to T$で一様であることと、その一様性が成立する時間差の範囲が重要である。

全時間差への拡張（Theorem 1.5）

$R(x,t)\le C_0/(T-t)$を仮定すると、Gaussian上下界と対数勾配の評価は全ての$0\le s<t<T$で成立する。定数は初期データ、次元、$C_0$に依存する。対数勾配評価の$1+d_s/\sqrt{t-s}$という距離因子は、Euclidean熱核でも必要であり省けない。

一方向の距離評価（Theorem 1.7）

短い尺度では一様定数$C$について

$$ d_s(x,y)-C\sqrt{t-s}\le d_t(x,y) $$

が成立し、type-Iスカラー評価の下では全ての時間差に成立する。他方、上側評価は固定した$s<T$に対し

$$ d_t(x,y)\le d_s(x,y)+C(s)\sqrt{t-s},\qquad s<t\le(T+s)/2 $$

という局所的なものにとどまる。$C(s)$が$s\to T$でも有界という主張ではない。このため、一様な両側Hölder評価を仮定して極限を導くことはしない。

特異時刻と拡大極限（Theorem 1.8）

$d_t$は$X\times X$上で擬距離$d_T$へ一様収束し、

$$ (X,d_t)\xrightarrow{\mathrm{GH}}(X/{\sim},d_T),\qquad x\sim y\ \Longleftrightarrow\ d_T(x,y)=0 $$

となる。極限は一意であり、正則部分は$X\setminus\operatorname{Null}(\alpha)$上の極限Kähler計量によって記述される。別途仮定(3.1)の下で得られる幾何学的な写像と極限との対応は、ファイバーが潰れる条件に依存するため、無条件の同相同定としては述べない。

固定した基点$x$での$(T-t_i)^{-1}g(t_i)$の部分列極限は、特異縮小Kähler–Ricciソリトンの時間断面となり、正規複素解析空間としてlog terminal特異点と偏極Fanoファイブレーションを持つ。Abstractは、移動基点では共役熱流を備えた極限のソリトン性にentropy pinchingが必要となることも述べる。固定基点の結論を移動基点へ無条件には拡張しない。

証明の見取り図

Bamler–Zhangの距離とcut-off評価を、曲率が制御できる尺度で放物型に拡大して用いる。熱核の上界にはHein–Naberの積分評価、平均値不等式、エントロピー評価を組み合わせる別々の経路があり、下界にはPerelmanのHarnack評価を用いる。

特異時刻の距離は、局所化、共役熱流間の$W_1$距離の単調性、packingを用いて構成する。拡大極限のソリトン性にはNashエントロピーの単調性、複素解析構造にはHallgren–Zhangの理論を用いる。

原論文との対応