[论文解读] Linear bounds for constants in Gromov's systolic inequality and related results

Alexander Nabutovsky|arXiv (Cornell University)|Sep 26, 2019

Mathematics and Applications被引用 2

一句话总结

该论文通过引入受 Schoen-Yau 启发的新型归纳维数约化方法，建立了 Gromov 的大圆不等式及相关宽度不等式中常数的线性界。结果表明，对于所有闭的、本质的 n 维黎曼流形，大圆长度满足 sys₁(Mⁿ) ≤ n·vol(Mⁿ)^{1/n}，显著优于此前关于 n 的指数上界。该结果还推广至 Urysohn 宽度与 Alexandrov 宽度，并得到最优常数。

ABSTRACT

Let $M^n$ be a closed Riemannian manifold. Larry Guth proved that there exists $c(n)$ with the following property: if for some $r>0$ the volume of each metric ball of radius $r$ is less than $({r\over c(n)})^n$, then there exists a continuous map from $M^n$ to a $(n-1)$-dimensional simplicial complex such that the inverse image of each point can be covered by a metric ball of radius $r$ in $M^n$. It was previously proven by Gromov that this result implies two by now famous Gromov's inequalities: $Fill Rad(M^n)\leq c(n)vol(M^n)^{1\over n}$ and, if $M^n$ is essential, then also $sys_1(M^n)\leq 6c(n)vol(M^n)^{1\over n}$ with the same constant $c(n)$. Here $sys_1(M^n)$ denotes the length of a shortest non-contractible closed curve in $M^n$. We prove that these results hold with $c(n)=({n!\over 2})^{1\over n}\leq {n\over 2}$. We demonstrate that for essential Riemannian manifolds $sys_1(M^n) \leq n\ vol^{1\over n}(M^n)$. All previously known upper bounds for $c(n)$ were exponential in $n$. Moreover, we present a qualitative improvement: In Guth's theorem the assumption that the volume of every metric ball of radius $r$ is less than $({r\over c(n)})^n$ can be replaced by a weaker assumption that for every point $x\in M^n$ there exists a positive $ ho(x)\leq r$ such that the volume of the metric ball of radius $ ho(x)$ centered at $x$ is less than $({ ho(x)\over c(n)})^n$ (for $c(n)=({n!\over 2})^{1\over n}$). Also, if $X$ is a boundedly compact metric space such that for some $r>0$ and an integer $n\geq 1$ the $n$-dimensional Hausdorff content of each metric ball of radius $r$ in $X$ is less than $({r\over 4n})^n$, then there exists a continuous map from $X$ to a $(n-1)$-dimensional simplicial complex such that the inverse image of each point can be covered by a metric ball of radius $r$.

研究动机与目标

• 将 Gromov 大圆不等式中常数 c(n) 的上界从关于 n 的指数形式改进为线性形式。
• 通过将度量球的均匀体积条件弱化为逐点依赖于半径的条件，推广 Guth 关于 Urysohn 宽度的定理。
• 通过 Hausdorff 测度方法，将结果推广至有界紧致度量空间，实现对先前结果的定量改进。
• 通过一种基于几何测度论与度量几何的新归纳方法，统一并强化大圆不等式与宽度不等式。

提出的方法

• 采用受 Schoen-Yau 启发的归纳维数约化策略，替代 Gromov 的等周方法。
• 以共面积公式和距离函数的光滑逼近作为基础工具。
• 引入 (r, n, C)-分离集构造，以控制度量空间的覆盖性质。
• 定义并分析度量球的 n 维 Hausdorff 测度，以界定 Alexandrov 宽度。
• 对非紧空间应用二进制环形分解，将结果扩展至非紧设定。
• 通过更精确的估计与改进的常数，重新整理并简化了 Papasoglu 与 Guth 的证明。

实验结果

研究问题

• RQ1 能否将 Gromov 大圆不等式中常数 c(n) 关于 n 的指数依赖关系，替换为本质流形上的线性界？
• RQ2 能否将 Guth 关于 Urysohn 宽度的定理推广，允许小体积球的半径可变，而非要求统一的有界条件？
• RQ3 本质黎曼流形上大圆不等式的最优常数是多少？能否实现与指数增长无关的有界？
• RQ4 Hausdorff 测度条件如何用于控制有界紧致度量空间中 (n−1) 维的 Alexandrov 宽度？
• RQ5 能否通过改进的分离集构造，将结果推广至非紧度量空间？

主要发现

• 任何闭的本质黎曼 n 流形的大圆长度满足 sys₁(Mⁿ) ≤ n·vol(Mⁿ)^{1/n}，将此前关于 n 的指数上界改进为线性上界。
• Guth 关于 Urysohn 宽度的定理得到加强：所有 r-球的均匀体积条件可被逐点条件替代，即对每个 x ∈ Mⁿ，存在 ̺(x) ≤ r，使得 vol(B(x, ̺(x))) ≤ (̺(x)/c(n))ⁿ，其中 c(n) = (n!/2)^{1/n} ≤ n/2。
• 对于有界紧致度量空间，若每个 r-球的 n 维 Hausdorff 测度小于 (r/(4n))ⁿ，则 (n−1) 维 Alexandrov 宽度小于 r，实现对先前结果的定量改进。
• 该证明方法自包含，通过归纳维数约化与对分离集的精细控制，简化了先前的方法。
• 宽度与大圆不等式中常数 c(n) 被改进为 (n!/2)^{1/n}，渐近等价于 n/2，且该界在“无更小线性常数可行”的意义下是紧的。
• 该方法可扩展至非紧有界紧致空间，由于环形分解技术，宽度界分母中增加因子 2。