[논문 리뷰] On the dynamics of minimal homeomorphisms of $\mathbb{T}^2$ which are not pseudo-rotations

Alejandro Kocsard|arXiv (Cornell University)|2016. 11. 11.

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

한 줄 요약

이 논문은 항등사상과 끼워넣기 가능한 최소 $T^2$ 호메오모르피즘 중 편미분 회전이 아닌 것들이, 비퇴화된 무리수 기울기의 선분인 회전 집합에 수직인 방향으로 균일하게 유계인 회전 이탈을 보임을 증명한다. 그 결과로 이러한 시스템은 위상적으로 혼합되며, 최소성 조건 하에서 프랭크스-미수에비치 추측을 증명함으로써 이러한 회전 집합이 유리수 점을 피할 수 없다는 것을 보여준다.

ABSTRACT

We prove that any minimal $2$-torus homeomorphism which is isotopic to the identity and whose rotation set is not just a point exhibits uniformly bounded rotational deviations on the perpendicular direction to the rotation set. As a consequence of this, we show that any such homeomorphism is topologically mixing and we prove Franks-Misiurewicz conjecture under the assumption of minimality.

연구 동기 및 목표

• 2차 토러스의 최소 호메오모르피즘 중 편미분 회전이 아닌 것들에 대해, 사전에 유계인 회전 이탈을 확립하는 것.
• 최소성 조건 하에서 프랭크스-미수에비치 추측의 핵심 케이스를 해결하기 위해, 무리수 기울기의 회전 집합이 반드시 유리수 점을 포함함을 보이는 것.
• 이러한 최소 호메오모르피즘이 위상적으로 혼합됨을 보여주어, 비-퍼세우드로테이션 설정으로 동역학적 강성 결과를 확장하는 것.
• 위상적 및 동역학적 기법을 통해 회전 집합의 구조와 그 유리수 점과의 상호작용을 분석하는 것.

제안 방법

• 토러스 호메오모르피즘 $f$의 업그레이드 $ ilde{f} : R^2 o R^2$ 를 사용하고, 비퇴화된 무리수 기울기의 선분인 회전 집합 $ ho( ilde{f})$ 를 연구한다.
• 수직 방향의 동역학 분석을 위해, $f$-불변 연속 함수 $H: R^2 o R$ 를 도입하며, 그 등고선은 특이 폴리에이션의 가짜 잎을 이룬다.
• 콤���터성과 호로 연결된 성질을 적용하여, 회전 집합에 수직인 방향으로 이동의 성장을 통제한다.
• 기본 영역의 모든 가능한 업그레이드를 커버하기 위해 정수 이동 $oldsymbol{p}_i o Z^2$ 의 유한 집합을 사용하여 이탈 유계성에 대한 균일한 통제를 확보한다.
• 최소 시스템이 불변 측도의 전지수를 가짐을 이용하여, 서로 다른 수직 방향의 회전 성분을 가진 궤도를 구성한다.
• Beguin, Crovisier, Le Roux (2017)의 결과를 적용하여, 유리수 점이 회전 선상에 있다면 시스템은 수직 선분의 회전 집합과 유량 등가가 되며, 이는 최소성 조건을 위반할 수밖에 없고, 따라서 유리수 점이 존재해야 한다는 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 최소 $ T^2$ 호메오모르피즘 중 편미분 회전이 아닌 것들이, 자신의 회전 집합에 수직인 방향으로 균일하게 유계인 회전 이탈을 보일까?
• RQ2 최소성 조건 하에서, 특히 무리수 기울기의 회전 집합에 대해 프랭크스-미수에비치 추측을 증명할 수 있을까?
• RQ3 최소 $ T^2$ 호메오모르피즘이 무리수 기울기의 회전 집합을 가지며 모든 유리수 점을 피할 수 있을까?
• RQ4 이러한 시스템에서 균일하게 유계인 회전 이탈이 존재할 경우 어떤 동역학적 결과가 도출될까?
• RQ5 회전 집합의 위상적 구조는 주기점 또는 유리수 회전 벡터의 존재와 어떻게 관련이 있을까?

주요 결과

• 항등사상과 끼워넣기 가능한 최소 $ T^2$ 호메오모르피즘 중 편미분 회전이 아닌 것들은, 자신의 회전 집합에 수직인 방향으로 균일하게 유계인 회전 이탈을 가진다.
• 무리수 기울기의 회전 집합이 최소 시스템일 경우 반드시 적어도 하나의 유리수 점을 포함한다. 이는 $ Q^2$ 를 피하는 최소 시스템이 존재할 수 없음을 시사한다.
• 모든 열린 집합 쌍이 반복적으로 서로의 내부로 옮겨지므로, 시스템은 위상적으로 혼합된다.
• 무리수 기울기의 회전 집합을 가지며 유리수 점을 포함하지 않는 최소 호메오모르피즘의 존재는 최소성과 유계 이탈 구조에 모순된다.
• 이 증명은 불변 측도, 가짜 잎, 유량 등가성 간의 상호작용을 통해 이러한 시스템의 존재를 배제하는 데 의존한다.
• 결과적으로, 이는 최소 케이스에서 프랭크스-미수에비치 추측을 확인한다: 최소이고 편미분 회전이 아닌 경우, 무리수 기울기의 회전 집합은 반드시 유리수 점을 포함한다.