[论文解读] Elements of Finite Order in the Group of Formal Power Series Under Composition

Marshall M. Cohen|arXiv (Cornell University)|Mar 30, 2018

Advanced Combinatorial Mathematics参考文献 6被引用 5

一句话总结

该论文证明了在特征为零的域上，任意有限复合阶的正式幂级数都共轭于其线性项 $\omega z$，其中 $\omega$ 是单位根。论文进一步证明，对于任意本原 $n$ 次单位根 $\omega$ 及任意非 $n$ 的倍数次幂的系数，存在唯一一组在 $nj+1$ 次幂处的系数选择，使得所得级数的阶恰好为 $n$，从而完整刻画了正式幂级数复合群中有限阶元素的结构。

ABSTRACT

We consider formal power series $f(z) = ωz + a_2z^2 + \ldots \ (ω eq 0)$, with coefficients in a field of characteristic $0$. These form a group under the operation of composition (= substitution). We prove (Theorem 1) that every element $f(z)$ of finite order is conjugate to its linear term $\ell_ω(z) = ωz$, and we characterize those elements which conjugate $f(z)$ to $ωz$. Then we investigate the construction of elements of order $n$ and prove (Theorem 2) that, given a primitive $n$'th root of unity $ω$ and an arbitrary sequence $\{a_k\}_{k eq nj+1}$ there is a unique sequence $\{a_{nj + 1}\}_{j=1}^\infty$ such that the series $f(z) = ωz + a_2z^2 + a_3z^3 + \ldots$ has order $n$. Sections 1 - 5 give an exposition of this classical subject, written for the 2005 - 2006 Morgan State University Combinatorics Seminar. We do not claim priority for these results in this classical field, though perhaps the proof of Theorem 2 is new. We have now (2018) added Section 6 which gives references to valuable articles in the literature and historical comments which, however incomplete, we hope will give proper credit to those who have preceded this note and be helpful and of interest to the reader.

研究动机与目标

• 分类在复合运算下具有有限复合阶的正式幂级数元素。
• 确定有限阶正式幂级数共轭于其线性部分 $\omega z$ 的条件。
• 通过指定非 $n$ 的倍数次幂的系数并求解 $nj+1$ 次幂处的系数，构造所有给定有限阶 $n$ 的正式幂级数。
• 阐明正式幂级数群中有限阶元素的共轭类的代数结构。

提出的方法

• 定义具有零常数项和非零线性系数的正式幂级数群 $G[[z]]$，其在复合运算下封闭。
• 引入共轭变换算子 $f^* = \frac{1}{n} \sum_{j=1}^n \omega^{n-j} f^{(j)}$，以线性化有限阶级数。
• 证明 $f^*$ 将任意有限阶级数 $f$ 共轭于其线性部分 $\ell_\omega(z) = \omega z$。
• 通过归纳法与递推系数匹配，证明：对于任意给定的 $k \neq nj+1$ 处的系数，存在唯一解使得 $nj+1$ 处的系数满足阶为 $n$ 的条件。
• 利用有限阶元素生成有界子群的性质，通过群轨道上的平均化实现形式共轭。
• 将结果与复动力系统和形式群论中的经典结论相联系，特别是 Sroeder 方程及 Bochner-Martin 关于形式共轭的工作。

实验结果

研究问题

• RQ1 在何种条件下，有限复合阶的正式幂级数共轭于其线性部分 $\omega z$？
• RQ2 给定一个本原 $n$ 次单位根 $\omega$，哪些系数序列能生成阶恰好为 $n$ 的正式幂级数？
• RQ3 能否通过选择 $nj+1$ 次幂处的系数，将任意给定的非模 $n$ 余 1 的系数序列扩展为一个有限阶级数？
• RQ4 有限阶正式幂级数的共轭类具有何种结构？其代数参数化方式为何？
• RQ5 形式共轭结果与复动力系统中的解析共轭有何关系？当级数不收敛时，其局限性如何？

主要发现

• 每个有限阶 $n$ 的正式幂级数 $f(z) = \omega z + \sum_{k=2}^\infty a_k z^k$ 都可通过共轭变换 $f^*$ 共轭于 $\ell_\omega(z) = \omega z$，其中 $f^*$ 为 $f$ 的迭代平均。
• 共轭变换 $f^*$ 显式构造为 $f^* = \frac{1}{n} \sum_{j=1}^n \omega^{n-j} f^{(j)}$，且属于 $G[[z]]$。
• 对于任意本原 $n$ 次单位根 $\omega$ 及任意给定的 $a_k$（$k \neq nj+1$），存在唯一一组 $a_{nj+1}$ 的选择，使得 $f(z) = \omega z + \sum_{k=2}^\infty a_k z^k$ 的阶恰好为 $n$。
• 该构造表明，在 $\mathbb{C}$ 上存在不可数无穷多个不收敛的有限阶 $n$ 的正式幂级数，即使当 $n \geq 2$ 时，这是由于非 $n$ 的倍数次幂系数的自由选择所致。
• 结果确认，有限阶元素完全由其乘子 $\omega$ 和 $nj+1$ 次幂处的系数决定，其余所有系数均为自由参数。
• 该论文通过一种代数的、非解析的证明方法，解决了形式群论中的一个经典问题，即不依赖收敛性或拓扑结构，证明了共轭于线性项的结论。