[논문 리뷰] Pseudo-rotations with sufficiently Liouvillean rotation number are C^0-rigid

Barney Bramham|arXiv (Cornell University)|2012. 05. 29.

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

한 줄 요약

이 논문은 특정 밀리우스 수의 밀도 부분집합인 $\mathcal{L}_*$에 속하는 회전수를 가진 2차원 디스크 위의 무리수 의사역행에 대해 $C^0$-강성임을 입증한다. 즉, 일부 반복이 균일 수렴으로 항등원으로 수렴함을 의미한다. 편의학적 곡선 기법과 $L^2$에서 $C^0$로의 추정을 통해 저자들은 이러한 시스템이 혼합되지 않음을 보이며, 영 엔트로피 해밀토니안 시스템의 매끄러운 에르고딕 이론에서 핵심적인 장벽을 해결한다.

ABSTRACT

It is an open question in smooth ergodic theory whether there exists a Hamiltonian disk map with zero topological entropy and (strong) mixing dynamics. Weak mixing has been known since Anosov and Katok first constructed examples in 1970. Currently all known examples with weak mixing are irrational pseudo-rotations with Liouvillean rotation number on the boundary. Our main result however implies that for a dense subset of Liouville numbers (strong) mixing cannot occur. Our approach involves approximating the flow of a suspension of the given disk map by pseudoholomorphic curves. Ellipticity of the Cauchy-Riemann equation allows quantitative L^2-estimates to be converted into C^0-estimates between the pseudoholomorphic curves and the trajectories of the flow on growing time scales. Arithmetic properties of the rotation number enter through these estimates.

연구 동기 및 목표

• 영 위상 엔트로피를 가진 면적보존 디스크 사상이 혼합 가능한가에 대한 열린 문제를 해결하기 위해.
• 리우빌 유형의 회전수를 가진 무리수 의사역행의 역학적 행동을 조사하기 위해.
• 아노소프와 카토크가 구성한 약한 혼합 예제가 강한 혼합으로 업그레이드될 수 있는가를 판단하기 위해.
• 심플렉틱 기하학 도구를 사용하여 매우 비디오히안(Non-Diophantine)인 회전수를 가진 시스템의 역학적 강성 특성을 규명하기 위해.

제안 방법

• 디스크 사상의 승강 흐름을 심플렉틱 다양체 내의 편의학적 곡선으로 근사하기 위해.
• 타원형 정규성과 $L^2$-추정을 적용하여 편의학적 곡선과 흐름 궤적 사이의 $C^0$-거리 제어하기.
• $\mathcal{L}_*$ 내의 회전수의 산술적 성질—초지수적 유리수 근사에 의해 정의됨—을 사용해 오차 항을 bound하기.
• 주기적 또는 반무한 실린더 위에서 소볼레프 유형 부등식을 통해 정량적 $L^2$에서 $C^0$로의 임bedding 추정 수립하기.
• 커프 오프 함수를 사용해 컴act 몫 $\mathbb{R} \times \mathbb{R}/n\mathbb{Z}$ 에서 함수를 $\mathbb{R}^2$로 올리고 임베딩 보조정리를 적용하기.
• 베어 범주 정리를 적용하여 $\mathcal{L}_*$ 가 $\mathbb{R}$ 에서 밀도를 이룬다는 것을 보이며, 이는 결과가 일반적인 회전수 클래스에 적용됨을 보장한다.

실험 결과

연구 질문

• RQ1 영 위상 엔트로피를 가진 해밀토니안 디스크 사상이 혼합 가능할 수 있는가?
• RQ2 리우빌 회전수를 가진 무리수 의사역행이 $C^0$-강성을 가지는가?
• RQ3 매우 리우빌적인 회전수를 가진 시스템에서 혼합에 대한 역학적 장벽이 존재하는가?
• RQ4 편의학적 곡선 기법을 사용해 $L^2$-추정에서 $C^0$-강성을 유도할 수 있는가?
• RQ5 회전수의 산술적 성질이 반복의 정규성과 수렴에 어떤 역할을 하는가?

주요 결과

• $\mathcal{L}_*$ 내의 경계 회전수를 가진 모든 무리수 의사역행은 $C^0$-강성을 가지며, 즉 어떤 반복 $\varphi^{n_j}$ 가 균일 수렴으로 항등원으로 수렴한다.
• $\mathcal{L}_*$ 는 $\mathbb{R}$ 의 밀도 부분집합이므로 결과는 일반적인 리우빌 수 클래스에 적용된다.
• 이러한 시스템은 위상적으로 혼합되지 않으며, 특히 르베그 측도에 대해 강한 혼합이 아니다.
• $C^0$-강성 결과는 $\mathcal{L}_*$ 내의 모든 의사역행에 대해 혼합 역학이 불가능함을 규명하며, 에르고딕 계층에서 주요 격차를 닫는다.
• 이 증명은 $\mathbb{R} \times \mathbb{R}/n\mathbb{Z}$ 위의 함수에 대한 정밀한 $L^2$에서 $C^0$로의 추정에 기반하며, $n$ 에 대해 독립적인 일관된 상수를 사용한다.
• 핵심 분석 도구는 주기적 영역에서 $L^∞$-노름을 $L^2$와 $W^{1,∞}$-노름의 곱으로 bound하는 소볼레프 유형 임베딩 부등식이다.