We establish a weak compactness theorem for the moduli space of closed Ricci flows with uniformly bounded entropy, each equipped with a natural spacetime distance, under pointed Gromov-Hausdorff convergence. Furthermore, we develop a structure theory for the corresponding Ricci flow limit spaces, showing that the regular part, where convergence is smooth, admits the structure of a Ricci flow spacetime, while the singular set has codimension at least four.
论文ID : 2510.12398标题 : On the structure of noncollapsed Ricci flow limit spaces作者 : Hanbing Fang, Yu Li分类 : math.DG (Differential Geometry)发表时间 : October 15, 2025论文链接 : https://arxiv.org/abs/2510.12398 本文建立了具有一致有界熵的闭Ricci流模空间的弱紧性定理,每个流都配备自然的时空距离,在指向Gromov-Hausdorff收敛下成立。此外,我们发展了相应Ricci流极限空间的结构理论,证明了收敛光滑的正则部分具有Ricci流时空的结构,而奇异集的余维数至少为4。
Ricci流作为几何分析中的核心工具,由Hamilton在1982年引入,用于研究流形的拓扑性质。Perelman通过引入新思想革命性地推进了对Ricci流的理解,最终解决了Poincaré猜想和更一般的几何化猜想。
紧性理论的发展 :理解Ricci流序列的行为对研究奇点形成、收敛性和几何极限至关重要无曲率界限情况 :在没有曲率假设的一般Ricci流中,缺少距离可比性阻止了建立单个时间切片的Gromov-Hausdorff收敛结构理论缺失 :需要发展相应极限空间的详细结构理论现有的弱紧性理论主要在标量曲率一致有界的假设下发展 Bamler的F-收敛理论虽然创新,但在一般情况下极限度量流可能携带有限的几何信息 需要在熵有界条件下建立更强的结构理论 建立了新的时空距离 :为熵有界的闭Ricci流定义了自然的时空距离d*,利用共轭热核测度的单调性证明了弱紧性定理 :在指向Gromov-Hausdorff收敛下,建立了Ricci流模空间的紧性发展了完整的结构理论 :
正则部分具有Ricci流时空结构 奇异集余维数至少为4 建立了正则-奇异分解 构建了扩展度量流 :为每个时间切片定义了距离函数,形成扩展度量流结构分析了切流和Ricci收缩子空间 :提供了完整的分层理论和维数估计对于固定常数T ∈ (0,+∞]和Y > 0,模空间M(n,Y,T)包含所有n维闭Ricci流X = {M^n, (g(t)){t∈I {++}}},满足:
g(t)定义在I_{++} := -T,0 上 对任意时空点x* ∈ M × I_{++},有inf_{τ>0} N_{x*}(τ) ≥ -Y 关键创新是利用共轭热核测度的单调性定义时空距离。对于x* = (x,t), y* = (y,s) ∈ M × I_+,其中s ≤ t,定义:
d ∗ ( x ∗ , y ∗ ) : = inf r ∈ [ t − s , t + ( 1 − σ ) T ) { r ∣ d W 1 t − r 2 ( ν x ∗ ; t − r 2 , ν y ∗ ; t − r 2 ) ≤ ε 0 r } d_*(x_*, y_*) := \inf_{r∈[\sqrt{t-s},\sqrt{t+(1-σ)T})} \{r | d^{t-r^2}_{W_1}(ν_{x*;t-r^2}, ν_{y*;t-r^2}) ≤ ε_0 r\} d ∗ ( x ∗ , y ∗ ) := inf r ∈ [ t − s , t + ( 1 − σ ) T ) { r ∣ d W 1 t − r 2 ( ν x ∗ ; t − r 2 , ν y ∗ ; t − r 2 ) ≤ ε 0 r }
这里ε_0是时空距离常数,ν_{x*;s}是基于x*的共轭热核测度。
关键观察是对任意时空点x*, y*,函数t ↦ d^t_(ν_{x*;t}, ν_{y*;t})和t ↦ Var_t(ν_{x*;t}, ν_{y*;t})都是非递减的。
构造的距离满足重要性质:|t(x*) - t(y*)| ≤ d_(x , y*)^2,即时间函数是2-Hölder连续的。
建立了新构造的极限空间与Bamler的F-极限之间的等距嵌入关系:
ι z : ( X ~ I z , d z ∗ ) → ( Z , d Z ) ι_z : (\tilde{X}^z_I, d^*_z) → (Z, d_Z) ι z : ( X ~ I z , d z ∗ ) → ( Z , d Z )
每个极限空间Z具有分解:
Z I − = R I − ⊔ S Z_{I^-} = R_{I^-} ⊔ S Z I − = R I − ⊔ S
其中:
R是正则集,具有Ricci流时空结构(R, t, ∂_t, g^Z) S是奇异集,满足dim_M S ≤ n-2 在正则部分上,收敛是光滑的:存在递增的开集序列U_1 ⊂ U_2 ⊂ ... ⊂ R和时间保持微分同胚φ_i : U_i → V_i,使得:
∥ φ i ∗ g i − g Z ∥ C [ ε i − 1 ] ( U i ) ≤ ε i \|φ_i^* g_i - g^Z\|_{C^{[ε_i^{-1}]}(U_i)} ≤ ε_i ∥ φ i ∗ g i − g Z ∥ C [ ε i − 1 ] ( U i ) ≤ ε i
对每个时间切片Z_t定义距离:
d t Z ( x , y ) : = lim s ↗ t d W 1 R s ( ν x ; s , ν y ; s ) d^Z_t(x,y) := \lim_{s↗t} d^{R_s}_{W_1}(ν_{x;s}, ν_{y;s}) d t Z ( x , y ) := lim s ↗ t d W 1 R s ( ν x ; s , ν y ; s )
证明了(Z, t, (d^Z_t){t∈I^-}, (ν {z;s})_{s∈I^-,s≤t(z)})是H_n-集中的扩展度量流。
定义了包含所有切流的更广类别:Ricci收缩子空间(Z', d_{Z'}, z', t')满足:
R^- ⊂ image(t') N_{z'}(τ)对所有τ > 0保持常数 对Ricci收缩子空间,在正则部分R'_{(-∞,0)}上成立方程:
R i c ( g Z ′ ) + ∇ 2 f z ′ = g Z ′ 2 ∣ t ′ ∣ Ric(g^{Z'}) + ∇^2 f_{z'} = \frac{g^{Z'}}{2|t'|} R i c ( g Z ′ ) + ∇ 2 f z ′ = 2∣ t ′ ∣ g Z ′
并存在流ψ^s使得对任意x,y ∈ Z'_{(-∞,0)}:
d Z ′ ( ψ s ( x ) , ψ s ( y ) ) = e − s / 2 d Z ′ ( x , y ) d_{Z'}(ψ^s(x), ψ^s(y)) = e^{-s/2} d_{Z'}(x,y) d Z ′ ( ψ s ( x ) , ψ s ( y )) = e − s /2 d Z ′ ( x , y )
定义k-对称性概念,建立分层:
S 0 ⊂ S 1 ⊂ . . . ⊂ S n − 2 = S S_0 ⊂ S_1 ⊂ ... ⊂ S_{n-2} = S S 0 ⊂ S 1 ⊂ ... ⊂ S n − 2 = S
证明了关键的体积估计:对任意δ ∈ (0,ε),
∣ B Z ∗ ( S δ r , ε r ε , n − 2 , δ r ) ∩ B Z ∗ ( x 0 , r ) ∣ ≤ C ( n , Y , σ , ε ) δ 4 − ε r n + 2 |B^*_Z(S^{ε,n-2}_{δr,εr}, δr) ∩ B^*_Z(x_0, r)| ≤ C(n,Y,σ,ε)δ^{4-ε}r^{n+2} ∣ B Z ∗ ( S δr , ε r ε , n − 2 , δr ) ∩ B Z ∗ ( x 0 , r ) ∣ ≤ C ( n , Y , σ , ε ) δ 4 − ε r n + 2
建立了曲率的积分控制:
∫ B Z ∗ ( x 0 , r ) ∩ R ∣ R m ∣ 2 − ε d V g t Z d t ≤ C ( n , Y , σ , ε ) r n − 2 + 2 ε \int_{B^*_Z(x_0,r)∩R} |Rm|^{2-ε} dV_{g^Z_t}dt ≤ C(n,Y,σ,ε)r^{n-2+2ε} ∫ B Z ∗ ( x 0 , r ) ∩ R ∣ R m ∣ 2 − ε d V g t Z d t ≤ C ( n , Y , σ , ε ) r n − 2 + 2 ε
对于0为首次奇异时间的闭Ricci流,证明了:
积分估计 :
∫ − T 0 ∫ M ∣ R m ∣ 2 − ε d V g ( t ) d t ≤ C ε \int_{-T}^0 \int_M |Rm|^{2-ε} dV_{g(t)}dt ≤ C_ε ∫ − T 0 ∫ M ∣ R m ∣ 2 − ε d V g ( t ) d t ≤ C ε 体积极限 :
lim t ↗ 0 ∣ M ∣ t = V 0 ∈ [ 0 , ∞ ) \lim_{t↗0} |M|_t = V_0 ∈ [0,∞) lim t ↗ 0 ∣ M ∣ t = V 0 ∈ [ 0 , ∞ ) 塌缩判据 :V_0 = 0当且仅当R_0 = ∅理论完整性 :提供了从距离构造到结构分析的完整理论框架技术创新 :巧妙利用共轭热核测度的单调性构造时空距离深刻联系 :建立了与已有F-收敛理论的深刻联系广泛应用 :理论适用于更一般的完备Ricci流推广经典理论 :将Einstein流形的收敛理论推广到Ricci流解决重要问题 :在无曲率界限情况下建立了紧性理论结构洞察 :提供了对Ricci流极限空间精确的结构理解论文展现了极高的技术水准:
精密的分析技巧 深刻的几何洞察 完备的证明体系 广泛的应用范围 这是微分几何领域的重要进展,预期将对:
Ricci流理论发展 几何分析方法 相关应用领域
产生深远影响。 推广到Kähler情形 :论文已开始探讨Kähler Ricci流的特殊性质应用拓展 :将理论应用到更多几何问题计算方法 :发展相应的数值计算方法高维推广 :探索在更高维情形的推广本文建立了熵有界闭Ricci流的完整结构理论,通过创新的时空距离构造和深刻的分析,解决了该领域的重要问题。理论框架的完整性和技术的深度使其成为微分几何领域的重要贡献,为后续研究奠定了坚实基础。