[论文解读] Rank One Orbit Closures in H^{hyp}(g-1,g-1)

Paul Apisa|arXiv (Cornell University)|Oct 16, 2017

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

一句话总结

本文分类了在亏格 g > 2 时，阿贝尔微分的双曲型层 ℋ^{hyp}(g−1,g−1) 中 GL(2,R) 轨道闭包，证明所有轨道闭包要么是闭的，要么是稠密的，要么包含在分支覆盖的子簇中。通过使用柱形形变技术以及亏格二中秩一轨道闭包的分类，作者证明了在 ℋ^{hyp}(g−1,g−1) 中的所有此类轨道闭包要么是 ℋ(1,1) 中特征形式子簇的分支覆盖，要么源于算术的泰希米勒曲线，从而解决了平移曲面动力系统中一个关键情形。

ABSTRACT

Every GL(2,R)-orbit in hyperelliptic components of strata of abelian differentials in genus greater than two is either closed, dense, or contained in a locus of branched covers.

研究动机与目标

• 对亏格 g > 2 时阿贝尔微分的双曲型层分量中 GL(2,R) 轨道闭包进行分类。
• 确定此类轨道闭包是否为闭的、稠密的，或包含在分支覆盖子簇中。
• 将此前对维度 >3 的轨道闭包结果推广至秩一轨道闭包的完整分类。
• 建立所有非算术的、秩一的轨道闭包在 ℋ^{hyp}(g−1,g−1) 中均来自 ℋ(1,1) 中特征形式子簇的分支覆盖。
• 通过将问题约化至亏格二中的已知结果，完成双曲型层中不变子流形的分类。

提出的方法

• 利用 Wright 发展的柱形形变理论，特别是扭曲空间与柱形保持空间的构造。
• 应用双曲型曲面中的 rel 变形结构，其中 rel 由柱形图中柱形相邻关系决定的交替符号确定。
• 采用标准位置论证法以归一化分歧线段与柱形，从而在曲面之间构造局部等距映射。
• 通过使用水平与垂直柱形铺砌及其子等价类，将分类问题约化至亏格二。
• 利用 McMullen 对亏格二中轨道闭包的完全分类，特别是 ℋ(1,1) 中的特征形式子簇，推导高亏格轨道闭包的结构。
• 应用 Eskin-Mirzakhani-Mohammadi 定理关于轨道闭包的线性性以及 EFW 有限性结果，得出在分支覆盖子簇之外仅有有限多个闭轨道。

实验结果

研究问题

• RQ1 对于 g > 2，所有 GL(2,R) 轨道闭包在双曲型层 ℋ^{hyp}(g−1,g−1) 中是否均为闭的、稠密的，或包含在分支覆盖子簇中？
• RQ2 能否通过约化至亏格二动力系统，对 ℋ^{hyp}(g−1,g−1) 中的秩一、非算术轨道闭包进行分类？
• RQ3 rel 变形在决定双曲型分量中轨道闭包结构时起什么作用？
• RQ4 所有此类轨道闭包是否均来自 ℋ(1,1) 中特征形式子簇的分支覆盖？
• RQ5 柱形形变与子等价关系如何约束双曲型层中轨道闭包的几何结构？

主要发现

• 对于 g > 2，所有 GL(2,R) 轨道在 ℋ^{hyp}(g−1,g−1) 的双曲型分量中，要么是闭的，要么是稠密的，要么包含在分支覆盖子簇中。
• 所有非算术的、秩一的轨道闭包在 ℋ^{hyp}(g−1,g−1) 中均为 ℋ(1,1) 中特征形式子簇的分支覆盖构造。
• McMullen 对亏格二中轨道闭包的分类表明，所有此类高亏格轨道闭包要么是分支覆盖，要么源于算术泰希米勒曲线。
• 这些曲面中的 rel 变形由基于柱形相邻关系的交替符号唯一确定，且该变形生成了标准位置下的完整扭曲空间。
• 存在一个具有包含 rel 变形的扭曲空间的曲面，可通过扰动确保模比为无理数，这对排除虚假的子等价关系至关重要。
• 轨道闭包是 ℋ(1,1) 中曲面的分支覆盖子簇，且由于 ℋ(1,1) 中仅存在复维数为 3 的非算术特征形式，因此轨道闭包必为该类子簇的非算术分支覆盖。