[論文レビュー] Geometry of the mapping class group II: A biautomatic structure

Ursula Hamenstaedt|ArXiv.org|Dec 1, 2009

Geometric and Algebraic Topology参考文献 7被引用数 26

ひとこと要約

この論文は、トレイン・トラック複体上の有界な二重結合と準等長埋め込みを用いて、非特異的で型が有限の曲面の写像類群が双自動構造を備えていることを確立する。主な貢献は双自動性の証明であり、これは単語問題が線形時間で解けることと、共役要素の長さに一様な指数的上限が存在することを意味する。

ABSTRACT

The mapping class group of a non-exceptional oriented surface of finite type admits a biautomatic structure.

研究の動機と目的

• 非特異的曲面の写像類群に双自動構造を確立し、Mosherの以前の自動性に関する結果を強化すること。
• 写像類群のさまざまな部分群が歪みがないことを示し、それらが準等長的に埋め込まれていることを意味すること。
• 双自動構造を支えるために、トレイン・トラック複体に有界な二重結合を構成すること。
• 写像類群への特定の部分群の包含写像が準等長的埋め込みであることを証明し、幾何的制御を保証すること。
• 写像類群に対して、共役要素の長さに一様な指数的上限を確立することにより、Hemionの共役問題に関する結果を改善すること。

提案手法

• 写像類群の幾何的性質を組み合わせ論的モデルとしてトレイン・トラック複体を用いる。
• スプリット列と組み合わせ論的変形を用いて、トレイン・トラック複体上に有界な二重結合を構成する。
• ジオデシック・ラミネーションを保持する完全なトレイン・トラックに至るための有限アルゴリズムを適用する。
• 写像類群作用の下での構成の不変性を用いて、一様な準等長的境界を保証する。
• 双自動性に必要な有界性条件を満たすために、双曲幾何とトレイン・トラック理論の結果を応用する。
• アルゴリズムにおけるステップ数と選択肢の数が、表面の位相的型にのみ依存して一様に有界であるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 非特異的曲面の写像類群は双自動構造を備えているか？
• RQ2 写像類群の部分群の包含写像が全群への準等長的埋め込みであることを示せるか？
• RQ3 双自動構造を支えるために、トレイン・トラック複体に有界な二重結合が存在するか？
• RQ4 写像類群に対して、共役要素の長さに一様な指数的上限を確立できるか？
• RQ5 トレイン・トラック複体の幾何は、単語距離と写像類群の自動構造とどのように関係しているか？

主な発見

• 非特異的曲面の写像類群は、トレイン・トラック複体上の有界な二重結合を用いて双自動構造を備えていることが証明された。
• 構成により、共役要素の長さに一様な指数的上限が得られる：任意の2つの共役な元に対して、あるμ > 0に対して長さがμ^max{|u|,|v|}以下の共役元が存在する。
• 重要な部分面を保存する写像類群の部分群は歪んでいない。つまり、その包含写像は準等長的埋め込みである。
• 与えられたボイド・トラックからλ-コラプス構成によって得られる可能性のあるトレイン・トラックの数は、表面の位相的型にのみ依存して一様に有界である。
• ジオデシック・ラミネーションを保持する完全なトレイン・トラックに至るアルゴリズムは、表面の型に依存して一様に有界なステップ数で終了する。これにより、同じ型のすべての表面にわたる一様性が保証される。
• 双自動構造により、単語問題が線形時間で解けること、および解ける部分群が仮想的にアーベル群であることが示される。