[논문 리뷰] Centralizers of partially hyperbolic diffeomorphisms in dimension 3

Thomas Barthelmé, Andrey Gogolev|arXiv (Cornell University)|2019. 11. 13.

Mathematical Dynamics and Fractals인용 수 1

한 줄 요약

이 논문은 3차원 다중체에서 체적을 보존하는 부분적으로 초구형 미분동형사상의 중심화자를 분류하며, 기본군이 거의 해소 가능하지 않은 세이페르트 또는 하이퍼볼릭 3차원 다중체에서의 이산화된 아노소프 흐름에 대해 중심화자가 유한 순환군이거나, 실수선 R과 거의 동형인 경우를 보여준다. 이 경우, 미분동형사상의 거듭제곱이 부드러운 아노소프 흐름에 포함된다. 증명은 [BFFP19]의 3차원 분류 결과를 활용하여 Damjanovic, Wilkinson, Xu의 이전 작업을 확장한다.

ABSTRACT

In this note we describe centralizers of volume preserving partially hyperbolic diffeomorphisms which are homotopic to identity on Seifert fibered and hyperbolic 3-manifolds. Our proof follows the strategy of Damjanovic, Wilkinson and Xu (arXiv:1902.05201) who recently classified the centralizer for perturbations of time-$1$ maps of geodesic flows in negative curvature. We strongly rely on recent classification results in dimension 3 established in (arXiv:1908.06227).

연구 동기 및 목표

• 3차원 다중체에서 체적을 보존하는 부분적으로 초구형 미분동형사상의 중심화자를 분류하는 것, 특히 세이페르트 및 하이퍼볼릭 케이스에 대해.
• Damjanovic, Wilkinson, Xu의 시간-1 아노소프 흐름의 변형에 대한 강성 결과를 3차원에서 더 넓은 범위의 이산화된 아노소프 흐름으로 확장하는 것.
• 이러한 미분동형사상의 중심화자가 거의 유한 순환군 또는 거의 실수선 R인 경우를 결정하고, 부드러운 아노소프 흐름으로의 포함을 특성화하는 것.
• 기본군의 역할을 다루며, 특히 접근성이 실패하고 표준 도구가 무너지는 거의 해소 가능인 경우를 배제하는 것.
• 기본군이 거의 해소 가능한 3차원 다중체에서 동역학적으로 일관되고 접근 가능한 체적을 보존하는 미분동형사상의 중심화자가 여전히 거의 유한 순환군 또는 실수선 R이며, 아노소프 흐름으로 포함됨을 보장하는 것.

제안 방법

• [BFFP19]의 분류 결과를 활용하여, 주어진 조건 하에서 미분동형사상의 거듭제곱이 이산화된 아노소프 흐름이 됨을 보여줌.
• [DWX19]의 전략을 활용하지만, 중심 분할의 위상적 및 동역학적 성질을 이용해 3차원 설정에서 핵심 보조정리를 강화함.
• 이산화된 아노소프 흐름에 대해 중심안정 및 중심불안정 분할의 유일성을 이용해 중심화하는 사상이 모든 불변 분할을 유지함을 보임.
• [BG19]의 전이적 아노소프 흐름의 자기 궤도 등가성 결과를 적용하여, 중심화자에서 중심엽을 유지하는 부분군을 제외한 원소들이 유한 지수임을 보임.
• 중심 분할의 절대 연속성과 에르고딕성을 이용해, 분해가 매끄럽다면 중심화자가 전체 1파라미터 흐름을 포함함을 보임.
• 아노소프 흐름의 위상적 약혼합성(유사 등분포의 주기 궤도를 통한)을 이용해, 유리 주기 궤도에서도 비록 전체 흐름과도 교환됨을 보임.

실험 결과

연구 질문

• RQ1 3차원 다중체에서 체적을 보존하는 부분적으로 초구형 미분동형사상의 중심화자가 거의 유한 순환군이 되는 조건은 무엇인가?
• RQ2 이러한 미분동형사상의 중심화자가 실수선 R과 유사한 1파라미터 부분군을 포함할 때, 이는 동역학에 어떤 의미를 갖는가?
• RQ3 다중체의 기본군이 중심화자의 구조에 어떻게 영향을 미치는가? 특히 기본군이 거의 해소 가능할 경우의 영향은 무엇인가?
• RQ4 세이페르트 또는 하이퍼볼릭 3차원 다중체에서 이산화된 아노소프 흐름은 부드러운 아노소프 흐름에 포함될 수 있는가? 어떤 조건에서 가능한가?
• RQ5 3차원 특화된 분류 도구를 사용해, [DWX19]의 강성 결과를 일반적인 이산화된 아노소프 흐름으로 3차원에서 얼마나 넓게 확장할 수 있는가?

주요 결과

• 기본군이 거의 해소 가능하지 않은 3차원 다중체에서 체적을 보존하는 부분적으로 초구형 미분동형사상이 이산화된 아노소프 흐름이라면, 중심화자는 거의 유한 순환군 또는 거의 실수선 R이다.
• 중심화자가 거의 실수선 R이라면, 미분동형사상의 거듭제곱은 부드러운 아노소프 흐름에 포함된다.
• 항등사상과 동치인 세이페르트 3차원 다중체에서는 중심화자가 거의 유한 순환군 또는 거의 실수선 R이며, 거듭제곱이 아노소프 흐름에 포함된다.
• 하이퍼볼릭 3차원 다중체에서는 동역학적으로 일관되고 체적을 보존하는 부분적으로 초구형 미분동형사상의 중심화자는 다시 한 번 거의 유한 순환군 또는 거의 실수선 R이며, 거듭제곱이 아노소프 흐름에 포함된다.
• 전이적 아노소프 흐름의 시간-1 사상(상수 屋根 수평이 아닌 경우)의 중심화자는 거의 실수선 R이며, 흐름이 위상적 약혼합적이라면 성립한다.
• 증명은 주기 궤도가 임의로 큰 유리 또는 무리 주기로 조밀하게 분포함을 이용해, 주기 궤도에서의 교환성을 전체 흐름으로 확장할 수 있음을 기반으로 한다.