[论文解读] Strata of abelian differentials and the Teichmueller dynamics

Dawei Chen|arXiv (Cornell University)|Nov 24, 2012

Algebraic Geometry and Number Theory参考文献 10被引用 3

一句话总结

本文通过模曲线空间上的交点理论，建立了一个代数框架，用于研究阿贝尔微分的层及其在Teichmüller动力系统中的行为。通过Porteous公式计算了层 $\overline{\mathcal{H}}(2,1^{2g-4})$ 的周期类，利用Teichmüller曲线的Lyapunov指数证明了低 genus 情形下多个带点Brill–Noether除子的极值性，并为计算紧化Hodge丛上的除子类提供了代数替代方法，替代了诸如Tau函数等分析方法。

ABSTRACT

This paper focuses on the interplay between the intersection theory and the Teichmueller dynamics on the moduli space of curves. As applications, we study the cycle class of strata of the Hodge bundle, present an algebraic method to calculate the class of the divisor parameterizing abelian differentials with a non-simple zero, and verify a number of extremal effective divisors on the moduli space of pointed curves in low genus.

研究动机与目标

• 开发一种代数方法，用于计算曲线模空间中阿贝尔微分层的周期类。
• 利用Teichmüller动力系统与Lyapunov指数，验证低genus情形下带点Brill–Noether除子的极值性。
• 为计算紧化Hodge丛上的除子类，提供一种替代分析方法（如Tau函数）的代数方法。
• 通过分析除子 $\mathbb{P}\overline{\mathcal{H}}(2,1^{2g-4})$ 在伪有效锥中的位置，理解射影化Hodge丛 $\mathbb{P}\overline{\mathcal{H}}$ 的双有理几何结构。
• 通过将动力系统不变量（Lyapunov指数）与有效除子理论联系起来，建立Teichmüller动力系统与代数几何之间的桥梁。

提出的方法

• 使用Porteous公式，计算 $\mathcal{M}_{g,n}$ 的Chow环中层 $\mathbb{P}\mathcal{H}(\mu)$ 的周期类。
• 将Teichmüller曲线从 $\mathcal{H}(\mu)$ 提升至 $\overline{\mathcal{M}}_{g,n}$，并计算其与除子类的交点数。
• 应用公式 $\frac{C \cdot BN^{1}_{g,\underline{a}}}{C \cdot \lambda} = -1 + \sum_{i=1}^{n} \frac{a_i}{2L}$，将Lyapunov指数 $L$ 与交点数联系起来。
• 利用斜率不等式 $s(C) \leq 8 + \frac{4}{g}$ 控制交点数的比值，并导出统一的有界性。
• 构造具有小系数 $s_i$ 的ample除子 $D_{\underline{s}}$，通过比较交点数建立极值性。
• 利用已知的层 $\mathcal{H}(\mu)$ 的Lyapunov指数和 $L_{(\mu)}$ 的取值，推断存在满足 $L > 2 + \epsilon$ 的Teichmüller曲线。

实验结果

研究问题

• RQ1 在 $\overline{\mathcal{M}}_{g,2g-2}$ 的Chow环中，层 $\mathbb{P}\overline{\mathcal{H}}(2,1^{2g-4})$ 的周期类是什么？
• RQ2 能否通过Teichmüller动力系统与交点理论，确立 $\overline{\mathcal{M}}_{g,n}$ 上带点Brill–Noether除子的极值性？
• RQ3 沿Teichmüller曲线的Lyapunov指数和的极限如何与有效除子的极值性相关？
• RQ4 除子 $\mathbb{P}\overline{\mathcal{H}}(2,1^{2g-4})$ 是否位于 $\mathbb{P}\overline{\mathcal{H}}$ 的伪有效锥的边界上？
• RQ5 代数方法能否替代分析技术（如Tau函数）来计算Hodge丛中的除子类？

主要发现

• 通过Porteous公式，代数计算了 $\mathbb{P}\overline{\mathcal{H}}(2,1^{2g-4})$ 的周期类，提供了一种独立于分析方法的新方法。
• 除子 $\mathbb{P}\overline{\mathcal{H}}(2,1^{2g-4})$ 位于 $\mathbb{P}\overline{\mathcal{H}}$ 的伪有效锥边界上，确认了其几何重要性。
• 对于 $2 \leq g \leq 4$，Weierstrass除子 $W = BN^{1}_{g,(g)}$ 在 $\overline{\mathcal{M}}_{g,1}$ 中是极值的，其中 $g=2$ 时 $L > 1$，$g=3$ 时 $L > 1.5$，$g=4$ 时 $L > 2$。
• $BN^{1}_{2,(1,1)}$、$BN^{1}_{3,(2,1)}$、$BN^{1}_{4,(3,1)}$、$BN^{1}_{4,(2,2)}$、$BN^{1}_{3,(1^3)}$、$BN^{1}_{4,(2,1,1)}$、$BN^{1}_{4,(1^4)}$ 以及 $BN^{1}_{5,(1^5)}$ 在各自模空间中均为极值除子。
• 利用层 $\mathcal{H}(\mu)$ 的Lyapunov指数和 $L_{(\mu)}$ 推断存在满足 $L > 2 + \epsilon$ 的Teichmüller曲线，从而通过交点界实现极值性证明。
• 通过选取具有小系数 $s_i$ 的ample除子 $D_{\underline{s}}$，获得统一的有界性 $\frac{C \cdot BN^{1}_{g,\underline{a}}}{C \cdot D_{\underline{s}}} \leq -d$（$d > 0$），且该界对任意曲线 $C$ 均成立。