[論文レビュー] On deformation spaces of quadratic rational maps

Tanya Firsova, Jeremy Kahn+1 more|arXiv (Cornell University)|Jun 2, 2016

Mathematical Dynamics and Fractals参考文献 7被引用数 4

ひとこと要約

本稿は、二次有理写像の変形空間の位相的構造を調査し、自己同値写像と、これらの空間が収縮可能でない条件に焦点を当てる。$\mathrm{Per}'_n$族に属する写像について、$n \geq 4$ のとき、変形空間は収縮可能でないことが示され、A. Epsteinが提起した変形空間の収縮可能性に関する疑問が解決された。

ABSTRACT

We study the group of self-equivalences of a partially postcritically finite branched cover and answer a question of Adam Epstein about contractibility of certain deformation spaces of rational maps.

研究の動機と目的

• 複素力学における部分的に臨界的有限な分岐被覆に関連する変形空間の位相的性質を研究すること。
• そのような変形空間の自己同値写像の群を定義・分析し、写像類群における中心化子の一般化を行うこと。
• 算術的に等化するマルチカーブを用いて、変形空間が拡張テイコフラー空間内のストラトムに蓄積する条件を特定すること。
• A. Epsteinが提起した「変形空間は収縮可能か？」という疑問に答え、明示的な非収縮可能例を構成することで解決すること。
• $\mathrm{Per}'_4$の場合における等化および算術的に等化するマルチカーブの完全分類を行い、さらなる解析の基盤を提供すること。

提案手法

• 著者たちは、分岐被覆によって誘導されるテイコフラー空間上の引き戻し写像を用いて変形空間を定義し、Thurstonのアプローチを臨界的有限写像に一般化する。
• 障害付きの設定におけるThurston不変マルチカーブの類似物として、等化および算術的に等化するマルチカーブの概念を導入する。
• Thurston行列と忘却行列の形式的記法を用い、曲線のホモトピー類への写像の作用を分析することで、算術的に等化する性質を検出する。
• 本稿では基準を確立する：$f^*\mathcal{S}_\Gamma = i_*\mathcal{S}_\Gamma$ が成り立つのは、$\Gamma$ が等化マルチカーブであるとき、かつそのときに限る。
• 変形空間がストラトム $\mathcal{S}_\Gamma$ に蓄積するならば、ある $\tilde{\Gamma} \subset \Gamma$ が算術的に等化するマルチカーブであることを証明する。
• 著者たちは、$n \geq 4$ の $\mathrm{Per}'_n$族において、曲線のダイナミクスと行列解析を用いて、非収縮可能な明示的例を構成する。

実験結果

リサーチクエスチョン

• RQ1 二次有理写像の変形空間がいつ非収縮可能となるか？
• RQ2 算術的に等化するマルチカーブは、拡張テイコフラー空間内のストラトムへの変形空間の蓄積とどのように関係するか？
• RQ3 自己同値写像は変形空間において果たす役割は何か？また、算術的に等化するマルチカーブとどのように関連するか？
• RQ4 後期臨界的有限な有理写像の変形空間は、収縮可能でない場合があるか？そのような場合、力学的条件下ではどのような条件が成立するか？
• RQ5 $\mathrm{Per}'_4$ 変形空間における等化および算術的に等化するマルチカーブの完全分類は何か？

主な発見

• A. Epsteinの収縮可能性に関する疑問に対して否定的解答を与えるために、$n \geq 4$ におけるある $f \in \mathrm{Per}'_n$ に対して、変形空間 $\mathrm{Def}(f,A,B)$ は収縮可能でないことが示された。
• 変形空間が拡張テイコフラー空間内のストラトム $\mathcal{S}_\Gamma$ に蓄積するための必要十分条件は、$\Gamma$ の部分マルチカーブ $\tilde{\Gamma} \subset \Gamma$ が算術的に等化するマルチカーブである存在である。
• 各算術的に等化するマルチカーブは、変形空間の非自明な自己同値写像を生成する。これは中心化子の概念を一般化するものである。
• ケース（10）および（11）におけるマルチカーブ $\gamma$ と $\delta$ は算術的に等化するが、それぞれの点 1 および 0 の像に対応し、Thurston行列 $T = (1,0)$ および忘却行列 $A = (0,1)$ を持つ。
• ケース（12a）では、マルチカーブ $(\gamma,\delta)$ は等化するが算術的に等化はしない。$f^*([\delta]) = [\gamma_2]$ かつ $i_*([\delta]) = [\gamma_2]$ であり、$T = (1,1)$ および $A = (0,1)$ である。
• ケース（13）では、$\gamma$ は算術的に等化するが $\delta$ はそうではない。$T = (1,1/2)$ および $A = (1,1)$ であり、全マルチカーブが算術的に等化しない中で、算術的に等化する曲線が存在しうることを示している。