[论文解读] Weak Forms of the Ehrenpreis Conjecture and the Surface Subgroup Conjecture

Lewis Bowen|ArXiv.org|Nov 30, 2004

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

一句话总结

本文在双曲几何中建立了Ehrenpreis猜想和曲面子群猜想的弱形式。证明了对于任意两个闭合双曲曲面及给定的 ε > 0，存在具有有界紧致半径的局部等距覆叠，且这些覆叠是 (1+ε)-双利普希茨等价的。此外，本文构造了从具有有界紧致半径的曲面到任意闭合双曲3-流形的 π₁-单射局部等距映射，为曲面子群猜想提供了关键步骤。

ABSTRACT

We prove the following: 1. Let epsilon>0 and let S_1,S_2 be two closed hyperbolic surfaces. Then there exists locally-isometric covers S'_i of S_i (for i=1,2) such that there is a (1+ε) bi-Lipschitz homeomorphism between S'_1 and S'_2 and both covers S'_i have bounded injectivity radius. 2. Let M be a closed hyperbolic 3-manifold. Then there exists a map j: S -> M where S is a surface of bounded injectivity radius and j is a pi_1-injective local isometry onto its image.

研究动机与目标

• 通过在覆叠中将“有限叶”替换为“有界紧致半径”，建立Ehrenpreis猜想的弱形式。
• 证明从具有有界紧致半径的曲面到闭合双曲3-流形存在 π₁-单射的局部等距映射。
• 证明双曲曲面的局部等距覆叠可通过 (1+ε)-双利普希茨同胚变得近乎等距。
• 表明在特定条件下，此类覆叠的构造问题可约化为线性规划问题。

提出的方法

• 构造具有受控测地线长度和扭曲参数的闭合双曲曲面的局部等距覆叠。
• 使用所有边界测地线长度在 ε 之内接近大数 L > L₀ 的标记裤分解。
• 应用涉及双曲三角学（余弦定律和正弦定律）的几何估计，以控制理想三角形中的距离和角度。
• 利用测地线曲线的最小权重性质来约束配置，并证明某些平面的非空性。
• 基于双曲三角形中角度和距离的有界性，使用反证法排除特定构型中闭合测地线曲线的存在。
• 将此类覆叠的存在性约化为线性规划问题，提示未来可能进行进一步的算法分析。

实验结果

研究问题

• RQ1 能否通过在覆叠中将“有限叶”替换为“有界紧致半径”，来弱化Ehrenpreis猜想？
• RQ2 能否从具有有界紧致半径的曲面构造出到任意闭合双曲3-流形的 π₁-单射局部等距映射？
• RQ3 当两个双曲曲面的局部等距覆叠需满足 (1+ε)-双利普希茨等价时，会产生何种几何约束？
• RQ4 在这些覆叠构造中，扭曲参数和测地线长度的行为如何？
• RQ5 此类覆叠的构造问题是否等价于一个可解的线性规划问题？

主要发现

• 对于任意 ε > 0 及任意两个不可换的闭合双曲曲面，存在具有有界紧致半径的局部等距覆叠，使得所有边界测地线的长度在 ε 之内接近一个大数 L > L₀。
• 对应覆叠上测地线的扭曲参数被 O(exp(−L/4)) 有界，随 L 呈指数衰减。
• 对应测地线之间的扭曲差被 ε·exp(−L/4) 有界，确保了几何对齐。
• 当 L 足够大时，这些覆叠允许存在 (1+ε₀)-双利普希茨同胚，从而建立了弱拟等距性。
• 该构造产生解析上无限、无边界的亏格为 0 的曲面，但其紧致半径一致有界。
• 曲面子群猜想在弱形式下得到支持：存在从具有有界紧致半径的曲面到任意闭合双曲3-流形的 π₁-单射局部等距映射。