[论文解读] Systoles of hyperbolic 4-manifolds

Ian Agol|ArXiv.org|Dec 11, 2006

Geometric and Algebraic Topology参考文献 4被引用 28

一句话总结

本文证明了对于任意 ε > 0，存在一个闭的双曲4-流形，其中包含一条长度小于 ε 的闭测地线，从而证明了存在具有任意短收缩长度的双曲4-流形。该构造使用了一种新颖的“近亲繁殖”技术——将子群分离性与剩余有限性应用于双曲4-空间中正十二面体胞腔上的反射群，通过胶合一个考克斯eter轨道流形的有限覆盖，生成具有收缩测地线的非算术流形。

ABSTRACT

We prove that for any \e>0, there exists a closed hyperbolic 4-manifold with a closed geodesic of length < \e.

研究动机与目标

• 证明闭的双曲4-流形中存在任意短的闭测地线，从而挑战算术双曲流形的收缩长度存在统一下界的猜想。
• 将格罗莫夫与皮亚捷茨基-夏皮罗的“杂交”方法扩展为一种新的“近亲繁殖”构造，通过将算术格点的一个子群自胶合来实现。
• 证明即使原始格点为算术格点，也可通过剩余有限性与几何有限性构造出非算术双曲4-流形。
• 证明在构造中仅有有限多个流形可为算术流形，这是由于相关矩阵特征值的谱约束。

提出的方法

• 构造始于双曲4-空间 H⁴ 中的正十二面体胞腔，其反射群 Γ_D 与 PO(f; O_K) 为共轭，其中 f 为五维二次型，O_K 为 Q(√5) 中的整数环。
• 利用塞尔贝格引理选取 Γ_D 的有限指数无扭子群 Γ，以保证商流形的几何有限性。
• 选取一条长度为 l(g) 的测地线段 g，使其垂直于两个不相交、共(compact)、等距嵌入的3-平面 P 与 γ(P)，且满足 d(P, γ(P)) < ε/2。
• 通过斯科特的子群分离性准则，选取子群 H₁ < H 与 H₂ < H_γ，使得其作用下的最小平移长度超过 2ρ(l(g)/2)，其中 ρ(x) = arctanh(sech x)。
• 证明群 G = ⟨H₁, H₂⟩ 同构于自由积 H₁ ∗ H₂，且为几何有限群，其基本域通过垂直平分超平面 L 分离 P 与 γ(P)。
• 利用剩余有限性，将骨架 U = Σ₁ ∪ g ∪ Σ₂ 嵌入有限覆盖 H⁴/Γ₁ 中，对补集 N = H⁴/Γ₁ \∓ (Σ₁ ∪ Σ₂) 取双重构造，得到一个闭的双曲4-流形 M，其中包含一条长度小于 ε 的闭测地线 D(g)。

实验结果

研究问题

• RQ1 尽管算术情形下存在收缩长度的下界猜想，闭的双曲4-流形是否仍可包含长度任意短的闭测地线？
• RQ2 “近亲繁殖”方法——将算术格点的子群自胶合——是否可在高维中产生非算术双曲流形？
• RQ3 GFERF（几何有限扩展剩余有限）性质是否足以保证存在具有任意短测地线的流形？
• RQ4 若算术格点在 O(n,1;Z) 中具有 GFERF 性质，该构造是否可推广至所有 n ≥ 4 的维度？
• RQ5 构造中产生的流形是否通常为非算术流形？其中可出现多少个算术例子？

主要发现

• 对于任意 ε > 0，存在一个闭的双曲4-流形，其中包含一条长度小于 ε 的闭测地线，从而证明了存在具有任意短收缩长度的流形。
• 该构造依赖于 H⁴ 中正十二面体胞腔上反射群的 GFERF 性质，该性质确保了几何有限子群的子群分离性。
• 所得到的流形通常为非算术流形，因为仅有限多个构造出的例子可为算术流形，这是由于特征值的谱约束。
• 在 PO(f; Q(√5)) 的算术子群中，任意测地线的长度均远离零，因为其整数特征值远离 1。
• 该方法可生成所有 n ≤ 8 的有限体积双曲 n-流形，其测地线长度可任意短，从而将结果推广至4维以上。
• “近亲繁殖”技术——将算术格点的子群自胶合——为高维中构造非算术格点提供了新途径。