[논문 리뷰] Groups of diffeomorphisms of one-manifolds, III: Nilpotent subgroups

Benson Farb, John Franks|arXiv (Cornell University)|2001. 08. 13.

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

한 줄 요약

이 논문은 모든 유한생성, 토피온이 없는 노르멘트 군이 일차원 다양체($\mathbb{R}$, $S^1$, 또는 $[0,1]$)의 $C^1$ 미오모르피즘 군에 임베딩됨을 증명하며, 이는 $C^2$의 경우 이러한 군들이 아벨이어야 한다는 사실과 뚜렷한 대비를 이룹니다. 주요 기여는 $\mathbb{Z}^n$ 위에 사전순서를 부여하고, 이를 바탕으로 선형에서의 구조적 $C^1$ 작용을 구성하며, 이와 관련된 이동 수 준동형사상의 사용입니다.

ABSTRACT

Plante-Thurston proved that every nilpotent subgroup of $\Diff^2(S^1)$ is abelian. One of our main results is a sharp converse: $\Diff^1(S^1)$ contains every finitely-generated, torsion-free nilpotent group.

연구 동기 및 목표

• 일차원 다류에서 미오모르피즘 군의 부분군으로서의 노르멘트 군의 구조를 이해하고자 하며, 특히 정규성(r)과 위상수학적 구조(M)와의 관계를 고려한다.
• $C^2$의 강성(Plante-Thurston: 노르멘트 부분군은 아벨이어야 한다)과 $C^1$의 유연성 사이의 대비를 해결하고자 한다.
• 유한생성, 토피온이 없는 노르멘트 군에 대한 $\mathbb{R}$, $S^1$, $[0,1]$에서의 명시적 $C^1$ 작용을 구성하고자 한다.
• 이를 잔여적으로 토피온이 없는 노르멘트 군으로 일반화하여 확장하고자 한다.
• 특히 $C^2$의 경우, 더 높은 정규성에서의 노르멘트 작용에 대한 위상적 및 동역학적 제약 조건을 확립하고자 한다.

제안 방법

• $\mathbb{Z}^n$에 사전순서를 도입하고, 이 순서를 보존하는 군 작용을 통해 $\mathbb{R}$에서의 $C^1$ 작용을 구성한다.
• 일련의 $N$-불변 보렐 측도 $\mu$에 관련된 이동 수 준동형사상 $\tau_\mu: N \to \mathbb{R}$를 사용하여 고정점 행동을 분석한다.
• Plante-Thurston의 결과를 응용하여, $\operatorname{Diff}^2(I)$, $\operatorname{Diff}^2([0,1))$, 또는 $\operatorname{Diff}^2(S^1)$ 내의 $C^2$ 노르멘트 부분군은 아벨이어야 한다는 사실을 핵심 제약 조건으로 사용한다.
• 하향 중심열의 구조와 교환자 항등식(예: $[g^m, f^{-n}] = h^{mn}$)을 활용하여, 비아벨 가정 하에 모순을 이끌어낸다.
• PL $S^1$ 위에서의 Denjoy 정리를 적용하여, $S^1$ 위에서의 PL 노르멘트 작용은 반드시 아벨이어야 한다는 것을 보인다.
• 고정점 집합을 분석하고, $C^2$ 노르멘트 작용이 구간에서 아벨임을 안다는 사실을 이용하여, $\mathbb{R}$ 위의 $C^2$ 경우를 구간의 경우로 환원한다.

실험 결과

연구 질문

• RQ1 일차원 다류 $M$에 대해 $\operatorname{Diff}^1(M)$의 노르멘트 부분군의 최대 가능 노르멘트 차수는 무엇인가요?
• RQ2 미오모르피즘 군의 정규성($C^1$ 대비 $C^2$)은 노르멘트 부분군의 구조에 어떤 영향을 미치나요?
• RQ3 모든 유한생성, 토피온이 없는 노르멘트 군은 $M = \mathbb{R}, S^1, [0,1]$일 때 $\operatorname{Diff}^1(M)$의 부분군으로서 실현될 수 있는가요?
• RQ4 모든 원소가 고정점을 가지는 노르멘트 군이 $\mathbb{R}$에서 $C^2$ 미오모르피즘으로 작용할 경우, 어떤 위상적 제약 조건이 발생하는가요?
• RQ5 이 $C^1$ 작용의 구성은 잔여적으로 토피온이 없는 노르멘트 군과 같은 더 넓은 군의 범주로 어떻게 확장될 수 있는가요?

주요 결과

• 모든 유한생성, 토피온이 없는 노르멘트 군은 $M = \mathbb{R}, S^1, [0,1]$에 대해 $\operatorname{Diff}^1(M)$의 부분군으로 임베딩된다.
• $C^1$ 정규성은 정확하다: $\operatorname{Diff}^2(M)$에 임베딩되지 않는, 유한생성, 토피온이 없는 노르멘트 군이 존재한다.
• $\operatorname{Diff}^2(\mathbb{R})$ 내의 모든 노르멘트 부분군은 메타아벨이다. 즉, 그 교환자 부분군은 아벨이다.
• $\operatorname{Diff}^2(\mathbb{R})$ 내의 노르멘트 부분군의 모든 원소가 고정점을 가지면, 전체 군은 아벨이다.
• 모든 유한생성, 잔여적으로 토피온이 없는 노르멘트 군은 $M = \mathbb{R}, S^1, [0,1]$에 대해 $\operatorname{Diff}^1(M)$에 임베딩된다.
• $n \times n$ 하삼각 정수 행렬로 이루어진 군 $\mathcal{N}_n$은 $\mathbb{R}$에서 $C^1$ 작용을 가지지만, $n > 3$이면 $C^2$ 작용은 가지지 못한다.