[论文解读] Non-varying sums of Lyapunov exponents of Abelian differentials in low genus

Dawei Chen, Martin Moeller|arXiv (Cornell University)|Apr 20, 2011

Mathematical Dynamics and Fractals参考文献 28被引用 5

一句话总结

本文证明，在亏格3至5的阿贝尔微分的大多数层中，所有Teichmüller曲线的李雅普诺夫指数之和是恒定的，这一现象被称为‘不变’。作者通过证明Teichmüller曲线与模空间上的关键几何除子不相交，并利用正方形 tiled 曲面进行显式计算，从而证明了这一点。该不变行为存在于双椭圆层及特定的非双椭圆层中，但在更高亏格（如亏格6中单个10阶零点的层）中不成立。

ABSTRACT

We show that for many strata of Abelian differentials in low genus the sum of Lyapunov exponents for the Teichmueller geodesic flow is the same for all Teichmueller curves in that stratum, hence equal to the sum of Lyapunov exponents for the whole stratum. This behavior is due to the disjointness property of Teichmueller curves with various geometrically defined divisors on moduli spaces of curves.

研究动机与目标

• 确定阿贝尔微分层中Teichmüller测地流的李雅普诺夫指数之和在给定层的所有Teichmüller曲线上是否恒定。
• 解决康采维奇与佐里奇的猜想：当亏格加零点数 ≤ 7 时，该和为不变。
• 建立一个几何准则——Teichmüller曲线与模空间上关键除子不相交——以证明和的不变性。
• 为和不恒定的层提供显式示例和上界。
• 将结果应用于点曲面模空间几何中的极值性问题。

提出的方法

• 使用Eskin-Kontsevich-Zorich公式计算每层上不变测度的李雅普诺夫指数之和。
• 通过正方形 tiled 曲面构造Teichmüller曲线，利用排列数据 (π_r, π_u) 定义平坦曲面。
• 证明Teichmüller曲线与模空间曲面的几何除子（如双椭圆、布里尔-诺伊曼或奇异曲线子簇）不相交。
• 在模空间 M_g,1 和 M_g,2 上计算与除子类 λ, ω_rel, δ 和 ψ_i 的交数，以验证极值性下的零交数。
• 应用 [EKZ] 中关于双椭圆层的结果，证明所有亏格下和的不变性。
• 利用周期坐标和格点对应关系，证明Teichmüller曲线在双椭圆子簇中的Zariski稠密性。

实验结果

研究问题

• RQ1 在亏格 g ≤ 5 的阿贝尔微分层中，哪些层的李雅普诺夫指数之和在所有Teichmüller曲线上恒定？
• RQ2 李雅普诺夫指数之和变化的精确条件是什么？在这些情况下，其上确界是多少？
• RQ3 模空间 M_g,1 和 M_g,2 上的除子类 D1 和 D2 的极值性能否通过Teichmüller曲线实现？
• RQ4 为何该不变现象在亏格6中失效，特别是 ΩM_6(10)^odd 和 ΩM_6(10)^even 层中？
• RQ5 双椭圆子簇在多大程度上保持和的不变性？其与点曲面模空间几何有何关联？

主要发现

• 在亏格3中，除主层外所有层的李雅普诺夫指数之和均为不变；主层的和上界为2，且在双椭圆子簇中可取等。
• 在亏格4中，(6)^even、(6)^odd、(5,1)、(3,3)、(3,2,1)、(2,2,2)^odd 及所有双椭圆层的和为不变；其余层的和上界为5/2，更紧的上界如 ΩM_4(4,1,1) 为23/10。
• 在亏格5中，(8)^even、(8)^odd、(5,3) 及所有双椭圆层的和为不变；其余层的和可变，仅 (6,2)^odd 为未确认情况。
• 在亏格6中，ΩM_6(10) 的两个分支中和均变化，具体值为：奇分支中 L_stratum ≈ 2.351，L_curve ≈ 2.302；偶分支中 L_stratum ≈ 2.410，L_curve ≈ 2.402。
• 双椭圆层中的Teichmüller曲线与 M_g,1 和 M_g,2 上的除子类 D1 和 D2 的交数为零，证明了这些除子正性结果的最优性。
• 此类Teichmüller曲线在双椭圆子簇中的Zariski闭包是稠密的，从而为 D1 和 D2 的极值性问题提供了无穷多组解。