[论文解读] Infinitesimal Thurston Rigidity and the Fatou-Shishikura Inequality

Adam Epstein|ArXiv.org|Feb 26, 1999

Mathematical Dynamics and Fractals参考文献 9被引用 35

一句话总结

本文提出了一种新的、非微扰的证明方法，用于证明精化版的 Fatou-Shishikura 不等式，其核心为无穷小 Thurston 刚性。该证明表明，动态权重 γ(f) 的总和（根据其动力类型以重数计数非排斥循环）被 δ(f) 所限制，其中 δ(f) 表示无限临界轨道尾部的数量——这一结果为超越映射提供了无需依赖次数的自然推广形式。

ABSTRACT

We prove a refinement of the Fatou-Shishikura Inequality - that the total count of nonrepelling cycles of a rational map is less than or equal to the number of independent infinite forward critical orbits - from a suitable application of Thurston's Rigidity Theorem - the injectivity of $I-f_*$ on spaces of meromorphic quadratic differentials.

研究动机与目标

• 通过无穷小微分动力学建立 Fatou-Shishikura 不等式的全新非微扰证明。
• 通过引入考虑循环类型与动力行为的动态权重 γ(f)，对经典非排斥循环计数进行精化。
• 用 δ(f)（即无限临界轨道尾部的数量）替代依赖于次数的界 2D−2，实现无次数依赖的界。
• 通过消除对次数的显式依赖，将不等式的适用范围扩展至超越映射。
• 利用亚纯二次微分与 ∇f 算子，统一并推广临界轨道关系与循环动力学的处理方式。

提出的方法

• 证明采用作用于亚纯二次微分上的线性算子 ∇f = I − f*，并在具有受控极点的合适微分子空间上证明其单射性。
• 引入具有至多单极点与有限动力剩余的微分空间 Q♭(f)，并分析该空间上 ∇f 的核。
• 通过在不变集上应用留数计算，推导出关键恒等式 ∫|q| − f*|q| = −2π Res(f:q)，将质量的解耦与动力剩余联系起来。
• 应用平衡原理：对 q ∈ ker ∇f，有 Dec(f:q) = 2π Res(f:q)，该式将 |q| 在 f* 作用下的总变差与循环处的剩余之和联系起来。
• 证明表明，若 ∇f q = 0 且 q ∈ Q♭(f)，则 Dec(f:q) = 0 且 Res(f:q) ≤ 0，除非 f 是 Lattès 映射，否则将导致矛盾。
• 通过矛盾论证排除了非 Lattès 映射存在非平凡 ∇f-核的可能性，从而证明了界 γ(f) ≤ δ(f)。

实验结果

研究问题

• RQ1 能否不依赖微扰方法，而通过二次微分的代数与分析性质，证明 Fatou-Shishikura 不等式？
• RQ2 对于非排斥循环，正确的动态权重 γ(f) 是什么？它应能推广经典界 2D−2 并适用于超越映射。
• RQ3 无限临界轨道尾部的数量 δ(f) 与非排斥循环的总动态权重之间有何关系？
• RQ4 无穷小 Thurston 刚性能否推广至允许周期循环上存在多个极点？此时留数携带何种动力学信息？
• RQ5 动力剩余 Res(f:q) 在控制 |q| 沿迭代的生长中起何作用？它与循环分类有何关联？

主要发现

• 精化版 Fatou-Shishikura 不等式已得证：γ(f) ≤ δ(f)，其中 γ(f) 为非排斥循环的加权和，δ(f) 为无限临界轨道尾部的数量。
• 保留了 δ(f) ≤ 2D−2 的界，但新形式消除了对次数 D 的显式依赖，从而可自然推广至超越映射。
• 通过基于二次微分的非微扰方法，避免了经典吸引循环的有限性定理。
• 平衡原理 ∫(|q| − f*|q|) = −2π Res(f:q) 作为证明中的关键恒等式被确立，将质量变化与动力剩余联系起来。
• 除非 f 是 Lattès 映射，否则 ∇f 在 Q♭(f) 上的核为平凡，这表明精化界对所有非 Lattès 有理映射均成立。
• 对循环 ⟨x⟩，其动态权重 γ⟨x⟩ 定义为：对抛物吸引或抛物中性循环为 ν+1，对抛物排斥循环为 ν，对吸引或无理中性循环为 1。