[論文レビュー] Stable commutator length on mapping class groups

Mladen Bestvina, Kenneth Bromberg+1 more|arXiv (Cornell University)|Jun 11, 2013

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

ひとこと要約

この論文は、BBF構成から得られる擬木への作用を用いて、写像類群の有限指数部分群内の要素が正の安定交換子長(scl)を持つための明確な基準を確立する。scl(g) > 0 であることは、ニールセン＝ターファソン分解における純粋成分の「ねじれ同値類」のうち、あるものが本質的であることと同値であり、さらに、sclが正である場合、それが一様に0から離れていることも示している。これは、scl(g) > 0 となるすべての非自明なgに対して成り立つトーリー群に対しても成り立つ。

ABSTRACT

Let $Γ$ be a finite index subgroup of the mapping class group $MCG(Σ)$ of a closed orientable surface $Σ$, possibly with punctures. We give a precise condition (in terms of the Nielsen-Thurston decomposition) when an element $g\inΓ$ has positive stable commutator length. In addition, we show that in these situations the stable commutator length, if nonzero, is uniformly bounded away from 0. The method works for certain subgroups of infinite index as well and we show $scl$ is uniformly positive on the nontrivial elements of the Torelli group. The proofs use our earlier construction in the paper "Constructing group actions on quasi-trees and applications to mapping class groups" of group actions on quasi-trees.

研究の動機と目的

• 写像類群の有限指数部分群内の要素が正の安定交換子長(scl)を持つ条件を正確に特定すること。
• 双曲群を超えたsclの理解を拡張し、写像類群における新たな障害要因や条件を同定すること。
• 有限指数部分群、特にトーリー群において、sclが非ゼロである場合、それが一様に0から離れていることを証明すること。
• トーリー群のすべての非自明な要素が正のsclを持つことの解決を確立すること。

提案手法

• 著者たちは、写像類群の要素の力学的性質を分析するために、群の擬木への作用のBBF構成を用いる。
• 彼らは、ニールセン＝ターファソン分解を用いて要素を偽アノソフ成分とデーンねじり成分に分解し、ねじれ同値類に注目する。
• ねじれ同値類が、共通の部分表面に共役化された後、そのべきの積が無限位数を持つ場合、その同値類は本質的とされる。
• 証明は、擬木への作用から得られる擬準同型を用いて、力学的挙動とsclの正の性質を結びつける。
• この手法は、有限指数部分群だけでなく、トーリー群のような無限指数部分群に対しても適用可能である。
• 彼らは、ホモロジー的・位相的制約（例：Z_p上のホモロジー類）を用いて、特定の共共役性や軌道の挙動を除外する。

実験結果

リサーチクエスチョン

• RQ1 写像類群MCG(Σ)の有限指数部分群Gにおける要素gがscl(g) > 0 となるのはいつか？
• RQ2 有限位数や非ねじれ性（achirality）以外の、gの力学的または代数的条件でscl(g) > 0 が保証されるのはどのような場合か？
• RQ3 MCG(Σ)の有限指数部分群において、sclが非ゼロである場合、それが一様に0から離れているか？
• RQ4 トーリー群のすべての非自明な要素が正の安定交換子長を持つのか？
• RQ5 BBF擬木構成は、MCG(Σ)の部分群におけるscl正の検出に用いることができるか？

主な発見

• scl(g) > 0 であることは、gのニールセン＝ターファソン分解における純粋成分のねじれ同値類のうち、あるものが本質的であることと同値である。
• 任意の有限指数部分群G < MCG(Σ)に対して、scl_G(g) > 0 ならば sll_G(g) > ε = ε(G) > 0 を満たすε = ε(G) > 0 が存在する。
• トーリー群Tにおいて、任意の非自明な要素g ∈ Tに対してscl_T(g) > 0 が成り立つ。
• 任意の有限指数部分群G < MCG(Σ)に対して、gが指数的成長を示せば、scl_G(g) > 0 である。
• cl_G(g^n)の列が有界であることは、scl_G(g) = 0 と同値である。
• トーリー群における任意の非自明なマルチツイストは、分離曲線でない場合でも正のsclを持つ。これは、非自明なアーベル化があるためである。