[論文レビュー] Groups of diffeomorphisms of one-manifolds, III: Nilpotent subgroups

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

Geometric and Algebraic Topology参考文献 3被引用数 9

ひとこと要約

この論文は、任意の有限生成で torsion-free な可解群が、1次元多様体（$\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.

研究の動機と目的

• 1次元多様体の微分同相写像群内の可解部分群の構造を理解すること、特に正則性（r）と位相的性質（M）の関係を明らかにすること。
• $C^2$ の剛性（Plante-Thurston：可解部分群はアーベルでなければならない）と $C^1$ の柔軟性との対比を解消すること。
• 有限生成で torsion-free な可解群の $\mathbb{R}$, $S^1$, $[0,1]$ への明示的な $C^1$ 行動を構築すること。
• この構築の一般化により、残留的に torsion-free な可解群への拡張を達成すること。
• 特に $C^2$ のような高正則性における可解行動の位相的および力学的制約を確立すること。

提案手法

• 群がこの順序を保存するように作用するように、$\mathbb{Z}^n$ に辞書式順序を導入することで、$\mathbb{R}$ 上の $C^1$ 行動を構築する。
• 群 $N$-不変な $\mathbb{R}$ 上のボレル測度 $\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 の定理を PL 同相写像に適用する。
• 固定点集合を分析し、$C^2$ 可解行動が区間上でアーベルであることを用いることで、$\mathbb{R}$ 上の $C^2$ の場合を区間の場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 1次元多様体 $M$ に対して、$\operatorname{Diff}^1(M)$ の可解部分群としての最大の可解クラスは何か？
• RQ2 微分同相写像群の正則性（$C^1$ 対 $C^2$）は、可解部分群の構造にどのように影響するか？
• RQ3 すべての有限生成で torsion-free な可解群は、$M = \mathbb{R}, S^1, [0,1]$ に対して $\operatorname{Diff}^1(M)$ の部分群として実現可能か？
• RQ4 $C^2$ 微分同相写像で作用する可解群が、すべての元に固定点を持つとき、どのような位相的制約が生じるか？
• RQ5 この $C^1$ 行動の構築を、残留的に torsion-free な可解群のようなより広い群のクラスにどの程度まで拡張できるか？

主な発見

• すべての有限生成で torsion-free な可解群は、$M = \mathbb{R}, S^1, [0,1]$ に対して $\operatorname{Diff}^1(M)$ の部分群として埋め込まれる。
• $C^1$ 正則性は鋭い：$\operatorname{Diff}^2(M)$ に埋め込まれない有限生成で torsion-free な可解群が存在する。
• $\operatorname{Diff}^2(\mathbb{R})$ の任意の可解部分群はメタアーベルである、すなわちその交換子群はアーベルである。
• $\operatorname{Diff}^2(\mathbb{R})$ の可解部分群のすべての元が固定点を持つならば、その群全体はアーベルである。
• すべての有限生成で残留的に torsion-free な可解群は、$M = \mathbb{R}, S^1, [0,1]$ に対して $\operatorname{Diff}^1(M)$ に埋め込まれる。
• $n \times n$ の下三角整数行列で対角成分が1の群 $\mathcal{N}_n$ は、$\mathbb{R}$ 上に $C^1$ 行動をもつが、$n > 3$ のとき $C^2$ 行動は持たない。