[논문 리뷰] Hyperbolicity is dense in the real quadratic family

Grzegorz Świątek|arXiv (Cornell University)|1992. 07. 06.

Mathematical Dynamics and Fractals참고 문헌 8인용 수 22

한 줄 요약

이 논문은 비하이퍼볼릭 실수 이차 다항식이 유계한 임계 궤도와 비순환 kneading 수열을 가질 경우, 위상 동형이 편평한 동형으로 이어진다는 것을 증명함으로써, 실수 이차 가중족 $ f_a(x) = ax(1-x) $ 에서 하이퍼볼릭 맵이 조밀하다는 것을 증명한다. 핵심 결과는 이러한 동형류가 매개수 공간에서 싱글턴임을 보여주며, 이는 편평한 등장성과 결합하여 실수 이차 가중족에서 하이퍼볼릭성의 조밀성을 암시한다.

ABSTRACT

It is shown that for non-hyperbolic real quadratic polynomials topological and quasisymmetric conjugacy classes are the same. By quasiconformal rigidity, each class has only one representative in the quadratic family, which proves that hyperbolic maps are dense.

연구 동기 및 목표

• 유계한 전방 임계 궤도와 비순환 kneading 수열을 가진 비하이퍼볼릭 실수 이차 다항식 간의 위상 동형이 편평한 동형으로 이어진다는 것을 증명하기.
• 편평한 등장성에 기반하여 이차 가중족에서 편평한 동형류가 최대 한 개의 점 또는 열린 집합임을 증명하기.
• 비순환 kneading 수열을 가진 매개수 집합이 닫혀 있고 국소적으로 유한함을 보여주어, 각 kneading 수열당 최대 한 개의 맵만 존재함을 암시하기.
• 비하이퍼볼릭 맵이 안정 또는 중립 궤도를 갖지 않는 경우에 대한 간격이 존재할 수 없음을 제거함으로써 밀너-서스턴의 조밀한 하이퍼볼릭성 추측을 해결하기.
• 밀너와 터스턴의 추측, 즉 kneading 불변량이 주기적이지 않은 한 엄격히 증가한다는 것을 증명함으로써, 매개수 공간에서 하이퍼볼릭 매개수가 조밀하다는 것을 확인하기.

제안 방법

• 같은 비순환 kneading 수열과 유계 임계 궤도를 가진 두 실수 이차 다항식 간의 실선 위에서의 준대칭 동형을 증명하는 것으로 주 문제를 축소하기.
• 문헌 [17]과 [18]의 기법을 사용하여 실선 위의 준대칭 동형을 복소 평면에서의 편평한 동형으로 이어지는 피복 끌어올림 기법을 적용하기.
• 동역학 분석과 제어된 등각 모듈러스를 가진 고리의 구성에 위해 실선 위에서의 유도 과정을 사용하기.
• 등각 모듈러스 $ s_i $, $ \lambda_i $ 및 분리 지표 $ \beta $ 에 대한 정규화된 기호와 추정치를 사용하여 피복 끌어올림 과정에서의 왜곡을 제어하기.
• 등각 모듈러스의 초가역성을 적용하여 최소 $ \beta_0/2 $ 의 모듈러스를 가진 고리가 존재하고, 이들이 $ \geq \beta_0/4 $ 의 모듈러스를 가진 고리로 피복 끌어올려지도록 보장함으로써 왜곡을 유지하기.
• 귀납법을 사용하여 비슷한 피복 끌어올림 과정을 거쳐도 분리 지표 $ \beta_0 $ 가 유지됨을 보여주며, 비근접 복귀 이후에도 편평한 동형 제어가 가능함을 보장하기.

실험 결과

연구 질문

• RQ1 유계 전방 임계 궤도와 비순환 kneading 수열을 가진 비하이퍼볼릭 실수 이차 다항식 간의 위상 동형류가 편평한 동형류와 동일한가?
• RQ2 편평한 등장성은 이러한 동형류가 실수 이차 가중족에서 최대 한 개의 맵만 포함한다는 것을 보여줄 수 있는가?
• RQ3 실수 이차 다항식이 안정 또는 중립 궤도를 갖지 않는다는 것은 위상 동형이 편평한 동형으로 이어진다는 것을 의미하는가?
• RQ4 매개수 공간의 간격이 주기적인 kneading 수열을 가진 비하이퍼볼릭 맵들로 채워져 있음에도 불구하고 안정 궤도가 없는 것이 가능한가?
• RQ5 비하이퍼볼릭 케이스에서 위상 동형류와 편평한 동형류가 동등하다면, 실수 이차 가중족에서 하이퍼볼릭 맵의 조밀성이 도출되는가?

주요 결과

• 유계 전방 임계 궤도와 비순환 kneading 수열을 가진 두 비하이퍼볼릭 실수 이차 다항식 간의 위상 동형은 편평한 동형으로 이어진다.
• 편평한 등장성에 기반하여 이차 가중족에서 각 편평한 동형류는 최대 한 개의 대표자를 포함한다.
• 주어진 비순환 kneading 수열을 가진 매개수 집합은 닫혀 있고 국소적으로 유한하므로, 최대 한 개의 맵만 포함한다.
• 실수 이차 다항식이 안정 또는 중립 궤도를 갖지 않는다는 것은 그 위상 동형류가 싱글턴이거나 매개수 공간에서 열린 집합임을 의미한다.
• 조밀한 하이퍼볼릭성 정리가 성립한다: 하이퍼볼릭 맵은 실수 이차 가중족 $ f_a(x) = ax(1-x) $ 에서 조밀하다. 비하이퍼볼릭 맵이 안정 궤도 없이 간격을 형성할 수 없기 때문이다.
• 결과적으로 밀너와 터스턴의 추측, 즉 kneading 수열이 주기적이지 않은 한 엄격히 증가한다는 것을 확인한다. 否면 비순환 kneading 수열의 간격이 존재하여 정리와 모순된다.