The groups , , , and are groups of quasiautomorphisms of the infinite binary tree. Their names indicate a similarity with Thompson’s well-known groups , and .
We will use the theory of diagram groups over semigroup presentations to prove that all of the above groups (and several generalizations) have type . Our proof uses certain types of hybrid diagrams, which have properties in common with both planar diagrams and braided diagrams. The diagram groups defined by hybrid diagrams also act properly and isometrically on cubical complexes.
"Quasiautomorphism groups of type $F_\infty$." Algebr. Geom. Topol. 18 (4) 2339 - 2369, 2018. https://doi.org/10.2140/agt.2018.18.2339