[论文解读] An example of a Teichmuller disk in genus 4 with degenerate Kontsevich-Zorich spectrum

Giovanni Forni, Carlos Matheus|ArXiv.org|Sep 30, 2008

Mathematical Dynamics and Fractals参考文献 8被引用 32

一句话总结

本文构造了首个已知的在亏格4的Teichmüller盘，其Kontsevich-Zorich谱完全退化，即Kontsevich-Zorich上胞的全部非平凡Lyapunov指数均为零。该构造基于类型为$M_6(1,1,1,3)$的黎曼球面的循环覆盖，得到一个Veech曲面，其$SL(2,\mathbb{R})$-轨道支持一个非平凡Lyapunov指数为零的二次微分，从而确认了谱中罕见的退化现象。

ABSTRACT

We construct an orientable holomorphic quadratic differential on a Riemann surface of genus 4 whose SL(2,R)-orbit is closed and has a highly degenerate Kontsevich - Zorich spectrum. This example is related to a previous similar construction in genus 3 by the first author.

研究动机与目标

• 构造一个亏格4的Teichmüller盘，其Kontsevich-Zorich谱完全退化，即所有非平凡Lyapunov指数为零。
• 将已知的亏格3中的例子扩展到亏格4，提供一个具有零非平凡Lyapunov指数的新Veech曲面实例。
• 探讨此类退化谱在Veech曲面和循环覆盖背景下的稀有性。
• 确认该例子位于阿贝尔微分的(stratum)$\mathcal{H}(2,2,2)$中，即具有三个二重零点的微分，与已知的分类约束一致。

提出的方法

• 通过方程$w^6 = (z-x_1)(z-x_2)(z-x_3)(z-x_4)^3$将黎曼曲面$M$构造为黎曼球面的循环覆盖，其中$x_1,\dots,x_4$为互异的点。
• 利用自同构$T(z,w) = (z, \varepsilon w)$，其中$\varepsilon$为本原六次单位根，分析其在全纯1-形式上的作用。
• 使用公式$\dim_{\mathbb{C}} L_i = \sum_{\mu=1}^4 \left\langle \frac{i a_\mu}{N} \right\rangle - 1$计算自同构$T^*$在全纯1-形式上的特征子空间$L_i$的维数，得到$\dim L_3 = \dim L_4 = 1$，$\dim L_5 = 2$，且$\dim L_1 = \dim L_2 = 0$。
• 定义一个全纯二次微分$q = \theta_1^2$，作为$\mathbb{P}^1$上在四个分支点处具有单极点的唯一二次微分的拉回。
• 利用$\mathbb{P}^1$上具有四个单极点的二次微分的stratum在$SL(2,\mathbb{R})$作用下的不变性，证明$q$的$SL(2,\mathbb{R})$-轨道位于$\mathcal{H}(2,2,2)$的单个轨道中。
• 应用推论3.2，证明形式$H_q$的秩为1，从而确认轨道属于$\mathcal{R}_4^{(1)}(1)$，这表明谱完全退化。

实验结果

研究问题

• RQ1 是否存在一个亏格4的Teichmüller盘，其Kontsevich-Zorich谱完全退化，即所有非平凡Lyapunov指数为零？
• RQ2 此类退化谱是否可通过黎曼球面的循环覆盖构造的Veech曲面实现？
• RQ3 如Möller未发表的工作所暗示，是否存在有限多个此类例子，且$g \leq 5$？
• RQ4 该亏格4的例子是否为Forni在亏格3中构造之后唯一的此类例子？
• RQ5 自同构群和特征子空间分解在决定Kontsevich-Zorich上胞的Lyapunov谱中起什么作用？

主要发现

• 由循环覆盖$M_6(1,1,1,3)$构造的亏格4曲面上的二次微分$q$具有完全退化的Kontsevich-Zorich谱，所有非平凡Lyapunov指数均为零。
• $q$的$SL(2,\mathbb{R})$-轨道是闭的，且位于$stratum$\mathcal{H}(2,2,2)$中，对应于具有三个二重零点的阿贝尔微分的平方。
• $T^*$的特征子空间分解给出$\dim L_3 = \dim L_4 = 1$，$\dim L_5 = 2$，且$\dim L_1 = \dim L_2 = 0$，这对谱的退化性至关重要。
• 形式$H_q$的秩为1，确认轨道属于$\mathcal{R}_4^{(1)}(1)$，这是谱退化的关键条件。
• 该例子是首个已知的在亏格4中具有零非平凡Lyapunov指数的Veech曲面，且极有可能是亏格4中唯一的此类例子。
• 在其他循环覆盖中未发现更多完全退化的谱例子，支持该猜想：此类例子极为稀少，可能在$g \leq 5$中唯一。