[论文解读] 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* 在 Julia 集 J 中稠密，从而确立了 J = J*。该结果通过结合遍历性闭合引理、全纯运动以及耗散与保守情形下的拟势理论技术，解决了长期悬而未决的开放问题，即表明鞍双曲性蕴含 Bedford 与 Smillie 意义下的完全双曲性。

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*）上具有统一双曲性，是否意味着整个 Julia 集 J 为双曲性的开放问题。
• 在鞍双曲性条件下建立 J = J*，从而确认 J* 上的双曲性蕴含 Bedford 与 Smillie 所定义的 Axiom A 及层状结构性质。
• 将此前在显著耗散条件下获得的部分结果（特别是 Jac(f) < d⁻² 的情形）推广至一般情形，包括保守映射。
• 为耗散与保守情形提供统一的证明策略，结合遍历理论、全纯运动与拟势理论。

提出的方法

• 采用反证法：假设 f 是耗散的，J* 上一致双曲，且 J* ≠ J。
• 应用先前工作中提出的遍历性闭合引理，证明存在某个 p ∈ J*，使得其稳定流形 W^s(p) 与 J− 的交集包含一个相对开的非平凡子集——这一现象在耗散动力系统中出乎意料。
• 利用 [BS6] 中关于 J− 的稳定截面结果及拟势理论工具，导出耗散情形下的矛盾。
• 对于保守情形，构造一个全纯族 (f_λ)，满足 f₀ = f，且在 0 附近参数处 f_λ 为耗散的。
• 利用 [DL] 中的全纯运动延拓定理，将 J* 的运动延拓至整个 K-集，同时保持与 J* 的不相交性。
• 通过证明某个耗散参数 f_λ₁ 必有吸引周期点，导出矛盾，从而否定 f₀ 的保守性。

实验结果

研究问题

• RQ1 在 C^2 上的多项式自同构中，若在鞍周期点集合（J*）上具有统一双曲性，是否意味着整个 Julia 集 J 为双曲性？
• RQ2 该结果是否可在不假设显著耗散或其他限制性条件的情况下建立 J = J*？
• RQ3 全纯运动与参数族在将耗散情形下的结果推广至保守情形中起到何种作用？
• RQ4 在 J* 上具有双曲性时，稳定流形与拟势理论结构如何相互作用？
• RQ5 能否从在可数稠密集 J* 上的双曲性推导出 J± 上的全局层状结构？

主要发现

• 主要结果表明：若 f 是 C^2 上具有非平凡动力系统的多项式自同构，且在 J* 上一致双曲，则 J = J*。
• 在耗散情形下，证明显示存在某个 p ∈ J*，使得 J− ∩ W^s(p) 包含一个相对开子集，这与显著耗散情形下的已知结果矛盾。
• 对于保守映射，矛盾通过全纯运动论证产生：K(f₀) \ J*(f₀) 中某点的存在性可延拓至附近耗散参数 f_λ 的 K(f_λ) \ J*(f_λ) 中，从而导致存在吸引周期点，与 f₀ 的保守性矛盾。
• 结果确认了鞍双曲性蕴含 Bedford 与 Smillie 意义下的完全双曲性，即 f 满足 Axiom A 条件，并在 J± 上具有层状结构。
• 该证明解决了长期悬而未决的开放问题，此前仅在显著耗散条件（Jac(f) < d⁻²）下部分解决。
• 本工作确立了在可数、动力定义的集合 J* 上的双曲性，足以推出全局双曲性及 Julia 集的完整动力结构。