[论文解读] Sur la structure des ensembles de Fatou p-adiques

Juan Rivera‐Letelier|ArXiv.org|Dec 8, 2004

Mathematical Dynamics and Fractals参考文献 8被引用 11

一句话总结

该论文通过引入‘解析分支’——一种在完全不连通的 $p$-进射影直线中替代连通分支的工具——建立了 $p$-进 Fatou 集中周期分支的动力分类。证明了 $p$-进 Fatou 集的每个周期分支要么是立即吸引域，要么是拟周期域的分支，通过新颖的紧致仿射集与有理映射下的不变动力学框架，将经典复动力系统的二分法推广至 $p$-进设置。

ABSTRACT

A classification of the periodic components of the Fatou set of $p$-adic rational maps. Each such periodic component is either an immediate attracting basin or an open affinoid, where the dynamics is quasi-periodic (the $p$-adic analogues of Siegel discs and Herman rings.) The main tool is a fixed point theorem for connected subsets of Berkovich's projective line (or p-adic hyperbolic space).

研究动机与目标

• 为解决 $\mathbb{P}(\mathbb{C}_p)$ 的完全不连通性导致的连通分支缺失问题。
• 基于开紧致仿射集，定义连通分支的合适替代物——解析分支。
• 对 $p$-进 Fatou 集的周期分支进行分类，与复情况相呼应。
• 证明所有周期分支均为立即吸引域或拟周期域的分支。
• 支持非逃逸猜想：所有 Fatou 分支均为预周期的，意味着在 $p$-进设置中不存在游荡分支。

提出的方法

• 引入‘解析分支’作为 Fatou 集内开紧致仿射集的并集，以替代连通分支。
• 将 Fatou 集的一个分支定义为满足 $\bigcup_{n \geq 0} R^n(X)$ 在 $\mathbb{P}(\mathbb{C}_p)$ 中至少避开三个点的开紧致仿射集 $X \subset F(R)$ 的并集。
• 应用 $\mathbb{P}(\mathbb{C}_p)$ 中紧致仿射集及其在有理映射下的动力学理论。
• 利用 chordal 度量以及 L.C. Hsia 建立的 $R^n$ 在 Fatou 分支上的一致利普希茨连续性。
• 运用一个关键引理：在边界处次数 ≥2 的有理映射下，环形区域的模长增加。
• 依赖于有理函数在环形区域中无零点或极点的结构，表明 $|R(z)| = a|z|^d$，且像环形区域严格扩张，当 $d \geq 2$ 时。

实验结果

研究问题

• RQ1 尽管缺乏连通分支，是否能在 $p$-进动力系统中建立周期分支的有意义分类？
• RQ2 是否所有 $p$-进 Fatou 集的周期分支均为立即吸引域或拟周期域的分支？
• RQ3 $p$-进 Fatou 集中是否存在游荡分支，其结果是否类似于复动力系统中的 Sullivan 定理？
• RQ4 在边界处次数 ≥2 的有理映射迭代下，环形区域的模长如何演化？
• RQ5 能否利用有理映射在紧致仿射集上的动力学对 $\mathbb{P}(\mathbb{C}_p)$ 中的 Fatou 分支进行分类？

主要发现

• 每个 $p$-进 Fatou 集的周期分支要么是立即吸引域，要么是拟周期域的分支，建立了 $p$-进情形下对复动力系统分类的类比。
• 当边界处的次数至少为二时，映射 $R$ 下像环形区域 $C'$ 的模长满足 $\mathrm{mod}(C') \geq \mathrm{mod}(C) + \min\{m, \mathrm{mod}(C)\}$，其中 $m > 0$ 为与 $r$ 无关的常数。
• 若 $R$ 在环形区域 $\{r_1 < |z| < r_0\}$ 中无零点或极点，则 $|R(z)| = a|z|^d$，且 $R$ 将该区域映射到另一环形区域 $\{a r_1^d < |z| < a r_0^d\}$。
• 边界分支在 $R$ 下的像映射到像环形区域的边界，确保动力系统保持环形结构与模长增长。
• 证明表明，若 $R(C_0)$ 包含像 Fatou 集的一个分支，且 $R$ 在边界处次数 ≥2，则模长至少增加 $\min\{m, \mathrm{mod}(C)\}$。
• 非逃逸猜想——即所有 Fatou 分支均为预周期的——与分类结果等价，意味着在 $p$-进设置中不存在游荡分支。