[論文レビュー] Distance in the Ellipticity Graph

Yakov Berchenko-Kogan|arXiv (Cornell University)|Jun 24, 2010

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

ひとこと要約

この論文は、有限生成自由群の楕円性グラフにおける2頂点間の距離が2であるかどうかを決定するためのアルゴリズムを提示している。Stallings部分群X-ダイグラフとWhitehead自己同型を用いて、2つの自由積分解明が共通の楕円的要素を持つのか、あるいは2つの同型類がある適切な自由積分解明に対して共に楕円的であるのかを決定する手続きを提供し、外自己同型群論における幾何的問題を構成的でアルゴリズム的な手法により解決する。

ABSTRACT

The ellipticity graph of a free group $F$ was defined by I. Kapovich and M. Lustig in order to study the outer automorphism group of $F$, which acts on this graph. The graph was constructed to be analogous to the curve complex of a surface. It is a bipartite graph, whose vertices are conjugacy classes of nontrivial elements of $F$ and equivalence classes of proper free product decompositions of the form $F=A*B$. A conjugacy class is joined by an edge to a free product decomposition $A*B$ whenever the conjugacy class has a representative in either $A$ or $B$. This paper uses Stallings subgroup $X$-digraphs and Whitehead automorphisms to construct algorithms that determine when the distance between two vertices of the ellipticity graph is two, for both types of vertices.

研究の動機と目的

• 楕円性グラフの2頂点間の距離が2である場合を特定するための効果的アルゴリズムを開発すること。
• Out(F)に関連する非局所的有限グラフにおける距離の計算という幾何的課題に取り組むこと。
• 2つの自由積分解明に共通する楕円的要素が存在するか、あるいは2つの同型類が共に適切な自由積分解明に対して楕円的であるかをアルゴリズム的に解明すること。
• 曲線複体の類似物を用いた外自己同型群の研究のための構成的で計算可能な枠組みを提供すること。
• StallingsおよびWhiteheadの技法を用いて、既知の結果をよりアクセス可能なアルゴリズム的形に再整理・明確化すること。

提案手法

• 部分群および同型類をラベル付きグラフとして表現するために、Stallings部分群X-ダイグラフを用いる。
• ワードペアを自己同型作用の下で最小長代表元に短縮するために、Whitehead自己同型を適用する。
• ある適切な自由積分解明に対して同時に楕円的になれる要素のペアを「良いペア」と定義する。
• 長さを減少させるWhitehead自己同型を用いて、自己同型の軌道における最小長代表元を特定する。
• 最小長Whitehead移動において「良い性質」が不変であることを利用して、共通の分解の存在をテストする。
• ある軌道における最小長ペアが良い場合、その軌道内のすべての最小長ペアが良いことを利用している。

実験結果

リサーチクエスチョン

• RQ1 有限生成自由群の2つの自由積分解明が、共通の非自明な楕円的要素を持つことがあるか？
• RQ2 有限生成自由群の2つの同型類が、ある適切な自由積分解明に対して共に楕円的であることがあるか？
• RQ3 楕円性グラフの2頂点間の距離が正確に2であるかどうかをアルゴリズム的に決定できるか？
• RQ4 Aut(F)の作用下の軌道に、良いペアの要素が存在する条件は何か？
• RQ5 Whitehead自己同型をどのように用いることで、楕円性グラフにおける共通楕円的性のチェックの複雑さを低減できるか？

主な発見

• 2つの自由積分解明が共通の非自明な楕円的要素を持つかどうかを決定するアルゴリズムが構成された。
• 2つの同型類が、ある適切な自由積分解明に対して共に楕円的であるかどうかを決定するアルゴリズムが構成された。
• 両方の要素が楕円的になる共通の分解が存在することは、ペアの最小長軌道内に良いペアが存在することと同値である。
• ある最小長ペアが良い場合、その軌道内のすべての最小長ペアが良いことが保証されるため、アルゴリズムの正しさが保証される。
• 同型類に関するアルゴリズムはStallings（1996）の結果と同等であり、分解に関するアルゴリズムはKapovichとMyasnikov（2002）の結果に従うが、本論文はそれらを新たな構成的解釈で提示している。
• 本手法により、双対自由スプリットグラフにおける隣接性が楕円性グラフにおける距離2と等価であることが確認され、Out(F)の2つの幾何的モデルが結びつけられた。