[논문 리뷰] The centralizer of a C1 generic diffeomorphism is trivial

Bonatti, Christian, Sylvain Crovisier외 1명|ArXiv.org|2007. 05. 02.

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

한 줄 요약

이 논문은 컴acts한 연결 다중다양체 위의 일반적인 $C^1$ 미분동형사상에 대해 중심화군—해당 사상과 교환하는 미분동형사상들의 집합—이 자명하다는 것을 증명한다. 즉, 오직 그 사상의 정수 거듭제곱들만이 자신과 교환한다. 증명은 국소적 변형 기법과 전역적 구조적 추론을 조합하며, $C^1$ 위상에서 잔여성(residuality)을 활용하여 이러한 자명한 중심화군이 일반적임을 보이며, 다만 열려 있지 않음을 동시에 밝힌다.

ABSTRACT

In this announcement, we describe the solution in the C1 topology to a question asked by S. Smale on the genericity of trivial centralizers: the set of diffeomorphisms of a compact connected manifold with trivial centralizer residual in Diff^1 but does not contain an open and dense subset.

연구 동기 및 목표

• 콤팩트 연결 다중다양체 위의 미분동형사상에 대해, 자명한 중심화군이 $C^1$ 위상에서 일반적인가에 대한 S. 스말의 질문을 해결하기 위해.
• 자신의 중심화군이 자명한 $C^1$ 미분동형사상들의 집합이 $\mathrm{Diff}^1(M)$에서 잔여적임을 증명하여 스말의 질문의 두 번째 부분에 긍정적인 답을 제시하기 위해.
• 이 집합이 열려 있지 않음을 보여, 스말의 질문의 세 번째 부분에 부정적인 답을 제시하기 위해, 비자명한 중심화군을 가진 $C^\infty$ 미분동형사상들의 $C^1$-밀도를 가진 가족을 구성함으로써.
• 일반적인 $f$에 대해, 어떤 $f$와 교환하는 미분동형사상 $g$는 밀도가 높은 열린 부분집합에서 $g = f^\alpha$를 만족하며, 이 때 $\alpha$는 국소적으로 상수임을 보여주기 위해.

제안 방법

• 사상 $f$가 많은 반복에서 약간 선형적으로 행동하는 작은 이웃에서, $f$의 도함수를 국소적으로 변형시키는 기법을 사용하기 위해.
• 비순환 궤도를 제어하고 장시간 간격 동안 변형을 확산시키기 위해, 큰 복귀 시간을 가지는 위상적 타워를 적용하기 위해.
• 미분동형사상의 공간에서 리프시츠 호메오모르피즘의 컴acts 부분집합 공간으로의 상부하나연속 함수를 도입하여 중심화군의 연속성을 분석하기 위해.
• 상부하나연속성과 바이어 정리의 응용을 통해 중심화군 사상의 연속점 집합이 잔여집합임을 밝혀내기 위해.
• 상부하나연속성과 $C^1$ 닫힘 보조정리를 결합하여 잔여집합 내에서 초구점이 존재함을 보장하고, 이는 비유한 복귀 시간에 대한 모순 추론을 가능하게 하기 위해.
• 도함수의 성장에 의한 모순 추론: 중심화군 원소들이 균일하게 리프시츠이지만, 비유한 거듭제곱에 대응한다면 도함수의 크기가 지수적으로 증가하여 리프시츠 조건을 위반함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 자신의 중심화군이 자명한 $C^1$ 미분동형사상들의 집합이 $\mathrm{Diff}^1(M)$에서 밀도가 있는가?
• RQ2 이 집합이 $\mathrm{Diff}^1(M)$에서 잔여적인가? 즉, 조밀한 $G_\delta$ 부분집합을 포함하는가?
• RQ3 자신의 중심화군이 자명한 $C^1$ 미분동형사상들의 집합이 열려 있고 밀도가 있는가?
• RQ4 일반적인 $C^1$ 미분동형사상은 연속적인 한 매개변수 군(즉, 플로우)에 포함되거나 루트를 가질 수 있는가?
• RQ5 일반적인 $C^1$ 미분동형사상의 중심화군의 구조는 무엇이며, 노름성 또는 해소 가능성을 포함한 군론적 성질과 어떻게 관련되는가?

주요 결과

• 자신의 중심화군이 자명한 $C^1$ 미분동형사상들의 집합은 $\mathrm{Diff}^1(M)$에서 잔여적이다. 이는 스말의 질문의 두 번째 부분에 대한 긍정적 답변을 확인한다.
• 일반적인 $f$에 대해, $f$와 교환하는 모든 $g$는 $M$의 밀도가 높은 열린 부분집합에서 $g = f^\alpha$를 만족하며, 이 때 $\alpha$는 국소적으로 상수이다.
• 일반적인 $f$에 대해, 지수 $\alpha$는 전역적으로 일정하므로 $Z^1(f) = \langle f \rangle$가 되며, 중심화군이 자명하다는 것을 의미한다.
• 자신의 중심화군이 자명한 $C^1$ 미분동형사상들의 집합은 열려 있지 않다. $C^1$-밀도를 가진 $C^\infty$ 미분동형사상들의 가족 중에서 중심화군이 큰 경우가 존재하기 때문이다.
• 차원이 $\geq 3$인 경우, 이러한 예는 주기점의 열린 집합을 포함한다. 저차원에서는 플로우의 시간-1 사상으로부터 유도된다.
• 일반적인 $C^1$ 미분동형사상의 중심화군은 $\langle f \rangle$를 초월해 비자명한 아벨군을 포함할 수 없으며, 노름군의 경우에도 마찬가지로 성립한다.