Block mapping class groups and their finiteness properties

arXiv2207.06671MaRDI QIDQ6404947FDOQ6404947

Authors: Javier Aramayona, Julio Aroca, María Cumplido, Rachel Skipper, Xiaolei Wu

Publication date: 14 July 2022

Abstract: A Cantor surface

m a t h c a l C_{d}

is a non-compact surface obtained by gluing copies of a fixed compact surface

Y^{d}

(a block), with

d + 1

boundary components, in a tree-like fashion. For a fixed subgroup

H < M a p (Y^{d})

, we consider the subgroup

m a t h f r a k B_{d} (H) < M a p (m a t h c a l C_{d})

whose elements eventually send blocks to blocks and act like an element of

H

; we refer to

m a t h f r a k B_{d} (H)

as the block mapping class group with local action prescribed by

H

. The family of groups so obtained contains the asymptotic mapping class groups of cite{SW21a,ABF+21, FK04}. Moreover, there is a natural surjection onto the family symmetric Thompson groups of Farley--Hughes cite{FH15}; in particular, they provide a positive answer to cite[Question 5.37]{AV20}. We prove that, when the block is a (holed) sphere or a (holed) torus,

m a t h f r a k B_{d} (H)

is of type

F_{n}

if and only if

H

is of type

F_{n}

. As a consequence, for every

n

,

M a p (C_{d})

has a subgroup of type

F_{n}

but not

F_{n + 1}

which contains the mapping class group of every compact subsurface of

m a t h c a l C_{d}

.

This page was built for publication: Block mapping class groups and their finiteness properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6404947)