[논문 리뷰] Misiurewicz Points for Polynomial Maps and Transversality

Benjamin Hutz, Adam Towsley|arXiv (Cornell University)|2013. 09. 16.

Mathematics and Applications참고 문헌 19인용 수 9

한 줄 요약

이 논문은 일반화된 다이나토믹 다항식을 사용하여, 임의의 임계점이 엄밀히 전주기 궤도를 가지는 유니크리티컬 및 바이크리티컬 쿠빅 다항식의 매개변수인 미지우레비치 점에 대한 명시적 대수적 공식을 제공한다. 이러한 매개변수들이 단순 근을 가지는 특수하게 구성된 다항식의 근임을 증명하고, 복소수 매개변수에 대해 횡단성(transversality)을 증명하며, 양의 특성에서의 횡단성 실패는 판별식과 분기론을 통해 분석한다.

ABSTRACT

The behavior under iteration of the critical points of polynomial maps plays an essential role in understanding its dynamics. We study the special case where the forward orbits of the critical points are finite. Thurston's theorem tells us that fixing a particular critical portrait and degree leads to only finitely may possible polynomials (up to equivalence) and that, in many cases, their defining equations intersect transversely. We provide explicit algebraic formulae for the parameters where the critical points of the unicritical polynomials and bicritical cubic polynomials have a specified exact period. We pay particular attention to the parameters where the critical orbits are strictly preperiodic, called Misiurewicz points. Our main tool is the generalized dynatomic polynomial. We also study the discriminants of these polynomials to examine the failure of transversality in positive characteristic for unicritical polynomials.

연구 동기 및 목표

• 지정된 임계 궤도 포트레이트를 가진 모든 후행 임계점이 유한한 유니크리티컬 및 쿠빅 바이크리티컬 다항식을 구성하기.
• 임계점이 정확한 전주기 궤도를 가지는 매개변수(미지우레비치 점)에 대한 명시적 대수적 공식 제공하기.
• 복소수에서의 미지우레비치 다양체 정의 방정식에 대한 횡단성 증명하기.
• 양의 특성에서의 횡단성 실패를 매개변수 다항식의 판별식을 사용하여 분석하기.
• 횡단성 실패와 동역학적 만-무프라 문제, 수체계에서의 분기론 간의 연결 고리 설정하기.

제안 방법

• 과도한 수를 방지하기 위해 정규화를 통해 조정하는 일반화된 다이나토믹 다항식 $ \Phi^{ ext{ast}}_{f,m,n}(z) $ 를 사용하여 정확한 주기 $ (m,n) $ 를 가지는 점을 분리한다.
• 유니크리티컬 맵 $ f_{d,c}(z) = z^d + c $ 에 대해, 임계점 0이 정확한 주기 $ (m,n) $ 를 가지는 미지우레비치 매개변수를 정확히 가지는 다항식 $ G_d(m,n) $ 를 정의한다.
• 바이크리티컬 쿠빅 $ g_{a,v}(z) = z^3 - 3a^2z + (2a^3 + v) $ 에 대해, $ \pm a $ 가 각각 정확한 주기 $ (m_1,n_1) $ 과 $ (m_2,n_2) $ 를 가지는 매개변수를 분리하는 다항식 $ T(m,n,z) $ 를 구성한다.
• 포함-배제 원리를 통해 정확한 주기 조건을 확보하기 위해 다이나토믹 다항식 정의에 모비우스 함수 $ \mu $ 를 적용한다.
• 매개변수 다항식 $ G_d(m,n) $ 의 판별식을 분석하여, 양의 특성에서 횡단성이 실패하는 소수 $ p>0 $ 를 탐지한다.
• 대수기하학과 수체계 이론을 활용하여, $ G_d(m,n) $ 의 판별식의 $ p $-진 값과 그 다항식의 분해체에서의 분기론 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 임계점 $ 0 $ 이 정확한 전주기 궤도를 가지는 다항식 $ f_{d,c}(z) = z^d + c $ 의 매개변수 $ c $ 에 대한 명시적 대수적 공식은 무엇인가요?
• RQ2 임계 궤도 포트레이트가 지정된 바이크리티컬 쿠빅 맵 $ g_{a,v}(z) $ 에 대해, 정확히 해당 미지우레비치 매개변수를 근으로 가지는 다항식을 어떻게 구성할 수 있는가요?
• RQ3 양의 특성에서, 유니크리티컬 다항식 $ z^d + c $ 의 매개변수 공간에서 횡단성이 실패하는 소수 $ p>0 $ 는 무엇이며, 이는 미지우레비치 다항식의 판별식과 어떻게 관련이 있는가요?
• RQ4 양의 특성에서의 횡단성 실패는 동역학적 만-무프라 문제와 어떻게 연결되는가요?
• RQ5 다항식 $ G_d(m,n) $ 의 근들로 생성된 수체계에서의 분기론은 그 판별식에 포함된 소수 $ p $ 의 거듭제곱과 어떻게 관련이 있는가요?

주요 결과

• 정의된 다항식 $ G_d(m,n) $ 는 $ \Phi^{ ext{ast}}_{f,m,n}(0) $ 또는 $ \Phi^{ ext{ast}}_{f,0,n}(0)^{d-1} $ 으로 정규화된 것으로, 정확히 해당 미지우레비치 매개변수 $ c $ 를 근으로 가지며, 모든 근은 단순하다.
• 유니크리티컬 가속도 $ z^d + c $ 에서, 미지우레비치 매개변수는 코로나리에 3.4에 의해 정수로 나타남을 보였다.
• 정확한 주기 $ (m,n) $ 를 가지는 미지우레비치 점의 수는 다항식 $ G_d(m,n) $ 의 차수로부터 유도된 명시적 수식으로 주어지며, 코로나리에 3.3에 의해 기술되어 있다.
• 특성 $ p>0 $ 에서, 횡단성은 정확히 $ G_d(m,n) $ 의 판별식을 나누는 소수에서 실패하며, 이러한 소수들은 동역학계의 주기적 점에 대한 재구성식을 통해 특성화된다.
• $ G_d(m,n) $ 의 판별식의 $ p $-진 값은 그 다항식의 근들로 생성된 수체계에서의 소수 $ p $ 의 분기 지수와 정확히 일치하며, 이는 대수기하학과 산술 동역학 간의 연결 고리를 형성한다.
• 바이크리티컬 쿠빅 가속도의 경우, 다항식 $ V(T(m_1,n_1,a), T(m_2,n_2,-a)) $ 는 정확히 두 임계점 $ \pm a $ 가 각각 주기 $ (m_1,n_1) $ 과 $ (m_2,n_2) $ 를 가지는 $ (a,v) $-값들을 매개변수화하며, 조건 $ n_1 \neq n_2 $ 이거나 $ n_1 \nmid (m_1-1) $ 과 $ n_1 \nmid (m_2-1) $ 이 성립할 때 성립한다.