[论文解读] Diagonal changes for surfaces in hyperelliptic components - A geometric natural extension of Ferenczi-Zamboni moves

Vincent Delecroix, Corinna Ulcigrai|arXiv (Cornell University)|Jun 1, 2015

Mathematical Dynamics and Fractals参考文献 42被引用 2

一句话总结

本文提出了一组几何算法，将经典的连分数算法推广至双全纯分量中的平移曲面，通过使用对角变换系统地生成所有在几何意义上为最佳逼近的分歧连接。该方法提供了一种自然的可逆扩展，用于 Ferenczi-Zamboni 的重整化移动，从而能够完整列出测地线上的短程线（systoles）以及线性流符号编码中的所有双特殊词（bispecial words）。

ABSTRACT

We describe geometric algorithms that generalize the classical continued fraction algorithm for the torus to all translation surfaces in hyperelliptic components of translation surfaces. We show that these algorithms produce all saddle connections which are best approximations in a geometric sense, which generalizes the notion of best approximation for the classical continued fraction. In addition, they allow to list all systoles along a Teichmueller geodesic and all bispecial words which appear in the symbolic coding of linear flows. The elementary moves of the described algorithms provide a geometric invertible extension of the renormalization moves introduced by S. Ferenczi and L. Zamboni for the corresponding interval exchange transformations. Contents 1

研究动机与目标

• 将经典的连分数算法通过几何对角移动推广至双全纯分量中的平移曲面。
• 表征并计算所有在几何意义上为最佳逼近的分歧连接，推广经典的最佳逼近概念。
• 为双全纯分量中任意给定测地线上所有短程线的系统性列举提供一种方法。
• 枚举在线性流的符号编码中出现的所有双特殊词。
• 构建 Ferenczi-Zamboni 重整化移动在区间交换变换中的几何可逆扩展。

提出的方法

• 该算法在平移曲面上使用对角变换来模拟类似于连分数展开的重整化步骤。
• 每次移动对应一种保持曲面结构的同时推进逼近过程的几何变换。
• 这些移动源自 Teichmüller 流的动力学，被证明是可逆的，构成 Ferenczi-Zamboni 移动的自然扩展。
• 通过遍历曲面构型的树状结构，系统地生成所有在几何意义上为最佳逼近的分歧连接。
• 通过追踪曲面在流作用下短曲线的演化，将该算法应用于计算给定 Teichmüller 测地线上所有短程线。
• 通过追踪曲面构型的序列分析线性流的符号编码，从而得到相关符号序列中的所有双特殊词。

实验结果

研究问题

• RQ1 如何将经典的连分数算法推广至双全纯分量中的平移曲面？
• RQ2 在该背景下，哪些几何移动能够生成所有最佳逼近分歧连接？
• RQ3 这些移动如何与 Ferenczi-Zamboni 重整化框架相关联并加以扩展？
• RQ4 该算法能否完全枚举双全纯分量中某条 Teichmüller 测地线上所有短程线？
• RQ5 在线性流于此类曲面上的符号编码中，双特殊词的完整集合是什么？

主要发现

• 对角变换算法成功地将连分数算法推广至双全纯分量中的所有平移曲面。
• 所有在几何意义上为最佳逼近的分歧连接均由该算法生成，推广了经典的最佳逼近概念。
• 该算法为双全纯分量中任意给定 Teichmüller 测地线上所有短程线的完整系统性列举提供了方法。
• 该算法完全枚举了这些曲面上线性流符号编码中出现的所有双特殊词。
• 基本移动构成 Ferenczi-Zamboni 重整化移动的几何可逆扩展，保持了系统的动力学与结构。
• 该方法在几何曲面变换与线性流中的符号动力学之间建立了直接对应关系。