[論文レビュー] The Sigma Invariants of Thompson's Group F

Robert Bieri, Ross Geoghegan+1 more|ArXiv.org|Jul 31, 2008

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

ひとこと要約

この論文は、トマソン群 F のホモトピー的およびホモロジー的シグマ不変量を計算し、それらが一致することを証明する：Σ^m(F) = Σ^m(F;ℤ)。m ≥ 1 に対して、F は型 F_{m−1} ではあるが型 FP_m ではない部分群を有することを示し、それらが型 F_m でないことを、これらの不変量の補集合を特徴づけ、F^r に直接積の公式を適用することによって得る。

ABSTRACT

Thompson's group F is the group of all increasing dyadic piecewise linear homeomorphisms of the closed unit interval. We compute Sigma^m(F) and Sigma^m(F;Z), the homotopical and homological Bieri-Neumann-Strebel-Renz invariants of F, and we show that Sigma^m(F) = Sigma^m(F;Z). As an application, we show that, for every m, F has subgroups of type F_{m-1} which are not of type F_{m}.

研究の動機と目的

• トマソン群 F に対してホモトピー的およびホモロジー的シグマ不変量 Σ^m(F) と Σ^m(F;ℤ) を計算すること。
• これらの不変量が一致するかどうかを特定し、F の有限性性質に関する重要な問題を解決すること。
• 特定の有限性性質（特に F_{m−1} だが FP_m でない）を有する F の明示的部部分群を構成すること。
• F^r に対してシグマ不変量の直接積の公式を適用し、制御された有限性型を有する部分群の新しい例を導出すること。

提案手法

• F を基底群 F(1) と安定標記 x₀ を用いた上昇 HNN 拡大としての提示を用い、その群論的構造を分析すること。
• ケイリー複体内の部分複体 Γ^m_{χ≥i} の連結性および基本群の振る舞いを用いた、Σ^m(G) の位相的定義を適用すること。
• m ≥ 2 に対して Σ^m(F)^c を (球面的) 1-単体として特徴づけ、それがその負と非交差することを用いて位相的性質を導出すること。
• ホモロジー的シグマ不変量の直接積の公式を活用する：Σ^n(G×H;R)^c = ⋃_{p=0}^n Σ^p(G;R)^c * Σ^{n−p}(H;R)^c であり、R=ℤ のとき F^r に対しても成り立つことを証明すること。
• dyadic 分割点における導分条件を用いて F に含まれる G_r ≤ F を明示的に構成し、S(F^r) 内の (2r−1)-単体の重心に対応することを示すこと。
• 離散的特徴の稠密性と Σ^m(F^r) の開性を用い、無限巡回商を有する近くの正規部分群が同じ有限性性質を継承することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 トマソン群 F に対してホモトピー的およびホモロジー的シグマ不変量 Σ^m(F) と Σ^m(F;ℤ) は何か？
• RQ2 F のホモトピー的およびホモロジー的シグマ不変量がすべての m に対して一致するか？
• RQ3 シグマ不変量を用いて、F の有限性性質が制御された部分群（例えば F_{m−1} だが FP_m でないもの）を構成できるか？
• RQ4 R=ℤ のとき、F^r に対してシグマ不変量の直接積の公式は成り立つか？ そして、これにより不変量の補集合の構造にどのような影響を与えるか？
• RQ5 Σ^m(F) の特徴球面 S(F) における補集合の幾何学的および位相的意味は何か？

主な発見

• すべての m に対して Σ^m(F) = Σ^m(F;ℤ) が成り立ち、トマソン群 F に対してホモトピー的およびホモロジー的不変量が一致することを示す。
• m ≥ 2 に対して、補集合 Σ^m(F)^c は特徴球面 S(F) 内の (球面的) 1-単体であり、その負と非交差する。
• m = 1 のとき、Σ^1(F)^c はその 1-単体の 0-スケルトンである。m = 0 のとき、空集合である。
• 補集合 Σ^m(F^r)^c は、S(F^r) 内の球面的 (2r−1)-単体の (m−1)-スケルトンであり、その負と非交差する。
• 各 r ≥ 1 および m < 2r−1 に対して、F^r（従って F の部分群としても）型 F_{m−1} ではあるが型 FP_m でない部分群が存在する。
• 明示的な例として、F^r 上の離散的特徴の核として得られる G_r ≤ F が構成され、これは (2r−1)-単体の重心に対応し、型 F_{2r−1} ではあるが型 FP_{2r} でない。