[论文解读] Quadratic differentials in low genus: exceptional and non-varying

Dawei Chen, Martin Moeller|arXiv (Cornell University)|Apr 8, 2012

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

一句话总结

本文提出了一种代数准则，用于区分三、四基因中二次微分的例外层的连通分支，该准则基于与二次微分除数除以三相关的线丛的全局截面维数。研究证明，在低基因数的许多层中，Teichmüller测地流的Lyapunov指数之和在层内所有Teichmüller曲线中保持恒定——这些层被称为非变层——并完成了至四基因的此类层的完整分类，同时表明五基因中最小的层也是变的。

ABSTRACT

We give an algebraic way of distinguishing the components of the exceptional strata of quadratic differentials in genus three and four. The complete list of these strata is (9, -1), (6,3,-1), (3,3,3, -1) in genus three and (12), (9,3), (6,6), (6,3,3) and (3,3,3,3) in genus four. This result is part of a more general investigation of disjointness of Teichmueller curves with divisors of Brill-Noether type on the moduli space of curves. As a result we show that for many strata of quadratic differentials in low genus the sum of Lyapunov exponents for the Teichmueller geodesic flow is the same for all Teichmueller curves in that stratum.

研究动机与目标

• 解决三、四基因中二次微分例外层连通分支区分的开放问题。
• 提供一种代数几何不变量——具体而言，是与除数相关线丛的全局截面维数——以区分每个例外层中的两个分支。
• 分类低基因数中哪些二次微分层的Lyapunov指数之和对所有Teichmüller曲线保持恒定（即非变层），并扩展自阿贝尔微分的结果。
• 表明非变层的列表可能已是完整的，包括所有已知的双曲层，并证明即使五基因中最小的层也是变的。
• 建立一种方法，证明Teichmüller曲线与曲面模空间中Brill-Noether型除数的不相交性，从而实现Lyapunov指数的计算。

提出的方法

• 使用代数几何定义一个典范不变量：$ H^0(X, \operatorname{div}(q)_{0}/3) $ 的维数，该不变量可区分例外层中的两个连通分支。
• 应用Hodge丛滤子和局部接合参数的技术，分析二次微分在模空间边界除数附近的性质。
• 在 $ \overline{\mathcal{M}}_{g,n} $ 上使用交集理论，通过计算 $ C \cdot D = 0 $（其中 $ C $ 为Teichmüller曲线，$ D $ 为Brill-Noether型除数）推导出Lyapunov指数的恒定性。
• 利用单值性数据和Veech群的指标计算，对特定例子进行Lyapunov指数的数值验证。
• 通过代数几何构造连通分支，避免依赖于平坦曲面几何，从而独立证明其不可约性与连通性。
• 将[CM11]中关于阿贝尔微分的方法适配至二次微分，克服了Teichmüller曲线可能与更高边界除数 $ \delta_i $ 相交的挑战。

实验结果

研究问题

• RQ1 在三、四基因中，何种代数不变量可区分二次微分例外层的两个连通分支？
• RQ2 在低基因数中，哪些二次微分层的Lyapunov指数之和在所有Teichmüller曲线上保持恒定（即非变层）？
• RQ3 尽管Teichmüller曲线可能与更高边界除数相交，是否可在二次微分情形下建立其与Brill-Noether型除数的不相交性？
• RQ4 三、四基因中二次微分的非变层列表是否完整，是否包含所有已知的双曲层？
• RQ5 在五基因中是否存在一个层，其Lyapunov指数之和即使在最小的层中也发生变化？

主要发现

• 在三基因中，层 $ (9,-1), (6,3,-1), (3,3,3,-1) $ 各有两个连通分支，由 $ \dim H^0(X, \operatorname{div}(q)_{0}/3) = 1 $ 或 $ 2 $ 区分。
• 在四基因中，层 $ (12), (9,3), (6,6), (6,3,3), (3,3,3,3) $ 各有两个非双曲连通分支，同样由全局截面维数区分。
• 在基因一中，层 $ \mathcal{Q}(n,-1^n) $ 和 $ \mathcal{Q}(n-1,1,-1^n) $（$ n \geq 2 $）为非变层，Lyapunov指数之和恒定。
• 在基因二中，所有维数至多为七的层中，有12个为非变层；在基因三中，19个非例外层和6个例外层为非变层。
• 在基因四中，8个非例外层和7个例外层为非变层，且非变层列表可能已是完整的。
• 在基因五中，甚至层 $ \mathcal{Q}(16) $ 也被证明是变的，有两个例子具有不同的Lyapunov指数：$ L^+ = 19949/12015 \approx 1.66 $ 和 $ 5/3 \approx 1.6667 $。