[论文解读] Polynomial automorphisms of C^n preserving the Markoff-Hurwitz polynomial

Hengnan Hu, Ser Peow Tan+1 more|arXiv (Cornell University)|Jan 27, 2015

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

一句话总结

本文确定了 ℂⁿ（n ≥ 3）上保持 Markoff-Hurwitz 多项式 H(x) = Σxᵢ² - x₁x₂⋯xₙ 的所有多项式自同构群，证明其为 Hurwitz 移动生成的群 Γₙ 与线性对称群 Λ（置换与偶数个符号变化）的半直积。此外，本文还构造了该群作用的一个非空开不连续域，并利用 Fibonacci 增长估计推导出该域内轨道的精确恒等式。

ABSTRACT

We study the action of the group of polynomial automorphisms of C^n (n>2) which preserve the Markoff-Hurwitz polynomial H(x):= x_1^2 + x_2^2 + ... + x_n^2 - x_1 x_2 ... x_n. Our main results include the determination of the group, the description of a non-empty open subset of C^n on which the group acts properly discontinuously (domain of discontinuity), and identities for the orbit of points in the domain of discontinuity.

研究动机与目标

• 确定 ℂⁿ（n ≥ 3）上保持 Markoff-Hurwitz 多项式 H(x) = Σxᵢ² - x₁x₂⋯xₙ 的完整多项式自同构群。
• 描述 ℂⁿ 中一个非空开子集，使得该群在其上作用为真不连续，即所谓的不连续域。
• 利用关联树中交替测地线上的增长估计，推导出该不连续域内点的轨道的精确恒等式。

提出的方法

• 证明自同构群为半直积 Γₙ ⋊ Λ，其中 Γₙ 由 Hurwitz 移动（bₙ）生成，Λ 为置换与偶数个符号变化的群。
• 基于根树与有向树的组合框架被建立，以建模群作用的动力学行为。
• 利用 Bowditch 条件构造不连续域 𝒟，确保轨道远离奇点。
• 使用 Fibonacci 增长估计来控制树结构中交替测地线上坐标的增长，从而保证无穷级数的收敛性。
• 在有向边上定义权重函数 ψ(𝐞) 以度量增长，并证明其与词长 h(ϕ(γ)) 满足精确的渐近关系。
• 通过自同构的次数进行归纳，证明任一此类自同构均可由基本生成元的复合得到，利用多项式恒等式 H(Θ(x)) = H(x) 中的次数相消。

实验结果

研究问题

• RQ1 对于 n ≥ 3，保持 ℂⁿ 上 Markoff-Hurwitz 多项式 H(x) = Σxᵢ² - x₁x₂⋯xₙ 的完整多项式自同构群是什么？
• RQ2 能否在 ℂⁿ 中识别出一个非空开子集，使得该群在其上作用为真不连续？
• RQ3 哪些精确恒等式控制该不连续域中点的轨道？这些恒等式如何从几何与组合结构中推导得出？

主要发现

• 保持 Markoff-Hurwitz 多项式的多项式自同构群为半直积 Γₙ ⋊ Λ，其中 Γₙ 由 Hurwitz 移动生成，Λ 为置换与偶数个符号变化的群。
• 利用 Bowditch 条件显式构造了 ℂⁿ 中一个非空开不连续域 𝒟，确保群作用为真不连续。
• 不连续域中的轨道满足由树结构中边上的 Fibonacci-增长估计所导出的无穷级数收敛性所决定的精确恒等式。
• 有向边上的权重函数 ψ(𝐞) 满足渐近关系 |ψ(𝐞) - ½h(ϕ(γ))| ≤ C（C 为某常数），将几何增长与词长联系起来。
• 对多项式自同构的次数分析表明 rₙ = Σᵢ₌₁ⁿ⁻¹ rᵢ，且首项满足 Rₙ⁽ʳⁿ⁾ = Πᵢ₌₁ⁿ⁻¹ Rᵢ⁽ʳⁱ⁾，从而实现将自同构归纳约化为基本生成元。
• 群 Γₙ 在完整自同构群中为正规子群，且完整群同构于 Γₙ ⋊ Λ，Γₙ 与 Λ 的交集为平凡。