[논문 리뷰] Centralizers of C^1-generic diffeomorphisms

Christian Bonatti, Sylvain Crovisier외 1명|ArXiv.org|2006. 10. 02.

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

한 줄 요약

이 논문은 $C^1$-일반적인 심플렉틱 미분형과 체적을 보존하는 미분형이 2차원 이상의 컴acts 매니폴드 위에서 자명한 중심화자를 가지며, 이는 비자명한 매끄러운 대칭을 갖지 않는다는 것을 증명한다. $C^1$ 위상에서 잔여집합을 사용하고 초구형 주기점의 역학을 분석함으로써, 이러한 미분형의 잔여부분집합에 속하는 모든 경우에 대해, 어떤 가환하는 미분형도 원래의 미분형의 거듭제곱이어야 한다는 것을 증명함으로써, 이 분야에서 오랫동안 제기되어 온 추측을 확인한다.

ABSTRACT

On the one hand, we prove that the spaces of C^1 symplectomorphisms and of C^1 volume-preserving diffeomorphisms both contain residual subsets of diffeomorphisms whose centralizers are trivial. On the other hand, we show that the space of C^1 diffeomorphisms of the circle and a non-empty open set of C^1 diffeomorphisms of the two-sphere contain dense subsets of diffeomorphisms whose centralizer has a sub-group isomorphic to R.

연구 동기 및 목표

• 2차원 이상의 컴팩트 매니폴드에서 $C^1$ 심플렉틱 미분형과 체적을 보존하는 미분형에 대한 자명한 중심화자의 일반성 문제를 해결하는 것.
• 이러한 클래스에 대해 자명한 중심화자가 $C^1$ 위상에서 잔여적임을 입증하는 것.
• 가환하는 미분형의 역학을 초구형 주기점 근처에서 분석하여 중심화자의 자명성을 유도하는 것.
• $S^1$과 $S^2$에서 $C^1$-일반적인 미분형에 대해 중심화자의 구조를 규명하고, 이가 자명한지 또는 $\mathbb{R}$와 동형인지 여부를 밝히는 것.

제안 방법

• Baire 카테고리 논증을 사용하여 $\text{Diff}^1(M)$, $\text{Symp}^1(M)$, $\text{Diff}^1_\mu(M)$ 에서 각각 잔여집합 $\mathcal{R}$, $\mathcal{R}_{\text{symp}}$, $\mathcal{R}_{\mu}$ 를 구성하는 것.
• 이러한 잔여집합에 속하는 $f$에 대해, $f$와 가환하는 모든 $g$ 는 초구형 주기점의 안정다양체와 불안정다양체 위에서 $f$의 거듭제곱으로 작용해야 한다는 것을 증명하는 것.
• 주기적 접근성 성질을 이용하여 국소적 동형을 전역적 자명성으로 확장하는 것.
• 지역적 미분형의 이sov의와 생성함수를 포함한, 심플렉틱 및 체적을 보존하는 설정에서의 변형 기법을 적용하여, 부분다양체에 지지된 $C^1$-소형 미분형을 구성하는 것.
• $C^1$-일반적인 미분형이 주기점의 안정다양체와 불안정다양체의 폐쇄에서 조밀한 궤도를 가진다는 사실을 활용하는 것.
• 국소적 $C^1$-심플렉틱 미분형 확장 결과(보조정리 A.2)와 체적을 보존하는 변형 기법(보조정리 A.4)을 이용하여, 원하는 성질을 가진 전역적 미분형을 구성하는 것.

실험 결과

연구 질문

• RQ1 2차원 이상의 컴팩트 매니폴드에서 $C^1$-미분형의 자명한 중심화자를 가지는 집합은 $C^1$-심플렉틱 미분형 공간에서 잔여적인가?
• RQ2 2차원 이상의 컴팩트 매니폴드에서 $C^1$-체적을 보존하는 미분형의 자명한 중심화자를 가지는 집합은 $C^1$-위상에서 잔여적인가?
• RQ3 $S^1$과 $S^2$에서 $C^1$-일반적인 미분형에 대해 중심화자의 구조는 어떠한가? 자명한가, 아니면 $\mathbb{R}$와 동형인가?
• RQ4 $C^1$-일반적인 미분형의 중심화자가 다이내믹스가 아놀드 또는 아르키메데스 A가 아닐 때에도 자명해질 수 있는가?
• RQ5 주기적 접근성 성질이 $C^1$-일반적인 미분형에 대해 자명한 중심화자를 유도하는가?

주요 결과

• $C^1$-심플렉틱 미분형이 자명한 중심화자를 가지는 집합은 임의의 2차원 이상의 연결 컴팩트 매니폴드 $M$ 에 대해 $\text{Symp}^1(M)$ 에서 잔여적이다.
• $C^1$-체적을 보존하는 미분형이 자명한 중심화자를 가지는 집합은 임의의 2차원 이상의 연결 컴팩트 매니폴드 $M$ 에 대해 $\text{Diff}^1_\mu(M)$ 에서 잔여적이다.
• $S^1$에서 $C^1$-일반적인 미분형에 대해, 주기적 접근성 성질이 성립하면 중심화자는 자명하지만, 일부 경우에서는 $\mathbb{R}$와 동형인 부분군을 포함한다.
• $S^2$에서 $C^1$-일반적인 미분형에 대해, 중심화자가 $\mathbb{R}$와 동형인 부분군을 포함하는 조밀한 부분집합이 존재함을 보여, 비자명한 대칭이 있음을 시사한다.
• $C^1$-일반적인 미분형이 주기적 접근성 성질을 만족하면 중심화자는 자명하다. 이 성질은 중심이 1차원인 부분적으로 초구형인 아르키메데스 A 및 부분적으로 초구형인 미분형에 대해 성립한다.
• 이 결과들은 $\text{Diff}^1_\mu(M)$ 에서의 잔여집합 $\mathcal{R}_{\mu}$ 를 통해 확립되며, 이에 대해 임의의 $f \in \mathcal{R}_{\mu}$ 와 가환하는 모든 $g$ 는 각각의 초구형 주기점의 안정다양체 또는 불안정다양체 위에서 $f$의 거듭제곱으로 작용해야 한다.