[論文レビュー] Saddle hyperbolicity implies hyperbolicity for polynomial automorphisms of C^2

Romain Dujardin|arXiv (Cornell University)|Jun 28, 2018

Mathematical Dynamics and Fractals参考文献 6被引用数 3

ひとこと要約

本稿は、C^2 上の多項式自己同型に関して、鞍点周期点の集合（J*）上で一様な双曲的性質が成り立つならば、J* がジュリア集合 J に dense であることを証明し、したがって J = J* が成り立つことを示した。この結果は、ベッドフォードとスミルの意味での完全双曲的性質が鞍点双曲的性質によって導かれるという長年の未解決問題を解決したものであり、力学的閉じ込め補題、正則な動き、およびポテンシャル論的技法を、発散的および保存的両設定で組み合わせて用いることで達成された。

ABSTRACT

We prove that for a polynomial diffeomorphism of C^2, uniform hyperbolicity on the set of saddle periodic points implies that saddle points are dense in the Julia set. In particular f satisfies Smale's Axiom A on C^2 .

研究の動機と目的

• C^2 上の多項式自己同型において、鞍点周期点の集合（J*）上で一様双曲的性質が成り立つならば、ジュリア集合 J 全体が双曲的になるかどうかという未解決問題を解明すること。
• 鞍点双曲的性質のもとで J = J* が成り立つことを確立することで、ベッドフォードとスミルの Axiom A およびラミナール構造の性質が J* 上での双曲的性質によって保証されることを確認すること。
• 特に顕著な発散的条件のもとでの先行部分的結果を、一般の場合、すなわち保存的写像を含む場合へと拡張すること。
• 発散的および保存的両設定において、エルゴディック理論、正則な動き、およびポテンシャル論を統合した一貫した証明戦略を提示すること。

提案手法

• 背理法を用いる：f が発散的であり、J* 上で一様双曲的であり、かつ J* ≠ J であると仮定する。
• 先行研究におけるエルゴディック閉じ込め補題を適用し、ある p ∈ J* に対して、安定多様体 W^s(p) が J− と相対的に開で非自明な部分集合で交わることを示す——これは発散的力学系では予期しない現象である。
• J− の安定スライスに関する [BS6] の結果とポテンシャル論的道具を用いて、発散的状況での矛盾を導出する。
• 保存的状況では、f₀ = f を満たす正則族 (f_λ) を構成し、0 の近傍のパラメータでは f_λ が発散的であるようにする。
• 文献 [DL] の正則な動きの拡張定理を用い、J* の動きを K 集全体に拡張し、J* から離散的であることを保つ。
• 矛盾を導く：ある発散的パラメータ f_λ₁ が吸引的周期点を持つことになり、f₀ が保存的であることに反する。

実験結果

リサーチクエスチョン

• RQ1 C^2 上の多項式自己同型において、鞍点周期点の集合（J*）上で一様双曲的性質が成り立つならば、ジュリア集合 J 全体が双曲的になるか？
• RQ2 顕著な発散的条件やその他の制限的仮定を課さずに、J = J* が成り立つかどうかを示せるか？
• RQ3 正則な動きとパラメータ族は、発散的から保存的へと結果を拡張する際に果たす役割は何か？
• RQ4 J* 上での双曲的性質のもとで、安定多様体とポテンシャル論的構造はどのように相互作用するか？
• RQ5 可算的かつ動的に定義された集合 J* 上での双曲的性質から、J± 上のグローバルなラミナール構造を導けるか？

主な発見

• 主たる結果として、f が C^2 上の多項式自己同型で非自明な力学的性質をもち、かつ J* 上で一様双曲的であるならば、J = J* が成り立つことが示された。
• 発散的状況では、J− ∩ W^s(p) がある p ∈ J* に対して相対的に開な部分集合を含むことが示され、これは顕著な発散的領域における既知の結果と矛盾する。
• 保存的写像では、矛盾は正則な動きの議論によって生じる：K(f₀) \ J*(f₀) に属する点の存在が、近傍の発散的 f_λ において K(f_λ) \ J*(f_λ) に属する点へと拡張され、これは吸引的周期点の存在を意味し、f₀ が保存的であることに反する。
• この結果により、鞍点双曲的性質がベッドフォードとスミルの意味での完全双曲的性質を意味すること、つまり f が Axiom A を満たし、J± にラミナール構造を持つことが確認された。
• この証明は、長年の未解決問題を解消したものであり、かつては顕著な発散的条件（Jac(f) < d⁻²）のもとでの部分的結果に限られていた。
• 可算的かつ動的に定義された集合 J* 上での双曲的性質が、ジュリア集合のグローバルな双曲的性質および完全な力学的構造を導くのに十分であることが確立された。