[論文レビュー] 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次元のテイヒミュラー円板において、すべての非自明なリャプノフ指数が消える完全に退化したコンツェヴィチ＝ゾリッチスペクトルを持つ最初の既知の例を構成する。この構成は、型 $M_6(1,1,1,3)$ のリーマン球面の巡回被覆を用い、ベーチ表面を生成する。その $SL(2,\mathbb{R})$-軌道は、非自明なリャプノフ指数が消える二次微分形式を支持し、スペクトルにおける極めてまれな退化を確認する。

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次元における完全に退化したコンツェヴィチ＝ゾリッチスペクトルを持つテイヒミュラー円板を構成すること。ここで、すべての非自明なリャプノフ指数は0である。
• 3次元における既知の例を4次元に拡張し、非自明なリャプノフ指数が消える新しいベーチ表面の例を提供すること。
• ベーチ表面および巡回被覆の文脈において、このような退化スペクトルの稀少性を調査すること。
• 例が、3つの二重零点を持つ正則微分形式の平方に対応する、$\mathcal{H}(2,2,2)$ のストラトムに含まれることを確認し、既知の分類制約と整合すること。

提案手法

• 4つの異なる点 $x_1,\dots,x_4$ を用いて、$w^6 = (z-x_1)(z-x_2)(z-x_3)(z-x_4)^3$ で定義されるリーマン球面への巡回被覆としてリーマン面 $M$ を構成する。
• 6乗根 $\varepsilon$ を用い、$(z,w) \mapsto (z, \varepsilon w)$ で定義される自己同型 $T$ を用いて、正則1形式への作用を分析する。
• 自己同型 $T^*$ による正則1形式上の固有空間 $L_i$ の次元を、公式 $\dim_{\mathbb{C}} L_i = \sum_{\mu=1}^4 \left\langle \frac{i a_\mu}{N} \right\rangle - 1$ を用いて計算し、$\dim L_3 = \dim L_4 = 1$、$\dim L_5 = 2$、$\dim L_1 = \dim L_2 = 0$ を得る。
• リーマン球面に4つの分岐点で単純極を持つ唯一の二次微分形式の引き戻しとして、正則二次微分形式 $q = \theta_1^2$ を定義する。
• $\mathbb{P}^1$ 上の4つの単純極を持つ二次微分形式のストラトムの $SL(2,\mathbb{R})$-不変性を用い、$q$ の $SL(2,\mathbb{R})$-軌道が $\mathcal{H}(2,2,2)$ のストラトム内に1つの軌道として存在することを示す。
• 補題3.2を適用し、形式 $H_q$ がランク1であることを証明することで、軌道が $\mathcal{R}_4^{(1)}(1)$ に含まれることを確認し、退化スペクトルを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 4次元におけるテイヒミュラー円板で、すべての非自明なリャプノフ指数が消える完全に退化したコンツェヴィチ＝ゾリッチスペクトルを持つものは存在するか？
• RQ2 このような退化スペクトルは、リーマン球面の巡回被覆から構成されるベーチ表面によって実現可能か？
• RQ3 モーラーの未発表の研究が示唆するように、$g \leq 5$ の範囲ではこのような例は有限個であるか？
• RQ4 4次元における例は、フォルニが構成した3次元の場合を除き、唯一の例であるか？
• RQ5 自己同型群と固有空間分解は、コンツェヴィチ＝ゾリッチコサイクルのリャプノフスペクトルを決定づける役割を果たすか？

主な発見

• 巡回被覆 $M_6(1,1,1,3)$ から得られる4次元の曲面上の構成された二次微分形式 $q$ は、すべての非自明なリャプノフ指数が0に等しい完全に退化したコンツェヴィチ＝ゾリッチスペクトルを持つ。
• $q$ の $SL(2,\mathbb{R})$-軌道は閉じており、3つの二重零点を持つ正則微分形式の平方に対応するストラトム $\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次元における最初の既知の例であり、4次元ではおそらく唯一の例である。
• 他の巡回被覆においても、完全に退化したスペクトルの例は得られなかったため、このような例は極めてまれであり、$g \leq 5$ の範囲ではおそらく一意であるという予想を支持する。