[論文レビュー] Non-varying sums of Lyapunov exponents of Abelian differentials in low genus

Dawei Chen, Martin Moeller|arXiv (Cornell University)|Apr 20, 2011

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

ひとこと要約

本稿は、3〜5の種数におけるアーベル微分形式の多様体のほとんどすべての層について、そのTeichmüller曲線全体にわたるリャプノフ指数の和が一定であることを確立している。この現象は「非可変性」と呼ばれる。著者らは、Teichmüller曲線がモジュライ空間上の主要な幾何的除集合と交差しないことを示すことにより、この事実を証明し、正方形タイル付き曲面を用いた明示的計算によって結果を確認している。非可変性は双曲的層および特定の非双曲的層で成り立つが、より高い種数では成り立たない。例えば、種数6のとき、10次の単一の零点を持つ層では非可変性が成立しない。

ABSTRACT

We show that for many strata of Abelian differentials in low genus the sum of Lyapunov exponents for the Teichmueller geodesic flow is the same for all Teichmueller curves in that stratum, hence equal to the sum of Lyapunov exponents for the whole stratum. This behavior is due to the disjointness property of Teichmueller curves with various geometrically defined divisors on moduli spaces of curves.

研究の動機と目的

• 与えられたアーベル微分形式の層におけるTeichmüller測度のリャプノフ指数の和が、その層に属するすべてのTeichmüller曲線にわたって一定である条件を特定すること。
• 種数と零点数の和が7以下であるとき、リャプノフ指数の和が非可変であるというコンツェビッチとゾリッチの予想を解決すること。
• Teichmüller曲線がモジュライ空間上の主要な除集合と交差しないという幾何的基準を、非可変和を証明するためのものとして確立すること。
• 変動する和を示すための明示的例と上限値を、和が一定でない層に対して提供すること。
• 得られた結果を、標識付き曲線のモジュライ空間の幾何における極値問題に応用すること。

提案手法

• 各層における不変測度のリャプノフ指数の和を計算するため、Eskin-Kontsevich-Zorichの公式の使用。
• 置換データ (π_r, π_u) を用いて平坦曲面を定義する正方形タイル付き曲面を用いたTeichmüller曲線の構成。
• モジュライ空間上の幾何的除集合（例：双曲的、ブラーリ・ノイザー、特異曲線の集合）とTeichmüller曲線の非交差性の証明。
• モジュライ空間 M_g,1 および M_g,2 における除集合類 λ, ω_rel, δ, ψ_i との交点数の計算により、極値性を確認するためのゼロ交差を検証すること。
• [EKZ] の結果を双曲的層に応用し、すべての種数において非可変和が成り立つことを示すこと。
• 周期座標と格子点対応を用いて、双曲的領域におけるTeichmüller曲線のZariski稠密性を示すこと。

実験結果

リサーチクエスチョン

• RQ1 種数 g ≤ 5 のアーベル微分形式のどの層において、Teichmüller曲線全体にわたるリャプノフ指数の和が一定となるか？
• RQ2 リャプノフ指数の和が変動する正確な条件は何か？また、その場合の鋭い上限値は何か？
• RQ3 M_g,1 および M_g,2 における除集合類 D1 および D2 の極値性は、Teichmüller曲線によって実現可能か？
• RQ4 なぜ非可変現象は種数6で失敗するのか、特に ΩM_6(10)^odd および ΩM_6(10)^even の層においては？
• RQ5 双曲的領域は非可変和をどの程度保っているのか？また、これは標識付き曲線のモジュライ空間の幾何とどのように関係するか？

主な発見

• 種数3では、主層を除くすべての層でリャプノフ指数の和は非可変である。主層では和は2以下に有界であり、双曲的領域で達成される。
• 種数4では、(6)^even, (6)^odd, (5,1), (3,3), (3,2,1), (2,2,2)^odd およびすべての双曲的層で和は非可変である。他の層では和は5/2以下に有界であり、特に ΩM_4(4,1,1) では23/10というより鋭い上限が得られる。
• 種数5では、(8)^even, (8)^odd, (5,3) およびすべての双曲的層で和は非可変である。残りの層では和は変動し、(6,2)^odd が唯一確認されていないケースである。
• 種数6では、ΩM_6(10) の両成分において和は変動する。明示的な値として、奇成分では L_stratum ≈ 2.351 および L_curve ≈ 2.302、偶成分では L_stratum ≈ 2.410 および L_curve ≈ 2.402 が得られる。
• 双曲的層におけるTeichmüller曲線は、M_g,1 および M_g,2 における除集合類 D1 および D2 とゼロ交差を示し、これらの除集合の正性に関する結果の最適性を証明する。
• 双曲的領域におけるこれらのTeichmüller曲線のZariski閉包は稠密であり、D1 および D2 の極値問題に対して無限個の解が得られる。