[論文レビュー] Groups acting freely on $Λ$-trees

Olga Kharlampovich, Alexei Myasnikov+1 more|arXiv (Cornell University)|Nov 1, 2009

Geometric and Algebraic Topology参考文献 23被引用数 3

ひとこと要約

この論文は、順序付けられたアーベル群 Λ における自由なラインドン長関数を備えた任意の有限生成群が、元の長関数を保存する形で、Λ における正則な自由長関数を備えた有限生成群に埋め込めることを確立している。さらに、Λ における正則な自由長関数を備えたこのような群は、辞書式順序を備えた ℝⁿ に埋め込まれ、最大アーベルな関連部分群と長さを保つ同型写像を持つ有限個の HNN 拡張の系列によって得られることも示されている。

ABSTRACT

A group is called $Λ$-free if it has a free Lyndon length function in an ordered abelian group $Λ$, which is equivalent to having a free isometric action on a $Λ$-tree. A group has a regular free length function in $Λ$ if and only if it has a free isometric action on a $Λ$-tree so that all branch points belong to the orbit of the base point. In this paper we prove that every finitely presented $Λ$-free group $G$ can be embedded into a finitely presented group with a regular free length function in $Λ$ so that the length function on $G$ is preserved by the embedding. Next, we prove that every finitely presented group $\widetilde G$ with a regular free Lyndon length function in $Λ$ has a regular free Lyndon length function in ${\mathbb R}^n$ ordered lexicographically for an appropriate $n$ and can be obtained from a free group by a series of finitely many HNN-extensions in which associated subgroups are maximal abelian and length isomorphic.

研究の動機と目的

• 任意の順序付けられたアーベル群 Λ に対して、有限生成 Λ-自由群を特徴付けることにより、アルペリン＝バス計画の主要な部分を解決すること。
• 任意の有限生成 Λ-自由群が、Λ における正則な自由長関数を備えた群への長関数を保存する埋め込みを許容することを示すこと。
• Λ における正則な自由長関数を備えた有限生成群が、最大アーベルな関連部分群と長さを保つ同型写像を持つ有限個の HNN 拡張の系列によって得られることを証明すること。
• このような群が、辞書式順序を備えた ℝⁿ-ツリー上で自由かつ正則に作用することを実現できることを確立すること。
• 正則性と完全性をラインドン長関数枠組みに導入することで、抽象的な長関数と Λ-ツリー上の幾何的作用との間のギャップを埋めること。

提案手法

• Λ-ツリー上で作用する群の構造を分析するために、一般化された方程式と除去プロセスの使用。
• 無限小長さを制御し、長関数を保存するために、線形除去プロセスの文脈における基本的変換の応用。
• 測度付き foliation を備えた foliated band 複体を用いた Rips マシンを介した群の埋め込みの構成。
• 順序付けられたアーベル群を ℝ-部分群の直和に分解することにより、Λ から辞書式順序を備えた ℝⁿ への長関数の還元。
• 最大アーベルな関連部分群と長さを保つ同型写像を持つ HNN 拡張を用いて、目的の群構造を構築すること。
• 除去プロセスにおけるレベル数に関する帰納法を用いて、長関数の正則性および ℝⁿ における再定義下での不変性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 任意の有限生成 Λ-自由群は、元の長関数を保存する形で、Λ における正則な自由長関数を備えた有限生成群に埋め込むことができるか？
• RQ2 任意の順序付けられたアーベル群 Λ における正則な自由ラインドン長関数を備えた有限生成群の構造的特徴は何か？
• RQ3 このような群は、特定の性質を持つ HNN 拡張を用いて自由群からどのように構成できるか？
• RQ4 Λ-自由群が Λ-ツリー上で作用することは、辞書式順序を備えた ℝⁿ-ツリー上で正則に作用することとして実現可能か？
• RQ5 正則性条件は、Λ における長関数が最大アーベルな関連部分群を持つ HNN 拡張によって実現可能であることを保証するために果たす役割は何か？

主な発見

• 任意の有限生成 Λ-自由群は、元の長関数を保存する形で、Λ における正則な自由長関数を備えた有限生成群に埋め込める。
• Λ における正則な自由ラインドン長関数を備えた有限生成群は、ある n に対して、辞書式順序を備えた ℝⁿ における正則な自由長関数を備える。
• このような群は、関連部分群が最大アーベルであり、同型写像が長さを保つ有限個の HNN 拡張の系列として構成される。
• ℝⁿ における長関数は再定義の後、ラインドン長関数と一致し、対応する ℝⁿ-ツリー上で自由かつ正則な作用が成り立つ。
• 群の構造は除去プロセスおよび一般化された方程式の結果得られる座標群によって完全に決定され、基本的変換の下でランクが保存される。
• 長関数の正則性により、元の Λ における無限小長さを有する要素は、部分群 Λ′′ に属する必要があり、この部分群は埋め込みプロセスで保存される。