[论文解读] The good pants homology and the Ehrenpreis conjecture

Jeremy Kahn, Vladimir Marković|arXiv (Cornell University)|Jan 6, 2011

Geometric and Algebraic Topology参考文献 7被引用 6

一句话总结

本文通过引入'良裤同调'——一种基于具有长束带的浸入裤形（pairs of pants）的同调理论——证明了Ehrenpreis猜想，表明该理论在闭曲面上与标准同调一致。利用此框架，作者构建了模型轨道丛的有限覆叠，使其与任意给定的闭双曲曲面的覆叠在 $K$-拟共形等价下一致，从而对所有 $K>1$ 成立该猜想。关键创新在于通过校正函数平衡测地线两侧的裤形数量，克服了低维类比中存在之拓扑障碍。

ABSTRACT

We develop the notion of the good pants homology and show that it agrees with the standard homology on closed surfaces (the good pants are pairs of pants whose cuffs have the length nearly equal to some large number R). Combined with our previous work on the Surface Subgroup Theorem, this yields a proof of the Ehrenpreis conjecture.

研究动机与目标

• 证明Ehrenpreis猜想，即任意两个闭双曲曲面均存在有限覆叠，使得它们在任意 $K>1$ 下 $K$-拟共形等价。
• 发展'良裤同调'理论——一种基于具有几乎长度 $R$ 束带的浸入裤形构建的同调理论——并证明其在闭曲面上与标准同调一致。
• 解决曲面拼接中的拓扑障碍：通过校正函数确保每条测地线边界两侧的裤形数量保持平衡。
• 将三维流形中曲面子群定理的技术方法拓展至二维曲面，将均匀分布的斜裤形方法适配至二维情形。

提出的方法

• 将'良裤'定义为具有长度为 $R$ 的测地线束带的裤形，并将模型轨道丛 $\operatorname{Orb}(R)$ 构造为通过 $+1$ 扭转参数粘合两个此类裤形形成的亏格二曲面。
• 利用测地流的等分布理论及单位切丛上测地流的动力学，确保浸入裤形在长度接近 $R$ 的闭测地线周围均匀分布。
• 构造一个校正函数 $\phi$，将闭测地线的形式和（表示不平衡）映射为良裤形的形式和，使得 $\partial\phi(X) = X$，从而保证拓扑上的平衡。
• 利用裤形同调与标准同调一致的事实（由Calegari证明），确保任意同调平凡的形式和曲线均可由浸入裤形的和构成。
• 应用测地流的等分布估计来计数线段之间的正交测地线连接，证明此类连接的数量渐近为 $\frac{1}{8\pi^2|\chi(S)|}\delta^6 e^L(1+O(\delta))$（当 $\delta$ 较小时）。
• 利用校正函数平衡每条测地线两侧的裤形数量，从而实现构造具有Fenchel-Nielsen扭转参数接近 1 的闭曲面，经提升至有限覆叠后可得到 $K$-拟共形映射。

实验结果

研究问题

• RQ1 能否将基于双曲3-流形中斜裤形的曲面子群定理方法适配至二维情形，以证明Ehrenpreis猜想？
• RQ2 由浸入裤形（良裤同调）生成的同调是否与闭双曲曲面上的标准同调一致？
• RQ3 在初始集合可能不平衡的情况下，如何平衡每条测地线边界两侧的裤形数量以形成闭曲面？
• RQ4 单位切丛上测地流的何种动力学性质允许实现均匀分布的良裤形构造？
• RQ5 能否构造出校正函数 $\phi$，使得对任意表示同调不平衡的形式和 $X$，均有 $\partial\phi(X) = X$？

主要发现

• 良裤同调在闭曲面上与标准同调一致，即每个同调平凡的1-循环均可表示为浸入良裤形的边界之和。
• 对任意 $K>1$ 及任意闭双曲曲面 $S$，存在 $R_0 = R_0(K,S)$，使得对所有 $R > R_0$，存在 $S$ 的有限覆叠 $S_1$ 与模型轨道丛 $\operatorname{Orb}(R)$ 的有限覆叠 $O_1$，以及一个 $K$-拟共形映射 $f: S_1 \to O_1$。
• 在长度为 $\delta^2$ 的两个测地线段区间 $[L, L+\delta^2]$ 内，正交测地线连接的数量渐近为 $\frac{1}{8\pi^2|\chi(S)|}\delta^6 e^L(1+O(\delta))$，误差仅依赖于曲面 $S$。
• 校正函数 $\phi$ 存在，且能将裤形分布的不平衡映射为良裤形的形式和，使得 $\partial\phi(X) = X$，从而在粘合后实现曲面的拓扑闭合。
• 测地流的等分布性质使得能够精确计数裤形交点，确保当 $R \to \infty$ 时，每条测地线两侧的裤形数量可渐近相等，从而解决拼接的主要障碍。
• Ehrenpreis猜想得到完全解决：对任意 $K>1$，任意两个闭双曲曲面的有限覆叠均彼此 $K$-拟共形等价，此结论通过提升至模型轨道丛 $\operatorname{Orb}(R)$ 的公共覆叠得以证明。