[论文解读] Prime orthogeodesics, concave cores and families of identities on hyperbolic surfaces

Ara Basmajian, Hugo Parlier+1 more|arXiv (Cornell University)|Jun 8, 2020

Mathematical Dynamics and Fractals参考文献 13被引用 4

一句话总结

本文提出了一类在双曲曲面上的恒等式，通过引入分级自然螺线和凹心，将Basmajian的正交谱恒等式推广至具有尖点和锥点的曲面。这些恒等式根据正交测地线的动力学与拓扑行为对它们进行分组，利用几何函数之和来分解这些凹心的边界长度，且该和等于边界长度，从而将已知结果扩展到更广泛的双曲度量类。

ABSTRACT

We prove and explore a family of identities relating lengths of curves and orthogeodesics of hyperbolic surfaces. These identities hold over a large space of metrics including ones with hyperbolic cone points, and in particular, show how to extend a result of the first author to surfaces with cusps. One of the main ingredients in the approach is a partition of the set of orthogeodesics into sets depending on their dynamical behavior, which can be understood geometrically by relating them to geodesics on orbifold surfaces. These orbifold surfaces turn out to be exactly on the boundary of the space in which the underlying identity holds.

研究动机与目标

• 将Basmajian的正交谱恒等式推广至具有尖点和锥点的双曲曲面，其中原始恒等式不再适用。
• 通过分级自然螺线和凹心，定义一种新的曲面边界几何分解方法。
• 建立一组在具有边界（包括测地线、尖点和锥点分量）的双曲度量模空间上保持不变的恒等式。
• 通过引入正交测地线的拓扑与动力学分类，统一并推广先前的恒等式（例如McShane、Bridgeman、Luo-Tan的恒等式）。

提出的方法

• 引入一个分级系统（向量 $\vec{k}$），以定义围绕边界分量的自然螺线，其依据是测地线环绕这些分量的次数。
• 将 $\vec{k}$-相对凹心 $V_{\vec{k}}(X)$ 定义为这些自然螺线的补集，从而捕捉曲面的几何核心。
• 根据正交测地线的拓扑与动力学行为（特别是其初始测地线轨迹）对 $V_{\vec{k}}(X)$ 中的正交测地线集合 $\mathcal{O}_{\vec{k}}(X)$ 进行划分。
• 通过为每组正交测地线关联一个几何函数（涉及正交测地线长度的双曲函数），构建恒等式。
• 使用轨道曲面作为正交测地线动力学行为的模型，尤其是在模空间边界处。
• 利用覆盖空间理论，将曲面 $X$ 上的恒等式与它的正则覆盖 $ ilde{X}$ 上的恒等式联系起来，其中等级通过分歧度进行变换。

实验结果

研究问题

• RQ1 如何将Basmajian的正交谱恒等式推广至具有尖点和锥点的双曲曲面？
• RQ2 正交测地线的动力学与拓扑行为在构造模空间上不变恒等式的过程中起什么作用？
• RQ3 分级自然螺线与凹心如何提供一种几何框架，用于分解边界长度？
• RQ4 该恒等式族能否与或从现有恒等式（如McShane或Bridgeman的恒等式）统一或推广？
• RQ5 曲面与其正则覆盖之间的恒等式之间存在何种关系，特别是关于等级与分歧度的关系？

主要发现

• 本文通过引入分级凹心，构建了一组恒等式，将Basmajian的恒等式推广至具有尖点和锥点的曲面。
• 这些恒等式将 $\vec{k}$-相对凹心的边界长度分解为 $\mathcal{O}_{\vec{k}}(X)$ 中正交测地线的和，每一项包含 $2\log(\coth(\ell(\mu)/2))$。
• 求和的指标集由那些不环绕边界分量 $i$ 恰好 $k_i$ 次的正交测地线构成，形成 $\mathcal{O}(X)$ 的一个拓扑不变划分。
• 若关联的轨道曲面模型为欧氏型，则该指标集中正交测地线的数量增长速率约为二次型；若为双曲型，则为指数型。
• 恒等式在正则覆盖下保持不变：若在 $X$ 上对等级 $\vec{k}$ 成立，则其在 $\tilde{X}$ 上提升为对等级 $\vec{\tilde{k}}$ 成立，其中 $\tilde{k}_i = r_i k_j$，$r_i$ 为在像边界分量 $\beta_j$ 上的分歧度。
• 该框架为将Bridgeman的恒等式推广至具有尖点的曲面提供了自然设置，其具有相同的指标集，并实现了单位切丛的分解。