Makienko 추측의 반례는 분해불가능 연속체이다

본 논문은 Makienko 추측에 대한 새로운 증명을 제시하고, 그 추측의 반례가 존재한다면 반드시 분해불가능 연속체가 되어야 함을 보인다. 1. **서론**에서는 R: Ĉ̂ → Ĉ̂ (Riemann 구면)인 유리함수의 Fatou 집합 F(R)와 Julia 집합 J(R)의 기본 정의를 상기한다. Fatou 집합은 정상성 영역이며, 그 성분을 Fatou 성분이라 부른다. Julia 집합은 F(R)의 여집합이며, 완전불변 집합(즉, R(X)=X=R⁻¹(X))이다. 매장점(buried point)은 어떤 Fatou 성분의 경계에 속하지 않는 J(R)의 점으로 정의된다. 2. **Makienko 추측**은 “J(R)이 매장점을 갖는다 ⇔ R²의 Fatou 집합에 완전불변 성분이 없다”는 명제이다. 한 방향(완전불변 성분 ⇒ 매장점 없음)은 이미 알려져 있다. 반대 방향은 아직 일반적으로 증명되지 않았다. 3. **기존 연구**로는 Morosawa가 초극복·부분극복 경우, Qiao가 J(R)이 국소적으로 연결된 경우, Sun‑Yang이 두 임계점·차수≥3인 경우 등에 대해 추측을 증명하였다. 특히 Sun‑Yang은 J(R)이 Lakes of Wada 형태라면 indecomposable이거나 두 indecomposable의 합이 된다고 보였으며, CMTT06에서는 이를 indecomposable 자체로 강화하였다. 4. **주요 정리**(Theorem 1, Makienko’s Conjecture for Decomposable Julia Sets)에서는 다음을 증명한다. - 가정: R이 유리함수이며, J(R)에는 매장점이 없고, F(R²)에는 완전불변 Fatou 성분이 없다. - 결론: J(R)은 indecomposable 연속체이다. 5. **증명 개요**는 두 부분으로 나뉜다. - **2.1 동역학적 결과**: Lemma 1을 통해 J(R)와 경계가 일치하는 주기적인 Fatou 성분 U를 찾는다. Lemma 2에서는 U와 다른 Fatou 성분 V가 존재함을 보인다(만약 없으면 U가 R²에 대해 완전불변이 되므로 모순). 이후 Irreducibility Theorem(정리 3)을 증명하여 J(R)이 어떤 유한 집합 S에 대해 “S에 대해 불가분”임을 보인다. 이 과정에서 Baire 범주 정리, Sullivan의 No Wandering Domains 정리, 경계의 비자기성 등을 활용한다. - **2.2 Kuratowski 분해 적용**: J(R)은 두 연결된 열린 영역 U, V의 공통 경계이며, V의 내부가 J(R)와 교차한다(Int ∂U(∂V)≠∅). Kuratowski의 단조 분해 이론을 이용해 ∂V가 “monostratic”(indec. 연속체와 nowhere‑dense 연속체의 가산 합)인지 여부를 판단한다. Lemma 8, 9, 10을 통해 ∂V가 monostratic이면 반드시 interior을 가진 indecomposable 부분연속체를 포함한다는 것을 보인다. Lemma 11, 12에서는 X=∂U가 유한 집합에 대해 불가분이면 ∂V가 indecomposable 부분연속체를 포함함을 증명한다. 마지막으로 Theorem 12(CMTT06)와 결합해, J(R) 안에 interior을 가진 indecomposable K가 존재하면 K=J(R)임을 얻어, J(R) 자체가 indecomposable임을 확정한다. 6. **결과와 의미**: 논문은 “분해가능”인 Julia 집합은 반드시 Makienko 추측을 만족한다는 강력한 전역 결과를 제공한다. 따라서 추측의 반례가 존재한다면 그 Julia 집합은 위상학적으로 매우 복잡한 indecomposable 연속체여야 한다. 현재까지 알려진 모든 유리함수의 Julia 집합은 분해가능하거나, 이미 알려진 예시(예: Cantor 집합×Jordan curve, Sierpinski carpet) 모두 매장점을 갖고 있어 추측을 만족한다. 또한, “Julia 집합이 indecomposable 연속체가 되는 유리함수가 존재하는가?”라는 오래된 미해결 문제와도 직접 연결된다. 7. **향후 연구 방향**: 본 결과는 Makienko 추측을 완전히 해결하기 위해서는 indecomposable 연속체를 Julia 집합으로 갖는 구체적인 유리함수를 찾거나, 그런 함수가 존재하지 않음을 증명해야 함을 시사한다. 위상학적 도구(예: Kuratowski 분해, Baire 범주 정리)와 복소역학적 기술(주기적 Fatou 성분, 임계점 전파) 사이의 상호작용을 더욱 심화시키는 것이 향후 연구의 핵심 과제가 될 것이다.