[논문 리뷰] Diffeomorphism groups of balls and spheres

Kathryn Mann|arXiv (Cornell University)|2013. 04. 09.

Geometric and Algebraic Topology참고 문헌 8인용 수 3

한 줄 요약

이 논문은 구와 볼의 미분구조군의 대수적 및 동역학적 구조를 조사하며, 홀수 차원의 구에서의 매끄러운 미분구조군의 항등원 성분이 어떤 볼의 $C^1$ 미분구조군으로의 비자명한 준동형사상이 존재하지 않음을 증명한다. 이는 Ghys와 Herman의 결과를 일반화하며, $S^1$에서 매끄럽게 작용하는 유한 생성, 토크션 없는 군이 2차원 볼에서 $C^1$ 작용으로 확장되지 않는 예를 구성하고, 구에서의 군 작용을 볼로 확장하는 데 있어 근본적인 대수적 장애를 규명한다.

ABSTRACT

In this paper we discuss the relationship between groups of diffeomorphisms of spheres and balls. We survey results of a topological nature and then address the relationship as abstract (discrete) groups. We prove that the identity component Diff_0(S^{2n-1}) of the group of smooth diffeomorphisms of S^{2n+1} admits no nontrivial homomorphisms to the group of C^1 diffeomorphisms of the ball B^m for any n and m. This result generalizes theorems of Ghys and Herman. We also examine finitely generated subgroups of Diff_0(S^n) and produce an example of a finitely generated torsion free group Gamma with an action on the circle by smooth diffeomorphisms that does not extend to a C^1 action of Gamma on the disc.

연구 동기 및 목표

• 미분구조군의 대수적 및 동역학적 특성, 특히 구와 볼 간의 차이를 이해하기 위해.
• 유한 생성 군의 작용이 구에서 매끄럽게 정의된 경우, 이를 $C^1$ 미분구조군을 통해 볼로 확장할 수 있는지 조사하기 위해.
• $\operatorname{Diff}^\infty_0(S^{2n-1})$에서 $\operatorname{Diff}^1_0(B^m)$로의 비자명한 군 준동형사상 존재 여부를 해결하기 위해.
• $S^1$에서 매끄럽게 작용하는 구체적 예를 제시하여, 이들이 $B^2$에서 $C^1$ 작용으로 확장되지 않는다는 것을 보여주기 위해.
• Ghys와 Herman의 결과를 일반화하고 확장하여, 미분구조군에 대한 군론적 분할이 존재하지 않는다는 점을 규명하기 위해.

제안 방법

• 홀수 차원의 구에서 유한 차수의 미분구조군을 이용해 확장되지 않는 작용을 가진 부분군을 구성하기 위해.
• 표현 이론과 행렬 중심화자 분석을 적용하여, 특정 군이 충실한 선형 표현을 가질 수 없음을 보여주기 위해.
• 반복적 $p$-거듭제곱 미분구조군의 고정점 집합에 대한 귀납적 감소를 적용하여 모순을 도출하기 위해.
• Franks와 Handel의 유한군 내에서의 왜곡 원소 이론을 활용하여 핵심 예를 구성하기 위해.
• 미분구조군의 정상부분군의 구조를 분석하여, 임의의 준동형사상이 반드시 자명해야 한다는 것을 보여주기 위해.
• 콘 구조와 호위 연속성 정리를 활용하여 위상적 확장성과 스무스 확장성의 특성을 비교하기 위해.

실험 결과

연구 질문

• RQ1 $\operatorname{Diff}^\infty_0(S^{2k-1})$에서 $\operatorname{Diff}^1_0(B^m)$로의 비자명한 군 준동형사상이 어떤 $k \geq 1$ 및 $m$ 에 대해 존재하는가?
• RQ2 유한 생성, 토크션 없는 군 $\Gamma$ 가 $S^1$에서 매끄럽게 작용할 경우, 항상 $B^2$에서 $C^1$ 작용으로 확장될 수 있는가?
• RQ3 유한 차수의 미분구조군이 구에서 볼로의 군 작용 확장을 방해하는 데 어떤 역할을 하는가?
• RQ4 제약 사상 $\pi: \operatorname{Diff}^r_0(B^{n+1}) \to \operatorname{Diff}^r_0(S^n)$ 에 대해 군론적 분할의 존재를 방해하는 대수적 장애가 존재하는가?
• RQ5 매끄러운 범주에서 구와 볼의 미분구조군의 정상부분군 구조는 어떻게 다를까?

주요 결과

• $k \geq 1$ 및 모든 $m$ 에 대해 $\operatorname{Diff}^\infty_0(S^{2k-1})$에서 $\operatorname{Diff}^1_0(B^m)$로의 비자명한 군 준동형사상이 존재하지 않으며, Herman의 결과를 일반화한다.
• 유한 생성, 토크션 없는 군 $\Gamma$ 가 존재하여, $S^1$에서 매끄럽게 작용하지만 $B^2$에서 $C^1$ 작용으로 확장되지 않으며, 이는 $C^\infty$ 확장과의 뚜렷한 대비를 보인다.
• $\operatorname{Diff}^\infty_0(S^{2n-1})$ 는 볼에서의 작용을 통해 인식되는 $\operatorname{GL}(m,\mathbb{C})$로의 비자명한 선형 표현을 가지지 않으며, 중심화자 및 정상부분군의 장애로 인해 그러하다.
• 특정 유한 차수의 미분구조군이 $S^{2n-1}$에서 작용하는 경우, 그 도함수군의 유일한 정상부분군은 생성자 거듭제곱으로 생성되는 순환군 뿐이며, 이는 선형화 과정에서 모순을 유도한다.
• 확장되지 않는 작용의 구성은 홀수 차원의 구에서 자유롭고 유한 차수의 미분구조군의 존재성과 그 상향 끌림 성질에 기반한다.
• 확장 실패의 근본 원인은 위상적 요인이 아니라 대수적 요인이며, 위상적 분할(예: 콘 사상 등을 통한)은 호메오모르피 범주에서는 존재하기 때문이다.