[論文レビュー] Boundary Values of the Thurston Pullback Map

Russell Lodge|arXiv (Cornell University)|Dec 11, 2012

Geometric and Algebraic Topology参考文献 16被引用数 5

ひとこと要約

本稿では、4つの後期的点をもつ任意のサーストン写像に対して、サーストン引き戻し写像のワイエル・ペトロフ境界値を計算するアルゴリズムを提示する。具体的には、$ f(z) = \frac{3z^2}{2z^3 + 1} $ という特定の写像に適用する。この手法は、仮想自己同型とワイヤー再帰を用いて曲線の逆像を解析し、ハッバードのTwisted Rabbit問題の類似問題を解く。その結果、$ f \cdot \beta^2 $ は $ f $ とサーストン同値であり、$ f \cdot \beta $ は関連する写像 $ g $ と同値であることが示された。

ABSTRACT

For any Thurston map with exactly four postcritical points, we present an algorithm to compute the Weil-Petersson boundary values of the corresponding Thurston pullback map. This procedure is carried out for the Thurston map f(z)=3z^2/(2z^3+1) originally studied by Buff, et al. The dynamics of this boundary map are investigated and used to solve the analogue of Hubbard's Twisted Rabbit problem for f.

研究の動機と目的

• 4つの後期的点をもつ任意のサーストン写像に対して、ワイエル・ペトロフ境界値を計算する一般アルゴリズムの開発。
• 仮想自己同型とワイヤー再帰を活用することで、ほぼユークリッド的写像を超える計算可能な境界写像のクラスを拡張する。
• 特定の有理写像 $ f(z) = \frac{3z^2}{2z^3 + 1} $ にアルゴリズムを適用し、境界ダイナミクスを解析し、ねじれ同値問題を解く。
• $ \overline{\mathbb{Q}} $ 上での境界引き戻し写像 $ \sigma_f $ の動的挙動を特徴づけ、特に不動点と周期点に注目する。
• ハッバードのTwisted Rabbit問題の類似問題を $ f $ に対して解き、どのねじれ写像 $ f \cdot \beta^k $ が $ f $ と同値であり、どのものが関連写像 $ g $ と同値であるかを特定する。

提案手法

• サーストン写像 $ f $ を有限な分割規則として表現し、$ \widehat{\mathbb{C}} \setminus P_f $ の基本群上の関連する仮想自己同型を計算する。
• リーデマイスター＝シュライエルのアルゴリズムを用いて仮想自己同型のワイヤー再帰を計算し、曲線の逆像への作用を符号化する。
• $ \widehat{\mathbb{C}} \setminus P_f $ 内の本質的単純閉曲線のホモトピー類を拡張された有理数 $ \overline{\mathbb{Q}} $ にマッピングし、テイヒミュラー空間の境界を特定する。
• ワイヤー再帰を用いて $ f $ による曲線の本質的逆像を追跡することで、境界引き戻し写像 $ \sigma_f: \overline{\mathbb{Q}} \to \overline{\mathbb{Q}} $ を定義する。
• $ \sigma_f $ のダイナミクスを、$ \overline{\mathbb{Q}} $ 内の軌道と周期点の計算を通じて解析し、特に不動点と2周期点に注目する。
• $ \sigma_f $ 及びそのねじれ変種の動的挙動を用いて、特に $ h $ が有限個の群元からなる集合に属する $ f \cdot h $ のサーストン同値類を区別する。
• 写像 $ f $ が3次多項式のマッティングであることを応用し、3次引き戻しを持つ等長線（曲線）の存在を示し、これにより $ f $ と同値な写像を特定する。

実験結果

リサーチクエスチョン

• RQ1 4つの後期的点をもつ一般のサーストン写像に対して、ワイエル・ペトロフ境界値の構造はどのようなものか？
• RQ2 仮想自己同型とワイヤー再帰を体系的に用いて、$ \overline{\mathbb{Q}} $ 上の境界引き戻し写像 $ \sigma_f $ をどのように計算できるか？
• RQ3 $ f(z) = \frac{3z^2}{2z^3 + 1} $ のねじれ写像のうち、どのものが $ f $ とサーストン同値であり、どのものが関連写像 $ g $ と同値か？
• RQ4 $ \sigma_f $ の動的特徴、例えば不動点や周期点は、サーストン同値類を区別するためにどのように利用できるか？
• RQ5 3次引き戻しを持つ等長線（曲線）の存在は、$ f $ と同値な写像を特定するために利用可能か？また、境界ダイナミクスとはどのように関係するか？
• RQ6 4つの後期的点をもつほぼユークリッド的でない写像に対しても、境界引き戻し写像 $ \sigma_f $ は適切に定義され、計算可能か？
• RQ7 $ \sigma_f $ は、動的平面およびモジュライ空間の構造を保存するか？そのような性質により、ねじれ写像の分類が可能か？

主な発見

• 本アルゴリズムは、4つの後期的点をもつ任意のサーストン写像に対して、ワイエル・ペトロフ境界値を正しく計算でき、ほぼユークリッド的写像にとどまらない範囲へと拡張された。
• $ f(z) = \frac{3z^2}{2z^3 + 1} $ に対して、境界引き戻し写像 $ \sigma_f $ は、$ \overline{\mathbb{Q}} $ にちょうど3点からなる有限なグローバルアトラクタを持つ。
• $ f \cdot \beta^2 $ は $ f $ とサーストン同値であることが示された。なぜなら、$ \sigma_{f \cdot \beta^2} $ が $ \frac{1}{1} $ に不動点を持ち、これは3次引き戻しによる等長線に対応するからである。
• $ f \cdot \beta $ は関連写像 $ g $ と同値である。なぜなら、$ \sigma_{f \cdot \beta} $ が $ \frac{0}{1}, \frac{1}{0}, -\frac{1}{1}, \frac{1}{1} $ を含む2周期点を持つからであり、これは異なるダイナミクス的構造を示している。
• $ f \cdot \alpha^{-1} $ および $ f \cdot \alpha^2\beta^{-1} $ は、それぞれ2つの異なる2周期点を境界引き戻しダイナミクスに持つため、$ f $ や $ g $ とは区別される。
• 置換群の高さ（レベル5での位数は約 $ 10^{80} $）にもかかわらず、$ \overline{\mathbb{Q}} $ 上での $ \sigma_f $ の動的挙動は、サーストン同値類を区別するための群の位数よりもはるかに効率的な不変量である。