Summary: | In this thesis, we explore several areas of geometric topology. We first prove that all groups G which fit into a short exact sequence F<sub>2</sub> → G → Z, act properly, freely, cellularly and cocompactly on CAT(0) square complexes. This shows, among other things, that their cubical dimension is equal to their geometric dimension. In the second part, we consider finiteness properties of subgroups of CAT(0) groups. We construct two infinite families of finitely presented subgroups of hyperbolic groups, that are not themselves hyperbolic. We also construct the first examples of CAT(0) groups that do not contain Z<sup>3</sup> subgroups but have subgroups of type FP<sub>2</sub> that are not finitely presented. We give examples of groups that are of type F<sub>n-1</sub> not of type F<sub>n</sub> and contain no free abelian subgroups of rank > ⌈<sup>n</sup>⁄<sub>3</sub>⌉. In the final part of the thesis we examine stable diffeomorphisms of smooth 4-manifolds and place an upper bound on the number of S<sup>2</sup>× S<sup>2 summands required to gain a stable diffeomorphism.
|