[논문 리뷰] Saddle hyperbolicity implies hyperbolicity for polynomial automorphisms of C^2

Romain Dujardin|arXiv (Cornell University)|2018. 06. 28.

Mathematical Dynamics and Fractals참고 문헌 6인용 수 3

한 줄 요약

이 논문은 C^2에서 다항형 자기동형사상에 대해, 안장 주기점들로 이루어진 집합(J*)에서의 균일한 초구형성(uniform hyperbolicity)이 J*가 코hen-줄라 세트 J에 밀도를 이룬다는 것을 증명한다. 따라서 J = J*를 확립한다. 이 결과는 베드포드와 스미스리의 초구형성 개념에서의 완전한 초구형성(full hyperbolicity)이 안장 초구형성에 의해 유도됨을 보여주며, 이는 소멸성 및 보존성 설정 모두에서 에르고딕 클로징 보조정리, 해석적 운동(holomorphic motions), 잠재이론 기법을 조합한 방식으로 해결된다.

ABSTRACT

We prove that for a polynomial diffeomorphism of C^2, uniform hyperbolicity on the set of saddle periodic points implies that saddle points are dense in the Julia set. In particular f satisfies Smale's Axiom A on C^2 .

연구 동기 및 목표

• C^2에서의 다항형 자기동형사상에서 안장 주기점들의 집합(J*)에서의 균일한 초구형성이 코hen-줄라 세트 J 전체의 초구형성으로 이어지는지 여부라는 열린 문제를 해결하는 것.
• 안장 초구형성 하에서 J = J*를 확립함으로써, 베드포드와 스미스리의 Axiom A 및 래미너 구조 성질이 J*에서의 초구형성에 의해 유도됨을 확인하는 것.
• 이전의 부분적 결과—특히 상당히 소멸적인 조건 하에서의 결과—를 일반적인 경우, 즉 보존성 맵을 포함한 일반적인 경우로 확장하는 것.
• 소멸성 및 보존성 설정 모두에서 에르고딕 이론, 해석적 운동, 잠재이론을 통합적으로 활용하는 증명 전략을 제공하는 것.

제안 방법

• 모순에 의한 증명: f가 소멸적이고, J*에서 균일하게 초구형적이며, J* ≠ J라고 가정한다.
• 이전 연구에서 유도된 에르고딕 클로징 보조정리를 적용하여, 어떤 p ∈ J*에 대해 안정다양체 W^s(p)가 J−와 상대적으로 열린, 비자명한 부분집합으로 교차함을 보인다—이러한 현상은 소멸적 동역학에서 예상치 못한 것이다.
• J−의 안정다양체 조각과 잠재이론 도구를 활용하여 소멸적 경우에서 모순을 유도한다.
• 보존성 경우에서는 f₀ = f인 해석적 가중가(f_λ)를 구성하여, 0 근처의 매개변수에서 f_λ가 소멸적임을 보장한다.
• DL에서 유도된 해석적 운동 확장 정리를 활용하여 J*의 운동을 전체 K집합으로 확장하고, J*와의 분리성을 유지한다.
• 소멸적 매개변수 f_λ₁가 안정적 주기점을 가져야 한다는 점을 보여주는 것으로 모순을 이끌어내며, 이는 f₀의 보존성과 모순된다.

실험 결과

연구 질문

• RQ1 C^2에서 다항형 자기동형사상에서 안장 주기점들의 집합(J*)에서의 균일한 초구형성이 전체 코헨-줄라 세트 J의 초구형성으로 이어지는가?
• RQ2 강한 소멸성 조건이나 기타 제약 조건 없이도 J = J* 결과를 확립할 수 있는가?
• RQ3 해석적 운동과 매개변수 가중가가 소멸적 경우에서의 결과를 보존성 경우로 확장하는 데 어떤 역할을 하는가?
• RQ4 J*에서의 초구형성이 존재할 경우, 안정다양체와 잠재이론적 구조는 어떻게 상호작용하는가?
• RQ5 가 countable이고 밀도를 이룬다(J*), J±에 대한 전역적인 래미너 구조를 초구형성에서 유도할 수 있는가?

주요 결과

• 주요 결과는 f가 C^2에서 비자명한 동역학을 가지며, J*에서 균일하게 초구형적이라면 J = J*임을 증명한다.
• 소멸적 경우에서는 J− ∩ W^s(p)가 어떤 p ∈ J*에 대해 상대적으로 열린 부분집합을 포함함을 보여주며, 이는 상당히 소멸적인 영역에서 알려진 결과와 모순된다.
• 보존성 맵의 경우, 모순은 해석적 운동의 논리로 발생한다: K(f₀) \ J*(f₀)에 속하는 점이 근처의 소멸적 f_λ에 대해 K(f_λ) \ J*(f_λ)에 속하는 점으로 확장되며, 이는 안정적 주기점을 암시한다. 이는 f₀의 보존성과 모순된다.
• 결과적으로, 안장 초구형성이 베드포드와 스미스리의 의미에서 완전한 초구형성으로 이어짐을 확인한다. 즉, f는 Axiom A를 만족하고 J±에서 래미너 구조를 가진다.
• 이 증명은 이전에 상당히 소멸적인 조건(Jac(f) < d⁻²) 하에서 부분적으로만 다뤄진 장기적인 열린 문제를 해결한다.
• 이 작업은 가 countable이고 동역학적으로 정의된 집합 J*에서의 초구형성이 전역적인 초구형성과 코헨-줄라 세트의 전체 동역학적 구조를 유도하는 데 충분함을 입증한다.