[논문 리뷰] Topological obstructions for robustly transitive endomorphisms on surfaces

Cristina Lizana, Wagner Ranter|arXiv (Cornell University)|2017. 11. 06.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 7

한 줄 요약

이 논문은 임계점을 가진 표면에서 강건하게 전이성인 엔도모르피즘은 반드시 부분적으로 초구형이어야 하며, 이러한 시스템은 오직 토러스 또는 클라인 병만에서 존재할 수 있음을 입증한다. 지배적 분할과 에르고딕 이론을 사용하여, 1차 호몰로지 군에 유도된 작용이 1보다 큰 절댓값을 가진 고유값을 적어도 하나 가짐을 증명함으로써, 다른 표면에서는 강건한 전이성의 위상적 장벽을 규명한다.

ABSTRACT

We address the problem of necessary conditions and topological obstructions for the existence of robustly transitive maps on surfaces. Concretely, we show that partial hyperbolicity is a necessary condition in order to have $C^1$ robustly transitive endomorphisms with critical points on surfaces, and the only surfaces that admits robustly transitive maps are either the torus or the klein bottle. Moreover, we show that every robustly transitive endomorphism is homotopic to a linear map having at least one eigenvalue with modulus larger than one.

연구 동기 및 목표

• 임계점을 보이는 표면에서 강건하게 전이성인 엔도모르피즘의 존재를 위한 필수적인 위상적 및 동역학적 조건을 규명하기.
• 강건한 전이성이 일반적으로 초구형 유사한 구조를 요구하므로, 어떤 닫힌 표면이 이러한 시스템을 지지할 수 있는지 규명하기.
• 임계점을 가진 엔도모르피즘에서 강건한 전이성은 부분적으로 초구형임을 필수 조건으로 한다는 것을 입증하기. 이는 국소 미분동형사상에서는 약한 초구형이 필요로 하지 않는 것과 대비된다.
• 이러한 시스템의 1차 호몰로지 군에 유도된 작용을 특성화하고, 절댓값이 1보다 큰 고유값이 적어도 하나 존재함을 증명하기.

제안 방법

• 지배적 분할과 콘 필드를 사용하여, 특히 불변 부분다중공간을 따라 도함수의 행동을 분석하는 동역학 분석.
• 정적 측도를 주기 궤도 평균의 약한 극한으로 구성함으로써 에르고딕 이론을 적용하여 리아푸노프 지수를 연구하기.
• 버크호프의 에르고딕 정리와 파oincaré의 재진입 정리를 사용하여 궤도를 따라 도함수 노름의 장기적 행동을 분석하기.
• Franks의 보조정리를 사용하여 주기 점에서 도함수를 변형하고, 수렴점을 생성함으로써 전이성에 모순되도록 하여 부분적으로 초구형임을 증명하기.
• 지배적 분할에서 유도된 연속적 부분다중공간을 활용하여 호몰로지 군 작용을 통해 위상적 장벽을 도출하기.
• 완전 궤도 공간 $M_f$ 위의 이동 연산자에 의해 문제를 기호 역학으로 환원함으로써 측도 이론적 도구의 사용 가능성을 확보하기.

실험 결과

연구 질문

• RQ1 임계점을 가진 표면 엔도모르피즘이 강건하게 전이성이 되기 위한 동역학적 조건은 무엇인가?
• RQ2 임계점을 가지지 않는 국소 미분동형사상이 아닌 강건하게 전이성인 엔도모르피즘을 지지할 수 있는 닫힌 표면는 무엇인가?
• RQ3 임계점을 가진 엔도모르피즘에서 강건한 전이성이 부분적으로 초구형과 같은 약한 초구형 형태를 유도하는가?
• RQ4 1차 호몰로지 군에 유도된 작용이 이러한 시스템의 존재를 어떻게 제약하는가?
• RQ5 기본군이나 호몰로지와 같은 위상적 불변량이 표면에서 강건하게 전이성인 엔도모르피즘의 존재를 방해할 수 있는가?

주요 결과

• 임계점을 가진 표면에서 강건하게 전이성인 엔도모르피즘은 반드시 부분적으로 초구형이어야 하며, 이는 부분적으로 초구형이 필수 조건임을 입증한다.
• 강건하게 전이성인 엔도모르피즘을 지지할 수 있는 유일한 표면는 토러스 $\mathbb{T}^2$와 클라인 병 $\mathbb{K}^2$이며, 이는 모든 다른 닫힌 표면을 배제한다.
• 부분적으로 초구형 엔도모르피즘의 1차 호몰로지 군에 대한 유도 작용은 절댓값이 1보다 큰 고유값을 적어도 하나 가진다.
• 증명은 도함수 성장이 통제된 주기 점을 구성하고, Franks의 보조정리를 사용하여 수렴점을 유도하는 변형을 생성함으로써 이루어지며, 이는 전이성에 모순된다.
• 강건한 전이성은 지배적 분할의 존재를 암시하며, 이는 불변 측도의 구성과 리아푸노프 지수 추정치의 사용을 통해 비부분적 초구형 조건 하에서 모순을 이끌어내는 데 기여한다.
• 이 결과는 미분동형사상에 대한 Mañé의 정리가 임계점을 가진 엔도모르피즘으로 확장되며, 특이점 존재 시 위상적 장벽이 더 강력함을 보여준다.