[논문 리뷰] Fixed points of discrete nilpotent group actions on S^2

S. Druck, Fuquan Fang외 1명|ArXiv.org|2001. 09. 03.

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

한 줄 요약

이 논문은 $S^2$ 위의 이산 니르푸otent 군 작용에 대해, 항등원에 대해 $C^1$-근처인 $C^1$ 미분구상($C^1$ diffeomorphisms)으로 생성된 경우($k$-니르푸otent 길이에 따라 달라지는 이웃 $ ildes{ cal{V}}_k$ 내부에 있을 때), 고정점이 존재함을 증명한다. 더 나아가, 이러한 작용이 유한한 비자명 궤도를 가질 경우, 최소 두 개의 고정점을 가져야 하며, 이는 보나티의 교환 미분구상에 대한 고정점 정리가 더 높은 단계의 니르푸otent 군으로 일반화됨을 의미한다.

ABSTRACT

We prove that for each integer k of at least 2, there is an open neigborhood ν_k of the identity map of the 2-sphere S^2, in C^1-topology such that: if G is a nilpotent subgroup of Diff^1(S^2) with length k of nilpotency, generated by elements in ν_k, then the natural action on S^2 has non-empty fixed point set. Moreover, the G-action has at least two fixed points if the action has a finite non-trivial orbit.

연구 동기 및 목표

• S² 상의 교환 $C^1$ 미분구상에 대한 보나티의 고정점 정리를 이산 니르푸otent 군 작용으로 확장하기.
• 항등원에 대해 $C^1$-근처인 이웃에 속하는 원소들로 생성된 $k$-니르푸otent 부분군에 대해 고정점의 존재를 확립하기.
• 유한한 비자명 궤도를 가진 이러한 작용에서 최소 두 개의 고정점이 존재함을 증명하기.
• 연결된 니르푸otent 리 군 작용에 대한 플란테의 결과를 이산 니르푸otent 군 작용으로 S² 상에서 일반화하기.

제안 방법

• 항등원에 대해 $C^1$-열린 이웃의 감소하는 중첩 시퀀스인 $\mathcal{V}_k$를 $\mathrm{Diff}^1(S^2)$ 내에서 구성하며, 생성자의 수와는 무관하게 유지한다.
• 니르푸otent 길이 $k$에 대한 귀납법을 사용하여, 하향 중심 시퀀스를 통해 문제를 낮은 길이의 니르푸otent 부분군으로 환원한다.
• 메인 레마를 적용하여, $Fix(G_{(1)}, f_1, \dots, f_n)$ 이 비어있고 $f_{n+1}$ 가 그 집합에 작용할 경우, $Fix(G_{(1)}, f_1, \dots, f_{n+1})$ 도 비어있지 않음을 보인다.
• $\omega$-반복 점과 미분구상과 관련된 특성 곡선을 사용하여, 이러한 곡선이 둘러싸는 디스크 내 고정점을 식별한다.
• 고정점 집합의 $f$-불변성과 보조정리 4.4를 활용하여, 중첩된 디스크 내에서 반복적으로 고정점을 구성한다.
• 닫힌 고정점 집합의 유한 교차 성질을 이용하여, 유한 생성 집합에서의 결과를 무한 생성 집합으로 확장한다.

실험 결과

연구 질문

• RQ1 항등원에 대해 $C^1$-근처인 원소들로 생성된 $k$-니르푸otent 부분군 $G \subset \mathrm{Diff}^1(S^2)$ 는 고정점을 가지는가?
• RQ2 유한한 비자명 궤도를 가진 이러한 작용이 최소 두 개의 고정점을 가져야 하는가?
• RQ3 보나티의 결과가 S² 상의 교환 미분구상에 대해 일반화되어 더 높은 단계의 니르푸otent 군으로 확장될 수 있는가?
• RQ4 니르푸otent 군 작용의 중심에 속하는 원소 $h$ 가 유한한 고정점 $2 \leq \#\mathrm{Fix}(h) < \infty$ 를 가질 경우, 전체 $G$-작용이 최소 두 개의 고정점을 가져야 하는가?
• RQ5 플란테의 정리(연결된 니르푸otent 리 군 작용에 대한 것)는 S² 상의 이산 니르푸otent 군 작용으로 확장될 수 있는가?

주요 결과

• 모든 $k \geq 2$ 에 대해, 항등원에 대해 $C^1$-이웃인 $\mathcal{V}_k$ 가 존재하여, $\mathcal{V}_k$ 내 원소들로 생성된 $k$-니르푸otent 부분군 $G \subset \mathrm{Diff}^1(S^2)$ 는 비어있지 않은 고정점 집합을 가진다.
• 만약 $G$-작용이 유한한 비자명 궤도를 가질 경우, 고정점 집합은 최소 두 개의 점을 포함한다.
• 생성자들이 $\mathcal{V}_k$ 내에 있을 경우, 생성자의 수에 관계없이 $k$-니르푸otent 군 작용의 고정점 집합은 비어있지 않다.
• 중심에 속하는 원소 $h$ 가 $2 \leq \#\mathrm{Fix}(h) < \infty$ 를 가지면, 전체 $G$-작용은 최소 두 개의 고정점을 가져야 한다.
• 결과는 $S^2 \to \mathbb{RP}^2$ 의 전방사 $\mathbb{RP}^2$ 상으로 그대로 확장되며, 고정점 결론이 유지된다.
• 이 정리들은 폴리에이션 이론에 적용되어, S² 또는 $\mathbb{RP}^2$ 상의 자명한 피브레이션의 $C^1$-작은 변형은 섬유 근처에 컴팩트 리브를 가져야 함을 보여준다.