2025-11-18T10:16:13.010286

Compact harmonic RCD$(K, N)$ spaces are harmonic manifolds

Huang

In this paper, we study harmonic RCD$(K,N)$ spaces as the counterpart of harmonic Riemannian manifolds with Ricci curvature bounded from below. We prove that a compact RCD$(K,N)$ space is isometric to a smooth closed Riemannian manifold if it satisfies either of the following harmonicity conditions:(1) the heat kernel $Ï(x,y,t)$ depends only on the variable $t$ and the distance between points $x$ and $y$; (2) the volume of the intersection of two geodesic balls depends only on their radii and the distance between their centers.

academic

Compact harmonic RCD $(K, N)$ spaces are harmonic manifolds

基本信息

论文ID: 2412.20841
标题: Compact harmonic RCD $(K, N)$ spaces are harmonic manifolds
作者: Zhangkai Huang (Sun Yat-sen University)
分类: math.DG (Differential Geometry), math.MG (Metric Geometry)
发表时间: October 14, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2412.20841v2

摘要

本文研究调和RCD $(K,N)$ 空间，作为具有Ricci曲率下界的调和黎曼流形的对应物。作者证明了紧致RCD $(K,N)$ 空间与光滑闭黎曼流形等距，当且仅当它满足以下调和性条件之一：(1) 热核 $\rho(x,y,t)$ 仅依赖于变量 $t$ 和点 $x,y$ 之间的距离；(2) 两个测地球交集的体积仅依赖于它们的半径和球心之间的距离。

研究背景与动机

经典调和流形理论

在 $n$ 维欧几里得空间 $\mathbb{R}^n$ 中，存在仅依赖于原点测地距离的调和函数。例如当 $n > 2$ 时，函数 $f(x) = |x|^{2-n}$ 在 $\mathbb{R}^n \setminus \{0\}$ 上是调和的。1930年代，Ruse开创了黎曼流形上径向调和函数的研究，旨在将欧几里得情形推广到更一般的几何设置。

问题的重要性

几何分析的核心问题：调和流形的刻画是微分几何中的经典问题，涉及曲率、拓扑和分析性质的深层联系
合成几何的发展：RCD $(K,N)$ 空间作为具有Ricci曲率下界的度量测度空间，是现代合成几何的重要研究对象
正则性理论：理解什么条件下非光滑空间实际上是光滑的，这是几何分析中的基本问题

现有方法的局限性

经典的调和流形理论仅适用于光滑黎曼流形
对于RCD空间的正则性研究主要集中在特定条件下（如非塌缩性）
缺乏将经典调和性条件推广到合成几何设置的系统理论

研究动机

本文的核心动机是建立RCD空间中调和性与光滑性之间的桥梁，将Ruse、Szabó等人的经典结果推广到非光滑设置，并证明某些调和性条件实际上蕴含着空间的光滑性。

核心贡献

引入强调和RCD空间的概念：定义了热核仅依赖于距离和时间的RCD $(K,N)$ 空间
建立径向对称性与光滑性的联系：证明了径向对称的非塌缩RCD空间必然是光滑流形
证明体积齐次性蕴含光滑性：将经典的Csikós-Horváth定理推广到RCD设置
提供完整的正则性理论：给出了从合成几何条件到光滑性的完整证明路径

方法详解

任务定义

输入：紧致RCD $(K,N)$ 空间 $(X,d,m)$ 满足特定的调和性条件输出：证明该空间等距于光滑闭黎曼流形 约束条件：空间必须满足RCD $(K,N)$ 条件且紧致

核心定义

强调和RCD $(K,N)$ 空间

RCD $(K,N)$ 空间 $(X,d,m)$ 称为强调和的，如果其热核 $\rho$ 仅依赖于距离和时间： $\rho(x,y,t) = H(d(x,y), t)$ 对所有 $x,y \in X$ 和 $t > 0$ 成立，其中 $H: [0,\infty) \times [0,\infty) \to \mathbb{R}$ 。

径向对称RCD $(K,N)$ 空间

RCD $(K,N)$ 空间 $(X,d,m)$ 称为径向对称的，如果存在非常值特征函数 $\{\phi_i\}_{i=1}^m$ 和函数 $F: [0,\infty) \to \mathbb{R}$ 使得： $\sum_{i=1}^m \phi_i(x)\phi_i(y) = F(d(x,y)), \quad \forall x,y \in X$

主要定理

定理1.8（强调和空间的测度结构）

设 $(X,d,m)$ 是强调和RCD $(K,N)$ 空间，则：

测度 $m$ 是Hausdorff测度的常数倍： $m = c\mathcal{H}^n$ ，其中 $c > 0$ ， $n = \dim_{d,m}(X)$
$(X,d,\mathcal{H}^n)$ 是非塌缩RCD $(K,n)$ 空间

定理1.9（径向对称空间的光滑性）

对非塌缩径向对称RCD $(K,n)$ 空间 $(X,d,\mathcal{H}^n)$ ，度量空间 $(X,d)$ 等距于 $n$ 维光滑闭黎曼流形 $(M^n,g)$ 。

技术创新点

1. 爆破论证技术

通过分析空间在不同尺度下的渐近行为，证明强调和性蕴含非塌缩性：

对于强调和空间，存在极限公式： $\lim_{t\downarrow 0} t^n H(\sigma t, t^2) = c^{-1}\omega_n^{-1}(4\pi)^{-n/2}\exp\left(-\frac{\sigma^2}{4}\right)$

2. 等距浸入构造

对径向对称空间，证明映射 $(\phi_1, \ldots, \phi_m): X \to \mathbb{R}^m$ 实现等距浸入：

关键是建立： $\left|\sum_{i=1}^m d\phi_i \otimes d\phi_i - cg\right|_{HS} = 0$ 其中 $g$ 是规范黎曼度量。

3. 双Lipschitz坐标构造

利用距离函数构造局部双Lipschitz坐标，类似于Alexandrov空间中正则点附近的坐标：

对固定 $D_0 \in (0,D)$ ，存在 $r_0 > 0$ 使得映射 $U: B_r(x_0) \to \mathbb{R}^n, \quad y \mapsto (u_1(y), \ldots, u_n(y))$ 是双Lipschitz的，其中 $u_i = d_{p_i} - D_0$ 。