[論文レビュー] Limits of relatively hyperbolic groups and Lyndon's completions

Olga Kharlampovich, Alexei Myasnikov|arXiv (Cornell University)|Apr 16, 2009

Geometric and Algebraic Topology参考文献 11被引用数 4

ひとこと要約

この論文は、自由アーベル的パラボリックを持つねじれなし相対的双曲的群 $G$ と普遍的に同値な有限生成群が、Lyndon完成 $G^{\mathbb{Z}[t]}$ に埋め込まれる群、あるいは同値に言えば $G$ から有限回の中心化子拡張を経て得られる群であることを確立している。逆に、$G^{\mathbb{Z}[t]}$ に含まれる $G$ を含む任意の部分群は $G$ と普遍的に同値であり、$G$ 上の既約代数的集合の座標群の完全な特徴付けが得られる。これは自由群の結果を相対的双曲的設定へと拡張するものである。

ABSTRACT

In this paper we describe finitely generated groups $H$ universally equivalent (with constants from $G$ in the language) to a given torsion-free relatively hyperbolic group $G$ with free abelian parabolics. It turns out that, as in the free group case, the group $H$ embeds into the Lyndon's completion $G^{\mathbb{Z}[t]}$ of the group $G$, or, equivalently, $H$ embeds into a group obtained from $G$ by finitely many extensions of centralizers. Conversely, every subgroup of $G^{\mathbb{Z}[t]}$ containing $G$ is universally equivalent to $G$. Since finitely generated groups universally equivalent to $G$ are precisely the finitely generated groups discriminated by $G$ the result above gives a description of finitely generated groups discriminated by $G$.

研究の動機と目的

• 与えられたねじれなし相対的双曲的群 $G$ と自由アーベル的パラボリックを持つ有限生成群が、普遍的に同値である条件を特徴づけること。
• $G$ によって分離される群、すなわち完全に部分的に $G$ の群の構造を記述すること。
• $G$ 上の既約代数的集合の座標群の完全な代数的幾何的特徴付けを提供すること。
• Lyndon完成と中心化子拡張を用いて、自由群の理論の既知の結果を相対的双曲的設定へと拡張すること。

提案手法

• 群 $G$ と普遍的に同値な群の普遍的ドメインとして Lyndon の完成 $G^{\mathbb{Z}[t]}$ を用いる。
• 非可換 Tarski 型（NTQ）系の応用と反復中心化子拡張への埋め込みの応用。
• 幾何学的・組合せ論的群論的手法を用いて $G$ 上の二次方程式および NTQ 方程式の解の構成。
• CSA（可換性を保つ）性質とグラフの群における QH（準凸双曲的）頂点の構造の活用。
• 穴あき曲面上の曲線系と Dehn 転回を用いた曲面群上の解の帰納的構成。
• マーク付き群の距離を用いて極限群を定義し、分離性と普遍的同値性の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 与えられたねじれなし相対的双曲的群 $G$ と自由アーベル的パラボリックを持つ有限生成群で、$G$ と普遍的に同値であるものはどれか？
• RQ2 群 $G$ によって分離される群のクラスを代数的にどのように特徴づけられるか？
• RQ3 $G$ 上の既約代数的集合の座標群の構造はいかなるものか？
• RQ4 Lyndon 完成と反復中心化子拡張は、相対的双曲的設定における普遍的同値性とどのように関係するか？
• RQ5 自由群理論の結果が、自由アーベル的パラボリックを持つ相対的双曲的群へどの程度まで拡張可能か？

主な発見

• $G$ と普遍的に同値な有限生成群は、すべて Lyndon 完成 $G^{\mathbb{Z}[t]}$ に埋め込まれる。
• $G^{\mathbb{Z}[t]}$ の $G$ を含む任意の部分群は $G$ と普遍的に同値である。
• $G$ と普遍的に同値な群は、ちょうど $G$ によって完全に分離される群、すなわち完全に部分的に $G$ の群に一致する。
• これらの群は、ちょうど $G$ 上の既約代数的集合の座標群に一致する。
• このような群の構造は、$G$ の有限回の反復中心化子拡張によって完全に捉えられる。
• 本結果は、自由群に対する古典的特徴付けを、自由アーベル的パラボリックを持つ相対的双曲的設定へ一般化するものである。