[論文レビュー] Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products

Ian Agol, Daniel Groves+1 more|arXiv (Cornell University)|Apr 12, 2012

Geometric and Algebraic Topology参考文献 57被引用数 360

ひとこと要約

この論文は、色分けと接合定理を用いた階層的アプローチにより、立方体複体上の作用に関して、立方体化された語的双曲的群が virtually special であることを証明している。主な結果として、閉じた双曲的3次元多様体に対する仮説の仮説的ハーケン性と仮説的ファイバリングが解決され、それらが有限シートのハーケン被覆と円周へのファイブレーションをもつことが示された。

ABSTRACT

It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form by SLPs, which generalizes the classical NP-completeness result of the integer knapsack problem. We also prove general transfer results: NP-membership of the knapsack problem is passed on to finite extensions, HNN-extensions over finite associated subgroups, and amalgamated products with finite identified subgroups.

研究の動機と目的

• 語的双曲的群が CAT(0) 立方体複体上で properly かつ cocompactly 動いている場合、その部分群で特別に作用する有限指数部分群が存在することを証明すること。
• このような群が線形的で、大きく、準凸部分群が分離可能であることを確立すること。
• 閉じた双曲的3次元多様体に対する仮説的ハーケン性と仮説的ファイバリングの仮説を解決すること。
• 有限シート被覆に埋め込まれた壁を持つように構成する弱分離定理を用いて、[1] の主結果を一般化すること。
• 語的双曲的群が QVH 系に属する場合、それらが virtually special であることを示し、virtually special 群の群論的特徴づけを確立すること。

提案手法

• 弱分離性結果（定理 A.1）を用いて、埋め込まれた色分けされた両側壁をもつ無限シートの正則被覆を構成する。
• 壁グラフの色分けに測度を定義し、立方体複体の階層的分解を分析する。
• 色分けを精緻化して、前の階層段階で壁がどのように切断されるかを追跡し、制御された接合を可能にする。
• 精緻化された色分けされた立方体多面体上で接合方程式を解き、階層の基本ケースを構成する。
• 有限シート被覆に移行した後、段階的に複体を再構成するために接合定理（定理 3.1）を適用する。
• 階層レベルに対する帰納法を用い、帰納的仮定を検証することで、特別な作用をもつ有限シート被覆を構築する。

実験結果

リサーチクエスチョン

• RQ1 立方体化された語的双曲的群は、常に CAT(0) 立方体複体上で特別に作用する有限指数部分群をもつだろうか？
• RQ2 すべての閉じた双曲的3次元多様体は、有限シートのハーケン被覆をもつだろうか？
• RQ3 QVH 系に属するすべての語的双曲的群は、virtually special だろうか？
• RQ4 双曲的群において、十分に長い H-フィリングを施したとき、準凸部分群の高さは減少するだろうか？
• RQ5 マロンメル特殊結合定理は、有限エッジ群をもつ連結群への拡張に一般化できるだろうか？

主な発見

• 階層的構成法を用い、色分けと接合定理により、立方体化された語的双曲的群が virtually special であることが証明された。
• すべての閉じた双曲的3次元多様体は、有限シートのハーケン被覆をもつ。これは、ワルドハウスの仮説的ハーケン性の仮説を解決した。
• すべての閉じた双曲的3次元多様体は、円周へのファイブレーションをもつ有限シート被覆をもつ。これは、サーストンの仮説的ファイバリングの仮説を解決した。
• 閉じた双曲的3次元多様体の基本群は LERF かつ大規模であることが確認され、キルビーの問題リストにおける予想が裏付けられた。
• 双曲的群における準凸部分群の高さは、フィリング核が周辺部分群において有限指数をもつとき、十分に長い H-フィリングを施すと厳密に減少する。
• QVH 系に属するすべての語的双曲的群は、virtually special である。これは、定理 A.42 を用いて、[45, 定理 13.5] を非ねじれ自由な場合に一般化した。