[論文レビュー] Cohomological finiteness conditions and centralisers in generalisations of Thompson's group V

Conchita Martı́nez-Pérez, Francesco Matucci+1 more|arXiv (Cornell University)|Sep 30, 2013

Advanced Operator Algebra Research参考文献 12被引用数 6

ひとこと要約

この論文は、カントール代数にやや弱い条件が課された場合、一般化されたトマソン群 $V_r(\Sigma)$（ハイマン＝トマソン、シュタイン、ブリンの群を含む）が型 $\operatorname{F}_\infty$ であることを確立する。有限部分群の中心化群が同様に型 $\operatorname{F}_\infty$ であることも証明し、先行研究における予想を確認した。これにより、これらの群は適切な作用のための分類空間を備え、Bredon型 quasi-$\operatorname{F}_\infty$ であることが示された。結果はモース理論的技法とカントール代数の自己同型群の構造的解析に依拠している。

ABSTRACT

We consider generalisations of Thompson's group $V$, denoted $V_r(Σ)$, which also include the groups of Higman, Stein and Brin. We show that, under some mild hypotheses, $V_r(Σ)$ is the full automorphism group of a Cantor-algebra. Under some further minor restrictions, we prove that these groups are of type $\mathrm{F}_\infty$ and that this implies that also centralisers of finite subgroups are of type $\mathrm{F}_\infty$.

研究の動機と目的

• 基礎となるカントール代数にやや弱い条件が課された場合、一般化されたトマソン群 $V_r(\Sigma)$ が型 $\operatorname{F}_\infty$ であることを確立すること。
• 有限部分群の中心化群が $V_r(\Sigma)$ において型 $\operatorname{F}_\infty$ であることを証明し、先行研究における予想を確認すること。
• 代数的トポロジーにおける計算（例えばファーラン＝ジョーンズのアセンブリーマップなど）に関連する、有限部分群の正規化群の構造を記述すること。
• これらの群が適切な作用のための分類空間を備え、したがって Bredon 型 quasi-$\operatorname{F}_\infty$ であることを示すこと。

提案手法

• フラッチ、シュヴァント、ヴィツェル、ザレムスキーのモース理論的技法を適応し、カントール代数にやや弱い制限が課された場合に $V_r(\Sigma)$ が型 $\operatorname{F}_\infty$ であることを証明する。
• $V_r(\Sigma)$ がカントール代数の全自己同型群であるという事実を用いて、その群論的構造と有限性性質を分析する。
• ブレック他および著者らの先行研究における構造的結果を適用し、有限部分群の中心化群を、より小さい $V_{r_i}(\Sigma)$ 群の積と局所的に有限な核を含む拡張として記述する。
• 補題 4.7 と補題 4.8 を活用し、中心化群の拡張における核が $V_r(\Sigma)$ の作用で有限個の軌道を持つこと、かつその安定化群が $V_t(\Sigma)$ 群の積と同型であることを示す。
• 正規化群 $N_{V_r(\Sigma)}(Q)$ を中心化群による拡張として記述し、$Q$ が固定する基底 $Y$ 上での対称群作用を考慮する。これにより、Weyl群 $N/C$ と関連付ける。
• Bredonコhomオロジーおよび適切な作用のための分類空間理論の結果を適用し、より小さい $V_k(\Sigma)$ 群が型 $\operatorname{F}_\infty$ であるならば、$V_r(\Sigma)$ が quasi-$\operatorname{F}_\infty$ であることを導出する。

実験結果

リサーチクエスチョン

• RQ1 カントール代数にどのような条件下で $V_r(\Sigma)$ が型 $\operatorname{F}_\infty$ であるか？
• RQ2 $V_r(\Sigma)$ 自身が型 $\operatorname{F}_\infty$ であるならば、その有限部分群の中心化群も型 $\operatorname{F}_\infty$ であるか？
• RQ3 $V_r(\Sigma)$ 内の有限部分群の正規化群の構造は何か？ また、Weyl群とはどのように関係するか？
• RQ4 $V_r(\Sigma)$ の適切な作用のための分類空間は、より小さい部分群族のコアクト型分類空間のマッピングテロロジーとして記述可能か？
• RQ5 カントール代数の自己同型群は、一般化されたトマソン群の有限性性質とどのように関係するか？

主な発見

• カントール代数にやや弱い仮定が課された場合、$V_r(\Sigma)$ は型 $\operatorname{F}_\infty$ である。これは、ハイマン＝トマソン、シュタイン、ブリンの群を含む、既知のすべての一般化が含まれる。
• 有限部分群の中心化群が $V_r(\Sigma)$ において型 $\operatorname{F}_\infty$ であることが証明され、[13] における予想が確認された。
• 有限部分群 $Q$ の正規化群 $N_{V_r(\Sigma)}(Q)$ は、$C_{V_r(\Sigma)}(Q) \cdot N_{S(Y)}(Q)$ として分解され、商は $N_{S(Y)}(Q)/C_{S(Y)}(Q)$ と同型である。ここで $Y$ は $Q$ を固定する基底である。
• 中心化群 $C_{V_r(\Sigma)}(Q)$ は、拡張 $K \to C_{V_r(\Sigma)}(Q) \to V_{r_1}(\Sigma) \times \cdots \times V_{r_t}(\Sigma)$ と同型である。ここで $K$ は局所的に有限で、$r_i$ は $Q$ によって一意に定まる。
• $V_r(\Sigma)$ が Bredon 型 quasi-$\operatorname{F}_\infty$ であることは、すべての $k$ に対して $V_k(\Sigma)$ が型 $\operatorname{F}_\infty$ であることに同値であり、これはすべての有効的かつ有界で完全なカントール代数 $U_r(\Sigma)$ に対して成り立つ。
• $N_{S(Y)}(Q)$ の共役作用は、中心化群の積構造を保存する。各因子 $V_{r_i}(\Sigma)$ は $V_{r_{g(i)}}(\Sigma)$ に写され、核 $K_i$ は $K_{g(i)}$ に写される。