[논문 리뷰] Hedgehogs for neutral dissipative germs of holomorphic diffeomorphisms of $(\mathbb{C}^{2},0)$

Tanya Firsova, Mikhail Lyubich외 2명|arXiv (Cornell University)|2016. 11. 28.

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

한 줄 요약

이 논문은 복소평면 $(\mathbb{C}^2,0)$에서 중립성과 소산성 고유값을 가진 해석적 미분동형사상의 반중립 고정점 주변에서 '도마뱀'—콤파クト하고 불변이며 전체적인 집합—의 존재를 확립한다. 위상수학적 방법, 특히 콘 필드, 중심다양체, 브라우어 영역 이론을 사용하여, 선형화가 실패하는 경우에도 이러한 도마뱀이 존재함을 증명하며, 페레스-마르코의 일변도 동역학 이론을 고차원으로 일반화한다.

ABSTRACT

We prove the existence of hedgehogs for germs of complex analytic diffeomorphisms of $(\mathbb{C}^{2},0)$ with a semi-neutral fixed point at the origin, using topological techniques. This approach also provides an alternative proof of a theorem of Pérez-Marco on the existence of hedgehogs for germs of univalent holomorphic maps of $(\mathbb{C},0)$ with a neutral fixed point.

연구 동기 및 목표

• 해석적 미분동형사상 $(\mathbb{C}^2,0)$에서 반중립 고정점을 가진 두차원 동역학으로부터 도마뱀—일차원 동역학에서의 콤파クト한 불변 집합—의 개념을 확장한다.
• 선형화가 실패할 경우 이러한 맵의 국소 동역학에서 비자명하고 콤파クト하며 완전히 불변이며 전체적인 집합(도마뱀)의 존재를 확립한다.
• 이전 연구에서 사용된 깊은 해석적 원환위 미분동형사상 이론에 의존하지 않고, 순수히 위상수학적 방법을 통해 $\mathbb{C}^2$에서 도마뱀의 존재를 증명한다.
• 동일한 위상수학적 프레임워크를 통해 페레스-마르코의 일차원 도마뱀 결과를 재구성하고 재증명함으로써, 그 이론의 보다 광범위한 적용 가능성을 보여준다.

제안 방법

• 부분적으로 초구성 동역학과 불변 콘 필드를 활용: 소산성 방향에 따라 수직 콘 $\mathcal{C}^v_x$ 와 중립성 방향에 따라 수평 콘 $\mathcal{C}^h_x$ 를 정의한다.
• 안정성 방향의 압축이 우세하므로, 중립 방향 위에 대한 그래프로 국소 중심다양체 $W^c_{\rm loc}(0)$를 구성한다.
• 레루의 확장 보조정리(Le Roux)를 적용하여, 단일 고정점 두 개를 가지는 $\mathbb{S}^2$ 위의 전역 호메오모르피즘으로 국소 호메오모르피즘 $f^q$ 를 확장한다.
• 브라우어 영역 이론과 크로아상 구조를 활용하여 구 모델에서 $f^q$ 가 영역 이동으로 작용하는 영역을 식별한다.
• 정리 5.4에서 유도된 흡인성 및 반발성 크로아상의 존재를 활용하여, 이웃 영역의 경계까지 연장되는 불변 집합을 구성한다.
• 도마뱀 내의 점들의 강한 안정다양체가 수직 유사 해석적 디스크의 라미네이션을 이룬다는 것을 증명함으로써, 집합의 전체성과 불변성을 보장한다.

실험 결과

연구 질문

• RQ1 반중립 고정점 주변에서 두차원 해석적 미분동형사상의 맥락에서 도마뱀—콤파クト하고 불변이며 전체적인 집합—을 구성할 수 있는가?
• RQ2 일차원 동역학에서 사용된 위상수학적 방법이, 이전 연구에서 사용된 요코즈의 원환위 미분동형사상 이론에 의존하지 않고 $\mathbb{C}^2$에서 도마뱀 존재를 증명하는 데 확장 가능한가?
• RQ3 선형화가 실패하는 반크레머 고정점 주변의 동역학적 집합의 구조는 어떻게 되는가?
• RQ4 $f^q$ 의 동역학을 구 위에서 전역적으로 어떻게 확장할 수 있으며, 이는 영역 이동과 불변 피트럴의 구조를 드러내는가?
• RQ5 브라우어 선과 크로아상은 도마뱀을 구성하고, 그 불변성과 연결성 보장을 위해 어떤 역할을 하는가?

주요 결과

• 원점 주변의 이웃 영역 $\overline{B}$ 내에 콤파クト하고 연결되어 있으며 완전히 불변이고 전체적인 집합 $\mathcal{H} \subset \overline{B}$ 가 존재하며, 이는 $\mathcal{H} \Subset W^c_{\rm loc}(0)$ 를 만족한다.
• 집합 $\mathcal{H}$ 는 원점을 포함하며 이웃 영역 $B$ 의 경계와도 만난다. 이는 집합이 비퇴화적임을 보장한다.
• 모든 $\mathcal{H}$ 내 점은 잘 정의된 국소 강한 안정다양체 $W^{ss}_{\rm loc}(x)$ 를 가지며, 이러한 다양체들의 합집합은 수직 유사 해석적 디스크의 라미네이션을 이룬다.
• 도마뱀의 존재는 콘 필드, 중심다양체 이론, 브라우어 영역 구성과 같은 위상수학적 방법을 통해 입증된다.
• 페레스-마르코의 크레머 맵에 대한 일차원 도마뱀 존재 정리에 대한 대체적 위상수학적 증명이 제시된다.
• $\mathbb{S}^2$ 상에서 $f^q$ 의 동역학은 $f^q$ 가 영역 이동과 동치가 되는 브라우어 영역 $U(\ell)$ 를 포함하며, 이는 불변 집합을 이웃 영역의 경계까지 연장하는 데 기여한다.