[論文レビュー] Stable length in stable groups

D. Kotschick|arXiv (Cornell University)|Jun 17, 2008

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

ひとこと要約

この論文は、マズール・スウィンドルの群論的類似を用いて、安定写像類群、無限個のストランドを持つブレード群、自由群の安定自己同型群などの特定の無限和群において、安定交換子長が消えることを確立する。主な結果は、これらの群における任意の有向準同型は同型に一致することであり、バヴァールの双対性定理により、安定交換子長が自明であることを示唆する。

ABSTRACT

We show that the stable commutator length vanishes for certain groups defined as infinite unions of smaller groups. The argument uses a group-theoretic analogue of the Mazur swindle, and goes back to the works of Anderson, Fisher, and Mather on homeomorphism groups.

研究の動機と目的

• 無限和群における安定交換子長が消える条件を確立すること。
• 共役部分群が互いに可換であるような設定において、古典的なマズール・スウィンドルを群論的文脈に拡張すること。
• このような群における有向準同型がすべて同型に一致することを示し、安定交換子長が消えることを示すこと。
• バゴ、イワノフ、ポルトレヴィッチによる準ノルムに関する有界性結果と比較すること。
• 微分同相群および自己同型群を含む、主要な幾何学的・代数的群における安定交換子長が消えることを示すこと。

提案手法

• 任意に多くの互いに可換な共役部分群を備えた群論的マズール・スウィンドルの類似を用いる。
• 命題2.2の適用：群Γが互いに可換な共役部分群Λiを任意に多く含むならば、Γ上の任意の有向準同型は各Λi上で同型に制限される。
• バヴァールの双対性の利用：Γ上のすべての有向準同型が同型であるとき、かつそのときに限り、Γ上で安定交換子長は消える。
• 例えばブレード群における台のサイズや写像類群における被覆面の genus に基づく明示的な準ノルムを構成し、無限大性を示す。
• 安定群の構造を有限型部分群の直接極限として分析し、スウィンドルの有限反復を可能にする。
• 準同型の均質化および無限和における交換子長の性質を用いて、漸近的消滅を導出する。

実験結果

リサーチクエスチョン

• RQ1 直接極限群において、安定交換子長が消える群論的条件は何か？
• RQ2 可換な共役部分群を備えた無限群に対して、マズール・スウィンドルを変形して安定交換子長の消滅を示せるか？
• RQ3 安定交換子長の消滅は、安定群上の有向準同型の構造とどのように関係するか？
• RQ4 微分同相群および自己同型群における準ノルムの存在と、安定交換子長の消滅の関係は何か？
• RQ5 バゴ、イワノフ、ポルトレヴィッチの微分同相群における有界性および準ノルムに関する結果と、本研究の結果はどのように比較できるか？

主な発見

• 安定写像類群Γ∞において、安定交換子長は恒等的に消える。
• 無限個のストランドを持つブレード群B∞において、安定交換子長は消える。
• 自由群の安定自己同型群Aut∞(F)および安定特殊自己同型群SAut∞(F)において、安定交換子長は消える。
• ℝⁿにおけるコンパクト台付きシンプレクティック自己同型群Diff₀ᶜ(ℝⁿ,ω)において、安定交換子長は消える。
• Dが有限シンプレクティック体積を持つとき、Diff₀ᶜ(D,ω)においても安定交換子長は消えるが、群は有界でない。
• これらの群はすべて、台のサイズや genus を用いた無限大の準ノルムを備えている（例：ブレード群における支持サイズ、写像類群における被覆面の genus）。これは、バゴ、イワノフ、ポルトレヴィッチの意味で有界でないことを示唆するが、依然として安定交換子長は自明である。