[논문 리뷰] Renormalization of unicritical analytic circle maps

Michael Yampolsky|arXiv (Cornell University)|2016. 09. 23.

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

한 줄 요약

이 논문은 분석적 임계 원주 맵의 재규합 이론을 임계 지수 $n$가 홀수인 임의의 경우로 확장하기 위해, $n$차 임계점을 갖는 블라슈케 분수의 새로운 구성과, 해석적 공통 상대쌍에 대한 불변 벨트라미 미분의 존재하지 않음을 증명함으로써 준선형적 강성(quasiconformal rigidity)을 입증함으로써 이루어진다. 주요 결과는 데 파리아의 증명을 삼차 경우를 넘어서 일반화함으로써 이러한 맵에 대한 유니버설리티 프로그램을 완성한다.

ABSTRACT

In this paper we generalize renormalization theory for analytic critical circle maps with a cubic critical point to the case of maps with an arbitrary odd critical exponent by proving a quasiconformal rigidity statement for renormalizations of such maps.

연구 동기 및 목표

• 삼차 경우 ($n=3$)에서 임의의 홀수 임계 지수 $n \in 2\mathbb{N}+1$로 분석적 임계 원주 맵에 대한 재규합 이론을 일반화하기 위해.
• 데 파리아의 원래 증명이 삼차 경우에 특화된 구성에 의존하여 고차 홀수 지수로 일반화되지 않는 한계를 극복하기 위해.
• 임의의 홀수 임계 지수 $n$을 갖는 해석적 공통 상대쌍에 대해 준선형적 강성을 확립하기 위해, 블라슈케 분수의 강성 가족을 구성함으로써.
• 재규합된 맵에 대해 불변 벨트라미 미분이 존재하지 않음을 증명함으로써, 이 클래스에 대한 재규합 하이퍼볼리시티 프로그램을 완성하기 위해.

제안 방법

• 임의의 홀수 $n$에 대해 단일 임계점이 $n$차 임계점인 분석적 원주 호메오모르피즘으로 제한되는 $n$차 블라슈케 분수의 가족을 구성한다.
• Yam의 복소적 사전 경계 [Yam99]를 활용하여 재규합된 맵의 기하학을 제어한다.
• 임의의 홀수 임계 지수 $n$을 갖는 맵에 대해 해석적 공통 상대쌍을 정의함으로써, 기존의 프레임워크를 $n=3$을 초월해 일반화한다.
• 리만 구면에서 대칭성과 차수의 고려를 통해 구성된 블라슈케 모델의 유일성을 증명한다.
• 아흐르포르스-버스-보야르스키 정리를 적용하여 벨트라미 방정식을 풀고 준선형적 동형사를 구성한다.
• 버스 심링 레마와 줄리아 집합에서의 역학을 이용하여, 임의의 불변 벨트라미 미분이 거의 곳곳에서 0이어야 함을 보인다.

실험 결과

연구 질문

• RQ1 해석적 공통 상대쌍에 대한 준선형적 강성 결과를 삼차 경우 ($n=3$)에서 임의의 홀수 임계 지수 $n$으로 확장할 수 있는가?
• RQ2 재규합된 맵에 대해 불변 벨트라미 미분이 존재하지 않는다는 결과는 $n=3$을 초월하여 모든 홀수 $n$에 대해 성립하는가?
• RQ3 각 홀수 $n$에 대해 단일 임계점이 $n$차 임계점인 준선형적 강성 블라슈케 분수의 가족을 구성할 수 있는가?
• RQ4 이 새로운 강성 증명을 통해 임계 지수 $n$이 홀수인 임계 원주 맵에 대한 재규합 하이퍼볼리시티 결과가 완전히 확립되었는가?
• RQ5 해석적 공통 상대쌍 프레임워크는 임의의 홀수 $n$차 임계점을 갖는 맵를 지원하도록 일반화될 수 있는가?

주요 결과

• 임의의 홀수 $n$에 대해 단일 임계점이 $n$차 임계점인 준선형적 강성 블라슈케 분수의 가족이 구성되었고, 대칭성과 차수 제약 조건을 통한 유일성이 증명되었다.
• 임의의 홀수 임계 지수 $n$을 갖는 해석적 공통 상대쌍에 대해 불변 벨트라미 미분이 존재하지 않음을 입증하였으며, 이는 데 파리아의 결과를 $n=3$을 초월해 일반화한 것이다.
• 증명은 모델 맵 $B_\rho$의 줄리아 집합으로 벨트라미 미분을 확장하여, 준선형적 동형사와 버스 심링 레마를 통해 그것이 식별적으로 0이어야 함을 보여 이어진다.
• 모든 무리수 회전수 $\rho$에 대해, $\rho$를 그 회전수로 갖는 $n$차 블라슈케 맵 $B_\rho$가 유일하게 존재한다.
• 이러한 맵의 재규합은 결국 $K$-준선형적 동형사로 모델 쌍에 $K$-준선형적 동형사로 변환되는 해석적 공통 상대쌍을 유도하며, 모델의 강성으로 인해 비자명한 불변 벨트라미 미분이 존재하지 않는다.
• 이 결과는 임의의 홀수 임계 지수 $n$을 갖는 분석적 단일 임계점 원주 맵에 대한 재규합 이론을 완성하였으며, 기대된 유니버설리티와 하이퍼볼리시티를 확인한다.