[论文解读] On the minimum dilatation of pseudo-Anosov homeomorphisms on surfaces of small genus

Erwan Lanneau, Jean‐Luc Thiffeault|arXiv (Cornell University)|May 8, 2009

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

一句话总结

本文确定了定向亏格3、4和5曲面上伪阿诺索夫同胚的最小稀释度，证明其等于特定次数为2g的多项式的最大实根，且该根为最小的萨莱姆数。对于亏格6–8，本文给出了一个下界，并为丘与哈姆在亏格2时的结果提供了简化且初等的证明，确认了最小稀释度情形在共轭及对称性下的唯一性。

ABSTRACT

We find the minimum dilatation of pseudo-Anosov homeomorphisms that stabilize an orientable foliation on surfaces of genus three, four, or five, and provide a lower bound for genus six to eight. Our technique also simplifies Cho and Ham's proof of the least dilatation of pseudo-Anosov homeomorphisms on a genus two surface. For genus g=2 to 5, the mimimum dilatation is the smallest Salem number for polynomials of degree 2g.

研究动机与目标

• 计算定向亏格g = 3, 4, 5曲面上伪阿诺索夫同胚的最小稀释度δ⁺_g。
• 为g = 6, 7, 8时的δ⁺_g建立下界。
• 提供一种简化且初等的证明方法，复现此前由丘与哈姆建立的亏格2情形的最小稀释度结果。
• 确认g = 2至5时的最小稀释度对应于度数为2g的多项式中已知最小的萨莱姆数。
• 研究映射类群Mod(g)中实现最小稀释度的共轭类在双曲对合与覆盖变换下的唯一性。

提出的方法

• 作者利用翻译曲面上的Rauzy–Veech归纳法，构造出具有最小稀释度的伪阿诺索夫映射的显式例子。
• 他们在具有特定置换和路径的曲面上应用德恩扭转，生成映射类群，并计算其在同调上的作用。
• 稀释度由与映射类群关联的单值矩阵的Perron根导出。
• 该构造依赖于将曲面划分为多边形块，并追踪原始曲面与变换后曲面之间的平移向量。
• 对于亏格2，该方法使用两组德恩扭转，其在同调上的作用产生相同的特征多项式X⁴ - X³ - X² - X + 1。
• 证明利用了萨莱姆数的性质，以及最小稀释度对应于度数为2g的整系数多项式中最小Mahler测度的事实。

实验结果

研究问题

• RQ1 在具有定向不变叶状的亏格3曲面上，伪阿诺索夫同胚的最小稀释度是多少？
• RQ2 亏格4和5时的最小稀释度与已知的度数为2g的萨莱姆数及多项式相比如何？
• RQ3 能否使用比以往基于轨道轨的更简单、更初等的方法复现亏格2时的最小稀释度？
• RQ4 在Mod(g)中，实现最小稀释度的共轭类在g = 2至5时是否在诸如双曲对合等对称性下唯一？
• RQ5 对于亏格6至8，最小可能的稀释度是多少？能否建立一个下界？

主要发现

• 对于亏格3，最小稀释度δ⁺₃是多项式X⁶ - X⁴ - X³ - X² + 1的最大实根，约为1.40127。
• 对于亏格4，最小稀释度δ⁺₄是多项式X⁸ - X⁵ - X⁴ - X³ + 1的最大实根，约为1.28064。
• 对于亏格5，最小稀释度δ⁺₅是多项式X¹⁰ + X⁹ - X⁷ - X⁶ - X⁵ - X⁴ - X³ + X + 1的最大实根，约为1.17628。
• g = 2至5时的所有最小稀释度均为萨莱姆数，其定义多项式的Mahler测度为度数2g下已知最小者。
• 亏格2的最小稀释度被确认为多项式X⁴ - X³ - X² - X + 1的最大根，δ₂ ≈ 1.72208，且通过德恩扭转序列的使用，其证明得到简化。
• 对于亏格6至8，本文建立了最小稀释度的下界，但精确值仍为开放问题。