[论文解读] 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

一句话总结

本文证明，在Cantor代数满足弱条件时，广义Thompson群$V_r(\Sigma)$（包括Higman-Thompson群、Stein群和Brin群）属于类型$\operatorname{F}_\infty$。证明还表明，这些群中有限子群的中心化子也属于类型$\operatorname{F}_\infty$，从而证实了一个猜想，并表明这些群具有适当的群作用的分类空间，因此属于Bredon型准-$\operatorname{F}_\infty$。这些结果依赖于Morse理论技巧和Cantor代数自同构群的结构分析。

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$.

研究动机与目标

• 在底层Cantor代数满足弱条件时，证明广义Thompson群$V_r(\Sigma)$属于类型$\operatorname{F}_\infty$。
• 证明$V_r(\Sigma)$中有限子群的中心化子属于类型$\operatorname{F}_\infty$，从而证实先前工作中提出的猜想。
• 描述$V_r(\Sigma)$中有限子群的正规化子结构，该结构在代数拓扑中的计算（如Farrell-Jones装配映射）中具有重要意义。
• 证明这些群具有适当的群作用的分类空间，从而表明它们属于Bredon型准-$\operatorname{F}_\infty$。

提出的方法

• 将Fluch、Schwandt、Witzel和Zaremsky的Morse理论方法进行适配，以在Cantor代数满足弱限制时证明$V_r(\Sigma)$属于类型$\operatorname{F}_\infty$。
• 利用$V_r(\Sigma)$是Cantor代数的完整自同构群这一事实，分析其群论结构与有限性性质。
• 应用Bleak等人及作者先前工作的结构结果，将有限子群的中心化子描述为涉及较小$V_{r_i}(\Sigma)$群的积与局部有限核的扩张。
• 利用引理4.7与引理4.8，证明中心化子扩张中的核在$V_r(\Sigma)$作用下仅有有限多个轨道，且稳定子群同构于$V_t(\Sigma)$群的积。
• 利用正规化子$N_{V_r(\Sigma)}(Q)$作为中心化子的扩张，其作用由$Q$固定的基上的对称群作用实现，并将其与Weyl群$N/C$联系起来。
• 应用Bredon上同调理论与适当的群作用分类空间理论，推导出若较小的$V_k(\Sigma)$群属于类型$\operatorname{F}_\infty$，则$V_r(\Sigma)$属于准-$\operatorname{F}_\infty$。

实验结果

研究问题

• RQ1 在Cantor代数满足何种条件下，$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)$的适当群作用分类空间描述为更小一族有限子群的共(compact)分类空间的映射望远镜？
• RQ5 Cantor代数的自同构群如何与广义Thompson群的有限性性质相关联？

主要发现

• 在Cantor代数满足弱假设时，群$V_r(\Sigma)$属于类型$\operatorname{F}_\infty$，包括所有已知推广情形，如Higman-Thompson群、Stein群和Brin群。
• 有限子群在$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型准-$\operatorname{F}_\infty$当且仅当所有$k$的$V_k(\Sigma)$属于类型$\operatorname{F}_\infty$，且对所有有效、有界且完备的Cantor代数$U_r(\Sigma)$该条件均成立。
• $N_{S(Y)}(Q)$对$C_{V_r(\Sigma)}(Q)$的共轭作用保持中心化子的积结构，将每个因子$V_{r_i}(\Sigma)$映射到$V_{r_{g(i)}}(\Sigma)$，并将核$K_i$映射到$K_{g(i)}$。