[论文解读] Weierstrass filtration on Teichmuller curves and Lyapunov exponents

Fei Yu, Kang Zuo|arXiv (Cornell University)|Mar 27, 2012

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文引入了在双阿贝尔曲面上的Weierstrass滤子，以计算双阿贝尔簇中的Lyapunov指数之和以及低亏格不变分量的分量。通过构造Hodge丛的Harder-Narasimhan滤子，并从其分次商中定义Weierstrass指数，作者推导出Lyapunov指数之和的显式公式，恢复了已知结果，并证明了此前未解决的情形中（包括亏格5分量）的不变行为。

ABSTRACT

We define the Weierstrass filtration for Teichmuller curves and construct the Harder-Narasimhan filtration of the Hodge bundle of a Teichmuller curve in hyperelliptic loci and low-genus nonvarying strata. As a result we obtain the sum of Lyapunov exponents of Teichmuller curves in these strata.

研究动机与目标

• 开发一种统一方法，用于在双阿贝尔簇与低亏格不变分量的Teichmüller曲面上计算Lyapunov指数之和。
• 填补现有证明中关于不变Lyapunov指数和的空白，特别是针对尚未解决的分量，如$\overline{\Omega\mathcal{M}}^{even}_{4}(4,2)$与$\overline{\Omega\mathcal{M}}^{odd}_{5}(6,2)$。
• 通过Hodge丛的Harder-Narasimhan滤子定义并计算Weierstrass指数，将代数几何与动力不变量联系起来。
• 提供一种不依赖Siegel-Veech常数论证的、基于Weierstrass滤子的非变Lyapunov指数和的替代证明。

提出的方法

• 利用全纯微分的子线丛系统维数，在Teichmüller曲面上构造Hodge丛$f_*\omega_{S/C}$的Weierstrass滤子。
• 将Weierstrass指数$w_i$定义为Harder-Narasimhan滤子中分次商的归一化度数：$w_i = \mathrm{deg}(V_i/V_{i-1}) / \mathrm{deg}(\mathcal{L})$。
• 应用Splitting Lemma I与II，将多个截面的线丛的直接像分解，从而实现对$f_*\mathcal{O}(m_i D_i)$的显式计算。
• 利用Riemann-Roch与Clifford定理，计算奇异曲线上特殊除子的$h^0$，确保滤子定义良好且丛可分解为线丛的直和。
• 借助关于带点Brill-Noether除子与几何定义除子的已知结果，证明Teichmüller曲面避开某些子簇，从而推导出不变性行为。
• 通过低亏格情形的显式计算（包括亏格3、4、5分量）验证Weierstrass指数公式，采用对奇点与退化的逐案分析。

实验结果

研究问题

• RQ1 能否使用单一代数几何框架，在双阿贝尔簇与低亏格不变分量的Teichmüller曲面上统一计算Lyapunov指数之和？
• RQ2 在非双阿贝尔低亏格分量的Teichmüller曲面上，Hodge丛的Harder-Narasimhan滤子的精确结构是什么？
• RQ3 从滤子导出的Weierstrass指数如何编码这些分量中Lyapunov指数之和？
• RQ4 Lyapunov指数之和为何在某些分量的Teichmüller曲面上保持不变？能否不依赖Siegel-Veech常数来证明这一点？
• RQ5 在$\overline{\Omega\mathcal{M}}_g(2g-2)$中的Teichmüller曲面上，Weierstrass间隙序列在确定Weierstrass指数方面起什么作用？

主要发现

• 对于$\overline{\Omega\mathcal{M}}_g(m_1,\dots,m_k)$中双阿贝尔簇的Teichmüller曲面，Weierstrass指数为$w_i = \frac{1}{4} \sum_{d_j \text{ odd}} \frac{1}{d_j + 2}$，从而恢复了已知的Lyapunov指数之和。
• 在分量$\overline{\Omega\mathcal{M}}^{hyp}_g(2g-2)$中，Weierstrass指数为$w_i = \frac{k_i}{2g-1}$，其中$k_i$为间隙序列$\{1,3,5,\dots,2g-1\}$中第$i$大的元素。
• 对于$g \leq 5$的$\overline{\Omega\mathcal{M}}^{odd}_g(2g-2)$，Weierstrass指数为$w_i = \frac{k_i}{2g-1}$，间隙序列为$\{1,2,\dots,g-1,2g-1\}$，且Hodge丛可分解为线丛的直和。
• 在亏格4时，分量$\overline{\Omega\mathcal{M}}^{even}_4(4,2)$的Lyapunov指数之和为$\frac{32}{15}$，而$\overline{\Omega\mathcal{M}}^{odd}_4(4,2)$的和为$\frac{29}{15}$，均通过Weierstrass指数计算得出。
• 在亏格5时，分量$\overline{\Omega\mathcal{M}}^{odd}_5(6,2)$的Lyapunov指数之和为$\frac{46}{21}$，且Hodge丛可分解为线丛的直和，从而确认了不变性行为。
• Weierstrass滤子方法为所有低亏格不变分量提供了Lyapunov指数和不变性的统一证明，包括此前未解决的$\overline{\Omega\mathcal{M}}^{even}_4(4,2)$与$\overline{\Omega\mathcal{M}}^{odd}_5(6,2)$情形。