[논문 리뷰] Combinatorics and topology of straightening maps II: Discontinuity

Hiroyuki Inou|arXiv (Cornell University)|2009. 03. 25.

Mathematical Dynamics and Fractals참고 문헌 16인용 수 15

한 줄 요약

이 논문은 다항식 가중치가 $ d \geq 3 $인 경우, 비소속 유형의 재규격화와 관련된 직선화 맵이 Misiurewicz 매개변수조차도 연속성이 성립하지 않음을 증명한다. 쌍곡적 위상 기하학적 강성과 하이브리드 동형에 의한 배율 보존 성질을 이용하여, 비자명한 파투 임계 관계가 존재할 경우 연속성이 깨진다는 것을 보이며, 이는 이전의 삼차 유형 가중치 가족에 대한 결과를 일반화하고 유리형 및 초월 전체 함수 가중치로 분석을 확장한다.

ABSTRACT

We continue the study of straightening maps for the family of polynomials of degree $d \ge 3$. The notion of straightening map is originally introduced by Douady and Hubbard to study relationship between polynomial-like renormalizations and self-similarity of the Mandelbrot set. In the quadratic case, straightening maps are always continuous, and this is one of the critical steps to prove the Mandelbrot set has small copies in itself. On the other hand, for higher degree case, we do not have such a nice self-similar property: As expected from an example of a cubic-like family with discontinuous straightening map by Douady and Hubbard, we prove that the straightening map is discontinuous unless it is of disjoint type.

연구 동기 및 목표

• 다항식 가중치 가중치가 $ d \geq 3 $인 경우 직선화 맵이 연속성이 성립하지 않는 조건을 규명하는 것.
• 직선화 맵이 이차 경우를 초월해 연속성 여부를 밝히는 오랜 숙제를 해결하는 것.
• 매핑 스키마와 하이브리드 동형 기법을 통해 유리형 및 초월 전체 함수 가중치로 비연속성 분석을 확장하는 것.
• 비자명한 파투 임계 관계가 직선화 맵의 연속성을 깨는 데서 수행하는 역할을 명확히 하는 것.

제안 방법

• 저자들은 $ \lambda_0 $-재규격화 가능한 다항식의 조합론적 성격을 기술하기 위해 매핑 스키마와 유리 레이어닝의 개념을 사용한다.
• 그들은 $ \lambda_0 $-조합론적으로 재규격화 가능한 집합에서 매핑 스키마 위의 다항식 가중치 가중치의 섬유별 연결성 영역으로 향하는 직선화 맵 $ \chi_{\lambda_0} $를 정의한다.
• Misiurewicz 맵의 쌍곡적 위상 기하학적 강성을 활용하여, Misiurewicz 맵으로 수렴하는 매개변수의 수열을 구성하고, 이 경우 직선화 맵이 수렴하지 않음을 보인다.
• 연속성을 가정할 경우 모순을 이끌어내기 위해 정칙 대응에 관한 정리 2.2(배율 보존)를 적용한다.
• 이 논증은 하이브리드 동형에 의한 배율 보존이 기하학적 연결성에 의해 기인하는 불가분한 정칙 대응에 의해 유도되며, 비자명한 임계 관계가 존재할 경우 차수 제약 조건과 모순된다.
• 이 방법은 유리형 및 초월 전체 함수 가중치로 확장되며, 직선화 맵으로의 연속적 섹션의 존재 여부를 분석함으로써 적용된다.

실험 결과

연구 질문

• RQ1 다항식 가중치 가중치가 $ d \geq 3 $인 경우 직선화 맵이 비연속성이 되는 조건은 무엇인가?
• RQ2 비자명한 파투 임계 관계가 존재할 경우에만 비연속성이 발생하는 이유는 무엇인가?
• RQ3 쌍곡적 위상 기하학적 강성과 배율 보존을 이용하여 고차수 가중치 가중치에서의 직선화 맵 비연속성을 증명할 수 있는가?
• RQ4 직선화 맵의 연속성은 임계 관계의 유형(예: 소속 유형 대비 비소속 유형)에 따라 달라지는가?
• RQ5 이러한 비연속성 결과는 유리형 또는 초월 전체 함수 가중치로 확장 가능한가?

주요 결과

• $ \lambda_0 $-재규격화 가능한 다항식이 Misiurewicz일 경우, $ \lambda_0 $에 비자명한 파투 임계 관계가 존재하면 직선화 맵 $ \chi_{\lambda_0} $는 비연속적이다.
• 이러한 Misiurewicz 매개변수의 모든 이웃 영역에서 비연속성이 발생하므로, 분기 측도의 지지집합과 교차하는 열린 집합에서의 연속성은 성립하지 않는다.
• 비연속성의 원인은 연속성을 가정할 경우 발생하는 차수 제약 조건의 모순이다: 직선화 맵은 $ (\deg \tilde{f})^p $의 차수를 가져야 하지만, 실제 차수는 이보다 엄격히 작다.
• 이 결과는 유리형 및 초월 전체 함수 가중치로 일반화된다: Misiurewicz 매개변수 근처에서 직선화 맵으로의 연속적 섹션이 존재하지 않으며, 유일한 예외는 모든 $ v $에 대해 $ \delta(v) = d $를 만족하는 다항식 가중치 가중치와 약한 동형이 성립하는 경우이다.
• 초월 전체 함수의 경우 무한 차수이므로 차수 비교로 모순를 이끌 수 없지만, 동형이 존재할 경우 해당 함수에 대한 구조적 제약 조건이 유도된다.
• 이 논문은 완전한 분류를 제공한다: $ \chi_{\lambda_0} $는 $ \lambda_0 $가 소속 유형일 때, 즉 모든 파투 임계 점이 단순하고 서로 다른 궤도에 존재할 때에만 연속적이다.