[論文レビュー] On the minimum dilatation of pseudo-Anosov homeomorphisms on surfaces of small genus

Erwan Lanneau, Jean‐Luc Thiffeault|arXiv (Cornell University)|May 8, 2009

Mathematical Dynamics and Fractals参考文献 14被引用数 13

ひとこと要約

本稿は、3、4、5の genus を持つ可定向な曲面上の擬アイソノーバー写像の最小歪みを決定し、それが特定の2g次多項式の最大実根に等しく、最小のセーレム数であることを証明する。6〜8の genus について下界を確立し、チョウとハムの結果について、2次元の場合に簡潔で初等的な証明を提供する。最小歪みのケースについて、同型類および対称性の下で一意性が保証される。

ABSTRACT

We find the minimum dilatation of pseudo-Anosov homeomorphisms that stabilize an orientable foliation on surfaces of genus three, four, or five, and provide a lower bound for genus six to eight. Our technique also simplifies Cho and Ham's proof of the least dilatation of pseudo-Anosov homeomorphisms on a genus two surface. For genus g=2 to 5, the mimimum dilatation is the smallest Salem number for polynomials of degree 2g.

研究の動機と目的

• 可定向な曲面の genus g = 3, 4, 5 における擬アイソノーバー写像の最小歪み δ⁺_g を計算すること。
• g = 6, 7, 8 の場合における δ⁺_g について下界を確立すること。
• チョウとハムが以前に確立した2次元の場合の最小歪みについて、より簡潔で初等的な証明を提供すること。
• g = 2 から 5 までの最小歪みが、2g次多項式の最小既知のマラー測度に対応することを確認すること。
• マッピングクラス群 Mod(g) において、最小歪みを実現する同型類が、双曲的イヌボリューションおよび被覆変換の下で一意であるかを調査すること。

提案手法

• 著者たちは、翻訳曲面における Rauzy–Veech の誘導を用いて、最小歪みを持つ擬アイソノーバー写像の明示的例を構成する。
• 特定の置換と経路を用いたデーンねじりを適用し、マッピングクラスを生成し、ホモロジーへの作用を計算する。
• 歪みは、マッピングクラスに関連するモノドロミー行列の特性多項式のペロン根から導出される。
• 構成は、曲面を多角形の断片に分割し、元の曲面と変換後の曲面間の移動ベクトルを追跡することに依存する。
• 2次元の場合、ホモロジーへの作用が同一の特性多項式 X⁴ - X³ - X² - X + 1 を与える2つのデーンねじりの列を用いる。
• 証明は、セーレム数の性質と、最小歪みが2g次整数多項式のうちで最小のマラー測度に対応することを利用している。

実験結果

リサーチクエスチョン

• RQ1 可定向な不変 foliation を持つ genus 3 の曲面上における擬アイソノーバー写像の最小歪みは何か？
• RQ2 genus 4 および 5 の場合における最小歪みは、2g次多項式の既知のセーレム数や多項式とどのように比較できるか？
• RQ3 2次元の場合の最小歪みを、従来のトレイントラックに基づく手法よりも簡潔で初等的な方法で再証明できるか？
• RQ4 g = 2 から 5 の場合に、最小歪みを実現する同型類が、双曲的イヌボリューションなどの対称性の下で一意であるか？
• RQ5 genus 6 から 8 の場合における最小歪みの下限は何か？また、下界を確立できるか？

主な発見

• genus 3 に対して、最小歪み δ⁺₃ は多項式 X⁶ - X⁴ - X³ - X² + 1 の最大実根に等しく、約 1.40127 である。
• genus 4 に対して、最小歪み δ⁺₄ は多項式 X⁸ - X⁵ - X⁴ - X³ + 1 の最大実根に等しく、約 1.28064 である。
• genus 5 に対して、最小歪み δ⁺₅ は多項式 X¹⁰ + X⁹ - X⁷ - X⁶ - X⁵ - X⁴ - X³ + X + 1 の最大実根に等しく、約 1.17628 である。
• g = 2 から 5 のすべての最小歪みはセーレム数であり、それらを定義する多項式は、2g次多項式の中で最小の既知のマラー測度を持つ。
• 2次元の場合の最小歪みは、多項式 X⁴ - X³ - X² - X + 1 の最大根に等しく、δ₂ ≈ 1.72208 であり、デーンねじりの列を用いた簡略化された証明が得られた。
• genus 6 から 8 の場合、最小歪みの下界が確立されたが、正確な値は未解決のままである。