[論文レビュー] Isometric endomorphisms of free groups

Danny Calegari, Alden Walker|arXiv (Cornell University)|Jan 21, 2011

Geometric and Algebraic Topology参考文献 14被引用数 8

ひとこと要約

本稿では、自由群間のランダムな準同型が安定交換子長（scl）に関してほとんど確実に等長写像であることを確立し、自由群のscl単位球に豊富な異常な等長写像の存在を示している。ファットグラフ技法と頂点クェイジモーフィズムを用いて、交換子長が最大 $ n $ である自由群内のランダムな要素が正確に $ \text{scl} = n - \frac{1}{2} $ を有することを証明し、これらの結果を裏付ける計算可能なクェイジモーフィズムを提供している。

ABSTRACT

An arbitrary homomorphism between groups is nonincreasing for stable commutator length, and there are infinitely many (injective) homomorphisms between free groups which strictly decrease the stable commutator length of some elements. However, we show in this paper that a random homomorphism between free groups is almost surely an isometry for stable commutator length for every element; in particular, the unit ball in the scl norm of a free group admits an enormous number of exotic isometries. Using similar methods, we show that a random fatgraph in a free group is extremal (i.e. is an absolute minimizer for relative Gromov norm) for its boundary; this implies, for instance, that a random element of a free group with commutator length at most n has commutator length exactly n and stable commutator length exactly n-1/2. Our methods also let us construct explicit (and computable) quasimorphisms which certify these facts.

研究の動機と目的

• 安定交換子長（scl）における自由群間の等長写像の出現確率を調査し、準同型の下でsclが非増加的であるという期待に反する事実を検証すること。
• 自由群 $ F_k $ から $ F_l $ へのランダムな準同型 $ \varphi $ が、sclに関して等長写像である確率が $ 1 - O(C^{-n}) $ であることを示し、scl単位球内に豊富な異常な等長写像の構造を明らかにすること。
• ランダムなファットグラフに対して極値を達成する明示的かつ計算可能なクェイジモーフィズムを構成し、有界な交換子長を持つ自由群内のランダムな要素が最大のsclに達することを証明すること。
• 三価ファットグラフ上で局所的条件とミートインザミドル技術を用いた効率的なアルゴリズムを開発し、極値クェイジモーフィズムの検証を可能にすること。

提案手法

• ランダムな準同型 $ \varphi: F_k \to F_l $ は、$ F_k $ の生成元に長さが $ n $ 以下のランダムな要素を割り当てることで定義され、sclにおける等長写像である確率が漸近的に分析されている。
• 本稿では、一般化されたバヴァール双対性を用いてsclと一様クェイジモーフィズムを関連させ、極値性を裏付けるためにファットグラフから導かれる頂点クェイジモーフィズムに焦点を当てる。
• ファットグラフのラベリングが頂点クェイジモーフィズムを生成するかどうかを検証するための組合せ的条件（条件B）が導入され、部分語回避と小字消滅性の性質に依存している。
• ミートインザミドルアルゴリズムが三価ファットグラフのラベリングに対して適用され、クェイジモーフィズム条件を満たす有効なラベリングの探索を大幅に高速化している。
• 準同型をファットグラフに適用することで、非極値ラベリングを極値ラベリングに変換し、極値クェイジモーフィズムの発見成功率を向上させている。
• 各ファットグラフに対して50万件のランダムラベリングを用いた実験データから、失敗率を推定し、成功確率の指数関数的モデルをフィットさせている。

実験結果

リサーチクエスチョン

• RQ1 自由群間のランダムな準同型が安定交換子長を保存する確率は何か？
• RQ2 自由群内のランダムなファットグラフに対して、極値クェイジモーフィズムを効率的に計算できるか？
• RQ3 交換子長が最大 $ n $ である自由群内のランダムな要素は、$ n - \frac{1}{2} $ の最大安定交換子長に達するか？
• RQ4 ランダムな準同型をファットグラフに適用することで、頂点クェイジモーフィズムの発見失敗率を低下させられるか？
• RQ5 ファットグラフのラベリングにどのような組合せ的条件が、極値クェイジモーフィズムの存在を保証するか？

主な発見

• 長さ $ n $ のランダムな準同型 $ \varphi: F_k \to F_l $ は、ある $ C(k,l) > 1 $ に対して確率 $ 1 - O(C(k,l)^{-n}) $ でsclに関して等長写像であり、scl単位球内に異常な等長写像が存在することを証明している。
• 交換子長が最大 $ n $ である自由群内のランダムな要素の安定交換子長は正確に $ n - \frac{1}{2} $ であり、これは極値ファットグラフによって裏付けられている。
• 四頂点の三価ファットグラフに対する頂点クェイジモーフィズムの発見成功確率は $ P(\text{成功}) \geq 1 - 82.3971(3.19827)^{-n} $ でモデル化されており、失敗率はラベリング長に従って指数関数的に減少する。
• ファットグラフにランダムな準同型を適用することで、極値クェイジモーフィズムの発見成功率が約5倍に向上し、特に短いラベリングに対して顕著である。
• 頂点クェイジモーフィズムの不正確性（デフォルト）は、局所的部分語条件と定数条件を用いることで多項式時間で検証可能であるのに対し、一般のクェイジモーフィズムでは指数時間が必要となる。
• 等長写像予想は、任意の単射準同型 $ \varphi: F_2 \to F $ がsclに関して等長写像であると述べており、広範な計算的証拠と理論的考察によって支持されている。