[论文解读] A diameter bound for closed, hyperbolic 3-manifolds

Matthew E. White|ArXiv.org|Apr 19, 2001

Geometric and Algebraic Topology参考文献 3被引用 5

一句话总结

本文建立了闭合、可定向双曲3-流形直径的显式上界，该上界以其基本群任意表示的字长为参数。通过构造三角剖分的表示复形，并应用马尔古利斯引理由分析厚-薄分解，作者在假设直径超过表示长度的线性函数时导出矛盾，从而证明存在一个普遍常数 R，使得 diam(M) < R·ℓ(P)。

ABSTRACT

We show there is an upper bound on the diameter of a closed, hyperbolic 3-manifold in terms of the length of any presentation of its fundamental group.

研究动机与目标

• 基于任意基本群表示的字长，建立闭合双曲3-流形直径的普遍上界。
• 通过提供相应的直径上界，强化库珀的体积上界，将几何复杂度与群表示复杂度联系起来。
• 证明对于给定的表示长度，有界直径的双曲3-流形仅有有限多个，从而改进已知的有限性结果。
• 证明表示复形无法通过同伦移出马尔古利管，若直径相对于表示长度过大，则导致矛盾。

提出的方法

• 为基本群 π₁(M) 构造一个三角剖分的表示复形 K，其1-骨架为圆的楔积，2-胞状沿长度为3的相对关系被粘合。
• 使用拉回度量，将 K 的面积上界控制在 π·ℓ(P) 以内，将库珀的体积上界推广至几何复杂度。
• 应用马尔古利斯引理由将 M 分解为厚部与薄部，其中薄部由围绕短测地线的不相交马尔古利管构成。
• 假设 diam(M) > R·ℓ(P) 对于大 R 成立，并通过证明表示复形必须与一个马尔古利管相交，从而导出矛盾。
• 在马尔古利管内构造一个子复形 K⁺，其三角剖分大小受控且 H₁ 中具有大挠率，违反了有限交换群表示长度的已知下界。
• 利用范坎彭定理与边界环面的不可压缩性，排除 H₁ ≅ ℤ⊕ℤ 或 ℤ⊕ℤ_r 的此类复形的存在性，从而导致矛盾。

实验结果

研究问题

• RQ1 能否以基本群表示的字长为参数，将闭合双曲3-流形的直径上界控制为线性函数？
• RQ2 当表示复形与双曲3-流形中的马尔古利管相交时，会产生何种几何约束？
• RQ3 马尔古利管内子复形的首阶同调与其基本群表示长度之间有何关系？
• RQ4 是否存在一个普遍常数 R，使得对所有闭合双曲3-流形 M 及其基本群的任意表示 P，均有 diam(M) < R·ℓ(P)？
• RQ5 能否利用表示长度与同调挠率之间的相互作用，推导出有界直径双曲3-流形的有限性结果？

主要发现

• 存在一个显式的普遍常数 R > 0，使得对任意闭合、连通的双曲3-流形 M 及其基本群 π₁(M) 的任意表示 P，均有 diam(M) < R·ℓ(P)。
• 直径上界意味着存在一个统一的下界于注入半径：inj(M) > 1/(R·ℓ(P))，从而将几何不变量与群论不变量联系起来。
• 在马尔古利管内构造一个 H₁ 中具有大挠率且三角剖分规模小的2-复形 K⁺，当直径相对于 ℓ(P) 过大时，将导致矛盾。
• 构造复形 K⁺ 所需的三角形数量受 B₁²B₃·ℓ(P)^8 上界控制，表明其在表示长度上呈多项式增长。
• 当 H₁(K⁺) ≅ ℤ_N 且 N ≥ sinh(R·ℓ(P))/(4·ℓ(P)) 时，ℤ_N 的最小表示长度随 R·ℓ(P) 指数增长，与来自三角剖分的多项式上界矛盾。
• 该矛盾排除了当 R > C₃ 足够大时此类复形的存在性，从而证明直径不可能超过 R·ℓ(P)。