[論文レビュー] The $\Sigma$-invariants of Thompson's group $F$ via Morse theory

Stefan Witzel, Matthew C. B. Zaremsky|arXiv (Cornell University)|Jan 27, 2015

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

ひとこと要約

この論文は、群 $F$ の BNSR 不変量 $Σ^m(F)$ を、Stein–Farley の $Σ(0)$ ループ複体 $X$ 上での幾何学的モース理論を用いて再計算し、代数的技法を避ける自己完結的で位相的な証明を提供する。主な結果は、$\chi$ が $\chi_0$ や $\chi_1$ の正の倍数でない限り $[χ] \in \Sigma^1(F)$ であり、$\chi$ が $\operatorname{Hom}(F,\mathbb{R}) \cong \mathbb{R}^2$ の非負象限内にない限り $[χ] \in \Sigma^2(F) = \Sigma^\infty(F)$ であることを確認する。この手法は、特性による高さ関数が誘導する上昇リンクと上位集合の解析に依存している。

ABSTRACT

Bieri, Geoghegan and Kochloukova computed the BNSR-invariants $\\Sigma^m(F)$ of Thompson's group $F$ for all $m$. We recompute these using entirely geometric techniques, making use of the Stein--Farley CAT(0) cube complex on which $F$ acts.

研究の動機と目的

• Thompson 群 $F$ の BNSR 不変量 $\Sigma^m(F)$ の幾何学的かつ自己完結的な証明を提供し、先行研究で用いられた代数的技法に依存しないこと。
• 群 $F$ が自由に等長作用を施す Stein–Farley の $\operatorname{CAT}(0)$ ループ複体 $X$ に Bestvina–Brady モース理論を適用すること。
• 群の特性による高さ関数の上昇リンクと上位集合のホモトピー型を解析することで、$\Sigma^m(F)$ を特徴付けること。
• 類似した幾何的構造を持つ他の群の不変量を計算する際に、この幾何的アプローチが有効であることを示すこと。

提案手法

• 群 $F$ の作用の幾何的モデルとして Stein–Farley の $\operatorname{CAT}(0)$ ループ複体 $X$ を用い、その適切性、相対コンパクト性、等長性を活用する。
• 群 $F$ の元 $g$ と点 $x \in X$ に対して $h_\chi(gx) = \chi(g) + h_\chi(x)$ を満たす特性高さ関数 $h_\chi: X \to \mathbb{R}$ を定義し、$\operatorname{Hom}(F,\mathbb{R}) \cong \mathbb{R}^2$ を用いる。
• 群 $F$ の $X$ への作用に、Bestvina–Brady モース理論のバージョンを適用し、頂点における上昇リンクと上位集合 $X^{t \leq \chi}$ のホモトピー型に注目する。
• 群の要素の簡約された木ペア表現 $(T/E)$ の構造を用いて、頂点リンクを組合せ的にモデル化する。
• モース補題と連結性基準を用い、特に $t \approx 0$ の近傍におけるフィルトレーション $X^{t \leq \chi}$ の本質的連結性を解析する。
• 上位集合 $X^{0 \leq \chi}$ の部分複体 $Y_{L=i}^m$ と $Y_{R=i}^m$ による被覆のネ ーブに、$a > 0$, $b > 0$ のとき非自明なサイクルを明示的に構成し、基本群が自明でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 代数的性質（HNN 構造や自由部分群の不在など）に依存せずに、幾何学的・位相的道具のみを用いて BNSR 不変量 $\Sigma^m(F)$ を再導出可能か？
• RQ2 Stein–Farley の $\operatorname{CAT}(0)$ ループ複体 $X$ 上の高さ関数の上昇リンクと上位集合のホモトピー型は何か？
• RQ3 群 $F$ の $X$ への作用の幾何学的性質は、$F$ の正規部分群の有限性性質を BNSR 不変量を通してどのように反映するか？
• RQ4 上位集合 $X^{0 \leq \chi}$ の $Y_{L=i}^m$ と $Y_{R=i}^m$ 成分による被覆のネ ーブは、基本群が自明でないことを検出できるか？
• RQ5 特性 $\chi = a\chi_0 + b\chi_1$ に対して、$[\chi] \in \Sigma^1(F)$ または $\Sigma^2(F)$ である条件は何か？また、これは $X$ の幾何学的性質にどのように反映されるか？

主な発見

• $\Sigma^1(F)$ は、$\chi_0$ および $\chi_1$ の正の方向を除く $S^1$ 全体の $[\chi]$ から成り、$[\chi] \notin \Sigma^1(F)$ となるのは $\chi$ が $\chi_0$ や $\chi_1$ の正の倍数である場合に限る。
• $\Sigma^2(F) = \Sigma^\infty(F)$ は、$\chi = a\chi_0 + b\chi_1$ で $a \geq 0$, $b \geq 0$ を満たす $[\chi] \in S^1$ 全体から成り、$[\chi] \notin \Sigma^2(F)$ となるのは $a > 0$, $b > 0$ のときである。
• $a > 0$, $b > 0$ のとき、上位集合 $X^{0 \leq \chi}$ は、$Y_{L=i}^m$ と $Y_{R=i}^m$ 成分による被覆のネ ーブに非自明なサイクルを構成することで、単連結ではないことが示された。
• フィルトレーション $(X^{t \leq \chi})_{t \in \mathbb{R}}$ はすべての $\chi$ に対して本質的に連結であるが、$a > 0$, $b > 0$ のときには本質的に単連結ではないため、この場合 $[\chi] \notin \Sigma^2(F)$ であることが確認された。
• 特性 $\chi$ が $\chi_0$ や $\chi_1$ と一致しない限り、$X$ の頂点における上昇リンクは可縮的、あるいは点にホモトピー同値であることが示され、レベル集合の連結性を支持する。
• 証明により、$\Sigma^1(F) \setminus \Sigma^2(F)$ は $a > 0$, $b > 0$ を満たす特性 $\chi = a\chi_0 + b\chi_1$ から成り、不変量の境界の幾何的起源が確認された。