[논문 리뷰] Elements of Finite Order in the Group of Formal Power Series Under Composition

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

Advanced Combinatorial Mathematics참고 문헌 6인용 수 5

한 줄 요약

이 논문은 특성 0인 체 위에서 유한 조합 순서를 가진 모든 형식적 멱급수는 단위근 $\omega$에 대해 선형항 $\omega z$와 동치임을 증명한다. 임의의 원시 $n$제 단위근 $\omega$와 $n$의 배수 외의 지수에서의 임의의 계수를 고려할 때, 해당 급수가 순서 $n$을 가지도록 보장하는 유일한 $nj+1$ 지수에서의 계수 선택이 존재함을 보이며, 형식적 멱급수의 조합군 내에서 유한순서 원소의 완전한 특성화를 제공한다.

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$에 대해, $n$의 배수 외의 지수에서의 계수를 지정하고 $nj+1$ 지수에서의 계수를 해법하여 모든 형식적 멱급수를 구축하는 것.
• 형식적 멱급수군 내에서 유한순서 원소의 동치류의 대수적 구조를 명확히 하는 것.

제안 방법

• 상수항이 0이고 선형계수가 0이 아닌 형식적 멱급수의 군 $G[[z]]$를 정의하고, 조합에 대해 닫혀 있음을 보장한다.
• 유한순서 급수를 선형화하기 위해 공액자 $f^* = \frac{1}{n} \sum_{j=1}^n \omega^{n-j} f^{(j)}$를 도입한다.
• 모든 유한순서 급수 $f$가 선형항 $\ell_\omega(z) = \omega z$로 공액화됨을 증명한다.
• 귀납법과 계수의 순차적 매칭을 통해, $k \neq nj+1$에서의 계수를 사전에 지정할 경우, 순서 $n$을 달성하기 위해 $nj+1$ 지수에서의 계수에 대해 유일한 해가 존재함을 보인다.
• 유한순서 원소가 유계하나의 부분군을 생성함을 이용하여, 군 궤도 위에서 평균을 취해 형식적 공액성을 가능하게 한다.
• 클래식한 복소다양체 동역학 및 형식적 군론 결과, 특히 쇼르더의 방정식과 보흐너-마르틴의 형식적 공액성에 대한 연구와 연결한다.

실험 결과

연구 질문

• RQ1 형식적 멱급수가 유한조합 순서를 가질 때, 언제 선형항 $\omega z$와 동치가 되는가?
• RQ2 원시 $n$제 단위근 $\omega$가 주어졌을 때, 어떤 계수의 수열이 정확히 순서 $n$을 가지는 형식적 멱급수가 되는가?
• RQ3 지수 $n$의 배수와 합동이 아닌 경우의 계수 수열은, $nj+1$ 지수에서의 계수를 선택함으로써 항상 유한순서 급수로 확장할 수 있는가?
• RQ4 유한순서 형식적 멱급수의 공액류의 구조는 어떠한가? 그리고 이를 대수적으로 어떻게 매개변수화할 수 있는가?
• RQ5 형식적 공액성 결과는 복소다양체 동역학에서의 해석적 공액성과 어떻게 관련되어 있으며, 수렴이 실패할 경우의 제약은 무엇인가?

주요 결과

• 모든 유한순서 $n$을 가진 형식적 멱급수 $f(z) = \omega z + \sum_{k=2}^\infty a_k z^k$는 $f$의 반복을 평균화하는 공액자 $f^*$를 통해 선형항 $\ell_\omega(z) = \omega z$로 공액화됨을 보였다.
• 공액자 $f^*$는 명시적으로 $f^* = \frac{1}{n} \sum_{j=1}^n \omega^{n-j} f^{(j)}$로 구성되며, 이는 $G[[z]]$에 속한다.
• 임의의 원시 $n$제 단위근 $\omega$와 $k \neq nj+1$에서의 계수 $a_k$의 임의의 선택에 대해, $f(z) = \omega z + \sum_{k=2}^\infty a_k z^k$가 순서 $n$을 가지도록 보장하는 유일한 $a_{nj+1}$ 계수 선택이 존재한다.
• 이 구축 과정은 $n \geq 2$일지라도, $n$의 배수 외의 계수 선택의 자유도 덕분에 $\mathbb{C}$ 위에서 수렴하지 않는 유한순서 멱급수가 비가산적으로 존재함을 시사한다.
• 결과적으로, 유한순서 원소는 그 승수 $\omega$와 $nj+1$ 지수에서의 계수로 완전히 결정되며, 나머지 모든 계수는 자유 매개변수임을 확인한다.
• 논문은 수렴성이나 위상에 의존하지 않는 비해석적 대수적 증명을 통해 형식적 군론의 고전 문제를 해결하였다.