[论文解读] Teichmueller curves, triangle groups, and Lyapunov exponents

Irene I. Bouw, Martin Moeller|ArXiv.org|Nov 30, 2005

Mathematical Dynamics and Fractals参考文献 17被引用 6

一句话总结

该论文通过超几何微分方程和射影直线的阿贝尔覆盖，为所有满足 m < n ≤ ∞ 的 Fuchsian 三角形群 Δ(m,n,∞) 构造了其统一化的 Teichmüller 曲线。它将 Kontsevich–Zorich 混合胞腔的 Lyapunov 指数识别为这些曲线上线丛的归一化度数，给出了显式公式，并证明所构造族的射影仿射群恰好为 Δ(m,n,∞)，推广了 Veech 和 Ward 的早期工作。

ABSTRACT

We construct a Teichmueller curve uniformized by the Fuchsian triangle group (m,n,\infty) for every m

研究动机与目标

• 为所有满足 m < n ≤ ∞ 的 Fuchsian 三角形群 Δ(m,n,∞) 构造其统一化的 Teichmüller 曲线。
• 推广 Veech 和 Ward 的先前构造，后者仅限于特定的 m 和 n 情况。
• 将 Kontsevich–Zorich 混合胞腔的 Lyapunov 指数解释为 Teichmüller 曲线上自然线丛的归一化度数。
• 通过 Kodaira–Spencer 映射和超几何系统单值性性质，提供 Teichmüller 曲线的 Hodge 理论刻画。

提出的方法

• 在 P^1 − {0,1,∞} 上构造一族 N 次循环覆盖 y^N = x^{a1}(x−1)^{a2}(x−t)^{a3}，参数为 t。
• 利用伽罗瓦下降和群作用（Z/NZ ⋊ H）构造商族 X = Y/H，其映射到模空间 Mg。
• 将局部系统 L(i0) 的单值性与射影单值群 Δ(m,n,∞) 关联，确保其为三角形群。
• 通过超几何微分方程的不变量刻画 Kodaira–Spencer 映射的消失，利用无穷单值性识别奇异纤维。
• 应用 Simpson 对应关系和 Hodge 理论，通过在 Poincaré 圆盘上对拉普拉斯算子的积分，将 Lyapunov 指数与线丛的度数关联。
• 使用公式 λ_i = (1/4π) vol(C) ∫_{G(L_i)} Δ_h log||v_i|| dν，将 Lyapunov 指数表达为线丛的归一化度数。

实验结果

研究问题

• RQ1 能否对所有满足 m < n ≤ ∞ 的 Fuchsian 三角形群 Δ(m,n,∞) 系统性地构造 Teichmüller 曲线？
• RQ2 Kontsevich–Zorich 混合胞腔的 Lyapunov 指数能否在 Teichmüller 曲线的线丛度数几何意义上加以解释？
• RQ3 超几何系统单值性与所得 Teichmüller 曲线的射影仿射群之间的确切关系为何？
• RQ4 对于这些族，相对 de Rham 上同调 R^1f_*C_X 的分解在多大程度上可被确定？
• RQ5 该构造能否超越三角形群？若不能，其障碍是什么（例如辅助参数）？

主要发现

• 当 n 为有限时，所构造族 X 的射影仿射群恰好为三角形群 Δ(m,n,∞)，且 m ≠ n。
• Lyapunov 指数被证明等于线丛 L_i 的归一化度数，其中 λ_i = deg(L_i)/d_1，d_1 为第一个线丛的度数。
• 当 m ≤ 5 时，Veech 曲面可被实现为具有 (m+3)/2 或 (m+4)/2 条边的有理多边形的展开，具体取决于奇偶性。
• Kodaira–Spencer 映射消失当且仅当某点周围的单值性为无穷，从而为奇异纤维提供了几何判据。
• 相对 de Rham 上同调 R^1f_*C_X 完全分解为秩为二的局部系统，从而可完全计算 Lyapunov 谱。
• 至少 r 个 Lyapunov 指数非零，其中 r 为分解中不可约分量的个数，这是由于线丛度数非零所致。