[논문 리뷰] New classes of $C^1$ robustly transitive maps with persistent critical points

Cristina Lizana, Wagner Ranter|arXiv (Cornell University)|2019. 02. 18.

Homotopy and Cohomology in Algebraic Topology인용 수 1

한 줄 요약

이 논문은 2-토러스와 클라인 병에서 $C^1$-강건하게 전이 가능한 엔도모르피즘의 새로운 클래스를 구축하며, 비가역 도함수를 가진 상태에서도 지속적인 임계점이 존재하도록 한다. 이를 위해 확장형 선형 사상의 변형을 통해 '블렌더'(blender)를 생성하고, 이는 비가역 도함수 상태에서도 강건한 전이성을 보장하는 동역학적 메커니즘이다. 주요 결과는 $1 < |\mu| \ll |\lambda|$를 만족하는 고유값을 가진 선형 엔도모르피즘의 호모토피 클래스 내에서 이러한 맵이 존재한다는 것이며, 이는 이전 연구의 격차를 메우고 이전 작업에서의 오류를 수정한다.

ABSTRACT

We exhibit a new large class of $C^1$ open examples of robustly transitive maps displaying persistent critical points in the homotopy class of expanding endomorphisms acting on the two dimensional Torus and the Klein bottle.

연구 동기 및 목표

• 2-토러스와 클라인 병에서 지속적인 임계점을 가지며 $C^1$-강건하게 전이 가능한 엔도모르피즘의 새로운 구축.
• [7]에서 이전에 제시된 구성의 결함을 수정하며, 비가역 도함수에 대한 임계 사상에서 이미지 내부의 성질에 대한 잘못된 가정으로 인해 강건한 전이성의 추론이 실패한 바를 시정한다.
• 임계점이 존재하는 상황에서도 $1 < |\mu| \ll |\lambda|$를 만족하는 선형 엔도모르피즘의 호모토피 클래스 내에서 강건한 전이성이 달성될 수 있음을 입증한다.
• 확장형 사상의 제어된 변형을 통해 '블렌더'를 생성하고, 이는 소규모 $C^1$-편미분에 대해 전이성이 유지되도록 보장한다.

제안 방법

• 고유값이 $1 < |\mu| \ll |\lambda|$인 확장형 선형 엔도모르피즘 $L$을 변형하여, 약한 방향에 대해 $C^0$-소형, $C^1$-대형의 편미분을 가해 작은 상자 $B$ 내에서 '블렌더'를 생성한다.
• 가족 $F_{s,t} = \Theta_s \circ F_t$를 구성하며, $\Theta_s$는 약한 방향을 압축하고 불안정 원소 필드를 유지하여 블렌더 구조가 유지되도록 한다.
• 강건한 블렌더를 확보하기 위해 강력한 불안정 폴리아션이 최소임을 확인하고, 소규모 편미분 하에서 어떤 불안정 궤적의 반복도 블렌더 영역을 횡단함을 보장한다.
• 블렌더 영역에서 멀리 떨어진 곳에 인위적 임계점을 도입하여, $C^1$-편미분 하에서도 지속되도록 하되, 블렌더 역학에 영향을 주지 않도록 한다.
• 코너 필드 $C_\alpha$를 사용하고, 모든 근처 맵이 이를 유지하며, $\|DG(v)\| \geq \lambda' > 1$를 통해 벡터를 균일하게 확장함을 검증함으로써 쌍곡성과 강건한 전이성을 확보한다.
• 모든 불안정 궤적이 결국 블렌더 영역을 횡단하고, 하이퍼볼릭 고정점의 국소 안정 집합과 교차함을 보여 이로써 조밀한 궤적이 존재함을 증명함으로써 강건한 전이성을 입증한다.

실험 결과

연구 질문

• RQ1 선형 엔도모르피즘의 호모토피 클래스에서 $1 < |\mu| \ll |\lambda|$를 만족하는 $C^1$-강건하게 전이 가능한 엔도모르피즘을 지속적인 임계점이 존재하도록 구성할 수 있는가?
• RQ2 클라인 병은 $C^1$-강건하게 전이 가능한 엔도모르피즘을 지속적인 임계점이 존재하도록 가질 수 있는가?
• RQ3 [7]에서 제시된 구성은 $1 < |\mu| < |\lambda|$를 만족하는 $L$과 호모토피인 맵에 대해 강건한 전이성을 주장했지만, 이는 잘못된 가정으로 실패했으며, 이를 수정하고 검증할 수 있는가?
• RQ4 임계점으로 인해 열린 집합의 이미지 내부가 공집합일 수 있는 상황에서, 어떤 동역학적 메커니즘이 강건한 전이성을 보장하는가?
• RQ5 확장형 사상의 $C^1$-편미분에서 '블렌더'를 어떻게 구성할 수 있으며, 이는 임계점 존재 시에도 전이성을 유지하도록 보장하는가?

주요 결과

• 저자들은 2-토러스와 클라인 병에서 지속적인 임계점을 가지며 $C^1$-강건하게 전이 가능한 엔도모르피즘을 구축하였으며, 이는 $1 < |\mu| \ll |\lambda|$를 만족하는 선형 엔도모르피즘의 호모토피 클래스 내에서 이러한 맵이 존재함을 확인한다.
• 이전 연구 [7]의 결함을 수정하기 위해, 잘못된 가정(열린 집합의 이미지 내부가 비어있지 않다)에 의존하는 대신, 적절한 블렌더 메커니즘을 사용함으로써 오류를 시정한다.
• 확장형 선형 사상의 $C^0$-소형, $C^1$-대형 변형을 통해 성공적으로 '블렌더'를 생성하였으며, 이는 비가역 도함수 상태에서도 강건한 전이성을 보장한다.
• 모든 불안정 궤적이 결국 블렌더 영역을 횡단하고 하이퍼볼릭 고정점의 국소 안정 집합과 교차함을 보여, 강건한 전이성이 확보된다.
• 유리수 및 무리수 고유값 모두에 대해 이 방법이 작동하며, 무리수 고유값의 경우 블렌더와 전이성 성질을 유지하기 위해 구조를 약간 수정하기만 하면 된다.
• 결과적으로, $1 < |\mu| \ll |\lambda|$를 만족하는 확장형 엔도모르피즘의 호모토피 클래스 내에서 $C^1$-강건한 전이성이 임계점이 존재하는 경우에도 가능함을 확인한다.