[论文解读] Typical properties of periodic Teichmueller geodesics

Ursula Hamenstaedt|arXiv (Cornell University)|Sep 21, 2014

Mathematical Dynamics and Fractals参考文献 24被引用 3

一句话总结

本文证明了在 genus g 曲面的面积为1的阿贝尔微分模空间中，某些周期性 Teichmüller 测地线的动力与算术性质是典型的。它证明了单值矩阵的特征值可任意接近 Lyapunov 指数，迹域是 Q 上的完全实域，且当 g > 2 时，SL(2,R)-轨道闭包为整个模空间的轨道是典型的。该研究进一步证明了固定秩的仿射不变流形以及代数本原的 Teichmüller 曲线的有限性。

ABSTRACT

Call a property for periodic orbits of the Teichmueller flow acting on the moduli space Q of area one abelian differentials on a surface of genus g typical if the growth rate of orbits with this property is maximal. We show that the following property is typical. The eigenvalues of the symplectic matrix defined by the orbit are arbitrarily close to the Lyapunov exponents of Q, its trace field is a totally real splitting field of degree g over Q. If g>2 then periodic orbits whose SL(2,R)-orbit closure equals Q are typical. We show that for every $l\geq 2$, there are finitely many affine invariant manifolds in Q of rank l which contain all affine invariant manifolds in Q of rank l, and we establish finiteness of algebraically primitive Teichmueller curves.

研究动机与目标

• 识别并表征在面积为1的阿贝尔微分模空间 Q 上，Teichmüller 流作用下的周期轨道的典型性质。
• 确定周期性 Teichmüller 测地线的动力与算术特征中，哪些以最大增长率出现，通过增长率最大化来定义‘典型性’。
• 证明固定秩 l ≥ 2 的仿射不变流形在 Q 中的有限性，并证明代数本原 Teichmüller 曲线的有限性。
• 分析周期轨道对应的单值矩阵及其与 Lyapunov 指数和迹域的关系。
• 证明当 g > 2 时，SL(2,R)-轨道闭包等于整个模空间 Q 的周期轨道是典型的。

提出的方法

• 作者将‘典型性’定义为具有特定性质的周期轨道在模空间 Q 中的渐近计数增长率最大，采用渐近计数方法。
• 他们分析每个周期轨道关联的单值矩阵，并将其特征值与 Teichmüller 流的 Lyapunov 指数进行比较。
• 他们利用单值矩阵的迹域，证明在典型条件下其为 Q 上的完全实域，且次数为 g。
• 证明依赖于 Teichmüller 动力学的深刻结果，包括 SL(2,R)-轨道闭包的结构以及仿射不变子流形的分类。
• 他们应用固定秩仿射不变流形的有限性结果，证明对每个 l ≥ 2，仅存在有限多个包含所有秩为 l 的其他子流形的此类流形。
• 关于代数本原 Teichmüller 曲线的有限性论证，结合了动力学约束与迹域的数论性质及伽罗瓦作用。

实验结果

研究问题

• RQ1 在面积为1的阿贝尔微分模空间 Q 中，哪些周期性 Teichmüller 测地线的动力与算术性质以最大增长率出现？
• RQ2 周期轨道的单值矩阵的特征值在多大程度上逼近 Teichmüller 流的 Lyapunov 指数？
• RQ3 典型周期轨道的单值矩阵迹域的结构是什么？它与曲面的亏格 g 有何关系？
• RQ4 在 Q 中，是否存在仅有限多个固定秩 l ≥ 2 的仿射不变子流形？它们在包含关系下是否具有极大元？
• RQ5 Q 中的代数本原 Teichmüller 曲线集合是否有限？哪些动力或算术约束导致了这种有限性？

主要发现

• 典型周期轨道关联的单值矩阵的特征值可任意接近 Q 上 Teichmüller 流的 Lyapunov 指数。
• 对于典型周期轨道，单值矩阵的迹域是 Q 上的完全实域，且次数为 g。
• 当 g > 2 时，SL(2,R)-轨道闭包等于整个模空间 Q 的周期轨道是典型的，即以最大增长率出现。
• 对每个 l ≥ 2，在 Q 中仅存在有限多个包含所有其他秩为 l 的子流形的仿射不变子流形。
• Q 中代数本原 Teichmüller 曲线的集合是有限的，这是仿射不变流形有限性及对其结构的动力学约束的推论。