[논문 리뷰] Irreducibility and postcritically finite unicritical polynomials

Xavier Buff, Adam Epstein외 1명|arXiv (Cornell University)|2018. 06. 28.

Mathematical Dynamics and Fractals참고 문헌 3인용 수 2

한 줄 요약

이 논문은 Goksel의 결과를 단일临界 다항식 $ f_a(z) = az^D + 1 $에 대해 일반화하고 새롭게 증명하며, $ D = p^e $ (소수 거듭제곱)일 때, $ z=0 $에 대해 전기주기 궤도가 주기 1 또는 2인 매개변수들이 갈로아 쌍대성을 가짐을 보여준다. 이 결과는 $ D=2 $인 경우 주기 3로까지 확장되었으며, 이는 이전의 소수 차수에 대한 연구를 일반화한다.

ABSTRACT

Fix $D\geq 2$ and consider the unicritical polynomial $f_a:\mathbb C o \mathbb C$ defined by $f_a(z) = az^D+1$. We say that $0$ is (pre)periodic under iteration of $f_a$ if $f_a^{\circ (k+n)}(0) = f_a^{\circ k}(0)$ for some integers $k\geq 0$ and $n\geq 1$. If $k$ and $n$ are minimal, then $k$ is the preperiod and $n$ is the period. Recently, Goksel proved that if $D$ is prime, then two parameters $a_1\in \mathbb C$ and $a_2\in \mathbb C$ for which $0$ is preperiodic with period $1$ and with the same preperiod $k\geq 2$ are Galois conjugate; he also proved that when $D=2$, the result extends to the case of period $2$. We give a new proof of this result and extend it to the case of periods $1$ and $2$ for arbitrary prime power degrees, i.e., $D= p^e$ for some prime $p$. We also extend the result to the case of period $3$ in degree $D=2$.

연구 동기 및 목표

• 단일临계 다항식에서 전기주기 궤도를 가진 매개변수의 갈로아 쌍대성 결과를 Goksel의 결과에서 고차 소수 거듭제곱 차수로 일반화하기 위해.
• $ D = 2 $인 경우 주기 1과 2에서 주기 3으로의 쌍대성 결과를 확장하기 위해.
• 기존 결과에 대해 새로운 증명을 제시하여 명확성과 일반성을 향상시키기 위해.
• $ f_a(z) = az^D + 1 $에서 $ 0 $이 전기주기일 경우 $ a eq 0 $인 매개변수의 대수적 구조를 규명하기 위해.

제안 방법

• $ f_a(z) = az^D + 1 $에서 $ 0 $이 전기주기일 경우 $ a eq 0 $인 매개변수에 대한 갈로아 작용을 분석하기 위해 대수적 수론 기법을 사용하기 위해.
• 역행렬 궤도의 특성을 다루기 위해 동역학 시스템 기법을 적용하여, 반복에서의 전기주기와 주기를 집중적으로 연구하기 위해.
• 반복된 임계 궤도의 구조를 활용하여 매개변수 $ a $가 만족하는 대수적 관계를 유도하기 위해.
• 체의 추적과 판별식을 활용하여 동일한 전기주기와 주기를 가진 매개변수들이 갈로아 쌍대성을 가짐을 증명하기 위해.
• 소수 차수에서 소수 거듭제곱 차수 $ D = p^e $로의 분석을 확장하기 위해, 동역학적 성질에 기반한 귀납적 및 구조적 추론을 사용하기 위해.
• $ D=2 $에서 주기 3의 경우를 직접 계산하고, 유도된 대수적 수에 대한 갈로아 이론적 분석을 통해 검증하기 위해.

실험 결과

연구 질문

• RQ1 $ D = p^e $일 때, $ 0 $이 전기주기이고 전기주기와 주기가 $ n=1 $인 매개변수 $ a_1, a_2 eq 0 $는 반드시 갈로아 쌍대인가?
• RQ2 주기 $ n=2 $에 대한 갈로아 쌍대성 결과가 소수 차수에서 소수 거듭제곱 차수 $ D = p^e $로 확장되는가?
• RQ3 $ D=2 $인 경우 주기 $ n=3 $로 갈로아 쌍대성 결과를 확장할 수 있는가?
• RQ4 $ f_a(z) = az^D + 1 $에서 $ 0 $이 전기주기일 경우 매개변수 $ a $의 집합이 지닌 대수적 구조는 무엇인가?
• RQ5 갈로아 군은 이러한 매개변수 집합에 어떻게 작용하며, 그들의 쌍대성을 결정하는 불변량은 무엇인가?

주요 결과

• $ D = p^e $일 때, 전기주기 $ k eq 0 $와 주기 $ n=1 $이 같은 매개변수 $ a_1, a_2 eq 0 $는 갈로아 쌍대이다.
• 주기 $ n=2 $에 대한 갈로아 쌍대성 결과는 모든 소수 거듭제곱 차수 $ D = p^e $에 대해 성립하며, Goksel의 원래 결과(소수 $ D $에 대해)를 일반화한다.
• $ D=2 $인 경우 주기 $ n=3 $로 결과가 확장되었으며, 이러한 매개변수들 역시 갈로아 쌍대임을 보였다.
• 원래 결과에 대해 새로운 증명이 제시되었으며, 이는 더 명확하고 더 광범위하게 적용 가능한 결과를 제공한다.
• 전기주기 매개변수에 대응하는 대수적 정수들은 전기주기와 주기가 고정되어 있을 경우 갈로아 쌍대임을 보였다.
• 소수 거듭제곱 차수의 단일临계 다항식의 동역학은 강력한 산술적 제약을 보이며, 이는 전기주기 매개변수의 갈로아 구조에 반영된다.