No abstract uploaded!

We discuss the problem of deciding when a metrisable topological group G has a canonically defined local Lipschitz geometry. This naturally leads to the concept of minimal metrics on G, that we characterise intrinsically in terms of a linear growth condition on powers of group elements. Combining this with work on the large scale geometry of topological groups, we also identify the class of metrisable groups admitting a canonical global Lipschitz geometry. In turn, minimal metrics connect with Hilbert’s fifth problem for completely metrisable groups and we show, assuming that the set of squares is sufficiently rich, that every element of some identity neighbourhood belongs to a 1-parameter subgroup.

We study large groups of birational transformations Bir(X), where X is a variety of dimension at least 3, defined over C or a subfield of C. Two prominent cases are when X is the projective space P^n, in which case Bir(X) is the Cremona group of rank n, or when X⊂P^{n+1} is a smooth cubic hypersurface. In both cases, and more generally when X is birational to a conic bundle, we produce infinitely many distinct group homomorphisms from Bir(X) to Z/2, showing in particular that the group Bir(X) is not perfect, and thus not simple. As a consequence, we also obtain that the Cremona group of rank n⩾3 is not generated by linear and Jonquières elements.

We construct small cancellation labellings for some infinite sequences of finite graphs of bounded degree. We use them to define infinite graphical small cancellation presentations of groups. This technique allows us to provide examples of groups with exotic properties: • We construct the first examples of finitely generated coarsely non-amenable groups (that is, groups without Guoliang Yu’s Property A) that are coarsely embeddable into a Hilbert space. Moreover, our groups act properly on CAT(0) cubical complexes. • We construct the first examples of finitely generated groups, with expanders embedded isometrically into their Cayley graphs—in contrast, in the case of the Gromov monster expanders are not even coarsely embedded. We present further applications.

(1) Ker (f,) is a characteristic subgroup of T,(M),(2) the group G leaves Ker (f*) invariant. This assumption is needed in the last two statements of Corollary 6,(vi) of Theorems 8, Theorem 11 and Theorem 13. In Theorem 12, the corresponding assumption can be stated as follows: Let H be the subspace of H,(M, I?) defined by {PIP U ai, U... U ai, _,= 0 for all ii}. Then G leaves H invariant.