[论文解读] The metric space of geodesic laminations on a surface II: small surfaces

Francis Bonahon, Xiaodong Zhu|arXiv (Cornell University)|Aug 28, 2003

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

一句话总结

本文研究了单极点环面和四极点球面上测地线叶状结构空间的拓扑与度量几何，表明其叶状结构空间可嵌入圆周，形成具有孤立点的康托集。在霍斯多夫度量的对数变换下，这些空间的霍斯多夫维数为2，且二维测度为零，揭示了一种与1维瑟尔斯通边界显著不同的丰富分形结构。

ABSTRACT

We continue our investigation of the space of geodesic laminations on a surface, endowed with the Hausdorff topology. We determine the topology of this space for the once-punctured torus and the 4-times-punctured sphere. For these two surfaces, we also compute the Hausdorff dimension of the space of geodesic laminations, when it is endowed with the natural metric which, for small distances, is -1 over the logarithm of the Hausdorff metric. The key ingredient is an estimate of the Hausdorff metric between two simple closed geodesics in terms of their respective slopes.

研究动机与目标

• 确定单极点环面和四极点球面上测地线叶状结构空间的拓扑结构。
• 计算该空间在霍斯多夫度量的对数变换下的霍斯多夫维数。
• 建立叶状结构空间到圆周的自然嵌入，将康托集补集的各连通分支与简单闭测地线联系起来。
• 分析在新度量 $d_{\log}$ 下空间的度量性质，该度量在利普希茨等价下表现良好，且适用于维数理论。
• 对比叶状结构空间的分形几何与测度叶状结构的1维瑟尔斯通边界。

提出的方法

• 本文基于简单闭测地线的斜率，将叶状结构空间的拓扑分解为康托集 $K$ 和可数个孤立点。
• 建立 $\mathbb{S}^1 - K$ 的各连通分支与曲面上简单闭曲线之间的一一对应关系。
• 关键的技术工具是：对两个简单闭测地线之间的霍斯多夫距离与它们斜率之间关系的定量估计。
• 作者定义了一种新度量 $d_{\log}$，其中 $d_{\log}(x,y) = -1 / \log d_H(x,y)$（当 $d_H$ 较小时），该度量在利普希茨等价下表现良好。
• 通过在无理斜率集合上使用覆盖论证，结合法雷区间与连分数展开，计算霍斯多夫维数。
• 零二维测度的证明基于法雷区间上的覆盖构造，其中分母比值较大，表明 $\sum r_i^2$ 可任意小。

实验结果

研究问题

• RQ1 单极点环面和四极点球面上测地线叶状结构空间的拓扑结构是什么？
• RQ2 在霍斯多夫度量的对数变换下，叶状结构空间的霍斯多夫维数如何表现？
• RQ3 叶状结构空间能否以自然方式嵌入圆周，从而反映简单闭曲线的几何性质？
• RQ4 $\mathbb{S}^1 - K$ 的每个连通分支中孤立点的数量与曲面的拓扑之间有何关系？
• RQ5 叶状结构空间的度量结构与测度叶状结构的1维瑟尔斯通边界相比如何？

主要发现

• 对于单极点环面，$\mathcal{L}_0(S)$ 同胚于 $K \cup L_3$，其中 $K$ 为康托集，$L_3$ 每个 $\mathbb{S}^1 - K$ 的连通分支中恰好包含三个孤立点。
• 对于四极点球面，$\mathcal{L}_0(S)$ 同胚于 $K \cup L_7$，每个连通分支中恰好包含七个孤立点。
• 在每种情况下，简单闭曲线集合的闭包为 $K \cup L_1$，每个连通分支中恰好有一个孤立点。
• $(\mathcal{L}_0(S), d_{\log})$ 的霍斯多夫维数在两种曲面上均为精确的2。
• $(\mathcal{L}_0(S), d_{\log})$ 的二维霍斯多夫测度为零，表明尽管维数为2，该空间在二维上仍‘稀疏’。
• 结果与1维瑟尔斯通边界 $\mathcal{PML}(S)$ 显著不同，后者同胚于圆周且维数为1。