[論文レビュー] Non-Veech surfaces in H^hyp(4) are generic

Duc-Manh Nguyen, Alex Wright|arXiv (Cornell University)|Jun 20, 2013

Algebraic Geometry and Number Theory参考文献 30被引用数 7

ひとこと要約

この論文は、3次元トランスレーション多様体のハイパーオーバルストラトゥム ℋ⁰⁰(4) において、任意の表面が閉じた GL⁺(2,ℝ)-軌道（したがってベーチ表面）を持つか、あるいは ℋ⁰⁰(4) 全体に密な軌道を持つこと、つまり一般的であることを証明している。証明はシリンダー変形技術とシリンダー配置の分類を用いて、閉軌道以外に真の不変部分多様体が存在しないことを示し、低 genus における軌道閉包の分類における重要なケースを解決する。

ABSTRACT

We show that every surface in H^hyp(4) is either a Veech surface or a generic surface, i.e. its GL^+(2,R)-orbit is either a closed or a dense subset of H^hyp(4) . The proof develops new techniques applicable in general to the problem of classifying orbit closures, especially in low genus. Recent results of Eskin-Mirzakhani-Mohammadi, Avila-Eskin-Möller, and the second author are used. Combined with work of Matheus and the second author, a corollary is that there are at most finitely many non-arithmetic Teichmüller curves (closed orbits of surfaces not covering the torus) in H^hyp(4).

研究の動機と目的

• 3次元トランスレーション多様体のハイパーオーバルストラトゥム ℋ⁰⁰(4) における GL⁺(2,ℝ)-軌道閉包を分類すること。
• ℋ⁰⁰(4) 内の非ベーチ表面が、真の非稠密な軌道閉包を持つことができるかどうかを特定すること。
• 既知の2次元における結果を超えて、低 genus ストラトゥムにおける軌道ダイナミクスの理解を拡張すること。
• ミルザカニの予想（高 genus における軌道閉包がまれで特異である）を検証するための基盤的ステップを提供すること。
• ℋ⁰⁰(4) 内のすべての表面が、ベーチ表面か一般的表面であり、中間のダイナミカルな振る舞いは存在しないことを確立すること。

提案手法

• ℋ⁰⁰(4) 内のトランスレーション多様体における水平シリンダー分解の構造を分析し、単純および非単純シリンダーの配置に注目する。
• Wright (2012) のシリンダー変形定理を適用し、GL⁺(2,ℝ)-不変部分多様体内でのシリンダーのシアー変形や変形の挙動を研究する。
• 自由シリンダーと ℒ-平行性の概念を用いて、真の不変部分多様体の存在を仮定した場合の矛盾を導出する。
• 特に1つまたは2つの単純シリンダーを含む構成における、接続性と平行性のケースバイケースの位相的・幾何学的分析を実施する。
• 自由シリンダーをシアーすると、その横断的シリンダーが得られ、その性質（例：自由性）はシリンダー変形定理により解析可能であるという事実を活用する。
• 局所的周期座標とアフィン不変部分多様体の構造論を組み合わせ、中間の軌道閉包の存在を除外する。

実験結果

リサーチクエスチョン

• RQ1 ℋ⁰⁰(4) に、閉じても稠密でもない真の GL⁺(2,ℝ)-不変部分多様体が存在しうるか？
• RQ2 ℋ⁰⁰(4) 内の非ベーチ表面はすべて一般的であるか、すなわち GL⁺(2,ℝ)-軌道が稠密であるか？
• RQ3 特に単純および非単純シリンダーを含むシリンダー構成が、真の軌道閉包の存在に課す制約は何か？
• RQ4 シリンダー変形技術を用いて、ℋ⁰⁰(4) に中間の軌道閉包が存在しないことを確立できるか？
• RQ5 ℋ⁰⁰(4) のハイパーオーバル構造は、他のストラトゥムに存在しない「奇妙な」軌道閉包の存在を防ぐか？

主な発見

• ハイパーオーバルストラトゥム ℋ⁰⁰(4) 内の任意の表面は、GL⁺(2,ℝ)-軌道が閉じている（ベーチ表面）か、ℋ⁰⁰(4) 全体に稠密である。
• ℋ⁰⁰(4) には、真の非閉、非稠密な GL⁺(2,ℝ)-不変部分多様体は存在しない。つまり、中間の軌道閉包は存在しない。
• 証明は、真の軌道閉包の構成を試みるたびに、シリンダー変形と自由性の議論により矛盾が生じることを示している。
• この結果により、ℋ⁰⁰(4) 内のすべての軌道閉包が代数的多様体であることが示唆される。なぜなら、それらは点（閉軌道）か、全体のストラトゥムのいずれかに他ならないからである。
• Matheus と Wright の先行研究と併せると、ℋ⁰⁰(4) に高々有限個の非算術的テイコフラー曲線が存在することが示される。
• 分類は、ℋ⁰⁰(4) において、唯一の可能なダイナミカルな振る舞いがベーチ表面のものか一般的表面のものであることを確認する。