[论文解读] On a group associated to $z^2-1$

Laurent Bartholdi, Rostislav Grigorchuk|ArXiv.org|Mar 23, 2002

Geometric and Algebraic Topology参考文献 5被引用 3

一句话总结

本文构建了与二次多项式 $f(z) = z^2 - 1$ 相关的迭代单值群 $G$，表明其在二叉根树上作用，并揭示了群论、动力系统与几何之间的深刻联系。关键结果是 $G$ 的施雷耶图在豪斯多夫度量下收敛于 $f(z) = z^2 - 1$ 的朱利亚集，从而建立了群论对象与复动力系统之间的直接联系。

ABSTRACT

We construct a group acting on a binary rooted tree; this discrete group mimics the monodromy action of iterates of $f(z)=z^2-1$ on associated coverings of the Riemann sphere. We then derive some algebraic properties of the group, and describe for that specific example the connection between group theory, geometry and dynamics. The most striking is probably that the quotient Cayley graphs of the group (aka ``Schreier graphs'') converge to the Julia set of $f$.

研究动机与目标

• 通过覆盖空间理论和树自同构，定义并研究与有理函数 $f(z) = z^2 - 1$ 相关的迭代单值群 $G$。
• 确立 $G$ 的代数性质，包括其弱分支结构、无挠性以及增长类型。
• 探讨 $G$ 的正则表示的谱性质，并将其与 $f(z)$ 的动力学联系起来。
• 证明 $G$ 的施雷耶图在豪斯多夫度量下收敛于 $f(z) = z^2 - 1$ 的朱利亚集。
• 提供 $G$ 的完整展示，并分析其商结构与上同调性质。

提出的方法

• 通过在三倍穿孔球面 $\mathbb{C} \setminus \{0,1,\infty\}$ 中基点的逆迭代上的单值作用，将迭代单值群 $G = G(f)$ 构造为二元正则根树自同构的子群。
• 使用毛毯积展示描述 $G$，通过生成元 $a$ 和 $b$ 表示，其中 $a = \langle b,1 \rangle (1,2)$ 且 $b = \langle a,1 \rangle$，编码子树上的自相似作用。
• 利用递推关系和施雷耶图 $\mathfrak{G}_n$ 的递归构造（在 $2^n$ 个顶点上）分析群结构，图中边由 $a$ 和 $b$ 标记。
• 通过递归多项式系统 $Q_{n+1}(\lambda,\mu,\nu) = Q_n(F(\lambda,\mu,\nu))$ 推导 $L^2(\partial T)$ 上正则表示 $\pi$ 的谱，其中 $F(\lambda,\mu,\nu) = (\lambda^2 + 2\lambda\nu - 2\mu^2, \lambda\nu + 2\nu^2, -\mu^2)$。
• 证明 $\pi$ 的谱是直线 $\mu = \nu = -1/4$ 与 $F$ 下 $\{Q_1 = 0\}$ 的逆轨道闭包的交集。
• 利用平面嵌入和双曲动力系统的结果，证明施雷耶图 $\mathfrak{G}_n$ 收敛于 $z^2 - 1$ 的朱利亚集 $\mathfrak{J}$。

实验结果

研究问题

• RQ1 如何通过自相似树自同构显式构造并描述 $f(z) = z^2 - 1$ 的迭代单值群？
• RQ2 该群的代数性质是什么，例如其增长、无挠性以及商群的可解性？
• RQ3 该群正则表示的谱如何与 $f(z)$ 的动力学相关？
• RQ4 该群的施雷耶图能否在复平面上嵌入，使得它们收敛于 $f(z)$ 的朱利亚集？
• RQ5 该群的上同调（特别是其第二上同调）与其动力结构之间存在何种关系？

主要发现

• 该群 $G$ 是弱分支群，意味着它包含一个非平凡正规子群，且在树的每一层上均非平凡作用。
• 该群 $G$ 是无挠群，即没有非单位元具有有限阶。
• 该群 $G$ 包含一个秩为 2 的自由幺半群，暗示其具有指数增长，但不包含任何非交换自由群。
• 每个真商群均为（自由阿贝尔群）-by-（有限 2-群），且 $G$ 本身不可解。
• 该群具有一个关系为 $[[a^p, b^p], b^p]$ 和 $[[b^p, a^{2p}], a^{2p}]$ 的展示，其中 $p$ 为 2 的幂。
• 施雷耶图 $\mathfrak{G}_n$ 在豪斯多夫度量下收敛于 $z^2 - 1$ 的朱利亚集 $\mathfrak{J}$，且它们是平面图，其递归结构基于 $2^k$ 边形与子树。