[论文解读] Quantitative Bounded Distance Theorem and Margulis' Lemma for Z^n actions with applications to homology

Filippo Cerocchi, Andrea Sambusetti|arXiv (Cornell University)|Dec 19, 2014

Geometric Analysis and Curvature Flows参考文献 7被引用 4

一句话总结

本文为 ℤⁿ 在测地空间上的作用建立了有界距离定理的定量版本，证明了内在距离与稳定范数之间的差值被一个仅依赖于秩 n、商空间直径和渐近体积的常数所控制。文章引入了 ℤⁿ 作用的定量 Margulis 型引理，提供了稳定周期与渐近体积之间最优的估计关系，并将这些结果应用于有界闭流形中最优整 1-循环的连通分支数。

ABSTRACT

We consider the stable norm associated to a discrete, torsionless abelian group of isometries $Γ\cong \mathbb{Z}^n$ of a geodesic space $(X,d)$. We show that the difference between the stable norm $\| \;\, \|_{st}$ and the distance $d$ is bounded by a constant only depending on the rank $n$ and on upper bounds for the diameter of $\bar X=Γ\backslash X$ and the asymptotic volume $ω(Γ, d)$. We also prove that the upper bound on the asymptotic volume is equivalent to a lower bound for the stable systole of the action of $Γ$ on $(X,d)$; for this, we establish a Lemma à la Margulis for $\mathbb{Z}^n$-actions, which gives optimal estimates of $ω(Γ,d)$ in terms of $\mathrm{stsys}(Γ,d)$, and vice versa, and characterize the cases of equality. Moreover, we show that all the parameters $n, \mathrm{diam}(\bar X)$ and $ω(Γ, d)$ (or $\mathrm{stsys} (Γ,d)$) are necessary to bound the difference $d -\| \;\, \|_{st}$, by providing explicit counterexamples for each case. As an application, we prove that the number of connected components of any optimal, integral $1$-cycle in a closed Riemannian manifold $\bar X$ either is bounded by an explicit function of the first Betti number, $ \mathrm{diam}(\bar X)$ and $ω(H_1(\bar X, \mathbb{Z}), d)$, or is a sublinear function of the mass.

研究动机与目标

• 为 ℤⁿ 在测地空间上的作用中，内在距离与稳定范数之间的差值提供一个仅依赖于秩、商空间直径和渐近体积的定量估计。
• 为 ℤⁿ 作用建立 Margulis 引理的定量版本，刻画稳定周期与渐近体积之间最优的关系。
• 通过显式反例证明，秩、共直径和渐近体积这三个不变量对于有界距离-稳定范数差值是必要的。
• 将结果应用于黎曼几何，特别是通过第一贝蒂数、直径和同调格点的渐近体积来有界闭流形中最优整 1-循环的连通分支数。

提出的方法

• 通过群作用下缩放距离的极限定义 ℤⁿ 上的稳定范数：‖γ‖_st = lim_{k→∞} d(x₀, γᵏx₀)/k。
• 将渐近体积 ω(Γ,d) 定义为在距离 R 内群元素数量的增长率，并将其与商空间中的体积增长相关联。
• 利用由 n 个线性无关等距变换生成的有限指数子群 ℤⁿ ⊂ Γ，构造 ℝⁿ 与轨道空间之间的拟等距映射。
• 通过共直径（即 ΓackslashX 的直径）和渐近体积 ω(Γ,d) 的界来控制这些映射的畸变。
• 在渐近锥中应用填充与覆盖论证，以估计同调格点中球与圆环的基数。
• 利用稳定范数与稳定周期，推导出同调格点中圆环的显式增长估计，从而得到最优周期连通分支数的有界性。

实验结果

研究问题

• RQ1 在 ℤⁿ 作用中，内在距离与稳定范数之间的差值如何定量地依赖于几何不变量？
• RQ2 对于 ℤⁿ 作用，稳定周期与渐近体积之间最优关系是什么？何时取等？
• RQ3 秩、共直径和渐近体积这三个不变量是否都对有界距离-稳定范数差值是必要的？
• RQ4 能否通过第一贝蒂数、直径和同调格点的渐近体积来有界闭黎曼流形中最优整 1-循环的连通分支数？
• RQ5 在同调格点 H₁(𝑋,ℤ) 中，相对于稳定范数与质量范数，圆环的精确增长速率是什么？

主要发现

• 差值 |d(x₀, γx₀) − ‖γ‖_st| 被一个常数 c(n, D, Ω) 所有界，其中 D 是商空间 Γ\backslashX 的直径，Ω 是渐近体积 ω(Γ,d) 的上界。
• 渐近体积 ω(Γ,d) 与稳定周期的下界等价，其最优估计由 ℤⁿ 作用的定量 Margulis 引理提供。
• 本文构造了显式反例，表明 n、D 和 Ω 三个参数对有界距离-稳定范数差值都是必要的。
• 同调格点中圆环的增长满足如下不等式：nω(Γ,d)Δ(R−Δ)^{n−1} ≤ v_{(Γ,|·|_{H₁})}(R−Δ,R+Δ) ≤ 3nω(Γ,d)Δ(R−3Δ)^{n−1}，其中 R ≥ 0 且 Δ ≥ 4nD + c。
• 对于任意最优整 1-循环 γ，其连通分支数 N(γ) 要么被 n、D 和 ω(Γ,d) 的显式函数有界，要么以质量 ℓ(γ) 的次线性速度增长，具体为 N(γ) ≤ 3^{2n} ⋅ (1 + 1/n)^n ⋅ ω(Γ,d)^{1/(n+1)} ⋅ ℓ(γ)^{n/(n+1)}。
• 稳定周期与渐近体积之间的关系为 ω(Γ,d) ≥ C_n ⋅ (stsys(Γ,d))^{-n}，且等号成立当且仅当作用在几何意义上是极值的，这由定量 Margulis 引理所刻画。