[論文レビュー] Stable commutator length in subgroups of PL(I)

Danny Calegari|ArXiv.org|Jul 20, 2006

Finite Group Theory Research参考文献 5被引用数 6

ひとこと要約

この論文は、単位区間の向きを保つ分岐線形ホメオモルフィズム群 PL⁺(I) の任意の部分群 G に対して、その交換子群 [G,G] に属するすべての元の安定交換子長（scl）が 0 であることを証明している。証明は、メイザーにインspiredされた対角単射のテクニックを用い、交換子の台をずらすことができる元の存在を活用し、scl と有界コホモロジーのバヴァール双対性を適用することで、G 上のすべての準同型がホモモーフィズムであることを示し、結果としてsclの消滅を導く。

ABSTRACT

Let G be a subgroup of PL(I). Then the stable commutator length of every element of [G,G] is zero.

研究の動機と目的

• PL⁺(I) の部分群における安定交換子長の消滅定理を確立すること。これは、区間上での固定点構造と力学的性質が強く制約された群のクラスである。
• 有界コホモロジーとsclの消滅を用いて、Brin–Squierの結果（PL⁺(I) は非アーベル自由部分群を含まない）の新しい証明を提供すること。
• 有限生成かつねじれのない群 G に対して、[G,G] 上でのsclの消滅がアメーヌス性を示唆する、フォン・ノイマンの予想のホモロジー的類似形であるかどうかを検討すること。
• アメーヌス群や高ランクリー群の格子といった、既知のscl消滅群のクラスを、PL⁺(I) 及びその部分群へと拡張すること。
• 区間を自分自身からずらす群の元による力学的ずれの役割を調査し、そのような元が、準同型の成長を制御する対角埋め込みを構成可能にする。

提案手法

• 固定点集合の構造に関する帰納法を用い、まず fix(G) = {0,1} の場合を扱い、その後、有限索引部分群による商をとることで、この場合に還元する。
• 有限個の交換子の台を同時にずらす1つの群元 j を用いて、G₀(∪Jᵢ) → G₀ なる対角単射 Δₙ を構成する。
• すべての i とすべての 0 でない n に対して jⁿ(Jᵢ) ∩ Jᵢ = ∅ であることを保証することで、対角写像を用いて準同型の値を一様に有界化できる。
• 任意の欠陥 ≤1 の準同型 f が交換子上で消えることを示すことにより、Q(G)/H¹(G;ℝ) = 0 が導かれ、バヴァールの定理により [G,G] 上でのsclの消滅が従う。
• G₀(J) が G₀ の正規部分群であること、および Δₙ の像が G₀ に含まれることにより、群構造が保たれることを用いる。
• 鍵となるアイデアは、コンパクトに台を持つ元をその台からずらすことができる元 j の存在を活用し、任意に大きな互いに素な共役を構成可能にすることである。

実験結果

リサーチクエスチョン

• RQ1 PL⁺(I) の任意の部分群 G に対して、その交換子群 [G,G] 上での安定交換子長が常に消えるという性質を満たすか？
• RQ2 PL⁺(I) の部分群におけるsclの消滅を用いて、非アーベル自由部分群の非存在といった非埋め込み結果を導くことは可能か？
• RQ3 PLホメオモルフィズム群に対して、アメーヌス性や有界コホモロジーのアセイクル性を超えて、sclの消滅を保証する力学的条件は存在するか？
• RQ4 対角単射のテクニックを、類似したずれ性質を持つ多様体や木の上に作用する他の群へ一般化可能か？
• RQ5 有限生成かつねじれのない群に対して、[G,G] 上でのsclの消滅が、フォン・ノイマンの予想のホモロジー的類似形が示唆するようにアメーヌス性を示すか？

主な発見

• PL⁺(I) の任意の部分群 G に対して、[G,G] に属するすべての元の安定交換子長は 0 である。
• 証明により、G 上のすべての準同型がホモモーフィズムであることが示され、すなわち Q(G)/H¹(G;ℝ) = 0 である。バヴァールの定理により、[G,G] 上でのsclの消滅が従う。
• 複数の互いに素な台を同時にずらす1つの元 j を用いた対角単射の構成は、準同型の成長を制御し、消滅を強制するために不可欠である。
• この結果により、自然な写像 H²_b(G;ℝ) → H²(G;ℝ) が単射であることが示され、このような群における有界コホモロジーの消滅条件が確認された。
• PL⁺(I) におけるsclの消滅は、Brin–Squierの定理（PL⁺(I) は非アーベル自由部分群を含まない）の新しい証明を可能にする。
• fix(G) が端点以外の点を含んでも、G₀ が有限個の区間上で固定点集合が自明になるように還元することで、この方法は依然有効である。